{"abstract":"Deque transaction retires newly published entries.","category":"Bounded deques","checks":7,"contract":"Publish a complete staged bounded deque only if its captured epoch matches, its occupancy fits and allocation credits suffice. Failure preserves state, epoch and credits; success retires the old snapshot.","contract_signature":"x","evaluation_group":"s3-bounded-deques-transaction-publish","failed_approach":"The partial repair still applies the incorrect transition to an admitted boundary or multi-element case.","family":"s3-bounded-deques-transaction-publish-retirement-set","id":"FA-46776","implementations":{"attempt":{"sha256":"127aa1160af02184458e149f0435bee91259ca7a273d7f583f708a763549860e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    a,staged,cap,epoch,saved,cost,credits=x\n    if saved!=epoch:return [a,epoch,credits,'conflict',[]]\n    if len(staged)>cap:return [a,epoch,credits,'capacity',[]]\n    if cost>credits:return [a,epoch,credits,'allocation',[]]\n    state=staged[:]\n    version=epoch+1\n    balance=credits-cost\n    retired=a[:] if not a else staged[:]\n    return [state,version,balance,'committed',retired]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('0', solve([[N],[N+1,N+2],3,2,2,2,5]), {1: [[2, 3], 3, 3, 'committed', [1]], 2: [[3, 4], 3, 3, 'committed', [2]], 3: [[4, 5], 3, 3, 'committed', [3]], 4: [[5, 6], 3, 3, 'committed', [4]], 5: [[6, 7], 3, 3, 'committed', [5]]}[N])\ncheck('1', solve([[N],[N+1],3,3,2,1,4]), {1: [[1], 3, 4, 'conflict', []], 2: [[2], 3, 4, 'conflict', []], 3: [[3], 3, 4, 'conflict', []], 4: [[4], 3, 4, 'conflict', []], 5: [[5], 3, 4, 'conflict', []]}[N])\ncheck('2', solve([[N],[N+1,N+2,N+3],2,4,4,1,3]), {1: [[1], 4, 3, 'capacity', []], 2: [[2], 4, 3, 'capacity', []], 3: [[3], 4, 3, 'capacity', []], 4: [[4], 4, 3, 'capacity', []], 5: [[5], 4, 3, 'capacity', []]}[N])\ncheck('3', solve([[N],[N+1],2,1,1,4,2]), {1: [[1], 1, 2, 'allocation', []], 2: [[2], 1, 2, 'allocation', []], 3: [[3], 1, 2, 'allocation', []], 4: [[4], 1, 2, 'allocation', []], 5: [[5], 1, 2, 'allocation', []]}[N])\ncheck('4', solve([[],[],0,0,0,0,0]), {1: [[], 1, 0, 'committed', []], 2: [[], 1, 0, 'committed', []], 3: [[], 1, 0, 'committed', []], 4: [[], 1, 0, 'committed', []], 5: [[], 1, 0, 'committed', []]}[N])\ncheck('5', solve([[N,N+1],[N+2],2,5,5,3,3]), {1: [[3], 6, 0, 'committed', [1, 2]], 2: [[4], 6, 0, 'committed', [2, 3]], 3: [[5], 6, 0, 'committed', [3, 4]], 4: [[6], 6, 0, 'committed', [4, 5]], 5: [[7], 6, 0, 'committed', [5, 6]]}[N])\ncheck('6', solve([[N],[N+1],2,1,2,1,3]), {1: [[1], 1, 3, 'conflict', []], 2: [[2], 1, 3, 'conflict', []], 3: [[3], 1, 3, 'conflict', []], 4: [[4], 1, 3, 'conflict', []], 5: [[5], 1, 3, 'conflict', []]}[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":"3041a2320479c136c7881c1e5b599b208fb4bca8b0d7e0783ffdce71ed02bafa","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    a,staged,cap,epoch,saved,cost,credits=x\n    if saved!=epoch:return [a,epoch,credits,'conflict',[]]\n    if len(staged)>cap:return [a,epoch,credits,'capacity',[]]\n    if cost>credits:return [a,epoch,credits,'allocation',[]]\n    state=staged[:]\n    version=epoch+1\n    balance=credits-cost\n    retired=staged[:]\n    return [state,version,balance,'committed',retired]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('0', solve([[N],[N+1,N+2],3,2,2,2,5]), {1: [[2, 3], 3, 3, 'committed', [1]], 2: [[3, 4], 3, 3, 'committed', [2]], 3: [[4, 5], 3, 3, 'committed', [3]], 4: [[5, 6], 3, 3, 'committed', [4]], 5: [[6, 7], 3, 3, 'committed', [5]]}[N])\ncheck('1', solve([[N],[N+1],3,3,2,1,4]), {1: [[1], 3, 4, 'conflict', []], 2: [[2], 3, 4, 'conflict', []], 3: [[3], 3, 4, 'conflict', []], 4: [[4], 3, 4, 'conflict', []], 5: [[5], 3, 4, 'conflict', []]}[N])\ncheck('2', solve([[N],[N+1,N+2,N+3],2,4,4,1,3]), {1: [[1], 4, 3, 'capacity', []], 2: [[2], 4, 3, 'capacity', []], 3: [[3], 4, 3, 'capacity', []], 4: [[4], 4, 3, 'capacity', []], 5: [[5], 4, 3, 'capacity', []]}[N])\ncheck('3', solve([[N],[N+1],2,1,1,4,2]), {1: [[1], 1, 2, 'allocation', []], 2: [[2], 1, 2, 'allocation', []], 3: [[3], 1, 2, 'allocation', []], 4: [[4], 1, 2, 'allocation', []], 5: [[5], 1, 2, 'allocation', []]}[N])\ncheck('4', solve([[],[],0,0,0,0,0]), {1: [[], 1, 0, 'committed', []], 2: [[], 1, 0, 'committed', []], 3: [[], 1, 0, 'committed', []], 4: [[], 1, 0, 'committed', []], 5: [[], 1, 0, 'committed', []]}[N])\ncheck('5', solve([[N,N+1],[N+2],2,5,5,3,3]), {1: [[3], 6, 0, 'committed', [1, 2]], 2: [[4], 6, 0, 'committed', [2, 3]], 3: [[5], 6, 0, 'committed', [3, 4]], 4: [[6], 6, 0, 'committed', [4, 5]], 5: [[7], 6, 0, 'committed', [5, 6]]}[N])\ncheck('6', solve([[N],[N+1],2,1,2,1,3]), {1: [[1], 1, 3, 'conflict', []], 2: [[2], 1, 3, 'conflict', []], 3: [[3], 1, 3, 'conflict', []], 4: [[4], 1, 3, 'conflict', []], 5: [[5], 1, 3, 'conflict', []]}[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-transaction-publish-retirement-set","generated_at":"2026-09-29T14:44:35.240007+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.","root_cause":"Deque transaction retires newly published entries.","sha256":"c11b0e37482b25d1d8977c09f4b69b87c53c46924a003f6e4f7d96f9ced9a693","title":"Deque transaction retires newly published entries · 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":40.02,"exit_code":1,"observations":[{"actual":[[2,3],3,3,"committed",[2,3]],"check":"0","expected":[[2,3],3,3,"committed",[1]],"passed":false},{"actual":[[1],3,4,"conflict",[]],"check":"1","expected":[[1],3,4,"conflict",[]],"passed":true},{"actual":[[1],4,3,"capacity",[]],"check":"2","expected":[[1],4,3,"capacity",[]],"passed":true},{"actual":[[1],1,2,"allocation",[]],"check":"3","expected":[[1],1,2,"allocation",[]],"passed":true},{"actual":[[],1,0,"committed",[]],"check":"4","expected":[[],1,0,"committed",[]],"passed":true},{"actual":[[3],6,0,"committed",[3]],"check":"5","expected":[[3],6,0,"committed",[1,2]],"passed":false},{"actual":[[1],1,3,"conflict",[]],"check":"6","expected":[[1],1,3,"conflict",[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"0\", \"actual\": [[2, 3], 3, 3, \"committed\", [2, 3]], \"expected\": [[2, 3], 3, 3, \"committed\", [1]], \"passed\": false}, {\"check\": \"1\", \"actual\": [[1], 3, 4, \"conflict\", []], \"expected\": [[1], 3, 4, \"conflict\", []], \"passed\": true}, {\"check\": \"2\", \"actual\": [[1], 4, 3, \"capacity\", []], \"expected\": [[1], 4, 3, \"capacity\", []], \"passed\": true}, {\"check\": \"3\", \"actual\": [[1], 1, 2, \"allocation\", []], \"expected\": [[1], 1, 2, \"allocation\", []], \"passed\": true}, {\"check\": \"4\", \"actual\": [[], 1, 0, \"committed\", []], \"expected\": [[], 1, 0, \"committed\", []], \"passed\": true}, {\"check\": \"5\", \"actual\": [[3], 6, 0, \"committed\", [3]], \"expected\": [[3], 6, 0, \"committed\", [1, 2]], \"passed\": false}, {\"check\": \"6\", \"actual\": [[1], 1, 3, \"conflict\", []], \"expected\": [[1], 1, 3, \"conflict\", []], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.457,"exit_code":1,"observations":[{"actual":[[2,3],3,3,"committed",[2,3]],"check":"0","expected":[[2,3],3,3,"committed",[1]],"passed":false},{"actual":[[1],3,4,"conflict",[]],"check":"1","expected":[[1],3,4,"conflict",[]],"passed":true},{"actual":[[1],4,3,"capacity",[]],"check":"2","expected":[[1],4,3,"capacity",[]],"passed":true},{"actual":[[1],1,2,"allocation",[]],"check":"3","expected":[[1],1,2,"allocation",[]],"passed":true},{"actual":[[],1,0,"committed",[]],"check":"4","expected":[[],1,0,"committed",[]],"passed":true},{"actual":[[3],6,0,"committed",[3]],"check":"5","expected":[[3],6,0,"committed",[1,2]],"passed":false},{"actual":[[1],1,3,"conflict",[]],"check":"6","expected":[[1],1,3,"conflict",[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"0\", \"actual\": [[2, 3], 3, 3, \"committed\", [2, 3]], \"expected\": [[2, 3], 3, 3, \"committed\", [1]], \"passed\": false}, {\"check\": \"1\", \"actual\": [[1], 3, 4, \"conflict\", []], \"expected\": [[1], 3, 4, \"conflict\", []], \"passed\": true}, {\"check\": \"2\", \"actual\": [[1], 4, 3, \"capacity\", []], \"expected\": [[1], 4, 3, \"capacity\", []], \"passed\": true}, {\"check\": \"3\", \"actual\": [[1], 1, 2, \"allocation\", []], \"expected\": [[1], 1, 2, \"allocation\", []], \"passed\": true}, {\"check\": \"4\", \"actual\": [[], 1, 0, \"committed\", []], \"expected\": [[], 1, 0, \"committed\", []], \"passed\": true}, {\"check\": \"5\", \"actual\": [[3], 6, 0, \"committed\", [3]], \"expected\": [[3], 6, 0, \"committed\", [1, 2]], \"passed\": false}, {\"check\": \"6\", \"actual\": [[1], 1, 3, \"conflict\", []], \"expected\": [[1], 1, 3, \"conflict\", []], \"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."}}