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:354 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 353; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-detector.sh:706 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 705; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-digest-hmac.sh:438 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 437; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-digest-quarantine.sh:588 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 587; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-fn-oracle.sh:136 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 135; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-install.sh:438 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 437; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-reconcile.sh:393 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 392; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-store-ack.sh:745 — red-path summary; guard `[ -s "$FAILFILE" ]` at line 744; template execution measured by microtest C11; text verified by static inventory
|
|
count_lines test-wake-store-enqueue-race.sh:212 — red-path summary (with "#927 TOCTOU reproduced (RED)" tail); guard `[ -s "$FAILFILE" ]` at line 211; template execution measured by microtest C11; text verified by static inventory
|