test(wake): #973 validation harness — trace/inventory/arm evidence chain

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

packages/mosaic/framework/tools/wake/validate-973/microtest-wake-assert.sh

@@ -34,6 +34,14 @@
 #       misreports the continuation line, wake_assert_init aborts loudly and
 #       nothing past init executes — a pin whose failure arm was never seen
 #       firing is an undertaking, not a control.
+#   C11 the FAILED-summary template executes on the red path: a mini-suite
+#       driven deterministically red emits the exact converted summary shape
+#       (`FAILED ($(count_lines . "$FAILFILE") assertion(s))`) with the right
+#       count, exits 1, and the summary site's ledger row lands. The nine
+#       real-suite summary sites are structurally unreachable in a green run
+#       (guarded by [ -s "$FAILFILE" ]); their dispositions cite THIS check as
+#       the measured execution of the same template, so "unexecuted in the
+#       green run" never silently means "never executed anywhere".
 set -uo pipefail
 
 HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
@@ -247,6 +255,42 @@ else
   check C10 1 "rc=$rc out=$(printf '%s' "$out" | tail -n 2 | tr '\n' ' ')"
 fi
 
+# --- C11: red path executes the converted FAILED-summary template -----------
+cat >"$TMP/mini-c.sh" <<'MINI_C'
+#!/usr/bin/env bash
+set -uo pipefail
+. "$WAKE_COMMON"
+wake_assert_init
+TMP="$1"
+FAILFILE="$TMP/failures-c"
+: >"$FAILFILE"
+fail_msg() { echo "  FAIL: $*" >&2; echo x >>"$FAILFILE"; }
+ok() { :; }
+(
+  has_match -q alpha "$TMP/data.txt" && fail_msg "alpha present" # SITE:c-inverted (deterministically red: alpha IS in the fixture)
+) && ok
+echo
+if [ -s "$FAILFILE" ]; then
+  echo "wake mini-c harness: FAILED ($(count_lines . "$FAILFILE") assertion(s))" >&2 # SITE:c-summary
+  exit 1
+fi
+echo "wake mini-c harness: all invariants passed (1 group)"
+MINI_C
+chmod +x "$TMP/mini-c.sh"
+LEDGER="$TMP/ledger-c11"
+: >"$LEDGER"
+out="$(WAKE_ASSERT_LEDGER="$LEDGER" bash "$TMP/mini-c.sh" "$TMP" 2>&1)"
+rc=$?
+summary_ln="$(site_line "$TMP/mini-c.sh" c-summary)"
+if [ "$rc" -eq 1 ] &&
+  printf '%s' "$out" | grep -q 'wake mini-c harness: FAILED (1 assertion(s))' &&
+  ! printf '%s' "$out" | grep -q 'all invariants passed' &&
+  grep -q "^count_lines mini-c.sh:${summary_ln}\$" "$LEDGER"; then
+  check C11 0 ""
+else
+  check C11 1 "rc=$rc summary_ln=$summary_ln ledger=$(tr '\n' ' ' <"$LEDGER") out=$(printf '%s' "$out" | tail -n 2 | tr '\n' ' ')"
+fi
+
 echo
 if [ "$fails" -gt 0 ]; then
   echo "microtest-wake-assert: FAILED ($fails check(s))" >&2