{"abstract":"Repeated route operations are collapsed into one completion.","category":"Manufacturing workflow integrity","checks":7,"contract":"For ordered operation-name lists, return the next operation, done for a full route, or invalid unless completed is a prefix.","evaluation_group":"model-6d60c1bf186b0694","failed_approach":"Counting occurrences still accepts operations performed out of order.","family":"z-manufacturing-route-occurrences","id":"FA-12341","implementations":{"attempt":{"sha256":"804fa13c7167eaf31d22fae3e8e790749402156826f9692571011f73f99a8883","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(route, completed):\n    remaining = list(route)\n    for x in completed:\n        if x not in remaining: return 'invalid'\n        remaining.remove(x)\n    return remaining[0] if remaining else 'done'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nr = ['wash'] * N + ['coat', 'wash']\ncheck('repeat remains', solve(r, ['wash'] * N), 'coat')\ncheck('post-coating wash remains', solve(r, ['wash'] * N + ['coat']), 'wash')\ncheck('out of sequence', solve(r, ['coat']), 'invalid')\ncheck('complete', solve(r, r), 'done')\ncheck('not started', solve(r, []), 'wash')\ncheck('empty route', solve([], []), 'done')\ncheck('extra operation', solve(r, r + ['wash']), 'invalid')\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":"aa1434e47e017f0d998805119f67ae7de4bf8b9b9563cbf5f1de3bc2df085c47","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(route, completed):\n    return next((x for x in route if x not in completed), 'done')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nr = ['wash'] * N + ['coat', 'wash']\ncheck('repeat remains', solve(r, ['wash'] * N), 'coat')\ncheck('post-coating wash remains', solve(r, ['wash'] * N + ['coat']), 'wash')\ncheck('out of sequence', solve(r, ['coat']), 'invalid')\ncheck('complete', solve(r, r), 'done')\ncheck('not started', solve(r, []), 'wash')\ncheck('empty route', solve([], []), 'done')\ncheck('extra operation', solve(r, r + ['wash']), 'invalid')\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"},"fixed":{"sha256":"9f2e87c93723fe7d339db4290a57a995fd5571d6602b2f4c33d9d0a682c8cc55","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(route, completed):\n    if completed != route[:len(completed)]: return 'invalid'\n    return route[len(completed)] if len(completed) < len(route) else 'done'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nr = ['wash'] * N + ['coat', 'wash']\ncheck('repeat remains', solve(r, ['wash'] * N), 'coat')\ncheck('post-coating wash remains', solve(r, ['wash'] * N + ['coat']), 'wash')\ncheck('out of sequence', solve(r, ['coat']), 'invalid')\ncheck('complete', solve(r, r), 'done')\ncheck('not started', solve(r, []), 'wash')\ncheck('empty route', solve([], []), 'done')\ncheck('extra operation', solve(r, r + ['wash']), 'invalid')\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-route-occurrences","generated_at":"2026-09-29T14:38:56.052202+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.","repair":"Accept only an exact completed prefix of the ordered route and return its next occurrence.","root_cause":"Membership checks erase the multiplicity and ordering of repeated wash or inspection steps.","sha256":"d2acb3c44d5f751e142be8514b27e0e859afe3caaab652ca490d99fa306adb79","title":"Repeated route operations are collapsed into one completion · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.323,"exit_code":1,"observations":[{"actual":"coat","check":"repeat remains","expected":"coat","passed":true},{"actual":"wash","check":"post-coating wash remains","expected":"wash","passed":true},{"actual":"wash","check":"out of sequence","expected":"invalid","passed":false},{"actual":"done","check":"complete","expected":"done","passed":true},{"actual":"wash","check":"not started","expected":"wash","passed":true},{"actual":"done","check":"empty route","expected":"done","passed":true},{"actual":"invalid","check":"extra operation","expected":"invalid","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"repeat remains\", \"actual\": \"coat\", \"expected\": \"coat\", \"passed\": true}, {\"check\": \"post-coating wash remains\", \"actual\": \"wash\", \"expected\": \"wash\", \"passed\": true}, {\"check\": \"out of sequence\", \"actual\": \"wash\", \"expected\": \"invalid\", \"passed\": false}, {\"check\": \"complete\", \"actual\": \"done\", \"expected\": \"done\", \"passed\": true}, {\"check\": \"not started\", \"actual\": \"wash\", \"expected\": \"wash\", \"passed\": true}, {\"check\": \"empty route\", \"actual\": \"done\", \"expected\": \"done\", \"passed\": true}, {\"check\": \"extra operation\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.507,"exit_code":1,"observations":[{"actual":"coat","check":"repeat remains","expected":"coat","passed":true},{"actual":"done","check":"post-coating wash remains","expected":"wash","passed":false},{"actual":"wash","check":"out of sequence","expected":"invalid","passed":false},{"actual":"done","check":"complete","expected":"done","passed":true},{"actual":"wash","check":"not started","expected":"wash","passed":true},{"actual":"done","check":"empty route","expected":"done","passed":true},{"actual":"done","check":"extra operation","expected":"invalid","passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"repeat remains\", \"actual\": \"coat\", \"expected\": \"coat\", \"passed\": true}, {\"check\": \"post-coating wash remains\", \"actual\": \"done\", \"expected\": \"wash\", \"passed\": false}, {\"check\": \"out of sequence\", \"actual\": \"wash\", \"expected\": \"invalid\", \"passed\": false}, {\"check\": \"complete\", \"actual\": \"done\", \"expected\": \"done\", \"passed\": true}, {\"check\": \"not started\", \"actual\": \"wash\", \"expected\": \"wash\", \"passed\": true}, {\"check\": \"empty route\", \"actual\": \"done\", \"expected\": \"done\", \"passed\": true}, {\"check\": \"extra operation\", \"actual\": \"done\", \"expected\": \"invalid\", \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.324,"exit_code":0,"observations":[{"actual":"coat","check":"repeat remains","expected":"coat","passed":true},{"actual":"wash","check":"post-coating wash remains","expected":"wash","passed":true},{"actual":"invalid","check":"out of sequence","expected":"invalid","passed":true},{"actual":"done","check":"complete","expected":"done","passed":true},{"actual":"wash","check":"not started","expected":"wash","passed":true},{"actual":"done","check":"empty route","expected":"done","passed":true},{"actual":"invalid","check":"extra operation","expected":"invalid","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"repeat remains\", \"actual\": \"coat\", \"expected\": \"coat\", \"passed\": true}, {\"check\": \"post-coating wash remains\", \"actual\": \"wash\", \"expected\": \"wash\", \"passed\": true}, {\"check\": \"out of sequence\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"complete\", \"actual\": \"done\", \"expected\": \"done\", \"passed\": true}, {\"check\": \"not started\", \"actual\": \"wash\", \"expected\": \"wash\", \"passed\": true}, {\"check\": \"empty route\", \"actual\": \"done\", \"expected\": \"done\", \"passed\": true}, {\"check\": \"extra operation\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}