{"abstract":"Tool qualification for one operation authorizes another.","category":"Manufacturing workflow integrity","checks":6,"contract":"Qualifications are (fixture, operation, recipe revision, valid until). Dispatch time must be strictly less than valid until.","contract_signature":"records, fixture, operation, revision, time","evaluation_group":"model-fdd9eba99e4a6204","failed_approach":"Matching operation and time but not revision admits obsolete process qualifications.","family":"z-manufacturing-fixture-qualification","id":"FA-12371","implementations":{"attempt":{"sha256":"01af35ed681e17df061a83495d83d933ea7c5e5302575e73c562b3a448b4a875","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(records, fixture, operation, revision, time):\n    return any(f == fixture and o == operation and time < end for f, o, r, end in records)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nq = [('jig', 'drill', N, 10*N)]\ncheck('qualified dispatch', solve(q, 'jig', 'drill', N, 10*N-1), True)\ncheck('expiration instant', solve(q, 'jig', 'drill', N, 10*N), False)\ncheck('obsolete recipe', solve(q, 'jig', 'drill', N+1, 0), False)\ncheck('wrong operation', solve(q, 'jig', 'mill', N, 0), False)\ncheck('wrong fixture', solve(q, 'other', 'drill', N, 0), False)\ncheck('empty records', solve([], 'jig', 'drill', N, 0), False)\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":"7bbb4fa63d80ea76b6d9a30da0cf198f6c20f8a048c28ca0cfaf438756e2a1d6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(records, fixture, operation, revision, time):\n    return any(f == fixture for f, o, r, end in records)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nq = [('jig', 'drill', N, 10*N)]\ncheck('qualified dispatch', solve(q, 'jig', 'drill', N, 10*N-1), True)\ncheck('expiration instant', solve(q, 'jig', 'drill', N, 10*N), False)\ncheck('obsolete recipe', solve(q, 'jig', 'drill', N+1, 0), False)\ncheck('wrong operation', solve(q, 'jig', 'mill', N, 0), False)\ncheck('wrong fixture', solve(q, 'other', 'drill', N, 0), False)\ncheck('empty records', solve([], 'jig', 'drill', N, 0), False)\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-fixture-qualification","generated_at":"2026-09-29T14:38:56.219277+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":"Dispatch checks only whether the fixture has any qualification.","sha256":"01cdf1a0a0ec209cb54e1a9c75fe4ff5ce89e1c8c294c19176f50a5cb0b7aac0","title":"Tool qualification for one operation authorizes another · 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":39.969,"exit_code":1,"observations":[{"actual":true,"check":"qualified dispatch","expected":true,"passed":true},{"actual":false,"check":"expiration instant","expected":false,"passed":true},{"actual":true,"check":"obsolete recipe","expected":false,"passed":false},{"actual":false,"check":"wrong operation","expected":false,"passed":true},{"actual":false,"check":"wrong fixture","expected":false,"passed":true},{"actual":false,"check":"empty records","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"qualified dispatch\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"expiration instant\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"obsolete recipe\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"wrong operation\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"wrong fixture\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty records\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.751,"exit_code":1,"observations":[{"actual":true,"check":"qualified dispatch","expected":true,"passed":true},{"actual":true,"check":"expiration instant","expected":false,"passed":false},{"actual":true,"check":"obsolete recipe","expected":false,"passed":false},{"actual":true,"check":"wrong operation","expected":false,"passed":false},{"actual":false,"check":"wrong fixture","expected":false,"passed":true},{"actual":false,"check":"empty records","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"qualified dispatch\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"expiration instant\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"obsolete recipe\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"wrong operation\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"wrong fixture\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty records\", \"actual\": false, \"expected\": false, \"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."}}