From b7d12c341c1143e65bf332f01140d5c64161b5a4 Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 9 Nov 2026 14:39:03 +0000 Subject: [PATCH] docs: regenerate the repository map (PROOF-STATUS, agda-lib rows) estate-rules fails on main because the committed map is stale: the generator now lists PROOF-STATUS.adoc and occupancy-types.agda-lib, which the committed copy lacks. Regenerated with `just repo-map`; the output is identical under the default and C locales. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01Y6FD63UrriRBHqmhhEca9t --- docs/architecture/REPOSITORY-MAP.adoc | 8 ++++++++ 1 file changed, 8 insertions(+) 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 _chora.deed), so repo-init renames it at mint