docs: declare institutional architecture boundary

AGENTS.md

@@ -1,5 +1,11 @@
 # GovOPlaN Booking 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 Booking 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 Booking platform module seed.

src/govoplan_booking/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 = "booking"
 MODULE_NAME = "Booking"
@@ -69,8 +70,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=(
@@ -98,6 +99,15 @@ manifest = ModuleManifest(
     permissions=PERMISSIONS,
     role_templates=ROLE_TEMPLATES,
     documentation=DOCUMENTATION,
+    architecture=declared_module_architecture(
+        layer="communication_participation",
+        kind="domain",
+        maturity="scaffold",
+        documentation_ref="docs/BOOKING_DOMAIN_BOUNDARY.md",
+        known_limits=("Bookable-resource persistence and reservation workflows are not implemented yet.",),
+        owned_concepts=("booking", "availability offer", "reservation"),
+        non_owned_concepts=("calendar event", "resource master", "payment"),
+    ),
 )