{"abstract":"A structured table violates the declared record or column contract.","category":"Delimited text","checks":16,"contract":"Lex one physical comma record. A quote opens only at field start; doubled quotes decode inside quoted fields; after a closing quote only comma or EOF is legal. CR/LF outside quoted fields reject. Return fields and quote-origin flags; a physical newline inside quoted text remains literal.","evaluation_group":"s3-delimited-text-quoted-field-automaton","failed_approach":"Normalizing only carriage returns still violates exact quoted payload preservation.","family":"s3-delimited-text-quoted-field-automaton-quoted-payload","id":"FA-47501","implementations":{"attempt":{"sha256":"d6e2953e3154ae66c327b27052dcf901643ad5e2cc9767e7d8cc1ec463a48a88","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    result, buf, state, origin = [], [], 'start', False\n    for ch in data:\n        if state == 'quoted':\n            if ch == '\"': state = 'closed'\n            else: buf.append('\\n' if ch == '\\r' else ch)\n        elif state == 'closed':\n            if ch == '\"':\n                buf.append('\"')\n                state = 'quoted'\n            elif ch == ',':\n                result.append([''.join(buf), origin])\n                buf, state, origin = [], 'start', False\n            else: return None\n        elif ch == ',':\n            result.append([''.join(buf), origin])\n            buf, state, origin = [], 'start', False\n        elif ch == '\"':\n            if state != 'start': return None\n            state, origin = 'quoted', True\n        elif ch in '\\r\\n': return None\n        else:\n            buf.append(ch)\n            state = 'bare'\n    if state == 'quoted': return None\n    result.append([''.join(buf), origin])\n    return result\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('quoted flags', solve(_vary('\"@\",a')), _vary([['@', True], ['a', False]]))\ncheck('doubled', solve(_vary('\"a\"\"b\"')), _vary([['a\"b', True]]))\ncheck('triple ending', solve(_vary('\"@\"\"\"')), _vary([['@\"', True]]))\ncheck('empty quoted', solve(_vary('\"\"')), _vary([['', True]]))\ncheck('empty bare', solve(_vary('')), _vary([['', False]]))\ncheck('suffix comma', solve(_vary('\"@\",')), _vary([['@', True], ['', False]]))\ncheck('bare quote', solve(_vary('a\"b')), _vary(None))\ncheck('balanced quote suffix', solve(_vary('a\"b\"')), _vary(None))\ncheck('junk closing', solve(_vary('\"a\"x')), _vary(None))\ncheck('space closing', solve(_vary('\"a\" ')), _vary(None))\ncheck('quoted newlines', solve(_vary('\"a\\nb\"')), _vary([['a\\nb', True]]))\ncheck('quoted carriage return', solve(_vary('\"a\\rb\"')), _vary([['a\\rb', True]]))\ncheck('unquoted newline', solve(_vary('a\\nb')), _vary(None))\ncheck('two quoted', solve(_vary('\"a\",\"b\"')), _vary([['a', True], ['b', True]]))\ncheck('unterminated', solve(_vary('\"a')), _vary(None))\ncheck('plain', solve(_vary('@,z')), _vary([['@', False], ['z', False]]))\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":"690f4faecde12425eeb6dc44d4d5fa392b9adfe5f0d68772b6c02749bc5967aa","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    result, buf, state, origin = [], [], 'start', False\n    for ch in data:\n        if state == 'quoted':\n            if ch == '\"': state = 'closed'\n            else: buf.append(' ' if ch == '\\n' else ch)\n        elif state == 'closed':\n            if ch == '\"':\n                buf.append('\"')\n                state = 'quoted'\n            elif ch == ',':\n                result.append([''.join(buf), origin])\n                buf, state, origin = [], 'start', False\n            else: return None\n        elif ch == ',':\n            result.append([''.join(buf), origin])\n            buf, state, origin = [], 'start', False\n        elif ch == '\"':\n            if state != 'start': return None\n            state, origin = 'quoted', True\n        elif ch in '\\r\\n': return None\n        else:\n            buf.append(ch)\n            state = 'bare'\n    if state == 'quoted': return None\n    result.append([''.join(buf), origin])\n    return result\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('quoted flags', solve(_vary('\"@\",a')), _vary([['@', True], ['a', False]]))\ncheck('doubled', solve(_vary('\"a\"\"b\"')), _vary([['a\"b', True]]))\ncheck('triple ending', solve(_vary('\"@\"\"\"')), _vary([['@\"', True]]))\ncheck('empty quoted', solve(_vary('\"\"')), _vary([['', True]]))\ncheck('empty bare', solve(_vary('')), _vary([['', False]]))\ncheck('suffix comma', solve(_vary('\"@\",')), _vary([['@', True], ['', False]]))\ncheck('bare quote', solve(_vary('a\"b')), _vary(None))\ncheck('balanced quote suffix', solve(_vary('a\"b\"')), _vary(None))\ncheck('junk closing', solve(_vary('\"a\"x')), _vary(None))\ncheck('space closing', solve(_vary('\"a\" ')), _vary(None))\ncheck('quoted newlines', solve(_vary('\"a\\nb\"')), _vary([['a\\nb', True]]))\ncheck('quoted carriage return', solve(_vary('\"a\\rb\"')), _vary([['a\\rb', True]]))\ncheck('unquoted newline', solve(_vary('a\\nb')), _vary(None))\ncheck('two quoted', solve(_vary('\"a\",\"b\"')), _vary([['a', True], ['b', True]]))\ncheck('unterminated', solve(_vary('\"a')), _vary(None))\ncheck('plain', solve(_vary('@,z')), _vary([['@', False], ['z', False]]))\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":"bac48864035b7b80055290c2dab4772ec827a8f19a1edf5dceabcc1205a99283","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    result, buf, state, origin = [], [], 'start', False\n    for ch in data:\n        if state == 'quoted':\n            if ch == '\"': state = 'closed'\n            else: buf.append(ch)\n        elif state == 'closed':\n            if ch == '\"':\n                buf.append('\"')\n                state = 'quoted'\n            elif ch == ',':\n                result.append([''.join(buf), origin])\n                buf, state, origin = [], 'start', False\n            else: return None\n        elif ch == ',':\n            result.append([''.join(buf), origin])\n            buf, state, origin = [], 'start', False\n        elif ch == '\"':\n            if state != 'start': return None\n            state, origin = 'quoted', True\n        elif ch in '\\r\\n': return None\n        else:\n            buf.append(ch)\n            state = 'bare'\n    if state == 'quoted': return None\n    result.append([''.join(buf), origin])\n    return result\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('quoted flags', solve(_vary('\"@\",a')), _vary([['@', True], ['a', False]]))\ncheck('doubled', solve(_vary('\"a\"\"b\"')), _vary([['a\"b', True]]))\ncheck('triple ending', solve(_vary('\"@\"\"\"')), _vary([['@\"', True]]))\ncheck('empty quoted', solve(_vary('\"\"')), _vary([['', True]]))\ncheck('empty bare', solve(_vary('')), _vary([['', False]]))\ncheck('suffix comma', solve(_vary('\"@\",')), _vary([['@', True], ['', False]]))\ncheck('bare quote', solve(_vary('a\"b')), _vary(None))\ncheck('balanced quote suffix', solve(_vary('a\"b\"')), _vary(None))\ncheck('junk closing', solve(_vary('\"a\"x')), _vary(None))\ncheck('space closing', solve(_vary('\"a\" ')), _vary(None))\ncheck('quoted newlines', solve(_vary('\"a\\nb\"')), _vary([['a\\nb', True]]))\ncheck('quoted carriage return', solve(_vary('\"a\\rb\"')), _vary([['a\\rb', True]]))\ncheck('unquoted newline', solve(_vary('a\\nb')), _vary(None))\ncheck('two quoted', solve(_vary('\"a\",\"b\"')), _vary([['a', True], ['b', True]]))\ncheck('unterminated', solve(_vary('\"a')), _vary(None))\ncheck('plain', solve(_vary('@,z')), _vary([['@', False], ['z', False]]))\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-quoted-field-automaton-quoted-payload","generated_at":"2026-09-29T14:44:42.093942+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: else: buf.append(ch)","root_cause":"The quoted state modifies physical line characters that belong to the cell.","sha256":"a4422def9ba2d1e3fddb69de3a832c2020c3e5a2f6253aa8acbc69bcc18a083f","title":"Quoted carriage returns are normalized before token emission · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.225,"exit_code":1,"observations":[{"actual":[["cell",true],["a",false]],"check":"quoted flags","expected":[["cell",true],["a",false]],"passed":true},{"actual":[["a\"b",true]],"check":"doubled","expected":[["a\"b",true]],"passed":true},{"actual":[["cell\"",true]],"check":"triple ending","expected":[["cell\"",true]],"passed":true},{"actual":[["",true]],"check":"empty quoted","expected":[["",true]],"passed":true},{"actual":[["",false]],"check":"empty bare","expected":[["",false]],"passed":true},{"actual":[["cell",true],["",false]],"check":"suffix comma","expected":[["cell",true],["",false]],"passed":true},{"actual":null,"check":"bare quote","expected":null,"passed":true},{"actual":null,"check":"balanced quote suffix","expected":null,"passed":true},{"actual":null,"check":"junk closing","expected":null,"passed":true},{"actual":null,"check":"space closing","expected":null,"passed":true},{"actual":[["a\nb",true]],"check":"quoted newlines","expected":[["a\nb",true]],"passed":true},{"actual":[["a\nb",true]],"check":"quoted carriage return","expected":[["a\rb",true]],"passed":false},{"actual":null,"check":"unquoted newline","expected":null,"passed":true},{"actual":[["a",true],["b",true]],"check":"two quoted","expected":[["a",true],["b",true]],"passed":true},{"actual":null,"check":"unterminated","expected":null,"passed":true},{"actual":[["cell",false],["z",false]],"check":"plain","expected":[["cell",false],["z",false]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"quoted flags\", \"actual\": [[\"cell\", true], [\"a\", false]], \"expected\": [[\"cell\", true], [\"a\", false]], \"passed\": true}, {\"check\": \"doubled\", \"actual\": [[\"a\\\"b\", true]], \"expected\": [[\"a\\\"b\", true]], \"passed\": true}, {\"check\": \"triple ending\", \"actual\": [[\"cell\\\"\", true]], \"expected\": [[\"cell\\\"\", true]], \"passed\": true}, {\"check\": \"empty quoted\", \"actual\": [[\"\", true]], \"expected\": [[\"\", true]], \"passed\": true}, {\"check\": \"empty bare\", \"actual\": [[\"\", false]], \"expected\": [[\"\", false]], \"passed\": true}, {\"check\": \"suffix comma\", \"actual\": [[\"cell\", true], [\"\", false]], \"expected\": [[\"cell\", true], [\"\", false]], \"passed\": true}, {\"check\": \"bare quote\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"balanced quote suffix\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"junk closing\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"space closing\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"quoted newlines\", \"actual\": [[\"a\\nb\", true]], \"expected\": [[\"a\\nb\", true]], \"passed\": true}, {\"check\": \"quoted carriage return\", \"actual\": [[\"a\\nb\", true]], \"expected\": [[\"a\\rb\", true]], \"passed\": false}, {\"check\": \"unquoted newline\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"two quoted\", \"actual\": [[\"a\", true], [\"b\", true]], \"expected\": [[\"a\", true], [\"b\", true]], \"passed\": true}, {\"check\": \"unterminated\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"plain\", \"actual\": [[\"cell\", false], [\"z\", false]], \"expected\": [[\"cell\", false], [\"z\", false]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.237,"exit_code":1,"observations":[{"actual":[["cell",true],["a",false]],"check":"quoted flags","expected":[["cell",true],["a",false]],"passed":true},{"actual":[["a\"b",true]],"check":"doubled","expected":[["a\"b",true]],"passed":true},{"actual":[["cell\"",true]],"check":"triple ending","expected":[["cell\"",true]],"passed":true},{"actual":[["",true]],"check":"empty quoted","expected":[["",true]],"passed":true},{"actual":[["",false]],"check":"empty bare","expected":[["",false]],"passed":true},{"actual":[["cell",true],["",false]],"check":"suffix comma","expected":[["cell",true],["",false]],"passed":true},{"actual":null,"check":"bare quote","expected":null,"passed":true},{"actual":null,"check":"balanced quote suffix","expected":null,"passed":true},{"actual":null,"check":"junk closing","expected":null,"passed":true},{"actual":null,"check":"space closing","expected":null,"passed":true},{"actual":[["a b",true]],"check":"quoted newlines","expected":[["a\nb",true]],"passed":false},{"actual":[["a\rb",true]],"check":"quoted carriage return","expected":[["a\rb",true]],"passed":true},{"actual":null,"check":"unquoted newline","expected":null,"passed":true},{"actual":[["a",true],["b",true]],"check":"two quoted","expected":[["a",true],["b",true]],"passed":true},{"actual":null,"check":"unterminated","expected":null,"passed":true},{"actual":[["cell",false],["z",false]],"check":"plain","expected":[["cell",false],["z",false]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"quoted flags\", \"actual\": [[\"cell\", true], [\"a\", false]], \"expected\": [[\"cell\", true], [\"a\", false]], \"passed\": true}, {\"check\": \"doubled\", \"actual\": [[\"a\\\"b\", true]], \"expected\": [[\"a\\\"b\", true]], \"passed\": true}, {\"check\": \"triple ending\", \"actual\": [[\"cell\\\"\", true]], \"expected\": [[\"cell\\\"\", true]], \"passed\": true}, {\"check\": \"empty quoted\", \"actual\": [[\"\", true]], \"expected\": [[\"\", true]], \"passed\": true}, {\"check\": \"empty bare\", \"actual\": [[\"\", false]], \"expected\": [[\"\", false]], \"passed\": true}, {\"check\": \"suffix comma\", \"actual\": [[\"cell\", true], [\"\", false]], \"expected\": [[\"cell\", true], [\"\", false]], \"passed\": true}, {\"check\": \"bare quote\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"balanced quote suffix\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"junk closing\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"space closing\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"quoted newlines\", \"actual\": [[\"a b\", true]], \"expected\": [[\"a\\nb\", true]], \"passed\": false}, {\"check\": \"quoted carriage return\", \"actual\": [[\"a\\rb\", true]], \"expected\": [[\"a\\rb\", true]], \"passed\": true}, {\"check\": \"unquoted newline\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"two quoted\", \"actual\": [[\"a\", true], [\"b\", true]], \"expected\": [[\"a\", true], [\"b\", true]], \"passed\": true}, {\"check\": \"unterminated\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"plain\", \"actual\": [[\"cell\", false], [\"z\", false]], \"expected\": [[\"cell\", false], [\"z\", false]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.589,"exit_code":0,"observations":[{"actual":[["cell",true],["a",false]],"check":"quoted flags","expected":[["cell",true],["a",false]],"passed":true},{"actual":[["a\"b",true]],"check":"doubled","expected":[["a\"b",true]],"passed":true},{"actual":[["cell\"",true]],"check":"triple ending","expected":[["cell\"",true]],"passed":true},{"actual":[["",true]],"check":"empty quoted","expected":[["",true]],"passed":true},{"actual":[["",false]],"check":"empty bare","expected":[["",false]],"passed":true},{"actual":[["cell",true],["",false]],"check":"suffix comma","expected":[["cell",true],["",false]],"passed":true},{"actual":null,"check":"bare quote","expected":null,"passed":true},{"actual":null,"check":"balanced quote suffix","expected":null,"passed":true},{"actual":null,"check":"junk closing","expected":null,"passed":true},{"actual":null,"check":"space closing","expected":null,"passed":true},{"actual":[["a\nb",true]],"check":"quoted newlines","expected":[["a\nb",true]],"passed":true},{"actual":[["a\rb",true]],"check":"quoted carriage return","expected":[["a\rb",true]],"passed":true},{"actual":null,"check":"unquoted newline","expected":null,"passed":true},{"actual":[["a",true],["b",true]],"check":"two quoted","expected":[["a",true],["b",true]],"passed":true},{"actual":null,"check":"unterminated","expected":null,"passed":true},{"actual":[["cell",false],["z",false]],"check":"plain","expected":[["cell",false],["z",false]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"quoted flags\", \"actual\": [[\"cell\", true], [\"a\", false]], \"expected\": [[\"cell\", true], [\"a\", false]], \"passed\": true}, {\"check\": \"doubled\", \"actual\": [[\"a\\\"b\", true]], \"expected\": [[\"a\\\"b\", true]], \"passed\": true}, {\"check\": \"triple ending\", \"actual\": [[\"cell\\\"\", true]], \"expected\": [[\"cell\\\"\", true]], \"passed\": true}, {\"check\": \"empty quoted\", \"actual\": [[\"\", true]], \"expected\": [[\"\", true]], \"passed\": true}, {\"check\": \"empty bare\", \"actual\": [[\"\", false]], \"expected\": [[\"\", false]], \"passed\": true}, {\"check\": \"suffix comma\", \"actual\": [[\"cell\", true], [\"\", false]], \"expected\": [[\"cell\", true], [\"\", false]], \"passed\": true}, {\"check\": \"bare quote\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"balanced quote suffix\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"junk closing\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"space closing\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"quoted newlines\", \"actual\": [[\"a\\nb\", true]], \"expected\": [[\"a\\nb\", true]], \"passed\": true}, {\"check\": \"quoted carriage return\", \"actual\": [[\"a\\rb\", true]], \"expected\": [[\"a\\rb\", true]], \"passed\": true}, {\"check\": \"unquoted newline\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"two quoted\", \"actual\": [[\"a\", true], [\"b\", true]], \"expected\": [[\"a\", true], [\"b\", true]], \"passed\": true}, {\"check\": \"unterminated\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"plain\", \"actual\": [[\"cell\", false], [\"z\", false]], \"expected\": [[\"cell\", false], [\"z\", false]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}