docs: declare institutional architecture boundary

AGENTS.md

@@ -1,5 +1,11 @@
 # GovOPlaN Tickets Codex Guide
 
+## Documentation Contract
+
+- Treat documentation as part of every behavior change. Update this module's manifest-driven `DocumentationTopic` contributions for affected user and administrator behavior.
+- Keep feature content here; `govoplan-docs` projects it without importing Tickets internals.
+- Maintain a static user/admin baseline and run `/mnt/DATA/git/govoplan/tools/checks/check-manifest-shapes.py` after behavior or manifest changes.
+
 ## Scope
 
 This repository owns the GovOPlaN Tickets domain module seed.

src/govoplan_tickets/backend/manifest.py

@@ -2,6 +2,7 @@ from __future__ import annotations
 
 from govoplan_core.core.access import CAPABILITY_AUTH_PERMISSION_EVALUATOR, CAPABILITY_AUTH_PRINCIPAL_RESOLVER
 from govoplan_core.core.modules import DocumentationLink, DocumentationTopic, ModuleManifest, PermissionDefinition, RoleTemplate
+from govoplan_core.core.provider_governance import declared_module_architecture
 
 MODULE_ID = "tickets"
 MODULE_NAME = "Tickets"
@@ -87,8 +88,8 @@ DOCUMENTATION = (
             "database models, migrations, and WebUI routes are introduced."
         ),
         layer="available",
-        documentation_types=("admin",),
-        audience=("operator", "module_admin", "product_owner"),
+        documentation_types=("admin", "user"),
+        audience=("user", "operator", "module_admin", "product_owner"),
         order=100,
         related_modules=OPTIONAL_DEPENDENCIES,
         links=(
@@ -126,6 +127,15 @@ manifest = ModuleManifest(
     permissions=PERMISSIONS,
     role_templates=ROLE_TEMPLATES,
     documentation=DOCUMENTATION,
+    architecture=declared_module_architecture(
+        layer="human_work_procedure",
+        kind="domain",
+        maturity="scaffold",
+        documentation_ref="docs/TICKETS_DOMAIN_BOUNDARY.md",
+        known_limits=("Ticket persistence, queues, SLA, and external service-desk adapters are not implemented yet.",),
+        owned_concepts=("ticket", "ticket queue", "ticket transition"),
+        non_owned_concepts=("case", "project", "external service-desk record"),
+    ),
 )