test(backfill): the two cutoff guards pin reachability, not text order (#1149) - #1224

Merged

lilyshen0722 merged 6 commits into

mainfrom

test/1149-cutoff-tests-pin-control-flow

Sep 1, 2026

Commits on Aug 25, 2026

test(backfill): the two cutoff guards pin reachability, not text order (#1149)

lilyshen0722
and
claude
committed
43afc1b
test(backfill): execute the ledger-first guard instead of scanning for a token

lilyshen0722
and
claude
committed
4a9c1f1
docs: cite by symbol — three line pointers, and one rotted inside its own PR

lilyshen0722
and
claude
committed
e1872c2
test(backfill): execute the atomicity property at Tier 1

lilyshen0722
and
claude
committed
b7777a6
test(backfill): the residue leads with the measurement, not the class

lilyshen0722
and
claude
committed
ac5a7f9
test(threading): record the mutant that separates BACKWARD from FORWARD

lilyshen0722
and
claude
committed
f85b4cd