{"abstract":"Deprecated keys remain in the migrated configuration.","category":"Configuration","checks":7,"contract":"Copy canonical values; map alias values only when canonical is absent, remove alias keys, preserve unrelated options, and report conflicts where alias and canonical differ.","contract_signature":"config, aliases","evaluation_group":"xt-option-alias","failed_approach":"The attempted repair substitutes result.pop(canonical, None). Fixture 2 still yields ({'old': 1}, []) instead of ({'new': 1}, []).","family":"xt-option-alias-alias-cleanup","id":"FA-9746","implementations":{"attempt":{"sha256":"b66687a0a7edbe961a95e9e72a061ad0622749dd6e09e3b849a5fc4f0f503990","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(config, aliases):\n    result = dict(config)\n    conflicts = []\n    for alias, canonical in aliases.items():\n        if alias not in config: continue\n        if canonical in config and config[canonical] != config[alias]: conflicts.append(canonical)\n        if canonical not in config: result[canonical] = config[alias]\n        result.pop(canonical, None)\n    return (result, sorted(set(conflicts)))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({}, {}), ({}, []))\ncheck('fixture 2', solve({'old': 1}, {'old': 'new'}), ({'new': 1}, []))\ncheck('fixture 3', solve({'old': 1, 'new': 2}, {'old': 'new'}), ({'new': 2}, ['new']))\ncheck('fixture 4', solve({'old': 1, 'new': 1}, {'old': 'new'}), ({'new': 1}, []))\ncheck('fixture 5', solve({'x': 3}, {'old': 'new'}), ({'x': 3}, []))\ncheck('fixture 6', solve({'old': False}, {'old': 'new'}), ({'new': False}, []))\ncheck('fixture 7', solve({'a': 1, 'b': 2, 'new': 3}, {'a': 'new', 'b': 'new'}), ({'new': 3}, ['new']))\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":"c49a142348192a88053844f427067177e711c369cc5135441b304cbe46c02099","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(config, aliases):\n    result = dict(config)\n    conflicts = []\n    for alias, canonical in aliases.items():\n        if alias not in config: continue\n        if canonical in config and config[canonical] != config[alias]: conflicts.append(canonical)\n        if canonical not in config: result[canonical] = config[alias]\n        pass\n    return (result, sorted(set(conflicts)))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({}, {}), ({}, []))\ncheck('fixture 2', solve({'old': 1}, {'old': 'new'}), ({'new': 1}, []))\ncheck('fixture 3', solve({'old': 1, 'new': 2}, {'old': 'new'}), ({'new': 2}, ['new']))\ncheck('fixture 4', solve({'old': 1, 'new': 1}, {'old': 'new'}), ({'new': 1}, []))\ncheck('fixture 5', solve({'x': 3}, {'old': 'new'}), ({'x': 3}, []))\ncheck('fixture 6', solve({'old': False}, {'old': 'new'}), ({'new': False}, []))\ncheck('fixture 7', solve({'a': 1, 'b': 2, 'new': 3}, {'a': 'new', 'b': 'new'}), ({'new': 3}, ['new']))\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":" 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":"xt-option-alias-alias-cleanup","generated_at":"2026-09-29T14:38:32.781237+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"An offline model of deprecated option alias migration, suitable for testing build and release tooling without external services.","root_cause":"The implementation substitutes pass for result.pop(alias, None), so deprecated keys remain in the migrated configuration.","sha256":"9b9edee382503ed89c36daf2dbf642f151c28e578d69106bd46b9cc094d495ec","title":"Deprecated option alias migration: Deprecated keys remain in the migrated configuration · 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":43.132,"exit_code":1,"observations":[{"actual":[{},[]],"check":"fixture 1","expected":[{},[]],"passed":true},{"actual":[{"old":1},[]],"check":"fixture 2","expected":[{"new":1},[]],"passed":false},{"actual":[{"old":1},["new"]],"check":"fixture 3","expected":[{"new":2},["new"]],"passed":false},{"actual":[{"old":1},[]],"check":"fixture 4","expected":[{"new":1},[]],"passed":false},{"actual":[{"x":3},[]],"check":"fixture 5","expected":[{"x":3},[]],"passed":true},{"actual":[{"old":false},[]],"check":"fixture 6","expected":[{"new":false},[]],"passed":false},{"actual":[{"a":1,"b":2},["new"]],"check":"fixture 7","expected":[{"new":3},["new"]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [{}, []], \"expected\": [{}, []], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [{\"old\": 1}, []], \"expected\": [{\"new\": 1}, []], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [{\"old\": 1}, [\"new\"]], \"expected\": [{\"new\": 2}, [\"new\"]], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [{\"old\": 1}, []], \"expected\": [{\"new\": 1}, []], \"passed\": false}, {\"check\": \"fixture 5\", \"actual\": [{\"x\": 3}, []], \"expected\": [{\"x\": 3}, []], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [{\"old\": false}, []], \"expected\": [{\"new\": false}, []], \"passed\": false}, {\"check\": \"fixture 7\", \"actual\": [{\"a\": 1, \"b\": 2}, [\"new\"]], \"expected\": [{\"new\": 3}, [\"new\"]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.517,"exit_code":1,"observations":[{"actual":[{},[]],"check":"fixture 1","expected":[{},[]],"passed":true},{"actual":[{"new":1,"old":1},[]],"check":"fixture 2","expected":[{"new":1},[]],"passed":false},{"actual":[{"new":2,"old":1},["new"]],"check":"fixture 3","expected":[{"new":2},["new"]],"passed":false},{"actual":[{"new":1,"old":1},[]],"check":"fixture 4","expected":[{"new":1},[]],"passed":false},{"actual":[{"x":3},[]],"check":"fixture 5","expected":[{"x":3},[]],"passed":true},{"actual":[{"new":false,"old":false},[]],"check":"fixture 6","expected":[{"new":false},[]],"passed":false},{"actual":[{"a":1,"b":2,"new":3},["new"]],"check":"fixture 7","expected":[{"new":3},["new"]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [{}, []], \"expected\": [{}, []], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [{\"old\": 1, \"new\": 1}, []], \"expected\": [{\"new\": 1}, []], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [{\"old\": 1, \"new\": 2}, [\"new\"]], \"expected\": [{\"new\": 2}, [\"new\"]], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [{\"old\": 1, \"new\": 1}, []], \"expected\": [{\"new\": 1}, []], \"passed\": false}, {\"check\": \"fixture 5\", \"actual\": [{\"x\": 3}, []], \"expected\": [{\"x\": 3}, []], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [{\"old\": false, \"new\": false}, []], \"expected\": [{\"new\": false}, []], \"passed\": false}, {\"check\": \"fixture 7\", \"actual\": [{\"a\": 1, \"b\": 2, \"new\": 3}, [\"new\"]], \"expected\": [{\"new\": 3}, [\"new\"]], \"passed\": false}], \"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."}}