Jason WoltjeandClaude Fable 5
bd57ef0c74
validate-973.sh produces the complete evidence chain in one run:
0 instrument self-test (microtest, now C1-C11) before any evidence
1 expected set: 261 coordinates from the frozen denominator artifact
(+3 header shift), count declared BEFORE any suite runs
2 static inventory re-derived from SOURCE TEXT == expected set — the
ledger is an execution trace, not an inventory, so the inventory leg
comes from the text (mos-dt amendment ONE)
3 green instrumented run: ten suites, per-suite pinned sentinels
(preimage's divergent format included), exit codes reported per file
4 trace arithmetic on coordinate SETS: trace-minus-expected must be
empty; expected-minus-trace (converted-but-never-executed) is
enumerated and every entry must match a row in the committed
unexecuted-sites-dispositions.txt, with stale dispositions rejected
symmetrically
5 21 forced-error arms (19 denominator canaries + E-form store-ack:736,
the A6 $(count_lines) shape + F-form quarantine:563, the multi-grep
pipeline capture): each must emit ARMED, abort naming the site, exit
non-zero, emit NO sentinel, and have its ledger row already landed
6 residual sweep with the denominator's own classifier: zero unconverted
verdict greps, six per-form plants found in the same run
The nine unexecuted sites are the FAILED-branch summary lines, structurally
unreachable in a green run; microtest C11 executes the exact template on a
deterministically red mini-suite so their dispositions cite a measured
execution, not an inference.
First full run: OK — 252 executed + 9 dispositioned = 261, all arms fired,
sweep clean.
Written-by: pepper (sb-it-1-dt)
Co-Authored-By: Claude Fable 5 <[email protected]>
Claude-Session: https://claude.ai/code/session_01NsKce8iZuSuRnu3gVMCBKB
38 lines
3.3 KiB
Plaintext
38 lines
3.3 KiB
Plaintext
# unexecuted-sites-dispositions.txt — #973 validation, amendment ONE leg 3.
|
|
#
|
|
# The ledger is an execution trace, not an inventory: a green instrumented run
|
|
# cannot execute a site that only lives on a suite's red path. Every converted
|
|
# site that did NOT appear in the green-run trace is enumerated here with an
|
|
# individual disposition; validate-973.sh fails if any unexecuted site lacks a
|
|
# row here, and ALSO fails if a row here names a site that DID execute (stale
|
|
# disposition). Key = first two whitespace-separated fields; text after "—" is
|
|
# the adjudication.
|
|
#
|
|
# All nine sites below are the same structural shape, adjudicated one by one
|
|
# from source text: the suite's FAILED-branch summary line,
|
|
# echo "wake <name> harness: FAILED ($(count_lines . "$FAILFILE") assertion(s))" >&2
|
|
# guarded by `if [ -s "$FAILFILE" ]` — structurally unreachable while every
|
|
# assertion passes, which is precisely the state a green validation run is
|
|
# required to be in. (The tenth suite, test-wake-preimage.sh, uses its own
|
|
# X/Y summary format with no grep in the red branch, so it has no row here.)
|
|
#
|
|
# The disposition is NOT "it would work": the exact template is EXECUTED red
|
|
# in microtest C11 (deterministically failed mini-suite, same
|
|
# count_lines-in-substitution summary shape → right count, exit 1, ledger row
|
|
# at the summary coordinate), and the E-in-substitution abort path is proven
|
|
# by microtest C5 plus the forced-error arm at test-wake-store-ack.sh:736.
|
|
# Each site's conversion text is independently verified by the static
|
|
# inventory (check-973.py static == expected, all 261 rows).
|
|
#
|
|
# Verified guard per site (line numbers at branch tip, +3 header shift):
|
|
|
|
count_lines test-wake-beacon.sh:350 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 349; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-detector.sh:702 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 701; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-digest-hmac.sh:434 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 433; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-digest-quarantine.sh:584 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 583; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-fn-oracle.sh:132 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 131; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-install.sh:434 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 433; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-reconcile.sh:389 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 388; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-store-ack.sh:741 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 740; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-store-enqueue-race.sh:208 — red-path summary (with "#927 TOCTOU reproduced (RED)" tail); guard `[ -s "$FAILFILE" ]` at line 207; template execution measured by microtest C11; text verified by static inventory
|