diff --git a/docs/architecture/REPOSITORY-MAP.adoc b/docs/architecture/REPOSITORY-MAP.adoc
index e09598a..5e13913 100644
--- a/docs/architecture/REPOSITORY-MAP.adoc
+++ b/docs/architecture/REPOSITORY-MAP.adoc
@@ -113,6 +113,10 @@ predecessors did.
 | yes
 | REUSE licence texts, dual-licence model (code MPL-2.0 / docs CC-BY-SA-4.0)
 
+| `PROOF-STATUS.adoc`
+| yes
+| repo-local proof inventory with explicit evidence status
+
 | `README.adoc`
 | yes
 | -
@@ -157,6 +161,10 @@ predecessors did.
 | yes
 | pinned toolchains
 
+| `occupancy-types.agda-lib`
+| yes
+| Agda library descriptor for the occupancy-types proof modules
+
 | `rsr-template-repo_chora.deed`
 | yes
 | the repo deed: universal AI entry point; family-7 allocation manifest + ply tree folded in (standards#837 pilot). Filename carries the repo slug (deed dispatch <stem>_chora.deed), so repo-init renames it at mint