{
  "path": "statefabric/experiments/gen_fleet_optimality_report.py",
  "find": "K_PREFIXES = 32",
  "replace": "K_PREFIXES = 31",
  "why": "The committed instance loses one distinct prefix. CP-SAT and the pooled policy then agree on 31, which no longer equals the committed claim of 32 in `results/data/statefabric/multihost_fleet_floor.json`: since `ea4904e` the witness exits 1, and the parsed optimum differs from EXPECTED.md as well. It is the lab's own planted defect for this id (top40.json `defect_demonstration`), which before `ea4904e` left the witness at exit 0."
}