generated from coulomb/repo-seed
Implements the final phase of the IHF v0.1 specification: - WidgetOwnership: delegated ownership registry (local/delegated/global), append-only audit artefacts, ownership badge on widget show page - HubRoutingRule + RoutingEngine: priority-ordered inter-hub routing engine; null-inclusive category/widget-type matching; RouteNowAction for manual re-evaluation; RoutedCandidates view per hub - FederatedPolicyOverlay: draft → active → retired lifecycle; activated overlays are immutable (same pattern as Phase 6 contracts); policy compliance dashboard with decision coverage metrics - StewardshipRole: named governance roles per hub; point-in-time revocation pattern; hub and ops-board integration - ArchiveRecord + is_archived: soft-delete on widgets; lineage inspector traces full traceability chain (Widget → Events → Annotations → Candidates → Requirements → Decisions → Deployments → Signals + ArchiveRecord) - FederatedGovernanceDashboard: 5-panel autoRefresh org-wide governance view (ownership coverage, routing activity, policy compliance, stewardship coverage, archive activity) Schema: widget_ownerships, hub_routing_rules, federated_policy_overlays, stewardship_roles, archive_records; ALTER widgets ADD is_archived; ALTER requirement_candidates ADD routed_to_hub_id Migration: 1743638400-ihf-phase8-federated-hub-maturity.sql Tests: Phase 8 integration tests appended to Test/Integration.hs Docs: docs/phase8-summary.md; SCOPE.md updated to Phase 8 complete Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
213 lines
9.5 KiB
Haskell
213 lines
9.5 KiB
Haskell
module Web.Types where
|
|
|
|
import IHP.Prelude
|
|
import IHP.ModelSupport
|
|
import IHP.LoginSupport.Types
|
|
import Generated.Types
|
|
|
|
-- | Authentication type alias
|
|
type CurrentUserRecord = User
|
|
|
|
instance HasNewSessionUrl User where
|
|
newSessionUrl _ = "/NewSession"
|
|
|
|
-- Controllers
|
|
|
|
data WebApplication = WebApplication deriving (Eq, Show)
|
|
|
|
data HubsController
|
|
= HubsAction
|
|
| NewHubAction
|
|
| ShowHubAction { hubId :: !(Id Hub) }
|
|
| CreateHubAction
|
|
| EditHubAction { hubId :: !(Id Hub) }
|
|
| UpdateHubAction { hubId :: !(Id Hub) }
|
|
| DeleteHubAction { hubId :: !(Id Hub) }
|
|
| TriageDashboardAction { hubId :: !(Id Hub) }
|
|
| GovernanceDashboardAction { hubId :: !(Id Hub) }
|
|
| AntifragilityDashboardAction { hubId :: !(Id Hub) }
|
|
| AgentAuditDashboardAction { hubId :: !(Id Hub) }
|
|
| AdapterCompatibilityDashboardAction { hubId :: !(Id Hub) }
|
|
| FrictionHeatmapAction { hubId :: !(Id Hub) }
|
|
| RecomputeFrictionAction { hubId :: !(Id Hub) }
|
|
| BottleneckDashboardAction { hubId :: !(Id Hub) }
|
|
| DetectBottlenecksAction { hubId :: !(Id Hub) }
|
|
| ResolveBottleneckAction { bottleneckRecordId :: !(Id BottleneckRecord) }
|
|
| SnapshotHubHealthAction { hubId :: !(Id Hub) }
|
|
| HubHealthHistoryAction { hubId :: !(Id Hub) }
|
|
| OperationalReviewBoardAction
|
|
deriving (Eq, Show, Data)
|
|
|
|
data WidgetsController
|
|
= WidgetsAction
|
|
| NewWidgetAction
|
|
| ShowWidgetAction { widgetId :: !(Id Widget) }
|
|
| CreateWidgetAction
|
|
| EditWidgetAction { widgetId :: !(Id Widget) }
|
|
| UpdateWidgetAction { widgetId :: !(Id Widget) }
|
|
| SummarizeClusterAction { widgetId :: !(Id Widget) }
|
|
| DraftRequirementAction { widgetId :: !(Id Widget) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data InteractionEventsController
|
|
= CreateInteractionEventAction { widgetId :: !(Id Widget) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data AnnotationsController
|
|
= WidgetAnnotationsAction { widgetId :: !(Id Widget) }
|
|
| ShowAnnotationAction { annotationId :: !(Id Annotation) }
|
|
| NewAnnotationAction { widgetId :: !(Id Widget) }
|
|
| CreateAnnotationAction { widgetId :: !(Id Widget) }
|
|
| EscalateAnnotationAction { annotationId :: !(Id Annotation) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data AnnotationThreadsController
|
|
= WidgetAnnotationThreadsAction { widgetId :: !(Id Widget) }
|
|
| ShowAnnotationThreadAction { annotationThreadId :: !(Id AnnotationThread) }
|
|
| NewAnnotationThreadAction { widgetId :: !(Id Widget) }
|
|
| CreateAnnotationThreadAction { widgetId :: !(Id Widget) }
|
|
| AssignAnnotationToThreadAction { annotationId :: !(Id Annotation) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data RequirementCandidatesController
|
|
= RequirementCandidatesAction
|
|
| ShowRequirementCandidateAction { requirementCandidateId :: !(Id RequirementCandidate) }
|
|
| NewRequirementCandidateAction
|
|
| CreateRequirementCandidateAction
|
|
| EditRequirementCandidateAction { requirementCandidateId :: !(Id RequirementCandidate) }
|
|
| UpdateRequirementCandidateAction { requirementCandidateId :: !(Id RequirementCandidate) }
|
|
| UpdateTriageStatusAction { requirementCandidateId :: !(Id RequirementCandidate) }
|
|
| AssignReviewerAction { requirementCandidateId :: !(Id RequirementCandidate) }
|
|
| MyQueueAction
|
|
| PromoteToRequirementAction { requirementCandidateId :: !(Id RequirementCandidate) }
|
|
| LinkToDecisionAction { requirementCandidateId :: !(Id RequirementCandidate) }
|
|
| DetectDuplicatesAction { requirementCandidateId :: !(Id RequirementCandidate) }
|
|
| DetectPolicySensitivityAction { requirementCandidateId :: !(Id RequirementCandidate) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data RequirementsController
|
|
= RequirementsAction
|
|
| ShowRequirementAction { requirementId :: !(Id Requirement) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data DecisionRecordsController
|
|
= DecisionRecordsAction
|
|
| ShowDecisionRecordAction { decisionRecordId :: !(Id DecisionRecord) }
|
|
| NewDecisionRecordAction
|
|
| CreateDecisionRecordAction
|
|
| EditDecisionRecordAction { decisionRecordId :: !(Id DecisionRecord) }
|
|
| UpdateDecisionRecordAction { decisionRecordId :: !(Id DecisionRecord) }
|
|
| AddPolicyReferenceAction { decisionRecordId :: !(Id DecisionRecord) }
|
|
| DeletePolicyReferenceAction { policyReferenceId :: !(Id PolicyReference) }
|
|
| AddImplementationRefAction { decisionRecordId :: !(Id DecisionRecord) }
|
|
| DeleteImplementationRefAction { implementationChangeReferenceId :: !(Id ImplementationChangeReference) }
|
|
| ProposeImplementationAction { decisionRecordId :: !(Id DecisionRecord) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data DeploymentRecordsController
|
|
= DeploymentRecordsAction
|
|
| ShowDeploymentRecordAction { deploymentRecordId :: !(Id DeploymentRecord) }
|
|
| NewDeploymentRecordAction
|
|
| CreateDeploymentRecordAction
|
|
| RecordOutcomeSignalAction { deploymentRecordId :: !(Id DeploymentRecord) }
|
|
| EvaluateChangeAction { deploymentRecordId :: !(Id DeploymentRecord) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data AgentProposalsController
|
|
= AgentProposalsAction
|
|
| ShowAgentProposalAction { agentProposalId :: !(Id AgentProposal) }
|
|
| AcceptProposalAction { agentProposalId :: !(Id AgentProposal) }
|
|
| RejectProposalAction { agentProposalId :: !(Id AgentProposal) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data ApiInteractionEventsController
|
|
= CreateApiInteractionEventAction
|
|
deriving (Eq, Show, Data)
|
|
|
|
data EnvelopeEmissionContractsController
|
|
= EnvelopeEmissionContractsAction
|
|
| ShowEnvelopeEmissionContractAction { envelopeEmissionContractId :: !(Id EnvelopeEmissionContract) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data InteractionReportingContractsController
|
|
= InteractionReportingContractsAction
|
|
| ShowInteractionReportingContractAction { interactionReportingContractId :: !(Id InteractionReportingContract) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data WidgetAdapterSpecsController
|
|
= WidgetAdapterSpecsAction
|
|
| ShowWidgetAdapterSpecAction { widgetAdapterSpecId :: !(Id WidgetAdapterSpec) }
|
|
| NewWidgetAdapterSpecAction
|
|
| CreateWidgetAdapterSpecAction
|
|
| EditWidgetAdapterSpecAction { widgetAdapterSpecId :: !(Id WidgetAdapterSpec) }
|
|
| UpdateWidgetAdapterSpecAction { widgetAdapterSpecId :: !(Id WidgetAdapterSpec) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
-- Phase 8: Federated Hub Maturity
|
|
|
|
data WidgetOwnershipsController
|
|
= WidgetOwnershipsAction
|
|
| ShowWidgetOwnershipAction { widgetOwnershipId :: !(Id WidgetOwnership) }
|
|
| NewWidgetOwnershipAction
|
|
| CreateWidgetOwnershipAction
|
|
| EditWidgetOwnershipAction { widgetOwnershipId :: !(Id WidgetOwnership) }
|
|
| UpdateWidgetOwnershipAction { widgetOwnershipId :: !(Id WidgetOwnership) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data HubRoutingRulesController
|
|
= HubRoutingRulesAction
|
|
| ShowHubRoutingRuleAction { hubRoutingRuleId :: !(Id HubRoutingRule) }
|
|
| NewHubRoutingRuleAction
|
|
| CreateHubRoutingRuleAction
|
|
| EditHubRoutingRuleAction { hubRoutingRuleId :: !(Id HubRoutingRule) }
|
|
| UpdateHubRoutingRuleAction { hubRoutingRuleId :: !(Id HubRoutingRule) }
|
|
| ActivateRoutingRuleAction { hubRoutingRuleId :: !(Id HubRoutingRule) }
|
|
| DeactivateRoutingRuleAction { hubRoutingRuleId :: !(Id HubRoutingRule) }
|
|
| RoutedCandidatesAction { hubId :: !(Id Hub) }
|
|
| RouteNowAction { requirementCandidateId :: !(Id RequirementCandidate) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data FederatedPolicyOverlaysController
|
|
= FederatedPolicyOverlaysAction
|
|
| ShowFederatedPolicyOverlayAction { federatedPolicyOverlayId :: !(Id FederatedPolicyOverlay) }
|
|
| NewFederatedPolicyOverlayAction
|
|
| CreateFederatedPolicyOverlayAction
|
|
| EditFederatedPolicyOverlayAction { federatedPolicyOverlayId :: !(Id FederatedPolicyOverlay) }
|
|
| UpdateFederatedPolicyOverlayAction { federatedPolicyOverlayId :: !(Id FederatedPolicyOverlay) }
|
|
| ActivateFederatedPolicyAction { federatedPolicyOverlayId :: !(Id FederatedPolicyOverlay) }
|
|
| RetireFederatedPolicyAction { federatedPolicyOverlayId :: !(Id FederatedPolicyOverlay) }
|
|
| PolicyComplianceDashboardAction
|
|
deriving (Eq, Show, Data)
|
|
|
|
data StewardshipRolesController
|
|
= StewardshipRolesAction
|
|
| ShowStewardshipRoleAction { stewardshipRoleId :: !(Id StewardshipRole) }
|
|
| NewStewardshipRoleAction
|
|
| CreateStewardshipRoleAction
|
|
| RevokeRoleAction { stewardshipRoleId :: !(Id StewardshipRole) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data ArchiveRecordsController
|
|
= ArchiveRecordsAction
|
|
| ShowArchiveRecordAction { archiveRecordId :: !(Id ArchiveRecord) }
|
|
| ArchiveWidgetAction { widgetId :: !(Id Widget) }
|
|
| LineageInspectorAction { widgetId :: !(Id Widget) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data FederatedGovernanceController
|
|
= FederatedGovernanceDashboardAction
|
|
deriving (Eq, Show, Data)
|
|
|
|
data CrossHubPropagationsController
|
|
= CrossHubPropagationsAction
|
|
| DetectPropagationsAction
|
|
| AcknowledgePropagationAction { crossHubPropagationId :: !(Id CrossHubPropagation) }
|
|
| ResolvePropagationAction { crossHubPropagationId :: !(Id CrossHubPropagation) }
|
|
deriving (Eq, Show, Data)
|
|
|
|
data SessionsController
|
|
= NewSessionAction
|
|
| CreateSessionAction
|
|
| DeleteSessionAction
|
|
deriving (Eq, Show, Data)
|