Nick
2e68b6b054
phase-g slice 2: supersession ledger + registry remap + shared deletion
...
- plans/2026-10-03-phaseG-evidence-provenance-supersession.md: the
slice-level ledger — port table (6/6, commits + parity + consumer
proof), 12-step doctrine discharge, vintage-merge disclosures
(symmetry guard, scan_text repair, port-1 sequence break), consumer
map, live-data rules honored.
- shared/audit_ledger.py DELETED (superseded; zero importers verified
by sweep; deployed shim + Rust core proven live before removal —
language-governance rule ⑥).
- coverage registry: audit_ledger removed from SHARED_D.
- regression gate: exit 0 pre- and post-deletion.
2026-10-03 16:20:08 +01:00
Nick
be6bc17537
feat(t21.4): post-restart final V1 proof — governed rollback API, automatic project execution context, material-change closure, structural coverage
...
- scripts/rollback_generation.py: canonical rollback_generation() on the
deploy_promotion machinery (shared lock, refuse-before-mutation,
ancestor-only eligibility, identity+health qualification, durable
history, revert on failed health). Live B->A->B proven with refusals.
- tool_executor._resolve_execution_cwd: automatic project execution
context (workdir > project registry resolve_cwd > process); unknown
projects refused pre-execution. Live A-F proven.
- construction_interface.close(): auto material_change + revision +
drift/revise flow (rule 19Q.2 integrated, proven live).
- spine: entry-point seeding (__main__ is a runtime path invisible to
the import graph); subsystem belongs_to membership via coverage audit.
- scripts/structural_coverage_audit.py: 237 modules A157/B41/C28/D11/E0,
100% meaningful coverage, 100% impl ownership, 0 significant unknowns.
- Scaffolding internal 1.0.2 -> 1.0.3 (PATCH, contract unchanged).
- Gate object T21.4 persisted (12 mandatory gates, GateAccounting).
2026-09-17 01:38:39 +01:00