From d1e01efebf2ca35fdfc22b08a1cdfe5629ad69ac Mon Sep 17 00:00:00 2001 From: Brummel Date: Sat, 11 Jul 2026 15:12:59 +0200 Subject: [PATCH] =?UTF-8?q?audit:=20fieldtest-tail=20close=20=E2=80=94=20C?= =?UTF-8?q?22=20--trace=20ledger=20notes=20reconciled?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Tail audit (aaca18c..f591164) over #213, the milestone-fieldtest fixtures, and the B1 chart fix: #213's intersection semantics conflict with no ledger contract, the depth-2 trace resolution preserves C1 ordering read-side with the layout unchanged, and the new §0/§3/ glossary docs match the code vocabularies. One HIGH drift item resolved: the two C22 --trace amendment notes still described the #168 refusal surface and deferred per-member trace-writing to #224 — both now carry a delivered-2026-07-11 annotation (real-data --trace writes the depth-2 fan-out, chart resolves it; synthetic still refuses). Accepted LOW debt, recorded in-code: the disjoint-archive generalize refusal has no e2e fixture (unreachable on this host's archives), the pure helper is unit-tested. --- docs/design/INDEX.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/design/INDEX.md b/docs/design/INDEX.md index 110341a..78e66c9 100644 --- a/docs/design/INDEX.md +++ b/docs/design/INDEX.md @@ -1876,7 +1876,7 @@ view-side change — the write-side precondition for the family-comparison **vie (overlay / small-multiples across members) — now realized (#107; see the families-comparison amendment below). -**Amendment (CLI `--trace` retired, #168 / #224).** The CLI-verb `--trace` story above (single-run `run --trace`, amendment 3b56efb; per-member `sweep|mc|walkforward --trace`, #104) describes capabilities that no longer reach the code. `run` and `mc` refuse `--trace` (structurally parseable, refused at dispatch); the per-member family `--trace` was never wired to the blueprint sweep (`run_blueprint_sweep`'s `let _ = persist`) and was silently dropped when the welded `--strategy` triple retired (#159/#220). #168 makes the surface honest — `sweep`/`walkforward --trace` now refuse up front (exit 2, forward-pointer to #224). The single live `TraceStore::write` site is the campaign `presentation.persist_taps` → `runs/traces//` (`persist_campaign_traces`); `aura chart ` reads that back. Restoring CLI-side per-member trace-writing is deferred to #224. +**Amendment (CLI `--trace` retired, #168 / #224).** The CLI-verb `--trace` story above (single-run `run --trace`, amendment 3b56efb; per-member `sweep|mc|walkforward --trace`, #104) describes capabilities that no longer reach the code. `run` and `mc` refuse `--trace` (structurally parseable, refused at dispatch); the per-member family `--trace` was never wired to the blueprint sweep (`run_blueprint_sweep`'s `let _ = persist`) and was silently dropped when the welded `--strategy` triple retired (#159/#220). #168 makes the surface honest — `sweep`/`walkforward --trace` now refuse up front (exit 2, forward-pointer to #224). The single live `TraceStore::write` site is the campaign `presentation.persist_taps` → `runs/traces//` (`persist_campaign_traces`); `aura chart ` reads that back. Restoring CLI-side per-member trace-writing is deferred to #224. **[Delivered 2026-07-11 (#224 + fieldtest B1 fix): `sweep`/`walkforward --trace` now WRITE per-member traces on the real-data campaign path (the depth-2 fan-out `runs/traces////`), refusing only on the synthetic path; `aura chart ` resolves both the depth-1 campaign layout and the depth-2 fan-out (members keyed `/`, C1-sorted). The refusal story in this amendment is historical.]** **Amendment (real-data family source, #106, 8e5d14b).** The family runs gain an **opt-in real-data source axis**: `aura sweep|walkforward --real [--from @@ -2199,7 +2199,7 @@ construction** (and stays so across #159's harness retirement — the listing tr sweep actually resolves, never a second source of truth). The names are prefixed by the current r-sma wrapping (`sma_signal.fast.length`, the nested-composite prefix), not the raw `param_space` — which is why the discovery lives on the sweep verb (it owns the wrapping), not -`graph introspect`. CLI `--trace` is refused on all verbs (#168 for sweep/walkforward; run/mc already refused); the live trace-writer is the campaign `presentation.persist_taps` (`persist_campaign_traces`), and restoring per-member CLI traces is tracked by #224. +`graph introspect`. CLI `--trace` is refused on all verbs (#168 for sweep/walkforward; run/mc already refused); the live trace-writer is the campaign `presentation.persist_taps` (`persist_campaign_traces`), and restoring per-member CLI traces is tracked by #224. **[Delivered 2026-07-11 (#224): `sweep`/`walkforward --trace` write per-member traces on the real-data campaign path (depth-2 fan-out, chartable by the printed family handle); only the synthetic path still refuses.]** **Content-addressed reproduction shipped (cycle 0094, #158, C18)**: `topology_hash` landed cycle 0092; re-deriving a member's FlatGraph from a stored manifest + the