{"abstract":"A structured table violates the declared record or column contract.","category":"Delimited text","checks":10,"contract":"Select physical cells from a rectangular table using one-based inclusive row and column intervals. Omitted end means last; zero and reversed or out-of-range bounds reject. An empty table accepts only both default [1,null] selectors and produces empty output. Preserve selected order.","evaluation_group":"s3-delimited-text-fragment-projection","failed_approach":"Expanding the endpoint overshoots when a following field exists.","family":"s3-delimited-text-fragment-projection-column-end","id":"FA-47831","implementations":{"attempt":{"sha256":"b434b4ed919a63bc93a664291814572b5d5e92e8859efd358dc113a8aedda519","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    rows = data['rows']\n    rstart, rend = data['r']\n    cstart, cend = data['c']\n    if not rows: return [] if data['r'] == [1, None] and data['c'] == [1, None] else None\n    height, width = len(rows), len(rows[0])\n    if any(len(row) != width for row in rows): return None\n    rend = height if rend is None else rend\n    cend = width if cend is None else cend\n    if not 1 <= rstart <= rend <= height: return None\n    if not 1 <= cstart <= cend <= width: return None\n    return [row[cstart-1:cend+1] for row in rows[rstart-1:rend]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('window', solve(_vary({'rows': [['a', 'b', 'c'], ['d', '@', 'f'], ['g', 'h', 'i']], 'r': [2, 3], 'c': [2, 3]})), _vary([['@', 'f'], ['h', 'i']]))\ncheck('full', solve(_vary({'rows': [['@', 'x']], 'r': [1, None], 'c': [1, None]})), _vary([['@', 'x']]))\ncheck('zero', solve(_vary({'rows': [['x']], 'r': [0, 1], 'c': [1, 1]})), _vary(None))\ncheck('reversed', solve(_vary({'rows': [['a'], ['b']], 'r': [2, 1], 'c': [1, 1]})), _vary(None))\ncheck('row overflow', solve(_vary({'rows': [['a']], 'r': [1, 2], 'c': [1, 1]})), _vary(None))\ncheck('col overflow', solve(_vary({'rows': [['a']], 'r': [1, 1], 'c': [1, 2]})), _vary(None))\ncheck('ragged', solve(_vary({'rows': [['a', 'b'], ['c']], 'r': [1, 1], 'c': [1, 1]})), _vary(None))\ncheck('empty', solve(_vary({'rows': [], 'r': [1, None], 'c': [1, None]})), _vary([]))\ncheck('prefix window', solve(_vary({'rows': [['@', 'b'], ['c', 'd']], 'r': [1, 1], 'c': [1, 1]})), _vary([['@']]))\ncheck('empty explicit', solve(_vary({'rows': [], 'r': [1, 1], 'c': [1, 1]})), _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":"9bd8641928679aa87ee9310712c79436df184af258ba5e8ef321b83047bd2679","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    rows = data['rows']\n    rstart, rend = data['r']\n    cstart, cend = data['c']\n    if not rows: return [] if data['r'] == [1, None] and data['c'] == [1, None] else None\n    height, width = len(rows), len(rows[0])\n    if any(len(row) != width for row in rows): return None\n    rend = height if rend is None else rend\n    cend = width if cend is None else cend\n    if not 1 <= rstart <= rend <= height: return None\n    if not 1 <= cstart <= cend <= width: return None\n    return [row[cstart-1:cend-1] for row in rows[rstart-1:rend]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('window', solve(_vary({'rows': [['a', 'b', 'c'], ['d', '@', 'f'], ['g', 'h', 'i']], 'r': [2, 3], 'c': [2, 3]})), _vary([['@', 'f'], ['h', 'i']]))\ncheck('full', solve(_vary({'rows': [['@', 'x']], 'r': [1, None], 'c': [1, None]})), _vary([['@', 'x']]))\ncheck('zero', solve(_vary({'rows': [['x']], 'r': [0, 1], 'c': [1, 1]})), _vary(None))\ncheck('reversed', solve(_vary({'rows': [['a'], ['b']], 'r': [2, 1], 'c': [1, 1]})), _vary(None))\ncheck('row overflow', solve(_vary({'rows': [['a']], 'r': [1, 2], 'c': [1, 1]})), _vary(None))\ncheck('col overflow', solve(_vary({'rows': [['a']], 'r': [1, 1], 'c': [1, 2]})), _vary(None))\ncheck('ragged', solve(_vary({'rows': [['a', 'b'], ['c']], 'r': [1, 1], 'c': [1, 1]})), _vary(None))\ncheck('empty', solve(_vary({'rows': [], 'r': [1, None], 'c': [1, None]})), _vary([]))\ncheck('prefix window', solve(_vary({'rows': [['@', 'b'], ['c', 'd']], 'r': [1, 1], 'c': [1, 1]})), _vary([['@']]))\ncheck('empty explicit', solve(_vary({'rows': [], 'r': [1, 1], 'c': [1, 1]})), _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":"a5c13c6bf67800b4ee3502baddd9b32ff615fc78e9537a4d56017170d9f1aed0","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    rows = data['rows']\n    rstart, rend = data['r']\n    cstart, cend = data['c']\n    if not rows: return [] if data['r'] == [1, None] and data['c'] == [1, None] else None\n    height, width = len(rows), len(rows[0])\n    if any(len(row) != width for row in rows): return None\n    rend = height if rend is None else rend\n    cend = width if cend is None else cend\n    if not 1 <= rstart <= rend <= height: return None\n    if not 1 <= cstart <= cend <= width: return None\n    return [row[cstart-1:cend] for row in rows[rstart-1:rend]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('window', solve(_vary({'rows': [['a', 'b', 'c'], ['d', '@', 'f'], ['g', 'h', 'i']], 'r': [2, 3], 'c': [2, 3]})), _vary([['@', 'f'], ['h', 'i']]))\ncheck('full', solve(_vary({'rows': [['@', 'x']], 'r': [1, None], 'c': [1, None]})), _vary([['@', 'x']]))\ncheck('zero', solve(_vary({'rows': [['x']], 'r': [0, 1], 'c': [1, 1]})), _vary(None))\ncheck('reversed', solve(_vary({'rows': [['a'], ['b']], 'r': [2, 1], 'c': [1, 1]})), _vary(None))\ncheck('row overflow', solve(_vary({'rows': [['a']], 'r': [1, 2], 'c': [1, 1]})), _vary(None))\ncheck('col overflow', solve(_vary({'rows': [['a']], 'r': [1, 1], 'c': [1, 2]})), _vary(None))\ncheck('ragged', solve(_vary({'rows': [['a', 'b'], ['c']], 'r': [1, 1], 'c': [1, 1]})), _vary(None))\ncheck('empty', solve(_vary({'rows': [], 'r': [1, None], 'c': [1, None]})), _vary([]))\ncheck('prefix window', solve(_vary({'rows': [['@', 'b'], ['c', 'd']], 'r': [1, 1], 'c': [1, 1]})), _vary([['@']]))\ncheck('empty explicit', solve(_vary({'rows': [], 'r': [1, 1], 'c': [1, 1]})), _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-fragment-projection-column-end","generated_at":"2026-09-29T14:44:45.108017+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: row[cstart-1:cend]","root_cause":"The final requested physical field is excluded.","sha256":"7456ddbd03fb0b2ec2c6837950851fcbe511520b6e86e3f71bf825b158ce5327","title":"An inclusive column endpoint omits its last requested cell · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.412,"exit_code":1,"observations":[{"actual":[["cell","f"],["h","i"]],"check":"window","expected":[["cell","f"],["h","i"]],"passed":true},{"actual":[["cell","x"]],"check":"full","expected":[["cell","x"]],"passed":true},{"actual":null,"check":"zero","expected":null,"passed":true},{"actual":null,"check":"reversed","expected":null,"passed":true},{"actual":null,"check":"row overflow","expected":null,"passed":true},{"actual":null,"check":"col overflow","expected":null,"passed":true},{"actual":null,"check":"ragged","expected":null,"passed":true},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":[["cell","b"]],"check":"prefix window","expected":[["cell"]],"passed":false},{"actual":null,"check":"empty explicit","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"window\", \"actual\": [[\"cell\", \"f\"], [\"h\", \"i\"]], \"expected\": [[\"cell\", \"f\"], [\"h\", \"i\"]], \"passed\": true}, {\"check\": \"full\", \"actual\": [[\"cell\", \"x\"]], \"expected\": [[\"cell\", \"x\"]], \"passed\": true}, {\"check\": \"zero\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"reversed\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"row overflow\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"col overflow\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"ragged\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"prefix window\", \"actual\": [[\"cell\", \"b\"]], \"expected\": [[\"cell\"]], \"passed\": false}, {\"check\": \"empty explicit\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.445,"exit_code":1,"observations":[{"actual":[["cell"],["h"]],"check":"window","expected":[["cell","f"],["h","i"]],"passed":false},{"actual":[["cell"]],"check":"full","expected":[["cell","x"]],"passed":false},{"actual":null,"check":"zero","expected":null,"passed":true},{"actual":null,"check":"reversed","expected":null,"passed":true},{"actual":null,"check":"row overflow","expected":null,"passed":true},{"actual":null,"check":"col overflow","expected":null,"passed":true},{"actual":null,"check":"ragged","expected":null,"passed":true},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":[[]],"check":"prefix window","expected":[["cell"]],"passed":false},{"actual":null,"check":"empty explicit","expected":null,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"window\", \"actual\": [[\"cell\"], [\"h\"]], \"expected\": [[\"cell\", \"f\"], [\"h\", \"i\"]], \"passed\": false}, {\"check\": \"full\", \"actual\": [[\"cell\"]], \"expected\": [[\"cell\", \"x\"]], \"passed\": false}, {\"check\": \"zero\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"reversed\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"row overflow\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"col overflow\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"ragged\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"prefix window\", \"actual\": [[]], \"expected\": [[\"cell\"]], \"passed\": false}, {\"check\": \"empty explicit\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.28,"exit_code":0,"observations":[{"actual":[["cell","f"],["h","i"]],"check":"window","expected":[["cell","f"],["h","i"]],"passed":true},{"actual":[["cell","x"]],"check":"full","expected":[["cell","x"]],"passed":true},{"actual":null,"check":"zero","expected":null,"passed":true},{"actual":null,"check":"reversed","expected":null,"passed":true},{"actual":null,"check":"row overflow","expected":null,"passed":true},{"actual":null,"check":"col overflow","expected":null,"passed":true},{"actual":null,"check":"ragged","expected":null,"passed":true},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":[["cell"]],"check":"prefix window","expected":[["cell"]],"passed":true},{"actual":null,"check":"empty explicit","expected":null,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"window\", \"actual\": [[\"cell\", \"f\"], [\"h\", \"i\"]], \"expected\": [[\"cell\", \"f\"], [\"h\", \"i\"]], \"passed\": true}, {\"check\": \"full\", \"actual\": [[\"cell\", \"x\"]], \"expected\": [[\"cell\", \"x\"]], \"passed\": true}, {\"check\": \"zero\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"reversed\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"row overflow\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"col overflow\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"ragged\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"prefix window\", \"actual\": [[\"cell\"]], \"expected\": [[\"cell\"]], \"passed\": true}, {\"check\": \"empty explicit\", \"actual\": null, \"expected\": null, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}