{"abstract":"Sorted deque insertion stores only the key and loses payload.","category":"Bounded deques","checks":6,"contract":"Insert a keyed entry into an ascending bounded deque after all existing equal keys. Full capacity rejects atomically. Return insertion position and number of suffix entries shifted.","evaluation_group":"s3-bounded-deques-sorted-stable-insert","failed_approach":"The partial repair still applies the incorrect transition to an admitted boundary or multi-element case.","family":"s3-bounded-deques-sorted-stable-insert-insertion-value","id":"FA-47316","implementations":{"attempt":{"sha256":"ed280c62229595db4b22b5b7470baa808452f27a7c317d9faa7c4adad1c729b5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    a,entry,cap=x\n    if len(a)==cap:return [a,False,None,0]\n    position=next((i for i,z in enumerate(a) if z[0]>entry[0]),len(a))\n    result=a[:position]+[entry if not a else [entry[0],None]]+a[position:]\n    shifted=len(a)-position\n    return [result,True,position,shifted]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('0', solve([[[1,N],[2,N+1],[2,N+2],[4,N+3]],[2,N+4],6]), {1: [[[1, 1], [2, 2], [2, 3], [2, 5], [4, 4]], True, 3, 1], 2: [[[1, 2], [2, 3], [2, 4], [2, 6], [4, 5]], True, 3, 1], 3: [[[1, 3], [2, 4], [2, 5], [2, 7], [4, 6]], True, 3, 1], 4: [[[1, 4], [2, 5], [2, 6], [2, 8], [4, 7]], True, 3, 1], 5: [[[1, 5], [2, 6], [2, 7], [2, 9], [4, 8]], True, 3, 1]}[N])\ncheck('1', solve([[[2,N],[3,N+1]],[1,N+2],3]), {1: [[[1, 3], [2, 1], [3, 2]], True, 0, 2], 2: [[[1, 4], [2, 2], [3, 3]], True, 0, 2], 3: [[[1, 5], [2, 3], [3, 4]], True, 0, 2], 4: [[[1, 6], [2, 4], [3, 5]], True, 0, 2], 5: [[[1, 7], [2, 5], [3, 6]], True, 0, 2]}[N])\ncheck('2', solve([[[1,N],[2,N+1]],[3,N+2],4]), {1: [[[1, 1], [2, 2], [3, 3]], True, 2, 0], 2: [[[1, 2], [2, 3], [3, 4]], True, 2, 0], 3: [[[1, 3], [2, 4], [3, 5]], True, 2, 0], 4: [[[1, 4], [2, 5], [3, 6]], True, 2, 0], 5: [[[1, 5], [2, 6], [3, 7]], True, 2, 0]}[N])\ncheck('3', solve([[],[1,N],1]), {1: [[[1, 1]], True, 0, 0], 2: [[[1, 2]], True, 0, 0], 3: [[[1, 3]], True, 0, 0], 4: [[[1, 4]], True, 0, 0], 5: [[[1, 5]], True, 0, 0]}[N])\ncheck('4', solve([[[1,N],[2,N+1]],[1,N+2],2]), {1: [[[1, 1], [2, 2]], False, None, 0], 2: [[[1, 2], [2, 3]], False, None, 0], 3: [[[1, 3], [2, 4]], False, None, 0], 4: [[[1, 4], [2, 5]], False, None, 0], 5: [[[1, 5], [2, 6]], False, None, 0]}[N])\ncheck('5', solve([[[1,N],[3,N+1],[5,N+2]],[4,N+3],4]), {1: [[[1, 1], [3, 2], [4, 4], [5, 3]], True, 2, 1], 2: [[[1, 2], [3, 3], [4, 5], [5, 4]], True, 2, 1], 3: [[[1, 3], [3, 4], [4, 6], [5, 5]], True, 2, 1], 4: [[[1, 4], [3, 5], [4, 7], [5, 6]], True, 2, 1], 5: [[[1, 5], [3, 6], [4, 8], [5, 7]], True, 2, 1]}[N])\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":"2e535469e4c72a7244db10ff8d768523ff12c4bc8149c586704fea17a4527907","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    a,entry,cap=x\n    if len(a)==cap:return [a,False,None,0]\n    position=next((i for i,z in enumerate(a) if z[0]>entry[0]),len(a))\n    result=a[:position]+[[entry[0],None]]+a[position:]\n    shifted=len(a)-position\n    return [result,True,position,shifted]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('0', solve([[[1,N],[2,N+1],[2,N+2],[4,N+3]],[2,N+4],6]), {1: [[[1, 1], [2, 2], [2, 3], [2, 5], [4, 4]], True, 3, 1], 2: [[[1, 2], [2, 3], [2, 4], [2, 6], [4, 5]], True, 3, 1], 3: [[[1, 3], [2, 4], [2, 5], [2, 7], [4, 6]], True, 3, 1], 4: [[[1, 4], [2, 5], [2, 6], [2, 8], [4, 7]], True, 3, 1], 5: [[[1, 5], [2, 6], [2, 7], [2, 9], [4, 8]], True, 3, 1]}[N])\ncheck('1', solve([[[2,N],[3,N+1]],[1,N+2],3]), {1: [[[1, 3], [2, 1], [3, 2]], True, 0, 2], 2: [[[1, 4], [2, 2], [3, 3]], True, 0, 2], 3: [[[1, 5], [2, 3], [3, 4]], True, 0, 2], 4: [[[1, 6], [2, 4], [3, 5]], True, 0, 2], 5: [[[1, 7], [2, 5], [3, 6]], True, 0, 2]}[N])\ncheck('2', solve([[[1,N],[2,N+1]],[3,N+2],4]), {1: [[[1, 1], [2, 2], [3, 3]], True, 2, 0], 2: [[[1, 2], [2, 3], [3, 4]], True, 2, 0], 3: [[[1, 3], [2, 4], [3, 5]], True, 2, 0], 4: [[[1, 4], [2, 5], [3, 6]], True, 2, 0], 5: [[[1, 5], [2, 6], [3, 7]], True, 2, 0]}[N])\ncheck('3', solve([[],[1,N],1]), {1: [[[1, 1]], True, 0, 0], 2: [[[1, 2]], True, 0, 0], 3: [[[1, 3]], True, 0, 0], 4: [[[1, 4]], True, 0, 0], 5: [[[1, 5]], True, 0, 0]}[N])\ncheck('4', solve([[[1,N],[2,N+1]],[1,N+2],2]), {1: [[[1, 1], [2, 2]], False, None, 0], 2: [[[1, 2], [2, 3]], False, None, 0], 3: [[[1, 3], [2, 4]], False, None, 0], 4: [[[1, 4], [2, 5]], False, None, 0], 5: [[[1, 5], [2, 6]], False, None, 0]}[N])\ncheck('5', solve([[[1,N],[3,N+1],[5,N+2]],[4,N+3],4]), {1: [[[1, 1], [3, 2], [4, 4], [5, 3]], True, 2, 1], 2: [[[1, 2], [3, 3], [4, 5], [5, 4]], True, 2, 1], 3: [[[1, 3], [3, 4], [4, 6], [5, 5]], True, 2, 1], 4: [[[1, 4], [3, 5], [4, 7], [5, 6]], True, 2, 1], 5: [[[1, 5], [3, 6], [4, 8], [5, 7]], True, 2, 1]}[N])\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":"55318437d1f6b54cfadcd8502e7911aef34a1bde5249a963c2d6be346732469c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    a,entry,cap=x\n    if len(a)==cap:return [a,False,None,0]\n    position=next((i for i,z in enumerate(a) if z[0]>entry[0]),len(a))\n    result=a[:position]+[entry]+a[position:]\n    shifted=len(a)-position\n    return [result,True,position,shifted]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('0', solve([[[1,N],[2,N+1],[2,N+2],[4,N+3]],[2,N+4],6]), {1: [[[1, 1], [2, 2], [2, 3], [2, 5], [4, 4]], True, 3, 1], 2: [[[1, 2], [2, 3], [2, 4], [2, 6], [4, 5]], True, 3, 1], 3: [[[1, 3], [2, 4], [2, 5], [2, 7], [4, 6]], True, 3, 1], 4: [[[1, 4], [2, 5], [2, 6], [2, 8], [4, 7]], True, 3, 1], 5: [[[1, 5], [2, 6], [2, 7], [2, 9], [4, 8]], True, 3, 1]}[N])\ncheck('1', solve([[[2,N],[3,N+1]],[1,N+2],3]), {1: [[[1, 3], [2, 1], [3, 2]], True, 0, 2], 2: [[[1, 4], [2, 2], [3, 3]], True, 0, 2], 3: [[[1, 5], [2, 3], [3, 4]], True, 0, 2], 4: [[[1, 6], [2, 4], [3, 5]], True, 0, 2], 5: [[[1, 7], [2, 5], [3, 6]], True, 0, 2]}[N])\ncheck('2', solve([[[1,N],[2,N+1]],[3,N+2],4]), {1: [[[1, 1], [2, 2], [3, 3]], True, 2, 0], 2: [[[1, 2], [2, 3], [3, 4]], True, 2, 0], 3: [[[1, 3], [2, 4], [3, 5]], True, 2, 0], 4: [[[1, 4], [2, 5], [3, 6]], True, 2, 0], 5: [[[1, 5], [2, 6], [3, 7]], True, 2, 0]}[N])\ncheck('3', solve([[],[1,N],1]), {1: [[[1, 1]], True, 0, 0], 2: [[[1, 2]], True, 0, 0], 3: [[[1, 3]], True, 0, 0], 4: [[[1, 4]], True, 0, 0], 5: [[[1, 5]], True, 0, 0]}[N])\ncheck('4', solve([[[1,N],[2,N+1]],[1,N+2],2]), {1: [[[1, 1], [2, 2]], False, None, 0], 2: [[[1, 2], [2, 3]], False, None, 0], 3: [[[1, 3], [2, 4]], False, None, 0], 4: [[[1, 4], [2, 5]], False, None, 0], 5: [[[1, 5], [2, 6]], False, None, 0]}[N])\ncheck('5', solve([[[1,N],[3,N+1],[5,N+2]],[4,N+3],4]), {1: [[[1, 1], [3, 2], [4, 4], [5, 3]], True, 2, 1], 2: [[[1, 2], [3, 3], [4, 5], [5, 4]], True, 2, 1], 3: [[[1, 3], [3, 4], [4, 6], [5, 5]], True, 2, 1], 4: [[[1, 4], [3, 5], [4, 7], [5, 6]], True, 2, 1], 5: [[[1, 5], [3, 6], [4, 8], [5, 7]], True, 2, 1]}[N])\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 finite deterministic model; no claim of production implementation or concurrent memory-model 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-bounded-deques-sorted-stable-insert-insertion-value","generated_at":"2026-09-29T14:44:40.404490+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Controlled bounded deque implementation model with explicit storage and lifecycle observations.","repair":"Restore the documented insertion value invariant in sorted-stable-insert.","root_cause":"Sorted deque insertion stores only the key and loses payload.","sha256":"2b6f927a76da468a803b7835a0a27fcdc95cbeafb8351ea52df5e640d5f92209","title":"Sorted deque insertion stores only the key and loses payload · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.178,"exit_code":1,"observations":[{"actual":[[[1,1],[2,2],[2,3],[2,null],[4,4]],true,3,1],"check":"0","expected":[[[1,1],[2,2],[2,3],[2,5],[4,4]],true,3,1],"passed":false},{"actual":[[[1,null],[2,1],[3,2]],true,0,2],"check":"1","expected":[[[1,3],[2,1],[3,2]],true,0,2],"passed":false},{"actual":[[[1,1],[2,2],[3,null]],true,2,0],"check":"2","expected":[[[1,1],[2,2],[3,3]],true,2,0],"passed":false},{"actual":[[[1,1]],true,0,0],"check":"3","expected":[[[1,1]],true,0,0],"passed":true},{"actual":[[[1,1],[2,2]],false,null,0],"check":"4","expected":[[[1,1],[2,2]],false,null,0],"passed":true},{"actual":[[[1,1],[3,2],[4,null],[5,3]],true,2,1],"check":"5","expected":[[[1,1],[3,2],[4,4],[5,3]],true,2,1],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"0\", \"actual\": [[[1, 1], [2, 2], [2, 3], [2, null], [4, 4]], true, 3, 1], \"expected\": [[[1, 1], [2, 2], [2, 3], [2, 5], [4, 4]], true, 3, 1], \"passed\": false}, {\"check\": \"1\", \"actual\": [[[1, null], [2, 1], [3, 2]], true, 0, 2], \"expected\": [[[1, 3], [2, 1], [3, 2]], true, 0, 2], \"passed\": false}, {\"check\": \"2\", \"actual\": [[[1, 1], [2, 2], [3, null]], true, 2, 0], \"expected\": [[[1, 1], [2, 2], [3, 3]], true, 2, 0], \"passed\": false}, {\"check\": \"3\", \"actual\": [[[1, 1]], true, 0, 0], \"expected\": [[[1, 1]], true, 0, 0], \"passed\": true}, {\"check\": \"4\", \"actual\": [[[1, 1], [2, 2]], false, null, 0], \"expected\": [[[1, 1], [2, 2]], false, null, 0], \"passed\": true}, {\"check\": \"5\", \"actual\": [[[1, 1], [3, 2], [4, null], [5, 3]], true, 2, 1], \"expected\": [[[1, 1], [3, 2], [4, 4], [5, 3]], true, 2, 1], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.302,"exit_code":1,"observations":[{"actual":[[[1,1],[2,2],[2,3],[2,null],[4,4]],true,3,1],"check":"0","expected":[[[1,1],[2,2],[2,3],[2,5],[4,4]],true,3,1],"passed":false},{"actual":[[[1,null],[2,1],[3,2]],true,0,2],"check":"1","expected":[[[1,3],[2,1],[3,2]],true,0,2],"passed":false},{"actual":[[[1,1],[2,2],[3,null]],true,2,0],"check":"2","expected":[[[1,1],[2,2],[3,3]],true,2,0],"passed":false},{"actual":[[[1,null]],true,0,0],"check":"3","expected":[[[1,1]],true,0,0],"passed":false},{"actual":[[[1,1],[2,2]],false,null,0],"check":"4","expected":[[[1,1],[2,2]],false,null,0],"passed":true},{"actual":[[[1,1],[3,2],[4,null],[5,3]],true,2,1],"check":"5","expected":[[[1,1],[3,2],[4,4],[5,3]],true,2,1],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"0\", \"actual\": [[[1, 1], [2, 2], [2, 3], [2, null], [4, 4]], true, 3, 1], \"expected\": [[[1, 1], [2, 2], [2, 3], [2, 5], [4, 4]], true, 3, 1], \"passed\": false}, {\"check\": \"1\", \"actual\": [[[1, null], [2, 1], [3, 2]], true, 0, 2], \"expected\": [[[1, 3], [2, 1], [3, 2]], true, 0, 2], \"passed\": false}, {\"check\": \"2\", \"actual\": [[[1, 1], [2, 2], [3, null]], true, 2, 0], \"expected\": [[[1, 1], [2, 2], [3, 3]], true, 2, 0], \"passed\": false}, {\"check\": \"3\", \"actual\": [[[1, null]], true, 0, 0], \"expected\": [[[1, 1]], true, 0, 0], \"passed\": false}, {\"check\": \"4\", \"actual\": [[[1, 1], [2, 2]], false, null, 0], \"expected\": [[[1, 1], [2, 2]], false, null, 0], \"passed\": true}, {\"check\": \"5\", \"actual\": [[[1, 1], [3, 2], [4, null], [5, 3]], true, 2, 1], \"expected\": [[[1, 1], [3, 2], [4, 4], [5, 3]], true, 2, 1], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.116,"exit_code":0,"observations":[{"actual":[[[1,1],[2,2],[2,3],[2,5],[4,4]],true,3,1],"check":"0","expected":[[[1,1],[2,2],[2,3],[2,5],[4,4]],true,3,1],"passed":true},{"actual":[[[1,3],[2,1],[3,2]],true,0,2],"check":"1","expected":[[[1,3],[2,1],[3,2]],true,0,2],"passed":true},{"actual":[[[1,1],[2,2],[3,3]],true,2,0],"check":"2","expected":[[[1,1],[2,2],[3,3]],true,2,0],"passed":true},{"actual":[[[1,1]],true,0,0],"check":"3","expected":[[[1,1]],true,0,0],"passed":true},{"actual":[[[1,1],[2,2]],false,null,0],"check":"4","expected":[[[1,1],[2,2]],false,null,0],"passed":true},{"actual":[[[1,1],[3,2],[4,4],[5,3]],true,2,1],"check":"5","expected":[[[1,1],[3,2],[4,4],[5,3]],true,2,1],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"0\", \"actual\": [[[1, 1], [2, 2], [2, 3], [2, 5], [4, 4]], true, 3, 1], \"expected\": [[[1, 1], [2, 2], [2, 3], [2, 5], [4, 4]], true, 3, 1], \"passed\": true}, {\"check\": \"1\", \"actual\": [[[1, 3], [2, 1], [3, 2]], true, 0, 2], \"expected\": [[[1, 3], [2, 1], [3, 2]], true, 0, 2], \"passed\": true}, {\"check\": \"2\", \"actual\": [[[1, 1], [2, 2], [3, 3]], true, 2, 0], \"expected\": [[[1, 1], [2, 2], [3, 3]], true, 2, 0], \"passed\": true}, {\"check\": \"3\", \"actual\": [[[1, 1]], true, 0, 0], \"expected\": [[[1, 1]], true, 0, 0], \"passed\": true}, {\"check\": \"4\", \"actual\": [[[1, 1], [2, 2]], false, null, 0], \"expected\": [[[1, 1], [2, 2]], false, null, 0], \"passed\": true}, {\"check\": \"5\", \"actual\": [[[1, 1], [3, 2], [4, 4], [5, 3]], true, 2, 1], \"expected\": [[[1, 1], [3, 2], [4, 4], [5, 3]], true, 2, 1], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}