{"abstract":"The operation returns a result or retained state that violates this contract: Remove and return the earliest inserted item, or None if empty; return [item,remainder items].","category":"Mapping semantics","checks":4,"contract":"Remove and return the earliest inserted item, or None if empty; return [item,remainder items]. Inputs are the finite Python values shown by the executable fixtures; no concurrent execution is assumed.","evaluation_group":"model-a92ef20c0f8a21a1","failed_approach":"Lexical key ordering replaces insertion ordering.","family":"xr-map-first-key-removal-order","id":"FA-4406","implementations":{"attempt":{"sha256":"acf0354b7886af25fe098abf1fa4dc4d9e506c79c00eecdc05e0e75e0fd1fbdd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x, y=None):\n    a=dict(x); k=min(a) if a else None; v=[k,a.pop(k)] if a else None; return [v,list(map(list,a.items()))]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('insertion beats lexical', solve({'b': 2, 'a': 1}), [['b', 2], [['a', 1]]])\ncheck('empty', solve({}), [None, []])\ncheck('singleton', solve({'a': 1}), [['a', 1], []])\ncheck('three items', solve({'c': 3, 'a': 1, 'b': 2}), [['c', 3], [['a', 1], ['b', 2]]])\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":"a463566798636b71e730792c129ff83169946bd512a201e84fde3755f7db348a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x, y=None):\n    a=dict(x); v=list(a.popitem()) if a else None; return [v,list(map(list,a.items()))]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('insertion beats lexical', solve({'b': 2, 'a': 1}), [['b', 2], [['a', 1]]])\ncheck('empty', solve({}), [None, []])\ncheck('singleton', solve({'a': 1}), [['a', 1], []])\ncheck('three items', solve({'c': 3, 'a': 1, 'b': 2}), [['c', 3], [['a', 1], ['b', 2]]])\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":"d91c8bccd0b363ba41c3bd35825de91c035d83d1005d2d0836191944898600b5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x, y=None):\n    a=dict(x); v=[next(iter(a)),a[next(iter(a))]] if a else None\n    if a: del a[next(iter(a))]\n    return [v,list(map(list,a.items()))]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('insertion beats lexical', solve({'b': 2, 'a': 1}), [['b', 2], [['a', 1]]])\ncheck('empty', solve({}), [None, []])\ncheck('singleton', solve({'a': 1}), [['a', 1], []])\ncheck('three items', solve({'c': 3, 'a': 1, 'b': 2}), [['c', 3], [['a', 1], ['b', 2]]])\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-first-key-removal-order","generated_at":"2026-09-29T14:37:38.842126+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.","repair":"Remove and return the earliest inserted item, or None if empty; return [item,remainder items].","root_cause":"The standard last-item pop operation removes the opposite end.","sha256":"380d94665d035ce9bf0db10aaefdc13690e57e233c4dc1b8fe162978d78616a3","title":"Map first key removal order · case 01","variant":1,"variant_policy":"Five execution reruns of a fixed adversarial fixture suite; variant number does not alter semantic inputs.","verification":{"attempt":{"elapsed_ms":132.073,"exit_code":1,"observations":[{"actual":[["a",1],[["b",2]]],"check":"insertion beats lexical","expected":[["b",2],[["a",1]]],"passed":false},{"actual":[null,[]],"check":"empty","expected":[null,[]],"passed":true},{"actual":[["a",1],[]],"check":"singleton","expected":[["a",1],[]],"passed":true},{"actual":[["a",1],[["c",3],["b",2]]],"check":"three items","expected":[["c",3],[["a",1],["b",2]]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"insertion beats lexical\", \"actual\": [[\"a\", 1], [[\"b\", 2]]], \"expected\": [[\"b\", 2], [[\"a\", 1]]], \"passed\": false}, {\"check\": \"empty\", \"actual\": [null, []], \"expected\": [null, []], \"passed\": true}, {\"check\": \"singleton\", \"actual\": [[\"a\", 1], []], \"expected\": [[\"a\", 1], []], \"passed\": true}, {\"check\": \"three items\", \"actual\": [[\"a\", 1], [[\"c\", 3], [\"b\", 2]]], \"expected\": [[\"c\", 3], [[\"a\", 1], [\"b\", 2]]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.119,"exit_code":1,"observations":[{"actual":[["a",1],[["b",2]]],"check":"insertion beats lexical","expected":[["b",2],[["a",1]]],"passed":false},{"actual":[null,[]],"check":"empty","expected":[null,[]],"passed":true},{"actual":[["a",1],[]],"check":"singleton","expected":[["a",1],[]],"passed":true},{"actual":[["b",2],[["c",3],["a",1]]],"check":"three items","expected":[["c",3],[["a",1],["b",2]]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"insertion beats lexical\", \"actual\": [[\"a\", 1], [[\"b\", 2]]], \"expected\": [[\"b\", 2], [[\"a\", 1]]], \"passed\": false}, {\"check\": \"empty\", \"actual\": [null, []], \"expected\": [null, []], \"passed\": true}, {\"check\": \"singleton\", \"actual\": [[\"a\", 1], []], \"expected\": [[\"a\", 1], []], \"passed\": true}, {\"check\": \"three items\", \"actual\": [[\"b\", 2], [[\"c\", 3], [\"a\", 1]]], \"expected\": [[\"c\", 3], [[\"a\", 1], [\"b\", 2]]], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":36.34,"exit_code":0,"observations":[{"actual":[["b",2],[["a",1]]],"check":"insertion beats lexical","expected":[["b",2],[["a",1]]],"passed":true},{"actual":[null,[]],"check":"empty","expected":[null,[]],"passed":true},{"actual":[["a",1],[]],"check":"singleton","expected":[["a",1],[]],"passed":true},{"actual":[["c",3],[["a",1],["b",2]]],"check":"three items","expected":[["c",3],[["a",1],["b",2]]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"insertion beats lexical\", \"actual\": [[\"b\", 2], [[\"a\", 1]]], \"expected\": [[\"b\", 2], [[\"a\", 1]]], \"passed\": true}, {\"check\": \"empty\", \"actual\": [null, []], \"expected\": [null, []], \"passed\": true}, {\"check\": \"singleton\", \"actual\": [[\"a\", 1], []], \"expected\": [[\"a\", 1], []], \"passed\": true}, {\"check\": \"three items\", \"actual\": [[\"c\", 3], [[\"a\", 1], [\"b\", 2]]], \"expected\": [[\"c\", 3], [[\"a\", 1], [\"b\", 2]]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}