FAILURE MAP
← Case archive

FA-86176 / Game economy crafting balance / Open access

Inventory stack insertion: Items merge into foreign stacks · case 01

Arrows are added onto potion stacks.

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

ROOT CAUSE

The top-up loop does not check that the stack holds the same item.

THE FAILURE

The top-up loop does not check that the stack holds the same item.

Unsuccessful approach: Case-folding merges distinct case-sensitive item ids.

Case contract

slots = list of None or [name, count]; names are case sensitive. First top up partial stacks (count < max_stack) of the same item in slot order, then fill empty slots in order with new stacks of at most max_stack. Reserved placeholders [name, 0] count as partial stacks. Legacy stacks above max_stack are left untouched. Returns {slots, leftover}.

Why this case matters

Game economies leak or destroy currency when one crafting or pricing rule is off by one boundary, rounding stage or state update; the defect is observable in exact integer outcomes.

1 / The failure

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

N = 1
observations = []
def solve(slots, item, qty, max_stack):
    slots = [s if s is None else list(s) for s in slots]
    left = qty
    for s in slots:
        if left == 0:
            break
        if s is not None and s[1] < max_stack:
            add = min(left, max_stack - s[1])
            s[1] += add
            left -= add
    for i in range(len(slots)):
        if left == 0:
            break
        if slots[i] is None:
            add = min(left, max_stack)
            slots[i] = [item, add]
            left -= add
    return {'slots': slots, 'leftover': left}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[('case distinct item #1', [[['arrow', 3]], 'Arrow', 2, 20], {'slots': [['arrow', 3]], 'leftover': 2}),
  ('fault site item identity match #1',
   [[['Potion', 0]], 'Arrow', 45, 5],
   {'slots': [['Potion', 0]], 'leftover': 45}),
  ('regression item identity match #1',
   [[None, ['Arrow', 1], ['arrow', 1], ['Potion', 20], ['arrow', 19]], 'arrow', 20, 20],
   {'slots': [None, ['Arrow', 1], ['arrow', 20], ['Potion', 20], ['arrow', 20]], 'leftover': 0}),
  ('regression item identity match #2',
   [[['Arrow', 5], None], 'arrow', 45, 10],
   {'slots': [['Arrow', 5], ['arrow', 10]], 'leftover': 35}),
  ('regression item identity match #3',
   [[['Arrow', 0], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]], 'arrow', 20, 20],
   {'slots': [['Arrow', 0], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]], 'leftover': 20}),
  ('legacy overfull stack #1',
   [[['Arrow', 25], None], 'Arrow', 3, 20],
   {'slots': [['Arrow', 25], ['Arrow', 3]], 'leftover': 0}),
  ('two partial stacks #1',
   [[['Arrow', 18], ['Arrow', 15], None], 'Arrow', 4, 20],
   {'slots': [['Arrow', 20], ['Arrow', 17], None], 'leftover': 0}),
  ('control #1',
   [[['Arrow', 6], None, ['arrow', 5]], 'Potion', 0, 20],
   {'slots': [['Arrow', 6], None, ['arrow', 5]], 'leftover': 0})],
 [('case distinct item #1', [[['arrow', 3]], 'Arrow', 2, 20], {'slots': [['arrow', 3]], 'leftover': 2}),
  ('regression item identity match #1',
   [[None, ['Arrow', 1], ['arrow', 1], ['Potion', 20], ['arrow', 19]], 'arrow', 20, 20],
   {'slots': [None, ['Arrow', 1], ['arrow', 20], ['Potion', 20], ['arrow', 20]], 'leftover': 0}),
  ('fault site item identity match #1',
   [[['arrow', 0], ['arrow', 5], ['Potion', 18]], 'Potion', 45, 5],
   {'slots': [['arrow', 0], ['arrow', 5], ['Potion', 18]], 'leftover': 45}),
  ('regression item identity match #2',
   [[['Arrow', 5], None], 'arrow', 45, 10],
   {'slots': [['Arrow', 5], ['arrow', 10]], 'leftover': 35}),
  ('regression item identity match #3',
   [[['Arrow', 0], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]], 'arrow', 20, 20],
   {'slots': [['Arrow', 0], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]], 'leftover': 20}),
  ('legacy overfull stack #1',
   [[['Arrow', 25], None], 'Arrow', 3, 20],
   {'slots': [['Arrow', 25], ['Arrow', 3]], 'leftover': 0}),
  ('two partial stacks #1',
   [[['Arrow', 18], ['Arrow', 15], None], 'Arrow', 4, 20],
   {'slots': [['Arrow', 20], ['Arrow', 17], None], 'leftover': 0}),
  ('control #1',
   [[['Arrow', 6], None, ['arrow', 5]], 'Potion', 0, 20],
   {'slots': [['Arrow', 6], None, ['arrow', 5]], 'leftover': 0})],
 [('case distinct item #1', [[['arrow', 3]], 'Arrow', 2, 20], {'slots': [['arrow', 3]], 'leftover': 2}),
  ('fault site item identity match #1',
   [[['arrow', 0]], 'Potion', 45, 5],
   {'slots': [['arrow', 0]], 'leftover': 45}),
  ('regression item identity match #1',
   [[['Arrow', 5], None], 'arrow', 45, 10],
   {'slots': [['Arrow', 5], ['arrow', 10]], 'leftover': 35}),
  ('regression item identity match #2',
   [[['Arrow', 19], None, None, None, ['Potion', 20]], 'arrow', 20, 20],
   {'slots': [['Arrow', 19], ['arrow', 20], None, None, ['Potion', 20]], 'leftover': 0}),
  ('regression item identity match #3',
   [[['Potion', 20], ['Arrow', 1], ['Potion', 10], ['Potion', 1]], 'arrow', 7, 20],
   {'slots': [['Potion', 20], ['Arrow', 1], ['Potion', 10], ['Potion', 1]], 'leftover': 7}),
  ('legacy overfull stack #1',
   [[['Arrow', 25], None], 'Arrow', 3, 20],
   {'slots': [['Arrow', 25], ['Arrow', 3]], 'leftover': 0}),
  ('two partial stacks #1',
   [[['Arrow', 18], ['Arrow', 15], None], 'Arrow', 4, 20],
   {'slots': [['Arrow', 20], ['Arrow', 17], None], 'leftover': 0}),
  ('control #1',
   [[['Arrow', 6], None, ['arrow', 5]], 'Potion', 0, 20],
   {'slots': [['Arrow', 6], None, ['arrow', 5]], 'leftover': 0})],
 [('case distinct item #1', [[['arrow', 3]], 'Arrow', 2, 20], {'slots': [['arrow', 3]], 'leftover': 2}),
  ('regression item identity match #1',
   [[['Arrow', 0], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]], 'arrow', 20, 20],
   {'slots': [['Arrow', 0], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]], 'leftover': 20}),
  ('fault site item identity match #1',
   [[['arrow', 20], None, ['Potion', 4], ['Arrow', 20], ['arrow', 19]], 'arrow', 45, 10],
   {'slots': [['arrow', 20], ['arrow', 10], ['Potion', 4], ['Arrow', 20], ['arrow', 19]], 'leftover': 35}),
  ('regression item identity match #2',
   [[['Potion', 17], ['arrow', 1], ['Arrow', 0], ['arrow', 19]], 'arrow', 45, 20],
   {'slots': [['Potion', 17], ['arrow', 20], ['Arrow', 0], ['arrow', 20]], 'leftover': 25}),
  ('regression item identity match #3',
   [[['arrow', 5], ['Arrow', 1]], 'Arrow', 1, 20],
   {'slots': [['arrow', 5], ['Arrow', 2]], 'leftover': 0}),
  ('legacy overfull stack #1',
   [[['Arrow', 25], None], 'Arrow', 3, 20],
   {'slots': [['Arrow', 25], ['Arrow', 3]], 'leftover': 0}),
  ('two partial stacks #1',
   [[['Arrow', 18], ['Arrow', 15], None], 'Arrow', 4, 20],
   {'slots': [['Arrow', 20], ['Arrow', 17], None], 'leftover': 0}),
  ('control #1',
   [[None, ['Arrow', 16], ['arrow', 20], None, ['Arrow', 25], None], 'Potion', 20, 10],
   {'slots': [['Potion', 10], ['Arrow', 16], ['arrow', 20], ['Potion', 10], ['Arrow', 25], None],
    'leftover': 0})],
 [('case distinct item #1', [[['arrow', 3]], 'Arrow', 2, 20], {'slots': [['arrow', 3]], 'leftover': 2}),
  ('regression item identity match #1',
   [[['Arrow', 19], None, None, None, ['Potion', 20]], 'arrow', 20, 20],
   {'slots': [['Arrow', 19], ['arrow', 20], None, None, ['Potion', 20]], 'leftover': 0}),
  ('regression item identity match #2',
   [[['Potion', 20], ['Arrow', 1], ['Potion', 10], ['Potion', 1]], 'arrow', 7, 20],
   {'slots': [['Potion', 20], ['Arrow', 1], ['Potion', 10], ['Potion', 1]], 'leftover': 7}),
  ('regression item identity match #3',
   [[['arrow', 0], None], 'Arrow', 45, 5],
   {'slots': [['arrow', 0], ['Arrow', 5]], 'leftover': 40}),
  ('regression item identity match #4',
   [[None, ['arrow', 5], None, None, ['Potion', 5], None], 'Arrow', 20, 10],
   {'slots': [['Arrow', 10], ['arrow', 5], ['Arrow', 10], None, ['Potion', 5], None], 'leftover': 0}),
  ('legacy overfull stack #1',
   [[['Arrow', 25], None], 'Arrow', 3, 20],
   {'slots': [['Arrow', 25], ['Arrow', 3]], 'leftover': 0}),
  ('two partial stacks #1',
   [[['Arrow', 18], ['Arrow', 15], None], 'Arrow', 4, 20],
   {'slots': [['Arrow', 20], ['Arrow', 17], None], 'leftover': 0}),
  ('control #1',
   [[['Potion', 20], None, ['Arrow', 13], ['arrow', 20]], 'Potion', 20, 5],
   {'slots': [['Potion', 20], ['Potion', 5], ['Arrow', 13], ['arrow', 20]], 'leftover': 15})]]
for label, args, expected in cases[N-1]:
    check(label, solve(*args), expected)
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
case distinct item #1{'leftover': 0, 'slots': [['arrow', 5]]}{'leftover': 2, 'slots': [['arrow', 3]]}Failed
fault site item identity match #1{'leftover': 40, 'slots': [['Potion', 5]]}{'leftover': 45, 'slots': [['Potion', 0]]}Failed
regression item identity match #1{'leftover': 0, 'slots': [None, ['Arrow', 20], ['arrow', 2], ['Potion', 20], ['arrow', 19]]}{'leftover': 0, 'slots': [None, ['Arrow', 1], ['arrow', 20], ['Potion', 20], ['arrow', 20]]}Failed
regression item identity match #2{'leftover': 30, 'slots': [['Arrow', 10], ['arrow', 10]]}{'leftover': 35, 'slots': [['Arrow', 5], ['arrow', 10]]}Failed
regression item identity match #3{'leftover': 0, 'slots': [['Arrow', 20], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]]}{'leftover': 20, 'slots': [['Arrow', 0], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]]}Failed
legacy overfull stack #1{'leftover': 0, 'slots': [['Arrow', 25], ['Arrow', 3]]}{'leftover': 0, 'slots': [['Arrow', 25], ['Arrow', 3]]}Passed
two partial stacks #1{'leftover': 0, 'slots': [['Arrow', 20], ['Arrow', 17], None]}{'leftover': 0, 'slots': [['Arrow', 20], ['Arrow', 17], None]}Passed
control #1{'leftover': 0, 'slots': [['Arrow', 6], None, ['arrow', 5]]}{'leftover': 0, 'slots': [['Arrow', 6], None, ['arrow', 5]]}Passed

SHA-256 / 4b25e189450df364f0997206b4b2ea0f91de6c729bbc446e22b51f4dbb1a0707

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(slots, item, qty, max_stack):
    slots = [s if s is None else list(s) for s in slots]
    left = qty
    for s in slots:
        if left == 0:
            break
        if s is not None and s[0].lower() == item.lower() and s[1] < max_stack:
            add = min(left, max_stack - s[1])
            s[1] += add
            left -= add
    for i in range(len(slots)):
        if left == 0:
            break
        if slots[i] is None:
            add = min(left, max_stack)
            slots[i] = [item, add]
            left -= add
    return {'slots': slots, 'leftover': left}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[('case distinct item #1', [[['arrow', 3]], 'Arrow', 2, 20], {'slots': [['arrow', 3]], 'leftover': 2}),
  ('fault site item identity match #1',
   [[['Potion', 0]], 'Arrow', 45, 5],
   {'slots': [['Potion', 0]], 'leftover': 45}),
  ('regression item identity match #1',
   [[None, ['Arrow', 1], ['arrow', 1], ['Potion', 20], ['arrow', 19]], 'arrow', 20, 20],
   {'slots': [None, ['Arrow', 1], ['arrow', 20], ['Potion', 20], ['arrow', 20]], 'leftover': 0}),
  ('regression item identity match #2',
   [[['Arrow', 5], None], 'arrow', 45, 10],
   {'slots': [['Arrow', 5], ['arrow', 10]], 'leftover': 35}),
  ('regression item identity match #3',
   [[['Arrow', 0], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]], 'arrow', 20, 20],
   {'slots': [['Arrow', 0], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]], 'leftover': 20}),
  ('legacy overfull stack #1',
   [[['Arrow', 25], None], 'Arrow', 3, 20],
   {'slots': [['Arrow', 25], ['Arrow', 3]], 'leftover': 0}),
  ('two partial stacks #1',
   [[['Arrow', 18], ['Arrow', 15], None], 'Arrow', 4, 20],
   {'slots': [['Arrow', 20], ['Arrow', 17], None], 'leftover': 0}),
  ('control #1',
   [[['Arrow', 6], None, ['arrow', 5]], 'Potion', 0, 20],
   {'slots': [['Arrow', 6], None, ['arrow', 5]], 'leftover': 0})],
 [('case distinct item #1', [[['arrow', 3]], 'Arrow', 2, 20], {'slots': [['arrow', 3]], 'leftover': 2}),
  ('regression item identity match #1',
   [[None, ['Arrow', 1], ['arrow', 1], ['Potion', 20], ['arrow', 19]], 'arrow', 20, 20],
   {'slots': [None, ['Arrow', 1], ['arrow', 20], ['Potion', 20], ['arrow', 20]], 'leftover': 0}),
  ('fault site item identity match #1',
   [[['arrow', 0], ['arrow', 5], ['Potion', 18]], 'Potion', 45, 5],
   {'slots': [['arrow', 0], ['arrow', 5], ['Potion', 18]], 'leftover': 45}),
  ('regression item identity match #2',
   [[['Arrow', 5], None], 'arrow', 45, 10],
   {'slots': [['Arrow', 5], ['arrow', 10]], 'leftover': 35}),
  ('regression item identity match #3',
   [[['Arrow', 0], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]], 'arrow', 20, 20],
   {'slots': [['Arrow', 0], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]], 'leftover': 20}),
  ('legacy overfull stack #1',
   [[['Arrow', 25], None], 'Arrow', 3, 20],
   {'slots': [['Arrow', 25], ['Arrow', 3]], 'leftover': 0}),
  ('two partial stacks #1',
   [[['Arrow', 18], ['Arrow', 15], None], 'Arrow', 4, 20],
   {'slots': [['Arrow', 20], ['Arrow', 17], None], 'leftover': 0}),
  ('control #1',
   [[['Arrow', 6], None, ['arrow', 5]], 'Potion', 0, 20],
   {'slots': [['Arrow', 6], None, ['arrow', 5]], 'leftover': 0})],
 [('case distinct item #1', [[['arrow', 3]], 'Arrow', 2, 20], {'slots': [['arrow', 3]], 'leftover': 2}),
  ('fault site item identity match #1',
   [[['arrow', 0]], 'Potion', 45, 5],
   {'slots': [['arrow', 0]], 'leftover': 45}),
  ('regression item identity match #1',
   [[['Arrow', 5], None], 'arrow', 45, 10],
   {'slots': [['Arrow', 5], ['arrow', 10]], 'leftover': 35}),
  ('regression item identity match #2',
   [[['Arrow', 19], None, None, None, ['Potion', 20]], 'arrow', 20, 20],
   {'slots': [['Arrow', 19], ['arrow', 20], None, None, ['Potion', 20]], 'leftover': 0}),
  ('regression item identity match #3',
   [[['Potion', 20], ['Arrow', 1], ['Potion', 10], ['Potion', 1]], 'arrow', 7, 20],
   {'slots': [['Potion', 20], ['Arrow', 1], ['Potion', 10], ['Potion', 1]], 'leftover': 7}),
  ('legacy overfull stack #1',
   [[['Arrow', 25], None], 'Arrow', 3, 20],
   {'slots': [['Arrow', 25], ['Arrow', 3]], 'leftover': 0}),
  ('two partial stacks #1',
   [[['Arrow', 18], ['Arrow', 15], None], 'Arrow', 4, 20],
   {'slots': [['Arrow', 20], ['Arrow', 17], None], 'leftover': 0}),
  ('control #1',
   [[['Arrow', 6], None, ['arrow', 5]], 'Potion', 0, 20],
   {'slots': [['Arrow', 6], None, ['arrow', 5]], 'leftover': 0})],
 [('case distinct item #1', [[['arrow', 3]], 'Arrow', 2, 20], {'slots': [['arrow', 3]], 'leftover': 2}),
  ('regression item identity match #1',
   [[['Arrow', 0], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]], 'arrow', 20, 20],
   {'slots': [['Arrow', 0], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]], 'leftover': 20}),
  ('fault site item identity match #1',
   [[['arrow', 20], None, ['Potion', 4], ['Arrow', 20], ['arrow', 19]], 'arrow', 45, 10],
   {'slots': [['arrow', 20], ['arrow', 10], ['Potion', 4], ['Arrow', 20], ['arrow', 19]], 'leftover': 35}),
  ('regression item identity match #2',
   [[['Potion', 17], ['arrow', 1], ['Arrow', 0], ['arrow', 19]], 'arrow', 45, 20],
   {'slots': [['Potion', 17], ['arrow', 20], ['Arrow', 0], ['arrow', 20]], 'leftover': 25}),
  ('regression item identity match #3',
   [[['arrow', 5], ['Arrow', 1]], 'Arrow', 1, 20],
   {'slots': [['arrow', 5], ['Arrow', 2]], 'leftover': 0}),
  ('legacy overfull stack #1',
   [[['Arrow', 25], None], 'Arrow', 3, 20],
   {'slots': [['Arrow', 25], ['Arrow', 3]], 'leftover': 0}),
  ('two partial stacks #1',
   [[['Arrow', 18], ['Arrow', 15], None], 'Arrow', 4, 20],
   {'slots': [['Arrow', 20], ['Arrow', 17], None], 'leftover': 0}),
  ('control #1',
   [[None, ['Arrow', 16], ['arrow', 20], None, ['Arrow', 25], None], 'Potion', 20, 10],
   {'slots': [['Potion', 10], ['Arrow', 16], ['arrow', 20], ['Potion', 10], ['Arrow', 25], None],
    'leftover': 0})],
 [('case distinct item #1', [[['arrow', 3]], 'Arrow', 2, 20], {'slots': [['arrow', 3]], 'leftover': 2}),
  ('regression item identity match #1',
   [[['Arrow', 19], None, None, None, ['Potion', 20]], 'arrow', 20, 20],
   {'slots': [['Arrow', 19], ['arrow', 20], None, None, ['Potion', 20]], 'leftover': 0}),
  ('regression item identity match #2',
   [[['Potion', 20], ['Arrow', 1], ['Potion', 10], ['Potion', 1]], 'arrow', 7, 20],
   {'slots': [['Potion', 20], ['Arrow', 1], ['Potion', 10], ['Potion', 1]], 'leftover': 7}),
  ('regression item identity match #3',
   [[['arrow', 0], None], 'Arrow', 45, 5],
   {'slots': [['arrow', 0], ['Arrow', 5]], 'leftover': 40}),
  ('regression item identity match #4',
   [[None, ['arrow', 5], None, None, ['Potion', 5], None], 'Arrow', 20, 10],
   {'slots': [['Arrow', 10], ['arrow', 5], ['Arrow', 10], None, ['Potion', 5], None], 'leftover': 0}),
  ('legacy overfull stack #1',
   [[['Arrow', 25], None], 'Arrow', 3, 20],
   {'slots': [['Arrow', 25], ['Arrow', 3]], 'leftover': 0}),
  ('two partial stacks #1',
   [[['Arrow', 18], ['Arrow', 15], None], 'Arrow', 4, 20],
   {'slots': [['Arrow', 20], ['Arrow', 17], None], 'leftover': 0}),
  ('control #1',
   [[['Potion', 20], None, ['Arrow', 13], ['arrow', 20]], 'Potion', 20, 5],
   {'slots': [['Potion', 20], ['Potion', 5], ['Arrow', 13], ['arrow', 20]], 'leftover': 15})]]
for label, args, expected in cases[N-1]:
    check(label, solve(*args), expected)
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
case distinct item #1{'leftover': 0, 'slots': [['arrow', 5]]}{'leftover': 2, 'slots': [['arrow', 3]]}Failed
fault site item identity match #1{'leftover': 45, 'slots': [['Potion', 0]]}{'leftover': 45, 'slots': [['Potion', 0]]}Passed
regression item identity match #1{'leftover': 0, 'slots': [None, ['Arrow', 20], ['arrow', 2], ['Potion', 20], ['arrow', 19]]}{'leftover': 0, 'slots': [None, ['Arrow', 1], ['arrow', 20], ['Potion', 20], ['arrow', 20]]}Failed
regression item identity match #2{'leftover': 30, 'slots': [['Arrow', 10], ['arrow', 10]]}{'leftover': 35, 'slots': [['Arrow', 5], ['arrow', 10]]}Failed
regression item identity match #3{'leftover': 0, 'slots': [['Arrow', 20], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]]}{'leftover': 20, 'slots': [['Arrow', 0], ['Arrow', 0], ['Arrow', 1], ['Arrow', 1]]}Failed
legacy overfull stack #1{'leftover': 0, 'slots': [['Arrow', 25], ['Arrow', 3]]}{'leftover': 0, 'slots': [['Arrow', 25], ['Arrow', 3]]}Passed
two partial stacks #1{'leftover': 0, 'slots': [['Arrow', 20], ['Arrow', 17], None]}{'leftover': 0, 'slots': [['Arrow', 20], ['Arrow', 17], None]}Passed
control #1{'leftover': 0, 'slots': [['Arrow', 6], None, ['arrow', 5]]}{'leftover': 0, 'slots': [['Arrow', 6], None, ['arrow', 5]]}Passed

SHA-256 / fc364f88dd780f41fb429a07f37bcf89741e6616a641712c5ee46796b1a358e4

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 8 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Sign in to the archive ↗

Verification & scope

Deterministic toy contract stipulated for this model; integer or exact arithmetic only, not a reproduction of any specific game engine. 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:50:47.080555+00:00.

Case digest / 9aa33d480deb7dd982580dc30c438deb1bf20a2dcaa0b1c48f2b9872d08b3e18