{"abstract":"Vector CASE evaluates THEN errors on ELSE-selected lanes.","category":"Data systems","checks":8,"contract":"Evaluate CASE over [condition,then-value,then-error,else-value,else-error] rows. Only True chooses THEN; False and None choose ELSE. Unchosen errors are not evaluated. Chosen errors become ERROR:<label>; a chosen null value remains None. Return one result per input lane.","evaluation_group":"s3-data-systems-masked-case-evaluation","failed_approach":"Guarding only false lanes still evaluates THEN for unknown conditions.","family":"s3-data-systems-masked-case-evaluation-eager-then","id":"FA-45331","implementations":{"attempt":{"sha256":"faa549ca7d6bd98f1ffa19e645c17f7ca0955e5934aa390c81edbcdae068fac3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    try:\n        out=[]\n        for cond,tvalue,terror,fvalue,ferror in d:\n            choose=cond is True\n            if choose:\n                error=terror; value=tvalue\n            else:\n                error=terror if cond is None and terror is not None else ferror; value=fvalue\n            out.append('ERROR:'+error if error is not None else value)\n        return out\n    except (IndexError, KeyError, ValueError, StopIteration) as exc:\n        return {\"representation_error\": type(exc).__name__}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nif N == 1:\n    check('skip erroneous then', solve([[False, 1, 'T', 2, None]]), [2])\n    check('unknown skips then', solve([[None, 1, 'T', 2, None]]), [2])\n    check('skip erroneous else', solve([[True, 1, None, 2, 'F']]), [1])\n    check('chosen then error', solve([[True, 1, 'T', 2, None]]), ['ERROR:T'])\n    check('chosen else error', solve([[False, 1, None, 2, 'F']]), ['ERROR:F'])\n    check('then null', solve([[True, None, None, 1, None]]), [None])\n    check('else null', solve([[False, 1, None, None, None]]), [None])\n    check('empty vector', solve([]), [])\nelif N == 2:\n    check('skip erroneous then', solve([[False, 2, 'T', 3, None]]), [3])\n    check('unknown skips then', solve([[None, 2, 'T', 3, None]]), [3])\n    check('skip erroneous else', solve([[True, 2, None, 3, 'F']]), [2])\n    check('chosen then error', solve([[True, 2, 'T', 3, None]]), ['ERROR:T'])\n    check('chosen else error', solve([[False, 2, None, 3, 'F']]), ['ERROR:F'])\n    check('then null', solve([[True, None, None, 2, None]]), [None])\n    check('else null', solve([[False, 2, None, None, None]]), [None])\n    check('empty vector', solve([]), [])\nelif N == 3:\n    check('skip erroneous then', solve([[False, 3, 'T', 4, None]]), [4])\n    check('unknown skips then', solve([[None, 3, 'T', 4, None]]), [4])\n    check('skip erroneous else', solve([[True, 3, None, 4, 'F']]), [3])\n    check('chosen then error', solve([[True, 3, 'T', 4, None]]), ['ERROR:T'])\n    check('chosen else error', solve([[False, 3, None, 4, 'F']]), ['ERROR:F'])\n    check('then null', solve([[True, None, None, 3, None]]), [None])\n    check('else null', solve([[False, 3, None, None, None]]), [None])\n    check('empty vector', solve([]), [])\nelif N == 4:\n    check('skip erroneous then', solve([[False, 4, 'T', 5, None]]), [5])\n    check('unknown skips then', solve([[None, 4, 'T', 5, None]]), [5])\n    check('skip erroneous else', solve([[True, 4, None, 5, 'F']]), [4])\n    check('chosen then error', solve([[True, 4, 'T', 5, None]]), ['ERROR:T'])\n    check('chosen else error', solve([[False, 4, None, 5, 'F']]), ['ERROR:F'])\n    check('then null', solve([[True, None, None, 4, None]]), [None])\n    check('else null', solve([[False, 4, None, None, None]]), [None])\n    check('empty vector', solve([]), [])\nelif N == 5:\n    check('skip erroneous then', solve([[False, 5, 'T', 6, None]]), [6])\n    check('unknown skips then', solve([[None, 5, 'T', 6, None]]), [6])\n    check('skip erroneous else', solve([[True, 5, None, 6, 'F']]), [5])\n    check('chosen then error', solve([[True, 5, 'T', 6, None]]), ['ERROR:T'])\n    check('chosen else error', solve([[False, 5, None, 6, 'F']]), ['ERROR:F'])\n    check('then null', solve([[True, None, None, 5, None]]), [None])\n    check('else null', solve([[False, 5, None, None, None]]), [None])\n    check('empty vector', solve([]), [])\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":"15db5b20e4c8d70cc21cee64f8e89f12ff4d99f4a1e279a10565bfcfec4694af","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    try:\n        out=[]\n        for cond,tvalue,terror,fvalue,ferror in d:\n            choose=cond is True\n            if choose:\n                error=terror; value=tvalue\n            else:\n                error=terror if terror is not None else ferror; value=fvalue\n            out.append('ERROR:'+error if error is not None else value)\n        return out\n    except (IndexError, KeyError, ValueError, StopIteration) as exc:\n        return {\"representation_error\": type(exc).__name__}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nif N == 1:\n    check('skip erroneous then', solve([[False, 1, 'T', 2, None]]), [2])\n    check('unknown skips then', solve([[None, 1, 'T', 2, None]]), [2])\n    check('skip erroneous else', solve([[True, 1, None, 2, 'F']]), [1])\n    check('chosen then error', solve([[True, 1, 'T', 2, None]]), ['ERROR:T'])\n    check('chosen else error', solve([[False, 1, None, 2, 'F']]), ['ERROR:F'])\n    check('then null', solve([[True, None, None, 1, None]]), [None])\n    check('else null', solve([[False, 1, None, None, None]]), [None])\n    check('empty vector', solve([]), [])\nelif N == 2:\n    check('skip erroneous then', solve([[False, 2, 'T', 3, None]]), [3])\n    check('unknown skips then', solve([[None, 2, 'T', 3, None]]), [3])\n    check('skip erroneous else', solve([[True, 2, None, 3, 'F']]), [2])\n    check('chosen then error', solve([[True, 2, 'T', 3, None]]), ['ERROR:T'])\n    check('chosen else error', solve([[False, 2, None, 3, 'F']]), ['ERROR:F'])\n    check('then null', solve([[True, None, None, 2, None]]), [None])\n    check('else null', solve([[False, 2, None, None, None]]), [None])\n    check('empty vector', solve([]), [])\nelif N == 3:\n    check('skip erroneous then', solve([[False, 3, 'T', 4, None]]), [4])\n    check('unknown skips then', solve([[None, 3, 'T', 4, None]]), [4])\n    check('skip erroneous else', solve([[True, 3, None, 4, 'F']]), [3])\n    check('chosen then error', solve([[True, 3, 'T', 4, None]]), ['ERROR:T'])\n    check('chosen else error', solve([[False, 3, None, 4, 'F']]), ['ERROR:F'])\n    check('then null', solve([[True, None, None, 3, None]]), [None])\n    check('else null', solve([[False, 3, None, None, None]]), [None])\n    check('empty vector', solve([]), [])\nelif N == 4:\n    check('skip erroneous then', solve([[False, 4, 'T', 5, None]]), [5])\n    check('unknown skips then', solve([[None, 4, 'T', 5, None]]), [5])\n    check('skip erroneous else', solve([[True, 4, None, 5, 'F']]), [4])\n    check('chosen then error', solve([[True, 4, 'T', 5, None]]), ['ERROR:T'])\n    check('chosen else error', solve([[False, 4, None, 5, 'F']]), ['ERROR:F'])\n    check('then null', solve([[True, None, None, 4, None]]), [None])\n    check('else null', solve([[False, 4, None, None, None]]), [None])\n    check('empty vector', solve([]), [])\nelif N == 5:\n    check('skip erroneous then', solve([[False, 5, 'T', 6, None]]), [6])\n    check('unknown skips then', solve([[None, 5, 'T', 6, None]]), [6])\n    check('skip erroneous else', solve([[True, 5, None, 6, 'F']]), [5])\n    check('chosen then error', solve([[True, 5, 'T', 6, None]]), ['ERROR:T'])\n    check('chosen else error', solve([[False, 5, None, 6, 'F']]), ['ERROR:F'])\n    check('then null', solve([[True, None, None, 5, None]]), [None])\n    check('else null', solve([[False, 5, None, None, None]]), [None])\n    check('empty vector', solve([]), [])\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":"73352c2e66b7aec9916c2c42cd91beb431441297dba2ef4506d68e1b89f3df02","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    try:\n        out=[]\n        for cond,tvalue,terror,fvalue,ferror in d:\n            choose=cond is True\n            if choose:\n                error=terror; value=tvalue\n            else:\n                error=ferror; value=fvalue\n            out.append('ERROR:'+error if error is not None else value)\n        return out\n    except (IndexError, KeyError, ValueError, StopIteration) as exc:\n        return {\"representation_error\": type(exc).__name__}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nif N == 1:\n    check('skip erroneous then', solve([[False, 1, 'T', 2, None]]), [2])\n    check('unknown skips then', solve([[None, 1, 'T', 2, None]]), [2])\n    check('skip erroneous else', solve([[True, 1, None, 2, 'F']]), [1])\n    check('chosen then error', solve([[True, 1, 'T', 2, None]]), ['ERROR:T'])\n    check('chosen else error', solve([[False, 1, None, 2, 'F']]), ['ERROR:F'])\n    check('then null', solve([[True, None, None, 1, None]]), [None])\n    check('else null', solve([[False, 1, None, None, None]]), [None])\n    check('empty vector', solve([]), [])\nelif N == 2:\n    check('skip erroneous then', solve([[False, 2, 'T', 3, None]]), [3])\n    check('unknown skips then', solve([[None, 2, 'T', 3, None]]), [3])\n    check('skip erroneous else', solve([[True, 2, None, 3, 'F']]), [2])\n    check('chosen then error', solve([[True, 2, 'T', 3, None]]), ['ERROR:T'])\n    check('chosen else error', solve([[False, 2, None, 3, 'F']]), ['ERROR:F'])\n    check('then null', solve([[True, None, None, 2, None]]), [None])\n    check('else null', solve([[False, 2, None, None, None]]), [None])\n    check('empty vector', solve([]), [])\nelif N == 3:\n    check('skip erroneous then', solve([[False, 3, 'T', 4, None]]), [4])\n    check('unknown skips then', solve([[None, 3, 'T', 4, None]]), [4])\n    check('skip erroneous else', solve([[True, 3, None, 4, 'F']]), [3])\n    check('chosen then error', solve([[True, 3, 'T', 4, None]]), ['ERROR:T'])\n    check('chosen else error', solve([[False, 3, None, 4, 'F']]), ['ERROR:F'])\n    check('then null', solve([[True, None, None, 3, None]]), [None])\n    check('else null', solve([[False, 3, None, None, None]]), [None])\n    check('empty vector', solve([]), [])\nelif N == 4:\n    check('skip erroneous then', solve([[False, 4, 'T', 5, None]]), [5])\n    check('unknown skips then', solve([[None, 4, 'T', 5, None]]), [5])\n    check('skip erroneous else', solve([[True, 4, None, 5, 'F']]), [4])\n    check('chosen then error', solve([[True, 4, 'T', 5, None]]), ['ERROR:T'])\n    check('chosen else error', solve([[False, 4, None, 5, 'F']]), ['ERROR:F'])\n    check('then null', solve([[True, None, None, 4, None]]), [None])\n    check('else null', solve([[False, 4, None, None, None]]), [None])\n    check('empty vector', solve([]), [])\nelif N == 5:\n    check('skip erroneous then', solve([[False, 5, 'T', 6, None]]), [6])\n    check('unknown skips then', solve([[None, 5, 'T', 6, None]]), [6])\n    check('skip erroneous else', solve([[True, 5, None, 6, 'F']]), [5])\n    check('chosen then error', solve([[True, 5, 'T', 6, None]]), ['ERROR:T'])\n    check('chosen else error', solve([[False, 5, None, 6, 'F']]), ['ERROR:F'])\n    check('then null', solve([[True, None, None, 5, None]]), [None])\n    check('else null', solve([[False, 5, None, None, None]]), [None])\n    check('empty vector', solve([]), [])\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 stipulated semantics over valid small inputs; no performance, concurrency, or production-engine conformance claim. 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":"s3-data-systems-masked-case-evaluation-eager-then","generated_at":"2026-09-29T14:44:21.178721+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A bounded deterministic data engine model makes representation and changelog faults reproducible.","repair":"Preserve the stated physical representation and operation order: Evaluate CASE over [condition,then-value,then-error,else-value,else-error] rows. Only True chooses THEN; False and None choose ELSE. Unchosen errors are not evaluated. Chosen errors become ERROR:<label>; a chosen null value remains None. Return one result per input lane.","root_cause":"masked-case-evaluation: Vector CASE evaluates THEN errors on ELSE-selected lanes.","sha256":"f34a43f51a6334c55d09c9677a1bd42dabe8df412de3b6d2d02023cc95e6eb26","title":"Vector CASE evaluates THEN errors on ELSE-selected lanes · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":47.478,"exit_code":1,"observations":[{"actual":[2],"check":"skip erroneous then","expected":[2],"passed":true},{"actual":["ERROR:T"],"check":"unknown skips then","expected":[2],"passed":false},{"actual":[1],"check":"skip erroneous else","expected":[1],"passed":true},{"actual":["ERROR:T"],"check":"chosen then error","expected":["ERROR:T"],"passed":true},{"actual":["ERROR:F"],"check":"chosen else error","expected":["ERROR:F"],"passed":true},{"actual":[null],"check":"then null","expected":[null],"passed":true},{"actual":[null],"check":"else null","expected":[null],"passed":true},{"actual":[],"check":"empty vector","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"skip erroneous then\", \"actual\": [2], \"expected\": [2], \"passed\": true}, {\"check\": \"unknown skips then\", \"actual\": [\"ERROR:T\"], \"expected\": [2], \"passed\": false}, {\"check\": \"skip erroneous else\", \"actual\": [1], \"expected\": [1], \"passed\": true}, {\"check\": \"chosen then error\", \"actual\": [\"ERROR:T\"], \"expected\": [\"ERROR:T\"], \"passed\": true}, {\"check\": \"chosen else error\", \"actual\": [\"ERROR:F\"], \"expected\": [\"ERROR:F\"], \"passed\": true}, {\"check\": \"then null\", \"actual\": [null], \"expected\": [null], \"passed\": true}, {\"check\": \"else null\", \"actual\": [null], \"expected\": [null], \"passed\": true}, {\"check\": \"empty vector\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.171,"exit_code":1,"observations":[{"actual":["ERROR:T"],"check":"skip erroneous then","expected":[2],"passed":false},{"actual":["ERROR:T"],"check":"unknown skips then","expected":[2],"passed":false},{"actual":[1],"check":"skip erroneous else","expected":[1],"passed":true},{"actual":["ERROR:T"],"check":"chosen then error","expected":["ERROR:T"],"passed":true},{"actual":["ERROR:F"],"check":"chosen else error","expected":["ERROR:F"],"passed":true},{"actual":[null],"check":"then null","expected":[null],"passed":true},{"actual":[null],"check":"else null","expected":[null],"passed":true},{"actual":[],"check":"empty vector","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"skip erroneous then\", \"actual\": [\"ERROR:T\"], \"expected\": [2], \"passed\": false}, {\"check\": \"unknown skips then\", \"actual\": [\"ERROR:T\"], \"expected\": [2], \"passed\": false}, {\"check\": \"skip erroneous else\", \"actual\": [1], \"expected\": [1], \"passed\": true}, {\"check\": \"chosen then error\", \"actual\": [\"ERROR:T\"], \"expected\": [\"ERROR:T\"], \"passed\": true}, {\"check\": \"chosen else error\", \"actual\": [\"ERROR:F\"], \"expected\": [\"ERROR:F\"], \"passed\": true}, {\"check\": \"then null\", \"actual\": [null], \"expected\": [null], \"passed\": true}, {\"check\": \"else null\", \"actual\": [null], \"expected\": [null], \"passed\": true}, {\"check\": \"empty vector\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.743,"exit_code":0,"observations":[{"actual":[2],"check":"skip erroneous then","expected":[2],"passed":true},{"actual":[2],"check":"unknown skips then","expected":[2],"passed":true},{"actual":[1],"check":"skip erroneous else","expected":[1],"passed":true},{"actual":["ERROR:T"],"check":"chosen then error","expected":["ERROR:T"],"passed":true},{"actual":["ERROR:F"],"check":"chosen else error","expected":["ERROR:F"],"passed":true},{"actual":[null],"check":"then null","expected":[null],"passed":true},{"actual":[null],"check":"else null","expected":[null],"passed":true},{"actual":[],"check":"empty vector","expected":[],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"skip erroneous then\", \"actual\": [2], \"expected\": [2], \"passed\": true}, {\"check\": \"unknown skips then\", \"actual\": [2], \"expected\": [2], \"passed\": true}, {\"check\": \"skip erroneous else\", \"actual\": [1], \"expected\": [1], \"passed\": true}, {\"check\": \"chosen then error\", \"actual\": [\"ERROR:T\"], \"expected\": [\"ERROR:T\"], \"passed\": true}, {\"check\": \"chosen else error\", \"actual\": [\"ERROR:F\"], \"expected\": [\"ERROR:F\"], \"passed\": true}, {\"check\": \"then null\", \"actual\": [null], \"expected\": [null], \"passed\": true}, {\"check\": \"else null\", \"actual\": [null], \"expected\": [null], \"passed\": true}, {\"check\": \"empty vector\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}