{"abstract":"Duplicate samples mask an unqualified mold cavity.","category":"Manufacturing workflow integrity","checks":7,"contract":"Active cavity IDs are unique. Chronological samples are (cavity, passed) pairs. Gate opens iff each active cavity latest sample passes; inactive cavities are irrelevant.","contract_signature":"active, samples","evaluation_group":"model-bc1bc2631882f02e","failed_approach":"Checking a historical pass per cavity ignores a later failed sample.","family":"z-manufacturing-cavity-first-article","id":"FA-12381","implementations":{"attempt":{"sha256":"ab347352aa932c9b493360520ef7c842f513d54edbe1b2c3a7b7058ed28529e4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(active, samples):\n    return all(any(c == cavity and ok for c, ok in samples) for cavity in active)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\na = list(range(N+1))\ngood = [(i, True) for i in a]\ncheck('complete cavity coverage', solve(a, good), True)\ncheck('duplicates hide missing cavity', solve(a, [(0, True)] * (N+1)), False)\ncheck('later cavity failure', solve(a, good + [(N, False)]), False)\ncheck('successful retest', solve(a, [(N, False)] + good), True)\ncheck('inactive failure ignored', solve(a, good + [(N+2, False)]), True)\ncheck('no active cavities', solve([], []), True)\ncheck('no samples', solve(a, []), 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":"0e9e90dfe838354e08493fc4f733bad3e77a6e65afb0da546622305b580caaae","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(active, samples):\n    return sum(ok for cavity, ok in samples) >= len(active)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\na = list(range(N+1))\ngood = [(i, True) for i in a]\ncheck('complete cavity coverage', solve(a, good), True)\ncheck('duplicates hide missing cavity', solve(a, [(0, True)] * (N+1)), False)\ncheck('later cavity failure', solve(a, good + [(N, False)]), False)\ncheck('successful retest', solve(a, [(N, False)] + good), True)\ncheck('inactive failure ignored', solve(a, good + [(N+2, False)]), True)\ncheck('no active cavities', solve([], []), True)\ncheck('no samples', solve(a, []), 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-cavity-first-article","generated_at":"2026-09-29T14:38:56.258879+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":"The first-article gate uses sample count as a proxy for cavity coverage.","sha256":"6ec3a25251c878fc26ede1adbca3b1d381b84c3471e0def2227ee03dea82d802","title":"Duplicate samples mask an unqualified mold cavity · 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":38.646,"exit_code":1,"observations":[{"actual":true,"check":"complete cavity coverage","expected":true,"passed":true},{"actual":false,"check":"duplicates hide missing cavity","expected":false,"passed":true},{"actual":true,"check":"later cavity failure","expected":false,"passed":false},{"actual":true,"check":"successful retest","expected":true,"passed":true},{"actual":true,"check":"inactive failure ignored","expected":true,"passed":true},{"actual":true,"check":"no active cavities","expected":true,"passed":true},{"actual":false,"check":"no samples","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"complete cavity coverage\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"duplicates hide missing cavity\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"later cavity failure\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"successful retest\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"inactive failure ignored\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"no active cavities\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"no samples\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.592,"exit_code":1,"observations":[{"actual":true,"check":"complete cavity coverage","expected":true,"passed":true},{"actual":true,"check":"duplicates hide missing cavity","expected":false,"passed":false},{"actual":true,"check":"later cavity failure","expected":false,"passed":false},{"actual":true,"check":"successful retest","expected":true,"passed":true},{"actual":true,"check":"inactive failure ignored","expected":true,"passed":true},{"actual":true,"check":"no active cavities","expected":true,"passed":true},{"actual":false,"check":"no samples","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"complete cavity coverage\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"duplicates hide missing cavity\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"later cavity failure\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"successful retest\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"inactive failure ignored\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"no active cavities\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"no samples\", \"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."}}