FAILURE MAP
← Case archive

FA-41176 / Heap invariants / Open access

Persistent meld empty recursion returns the shared terminal root · case 01

The bounded persistent meld reuse certificate reports an incorrect root.

Verified by executionVariant 1 · 7 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

Persistent meld empty recursion returns the shared terminal root.

VERIFIED REPAIR

Derive root using v[0] if v else terminal under the stated bounded certificate contract.

Unsuccessful approach: The local patch uses None if not v else v[0] and still violates the stated relation.

Case contract

A persistent meld recursion trace lists winner nodes visited and one terminal untouched subtree id (or None), with fresh generation g. Rebuild only visited winners during unwind in reverse visitation order and share the terminal subtree. Return allocation order, shared terminal reference, reconstructed links, new root, allocation count, and original snapshot ids unchanged. This is a path-copy trace, not a complete heap algorithm.

Why this case matters

This isolates an internal heap representation or priority-structure invariant using deterministic finite records.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    v=d['visited']; terminal=d['terminal']; g=d['generation']; order=list(reversed(v))
    return {'alloc_order': order,
    'terminal': None if terminal is None else [terminal,"shared"],
    'links': [[v[i],v[i+1] if i+1<len(v) else terminal] for i in range(len(v))],
    'root': v[-1] if v else terminal,
    'allocation_count': len(v),
    'old_snapshot': d["old_ids"]}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100]}, {'alloc_order': [100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], 'root': 2, 'allocation_count': 5, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101]}, {'alloc_order': [101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 10]], 'root': 2, 'allocation_count': 6, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102]}, {'alloc_order': [102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 10]], 'root': 2, 'allocation_count': 7, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102, 103], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103]}, {'alloc_order': [103, 102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 103], [103, 10]], 'root': 2, 'allocation_count': 8, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102, 103, 104], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103, 104]}, {'alloc_order': [104, 103, 102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 103], [103, 104], [104, 10]], 'root': 2, 'allocation_count': 9, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103, 104]})]][N-1]
check('regression certificate 1', solve(cases[0][0]), cases[0][1])
check('regression certificate 2', solve(cases[1][0]), cases[1][1])
check('regression certificate 3', solve(cases[2][0]), cases[2][1])
check('regression certificate 4', solve(cases[3][0]), cases[3][1])
check('regression certificate 5', solve(cases[4][0]), cases[4][1])
check('regression certificate 6', solve(cases[5][0]), cases[5][1])
check('variant-dependent certificate', solve(cases[6][0]), cases[6][1])
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 fixtureActualExpectedOutcome
regression certificate 1{'alloc_order': [], 'allocation_count': 0, 'links': [], 'old_snapshot': [], 'root': None, 'terminal': None}{'alloc_order': [], 'allocation_count': 0, 'links': [], 'old_snapshot': [], 'root': None, 'terminal': None}Passed
regression certificate 2{'alloc_order': [], 'allocation_count': 0, 'links': [], 'old_snapshot': [3, 4], 'root': 3, 'terminal': [3, 'shared']}{'alloc_order': [], 'allocation_count': 0, 'links': [], 'old_snapshot': [3, 4], 'root': 3, 'terminal': [3, 'shared']}Passed
regression certificate 3{'alloc_order': [1], 'allocation_count': 1, 'links': [[1, 2]], 'old_snapshot': [1, 2, 3], 'root': 1, 'terminal': [2, 'shared']}{'alloc_order': [1], 'allocation_count': 1, 'links': [[1, 2]], 'old_snapshot': [1, 2, 3], 'root': 1, 'terminal': [2, 'shared']}Passed
regression certificate 4{'alloc_order': [7, 4, 1], 'allocation_count': 3, 'links': [[1, 4], [4, 7], [7, 9]], 'old_snapshot': [1, 2, 4, 7, 9], 'root': 7, 'terminal': [9, 'shared']}{'alloc_order': [7, 4, 1], 'allocation_count': 3, 'links': [[1, 4], [4, 7], [7, 9]], 'old_snapshot': [1, 2, 4, 7, 9], 'root': 1, 'terminal': [9, 'shared']}Failed
regression certificate 5{'alloc_order': [3, 8], 'allocation_count': 2, 'links': [[8, 3], [3, None]], 'old_snapshot': [8, 3], 'root': 3, 'terminal': None}{'alloc_order': [3, 8], 'allocation_count': 2, 'links': [[8, 3], [3, None]], 'old_snapshot': [8, 3], 'root': 8, 'terminal': None}Failed
regression certificate 6{'alloc_order': [6, 9, 5, 2], 'allocation_count': 4, 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'old_snapshot': [2, 5, 9, 6, 10, 11], 'root': 6, 'terminal': [10, 'shared']}{'alloc_order': [6, 9, 5, 2], 'allocation_count': 4, 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'old_snapshot': [2, 5, 9, 6, 10, 11], 'root': 2, 'terminal': [10, 'shared']}Failed
variant-dependent certificate{'alloc_order': [100, 6, 9, 5, 2], 'allocation_count': 5, 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], 'old_snapshot': [2, 5, 9, 6, 10, 11, 100], 'root': 100, 'terminal': [10, 'shared']}{'alloc_order': [100, 6, 9, 5, 2], 'allocation_count': 5, 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], 'old_snapshot': [2, 5, 9, 6, 10, 11, 100], 'root': 2, 'terminal': [10, 'shared']}Failed

SHA-256 / c76ee29b3ca29dafd75a3c41780e20ec9e46bc6d65947837f9d16fedb0a9cb85

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    v=d['visited']; terminal=d['terminal']; g=d['generation']; order=list(reversed(v))
    return {'alloc_order': order,
    'terminal': None if terminal is None else [terminal,"shared"],
    'links': [[v[i],v[i+1] if i+1<len(v) else terminal] for i in range(len(v))],
    'root': None if not v else v[0],
    'allocation_count': len(v),
    'old_snapshot': d["old_ids"]}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100]}, {'alloc_order': [100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], 'root': 2, 'allocation_count': 5, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101]}, {'alloc_order': [101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 10]], 'root': 2, 'allocation_count': 6, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102]}, {'alloc_order': [102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 10]], 'root': 2, 'allocation_count': 7, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102, 103], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103]}, {'alloc_order': [103, 102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 103], [103, 10]], 'root': 2, 'allocation_count': 8, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102, 103, 104], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103, 104]}, {'alloc_order': [104, 103, 102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 103], [103, 104], [104, 10]], 'root': 2, 'allocation_count': 9, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103, 104]})]][N-1]
check('regression certificate 1', solve(cases[0][0]), cases[0][1])
check('regression certificate 2', solve(cases[1][0]), cases[1][1])
check('regression certificate 3', solve(cases[2][0]), cases[2][1])
check('regression certificate 4', solve(cases[3][0]), cases[3][1])
check('regression certificate 5', solve(cases[4][0]), cases[4][1])
check('regression certificate 6', solve(cases[5][0]), cases[5][1])
check('variant-dependent certificate', solve(cases[6][0]), cases[6][1])
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 fixtureActualExpectedOutcome
regression certificate 1{'alloc_order': [], 'allocation_count': 0, 'links': [], 'old_snapshot': [], 'root': None, 'terminal': None}{'alloc_order': [], 'allocation_count': 0, 'links': [], 'old_snapshot': [], 'root': None, 'terminal': None}Passed
regression certificate 2{'alloc_order': [], 'allocation_count': 0, 'links': [], 'old_snapshot': [3, 4], 'root': None, 'terminal': [3, 'shared']}{'alloc_order': [], 'allocation_count': 0, 'links': [], 'old_snapshot': [3, 4], 'root': 3, 'terminal': [3, 'shared']}Failed
regression certificate 3{'alloc_order': [1], 'allocation_count': 1, 'links': [[1, 2]], 'old_snapshot': [1, 2, 3], 'root': 1, 'terminal': [2, 'shared']}{'alloc_order': [1], 'allocation_count': 1, 'links': [[1, 2]], 'old_snapshot': [1, 2, 3], 'root': 1, 'terminal': [2, 'shared']}Passed
regression certificate 4{'alloc_order': [7, 4, 1], 'allocation_count': 3, 'links': [[1, 4], [4, 7], [7, 9]], 'old_snapshot': [1, 2, 4, 7, 9], 'root': 1, 'terminal': [9, 'shared']}{'alloc_order': [7, 4, 1], 'allocation_count': 3, 'links': [[1, 4], [4, 7], [7, 9]], 'old_snapshot': [1, 2, 4, 7, 9], 'root': 1, 'terminal': [9, 'shared']}Passed
regression certificate 5{'alloc_order': [3, 8], 'allocation_count': 2, 'links': [[8, 3], [3, None]], 'old_snapshot': [8, 3], 'root': 8, 'terminal': None}{'alloc_order': [3, 8], 'allocation_count': 2, 'links': [[8, 3], [3, None]], 'old_snapshot': [8, 3], 'root': 8, 'terminal': None}Passed
regression certificate 6{'alloc_order': [6, 9, 5, 2], 'allocation_count': 4, 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'old_snapshot': [2, 5, 9, 6, 10, 11], 'root': 2, 'terminal': [10, 'shared']}{'alloc_order': [6, 9, 5, 2], 'allocation_count': 4, 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'old_snapshot': [2, 5, 9, 6, 10, 11], 'root': 2, 'terminal': [10, 'shared']}Passed
variant-dependent certificate{'alloc_order': [100, 6, 9, 5, 2], 'allocation_count': 5, 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], 'old_snapshot': [2, 5, 9, 6, 10, 11, 100], 'root': 2, 'terminal': [10, 'shared']}{'alloc_order': [100, 6, 9, 5, 2], 'allocation_count': 5, 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], 'old_snapshot': [2, 5, 9, 6, 10, 11, 100], 'root': 2, 'terminal': [10, 'shared']}Passed

SHA-256 / e6682fa0cacb8d7c2438be26dc479f3c326526822248d42640ce12041eeff630

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    v=d['visited']; terminal=d['terminal']; g=d['generation']; order=list(reversed(v))
    return {'alloc_order': order,
    'terminal': None if terminal is None else [terminal,"shared"],
    'links': [[v[i],v[i+1] if i+1<len(v) else terminal] for i in range(len(v))],
    'root': v[0] if v else terminal,
    'allocation_count': len(v),
    'old_snapshot': d["old_ids"]}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100]}, {'alloc_order': [100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], 'root': 2, 'allocation_count': 5, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101]}, {'alloc_order': [101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 10]], 'root': 2, 'allocation_count': 6, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102]}, {'alloc_order': [102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 10]], 'root': 2, 'allocation_count': 7, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102, 103], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103]}, {'alloc_order': [103, 102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 103], [103, 10]], 'root': 2, 'allocation_count': 8, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102, 103, 104], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103, 104]}, {'alloc_order': [104, 103, 102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 103], [103, 104], [104, 10]], 'root': 2, 'allocation_count': 9, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103, 104]})]][N-1]
check('regression certificate 1', solve(cases[0][0]), cases[0][1])
check('regression certificate 2', solve(cases[1][0]), cases[1][1])
check('regression certificate 3', solve(cases[2][0]), cases[2][1])
check('regression certificate 4', solve(cases[3][0]), cases[3][1])
check('regression certificate 5', solve(cases[4][0]), cases[4][1])
check('regression certificate 6', solve(cases[5][0]), cases[5][1])
check('variant-dependent certificate', solve(cases[6][0]), cases[6][1])
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 fixtureActualExpectedOutcome
regression certificate 1{'alloc_order': [], 'allocation_count': 0, 'links': [], 'old_snapshot': [], 'root': None, 'terminal': None}{'alloc_order': [], 'allocation_count': 0, 'links': [], 'old_snapshot': [], 'root': None, 'terminal': None}Passed
regression certificate 2{'alloc_order': [], 'allocation_count': 0, 'links': [], 'old_snapshot': [3, 4], 'root': 3, 'terminal': [3, 'shared']}{'alloc_order': [], 'allocation_count': 0, 'links': [], 'old_snapshot': [3, 4], 'root': 3, 'terminal': [3, 'shared']}Passed
regression certificate 3{'alloc_order': [1], 'allocation_count': 1, 'links': [[1, 2]], 'old_snapshot': [1, 2, 3], 'root': 1, 'terminal': [2, 'shared']}{'alloc_order': [1], 'allocation_count': 1, 'links': [[1, 2]], 'old_snapshot': [1, 2, 3], 'root': 1, 'terminal': [2, 'shared']}Passed
regression certificate 4{'alloc_order': [7, 4, 1], 'allocation_count': 3, 'links': [[1, 4], [4, 7], [7, 9]], 'old_snapshot': [1, 2, 4, 7, 9], 'root': 1, 'terminal': [9, 'shared']}{'alloc_order': [7, 4, 1], 'allocation_count': 3, 'links': [[1, 4], [4, 7], [7, 9]], 'old_snapshot': [1, 2, 4, 7, 9], 'root': 1, 'terminal': [9, 'shared']}Passed
regression certificate 5{'alloc_order': [3, 8], 'allocation_count': 2, 'links': [[8, 3], [3, None]], 'old_snapshot': [8, 3], 'root': 8, 'terminal': None}{'alloc_order': [3, 8], 'allocation_count': 2, 'links': [[8, 3], [3, None]], 'old_snapshot': [8, 3], 'root': 8, 'terminal': None}Passed
regression certificate 6{'alloc_order': [6, 9, 5, 2], 'allocation_count': 4, 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'old_snapshot': [2, 5, 9, 6, 10, 11], 'root': 2, 'terminal': [10, 'shared']}{'alloc_order': [6, 9, 5, 2], 'allocation_count': 4, 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'old_snapshot': [2, 5, 9, 6, 10, 11], 'root': 2, 'terminal': [10, 'shared']}Passed
variant-dependent certificate{'alloc_order': [100, 6, 9, 5, 2], 'allocation_count': 5, 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], 'old_snapshot': [2, 5, 9, 6, 10, 11, 100], 'root': 2, 'terminal': [10, 'shared']}{'alloc_order': [100, 6, 9, 5, 2], 'allocation_count': 5, 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], 'old_snapshot': [2, 5, 9, 6, 10, 11, 100], 'root': 2, 'terminal': [10, 'shared']}Passed

SHA-256 / ac36f6c0dab80b9b4443ee195635c45ebf3c3c18806d06b418288318f0d80233

Verification & scope

A stipulated offline diagnostic model; it does not implement a production allocator, concurrency protocol, or complete heap library. 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:43:38.317039+00:00.

Case digest / 00886da99fcb8de155f73dc098371add8ef6d7eace9cb601dbefafd7668d9c59