docs: declare institutional architecture boundary

AGENTS.md

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

src/govoplan_facilities/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 = "facilities"
 MODULE_NAME = "Facilities"
@@ -66,8 +67,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=(
@@ -95,6 +96,15 @@ manifest = ModuleManifest(
     permissions=PERMISSIONS,
     role_templates=ROLE_TEMPLATES,
     documentation=DOCUMENTATION,
+    architecture=declared_module_architecture(
+        layer="domain_capability",
+        kind="domain",
+        maturity="scaffold",
+        documentation_ref="docs/FACILITIES_DOMAIN_BOUNDARY.md",
+        known_limits=("Facility, space, maintenance, and occupancy lifecycles are not implemented yet.",),
+        owned_concepts=("facility", "space", "facility lifecycle"),
+        non_owned_concepts=("asset", "booking", "geospatial dataset"),
+    ),
 )