diff --git a/docs/audit/grounding-audit-20260718.md b/docs/audit/grounding-audit-20260718.md index d83529e..72e8709 100644 --- a/docs/audit/grounding-audit-20260718.md +++ b/docs/audit/grounding-audit-20260718.md @@ -29,6 +29,12 @@ charter-exempted verifications (v0.9.8 volume-replace-under-running-domain; `ignore_changes` suppression). Operator lean (a) `lifecycle { ignore_changes }` is CONTINGENT on the suppression verification; if refuted, fall back to (b). +**Authoring direction (operator, 2026-07-18):** the true EXPECTED plan count +is currently nobody's -- 5/0/6 was pre-reboot, 7/2/7 is the post-reboot +symptom of the D-130 defect, and the post-fix expected triple does not exist +until D-130 is ruled. CURRENT-STATE.md must record exactly that (expected: +UNRESOLVED pending D-130; last captured: 7/2/7; pre-reboot gate: 5/0/6), not +pick a number. **Traces to:** GA-R6 (executable definition of done), D-130. ## GA-F02 -- HIGH -- deploy-gate doc carries two live contradictory plan counts @@ -45,7 +51,10 @@ ## GA-F03 -- MED -- tofu version pin stale: records say 1.12.3, binary is 1.12.4 **Evidence:** measured `tofu version` -> v1.12.4 (env snapshot). Stale 1.12.3 -claims: `README.md`, `docs/dc-dc-deployment-workflow.md:47`, `:360`, `:875` +claims: `opentofu/README.md:41` (CORRECTED 2026-07-18 -- the charter and this +register's first draft said root README; root README.md carries no pin, and +`opentofu/README.md` is outside the extractor's scan scope, a noted scope +gap), `docs/dc-dc-deployment-workflow.md:47`, `:360`, `:875` (record-inventory `version tofu` group; `docs/session-ledger.md:214` already records the 1.12.4 observation). **Proposed fix:** GA-R1 pin table in CURRENT-STATE.md cited to `--version` @@ -151,6 +160,9 @@ stage state is impossible today. **Proposed fix:** GA-R1 (stage status lives only in CURRENT-STATE.md) + a fixed status vocabulary; GA-R6 makes CLOSED executable. +**Phase-4 note (operator, 2026-07-18):** the legal status set is an explicit +operator A/B ruling to be presented in Phase 4 -- load-bearing because GA-R6 +mechanizes CLOSED, and a word with five meanings cannot be mechanized. **Traces to:** GA-R1, GA-R6. ## GA-F11 -- MED -- version-pin contradiction groups for juju/lxd/maas/netbox (adjudication needed)