{"abstract":"Vector CASE treats an unknown condition as selected THEN.","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":"An explicit unknown-is-true rule still selects the wrong branch.","family":"s3-data-systems-masked-case-evaluation-unknown-branch","id":"FA-45341","implementations":{"attempt":{"sha256":"a2697da21f86f26efc34c9cc906588243e4b8706d701df0dbc11f1f87d40e65f","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 None or bool(cond)\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"},"broken":{"sha256":"fb27524f8e7b75441200314a1479a5dc7362f280c22c93c2d33ffad83ab8ba4d","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 not False\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"},"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-unknown-branch","generated_at":"2026-09-29T14:44:21.208077+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 treats an unknown condition as selected THEN.","sha256":"75accbf79c8258cac6db6a96879e27735e20a4c26ed85a33d23d396bde07e339","title":"Vector CASE treats an unknown condition as selected THEN · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.944,"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":47.925,"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"},"fixed":{"elapsed_ms":46.086,"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"}