{"abstract":"Inspection evidence survives a rework cycle incorrectly.","category":"Manufacturing workflow integrity","checks":7,"contract":"Records are chronological (cycle, outcome) pairs. Release iff the last record matching the current cycle is pass.","contract_signature":"cycle, records","evaluation_group":"model-bf346b656d32b47c","failed_approach":"Filtering to the current cycle but accepting any pass ignores a later failed inspection.","family":"z-manufacturing-rework-evidence","id":"FA-12346","implementations":{"attempt":{"sha256":"6a95e5c95f28920daac7957cffd8e13aff7ea6a0caac7b65038abc6fd81fe95b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cycle, records):\n    return any(c == cycle and outcome == 'pass' for c, outcome in records)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('old pass invalidated', solve(N, [(N-1, 'pass')]), False)\ncheck('current pass', solve(N, [(N, 'pass')]), True)\ncheck('later failure controls', solve(N, [(N, 'pass'), (N, 'fail')]), False)\ncheck('later passing retest', solve(N, [(N, 'fail'), (N, 'pass')]), True)\ncheck('future evidence ignored', solve(N, [(N+1, 'pass')]), False)\ncheck('no evidence', solve(N, []), False)\ncheck('old failure does not block', solve(N, [(N-1, 'fail'), (N, 'pass')]), True)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"24b53fce354092d968cbad1b07467f02575d382bf53b0d7cf83985ac3a390e88","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cycle, records):\n    return any(outcome == 'pass' for c, outcome in records)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('old pass invalidated', solve(N, [(N-1, 'pass')]), False)\ncheck('current pass', solve(N, [(N, 'pass')]), True)\ncheck('later failure controls', solve(N, [(N, 'pass'), (N, 'fail')]), False)\ncheck('later passing retest', solve(N, [(N, 'fail'), (N, 'pass')]), True)\ncheck('future evidence ignored', solve(N, [(N+1, 'pass')]), False)\ncheck('no evidence', solve(N, []), False)\ncheck('old failure does not block', solve(N, [(N-1, 'fail'), (N, 'pass')]), True)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"Offline policy model only; no physical equipment, regulatory certification, or concurrent transaction claims. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"z-manufacturing-rework-evidence","generated_at":"2026-09-29T14:38:56.143689+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A deterministic manufacturing record model isolates this workflow defect before equipment or enterprise integration.","root_cause":"Release checks any historic pass after rework invalidates prior inspections.","sha256":"3bc30b9c73016751f868bee31eecd0cf0db1a0571f71ba13685581abddacec2c","title":"Inspection evidence survives a rework cycle incorrectly · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":41.801,"exit_code":1,"observations":[{"actual":false,"check":"old pass invalidated","expected":false,"passed":true},{"actual":true,"check":"current pass","expected":true,"passed":true},{"actual":true,"check":"later failure controls","expected":false,"passed":false},{"actual":true,"check":"later passing retest","expected":true,"passed":true},{"actual":false,"check":"future evidence ignored","expected":false,"passed":true},{"actual":false,"check":"no evidence","expected":false,"passed":true},{"actual":true,"check":"old failure does not block","expected":true,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"old pass invalidated\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"current pass\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"later failure controls\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"later passing retest\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"future evidence ignored\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"no evidence\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"old failure does not block\", \"actual\": true, \"expected\": true, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.303,"exit_code":1,"observations":[{"actual":true,"check":"old pass invalidated","expected":false,"passed":false},{"actual":true,"check":"current pass","expected":true,"passed":true},{"actual":true,"check":"later failure controls","expected":false,"passed":false},{"actual":true,"check":"later passing retest","expected":true,"passed":true},{"actual":true,"check":"future evidence ignored","expected":false,"passed":false},{"actual":false,"check":"no evidence","expected":false,"passed":true},{"actual":true,"check":"old failure does not block","expected":true,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"old pass invalidated\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"current pass\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"later failure controls\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"later passing retest\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"future evidence ignored\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"no evidence\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"old failure does not block\", \"actual\": true, \"expected\": true, \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}