diff --git a/docs/CURRENT-STATE.md b/docs/CURRENT-STATE.md index aaf75d0..99c0f22 100644 --- a/docs/CURRENT-STATE.md +++ b/docs/CURRENT-STATE.md @@ -208,7 +208,7 @@ | # | Gate | What closes it | Owner | Evidence of current state | |---|------|----------------|-------|---------------------------| | G1 | Audit Phase 3: fresh-agent grounding test | 3 clean-context probes score the 7-question set against this doc; holes map made | session | CLOSED 2026-07-18: 3 probes, 21/21 PASS, holes H1 (amended into G9) + H2 (no action) -- `docs/audit/phase3-grounding-test-20260718.md` | -| G2 | Audit Phase 4: GA-R1..R7 structural rulings + the stage-status vocabulary A/B | operator rules each individually | operator | IN PROGRESS: GA-R3, GA-R5, GA-R1, GA-R2, GA-R6, GA-R4 RATIFIED 2026-07-18 (`docs/audit/ga-rulings.md`); GA-R7 draft delivered; vocabulary A/B pending | +| G2 | Audit Phase 4: GA-R1..R7 structural rulings + the stage-status vocabulary A/B | operator rules each individually | operator | IN PROGRESS: ALL SEVEN GA-R RATIFIED 2026-07-18 (`docs/audit/ga-rulings.md`); vocabulary A/B delivered, awaiting operator choice | | G3 | Audit Phase 5: repair sweep of GA-F01..F14 (incl. memory hygiene GA-F05..F08, skill sweep) | operator-gated fix batches, each commit naming its GA-F | operator + session | FREEZE in effect; zero fixes applied (charter section 1) | | G4 | The two D-130 verifications (charter-exempt, read-only/throwaway): (v7) v0.9.8 volume-replace-under-running-domain on a throwaway domain; (v8) lifecycle ignore_changes suppression of the forced replacement | run them, capture output | session | TO RUN (`docs/audit/env-snapshot-20260718.md:47-49`) | | G5 | D-130 mechanism ruling (seed-volume durable fix) | operator rules in Phase 5, quoting G4's captured output | operator | D-130 unassigned; next-free D confirmed 130 (`ledger-scan` run 2026-07-18; no `^## D-130` in design-decisions.md) | diff --git a/docs/audit/ga-rulings.md b/docs/audit/ga-rulings.md index 6eff166..5ce6cd7 100644 --- a/docs/audit/ga-rulings.md +++ b/docs/audit/ga-rulings.md @@ -361,15 +361,36 @@ ## GA-R7 -- Memory governance -**Status: DRAFT (delivered 2026-07-18; awaiting operator ruling).** +**Status: RATIFIED 2026-07-18 (operator, with amendments G1 + G2 + G3).** +Question as presented (2026-07-18): "Adopt GA-R7 as written -- including +rule 3's remove-on-discovery handling of unconfirmed intent claims and +rule 6's Phase-5 hygiene list -- or with what amendment?" Operator answer +(2026-07-18), exact utterance: "Ratify with G1, G2, and G3: Amendment G1 +(new rule): 'Stage close includes a memory review: the memory directory +is read in full against rules 1-4; violations are corrected per rule 5 +and registered as findings. The review is an item in GA-R6 rule 4's +close-out set.' ; Amendment G2 (posture): 'Auto-memory is ENABLED for +normal operator-driven sessions under this governance. It is DISABLED by +design for clean-context probe and audit sessions (fresh-agent integrity, +charter section 4) -- including the Phase-6 exit trio.' ; Amendment G3 +(extends rule 1): 'Memory is scratch, never a durable home: an +observation that proves durable -- a trap, a convention other sessions +need -- GRADUATES to its repo surface (platform-traps, skill references, +the relevant as-built) and the memory entry becomes a pointer or is +deleted. Memory must never be the only copy of anything that matters.'" -**Proposed ruling text:** +**Ratified ruling text (as amended; rule 1 extended by G3, rules 7-8 +added by G1/G2):** 1. Auto-memory (the project MEMORY.md index and its topic files) may record OBSERVATIONS and CONVENTIONS: measured facts, environment traps, repeatable techniques, naming/layout conventions. It may NEVER record operator policy, standing instructions, priorities, or - postures. + postures. Memory is scratch, never a durable home: an observation that + proves durable -- a trap, a convention other sessions need -- + GRADUATES to its repo surface (platform-traps, skill references, the + relevant as-built) and the memory entry becomes a pointer or is + deleted. Memory must never be the only copy of anything that matters. 2. Policy and standing instructions live in the REPO with quoted provenance per GA-R5. If a memory-worthy insight is actually policy, it is PROPOSED to the operator for a repo ruling -- not memorized. @@ -391,7 +412,45 @@ MEMORY.md index (GA-F08), fix the stale hostname in `multi-workstation-remote-control.md` (GA-F05), and add the skill line: "Claude Code sessions launch from the repo root, always." +7. Stage-close memory review (G1): the memory directory is read in full + against rules 1-4; violations are corrected per rule 5 and registered + as findings. The review is an item in GA-R6 rule 4's close-out set. +8. Posture (G2): auto-memory is ENABLED for normal operator-driven + sessions under this governance. It is DISABLED by design for + clean-context probe and audit sessions (fresh-agent integrity, charter + section 4) -- including the Phase-6 exit trio. --- -Drafts not yet delivered: stage-status vocabulary A/B (last item). +## Stage-status vocabulary (GA-F10 A/B) + +**Status: DRAFT A/B (delivered 2026-07-18; awaiting operator choice).** + +The legal status token set for stages and gates, used ONLY in +CURRENT-STATE.md (GA-R1) and mechanized by GA-R6. Any token outside the +chosen set becomes a lint-detectable defect (Phase 5 wires the Phase-1 +extractor's status scan to the legal set). + +**Option A -- four states (strict):** +- OPEN: work exists; the named closer has not passed. +- BLOCKED: cannot proceed; the blocker is named in the row. +- HELD: deliberately deferred by operator decision (e.g. vr1-dc1). +- CLOSED: the closer passed per GA-R6 (or, for ruling-type gates, the + GA-R5 ruling is recorded). Terminal. +Readiness is NOT a state: "ready" is simply OPEN with the prerequisite +checks green, visible from the row's evidence. COMPLETE, DONE, READY, +DEPLOY-READY, STOPPED become illegal as status tokens; Phase-5 mapping: +COMPLETE/DONE -> CLOSED; STOPPED -> BLOCKED (blocker named) or HELD +(operator choice per row); DEPLOY-READY -> removed. + +**Option B -- five states (adds READY):** +- OPEN, BLOCKED, HELD, CLOSED as in A, plus +- READY: every prerequisite check green, awaiting only the gated + execution or operator action. Requires the named check output cited in + the row (GA-R6), so READY cannot be asserted from prose. +Phase-5 mapping as in A, except qualifying rows may map to READY. + +--- + +All seven GA-R rulings are RATIFIED. Remaining Phase-4 item: this +vocabulary A/B.