{"abstract":"Each dictionary batch replaces the unified value domain.","category":"Data systems","checks":7,"contract":"Unify dictionaries from ordered batches by first encountered dictionary value, including unused values. Rewrite valid local indices into the unified domain, retaining null lanes and batch boundaries; duplicate dictionary values share one code.","evaluation_group":"s3-data-systems-dictionary-unification","failed_approach":"Keeping only the first prior value still invalidates earlier codes.","family":"s3-data-systems-dictionary-unification-domain-reset","id":"FA-44371","implementations":{"attempt":{"sha256":"3056ec547768a199382289b10b1e14137aef3d78918ae2f3813310b1117b0735","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    try:\n        merged=[]; batches=[]\n        for dictionary,codes,valid in d:\n            merged=merged[:1]\n            for value in dictionary:\n                if value not in merged: merged.append(value)\n            mapping=[merged.index(v) if v in merged else -1 for v in dictionary]\n            rewritten=[mapping[c] if valid[i] else None for i,c in enumerate(codes)]\n            batches.append(rewritten)\n        return [merged,batches]\n    except (IndexError, KeyError, ValueError, StopIteration) as exc:\n        return {\"representation_error\": type(exc).__name__}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nif N == 1:\n    check('overlapping domains', solve([[[1, 2], [1, 0], [True, True]], [[3, 1], [1, 0], [True, True]]]), [[1, 2, 3], [[1, 0], [0, 2]]])\n    check('unused values', solve([[[1, 2, 3], [1], [True]]]), [[1, 2, 3], [[1]]])\n    check('nonadjacent duplicate', solve([[[1, 2, 1], [2, 0], [True, True]]]), [[1, 2], [[0, 0]]])\n    check('null lanes', solve([[[1, 2], [1, 0], [False, True]]]), [[1, 2], [[None, 0]]])\n    check('empty batch', solve([[[1], [], []], [[2], [0], [True]]]), [[1, 2], [[], [1]]])\n    check('no batches', solve([]), [[], []])\n    check('single domain', solve([[[1], [0, 0], [True, True]]]), [[1], [[0, 0]]])\nelif N == 2:\n    check('overlapping domains', solve([[[2, 3], [1, 0], [True, True]], [[4, 2], [1, 0], [True, True]]]), [[2, 3, 4], [[1, 0], [0, 2]]])\n    check('unused values', solve([[[2, 3, 4], [1], [True]]]), [[2, 3, 4], [[1]]])\n    check('nonadjacent duplicate', solve([[[2, 3, 2], [2, 0], [True, True]]]), [[2, 3], [[0, 0]]])\n    check('null lanes', solve([[[2, 3], [1, 0], [False, True]]]), [[2, 3], [[None, 0]]])\n    check('empty batch', solve([[[2], [], []], [[3], [0], [True]]]), [[2, 3], [[], [1]]])\n    check('no batches', solve([]), [[], []])\n    check('single domain', solve([[[2], [0, 0], [True, True]]]), [[2], [[0, 0]]])\nelif N == 3:\n    check('overlapping domains', solve([[[3, 4], [1, 0], [True, True]], [[5, 3], [1, 0], [True, True]]]), [[3, 4, 5], [[1, 0], [0, 2]]])\n    check('unused values', solve([[[3, 4, 5], [1], [True]]]), [[3, 4, 5], [[1]]])\n    check('nonadjacent duplicate', solve([[[3, 4, 3], [2, 0], [True, True]]]), [[3, 4], [[0, 0]]])\n    check('null lanes', solve([[[3, 4], [1, 0], [False, True]]]), [[3, 4], [[None, 0]]])\n    check('empty batch', solve([[[3], [], []], [[4], [0], [True]]]), [[3, 4], [[], [1]]])\n    check('no batches', solve([]), [[], []])\n    check('single domain', solve([[[3], [0, 0], [True, True]]]), [[3], [[0, 0]]])\nelif N == 4:\n    check('overlapping domains', solve([[[4, 5], [1, 0], [True, True]], [[6, 4], [1, 0], [True, True]]]), [[4, 5, 6], [[1, 0], [0, 2]]])\n    check('unused values', solve([[[4, 5, 6], [1], [True]]]), [[4, 5, 6], [[1]]])\n    check('nonadjacent duplicate', solve([[[4, 5, 4], [2, 0], [True, True]]]), [[4, 5], [[0, 0]]])\n    check('null lanes', solve([[[4, 5], [1, 0], [False, True]]]), [[4, 5], [[None, 0]]])\n    check('empty batch', solve([[[4], [], []], [[5], [0], [True]]]), [[4, 5], [[], [1]]])\n    check('no batches', solve([]), [[], []])\n    check('single domain', solve([[[4], [0, 0], [True, True]]]), [[4], [[0, 0]]])\nelif N == 5:\n    check('overlapping domains', solve([[[5, 6], [1, 0], [True, True]], [[7, 5], [1, 0], [True, True]]]), [[5, 6, 7], [[1, 0], [0, 2]]])\n    check('unused values', solve([[[5, 6, 7], [1], [True]]]), [[5, 6, 7], [[1]]])\n    check('nonadjacent duplicate', solve([[[5, 6, 5], [2, 0], [True, True]]]), [[5, 6], [[0, 0]]])\n    check('null lanes', solve([[[5, 6], [1, 0], [False, True]]]), [[5, 6], [[None, 0]]])\n    check('empty batch', solve([[[5], [], []], [[6], [0], [True]]]), [[5, 6], [[], [1]]])\n    check('no batches', solve([]), [[], []])\n    check('single domain', solve([[[5], [0, 0], [True, True]]]), [[5], [[0, 0]]])\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":"027c99681dd1272a40e8eade09dd8db62f96902c16565503918a8474174ea68a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    try:\n        merged=[]; batches=[]\n        for dictionary,codes,valid in d:\n            merged=[]\n            for value in dictionary:\n                if value not in merged: merged.append(value)\n            mapping=[merged.index(v) if v in merged else -1 for v in dictionary]\n            rewritten=[mapping[c] if valid[i] else None for i,c in enumerate(codes)]\n            batches.append(rewritten)\n        return [merged,batches]\n    except (IndexError, KeyError, ValueError, StopIteration) as exc:\n        return {\"representation_error\": type(exc).__name__}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nif N == 1:\n    check('overlapping domains', solve([[[1, 2], [1, 0], [True, True]], [[3, 1], [1, 0], [True, True]]]), [[1, 2, 3], [[1, 0], [0, 2]]])\n    check('unused values', solve([[[1, 2, 3], [1], [True]]]), [[1, 2, 3], [[1]]])\n    check('nonadjacent duplicate', solve([[[1, 2, 1], [2, 0], [True, True]]]), [[1, 2], [[0, 0]]])\n    check('null lanes', solve([[[1, 2], [1, 0], [False, True]]]), [[1, 2], [[None, 0]]])\n    check('empty batch', solve([[[1], [], []], [[2], [0], [True]]]), [[1, 2], [[], [1]]])\n    check('no batches', solve([]), [[], []])\n    check('single domain', solve([[[1], [0, 0], [True, True]]]), [[1], [[0, 0]]])\nelif N == 2:\n    check('overlapping domains', solve([[[2, 3], [1, 0], [True, True]], [[4, 2], [1, 0], [True, True]]]), [[2, 3, 4], [[1, 0], [0, 2]]])\n    check('unused values', solve([[[2, 3, 4], [1], [True]]]), [[2, 3, 4], [[1]]])\n    check('nonadjacent duplicate', solve([[[2, 3, 2], [2, 0], [True, True]]]), [[2, 3], [[0, 0]]])\n    check('null lanes', solve([[[2, 3], [1, 0], [False, True]]]), [[2, 3], [[None, 0]]])\n    check('empty batch', solve([[[2], [], []], [[3], [0], [True]]]), [[2, 3], [[], [1]]])\n    check('no batches', solve([]), [[], []])\n    check('single domain', solve([[[2], [0, 0], [True, True]]]), [[2], [[0, 0]]])\nelif N == 3:\n    check('overlapping domains', solve([[[3, 4], [1, 0], [True, True]], [[5, 3], [1, 0], [True, True]]]), [[3, 4, 5], [[1, 0], [0, 2]]])\n    check('unused values', solve([[[3, 4, 5], [1], [True]]]), [[3, 4, 5], [[1]]])\n    check('nonadjacent duplicate', solve([[[3, 4, 3], [2, 0], [True, True]]]), [[3, 4], [[0, 0]]])\n    check('null lanes', solve([[[3, 4], [1, 0], [False, True]]]), [[3, 4], [[None, 0]]])\n    check('empty batch', solve([[[3], [], []], [[4], [0], [True]]]), [[3, 4], [[], [1]]])\n    check('no batches', solve([]), [[], []])\n    check('single domain', solve([[[3], [0, 0], [True, True]]]), [[3], [[0, 0]]])\nelif N == 4:\n    check('overlapping domains', solve([[[4, 5], [1, 0], [True, True]], [[6, 4], [1, 0], [True, True]]]), [[4, 5, 6], [[1, 0], [0, 2]]])\n    check('unused values', solve([[[4, 5, 6], [1], [True]]]), [[4, 5, 6], [[1]]])\n    check('nonadjacent duplicate', solve([[[4, 5, 4], [2, 0], [True, True]]]), [[4, 5], [[0, 0]]])\n    check('null lanes', solve([[[4, 5], [1, 0], [False, True]]]), [[4, 5], [[None, 0]]])\n    check('empty batch', solve([[[4], [], []], [[5], [0], [True]]]), [[4, 5], [[], [1]]])\n    check('no batches', solve([]), [[], []])\n    check('single domain', solve([[[4], [0, 0], [True, True]]]), [[4], [[0, 0]]])\nelif N == 5:\n    check('overlapping domains', solve([[[5, 6], [1, 0], [True, True]], [[7, 5], [1, 0], [True, True]]]), [[5, 6, 7], [[1, 0], [0, 2]]])\n    check('unused values', solve([[[5, 6, 7], [1], [True]]]), [[5, 6, 7], [[1]]])\n    check('nonadjacent duplicate', solve([[[5, 6, 5], [2, 0], [True, True]]]), [[5, 6], [[0, 0]]])\n    check('null lanes', solve([[[5, 6], [1, 0], [False, True]]]), [[5, 6], [[None, 0]]])\n    check('empty batch', solve([[[5], [], []], [[6], [0], [True]]]), [[5, 6], [[], [1]]])\n    check('no batches', solve([]), [[], []])\n    check('single domain', solve([[[5], [0, 0], [True, True]]]), [[5], [[0, 0]]])\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":"db89ed7ada88936fdab0bfcb70d17e922a0ca4bdfb2ad343521ec7e595c642bf","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    try:\n        merged=[]; batches=[]\n        for dictionary,codes,valid in d:\n            for value in dictionary:\n                if value not in merged: merged.append(value)\n            mapping=[merged.index(v) if v in merged else -1 for v in dictionary]\n            rewritten=[mapping[c] if valid[i] else None for i,c in enumerate(codes)]\n            batches.append(rewritten)\n        return [merged,batches]\n    except (IndexError, KeyError, ValueError, StopIteration) as exc:\n        return {\"representation_error\": type(exc).__name__}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nif N == 1:\n    check('overlapping domains', solve([[[1, 2], [1, 0], [True, True]], [[3, 1], [1, 0], [True, True]]]), [[1, 2, 3], [[1, 0], [0, 2]]])\n    check('unused values', solve([[[1, 2, 3], [1], [True]]]), [[1, 2, 3], [[1]]])\n    check('nonadjacent duplicate', solve([[[1, 2, 1], [2, 0], [True, True]]]), [[1, 2], [[0, 0]]])\n    check('null lanes', solve([[[1, 2], [1, 0], [False, True]]]), [[1, 2], [[None, 0]]])\n    check('empty batch', solve([[[1], [], []], [[2], [0], [True]]]), [[1, 2], [[], [1]]])\n    check('no batches', solve([]), [[], []])\n    check('single domain', solve([[[1], [0, 0], [True, True]]]), [[1], [[0, 0]]])\nelif N == 2:\n    check('overlapping domains', solve([[[2, 3], [1, 0], [True, True]], [[4, 2], [1, 0], [True, True]]]), [[2, 3, 4], [[1, 0], [0, 2]]])\n    check('unused values', solve([[[2, 3, 4], [1], [True]]]), [[2, 3, 4], [[1]]])\n    check('nonadjacent duplicate', solve([[[2, 3, 2], [2, 0], [True, True]]]), [[2, 3], [[0, 0]]])\n    check('null lanes', solve([[[2, 3], [1, 0], [False, True]]]), [[2, 3], [[None, 0]]])\n    check('empty batch', solve([[[2], [], []], [[3], [0], [True]]]), [[2, 3], [[], [1]]])\n    check('no batches', solve([]), [[], []])\n    check('single domain', solve([[[2], [0, 0], [True, True]]]), [[2], [[0, 0]]])\nelif N == 3:\n    check('overlapping domains', solve([[[3, 4], [1, 0], [True, True]], [[5, 3], [1, 0], [True, True]]]), [[3, 4, 5], [[1, 0], [0, 2]]])\n    check('unused values', solve([[[3, 4, 5], [1], [True]]]), [[3, 4, 5], [[1]]])\n    check('nonadjacent duplicate', solve([[[3, 4, 3], [2, 0], [True, True]]]), [[3, 4], [[0, 0]]])\n    check('null lanes', solve([[[3, 4], [1, 0], [False, True]]]), [[3, 4], [[None, 0]]])\n    check('empty batch', solve([[[3], [], []], [[4], [0], [True]]]), [[3, 4], [[], [1]]])\n    check('no batches', solve([]), [[], []])\n    check('single domain', solve([[[3], [0, 0], [True, True]]]), [[3], [[0, 0]]])\nelif N == 4:\n    check('overlapping domains', solve([[[4, 5], [1, 0], [True, True]], [[6, 4], [1, 0], [True, True]]]), [[4, 5, 6], [[1, 0], [0, 2]]])\n    check('unused values', solve([[[4, 5, 6], [1], [True]]]), [[4, 5, 6], [[1]]])\n    check('nonadjacent duplicate', solve([[[4, 5, 4], [2, 0], [True, True]]]), [[4, 5], [[0, 0]]])\n    check('null lanes', solve([[[4, 5], [1, 0], [False, True]]]), [[4, 5], [[None, 0]]])\n    check('empty batch', solve([[[4], [], []], [[5], [0], [True]]]), [[4, 5], [[], [1]]])\n    check('no batches', solve([]), [[], []])\n    check('single domain', solve([[[4], [0, 0], [True, True]]]), [[4], [[0, 0]]])\nelif N == 5:\n    check('overlapping domains', solve([[[5, 6], [1, 0], [True, True]], [[7, 5], [1, 0], [True, True]]]), [[5, 6, 7], [[1, 0], [0, 2]]])\n    check('unused values', solve([[[5, 6, 7], [1], [True]]]), [[5, 6, 7], [[1]]])\n    check('nonadjacent duplicate', solve([[[5, 6, 5], [2, 0], [True, True]]]), [[5, 6], [[0, 0]]])\n    check('null lanes', solve([[[5, 6], [1, 0], [False, True]]]), [[5, 6], [[None, 0]]])\n    check('empty batch', solve([[[5], [], []], [[6], [0], [True]]]), [[5, 6], [[], [1]]])\n    check('no batches', solve([]), [[], []])\n    check('single domain', solve([[[5], [0, 0], [True, True]]]), [[5], [[0, 0]]])\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":"Offline stipulated semantics over valid small inputs; no performance, concurrency, or production-engine conformance claim. 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-data-systems-dictionary-unification-domain-reset","generated_at":"2026-09-29T14:44:11.618620+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A bounded deterministic data engine model makes representation and changelog faults reproducible.","repair":"Preserve the stated physical representation and operation order: Unify dictionaries from ordered batches by first encountered dictionary value, including unused values. Rewrite valid local indices into the unified domain, retaining null lanes and batch boundaries; duplicate dictionary values share one code.","root_cause":"dictionary-unification: Each dictionary batch replaces the unified value domain.","sha256":"783bf6718681e222afba35e7926eef37e87ba3401b0332ed65d355a08d3c10f6","title":"Each dictionary batch replaces the unified value domain · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.992,"exit_code":1,"observations":[{"actual":[[1,3],[[1,0],[0,1]]],"check":"overlapping domains","expected":[[1,2,3],[[1,0],[0,2]]],"passed":false},{"actual":[[1,2,3],[[1]]],"check":"unused values","expected":[[1,2,3],[[1]]],"passed":true},{"actual":[[1,2],[[0,0]]],"check":"nonadjacent duplicate","expected":[[1,2],[[0,0]]],"passed":true},{"actual":[[1,2],[[null,0]]],"check":"null lanes","expected":[[1,2],[[null,0]]],"passed":true},{"actual":[[1,2],[[],[1]]],"check":"empty batch","expected":[[1,2],[[],[1]]],"passed":true},{"actual":[[],[]],"check":"no batches","expected":[[],[]],"passed":true},{"actual":[[1],[[0,0]]],"check":"single domain","expected":[[1],[[0,0]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"overlapping domains\", \"actual\": [[1, 3], [[1, 0], [0, 1]]], \"expected\": [[1, 2, 3], [[1, 0], [0, 2]]], \"passed\": false}, {\"check\": \"unused values\", \"actual\": [[1, 2, 3], [[1]]], \"expected\": [[1, 2, 3], [[1]]], \"passed\": true}, {\"check\": \"nonadjacent duplicate\", \"actual\": [[1, 2], [[0, 0]]], \"expected\": [[1, 2], [[0, 0]]], \"passed\": true}, {\"check\": \"null lanes\", \"actual\": [[1, 2], [[null, 0]]], \"expected\": [[1, 2], [[null, 0]]], \"passed\": true}, {\"check\": \"empty batch\", \"actual\": [[1, 2], [[], [1]]], \"expected\": [[1, 2], [[], [1]]], \"passed\": true}, {\"check\": \"no batches\", \"actual\": [[], []], \"expected\": [[], []], \"passed\": true}, {\"check\": \"single domain\", \"actual\": [[1], [[0, 0]]], \"expected\": [[1], [[0, 0]]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.408,"exit_code":1,"observations":[{"actual":[[3,1],[[1,0],[1,0]]],"check":"overlapping domains","expected":[[1,2,3],[[1,0],[0,2]]],"passed":false},{"actual":[[1,2,3],[[1]]],"check":"unused values","expected":[[1,2,3],[[1]]],"passed":true},{"actual":[[1,2],[[0,0]]],"check":"nonadjacent duplicate","expected":[[1,2],[[0,0]]],"passed":true},{"actual":[[1,2],[[null,0]]],"check":"null lanes","expected":[[1,2],[[null,0]]],"passed":true},{"actual":[[2],[[],[0]]],"check":"empty batch","expected":[[1,2],[[],[1]]],"passed":false},{"actual":[[],[]],"check":"no batches","expected":[[],[]],"passed":true},{"actual":[[1],[[0,0]]],"check":"single domain","expected":[[1],[[0,0]]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"overlapping domains\", \"actual\": [[3, 1], [[1, 0], [1, 0]]], \"expected\": [[1, 2, 3], [[1, 0], [0, 2]]], \"passed\": false}, {\"check\": \"unused values\", \"actual\": [[1, 2, 3], [[1]]], \"expected\": [[1, 2, 3], [[1]]], \"passed\": true}, {\"check\": \"nonadjacent duplicate\", \"actual\": [[1, 2], [[0, 0]]], \"expected\": [[1, 2], [[0, 0]]], \"passed\": true}, {\"check\": \"null lanes\", \"actual\": [[1, 2], [[null, 0]]], \"expected\": [[1, 2], [[null, 0]]], \"passed\": true}, {\"check\": \"empty batch\", \"actual\": [[2], [[], [0]]], \"expected\": [[1, 2], [[], [1]]], \"passed\": false}, {\"check\": \"no batches\", \"actual\": [[], []], \"expected\": [[], []], \"passed\": true}, {\"check\": \"single domain\", \"actual\": [[1], [[0, 0]]], \"expected\": [[1], [[0, 0]]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.039,"exit_code":0,"observations":[{"actual":[[1,2,3],[[1,0],[0,2]]],"check":"overlapping domains","expected":[[1,2,3],[[1,0],[0,2]]],"passed":true},{"actual":[[1,2,3],[[1]]],"check":"unused values","expected":[[1,2,3],[[1]]],"passed":true},{"actual":[[1,2],[[0,0]]],"check":"nonadjacent duplicate","expected":[[1,2],[[0,0]]],"passed":true},{"actual":[[1,2],[[null,0]]],"check":"null lanes","expected":[[1,2],[[null,0]]],"passed":true},{"actual":[[1,2],[[],[1]]],"check":"empty batch","expected":[[1,2],[[],[1]]],"passed":true},{"actual":[[],[]],"check":"no batches","expected":[[],[]],"passed":true},{"actual":[[1],[[0,0]]],"check":"single domain","expected":[[1],[[0,0]]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"overlapping domains\", \"actual\": [[1, 2, 3], [[1, 0], [0, 2]]], \"expected\": [[1, 2, 3], [[1, 0], [0, 2]]], \"passed\": true}, {\"check\": \"unused values\", \"actual\": [[1, 2, 3], [[1]]], \"expected\": [[1, 2, 3], [[1]]], \"passed\": true}, {\"check\": \"nonadjacent duplicate\", \"actual\": [[1, 2], [[0, 0]]], \"expected\": [[1, 2], [[0, 0]]], \"passed\": true}, {\"check\": \"null lanes\", \"actual\": [[1, 2], [[null, 0]]], \"expected\": [[1, 2], [[null, 0]]], \"passed\": true}, {\"check\": \"empty batch\", \"actual\": [[1, 2], [[], [1]]], \"expected\": [[1, 2], [[], [1]]], \"passed\": true}, {\"check\": \"no batches\", \"actual\": [[], []], \"expected\": [[], []], \"passed\": true}, {\"check\": \"single domain\", \"actual\": [[1], [[0, 0]]], \"expected\": [[1], [[0, 0]]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}