{"abstract":"A structured table violates the declared record or column contract.","category":"Delimited text","checks":10,"contract":"Decode a semicolon table row whose cells are either bare scalar text or bracketed pipe lists. Backslash has no special role. List elements may be empty; [] is an empty list. Brackets must occupy the whole cell; nested brackets reject. Return each cell as scalar text or a list.","evaluation_group":"s3-delimited-text-field-list-cells","failed_approach":"Limiting coercion to scalars with pipes still changes their declared type.","family":"s3-delimited-text-field-list-cells-bare-pipe","id":"FA-47906","implementations":{"attempt":{"sha256":"e7cde554b52cff807a18e246200cd6e71e80c1fa164117f2a69023b3a866f57a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\ndef _vary(value):\n    if value == '@END': return 3 + 4*N\n    if isinstance(value, str): return value.replace('@', 'cell' * N)\n    if isinstance(value, list): return [_vary(x) for x in value]\n    if isinstance(value, dict): return {_vary(k): _vary(v) for k,v in value.items()}\n    return value\nN = 1\nobservations = []\ndef solve(data):\n    out = []\n    for cell in data.split(';'):\n        if cell.startswith('['):\n            if not cell.endswith(']'): return None\n            inner = cell[1:-1]\n            if '[' in inner or ']' in inner: return None\n            value = [] if inner == '' else inner.split('|')\n        else:\n            if '[' in cell or ']' in cell: return None\n            value = cell.split('|') if '|' in cell else cell\n        out.append(value)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('mixed', solve(_vary('@;[a|b]')), _vary(['@', ['a', 'b']]))\ncheck('empty list', solve(_vary('[]')), _vary([[]]))\ncheck('empty elements', solve(_vary('[|a|]')), _vary([['', 'a', '']]))\ncheck('bare empty', solve(_vary('')), _vary(['']))\ncheck('unclosed', solve(_vary('[a')), _vary(None))\ncheck('suffix', solve(_vary('[a]tail')), _vary(None))\ncheck('nested', solve(_vary('[[a]]')), _vary(None))\ncheck('bare bracket', solve(_vary('a]')), _vary(None))\ncheck('pipe bare', solve(_vary('a|b')), _vary(['a|b']))\ncheck('three list', solve(_vary('[a|b|c]')), _vary([['a', 'b', 'c']]))\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":"4a9f521690f4a387526fdadbe27e00f58a3a5c32a27be16b7c2e0a1d7a33ed27","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\ndef _vary(value):\n    if value == '@END': return 3 + 4*N\n    if isinstance(value, str): return value.replace('@', 'cell' * N)\n    if isinstance(value, list): return [_vary(x) for x in value]\n    if isinstance(value, dict): return {_vary(k): _vary(v) for k,v in value.items()}\n    return value\nN = 1\nobservations = []\ndef solve(data):\n    out = []\n    for cell in data.split(';'):\n        if cell.startswith('['):\n            if not cell.endswith(']'): return None\n            inner = cell[1:-1]\n            if '[' in inner or ']' in inner: return None\n            value = [] if inner == '' else inner.split('|')\n        else:\n            if '[' in cell or ']' in cell: return None\n            value = cell.split('|')\n        out.append(value)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('mixed', solve(_vary('@;[a|b]')), _vary(['@', ['a', 'b']]))\ncheck('empty list', solve(_vary('[]')), _vary([[]]))\ncheck('empty elements', solve(_vary('[|a|]')), _vary([['', 'a', '']]))\ncheck('bare empty', solve(_vary('')), _vary(['']))\ncheck('unclosed', solve(_vary('[a')), _vary(None))\ncheck('suffix', solve(_vary('[a]tail')), _vary(None))\ncheck('nested', solve(_vary('[[a]]')), _vary(None))\ncheck('bare bracket', solve(_vary('a]')), _vary(None))\ncheck('pipe bare', solve(_vary('a|b')), _vary(['a|b']))\ncheck('three list', solve(_vary('[a|b|c]')), _vary([['a', 'b', 'c']]))\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":"d9d1414890c4d25606ec0675ea56671b810d0e81c2b522a2ee1789d93a179cf4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\ndef _vary(value):\n    if value == '@END': return 3 + 4*N\n    if isinstance(value, str): return value.replace('@', 'cell' * N)\n    if isinstance(value, list): return [_vary(x) for x in value]\n    if isinstance(value, dict): return {_vary(k): _vary(v) for k,v in value.items()}\n    return value\nN = 1\nobservations = []\ndef solve(data):\n    out = []\n    for cell in data.split(';'):\n        if cell.startswith('['):\n            if not cell.endswith(']'): return None\n            inner = cell[1:-1]\n            if '[' in inner or ']' in inner: return None\n            value = [] if inner == '' else inner.split('|')\n        else:\n            if '[' in cell or ']' in cell: return None\n            value = cell\n        out.append(value)\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('mixed', solve(_vary('@;[a|b]')), _vary(['@', ['a', 'b']]))\ncheck('empty list', solve(_vary('[]')), _vary([[]]))\ncheck('empty elements', solve(_vary('[|a|]')), _vary([['', 'a', '']]))\ncheck('bare empty', solve(_vary('')), _vary(['']))\ncheck('unclosed', solve(_vary('[a')), _vary(None))\ncheck('suffix', solve(_vary('[a]tail')), _vary(None))\ncheck('nested', solve(_vary('[[a]]')), _vary(None))\ncheck('bare bracket', solve(_vary('a]')), _vary(None))\ncheck('pipe bare', solve(_vary('a|b')), _vary(['a|b']))\ncheck('three list', solve(_vary('[a|b|c]')), _vary([['a', 'b', 'c']]))\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":"Deterministic bounded in-memory model. No claim of complete CSV or external format conformance. 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-delimited-text-field-list-cells-bare-pipe","generated_at":"2026-09-29T14:44:45.865274+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Delimited interchange needs explicit framing, schema and field semantics at ingestion and emission boundaries.","repair":"Preserve the named invariant at the faulty decision: value = cell","root_cause":"Pipe separators are interpreted without the enclosing list marker.","sha256":"c10a6fccd693ec10d9103452d91a13de880be8303bb972d373b9ee80083290af","title":"A bare scalar containing pipes is coerced into a list · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.464,"exit_code":1,"observations":[{"actual":["cell",["a","b"]],"check":"mixed","expected":["cell",["a","b"]],"passed":true},{"actual":[[]],"check":"empty list","expected":[[]],"passed":true},{"actual":[["","a",""]],"check":"empty elements","expected":[["","a",""]],"passed":true},{"actual":[""],"check":"bare empty","expected":[""],"passed":true},{"actual":null,"check":"unclosed","expected":null,"passed":true},{"actual":null,"check":"suffix","expected":null,"passed":true},{"actual":null,"check":"nested","expected":null,"passed":true},{"actual":null,"check":"bare bracket","expected":null,"passed":true},{"actual":[["a","b"]],"check":"pipe bare","expected":["a|b"],"passed":false},{"actual":[["a","b","c"]],"check":"three list","expected":[["a","b","c"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"mixed\", \"actual\": [\"cell\", [\"a\", \"b\"]], \"expected\": [\"cell\", [\"a\", \"b\"]], \"passed\": true}, {\"check\": \"empty list\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"empty elements\", \"actual\": [[\"\", \"a\", \"\"]], \"expected\": [[\"\", \"a\", \"\"]], \"passed\": true}, {\"check\": \"bare empty\", \"actual\": [\"\"], \"expected\": [\"\"], \"passed\": true}, {\"check\": \"unclosed\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"suffix\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"nested\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"bare bracket\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"pipe bare\", \"actual\": [[\"a\", \"b\"]], \"expected\": [\"a|b\"], \"passed\": false}, {\"check\": \"three list\", \"actual\": [[\"a\", \"b\", \"c\"]], \"expected\": [[\"a\", \"b\", \"c\"]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.857,"exit_code":1,"observations":[{"actual":[["cell"],["a","b"]],"check":"mixed","expected":["cell",["a","b"]],"passed":false},{"actual":[[]],"check":"empty list","expected":[[]],"passed":true},{"actual":[["","a",""]],"check":"empty elements","expected":[["","a",""]],"passed":true},{"actual":[[""]],"check":"bare empty","expected":[""],"passed":false},{"actual":null,"check":"unclosed","expected":null,"passed":true},{"actual":null,"check":"suffix","expected":null,"passed":true},{"actual":null,"check":"nested","expected":null,"passed":true},{"actual":null,"check":"bare bracket","expected":null,"passed":true},{"actual":[["a","b"]],"check":"pipe bare","expected":["a|b"],"passed":false},{"actual":[["a","b","c"]],"check":"three list","expected":[["a","b","c"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"mixed\", \"actual\": [[\"cell\"], [\"a\", \"b\"]], \"expected\": [\"cell\", [\"a\", \"b\"]], \"passed\": false}, {\"check\": \"empty list\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"empty elements\", \"actual\": [[\"\", \"a\", \"\"]], \"expected\": [[\"\", \"a\", \"\"]], \"passed\": true}, {\"check\": \"bare empty\", \"actual\": [[\"\"]], \"expected\": [\"\"], \"passed\": false}, {\"check\": \"unclosed\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"suffix\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"nested\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"bare bracket\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"pipe bare\", \"actual\": [[\"a\", \"b\"]], \"expected\": [\"a|b\"], \"passed\": false}, {\"check\": \"three list\", \"actual\": [[\"a\", \"b\", \"c\"]], \"expected\": [[\"a\", \"b\", \"c\"]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.124,"exit_code":0,"observations":[{"actual":["cell",["a","b"]],"check":"mixed","expected":["cell",["a","b"]],"passed":true},{"actual":[[]],"check":"empty list","expected":[[]],"passed":true},{"actual":[["","a",""]],"check":"empty elements","expected":[["","a",""]],"passed":true},{"actual":[""],"check":"bare empty","expected":[""],"passed":true},{"actual":null,"check":"unclosed","expected":null,"passed":true},{"actual":null,"check":"suffix","expected":null,"passed":true},{"actual":null,"check":"nested","expected":null,"passed":true},{"actual":null,"check":"bare bracket","expected":null,"passed":true},{"actual":["a|b"],"check":"pipe bare","expected":["a|b"],"passed":true},{"actual":[["a","b","c"]],"check":"three list","expected":[["a","b","c"]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"mixed\", \"actual\": [\"cell\", [\"a\", \"b\"]], \"expected\": [\"cell\", [\"a\", \"b\"]], \"passed\": true}, {\"check\": \"empty list\", \"actual\": [[]], \"expected\": [[]], \"passed\": true}, {\"check\": \"empty elements\", \"actual\": [[\"\", \"a\", \"\"]], \"expected\": [[\"\", \"a\", \"\"]], \"passed\": true}, {\"check\": \"bare empty\", \"actual\": [\"\"], \"expected\": [\"\"], \"passed\": true}, {\"check\": \"unclosed\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"suffix\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"nested\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"bare bracket\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"pipe bare\", \"actual\": [\"a|b\"], \"expected\": [\"a|b\"], \"passed\": true}, {\"check\": \"three list\", \"actual\": [[\"a\", \"b\", \"c\"]], \"expected\": [[\"a\", \"b\", \"c\"]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}