{"abstract":"A structured table violates the declared record or column contract.","category":"Delimited text","checks":11,"contract":"Read a comma table with header H,, body D,, and final F,. Reject missing or misplaced footer, count mismatch, malformed tags, unequal body width, and missing header. Count only body records. Return body arrays.","evaluation_group":"s3-delimited-text-record-footer","failed_approach":"Reopening after a footer instead admits appended data.","family":"s3-delimited-text-record-footer-closed-stream","id":"FA-47876","implementations":{"attempt":{"sha256":"83eaccb93d29033d3a5462229b8df838c4f64fa4c8c34c6a631717ae55b7f917","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 if not data or not data[0].startswith('H,'): return None\n width = len(data[0].split(',')) - 1\n rows, closed = [], False\n for line in data[1:]:\n if closed: closed = False\n cells = line.split(',')\n if cells[0] == 'D':\n if len(cells) - 1 != width: return None\n rows.append(cells[1:])\n elif cells[0] == 'F':\n if len(cells) != 2 or not cells[1].isascii() or not cells[1].isdecimal(): return None\n if int(cells[1]) != len(rows): return None\n closed = True\n else: return None\n if not closed: return None\n return rows\ndef check(label, actual, expected):\n observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('table', solve(_vary(['H,a,b', 'D,@,x', 'D,y,z', 'F,2'])), _vary([['@', 'x'], ['y', 'z']]))\ncheck('count mismatch', solve(_vary(['H,a', 'D,@', 'F,2'])), _vary(None))\ncheck('after footer', solve(_vary(['H,a', 'F,0', 'D,@'])), _vary(None))\ncheck('missing footer', solve(_vary(['H,a', 'D,@'])), _vary(None))\ncheck('empty body', solve(_vary(['H,a', 'F,0'])), _vary([]))\ncheck('bad tag', solve(_vary(['H,a', 'X,@', 'F,1'])), _vary(None))\ncheck('bad width', solve(_vary(['H,a,b', 'D,@', 'F,1'])), _vary(None))\ncheck('missing header', solve(_vary(['D,@', 'F,1'])), _vary(None))\ncheck('second footer', solve(_vary(['H,a', 'F,0', 'F,0'])), _vary(None))\ncheck('bad count', solve(_vary(['H,a', 'F,-1'])), _vary(None))\ncheck('unknown not counted', solve(_vary(['H,a', 'X,@', 'F,0'])), _vary(None))\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":"642c305aa420adc51b592463f798808562f29b846f9f683e920c68f5463eb17c","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 if not data or not data[0].startswith('H,'): return None\n width = len(data[0].split(',')) - 1\n rows, closed = [], False\n for line in data[1:]:\n if closed: continue\n cells = line.split(',')\n if cells[0] == 'D':\n if len(cells) - 1 != width: return None\n rows.append(cells[1:])\n elif cells[0] == 'F':\n if len(cells) != 2 or not cells[1].isascii() or not cells[1].isdecimal(): return None\n if int(cells[1]) != len(rows): return None\n closed = True\n else: return None\n if not closed: return None\n return rows\ndef check(label, actual, expected):\n observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('table', solve(_vary(['H,a,b', 'D,@,x', 'D,y,z', 'F,2'])), _vary([['@', 'x'], ['y', 'z']]))\ncheck('count mismatch', solve(_vary(['H,a', 'D,@', 'F,2'])), _vary(None))\ncheck('after footer', solve(_vary(['H,a', 'F,0', 'D,@'])), _vary(None))\ncheck('missing footer', solve(_vary(['H,a', 'D,@'])), _vary(None))\ncheck('empty body', solve(_vary(['H,a', 'F,0'])), _vary([]))\ncheck('bad tag', solve(_vary(['H,a', 'X,@', 'F,1'])), _vary(None))\ncheck('bad width', solve(_vary(['H,a,b', 'D,@', 'F,1'])), _vary(None))\ncheck('missing header', solve(_vary(['D,@', 'F,1'])), _vary(None))\ncheck('second footer', solve(_vary(['H,a', 'F,0', 'F,0'])), _vary(None))\ncheck('bad count', solve(_vary(['H,a', 'F,-1'])), _vary(None))\ncheck('unknown not counted', solve(_vary(['H,a', 'X,@', 'F,0'])), _vary(None))\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":"eff4fab36227655b39d1b05e0a3920c4258817e46c396a4ac93252451db6c6e7","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 if not data or not data[0].startswith('H,'): return None\n width = len(data[0].split(',')) - 1\n rows, closed = [], False\n for line in data[1:]:\n if closed: return None\n cells = line.split(',')\n if cells[0] == 'D':\n if len(cells) - 1 != width: return None\n rows.append(cells[1:])\n elif cells[0] == 'F':\n if len(cells) != 2 or not cells[1].isascii() or not cells[1].isdecimal(): return None\n if int(cells[1]) != len(rows): return None\n closed = True\n else: return None\n if not closed: return None\n return rows\ndef check(label, actual, expected):\n observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('table', solve(_vary(['H,a,b', 'D,@,x', 'D,y,z', 'F,2'])), _vary([['@', 'x'], ['y', 'z']]))\ncheck('count mismatch', solve(_vary(['H,a', 'D,@', 'F,2'])), _vary(None))\ncheck('after footer', solve(_vary(['H,a', 'F,0', 'D,@'])), _vary(None))\ncheck('missing footer', solve(_vary(['H,a', 'D,@'])), _vary(None))\ncheck('empty body', solve(_vary(['H,a', 'F,0'])), _vary([]))\ncheck('bad tag', solve(_vary(['H,a', 'X,@', 'F,1'])), _vary(None))\ncheck('bad width', solve(_vary(['H,a,b', 'D,@', 'F,1'])), _vary(None))\ncheck('missing header', solve(_vary(['D,@', 'F,1'])), _vary(None))\ncheck('second footer', solve(_vary(['H,a', 'F,0', 'F,0'])), _vary(None))\ncheck('bad count', solve(_vary(['H,a', 'F,-1'])), _vary(None))\ncheck('unknown not counted', solve(_vary(['H,a', 'X,@', 'F,0'])), _vary(None))\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-record-footer-closed-stream","generated_at":"2026-09-29T14:44:45.584226+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: if closed: return None","root_cause":"Records after the terminal declaration are silently ignored.","sha256":"5b03306b54280e1b8ed4a206aa23773485bcff4765023bf78b0be6a3d68f80af","title":"A footer does not prevent later data records · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.4,"exit_code":1,"observations":[{"actual":[["cell","x"],["y","z"]],"check":"table","expected":[["cell","x"],["y","z"]],"passed":true},{"actual":null,"check":"count mismatch","expected":null,"passed":true},{"actual":null,"check":"after footer","expected":null,"passed":true},{"actual":null,"check":"missing footer","expected":null,"passed":true},{"actual":[],"check":"empty body","expected":[],"passed":true},{"actual":null,"check":"bad tag","expected":null,"passed":true},{"actual":null,"check":"bad width","expected":null,"passed":true},{"actual":null,"check":"missing header","expected":null,"passed":true},{"actual":[],"check":"second footer","expected":null,"passed":false},{"actual":null,"check":"bad count","expected":null,"passed":true},{"actual":null,"check":"unknown not counted","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"table\", \"actual\": [[\"cell\", \"x\"], [\"y\", \"z\"]], \"expected\": [[\"cell\", \"x\"], [\"y\", \"z\"]], \"passed\": true}, {\"check\": \"count mismatch\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"after footer\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"missing footer\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"empty body\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"bad tag\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"bad width\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"missing header\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"second footer\", \"actual\": [], \"expected\": null, \"passed\": false}, {\"check\": \"bad count\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"unknown not counted\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.82,"exit_code":1,"observations":[{"actual":[["cell","x"],["y","z"]],"check":"table","expected":[["cell","x"],["y","z"]],"passed":true},{"actual":null,"check":"count mismatch","expected":null,"passed":true},{"actual":[],"check":"after footer","expected":null,"passed":false},{"actual":null,"check":"missing footer","expected":null,"passed":true},{"actual":[],"check":"empty body","expected":[],"passed":true},{"actual":null,"check":"bad tag","expected":null,"passed":true},{"actual":null,"check":"bad width","expected":null,"passed":true},{"actual":null,"check":"missing header","expected":null,"passed":true},{"actual":[],"check":"second footer","expected":null,"passed":false},{"actual":null,"check":"bad count","expected":null,"passed":true},{"actual":null,"check":"unknown not counted","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"table\", \"actual\": [[\"cell\", \"x\"], [\"y\", \"z\"]], \"expected\": [[\"cell\", \"x\"], [\"y\", \"z\"]], \"passed\": true}, {\"check\": \"count mismatch\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"after footer\", \"actual\": [], \"expected\": null, \"passed\": false}, {\"check\": \"missing footer\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"empty body\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"bad tag\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"bad width\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"missing header\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"second footer\", \"actual\": [], \"expected\": null, \"passed\": false}, {\"check\": \"bad count\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"unknown not counted\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.191,"exit_code":0,"observations":[{"actual":[["cell","x"],["y","z"]],"check":"table","expected":[["cell","x"],["y","z"]],"passed":true},{"actual":null,"check":"count mismatch","expected":null,"passed":true},{"actual":null,"check":"after footer","expected":null,"passed":true},{"actual":null,"check":"missing footer","expected":null,"passed":true},{"actual":[],"check":"empty body","expected":[],"passed":true},{"actual":null,"check":"bad tag","expected":null,"passed":true},{"actual":null,"check":"bad width","expected":null,"passed":true},{"actual":null,"check":"missing header","expected":null,"passed":true},{"actual":null,"check":"second footer","expected":null,"passed":true},{"actual":null,"check":"bad count","expected":null,"passed":true},{"actual":null,"check":"unknown not counted","expected":null,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"table\", \"actual\": [[\"cell\", \"x\"], [\"y\", \"z\"]], \"expected\": [[\"cell\", \"x\"], [\"y\", \"z\"]], \"passed\": true}, {\"check\": \"count mismatch\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"after footer\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"missing footer\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"empty body\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"bad tag\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"bad width\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"missing header\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"second footer\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"bad count\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"unknown not counted\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}