{
  "path": "05_wireless_reliability_fallback_lab/monitorgen/generated/monitor_fw.c",
  "find": "if (r == MON_VIOLATION) { printf(\"VIOLATION %d\\n\", idx)",
  "replace": "if (0 && r == MON_VIOLATION) { printf(\"VIOLATION %d\\n\", idx)",
  "why": "Hand-edits the committed firmware target so it never reports a violation (the lab's own backend mutant `firmware-never-reports-a-violation`, applied to the committed file instead of a scratch copy). The claim is that the five committed targets are the verified machine's output and each catches its own mutants. Leg 11 builds every committed target whose bytes are not already the fresh emit and runs it over the whole corpus: the patched firmware answers ACCEPT where the emitted one answers VIOLATION, so the leg goes RED and the gate exits 1."
}