{"abstract":"An in-process lot silently adopts a revised route.","category":"Manufacturing workflow integrity","checks":6,"contract":"Given a revision-to-route mapping, frozen revision and optional migration revision, return that exact route or None if absent. No fallback is allowed.","contract_signature":"routes, frozen, migration","evaluation_group":"model-04964f68385acd01","failed_approach":"Always using the frozen revision ignores an authorized migration.","family":"z-manufacturing-frozen-route-revision","id":"FA-12361","implementations":{"attempt":{"sha256":"3eaf2b832daff7c5abe78c1617a3beaef2af004b47e21a758f75c01d36db5bcf","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(routes, frozen, migration):\n    return routes.get(frozen)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nr = {N: ['wash'], N+1: ['wash', 'inspect']}\ncheck('frozen route', solve(r, N, None), ['wash'])\ncheck('explicit migration', solve(r, N, N+1), ['wash', 'inspect'])\ncheck('missing migration', solve(r, N, N+2), None)\ncheck('missing frozen revision', solve(r, N-1, None), None)\ncheck('current frozen', solve(r, N+1, None), ['wash', 'inspect'])\ncheck('no revisions', solve({}, N, None), None)\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":"18ee572080616e5af957a50eb6c81295a6ada8003681be4fcb97bf715b412755","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(routes, frozen, migration):\n    return routes[max(routes)] if routes else None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nr = {N: ['wash'], N+1: ['wash', 'inspect']}\ncheck('frozen route', solve(r, N, None), ['wash'])\ncheck('explicit migration', solve(r, N, N+1), ['wash', 'inspect'])\ncheck('missing migration', solve(r, N, N+2), None)\ncheck('missing frozen revision', solve(r, N-1, None), None)\ncheck('current frozen', solve(r, N+1, None), ['wash', 'inspect'])\ncheck('no revisions', solve({}, N, None), None)\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-frozen-route-revision","generated_at":"2026-09-29T14:38:56.211539+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 route resolver always chooses the newest engineering revision.","sha256":"8930ae1dfd59d7eacef0c9d357fa382224699fea3e9dc459063f85b6f8696c7d","title":"An in-process lot silently adopts a revised route · 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.156,"exit_code":1,"observations":[{"actual":["wash"],"check":"frozen route","expected":["wash"],"passed":true},{"actual":["wash"],"check":"explicit migration","expected":["wash","inspect"],"passed":false},{"actual":["wash"],"check":"missing migration","expected":null,"passed":false},{"actual":null,"check":"missing frozen revision","expected":null,"passed":true},{"actual":["wash","inspect"],"check":"current frozen","expected":["wash","inspect"],"passed":true},{"actual":null,"check":"no revisions","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"frozen route\", \"actual\": [\"wash\"], \"expected\": [\"wash\"], \"passed\": true}, {\"check\": \"explicit migration\", \"actual\": [\"wash\"], \"expected\": [\"wash\", \"inspect\"], \"passed\": false}, {\"check\": \"missing migration\", \"actual\": [\"wash\"], \"expected\": null, \"passed\": false}, {\"check\": \"missing frozen revision\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"current frozen\", \"actual\": [\"wash\", \"inspect\"], \"expected\": [\"wash\", \"inspect\"], \"passed\": true}, {\"check\": \"no revisions\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.93,"exit_code":1,"observations":[{"actual":["wash","inspect"],"check":"frozen route","expected":["wash"],"passed":false},{"actual":["wash","inspect"],"check":"explicit migration","expected":["wash","inspect"],"passed":true},{"actual":["wash","inspect"],"check":"missing migration","expected":null,"passed":false},{"actual":["wash","inspect"],"check":"missing frozen revision","expected":null,"passed":false},{"actual":["wash","inspect"],"check":"current frozen","expected":["wash","inspect"],"passed":true},{"actual":null,"check":"no revisions","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"frozen route\", \"actual\": [\"wash\", \"inspect\"], \"expected\": [\"wash\"], \"passed\": false}, {\"check\": \"explicit migration\", \"actual\": [\"wash\", \"inspect\"], \"expected\": [\"wash\", \"inspect\"], \"passed\": true}, {\"check\": \"missing migration\", \"actual\": [\"wash\", \"inspect\"], \"expected\": null, \"passed\": false}, {\"check\": \"missing frozen revision\", \"actual\": [\"wash\", \"inspect\"], \"expected\": null, \"passed\": false}, {\"check\": \"current frozen\", \"actual\": [\"wash\", \"inspect\"], \"expected\": [\"wash\", \"inspect\"], \"passed\": true}, {\"check\": \"no revisions\", \"actual\": null, \"expected\": null, \"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."}}