{"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":"Subtracting twice selects an earlier record.","family":"s3-delimited-text-fragment-projection-row-origin","id":"FA-47816","implementations":{"attempt":{"sha256":"94363e86313864ee0fdbf5442b4552f6cc3546a80b1e907035951f2b99eb68b9","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[max(0,rstart-2):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":"aeb87153606190ba44fb713a57cd1fc1fae74efc1f8704a686ba2bb054126076","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: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-row-origin","generated_at":"2026-09-29T14:44:45.064004+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: rows[rstart-1:rend]","root_cause":"The selector origin is not converted to a zero-based array offset.","sha256":"70bcd9cb0a41b438c27a39923374a83e9825d8df0f4cbda2ff2e6f0f483eb640","title":"A one-based row selector starts one physical record late · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.581,"exit_code":1,"observations":[{"actual":[["b","c"],["cell","f"],["h","i"]],"check":"window","expected":[["cell","f"],["h","i"]],"passed":false},{"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":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"window\", \"actual\": [[\"b\", \"c\"], [\"cell\", \"f\"], [\"h\", \"i\"]], \"expected\": [[\"cell\", \"f\"], [\"h\", \"i\"]], \"passed\": false}, {\"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\": false}\n"},"broken":{"elapsed_ms":39.92,"exit_code":1,"observations":[{"actual":[["h","i"]],"check":"window","expected":[["cell","f"],["h","i"]],"passed":false},{"actual":[],"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\": [[\"h\", \"i\"]], \"expected\": [[\"cell\", \"f\"], [\"h\", \"i\"]], \"passed\": false}, {\"check\": \"full\", \"actual\": [], \"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":41.856,"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"}