{"abstract":"The operation returns a result or retained state that violates this contract: Return map values in key insertion order, retaining duplicate values.","category":"Mapping semantics","checks":4,"contract":"Return map values in key insertion order, retaining duplicate values. Inputs are the finite Python values shown by the executable fixtures; no concurrent execution is assumed.","contract_signature":"x, y=None","evaluation_group":"model-df8321250ac34a0f","failed_approach":"Sorting keys replaces the required insertion order.","family":"xr-map-values-retain-duplicates","id":"FA-4426","implementations":{"attempt":{"sha256":"2b1c31db25a31fb5dcf95cf2739243d1e14a43ad804cec83dcadfb5d1f92c478","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x, y=None):\n    return [x[k] for k in sorted(x)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('duplicate values', solve({'a': 'v', 'b': 'v'}), ['v', 'v'])\ncheck('nonlexical keys', solve({'b': 'v', 'a': 'w'}), ['v', 'w'])\ncheck('empty', solve({}), [])\ncheck('None value', solve({'a': None}), [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":"29d39d91723b57435644fbab7744ea2698540d288f083ad3f4e94c7c5104892f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x, y=None):\n    return list(dict.fromkeys(x.values()))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('duplicate values', solve({'a': 'v', 'b': 'v'}), ['v', 'v'])\ncheck('nonlexical keys', solve({'b': 'v', 'a': 'w'}), ['v', 'w'])\ncheck('empty', solve({}), [])\ncheck('None value', solve({'a': None}), [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":" 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":"xr-map-values-retain-duplicates","generated_at":"2026-09-29T14:37:39.042384+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A controlled local-runtime regression for collection APIs, language semantics, or ownership wrappers. Fixtures include boundary and interaction cases.","root_cause":"Distinct-value conversion erases independent equal-valued bindings.","sha256":"508a313233ffc933bef0e19e99786c920bac75e08de9f3d9e42bcbd8fb04a8d4","title":"Map values retain duplicates · case 01","variant":1,"variant_policy":"Five execution reruns of a fixed adversarial fixture suite; variant number does not alter semantic inputs.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":37.891,"exit_code":1,"observations":[{"actual":["v","v"],"check":"duplicate values","expected":["v","v"],"passed":true},{"actual":["w","v"],"check":"nonlexical keys","expected":["v","w"],"passed":false},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":[null],"check":"None value","expected":[null],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"duplicate values\", \"actual\": [\"v\", \"v\"], \"expected\": [\"v\", \"v\"], \"passed\": true}, {\"check\": \"nonlexical keys\", \"actual\": [\"w\", \"v\"], \"expected\": [\"v\", \"w\"], \"passed\": false}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"None value\", \"actual\": [null], \"expected\": [null], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":36.937,"exit_code":1,"observations":[{"actual":["v"],"check":"duplicate values","expected":["v","v"],"passed":false},{"actual":["v","w"],"check":"nonlexical keys","expected":["v","w"],"passed":true},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":[null],"check":"None value","expected":[null],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"duplicate values\", \"actual\": [\"v\"], \"expected\": [\"v\", \"v\"], \"passed\": false}, {\"check\": \"nonlexical keys\", \"actual\": [\"v\", \"w\"], \"expected\": [\"v\", \"w\"], \"passed\": true}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"None value\", \"actual\": [null], \"expected\": [null], \"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."}}