{"abstract":"Claim removal drops one unclaimed deque entry.","category":"Bounded deques","checks":6,"contract":"Claim a valid prefix of a bounded deque, then commit all, abort all, or commit its first item. Unconsumed claimed items rejoin ahead of unclaimed items before new entries fill remaining capacity.","evaluation_group":"s3-bounded-deques-consumer-claim","failed_approach":"The partial repair still applies the incorrect transition to an admitted boundary or multi-element case.","family":"s3-bounded-deques-consumer-claim-unclaimed-tail","id":"FA-46191","implementations":{"attempt":{"sha256":"11f4b6e0a6e79acc84cc916e567afaa4ae5a6f6f28ee480c376b73469ae98b74","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    items,count,action,cap,incoming=x\n    claimed=items[:count]\n    remaining=items[count:] if count==0 else items[count+1:]\n    if action=='abort': remaining=claimed+remaining\n    elif action=='partial': remaining=claimed[1:]+remaining\n    room=cap-len(remaining)\n    accepted=incoming[:room]\n    return [remaining+accepted,claimed,incoming[len(accepted):]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('abort restores head', solve([[N,N+1,N+2],2,\"abort\",5,[N+3,N+4,N+5]]), {1: [[1, 2, 3, 4, 5], [1, 2], [6]], 2: [[2, 3, 4, 5, 6], [2, 3], [7]], 3: [[3, 4, 5, 6, 7], [3, 4], [8]], 4: [[4, 5, 6, 7, 8], [4, 5], [9]], 5: [[5, 6, 7, 8, 9], [5, 6], [10]]}[N])\ncheck('partial claim', solve([[N,N+1,N+2],2,\"partial\",4,[N+3,N+4]]), {1: [[2, 3, 4, 5], [1, 2], []], 2: [[3, 4, 5, 6], [2, 3], []], 3: [[4, 5, 6, 7], [3, 4], []], 4: [[5, 6, 7, 8], [4, 5], []], 5: [[6, 7, 8, 9], [5, 6], []]}[N])\ncheck('commit claim', solve([[N,N+1,N+2],2,\"commit\",4,[N+3,N+4,N+5,N+6]]), {1: [[3, 4, 5, 6], [1, 2], [7]], 2: [[4, 5, 6, 7], [2, 3], [8]], 3: [[5, 6, 7, 8], [3, 4], [9]], 4: [[6, 7, 8, 9], [4, 5], [10]], 5: [[7, 8, 9, 10], [5, 6], [11]]}[N])\ncheck('zero claim', solve([[N],0,\"abort\",3,[N+1]]), {1: [[1, 2], [], []], 2: [[2, 3], [], []], 3: [[3, 4], [], []], 4: [[4, 5], [], []], 5: [[5, 6], [], []]}[N])\ncheck('whole abort', solve([[N,N+1],2,\"abort\",2,[N+2]]), {1: [[1, 2], [1, 2], [3]], 2: [[2, 3], [2, 3], [4]], 3: [[3, 4], [3, 4], [5]], 4: [[4, 5], [4, 5], [6]], 5: [[5, 6], [5, 6], [7]]}[N])\ncheck('single partial', solve([[N,N+1],1,\"partial\",3,[N+2]]), {1: [[2, 3], [1], []], 2: [[3, 4], [2], []], 3: [[4, 5], [3], []], 4: [[5, 6], [4], []], 5: [[6, 7], [5], []]}[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":"6892d234e9a745d928ae0b2cd5e0119f087c7924cbf3b6c5851217ad1f28f68b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    items,count,action,cap,incoming=x\n    claimed=items[:count]\n    remaining=items[count+1:]\n    if action=='abort': remaining=claimed+remaining\n    elif action=='partial': remaining=claimed[1:]+remaining\n    room=cap-len(remaining)\n    accepted=incoming[:room]\n    return [remaining+accepted,claimed,incoming[len(accepted):]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('abort restores head', solve([[N,N+1,N+2],2,\"abort\",5,[N+3,N+4,N+5]]), {1: [[1, 2, 3, 4, 5], [1, 2], [6]], 2: [[2, 3, 4, 5, 6], [2, 3], [7]], 3: [[3, 4, 5, 6, 7], [3, 4], [8]], 4: [[4, 5, 6, 7, 8], [4, 5], [9]], 5: [[5, 6, 7, 8, 9], [5, 6], [10]]}[N])\ncheck('partial claim', solve([[N,N+1,N+2],2,\"partial\",4,[N+3,N+4]]), {1: [[2, 3, 4, 5], [1, 2], []], 2: [[3, 4, 5, 6], [2, 3], []], 3: [[4, 5, 6, 7], [3, 4], []], 4: [[5, 6, 7, 8], [4, 5], []], 5: [[6, 7, 8, 9], [5, 6], []]}[N])\ncheck('commit claim', solve([[N,N+1,N+2],2,\"commit\",4,[N+3,N+4,N+5,N+6]]), {1: [[3, 4, 5, 6], [1, 2], [7]], 2: [[4, 5, 6, 7], [2, 3], [8]], 3: [[5, 6, 7, 8], [3, 4], [9]], 4: [[6, 7, 8, 9], [4, 5], [10]], 5: [[7, 8, 9, 10], [5, 6], [11]]}[N])\ncheck('zero claim', solve([[N],0,\"abort\",3,[N+1]]), {1: [[1, 2], [], []], 2: [[2, 3], [], []], 3: [[3, 4], [], []], 4: [[4, 5], [], []], 5: [[5, 6], [], []]}[N])\ncheck('whole abort', solve([[N,N+1],2,\"abort\",2,[N+2]]), {1: [[1, 2], [1, 2], [3]], 2: [[2, 3], [2, 3], [4]], 3: [[3, 4], [3, 4], [5]], 4: [[4, 5], [4, 5], [6]], 5: [[5, 6], [5, 6], [7]]}[N])\ncheck('single partial', solve([[N,N+1],1,\"partial\",3,[N+2]]), {1: [[2, 3], [1], []], 2: [[3, 4], [2], []], 3: [[4, 5], [3], []], 4: [[5, 6], [4], []], 5: [[6, 7], [5], []]}[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":"9465b75cc60aeb37dfdc15b28874e7e2399a2d8d036e5d3872726b3f2869c592","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    items,count,action,cap,incoming=x\n    claimed=items[:count]\n    remaining=items[count:]\n    if action=='abort': remaining=claimed+remaining\n    elif action=='partial': remaining=claimed[1:]+remaining\n    room=cap-len(remaining)\n    accepted=incoming[:room]\n    return [remaining+accepted,claimed,incoming[len(accepted):]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('abort restores head', solve([[N,N+1,N+2],2,\"abort\",5,[N+3,N+4,N+5]]), {1: [[1, 2, 3, 4, 5], [1, 2], [6]], 2: [[2, 3, 4, 5, 6], [2, 3], [7]], 3: [[3, 4, 5, 6, 7], [3, 4], [8]], 4: [[4, 5, 6, 7, 8], [4, 5], [9]], 5: [[5, 6, 7, 8, 9], [5, 6], [10]]}[N])\ncheck('partial claim', solve([[N,N+1,N+2],2,\"partial\",4,[N+3,N+4]]), {1: [[2, 3, 4, 5], [1, 2], []], 2: [[3, 4, 5, 6], [2, 3], []], 3: [[4, 5, 6, 7], [3, 4], []], 4: [[5, 6, 7, 8], [4, 5], []], 5: [[6, 7, 8, 9], [5, 6], []]}[N])\ncheck('commit claim', solve([[N,N+1,N+2],2,\"commit\",4,[N+3,N+4,N+5,N+6]]), {1: [[3, 4, 5, 6], [1, 2], [7]], 2: [[4, 5, 6, 7], [2, 3], [8]], 3: [[5, 6, 7, 8], [3, 4], [9]], 4: [[6, 7, 8, 9], [4, 5], [10]], 5: [[7, 8, 9, 10], [5, 6], [11]]}[N])\ncheck('zero claim', solve([[N],0,\"abort\",3,[N+1]]), {1: [[1, 2], [], []], 2: [[2, 3], [], []], 3: [[3, 4], [], []], 4: [[4, 5], [], []], 5: [[5, 6], [], []]}[N])\ncheck('whole abort', solve([[N,N+1],2,\"abort\",2,[N+2]]), {1: [[1, 2], [1, 2], [3]], 2: [[2, 3], [2, 3], [4]], 3: [[3, 4], [3, 4], [5]], 4: [[4, 5], [4, 5], [6]], 5: [[5, 6], [5, 6], [7]]}[N])\ncheck('single partial', solve([[N,N+1],1,\"partial\",3,[N+2]]), {1: [[2, 3], [1], []], 2: [[3, 4], [2], []], 3: [[4, 5], [3], []], 4: [[5, 6], [4], []], 5: [[6, 7], [5], []]}[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-consumer-claim-unclaimed-tail","generated_at":"2026-09-29T14:44:29.698535+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 unclaimed tail invariant in consumer-claim.","root_cause":"Claim removal drops one unclaimed deque entry.","sha256":"9522da36eb37effd709d7815a72eec72a40242a92259516d0d4f1a06659b7fa1","title":"Claim removal drops one unclaimed deque entry · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.656,"exit_code":1,"observations":[{"actual":[[1,2,4,5,6],[1,2],[]],"check":"abort restores head","expected":[[1,2,3,4,5],[1,2],[6]],"passed":false},{"actual":[[2,4,5],[1,2],[]],"check":"partial claim","expected":[[2,3,4,5],[1,2],[]],"passed":false},{"actual":[[4,5,6,7],[1,2],[]],"check":"commit claim","expected":[[3,4,5,6],[1,2],[7]],"passed":false},{"actual":[[1,2],[],[]],"check":"zero claim","expected":[[1,2],[],[]],"passed":true},{"actual":[[1,2],[1,2],[3]],"check":"whole abort","expected":[[1,2],[1,2],[3]],"passed":true},{"actual":[[3],[1],[]],"check":"single partial","expected":[[2,3],[1],[]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"abort restores head\", \"actual\": [[1, 2, 4, 5, 6], [1, 2], []], \"expected\": [[1, 2, 3, 4, 5], [1, 2], [6]], \"passed\": false}, {\"check\": \"partial claim\", \"actual\": [[2, 4, 5], [1, 2], []], \"expected\": [[2, 3, 4, 5], [1, 2], []], \"passed\": false}, {\"check\": \"commit claim\", \"actual\": [[4, 5, 6, 7], [1, 2], []], \"expected\": [[3, 4, 5, 6], [1, 2], [7]], \"passed\": false}, {\"check\": \"zero claim\", \"actual\": [[1, 2], [], []], \"expected\": [[1, 2], [], []], \"passed\": true}, {\"check\": \"whole abort\", \"actual\": [[1, 2], [1, 2], [3]], \"expected\": [[1, 2], [1, 2], [3]], \"passed\": true}, {\"check\": \"single partial\", \"actual\": [[3], [1], []], \"expected\": [[2, 3], [1], []], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.983,"exit_code":1,"observations":[{"actual":[[1,2,4,5,6],[1,2],[]],"check":"abort restores head","expected":[[1,2,3,4,5],[1,2],[6]],"passed":false},{"actual":[[2,4,5],[1,2],[]],"check":"partial claim","expected":[[2,3,4,5],[1,2],[]],"passed":false},{"actual":[[4,5,6,7],[1,2],[]],"check":"commit claim","expected":[[3,4,5,6],[1,2],[7]],"passed":false},{"actual":[[2],[],[]],"check":"zero claim","expected":[[1,2],[],[]],"passed":false},{"actual":[[1,2],[1,2],[3]],"check":"whole abort","expected":[[1,2],[1,2],[3]],"passed":true},{"actual":[[3],[1],[]],"check":"single partial","expected":[[2,3],[1],[]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"abort restores head\", \"actual\": [[1, 2, 4, 5, 6], [1, 2], []], \"expected\": [[1, 2, 3, 4, 5], [1, 2], [6]], \"passed\": false}, {\"check\": \"partial claim\", \"actual\": [[2, 4, 5], [1, 2], []], \"expected\": [[2, 3, 4, 5], [1, 2], []], \"passed\": false}, {\"check\": \"commit claim\", \"actual\": [[4, 5, 6, 7], [1, 2], []], \"expected\": [[3, 4, 5, 6], [1, 2], [7]], \"passed\": false}, {\"check\": \"zero claim\", \"actual\": [[2], [], []], \"expected\": [[1, 2], [], []], \"passed\": false}, {\"check\": \"whole abort\", \"actual\": [[1, 2], [1, 2], [3]], \"expected\": [[1, 2], [1, 2], [3]], \"passed\": true}, {\"check\": \"single partial\", \"actual\": [[3], [1], []], \"expected\": [[2, 3], [1], []], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.494,"exit_code":0,"observations":[{"actual":[[1,2,3,4,5],[1,2],[6]],"check":"abort restores head","expected":[[1,2,3,4,5],[1,2],[6]],"passed":true},{"actual":[[2,3,4,5],[1,2],[]],"check":"partial claim","expected":[[2,3,4,5],[1,2],[]],"passed":true},{"actual":[[3,4,5,6],[1,2],[7]],"check":"commit claim","expected":[[3,4,5,6],[1,2],[7]],"passed":true},{"actual":[[1,2],[],[]],"check":"zero claim","expected":[[1,2],[],[]],"passed":true},{"actual":[[1,2],[1,2],[3]],"check":"whole abort","expected":[[1,2],[1,2],[3]],"passed":true},{"actual":[[2,3],[1],[]],"check":"single partial","expected":[[2,3],[1],[]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"abort restores head\", \"actual\": [[1, 2, 3, 4, 5], [1, 2], [6]], \"expected\": [[1, 2, 3, 4, 5], [1, 2], [6]], \"passed\": true}, {\"check\": \"partial claim\", \"actual\": [[2, 3, 4, 5], [1, 2], []], \"expected\": [[2, 3, 4, 5], [1, 2], []], \"passed\": true}, {\"check\": \"commit claim\", \"actual\": [[3, 4, 5, 6], [1, 2], [7]], \"expected\": [[3, 4, 5, 6], [1, 2], [7]], \"passed\": true}, {\"check\": \"zero claim\", \"actual\": [[1, 2], [], []], \"expected\": [[1, 2], [], []], \"passed\": true}, {\"check\": \"whole abort\", \"actual\": [[1, 2], [1, 2], [3]], \"expected\": [[1, 2], [1, 2], [3]], \"passed\": true}, {\"check\": \"single partial\", \"actual\": [[2, 3], [1], []], \"expected\": [[2, 3], [1], []], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}