{
  "path": "rustcheck/tests/fixtures/reorder_events_4.txt",
  "find": "0 2032 977 1 32",
  "replace": "0 2040 977 1 32",
  "why": "In the largest committed reorder fixture one delivery arrives eight sequence numbers later than recorded (2032 -> 2040). The tracker's peak state changes and the payload accounting moves: measured in a copy of `ea4904e`, the witness then printed `dense/ours geomean 1.733x | sack/ours geomean 2.304x | xlang agree True` and exited 0, so repro.sh goes red on the parsed values. (Larger shifts, 2100 or 2600, trip the generator's own `FATAL: measured dominance does not match the theorem structure` exit 1.) The lab's recorded defect truncates this file, which a single find/replace cannot express."
}