{"abstract":"One operator satisfies both release signatures.","category":"Manufacturing workflow integrity","checks":7,"contract":"Signatures are (person, role, cycle). Return true iff current cycle has an operator and a witness who are different people.","contract_signature":"records, cycle","evaluation_group":"model-9aa45767001d189a","failed_approach":"Distinct people across the whole history can pair a current signature with stale evidence.","family":"z-manufacturing-witness-separation","id":"FA-12376","implementations":{"attempt":{"sha256":"86caaf748bfaef65dff3acd0f7264fdfcf6fbf09252027b4803424fb8f15dd65","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(records, cycle):\n    return any(p != q and r == 'operator' and s == 'witness' for p, r, c in records for q, s, d in records)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('separate people', solve([('a', 'operator', N), ('b', 'witness', N)], N), True)\ncheck('same person', solve([('a', 'operator', N), ('a', 'witness', N)], N), False)\ncheck('stale witness', solve([('a', 'operator', N), ('b', 'witness', N-1)], N), False)\ncheck('two operators', solve([('a', 'operator', N), ('b', 'operator', N)], N), False)\ncheck('only one signature', solve([('a', 'operator', N)], N), False)\ncheck('none', solve([], N), False)\ncheck('irrelevant history', solve([('a', 'operator', N), ('b', 'witness', N), ('c', 'witness', N-1)], N), 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":"bc1fd8c7db7e5d31bcaefb9daa8f0ad9e684c03a17009e593661d7fabb430ace","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(records, cycle):\n    return len(records) >= 2\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('separate people', solve([('a', 'operator', N), ('b', 'witness', N)], N), True)\ncheck('same person', solve([('a', 'operator', N), ('a', 'witness', N)], N), False)\ncheck('stale witness', solve([('a', 'operator', N), ('b', 'witness', N-1)], N), False)\ncheck('two operators', solve([('a', 'operator', N), ('b', 'operator', N)], N), False)\ncheck('only one signature', solve([('a', 'operator', N)], N), False)\ncheck('none', solve([], N), False)\ncheck('irrelevant history', solve([('a', 'operator', N), ('b', 'witness', N), ('c', 'witness', N-1)], N), 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-witness-separation","generated_at":"2026-09-29T14:38:56.219148+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 counts signature events rather than distinct accountable people in different roles.","sha256":"9cd81e94c03861930f94c6c142e5843537c2bb682591fcf71af362a4cdfb4038","title":"One operator satisfies both release signatures · 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":40.509,"exit_code":1,"observations":[{"actual":true,"check":"separate people","expected":true,"passed":true},{"actual":false,"check":"same person","expected":false,"passed":true},{"actual":true,"check":"stale witness","expected":false,"passed":false},{"actual":false,"check":"two operators","expected":false,"passed":true},{"actual":false,"check":"only one signature","expected":false,"passed":true},{"actual":false,"check":"none","expected":false,"passed":true},{"actual":true,"check":"irrelevant history","expected":true,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"separate people\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"same person\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"stale witness\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"two operators\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"only one signature\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"none\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"irrelevant history\", \"actual\": true, \"expected\": true, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.765,"exit_code":1,"observations":[{"actual":true,"check":"separate people","expected":true,"passed":true},{"actual":true,"check":"same person","expected":false,"passed":false},{"actual":true,"check":"stale witness","expected":false,"passed":false},{"actual":true,"check":"two operators","expected":false,"passed":false},{"actual":false,"check":"only one signature","expected":false,"passed":true},{"actual":false,"check":"none","expected":false,"passed":true},{"actual":true,"check":"irrelevant history","expected":true,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"separate people\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"same person\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"stale witness\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"two operators\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"only one signature\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"none\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"irrelevant history\", \"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."}}