diff --git a/packages/mosaic/framework/tools/wake/validate-973/denominator-089615f.json b/packages/mosaic/framework/tools/wake/validate-973/denominator-089615f.json new file mode 100644 index 00000000..2537bfc8 --- /dev/null +++ b/packages/mosaic/framework/tools/wake/validate-973/denominator-089615f.json @@ -0,0 +1,3414 @@ +{ + "base_commit": "089615f", + "frozen_commit": "8d1d6e5", + "derivation": "union(frozen-257 forward-mapped with per-row disposition, fresh six-form derivation at base); legs must agree by set equality", + "predicates": { + "A": "same-line: grep + (||/&&)\\s*fail", + "B": "grep line ends ||/&&, next non-blank line starts fail", + "C": "grep line ends backslash, next line starts ||/&& fail", + "D": "if [!] ...grep...; then with fail in following 4 lines", + "E": "assignment capturing $(... grep -c ...)", + "F": "assignment capturing $(... grep ...) non-count", + "G": "grep with fail within +/-2 lines, no other form" + }, + "total": 261, + "by_form": { + "A-same-line": 204, + "E-count-capture": 28, + "B-cont-operator": 6, + "F-extract-capture": 4, + "C-cont-backslash": 10, + "D-if-form": 9 + }, + "rows": [ + { + "file": "test-wake-beacon.sh", + "line": 132, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'ALARM FIRED' || fail_msg \"B2: absence must announce the alarm fired [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 132, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 153, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'silent no-alarm host' || fail_msg \"B3a: the failure must name the silent-no-alarm-host hazard [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 153, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 159, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out2\" | grep -qi 'UNREACHABLE' || fail_msg \"B3b: the failure must name the unreachable target [$out2]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 159, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 172, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'DEGRADED' || fail_msg \"B4: a different-supervision-root beacon must be FLAGGED degraded on stderr [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 172, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 173, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -q 'degraded=true' || fail_msg \"B4: emit must NOT silently present a degraded beacon as healthy (degraded=true expected) [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 173, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 185, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'not an independent' || fail_msg \"B5: the rejection must explain it is NOT an independent leg [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 185, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 204, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "head -n1 \"$ALARM_OUT\" 2>/dev/null | grep -qF \"$SECRET_TARGET\" || fail_msg \"B6: the adapter must resolve+route to the BY-NAME target [$(cat \"$ALARM_OUT\" 2>/dev/n", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 204, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 206, + "form": "A-same-line", + "polarity": "AND", + "canary": true, + "text": "grep -qF \"$SECRET_TARGET\" \"$BEACON\" && fail_msg \"B6: beacon.sh must NOT inline the target endpoint/secret\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 206, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 207, + "form": "A-same-line", + "polarity": "AND", + "canary": true, + "text": "grep -qF \"$SECRET_TARGET\" \"$WAKE_ALARM_SINK_CMD\" && fail_msg \"B6: even the adapter must resolve by-name, not inline the secret\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 207, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 221, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'silent no-alarm host' || fail_msg \"B7a: the failure must name the silent-no-alarm-host hazard [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 221, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 230, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out2\" | grep -qi 'UNREACHABLE' || fail_msg \"B7b: the failure must name the unreachable sink [$out2]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 230, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 241, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'slo' || fail_msg \"B8: the usage error must name the missing SLO [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 241, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 270, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'ALIVE' || fail_msg \"B10: a fresh beacon must report ALIVE [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 270, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 294, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'ALARM FIRED' || fail_msg \"B11: the receive-time-stale beacon must fire the absence alarm [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 294, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 332, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'spoofed beacon' || fail_msg \"B12: the rejection must name the spoof [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 332, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 340, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "grep -qF \"test-beacon-hmac-key-do-not-echo\" \"$BEACON\" && fail_msg \"B12: beacon.sh must NOT inline the HMAC key\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 340, + "note": "" + }, + { + "file": "test-wake-beacon.sh", + "line": 347, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "echo \"wake ... harness: FAILED ($(grep -c . \\\"$FAILFILE\\\") assertion(s))\" >&2", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 347, + "note": "summary-count subclass (mos-dt derivation): exit discarded by substitution inside echo; FAILED (0 assertion(s)) under grep error reads as flake" + }, + { + "file": "test-wake-detector.sh", + "line": 256, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'schema_version' || fail_msg \"D5: the failure must name schema_version [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 256, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 257, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'range' || fail_msg \"D5: the failure must state it is out of the supported range [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 257, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 290, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'FAIL LOUD' || fail_msg \"D6: the source error must be loud [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 290, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 301, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'AMBIGUOUS-EMPTY' || fail_msg \"D6: ambiguous-empty must be named in the loud failure [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 301, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 445, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'range' || fail_msg \"D9: the out-of-range failure must still state it is out of the supported range [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 445, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 516, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'snapshot' || fail_msg \"D11: dropping malformed metadata must be LOUD on stderr [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 516, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 525, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'snapshot' || fail_msg \"D11: rejecting a bad snapshot_sha must be LOUD on stderr [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 525, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 563, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'without a valid snapshot_sha' || fail_msg \"D12: dropping ts-without-sha must be LOUD on stderr [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 563, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 574, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'future-skew' || fail_msg \"D12: dropping a future ts must be LOUD on stderr [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 574, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 584, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'sane positive epoch' || fail_msg \"D12: rejecting an absurd ts must be LOUD on stderr [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 584, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 624, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'falling back to 300' || fail_msg \"D13: malformed slack must be LOUD on stderr [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 624, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 633, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'falling back to 300' || fail_msg \"D13: non-numeric slack must be LOUD on stderr [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 633, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 643, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'falling back to 300' || fail_msg \"D13: negative slack must be LOUD on stderr [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 643, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 655, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'falling back to 300' || fail_msg \"D13: multi-line slack must be LOUD on stderr [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 655, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 663, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'falling back to 300' || fail_msg \"D13: multi-line non-numeric slack must be LOUD on stderr [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 663, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 690, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'future-skew' || fail_msg \"D13: a valid tightened slack must still reject a future ts [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 690, + "note": "" + }, + { + "file": "test-wake-detector.sh", + "line": 699, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "echo \"wake ... harness: FAILED ($(grep -c . \\\"$FAILFILE\\\") assertion(s))\" >&2", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 699, + "note": "summary-count subclass (mos-dt derivation): exit discarded by substitution inside echo; FAILED (0 assertion(s)) under grep error reads as flake" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 105, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -q 'issue=#11' || fail_msg \"D1: OLDER change (issue #11) dropped \u2014 digest is a delta, not cumulative state\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 105, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 106, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -q 'issue=#22' || fail_msg \"D1: newer change (issue #22) missing\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 106, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 107, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -q 'seq 1' || fail_msg \"D1: seq 1 not listed in cumulative set\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 107, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 108, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -q 'seq 2' || fail_msg \"D1: seq 2 not listed in cumulative set\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 108, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 111, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -q 'pending=2' || fail_msg \"D1: cumulative pending count wrong (expected 2)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 111, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 130, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'mergeable=true' && fail_msg \"D2: an unlocated actionable claim must NOT be delivered as a valid CLAIM\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 130, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 131, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q 'mergeable=true' \"$h/default/dead-letter.jsonl\" 2>/dev/null || fail_msg \"D2: the malformed claim must be DEAD-LETTERED (fail-loud preserved, per-entry)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 131, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 132, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -qi 'QUARANTINE' \"$err\" || fail_msg \"D2: a LOUD per-entry alarm must fire for the malformed claim\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 132, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 143, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'ci=green' && fail_msg \"D2: imprecise sha (not 40-hex) must not satisfy the hard-locator gate (claim must not deliver)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 143, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 144, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q 'ci=green' \"$h/default/dead-letter.jsonl\" 2>/dev/null || fail_msg \"D2: imprecise-sha claim must be dead-lettered\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 144, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 152, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q \"$SHA40\" || fail_msg \"D2: a well-located actionable claim must be DELIVERED\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 152, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 167, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'mergeable=true' && fail_msg \"D2(#905): --stdin top-level-.claim must NOT be delivered (gate not bypassed)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 167, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 168, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q 'mergeable=true' \"$h/default/dead-letter.jsonl\" 2>/dev/null || fail_msg \"D2(#905): --stdin top-level .claim must be dead-lettered (gate enforced)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 168, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 177, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out2\" | grep -q 'mergeable=true' && fail_msg \"D2(#905): --from-file top-level-.claim must NOT be delivered (gate not bypassed)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 177, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 178, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q 'mergeable=true' \"$h/default/dead-letter.jsonl\" 2>/dev/null || fail_msg \"D2(#905): --from-file top-level .claim must be dead-lettered (gate enforced)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 178, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 200, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -q 'NO-OP' || fail_msg \"D3: empty inbox must render an explicit NO-OP orientation\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 200, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 209, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out2\" | grep -q 'CLAIM@seq' || fail_msg \"D3: consequential fact not framed as CLAIM@seq\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 209, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 210, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out2\" | grep -qi 'VERIFY LIVE' || fail_msg \"D3: claim not marked for live verification\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 210, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 211, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out2\" | grep -qi 'do NOT act on this line' || fail_msg \"D3: claim missing do-not-auto-action framing\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 211, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 213, + "form": "B-cont-operator", + "polarity": "AND", + "canary": true, + "text": "echo \"$out2\" | grep -qiE 'merge now|go ahead and (merge|deploy)|safe to merge' &&", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 213, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 216, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out2\" | grep -q \"re-verify (ONE call)\" || fail_msg \"D3: actionable claim missing one-call re-verify locator\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 216, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 232, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | LC_ALL=C grep -q \"$(printf '\\x1b')\" && fail_msg \"D4: ANSI ESC survived the scrub\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 232, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 247, + "form": "B-cont-operator", + "polarity": "AND", + "canary": true, + "text": "printf '%s' \"$out\" | LC_ALL=C grep -qE \"${_b280}[${_b8b}-${_b8f}${_baa}-${_bae}]|${_bbom}\" &&", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 247, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 252, + "form": "B-cont-operator", + "polarity": "AND", + "canary": true, + "text": "printf '%s' \"$out\" | LC_ALL=C grep -qE \"[${_c00}-${_c08}${_c0e}-${_c1f}${_c7f}]\" &&", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 252, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 255, + "form": "A-same-line", + "polarity": "AND", + "canary": true, + "text": "printf '%s' \"$out\" | grep -q 'ghp_0123456789' && fail_msg \"D4: GitHub-token canary LEAKED into the digest\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 255, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 256, + "form": "A-same-line", + "polarity": "AND", + "canary": true, + "text": "printf '%s' \"$out\" | grep -q 'AKIAIOSFODNN7EXAMPLE' && fail_msg \"D4: AWS-key canary LEAKED into the digest\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 256, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 257, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'REDACTED-SECRET' || fail_msg \"D4: secret redaction marker absent \u2014 canary may not have been scrubbed\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 257, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 259, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'BEGIN UNTRUSTED DATA' || fail_msg \"D4: source free-text not placed in a delimited untrusted block\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 259, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 261, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q \"$SHA40\" || fail_msg \"D4: legitimate 40-hex SHA locator was wrongly scrubbed\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 261, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 326, + "form": "A-same-line", + "polarity": "AND", + "canary": true, + "text": "echo \"$env1\" | grep -q 'SUPERSECRET-KEYVALUE-XYZ' && fail_msg \"H2: key material LEAKED into the signed envelope\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 326, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 330, + "form": "A-same-line", + "polarity": "AND", + "canary": true, + "text": "echo \"$entry\" | grep -q 'SUPERSECRET-KEYVALUE-XYZ' && fail_msg \"H2: key material LEAKED into the signed entry\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 330, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 344, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -qi 'same-uid' \"$SIGN\" || fail_msg \"H2: same-uid threat boundary not documented in sign.sh\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 344, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 345, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -qi 'off-uid' \"$SIGN\" || fail_msg \"H2: off-uid future signer not named in sign.sh\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 345, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 358, + "form": "B-cont-operator", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$ack_line\" | grep -q 'WAKE_AGENT=someagent' ||", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 358, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 404, + "form": "F-extract-capture", + "polarity": "REVIEW", + "canary": false, + "text": "orientline=\"$(printf '%s\\n' \"$out\" | grep -E '^\\s*\\* seq 1 \\[digest\\]')\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 404, + "note": "verdict at a later comparison site" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 406, + "form": "B-cont-operator", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$orientline\" | grep -qE 'locator: *$' &&", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 406, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 409, + "form": "B-cont-operator", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$orientline\" | grep -qE 'remote=example/repo|id=r1|kind=repo' ||", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 409, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 424, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'mergeable=true' && fail_msg \"D6: a malformed actionable claim must NOT be delivered as valid (fail-loud preserved)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 424, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 425, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q 'mergeable=true' \"$h/default/dead-letter.jsonl\" 2>/dev/null || fail_msg \"D6: a malformed actionable must be DEAD-LETTERED (fail-loud preserved, per-entr", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 425, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 426, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -qi 'QUARANTINE' \"$err\" || fail_msg \"D6: a malformed actionable must raise a loud per-entry alarm\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 426, + "note": "" + }, + { + "file": "test-wake-digest-hmac.sh", + "line": 431, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "echo \"wake ... harness: FAILED ($(grep -c . \\\"$FAILFILE\\\") assertion(s))\" >&2", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 431, + "note": "summary-count subclass (mos-dt derivation): exit discarded by substitution inside echo; FAILED (0 assertion(s)) under grep error reads as flake" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 179, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q \"$SHA40\" || fail_msg \"Q1: the clean sibling (sha $SHA40) must STILL be delivered in the same drain [head-of-line block]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 179, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 180, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'MALFORMED-Q' && fail_msg \"Q1: the quarantined entry must be EXCLUDED from the rendered digest\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 180, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 182, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q 'MALFORMED-Q' \"$(dlq \"$home\")\" 2>/dev/null || fail_msg \"Q1: the malformed entry must be DEAD-LETTERED (accounted-for, not silently dropped)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 182, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 183, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -qi 'QUARANTINE' \"$err\" || fail_msg \"Q1: a LOUD per-entry alarm must fire on stderr\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 183, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 184, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q 'observed_seq=1' \"$err\" || fail_msg \"Q1: the alarm must identify the offending entry (observed_seq=1)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 184, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 203, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'id=ENUM-B' || fail_msg \"Q2: the enumeration must render as an ORIENTATION pointer (id=ENUM-B via _locator_line)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 203, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 204, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'CLAIM@seq' && fail_msg \"Q2: an enumeration must NOT render as an ACTIONABLE CLAIM@seq\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 204, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 223, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "n=\"$(printf '%s\\n' \"$out\" | grep -c 'id=ENUM-C[12]' || true)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 223, + "note": "error swallowed by || true" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 225, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'id=ENUM-C1' || fail_msg \"Q3: enumeration ENUM-C1 must be present\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 225, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 226, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'id=ENUM-C2' || fail_msg \"Q3: enumeration ENUM-C2 must be present\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 226, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 242, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'CLAIM-KEEP' && fail_msg \"Q4: a malformed actionable must NOT be delivered as if valid\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 242, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 243, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q '(none) \u2014 no consequential claims pending' || fail_msg \"Q4: with the only claim quarantined, the ACTIONABLE section must show (none", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 243, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 244, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q 'CLAIM-KEEP' \"$(dlq \"$home\")\" 2>/dev/null || fail_msg \"Q4: the malformed actionable must be DEAD-LETTERED (loudly surfaced, not silent)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 244, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 245, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -qi 'QUARANTINE' \"$err\" || fail_msg \"Q4: the malformed actionable must raise a LOUD alarm\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 245, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 261, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q 'CLAIMY' \"$(dlq \"$home\")\" 2>/dev/null || fail_msg \"Q5: a claim-carrying entry with no hard locator must be quarantined (claim precedence, \u00a72.1)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 261, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 262, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'CI is green' && fail_msg \"Q5: the un-verifiable claim must NOT be delivered\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 262, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 281, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "n=\"$(grep -c . \"$ALARM_OUT\" 2>/dev/null || true)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 281, + "note": "error swallowed by || true" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 283, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q '\"observed_seq\":21' \"$ALARM_OUT\" 2>/dev/null || fail_msg \"Q6: the routed alarm payload must name the entry's observed_seq (21)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 283, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 284, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -qi 'QUARANTINE' \"$err\" || fail_msg \"Q6: the existing #920 stderr diagnostic must STILL fire (local + off-host, not either/or)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 284, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 285, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'DLQ-Q6' && fail_msg \"Q6: the quarantined entry must still be EXCLUDED from the rendered digest\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 285, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 303, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "n=\"$(grep -c . \"$ALARM_OUT\" 2>/dev/null || true)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 303, + "note": "error swallowed by || true" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 305, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -qi 'QUARANTINE' \"$TMP_ROOT/q7.err.4\" || fail_msg \"Q7: the #920 stderr diagnostic must STILL fire on every re-drain (only the off-host route is deduped)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 305, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 324, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "n=\"$(grep -c . \"$ALARM_OUT\" 2>/dev/null || true)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 324, + "note": "error swallowed by || true" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 326, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q '\"observed_seq\":31' \"$ALARM_OUT\" 2>/dev/null || fail_msg \"Q8: seq 31's alarm must be present\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 326, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 327, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q '\"observed_seq\":32' \"$ALARM_OUT\" 2>/dev/null || fail_msg \"Q8: seq 32's (the new distinct entry's) OWN alarm must be present\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 327, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 343, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -qi 'FAIL LOUD' \"$err_a\" || fail_msg \"Q9a: an unconfigured off-host alarm target must FAIL LOUD on stderr [$(cat \"$err_a\")]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 343, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 344, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -Eqi 'silent no-alarm|silent-miss|PERMANENTLY miss|permanent silent miss' \"$err_a\" || fail_msg \"Q9a: the diagnostic must name the silent-miss hazard (G2a),", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 344, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 345, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out_a\" | grep -q 'DLQ-Q9' && fail_msg \"Q9a: the quarantined entry must still be EXCLUDED from the rendered digest\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 345, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 358, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -qi 'FAIL LOUD' \"$err_b\" || fail_msg \"Q9b: an unreachable off-host alarm target must FAIL LOUD on stderr [$(cat \"$err_b\")]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 358, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 359, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -qi 'UNREACHABLE' \"$err_b\" || fail_msg \"Q9b: the diagnostic must name the unreachable target [$(cat \"$err_b\")]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 359, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 360, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out_b\" | grep -q 'DLQ-Q9' && fail_msg \"Q9b: the quarantined entry must still be EXCLUDED from the rendered digest\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 360, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 386, + "form": "F-extract-capture", + "polarity": "REVIEW", + "canary": false, + "text": "snapa_line=\"$(printf '%s\\n' \"$out\" | grep 'id=SNAP-A' || true)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 386, + "note": "verdict at a later comparison site" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 387, + "form": "C-cont-backslash", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$snapa_line\" | grep -q 'snapshot_sha=0123abc4567890def0123abc4567890def012345' \\", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 387, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 389, + "form": "C-cont-backslash", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$snapa_line\" | grep -q 'snapshot_ts=1753850000' \\", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 389, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 391, + "form": "C-cont-backslash", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'git show 0123abc4567890def0123abc4567890def012345:BOARD.md' \\", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 391, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 394, + "form": "F-extract-capture", + "polarity": "REVIEW", + "canary": false, + "text": "snapb_line=\"$(printf '%s\\n' \"$out\" | grep 'id=SNAP-B' || true)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 394, + "note": "verdict at a later comparison site" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 395, + "form": "C-cont-backslash", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$snapb_line\" | grep -q 'snapshot_' \\", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 395, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 437, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'seq 68 \u2014 CLAIM@seq' || fail_msg \"Q11a: the live seq-68 detector-shape entry must RENDER as CLAIM@seq (positive control)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 437, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 438, + "form": "C-cont-backslash", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'git show 55d4909569d2b5fbccfec49ec9ca83db5049f3ce:docs/scratchpads/heartbeat-planning' \\", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 438, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 441, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'seq 69 \u2014 CLAIM@seq' || fail_msg \"Q11b: a path-only detector-shape entry must RENDER as CLAIM@seq (path arm)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 441, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 442, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 're-read BOARD.md' || fail_msg \"Q11b: the path-only claim must carry the one-call re-read hint\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 442, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 443, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "n_claims=\"$(printf '%s\\n' \"$out\" | grep -c 'CLAIM@seq' || true)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 443, + "note": "error swallowed by || true" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 446, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'ADDR-FREE' && fail_msg \"Q11c: the address-free entry must be EXCLUDED from the digest\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 446, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 447, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'SNAP-ONLY' && fail_msg \"Q11d: no bare path-less snapshot_sha entry may appear in the digest (gate must not widen past board_file)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 447, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 448, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q 'ADDR-FREE' \"$(dlq \"$home\")\" 2>/dev/null || fail_msg \"Q11c: the address-free entry must be DEAD-LETTERED\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 448, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 450, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q \"$snap_id\" \"$(dlq \"$home\")\" 2>/dev/null || fail_msg \"Q11d: the bare snapshot_sha entry ($snap_id) must be DEAD-LETTERED\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 450, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 452, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "grep -q 'heartbeat-planning' \"$(dlq \"$home\")\" 2>/dev/null && fail_msg \"Q11a: the valid live entry must NOT be dead-lettered\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 452, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 453, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "grep -q 'PILOT-LOCAL' \"$(dlq \"$home\")\" 2>/dev/null && fail_msg \"Q11b: the valid path-only entry must NOT be dead-lettered\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 453, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 454, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "n_alarms=\"$(grep -c . \"$ALARM_OUT\" 2>/dev/null || true)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 454, + "note": "error swallowed by || true" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 456, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q '\"observed_seq\":70' \"$ALARM_OUT\" 2>/dev/null || fail_msg \"Q11c: seq 70's own alarm must be present\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 456, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 458, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q \"\\\"observed_seq\\\":$snap_seq\" \"$ALARM_OUT\" 2>/dev/null || fail_msg \"Q11d: seq $snap_seq's own alarm must be present\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 458, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 480, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'QUARANTINED' || fail_msg \"Q12: the digest must carry a QUARANTINED disclosure section (no silent hold)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 480, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 481, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'seq 2 .*HELD' || fail_msg \"Q12: the disclosure must name the held seq (2) as HELD\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 481, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 484, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'ADDR-Q12' && fail_msg \"Q12: the quarantined entry's content/locators must stay EXCLUDED from the digest\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 484, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 486, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -Eq 'consumed --upto 1$' || fail_msg \"Q12: the embedded ack must be CLAMPED to --upto 1 (below quarantined seq 2)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 486, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 487, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -Eq 'consumed --upto 2( |$)' && fail_msg \"Q12: the raw observed cursor (2) must NOT be embedded while seq 2 is quarantined\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 487, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 488, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'ACK CLAMPED' || fail_msg \"Q12: the clamp must be LOUDLY disclosed in the ACK section\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 488, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 506, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -Eq 'consumed --upto 1$' || fail_msg \"Q13: with nothing quarantined the ack must embed the observed cursor (1) unchanged\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 506, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 507, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'QUARANTINED' && fail_msg \"Q13: no disclosure section when nothing is quarantined\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 507, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 508, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'ACK CLAMPED' && fail_msg \"Q13: no clamp note when nothing is quarantined\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 508, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 523, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'QUARANTINED' || fail_msg \"Q14: the store-mode digest must disclose the held entry\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 523, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 524, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -Eq 'consumed --upto 1$' || fail_msg \"Q14: the embedded ack must clamp to 1 (below quarantined seq 2)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 524, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 548, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s' \"$out\" | grep -q 'QUARANTINED' && fail_msg \"Q15: nothing quarantines under the fixed gate \u2014 no disclosure section\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 548, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 549, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "printf '%s' \"$out\" | grep -Eq 'consumed --upto 2$' || fail_msg \"Q15: the ack must embed the full observed cursor (2) once the gate is fixed\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 549, + "note": "" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 560, + "form": "F-extract-capture", + "polarity": "REVIEW", + "canary": false, + "text": "fixture_line=\"$(grep -F \"\\\"id\\\":\\\"$enum_id\\\"\" \"$self\" | grep -F '\"observed_seq\":5' | head -n1)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 560, + "note": "verdict at a later comparison site" + }, + { + "file": "test-wake-digest-quarantine.sh", + "line": 581, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "echo \"wake ... harness: FAILED ($(grep -c . \\\"$FAILFILE\\\") assertion(s))\" >&2", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 581, + "note": "summary-count subclass (mos-dt derivation): exit discarded by substitution inside echo; FAILED (0 assertion(s)) under grep error reads as flake" + }, + { + "file": "test-wake-fn-oracle.sh", + "line": 65, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -q 'FN-RATE = 0/3' || fail_msg \"O1: FN-rate must be 0/3 on a healthy pipeline [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 65, + "note": "" + }, + { + "file": "test-wake-fn-oracle.sh", + "line": 66, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -q 'VERDICT = PASS' || fail_msg \"O1: verdict must be PASS on a healthy pipeline [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 66, + "note": "" + }, + { + "file": "test-wake-fn-oracle.sh", + "line": 79, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -q 'FN-RATE = 3/3' || fail_msg \"O2: every dropped canary must count as a false-negative (FN-RATE 3/3) [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 79, + "note": "" + }, + { + "file": "test-wake-fn-oracle.sh", + "line": 80, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -q 'VERDICT = FN-DETECTED' || fail_msg \"O2: verdict must be FN-DETECTED for a dropping detector [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 80, + "note": "" + }, + { + "file": "test-wake-fn-oracle.sh", + "line": 81, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'never OBSERVED' || fail_msg \"O2: the failure must name the dropped (never-observed) delta [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 81, + "note": "" + }, + { + "file": "test-wake-fn-oracle.sh", + "line": 94, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'per-class SLO' || fail_msg \"O3: the failure must attribute to the per-class SLO, not a drop [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 94, + "note": "" + }, + { + "file": "test-wake-fn-oracle.sh", + "line": 97, + "form": "D-if-form", + "polarity": "AND", + "canary": false, + "text": "if echo \"$out\" | grep -qi 'never OBSERVED'; then", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 97, + "note": "fail inside if-block" + }, + { + "file": "test-wake-fn-oracle.sh", + "line": 113, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -q 'VERDICT = FN-DETECTED' || fail_msg \"O4: off-domain verdict must not be fooled by a clean exit code [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 113, + "note": "" + }, + { + "file": "test-wake-fn-oracle.sh", + "line": 124, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'slo' || fail_msg \"O5: the usage error must name the missing SLO [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 124, + "note": "" + }, + { + "file": "test-wake-fn-oracle.sh", + "line": 129, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "echo \"wake ... harness: FAILED ($(grep -c . \\\"$FAILFILE\\\") assertion(s))\" >&2", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 129, + "note": "summary-count subclass (mos-dt derivation): exit discarded by substitution inside echo; FAILED (0 assertion(s)) under grep error reads as flake" + }, + { + "file": "test-wake-install.sh", + "line": 97, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'Gate A VIOLATION' || fail_msg \"I2: refusal must name the Gate A violation [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 97, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 124, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'EXACTLY ONE' || fail_msg \"I3: verify must confirm exactly-one [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 124, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 144, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'snapshot-guard' || fail_msg \"I4: refusal must name the snapshot-guard [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 144, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 164, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'UNSIGNED' || fail_msg \"I5: HMAC failure must warn about unsigned wakes [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 164, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 169, + "form": "A-same-line", + "polarity": "AND", + "canary": true, + "text": "echo \"$out2\" | grep -qF \"$SECRET_KEY\" && fail_msg \"I5: validate must NEVER echo the HMAC key material\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 169, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 174, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out3\" | grep -qi 'silent no-alarm host' || fail_msg \"I5: alarm failure must name the silent-no-alarm hazard [$out3]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 174, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 179, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out4\" | grep -qi 'UNREACHABLE' || fail_msg \"I5: alarm failure must name the unreachable target [$out4]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 179, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 184, + "form": "A-same-line", + "polarity": "AND", + "canary": true, + "text": "grep -qF \"$SECRET_ENDPOINT\" \"$WI\" && fail_msg \"I5: wake-install.sh must NOT inline any alarm endpoint\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 184, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 185, + "form": "A-same-line", + "polarity": "AND", + "canary": true, + "text": "grep -qE 'hmac_keys[^A-Za-z_].*=[^=].*[A-Za-z0-9]{8,}' \"$WI\" && fail_msg \"I5: wake-install.sh must NOT inline key material\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 185, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 207, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'LEFT RUNNING' || fail_msg \"I6: overlap must announce retire is withheld [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 207, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 286, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'manifest.sh' || fail_msg \"I9: the failure must NAME the missing library (manifest.sh) [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 286, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 287, + "form": "C-cont-backslash", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qiE 'REMEDY|mosaic update|re-seed|framework install' \\", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 287, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 290, + "form": "C-cont-backslash", + "polarity": "AND", + "canary": false, + "text": "echo \"$out\" | grep -qi 'No such file or directory' \\", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 290, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 316, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out2\" | grep -qi 'search path' || fail_msg \"I10: validate failure must name the search-path miss [$out2]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 316, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 319, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "n=\"$(find \"$UD\" -maxdepth 1 -name 'mosaic-wake.service' | grep -c .)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 319, + "note": "exit code discarded by substitution" + }, + { + "file": "test-wake-install.sh", + "line": 337, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out0\" | grep -qi 'F7' || fail_msg \"I11: the refusal must name the F7 precondition [$out0]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 337, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 342, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'FALLBACK WAKE is not proven live' || fail_msg \"I11: refusal must name the un-proven fallback [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 342, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 370, + "form": "C-cont-backslash", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -q 'STALLED-DRAIN-MARK' \\", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 370, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 374, + "form": "C-cont-backslash", + "polarity": "OR", + "canary": false, + "text": "grep -qE '^ExecStart=.*digest\\.sh render --from-store' \"$UNIT\" \\", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 374, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 394, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'search path' || fail_msg \"I13: validate failure must name the search-path miss [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 394, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 397, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "nt=\"$(find \"$UD\" -maxdepth 1 -name 'mosaic-wake-fallback.timer' | grep -c .)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 397, + "note": "exit code discarded by substitution" + }, + { + "file": "test-wake-install.sh", + "line": 398, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "ns=\"$(find \"$UD\" -maxdepth 1 -name 'mosaic-wake-fallback.service' | grep -c .)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 398, + "note": "exit code discarded by substitution" + }, + { + "file": "test-wake-install.sh", + "line": 410, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q '^OnUnitActiveSec=1h' \"$UD/$TIMER\" || fail_msg \"I14: shipped fallback timer must carry a base OnUnitActiveSec placeholder\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 410, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 414, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'exactly one' || fail_msg \"I14: the cadence write must confirm exactly-one OnUnitActiveUSec [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 414, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 420, + "form": "C-cont-backslash", + "polarity": "OR", + "canary": false, + "text": "grep -A1 '^OnUnitActiveSec=$' \"$UD/$TIMER.d/cadence.conf\" | grep -qx 'OnUnitActiveSec=30min' \\", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 420, + "note": "" + }, + { + "file": "test-wake-install.sh", + "line": 431, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "echo \"wake ... harness: FAILED ($(grep -c . \\\"$FAILFILE\\\") assertion(s))\" >&2", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 431, + "note": "summary-count subclass (mos-dt derivation): exit discarded by substitution inside echo; FAILED (0 assertion(s)) under grep error reads as flake" + }, + { + "file": "test-wake-preimage.sh", + "line": 205, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "jq -r '.refused // \"\"' <<<\"$row\" | grep -qi 'path' || fail_msg \"P4: refusal must name the path deny [$row]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 205, + "note": "" + }, + { + "file": "test-wake-preimage.sh", + "line": 207, + "form": "D-if-form", + "polarity": "AND", + "canary": true, + "text": "if grep -rq \"$secret\" \"$sd\" 2>/dev/null; then", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 207, + "note": "fail inside if-block" + }, + { + "file": "test-wake-preimage.sh", + "line": 228, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "jq -r '.refused // \"\"' <<<\"$row\" | grep -qi 'secret' || fail_msg \"P5: refusal must name secret-shaped content [$row]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 228, + "note": "" + }, + { + "file": "test-wake-preimage.sh", + "line": 229, + "form": "D-if-form", + "polarity": "AND", + "canary": true, + "text": "if grep -rq \"$tok\" \"$sd\" 2>/dev/null; then", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 229, + "note": "fail inside if-block" + }, + { + "file": "test-wake-preimage.sh", + "line": 278, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'does not resolve' || fail_msg \"P8: the failure must name the unresolvable adapter [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 278, + "note": "" + }, + { + "file": "test-wake-preimage.sh", + "line": 297, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'unparseable' || fail_msg \"P9: the failure must name the corrupt ledger [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 297, + "note": "" + }, + { + "file": "test-wake-preimage.sh", + "line": 317, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "jq -r '.refused // \"\"' <<<\"$row\" | grep -qi 'MAX_BYTES' || fail_msg \"P10: refusal must name the size cap [$row]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 317, + "note": "" + }, + { + "file": "test-wake-preimage.sh", + "line": 365, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'preimage' || fail_msg \"P12: the failure must name the preimage check [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 365, + "note": "" + }, + { + "file": "test-wake-preimage.sh", + "line": 400, + "form": "D-if-form", + "polarity": "AND", + "canary": true, + "text": "if grep -rq \"$s1\" \"$sd\" 2>/dev/null; then", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 400, + "note": "fail inside if-block" + }, + { + "file": "test-wake-preimage.sh", + "line": 403, + "form": "D-if-form", + "polarity": "AND", + "canary": true, + "text": "if grep -rq \"$s2\" \"$sd\" 2>/dev/null; then", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 403, + "note": "fail inside if-block" + }, + { + "file": "test-wake-preimage.sh", + "line": 426, + "form": "D-if-form", + "polarity": "AND", + "canary": true, + "text": "if grep -rq \"$hm\" \"$sd\" 2>/dev/null; then", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 426, + "note": "fail inside if-block" + }, + { + "file": "test-wake-preimage.sh", + "line": 437, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "jq -r '.refused // \"\"' <<<\"$row\" | grep -qi 'secret' || fail_msg \"P14b: refusal must name secret-shaped content [$row]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 437, + "note": "" + }, + { + "file": "test-wake-preimage.sh", + "line": 438, + "form": "D-if-form", + "polarity": "AND", + "canary": true, + "text": "if grep -rq \"$hm\" \"$sd\" 2>/dev/null; then", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 438, + "note": "fail inside if-block" + }, + { + "file": "test-wake-preimage.sh", + "line": 491, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'REFUSING to re-baseline' || fail_msg \"P16: the failure must name the refusal [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 491, + "note": "" + }, + { + "file": "test-wake-preimage.sh", + "line": 523, + "form": "D-if-form", + "polarity": "AND", + "canary": true, + "text": "if grep -rq \"$s\" \"$sd\" 2>/dev/null; then", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 523, + "note": "fail inside if-block" + }, + { + "file": "test-wake-reconcile.sh", + "line": 90, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'COMPLETE' || fail_msg \"R1: a complete inventory must report COMPLETE [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 90, + "note": "" + }, + { + "file": "test-wake-reconcile.sh", + "line": 109, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'r2' || fail_msg \"R2: the flag must name the omitted source r2 [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 109, + "note": "" + }, + { + "file": "test-wake-reconcile.sh", + "line": 110, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'vacuous' || fail_msg \"R2: the flag must state the vacuous-pass is prevented [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 110, + "note": "" + }, + { + "file": "test-wake-reconcile.sh", + "line": 129, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi \"requires source 'r2'\" || fail_msg \"R3: the flag must name the required-but-omitted source r2 [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 129, + "note": "" + }, + { + "file": "test-wake-reconcile.sh", + "line": 147, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'dangling' || fail_msg \"R4: the flag must state it is dangling [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 147, + "note": "" + }, + { + "file": "test-wake-reconcile.sh", + "line": 176, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'UNACCOUNTED=2' || fail_msg \"R5: both pre-existing sources must be UNACCOUNTED [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 176, + "note": "" + }, + { + "file": "test-wake-reconcile.sh", + "line": 183, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out2\" | grep -qi 'UNACCOUNTED=0' || fail_msg \"R6: second reconcile must be 0 unaccounted [$out2]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 183, + "note": "" + }, + { + "file": "test-wake-reconcile.sh", + "line": 214, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'UNACCOUNTED=0' || fail_msg \"R7: inbox-reflected state must be 0 unaccounted [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 214, + "note": "" + }, + { + "file": "test-wake-reconcile.sh", + "line": 239, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'FAIL LOUD' || fail_msg \"R8: the source error must be loud [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 239, + "note": "" + }, + { + "file": "test-wake-reconcile.sh", + "line": 281, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'UNACCOUNTED=1' || fail_msg \"R9: only beta should be unaccounted (alpha is inbox-accounted) [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 281, + "note": "" + }, + { + "file": "test-wake-reconcile.sh", + "line": 295, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "ndistinct=\"$(\"$STORE\" drain | jq -r '.observed_seq' | sort -nu | grep -c .)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 295, + "note": "exit code discarded by substitution" + }, + { + "file": "test-wake-reconcile.sh", + "line": 296, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "ntotal=\"$(\"$STORE\" drain | jq -r '.observed_seq' | grep -c .)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 296, + "note": "exit code discarded by substitution" + }, + { + "file": "test-wake-reconcile.sh", + "line": 336, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'UNACCOUNTED=0' || fail_msg \"R10: a consumed state must be 0 unaccounted (no re-enumeration) [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 336, + "note": "" + }, + { + "file": "test-wake-reconcile.sh", + "line": 375, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -qi 'UNACCOUNTED=1' || fail_msg \"R11: exactly ONE source (the gap r2) must be unaccounted; the consumed r1 must be suppressed [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 375, + "note": "" + }, + { + "file": "test-wake-reconcile.sh", + "line": 386, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "echo \"wake ... harness: FAILED ($(grep -c . \\\"$FAILFILE\\\") assertion(s))\" >&2", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 386, + "note": "summary-count subclass (mos-dt derivation): exit discarded by substitution inside echo; FAILED (0 assertion(s)) under grep error reads as flake" + }, + { + "file": "test-wake-store-ack.sh", + "line": 99, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'observed_seq=2' || fail_msg \"T1: observed_seq should be 2 after enqueue 1,2 [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 90, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 100, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'consumed_seq=0' || fail_msg \"T1: consumed_seq must NOT advance on enqueue (only on CONSUMED ack) [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 91, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 101, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'pending_depth=2' || fail_msg \"T1: pending depth should be 2 [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 92, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 105, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'consumed_seq=2' || fail_msg \"T1: consumed_seq should be 2 after CONSUMED 2 [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 96, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 106, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'pending_depth=0' || fail_msg \"T1: pending drained after CONSUMED [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 97, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 119, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "ndigest=\"$(printf '%s\\n' \"$out\" | jq -c 'select(.class==\"digest\")' | grep -c . || true)\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 110, + "note": "error swallowed by || true" + }, + { + "file": "test-wake-store-ack.sh", + "line": 123, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "nactionable=\"$(printf '%s\\n' \"$out\" | jq -c 'select(.class==\"actionable\")' | grep -c . || true)\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 114, + "note": "error swallowed by || true" + }, + { + "file": "test-wake-store-ack.sh", + "line": 124, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "nhuman=\"$(printf '%s\\n' \"$out\" | jq -c 'select(.class==\"human\")' | grep -c . || true)\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 115, + "note": "error swallowed by || true" + }, + { + "file": "test-wake-store-ack.sh", + "line": 128, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "total=\"$(printf '%s\\n' \"$out\" | grep -c . || true)\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 119, + "note": "error swallowed by || true" + }, + { + "file": "test-wake-store-ack.sh", + "line": 144, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'consumed_seq=0' || fail_msg \"T3: rejected CONSUMED must NOT advance the cursor [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 135, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 153, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'consumed_seq=3' || fail_msg \"T3: consumed_seq should be 3 after contiguous prefix filled [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 144, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 157, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'consumed_seq=3' || fail_msg \"T3: cursor must not regress below 3 [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 148, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 172, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'consumed_seq=0' || fail_msg \"T4: RECEIVED must not advance consumed_seq [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 163, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 192, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "printf '%s\\n' \"$drained\" | grep -q 999 && fail_msg \"T5: uncommitted garbage (seq 999) leaked into the live store\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 183, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 201, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "[ \"$(printf '%s\\n' \"$d2\" | grep -c .)\" = \"2\" ] || fail_msg \"T5: store not healthy after crash+recovery (expected 2 entries)\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 192, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 212, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "[ \"$(printf '%s\\n' \"$d3\" | grep -c .)\" = \"2\" ] || fail_msg \"T5: store not healthy after maintenance reap (expected 2 entries)\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 203, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 257, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "[ \"$(printf '%s\\n' \"$d\" | grep -c .)\" = \"2\" ] || fail_msg \"T6: entries not retained across restart (expected 2)\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 248, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 262, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "n2=\"$(printf '%s\\n' \"$d2\" | grep -c . || true)\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 253, + "note": "error swallowed by || true" + }, + { + "file": "test-wake-store-ack.sh", + "line": 299, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out\" | grep -q 'CONSUMED 1' || fail_msg \"T7: CONSUMED not reported [$out]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 290, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 324, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'observed_seq=2' || fail_msg \"T8: observed_seq cursor should be 2 [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 315, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 325, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'pending_depth=2' || fail_msg \"T8: both allocations must be durably enqueued [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 316, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 334, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -qi 'anti-swallow' || fail_msg \"T8: the refusal must name the anti-swallow guarantee [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 325, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 446, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'observed_seq=2' || fail_msg \"T10: observed_seq must reach 2 after two enqueues [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 437, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 447, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'pending_depth=2' || fail_msg \"T10: both entries must be durably stored (no lost write) [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 438, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 495, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -qi 'cursor' \"$errfile\" || fail_msg \"T11: the failure diagnostic must name the observed_seq cursor write [$(cat \"$errfile\")]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 486, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 539, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "\"$STORE\" cursors | grep -q 'consumed_seq=3' || fail_msg \"T12: consumed_seq must be 3 after CONSUMED 3\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 530, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 558, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -q 'quarantined seq(s): 2' || fail_msg \"T13: the refusal must NAME the quarantined seq [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 549, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 559, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$err\" | grep -q -- '--force-past-quarantine' || fail_msg \"T13: the refusal must NAME the force flag [$err]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 550, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 561, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'consumed_seq=0' || fail_msg \"T13: a refused consume must NOT advance the cursor [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 552, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 569, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'consumed_seq=1' || fail_msg \"T13: cursor must still be 1 after the refused ack [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 560, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 588, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q 'FORCED PAST QUARANTINE' \"$errf\" || fail_msg \"T14: the forced path must be LOUD on stderr [$(cat \"$errf\")]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 579, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 589, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q 'seq 2' \"$errf\" || fail_msg \"T14: the forced-path diagnostic must name the stepped-over seq 2 [$(cat \"$errf\")]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 580, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 590, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "\"$STORE\" cursors | grep -q 'consumed_seq=3' || fail_msg \"T14: forced consume must advance the cursor to 3\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 581, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 600, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "grep -qxF '2' \"$qf\" 2>/dev/null && fail_msg \"T14: seq 2 must be PRUNED from quarantined.set after the forced step-over\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 591, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 610, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$out2\" | grep -q '^CONSUMED 5$' || fail_msg \"T14: forced ack must report a CLEAN cursor line 'CONSUMED 5', got '$out2'\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 601, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 611, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q 'FORCED PAST QUARANTINE' \"$errf2\" || fail_msg \"T14: the forced-path loudness must survive the ack wrapper (stderr) [$(cat \"$errf2\")]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 602, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 674, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q 'FALSE WITNESS' \"$rep\" || fail_msg \"T16: the audit must name the false row loudly [$(cat \"$rep\")]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 665, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 675, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -q '\"id\":\"X\"' \"$rep\" || fail_msg \"T16: the audit must identify the false row (repo/X@1) [$(cat \"$rep\")]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 666, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 676, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "grep -q '\"id\":\"Y\"' \"$rep\" && fail_msg \"T16: the clean row repo/Y must NOT be flagged\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 667, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 677, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "grep -q '\"id\":\"Z\"' \"$rep\" && fail_msg \"T16: the HEALED row repo/Z@4 must NOT be flagged (its dead-letter evidence is seq 3 with a different hash)\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 668, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 686, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "[ \"$(grep -c . \"$dl\")\" = \"2\" ] || fail_msg \"T16: the dead-letter LEDGER must be untouched by --repair\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 677, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 689, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -qi 'OK' \"$TMP_ROOT/t16.ok\" || fail_msg \"T16: a clean audit must say OK [$(cat \"$TMP_ROOT/t16.ok\")]\"", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "", + "line_at_8d1d6e5": 680, + "note": "" + }, + { + "file": "test-wake-store-ack.sh", + "line": 738, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "echo \"wake store/ack harness: FAILED ($(grep -c . \"$FAILFILE\") assertion(s))\" >&2", + "origin": "frozen-8d1d6e5", + "drift": "moved", + "text_note": "frozen-text-normalized", + "line_at_8d1d6e5": 685, + "note": "summary-count subclass (mos-dt derivation): exit discarded by substitution inside echo; FAILED (0 assertion(s)) under grep error reads as flake" + }, + { + "file": "test-wake-store-enqueue-race.sh", + "line": 150, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "n_tmp=\"$(find \"$STATE_DIR\" -maxdepth 1 -name '.wake.tmp.*' -type f | grep -c . || true)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 150, + "note": "error swallowed by || true" + }, + { + "file": "test-wake-store-enqueue-race.sh", + "line": 176, + "form": "D-if-form", + "polarity": "AND", + "canary": false, + "text": "if grep -q 'durable pending write FAILED' \"$a_err\" 2>/dev/null; then", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 176, + "note": "fail inside if-block" + }, + { + "file": "test-wake-store-enqueue-race.sh", + "line": 192, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'observed_seq=2' || fail_msg \"T-RACE: observed_seq must reach 2 (both allocations committed) [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 192, + "note": "" + }, + { + "file": "test-wake-store-enqueue-race.sh", + "line": 193, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'pending_depth=2' || fail_msg \"T-RACE: both entries must be durably stored \u2014 no lost/aborted write [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 193, + "note": "" + }, + { + "file": "test-wake-store-enqueue-race.sh", + "line": 194, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "echo \"$cur\" | grep -q 'consumed_seq=0' || fail_msg \"T-RACE: enqueue must never advance consumed_seq [$cur]\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 194, + "note": "" + }, + { + "file": "test-wake-store-enqueue-race.sh", + "line": 198, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "n_leak=\"$(find \"$STATE_DIR\" -maxdepth 1 -name '.wake.tmp.*' -type f | grep -c . || true)\"", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 198, + "note": "error swallowed by || true" + }, + { + "file": "test-wake-store-enqueue-race.sh", + "line": 205, + "form": "E-count-capture", + "polarity": "COUNT", + "canary": false, + "text": "echo \"wake ... harness: FAILED ($(grep -c . \\\"$FAILFILE\\\") assertion(s))\" >&2", + "origin": "frozen-8d1d6e5", + "drift": "unchanged", + "text_note": "", + "line_at_8d1d6e5": 205, + "note": "summary-count subclass (mos-dt derivation): exit discarded by substitution inside echo; FAILED (0 assertion(s)) under grep error reads as flake" + }, + { + "file": "test-wake-store-ack.sh", + "line": 725, + "form": "A-same-line", + "polarity": "AND", + "canary": false, + "text": "grep -q 'FALSE WITNESS' \"$rep\" && fail_msg \"T17: the empty-hash evidence must NOT convict (the predicate is correct and must not change) [$(cat \"$rep\")]\"", + "origin": "introduced-47f8689-pr967-T17", + "drift": "new", + "line_at_8d1d6e5": null, + "note": "authored by pepper in #967 T17 while the charter was in flight; independently derived by both pepper and mos-dt" + }, + { + "file": "test-wake-store-ack.sh", + "line": 727, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -qi 'pruned' \"$rep\" || fail_msg \"T17: clean sweep must name residual class 1 \u2014 evidence pruned away [$(cat \"$rep\")]\"", + "origin": "introduced-47f8689-pr967-T17", + "drift": "new", + "line_at_8d1d6e5": null, + "note": "authored by pepper in #967 T17 while the charter was in flight; independently derived by both pepper and mos-dt" + }, + { + "file": "test-wake-store-ack.sh", + "line": 728, + "form": "A-same-line", + "polarity": "OR", + "canary": false, + "text": "grep -qi 'empty observed_hash' \"$rep\" || fail_msg \"T17: clean sweep must name residual class 2 \u2014 surviving evidence with an empty observed_hash [$(cat \"$rep\")]\"", + "origin": "introduced-47f8689-pr967-T17", + "drift": "new", + "line_at_8d1d6e5": null, + "note": "authored by pepper in #967 T17 while the charter was in flight; independently derived by both pepper and mos-dt" + }, + { + "file": "test-wake-store-ack.sh", + "line": 733, + "form": "E-count-capture", + "polarity": "OR", + "canary": false, + "text": "[ \"$(grep -c . \"$dl\")\" = \"1\" ] || fail_msg \"T17: the dead-letter LEDGER must be untouched\"", + "origin": "introduced-47f8689-pr967-T17", + "drift": "new", + "line_at_8d1d6e5": null, + "note": "authored by pepper in #967 T17 while the charter was in flight; independently derived by both pepper and mos-dt" + } + ] +} \ No newline at end of file