{"abstract":"Any satisfied stopping criterion ends output.","category":"Model output stopping rules","checks":6,"contract":"Given same-length boolean criterion results per step, return first index where any criterion is true, else None.","contract_signature":"traces","evaluation_group":"w3-output-criteria-any","failed_approach":"Requiring multiple criteria still misses a true single criterion.","family":"w3-model-output-stopping-rules-all-criteria","id":"FA-100806","implementations":{"attempt":{"sha256":"27385bcaf41e945b88047d665d6444d878b2e0760b560378e67756cf90f028c9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(traces):\n    for i,row in enumerate(traces):\n        if any(row) and len(row)>1:return i\n    return None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('one criterion',solve([[False,False],[False,True]]),1)\ncheck('first step',solve([[True,False]]),0)\ncheck('all false',solve([[False,False]]*N),None)\ncheck('empty trace',solve([]),None)\ncheck('single criterion',solve([[False],[True]]),1)\ncheck('later signal',solve([[False,False],[False,False],[True,False]]),2)\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":"dc3f23df520e5b43b9b5d91c30466a338f67c4a8c1475ae63628eaac5e79a42c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(traces):\n    for i,row in enumerate(traces):\n        if all(row):return i\n    return None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('one criterion',solve([[False,False],[False,True]]),1)\ncheck('first step',solve([[True,False]]),0)\ncheck('all false',solve([[False,False]]*N),None)\ncheck('empty trace',solve([]),None)\ncheck('single criterion',solve([[False],[True]]),1)\ncheck('later signal',solve([[False,False],[False,False],[True,False]]),2)\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":"This toy contract covers the supplied token records only; it does not claim compatibility with a particular model runtime or tokenizer. 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":"w3-model-output-stopping-rules-all-criteria","generated_at":"2026-09-30T16:48:40.055063+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A deterministic output-control model isolates one finish or streaming boundary from any particular runtime.","root_cause":"All criterion flags must be true on a step, though the contract stops when any criterion is true.","sha256":"66ec547843f9d3e2043dfd58db72ac9563b52b341c23b76a45d44a29a2b5a79c","title":"Output stopping: Any satisfied stopping criterion ends output · case 01","variant":1,"variant_policy":"The fixture code references N, supplied as 1 through 5. Fixed boundary checks may repeat. These records share one mechanism and must remain together in evaluation splits.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":28.536,"exit_code":1,"observations":[{"actual":1,"check":"one criterion","expected":1,"passed":true},{"actual":0,"check":"first step","expected":0,"passed":true},{"actual":null,"check":"all false","expected":null,"passed":true},{"actual":null,"check":"empty trace","expected":null,"passed":true},{"actual":null,"check":"single criterion","expected":1,"passed":false},{"actual":2,"check":"later signal","expected":2,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"one criterion\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"first step\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"all false\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"empty trace\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"single criterion\", \"actual\": null, \"expected\": 1, \"passed\": false}, {\"check\": \"later signal\", \"actual\": 2, \"expected\": 2, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":28.798,"exit_code":1,"observations":[{"actual":null,"check":"one criterion","expected":1,"passed":false},{"actual":null,"check":"first step","expected":0,"passed":false},{"actual":null,"check":"all false","expected":null,"passed":true},{"actual":null,"check":"empty trace","expected":null,"passed":true},{"actual":1,"check":"single criterion","expected":1,"passed":true},{"actual":null,"check":"later signal","expected":2,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"one criterion\", \"actual\": null, \"expected\": 1, \"passed\": false}, {\"check\": \"first step\", \"actual\": null, \"expected\": 0, \"passed\": false}, {\"check\": \"all false\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"empty trace\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"single criterion\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"later signal\", \"actual\": null, \"expected\": 2, \"passed\": false}], \"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."}}