{"abstract":"A structured table violates the declared record or column contract.","category":"Delimited text","checks":8,"contract":"Read tagged pipe rows. S|version|headers installs a schema; D|version|values binds a data row to the matching installed version. Revisions are immutable, may be referenced out of installation order, and headers must be unique. Reject unknown version, duplicate revision, or incorrect row width. Return version plus named rows.","contract_signature":"data","evaluation_group":"s3-delimited-text-schema-revision","failed_approach":"Ignoring the second declaration silently accepts ambiguous revision history.","family":"s3-delimited-text-schema-revision-revision-immutability","id":"FA-48006","implementations":{"attempt":{"sha256":"96ccf2e6ce2a30c7c6b3959f9354798906fab1ecb66191b03c2b56f5cd1d454a","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    schemas, rows = {}, []\n    for line in data:\n        cells = line.split('|')\n        if len(cells) < 3: return None\n        tag, version, values = cells[0], cells[1], cells[2:]\n        if tag == 'S':\n            if version in schemas: continue\n            if len(set(values)) != len(values): return None\n            schemas[version] = values\n        elif tag == 'D':\n            if version not in schemas: return None\n            header = schemas[version]\n            if len(values) != len(header): return None\n            rows.append([version, dict(zip(header,values))])\n        else: return None\n    return rows\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('versions', solve(_vary(['S|unused|x', 'S|1|a|b', 'D|1|@|z', 'S|2|b|a', 'D|2|y|x', 'D|1|m|n'])), _vary([['1', {'a': '@', 'b': 'z'}], ['2', {'b': 'y', 'a': 'x'}], ['1', {'a': 'm', 'b': 'n'}]]))\ncheck('unknown', solve(_vary(['D|1|@'])), _vary(None))\ncheck('immutable', solve(_vary(['S|1|a', 'S|1|b'])), _vary(None))\ncheck('duplicate header', solve(_vary(['S|1|a|a'])), _vary(None))\ncheck('wrong width', solve(_vary(['S|1|a|b', 'D|1|@'])), _vary(None))\ncheck('normal', solve(_vary(['S|@|a', 'D|@|z'])), _vary([['@', {'a': 'z'}]]))\ncheck('bad tag', solve(_vary(['X|1|a'])), _vary(None))\ncheck('empty', solve(_vary([])), _vary([]))\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":"9c75902957f253617b5a8fa60964e91e7dd414fb14ab8fdd59f3070a0da4b77c","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    schemas, rows = {}, []\n    for line in data:\n        cells = line.split('|')\n        if len(cells) < 3: return None\n        tag, version, values = cells[0], cells[1], cells[2:]\n        if tag == 'S':\n            if len(set(values)) != len(values): return None\n            schemas[version] = values\n        elif tag == 'D':\n            if version not in schemas: return None\n            header = schemas[version]\n            if len(values) != len(header): return None\n            rows.append([version, dict(zip(header,values))])\n        else: return None\n    return rows\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('versions', solve(_vary(['S|unused|x', 'S|1|a|b', 'D|1|@|z', 'S|2|b|a', 'D|2|y|x', 'D|1|m|n'])), _vary([['1', {'a': '@', 'b': 'z'}], ['2', {'b': 'y', 'a': 'x'}], ['1', {'a': 'm', 'b': 'n'}]]))\ncheck('unknown', solve(_vary(['D|1|@'])), _vary(None))\ncheck('immutable', solve(_vary(['S|1|a', 'S|1|b'])), _vary(None))\ncheck('duplicate header', solve(_vary(['S|1|a|a'])), _vary(None))\ncheck('wrong width', solve(_vary(['S|1|a|b', 'D|1|@'])), _vary(None))\ncheck('normal', solve(_vary(['S|@|a', 'D|@|z'])), _vary([['@', {'a': 'z'}]]))\ncheck('bad tag', solve(_vary(['X|1|a'])), _vary(None))\ncheck('empty', solve(_vary([])), _vary([]))\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-schema-revision-revision-immutability","generated_at":"2026-09-29T14:44:46.883613+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.","root_cause":"The importer permits a revision identifier to acquire a new schema.","sha256":"ff93e1bf10eb51e89b1647c132fdf04d3a69707a9b8afddf8a63ca4c2d67bf4c","title":"A repeated schema version overwrites its established mapping · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":39.399,"exit_code":1,"observations":[{"actual":[["1",{"a":"cell","b":"z"}],["2",{"a":"x","b":"y"}],["1",{"a":"m","b":"n"}]],"check":"versions","expected":[["1",{"a":"cell","b":"z"}],["2",{"a":"x","b":"y"}],["1",{"a":"m","b":"n"}]],"passed":true},{"actual":null,"check":"unknown","expected":null,"passed":true},{"actual":[],"check":"immutable","expected":null,"passed":false},{"actual":null,"check":"duplicate header","expected":null,"passed":true},{"actual":null,"check":"wrong width","expected":null,"passed":true},{"actual":[["cell",{"a":"z"}]],"check":"normal","expected":[["cell",{"a":"z"}]],"passed":true},{"actual":null,"check":"bad tag","expected":null,"passed":true},{"actual":[],"check":"empty","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"versions\", \"actual\": [[\"1\", {\"a\": \"cell\", \"b\": \"z\"}], [\"2\", {\"b\": \"y\", \"a\": \"x\"}], [\"1\", {\"a\": \"m\", \"b\": \"n\"}]], \"expected\": [[\"1\", {\"a\": \"cell\", \"b\": \"z\"}], [\"2\", {\"b\": \"y\", \"a\": \"x\"}], [\"1\", {\"a\": \"m\", \"b\": \"n\"}]], \"passed\": true}, {\"check\": \"unknown\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"immutable\", \"actual\": [], \"expected\": null, \"passed\": false}, {\"check\": \"duplicate header\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"wrong width\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal\", \"actual\": [[\"cell\", {\"a\": \"z\"}]], \"expected\": [[\"cell\", {\"a\": \"z\"}]], \"passed\": true}, {\"check\": \"bad tag\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.819,"exit_code":1,"observations":[{"actual":[["1",{"a":"cell","b":"z"}],["2",{"a":"x","b":"y"}],["1",{"a":"m","b":"n"}]],"check":"versions","expected":[["1",{"a":"cell","b":"z"}],["2",{"a":"x","b":"y"}],["1",{"a":"m","b":"n"}]],"passed":true},{"actual":null,"check":"unknown","expected":null,"passed":true},{"actual":[],"check":"immutable","expected":null,"passed":false},{"actual":null,"check":"duplicate header","expected":null,"passed":true},{"actual":null,"check":"wrong width","expected":null,"passed":true},{"actual":[["cell",{"a":"z"}]],"check":"normal","expected":[["cell",{"a":"z"}]],"passed":true},{"actual":null,"check":"bad tag","expected":null,"passed":true},{"actual":[],"check":"empty","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"versions\", \"actual\": [[\"1\", {\"a\": \"cell\", \"b\": \"z\"}], [\"2\", {\"b\": \"y\", \"a\": \"x\"}], [\"1\", {\"a\": \"m\", \"b\": \"n\"}]], \"expected\": [[\"1\", {\"a\": \"cell\", \"b\": \"z\"}], [\"2\", {\"b\": \"y\", \"a\": \"x\"}], [\"1\", {\"a\": \"m\", \"b\": \"n\"}]], \"passed\": true}, {\"check\": \"unknown\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"immutable\", \"actual\": [], \"expected\": null, \"passed\": false}, {\"check\": \"duplicate header\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"wrong width\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal\", \"actual\": [[\"cell\", {\"a\": \"z\"}]], \"expected\": [[\"cell\", {\"a\": \"z\"}]], \"passed\": true}, {\"check\": \"bad tag\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}