{
  "path": "statefabric/erasure/receipt.py",
  "find": "return False",
  "replace": "return True",
  "why": "The first fail-closed `return False` in the deletion-receipt verifier becomes `return True`, so a receipt that must be refused verifies. The suite and the campaign catch it and `make erasure` exits non-zero. It is the lab's own planted defect for this id (top40.json `defect_demonstration`: `mutated_exit` 2); the string occurs once in the file."
}