coulomb/repo-manager
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs(identifier): record repair containment

Browse source 
Assistant: codex
Assistant-Model: gpt-5.6-sol
Assistant-Session: 01a023c0-a0a3-7c03-b395-5a0d2757214d
This commit is contained in:
tegwick 2026-08-22 10:05:48 +02:00
parent 8eff8d3239
commit 5228f2e286
1 changed files with 7 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

12
docs/evidence/RMGR-WP-0005-repo-manager-pilot-2026-08-22.md
View file

@ -73,11 +73,12 @@ mount containment was not weakened.
The scoped registrar child returned the broader consistency exit code 1 because The scoped registrar child returned the broader consistency exit code 1 because
of the eight intentionally untouched legacy references. It nevertheless created of the eight intentionally untouched legacy references. It nevertheless created
and returned the exact target UUID and tasks. Repo Manager commit `e656f7f` and returned the exact target UUID and tasks. Repo Manager commit `e656f7f`
adds `--repair-workplan` and verifies that exact projection before accepting this adds `--repair-workplan` and exact target verification. In the managed Codex
bounded residual status. In the managed Codex sandbox the child could not create sandbox the child could not create `.git/index.lock` for its generated brief;
`.git/index.lock` for its generated brief; the complete local projection restored the complete local projection restored the brief and pushed consistency commit
the brief and pushed consistency commit `4b5e48f`. No authoritative identifier `4b5e48f`. Follow-up `8eff8d3` makes this containment explicit: projection-only
file changed during registrar rebuild. repair restores a generated-brief change but rejects any authoritative-file
mutation. No authoritative identifier file changed during registrar rebuild.
## Published implementation ## Published implementation
@ -87,6 +88,7 @@ file changed during registrar rebuild.
- Repo Manager sealed plan: `e52ce3e` - Repo Manager sealed plan: `e52ce3e`
- Repo Manager file migration: `5de754a` - Repo Manager file migration: `5de754a`
- Repo Manager projection-repair wrapper: `e656f7f` - Repo Manager projection-repair wrapper: `e656f7f`
- Repo Manager projection-only writeback containment: `8eff8d3`
## Gate after the pilot ## Gate after the pilot