FA-46676 / Bounded deques / Open access
Deque iterator split measures absolute stop as range length · case 01
Deque iterator split measures absolute stop as range length.
ROOT CAUSE
Deque iterator split measures absolute stop as range length.
VERIFIED REPAIR
Restore the documented split length invariant in iterator-split.
Unsuccessful approach: The partial repair still applies the incorrect transition to an admitted boundary or multi-element case.
Case contract
Split an iterator range into disjoint prefix and suffix if its length meets a positive minimum. Both halves retain the same captured deque epoch and cover every original element exactly once.
Why this case matters
Controlled bounded deque implementation model with explicit storage and lifecycle observations.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
a,start,stop,minimum,epoch=x
length=stop
if length<minimum:return [None,[start,stop,epoch],a[start:stop]]
middle=start+length//2
prefix=[start,middle,epoch]
suffix=[middle,stop,epoch]
visited=a[start:middle]+a[middle:stop]
return [prefix,suffix,visited]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('0', solve([[N,N+1,N+2,N+3,N+4],1,5,2,7]), {1: [[1, 3, 7], [3, 5, 7], [2, 3, 4, 5]], 2: [[1, 3, 7], [3, 5, 7], [3, 4, 5, 6]], 3: [[1, 3, 7], [3, 5, 7], [4, 5, 6, 7]], 4: [[1, 3, 7], [3, 5, 7], [5, 6, 7, 8]], 5: [[1, 3, 7], [3, 5, 7], [6, 7, 8, 9]]}[N])
check('1', solve([[N,N+1,N+2],0,3,2,4]), {1: [[0, 1, 4], [1, 3, 4], [1, 2, 3]], 2: [[0, 1, 4], [1, 3, 4], [2, 3, 4]], 3: [[0, 1, 4], [1, 3, 4], [3, 4, 5]], 4: [[0, 1, 4], [1, 3, 4], [4, 5, 6]], 5: [[0, 1, 4], [1, 3, 4], [5, 6, 7]]}[N])
check('2', solve([[N],0,1,2,3]), {1: [None, [0, 1, 3], [1]], 2: [None, [0, 1, 3], [2]], 3: [None, [0, 1, 3], [3]], 4: [None, [0, 1, 3], [4]], 5: [None, [0, 1, 3], [5]]}[N])
check('3', solve([[],0,0,1,0]), {1: [None, [0, 0, 0], []], 2: [None, [0, 0, 0], []], 3: [None, [0, 0, 0], []], 4: [None, [0, 0, 0], []], 5: [None, [0, 0, 0], []]}[N])
check('4', solve([[N,N+1,N+2,N+3],2,4,2,8]), {1: [[2, 3, 8], [3, 4, 8], [3, 4]], 2: [[2, 3, 8], [3, 4, 8], [4, 5]], 3: [[2, 3, 8], [3, 4, 8], [5, 6]], 4: [[2, 3, 8], [3, 4, 8], [6, 7]], 5: [[2, 3, 8], [3, 4, 8], [7, 8]]}[N])
check('5', solve([[N,N+1,N+2,N+3,N+4],0,5,3,1]), {1: [[0, 2, 1], [2, 5, 1], [1, 2, 3, 4, 5]], 2: [[0, 2, 1], [2, 5, 1], [2, 3, 4, 5, 6]], 3: [[0, 2, 1], [2, 5, 1], [3, 4, 5, 6, 7]], 4: [[0, 2, 1], [2, 5, 1], [4, 5, 6, 7, 8]], 5: [[0, 2, 1], [2, 5, 1], [5, 6, 7, 8, 9]]}[N])
check('short shifted remainder', solve([[N,N+1,N+2],2,3,2,6]), [None,[2,3,6],[N+2]])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| 0 | [[1, 3, 7], [3, 5, 7], [2, 3, 4, 5]] | [[1, 3, 7], [3, 5, 7], [2, 3, 4, 5]] | Passed |
| 1 | [[0, 1, 4], [1, 3, 4], [1, 2, 3]] | [[0, 1, 4], [1, 3, 4], [1, 2, 3]] | Passed |
| 2 | [None, [0, 1, 3], [1]] | [None, [0, 1, 3], [1]] | Passed |
| 3 | [None, [0, 0, 0], []] | [None, [0, 0, 0], []] | Passed |
| 4 | [[2, 4, 8], [4, 4, 8], [3, 4]] | [[2, 3, 8], [3, 4, 8], [3, 4]] | Failed |
| 5 | [[0, 2, 1], [2, 5, 1], [1, 2, 3, 4, 5]] | [[0, 2, 1], [2, 5, 1], [1, 2, 3, 4, 5]] | Passed |
| short shifted remainder | [[2, 3, 6], [3, 3, 6], [3]] | [None, [2, 3, 6], [3]] | Failed |
SHA-256 / fd3db1f55c94259c55826d4003b6b88d0728619d747fe2ccadf9dcf6e63e6cb1
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
a,start,stop,minimum,epoch=x
length=stop-start if start==0 else stop
if length<minimum:return [None,[start,stop,epoch],a[start:stop]]
middle=start+length//2
prefix=[start,middle,epoch]
suffix=[middle,stop,epoch]
visited=a[start:middle]+a[middle:stop]
return [prefix,suffix,visited]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('0', solve([[N,N+1,N+2,N+3,N+4],1,5,2,7]), {1: [[1, 3, 7], [3, 5, 7], [2, 3, 4, 5]], 2: [[1, 3, 7], [3, 5, 7], [3, 4, 5, 6]], 3: [[1, 3, 7], [3, 5, 7], [4, 5, 6, 7]], 4: [[1, 3, 7], [3, 5, 7], [5, 6, 7, 8]], 5: [[1, 3, 7], [3, 5, 7], [6, 7, 8, 9]]}[N])
check('1', solve([[N,N+1,N+2],0,3,2,4]), {1: [[0, 1, 4], [1, 3, 4], [1, 2, 3]], 2: [[0, 1, 4], [1, 3, 4], [2, 3, 4]], 3: [[0, 1, 4], [1, 3, 4], [3, 4, 5]], 4: [[0, 1, 4], [1, 3, 4], [4, 5, 6]], 5: [[0, 1, 4], [1, 3, 4], [5, 6, 7]]}[N])
check('2', solve([[N],0,1,2,3]), {1: [None, [0, 1, 3], [1]], 2: [None, [0, 1, 3], [2]], 3: [None, [0, 1, 3], [3]], 4: [None, [0, 1, 3], [4]], 5: [None, [0, 1, 3], [5]]}[N])
check('3', solve([[],0,0,1,0]), {1: [None, [0, 0, 0], []], 2: [None, [0, 0, 0], []], 3: [None, [0, 0, 0], []], 4: [None, [0, 0, 0], []], 5: [None, [0, 0, 0], []]}[N])
check('4', solve([[N,N+1,N+2,N+3],2,4,2,8]), {1: [[2, 3, 8], [3, 4, 8], [3, 4]], 2: [[2, 3, 8], [3, 4, 8], [4, 5]], 3: [[2, 3, 8], [3, 4, 8], [5, 6]], 4: [[2, 3, 8], [3, 4, 8], [6, 7]], 5: [[2, 3, 8], [3, 4, 8], [7, 8]]}[N])
check('5', solve([[N,N+1,N+2,N+3,N+4],0,5,3,1]), {1: [[0, 2, 1], [2, 5, 1], [1, 2, 3, 4, 5]], 2: [[0, 2, 1], [2, 5, 1], [2, 3, 4, 5, 6]], 3: [[0, 2, 1], [2, 5, 1], [3, 4, 5, 6, 7]], 4: [[0, 2, 1], [2, 5, 1], [4, 5, 6, 7, 8]], 5: [[0, 2, 1], [2, 5, 1], [5, 6, 7, 8, 9]]}[N])
check('short shifted remainder', solve([[N,N+1,N+2],2,3,2,6]), [None,[2,3,6],[N+2]])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| 0 | [[1, 3, 7], [3, 5, 7], [2, 3, 4, 5]] | [[1, 3, 7], [3, 5, 7], [2, 3, 4, 5]] | Passed |
| 1 | [[0, 1, 4], [1, 3, 4], [1, 2, 3]] | [[0, 1, 4], [1, 3, 4], [1, 2, 3]] | Passed |
| 2 | [None, [0, 1, 3], [1]] | [None, [0, 1, 3], [1]] | Passed |
| 3 | [None, [0, 0, 0], []] | [None, [0, 0, 0], []] | Passed |
| 4 | [[2, 4, 8], [4, 4, 8], [3, 4]] | [[2, 3, 8], [3, 4, 8], [3, 4]] | Failed |
| 5 | [[0, 2, 1], [2, 5, 1], [1, 2, 3, 4, 5]] | [[0, 2, 1], [2, 5, 1], [1, 2, 3, 4, 5]] | Passed |
| short shifted remainder | [[2, 3, 6], [3, 3, 6], [3]] | [None, [2, 3, 6], [3]] | Failed |
SHA-256 / fbeab88a7aacc1eecfed1dfcab17a7c99553bfcfaa5594ddb01fa59893ec03ad
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
N = 1
observations = []
def solve(x):
a,start,stop,minimum,epoch=x
length=stop-start
if length<minimum:return [None,[start,stop,epoch],a[start:stop]]
middle=start+length//2
prefix=[start,middle,epoch]
suffix=[middle,stop,epoch]
visited=a[start:middle]+a[middle:stop]
return [prefix,suffix,visited]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('0', solve([[N,N+1,N+2,N+3,N+4],1,5,2,7]), {1: [[1, 3, 7], [3, 5, 7], [2, 3, 4, 5]], 2: [[1, 3, 7], [3, 5, 7], [3, 4, 5, 6]], 3: [[1, 3, 7], [3, 5, 7], [4, 5, 6, 7]], 4: [[1, 3, 7], [3, 5, 7], [5, 6, 7, 8]], 5: [[1, 3, 7], [3, 5, 7], [6, 7, 8, 9]]}[N])
check('1', solve([[N,N+1,N+2],0,3,2,4]), {1: [[0, 1, 4], [1, 3, 4], [1, 2, 3]], 2: [[0, 1, 4], [1, 3, 4], [2, 3, 4]], 3: [[0, 1, 4], [1, 3, 4], [3, 4, 5]], 4: [[0, 1, 4], [1, 3, 4], [4, 5, 6]], 5: [[0, 1, 4], [1, 3, 4], [5, 6, 7]]}[N])
check('2', solve([[N],0,1,2,3]), {1: [None, [0, 1, 3], [1]], 2: [None, [0, 1, 3], [2]], 3: [None, [0, 1, 3], [3]], 4: [None, [0, 1, 3], [4]], 5: [None, [0, 1, 3], [5]]}[N])
check('3', solve([[],0,0,1,0]), {1: [None, [0, 0, 0], []], 2: [None, [0, 0, 0], []], 3: [None, [0, 0, 0], []], 4: [None, [0, 0, 0], []], 5: [None, [0, 0, 0], []]}[N])
check('4', solve([[N,N+1,N+2,N+3],2,4,2,8]), {1: [[2, 3, 8], [3, 4, 8], [3, 4]], 2: [[2, 3, 8], [3, 4, 8], [4, 5]], 3: [[2, 3, 8], [3, 4, 8], [5, 6]], 4: [[2, 3, 8], [3, 4, 8], [6, 7]], 5: [[2, 3, 8], [3, 4, 8], [7, 8]]}[N])
check('5', solve([[N,N+1,N+2,N+3,N+4],0,5,3,1]), {1: [[0, 2, 1], [2, 5, 1], [1, 2, 3, 4, 5]], 2: [[0, 2, 1], [2, 5, 1], [2, 3, 4, 5, 6]], 3: [[0, 2, 1], [2, 5, 1], [3, 4, 5, 6, 7]], 4: [[0, 2, 1], [2, 5, 1], [4, 5, 6, 7, 8]], 5: [[0, 2, 1], [2, 5, 1], [5, 6, 7, 8, 9]]}[N])
check('short shifted remainder', solve([[N,N+1,N+2],2,3,2,6]), [None,[2,3,6],[N+2]])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| 0 | [[1, 3, 7], [3, 5, 7], [2, 3, 4, 5]] | [[1, 3, 7], [3, 5, 7], [2, 3, 4, 5]] | Passed |
| 1 | [[0, 1, 4], [1, 3, 4], [1, 2, 3]] | [[0, 1, 4], [1, 3, 4], [1, 2, 3]] | Passed |
| 2 | [None, [0, 1, 3], [1]] | [None, [0, 1, 3], [1]] | Passed |
| 3 | [None, [0, 0, 0], []] | [None, [0, 0, 0], []] | Passed |
| 4 | [[2, 3, 8], [3, 4, 8], [3, 4]] | [[2, 3, 8], [3, 4, 8], [3, 4]] | Passed |
| 5 | [[0, 2, 1], [2, 5, 1], [1, 2, 3, 4, 5]] | [[0, 2, 1], [2, 5, 1], [1, 2, 3, 4, 5]] | Passed |
| short shifted remainder | [None, [2, 3, 6], [3]] | [None, [2, 3, 6], [3]] | Passed |
SHA-256 / 1ff744595f836e92e11e14398ad47914cf4c476200fa690b5f8c5e9243509200
Verification & scope
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.
Observations recorded using Python 3.12.14 at 2026-09-29T14:44:34.330345+00:00.
Case digest / 39cd4534128bd79a059672f91fb207bc7768606b50bf2c2c92e83dea490de487