module Web.Routes where import IHP.RouterPrelude import Generated.Types import Web.Types -- Hubs instance AutoRoute HubsController -- Widgets instance AutoRoute WidgetsController -- Interaction Events (POST /widgets/:widgetId/events) instance AutoRoute InteractionEventsController -- Annotations (scoped to widget: /widgets/:widgetId/annotations/) instance AutoRoute AnnotationsController -- Annotation Threads (scoped to widget) instance AutoRoute AnnotationThreadsController -- Requirement Candidates instance AutoRoute RequirementCandidatesController -- Requirements (Phase 3) instance AutoRoute RequirementsController -- Decision Records (Phase 3) instance AutoRoute DecisionRecordsController -- Deployment Records (Phase 4) instance AutoRoute DeploymentRecordsController -- Agent Proposals (Phase 5) instance AutoRoute AgentProposalsController -- Sessions instance AutoRoute SessionsController