{"abstract":"Required failures report success.","category":"Build systems","checks":9,"contract":"Return failed if any required job fails, cancelled if any required job cancels, waiting if required work is pending, running if required work runs, otherwise passed. Optional jobs never block.","evaluation_group":"xt-build-exit","failed_approach":"The attempted repair substitutes if 'failed' in states: return 'running'. Fixture 3 still yields 'running' instead of 'failed'.","family":"xt-build-exit-failed-precedence","id":"FA-9211","implementations":{"attempt":{"sha256":"e610f0f2a2b38da192dfefe94810e60c01ea666118307a80dae2416333631538","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(jobs):\n    states = [state for required, state in jobs if required]\n    if 'failed' in states: return 'running'\n    if 'cancelled' in states: return 'cancelled'\n    if 'pending' in states: return 'waiting'\n    if 'running' in states: return 'running'\n    return 'passed'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve([]), 'passed')\ncheck('fixture 2', solve([(False, 'failed')]), 'passed')\ncheck('fixture 3', solve([(True, 'failed'), (True, 'running')]), 'failed')\ncheck('fixture 4', solve([(True, 'cancelled')]), 'cancelled')\ncheck('fixture 5', solve([(True, 'pending')]), 'waiting')\ncheck('fixture 6', solve([(True, 'running')]), 'running')\ncheck('fixture 7', solve([(True, 'passed')]), 'passed')\ncheck('fixture 8', solve([(True, 'pending'), (True, 'running')]), 'waiting')\ncheck('fixture 9', solve([(False, 'pending'), (True, 'passed')]), 'passed')\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":"18f6e5a142acb0ea93ddf354dd5d8dcd8c1287f02bd15c428fbb240a1f872ddd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(jobs):\n    states = [state for required, state in jobs if required]\n    if 'failed' in states: return 'passed'\n    if 'cancelled' in states: return 'cancelled'\n    if 'pending' in states: return 'waiting'\n    if 'running' in states: return 'running'\n    return 'passed'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve([]), 'passed')\ncheck('fixture 2', solve([(False, 'failed')]), 'passed')\ncheck('fixture 3', solve([(True, 'failed'), (True, 'running')]), 'failed')\ncheck('fixture 4', solve([(True, 'cancelled')]), 'cancelled')\ncheck('fixture 5', solve([(True, 'pending')]), 'waiting')\ncheck('fixture 6', solve([(True, 'running')]), 'running')\ncheck('fixture 7', solve([(True, 'passed')]), 'passed')\ncheck('fixture 8', solve([(True, 'pending'), (True, 'running')]), 'waiting')\ncheck('fixture 9', solve([(False, 'pending'), (True, 'passed')]), 'passed')\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":"ebdb6ace53bde76a1b24aa4ce3a9450fc8734382229ce22896a61a15303645cf","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(jobs):\n    states = [state for required, state in jobs if required]\n    if 'failed' in states: return 'failed'\n    if 'cancelled' in states: return 'cancelled'\n    if 'pending' in states: return 'waiting'\n    if 'running' in states: return 'running'\n    return 'passed'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve([]), 'passed')\ncheck('fixture 2', solve([(False, 'failed')]), 'passed')\ncheck('fixture 3', solve([(True, 'failed'), (True, 'running')]), 'failed')\ncheck('fixture 4', solve([(True, 'cancelled')]), 'cancelled')\ncheck('fixture 5', solve([(True, 'pending')]), 'waiting')\ncheck('fixture 6', solve([(True, 'running')]), 'running')\ncheck('fixture 7', solve([(True, 'passed')]), 'passed')\ncheck('fixture 8', solve([(True, 'pending'), (True, 'running')]), 'waiting')\ncheck('fixture 9', solve([(False, 'pending'), (True, 'passed')]), 'passed')\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 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":"xt-build-exit-failed-precedence","generated_at":"2026-09-29T14:38:28.006400+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"An offline model of build status reduction, suitable for testing build and release tooling without external services.","repair":"A required failed job dominates all later statuses.","root_cause":"The implementation substitutes if 'failed' in states: return 'passed' for if 'failed' in states: return 'failed', so required failures report success.","sha256":"37430422d41e7fbcb94a34b5f0c872d145891acfb4d3c2d5327b4a9086eda5a6","title":"Build status reduction: Required failures report success · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":36.882,"exit_code":1,"observations":[{"actual":"passed","check":"fixture 1","expected":"passed","passed":true},{"actual":"passed","check":"fixture 2","expected":"passed","passed":true},{"actual":"running","check":"fixture 3","expected":"failed","passed":false},{"actual":"cancelled","check":"fixture 4","expected":"cancelled","passed":true},{"actual":"waiting","check":"fixture 5","expected":"waiting","passed":true},{"actual":"running","check":"fixture 6","expected":"running","passed":true},{"actual":"passed","check":"fixture 7","expected":"passed","passed":true},{"actual":"waiting","check":"fixture 8","expected":"waiting","passed":true},{"actual":"passed","check":"fixture 9","expected":"passed","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": \"passed\", \"expected\": \"passed\", \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": \"passed\", \"expected\": \"passed\", \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": \"running\", \"expected\": \"failed\", \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": \"cancelled\", \"expected\": \"cancelled\", \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": \"waiting\", \"expected\": \"waiting\", \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": \"passed\", \"expected\": \"passed\", \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": \"waiting\", \"expected\": \"waiting\", \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": \"passed\", \"expected\": \"passed\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.401,"exit_code":1,"observations":[{"actual":"passed","check":"fixture 1","expected":"passed","passed":true},{"actual":"passed","check":"fixture 2","expected":"passed","passed":true},{"actual":"passed","check":"fixture 3","expected":"failed","passed":false},{"actual":"cancelled","check":"fixture 4","expected":"cancelled","passed":true},{"actual":"waiting","check":"fixture 5","expected":"waiting","passed":true},{"actual":"running","check":"fixture 6","expected":"running","passed":true},{"actual":"passed","check":"fixture 7","expected":"passed","passed":true},{"actual":"waiting","check":"fixture 8","expected":"waiting","passed":true},{"actual":"passed","check":"fixture 9","expected":"passed","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": \"passed\", \"expected\": \"passed\", \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": \"passed\", \"expected\": \"passed\", \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": \"passed\", \"expected\": \"failed\", \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": \"cancelled\", \"expected\": \"cancelled\", \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": \"waiting\", \"expected\": \"waiting\", \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": \"passed\", \"expected\": \"passed\", \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": \"waiting\", \"expected\": \"waiting\", \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": \"passed\", \"expected\": \"passed\", \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.631,"exit_code":0,"observations":[{"actual":"passed","check":"fixture 1","expected":"passed","passed":true},{"actual":"passed","check":"fixture 2","expected":"passed","passed":true},{"actual":"failed","check":"fixture 3","expected":"failed","passed":true},{"actual":"cancelled","check":"fixture 4","expected":"cancelled","passed":true},{"actual":"waiting","check":"fixture 5","expected":"waiting","passed":true},{"actual":"running","check":"fixture 6","expected":"running","passed":true},{"actual":"passed","check":"fixture 7","expected":"passed","passed":true},{"actual":"waiting","check":"fixture 8","expected":"waiting","passed":true},{"actual":"passed","check":"fixture 9","expected":"passed","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": \"passed\", \"expected\": \"passed\", \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": \"passed\", \"expected\": \"passed\", \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": \"failed\", \"expected\": \"failed\", \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": \"cancelled\", \"expected\": \"cancelled\", \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": \"waiting\", \"expected\": \"waiting\", \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": \"passed\", \"expected\": \"passed\", \"passed\": true}, {\"check\": \"fixture 8\", \"actual\": \"waiting\", \"expected\": \"waiting\", \"passed\": true}, {\"check\": \"fixture 9\", \"actual\": \"passed\", \"expected\": \"passed\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}