FAILURE MAP
← Case archive

FA-94891 / Warehouse slotting and bin packing / Open access

Golden zone: slot handed to several SKUs · case 01

Two SKUs are assigned to the same physical slot.

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

ROOT CAUSE

The chosen slot is never recorded as occupied, so later SKUs see it as free.

THE FAILURE

The chosen slot is never recorded as occupied, so later SKUs see it as free.

Unsuccessful approach: Recording a lookup of the slot in the result map adds the wrong key, so the slot still appears free.

Case contract

skus [[sku, weekly_picks, kg]], slots [[slot, level 1-5, ergonomic_score]]. Process SKUs by picks desc then sku. Each takes the best free eligible slot by score desc, level asc, slot id. Items over 20 kg may not be above level 2. Slots scoring 8+ are reserved for SKUs with at least 50 picks. No eligible slot -> None. Return [[sku, slot]] sorted by sku.

Why this case matters

Forward pick slotting places the fastest movers in ergonomic golden-zone locations.

1 / The failure

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

N = 1
observations = []
def solve(skus, slots):
    order = sorted(skus, key=lambda r: (-r[1], r[0]))
    used = set()
    out = {}
    for sku, picks, kg in order:
        best = None
        for s in sorted(slots, key=lambda s: (-s[2], s[1], s[0])):
            sid, lvl, score = s
            if sid in used:
                continue
            if kg > 20 and lvl > 2:
                continue
            if score >= 8 and picks < 50:
                continue
            best = sid
            break
        if best is not None:
            pass
        out[sku] = best
    return [[k, out[k]] for k in sorted(out)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['two skus compete', [[['a', 90, 1], ['b', 90, 1]], [['s1', 2, 9], ['s2', 3, 5]]], [['a', 's1'], ['b', 's2']]], ['tie in feed order', [[['b', 90, 1], ['a', 90, 1]], [['s1', 2, 9], ['s2', 3, 5]]], [['a', 's1'], ['b', 's2']]], ['heavy on level 2 ok', [[['h', 60, 25]], [['a', 3, 9], ['b', 2, 7]]], [['h', 'b']]], ['score tie prefers low level', [[['q', 10, 1]], [['z', 1, 6], ['a', 3, 6]]], [['q', 'z']]], ['exactly 20 kg is not heavy', [[['e', 5, 20]], [['t', 4, 7], ['u', 1, 3]]], [['e', 't']]], ['reservation at 50 picks', [[['f', 50, 5], ['s', 49, 5]], [['g', 2, 8], ['n', 1, 6]]], [['f', 'g'], ['s', 'n']]], ['no eligible slot', [[['w', 5, 40]], [['a', 4, 5]]], [['w', None]]], ['generated mix 8', [[['K0', 10, 15], ['K1', 80, 30], ['K2', 80, 2], ['K3', 80, 20], ['K4', 0, 2]], [['L0', 4, 6], ['L1', 3, 3], ['L2', 1, 9], ['L3', 5, 5], ['L4', 2, 10]]], [['K0', 'L3'], ['K1', 'L4'], ['K2', 'L2'], ['K3', 'L0'], ['K4', 'L1']]]], [['generated mix 8', [[['K0', 10, 15], ['K1', 80, 30], ['K2', 80, 2], ['K3', 80, 20], ['K4', 0, 2]], [['L0', 4, 6], ['L1', 3, 3], ['L2', 1, 9], ['L3', 5, 5], ['L4', 2, 10]]], [['K0', 'L3'], ['K1', 'L4'], ['K2', 'L2'], ['K3', 'L0'], ['K4', 'L1']]], ['generated mix 7', [[['K0', 51, 15], ['K1', 80, 30], ['K2', 10, 21]], [['L0', 1, 8], ['L1', 2, 3]]], [['K0', 'L1'], ['K1', 'L0'], ['K2', None]]], ['no eligible slot', [[['w', 5, 40]], [['a', 4, 5]]], [['w', None]]], ['tie in feed order', [[['b', 90, 1], ['a', 90, 1]], [['s1', 2, 9], ['s2', 3, 5]]], [['a', 's1'], ['b', 's2']]], ['heavy on level 2 ok', [[['h', 60, 25]], [['a', 3, 9], ['b', 2, 7]]], [['h', 'b']]], ['score tie prefers low level', [[['q', 10, 1]], [['z', 1, 6], ['a', 3, 6]]], [['q', 'z']]], ['generated mix 11', [[['K0', 51, 30], ['K1', 80, 2], ['K2', 80, 2], ['K3', 0, 30], ['K4', 49, 21], ['K5', 51, 20]], [['L0', 1, 3], ['L1', 2, 5], ['L2', 2, 5]]], [['K0', 'L0'], ['K1', 'L1'], ['K2', 'L2'], ['K3', None], ['K4', None], ['K5', None]]], ['generated mix 19', [[['K0', 80, 21], ['K1', 80, 2], ['K2', 10, 21], ['K3', 80, 15], ['K4', 49, 15]], [['L0', 5, 10], ['L1', 5, 9], ['L2', 1, 3], ['L3', 1, 6], ['L4', 1, 8]]], [['K0', 'L4'], ['K1', 'L0'], ['K2', 'L2'], ['K3', 'L1'], ['K4', 'L3']]]], [['generated mix 18', [[['K0', 80, 20], ['K1', 120, 20], ['K2', 120, 30], ['K3', 120, 20], ['K4', 80, 21], ['K5', 10, 20]], [['L0', 1, 10], ['L1', 4, 8], ['L2', 1, 5], ['L3', 1, 3], ['L4', 2, 5], ['L5', 1, 3]]], [['K0', 'L4'], ['K1', 'L0'], ['K2', 'L2'], ['K3', 'L1'], ['K4', 'L3'], ['K5', 'L5']]], ['generated mix 13', [[['K0', 0, 30], ['K1', 80, 2], ['K2', 50, 21]], [['L0', 2, 3], ['L1', 1, 8], ['L2', 2, 3]]], [['K0', 'L2'], ['K1', 'L1'], ['K2', 'L0']]], ['exactly 20 kg is not heavy', [[['e', 5, 20]], [['t', 4, 7], ['u', 1, 3]]], [['e', 't']]], ['reservation at 50 picks', [[['f', 50, 5], ['s', 49, 5]], [['g', 2, 8], ['n', 1, 6]]], [['f', 'g'], ['s', 'n']]], ['no eligible slot', [[['w', 5, 40]], [['a', 4, 5]]], [['w', None]]], ['tie in feed order', [[['b', 90, 1], ['a', 90, 1]], [['s1', 2, 9], ['s2', 3, 5]]], [['a', 's1'], ['b', 's2']]], ['generated mix 22', [[['K0', 120, 20], ['K1', 80, 2], ['K2', 120, 15], ['K3', 80, 2], ['K4', 49, 20], ['K5', 0, 15]], [['L0', 2, 3], ['L1', 4, 8], ['L2', 4, 10], ['L3', 2, 10], ['L4', 1, 3]]], [['K0', 'L3'], ['K1', 'L1'], ['K2', 'L2'], ['K3', 'L4'], ['K4', 'L0'], ['K5', None]]], ['generated mix 30', [[['K0', 50, 15], ['K1', 80, 30]], [['L0', 3, 10], ['L1', 2, 8], ['L2', 5, 3], ['L3', 2, 9]]], [['K0', 'L0'], ['K1', 'L3']]]], [['generated mix 33', [[['K0', 10, 30], ['K1', 120, 30], ['K2', 0, 21]], [['L0', 1, 5], ['L1', 4, 3]]], [['K0', None], ['K1', 'L0'], ['K2', None]]], ['generated mix 22', [[['K0', 120, 20], ['K1', 80, 2], ['K2', 120, 15], ['K3', 80, 2], ['K4', 49, 20], ['K5', 0, 15]], [['L0', 2, 3], ['L1', 4, 8], ['L2', 4, 10], ['L3', 2, 10], ['L4', 1, 3]]], [['K0', 'L3'], ['K1', 'L1'], ['K2', 'L2'], ['K3', 'L4'], ['K4', 'L0'], ['K5', None]]], ['score tie prefers low level', [[['q', 10, 1]], [['z', 1, 6], ['a', 3, 6]]], [['q', 'z']]], ['two skus compete', [[['a', 90, 1], ['b', 90, 1]], [['s1', 2, 9], ['s2', 3, 5]]], [['a', 's1'], ['b', 's2']]], ['exactly 20 kg is not heavy', [[['e', 5, 20]], [['t', 4, 7], ['u', 1, 3]]], [['e', 't']]], ['reservation at 50 picks', [[['f', 50, 5], ['s', 49, 5]], [['g', 2, 8], ['n', 1, 6]]], [['f', 'g'], ['s', 'n']]], ['generated mix 32', [[['K0', 51, 2], ['K1', 51, 21]], [['L0', 1, 3], ['L1', 5, 6], ['L2', 5, 10], ['L3', 2, 9], ['L4', 3, 8], ['L5', 5, 5]]], [['K0', 'L2'], ['K1', 'L3']]], ['generated mix 41', [[['K0', 120, 2], ['K1', 49, 2]], [['L0', 1, 5], ['L1', 2, 5], ['L2', 1, 10], ['L3', 1, 9]]], [['K0', 'L2'], ['K1', 'L0']]]], [['generated mix 47', [[['K0', 10, 15], ['K1', 10, 2], ['K2', 80, 30], ['K3', 51, 21], ['K4', 50, 15]], [['L0', 4, 8], ['L1', 1, 8], ['L2', 3, 5], ['L3', 2, 6]]], [['K0', 'L2'], ['K1', None], ['K2', 'L1'], ['K3', 'L3'], ['K4', 'L0']]], ['generated mix 33', [[['K0', 10, 30], ['K1', 120, 30], ['K2', 0, 21]], [['L0', 1, 5], ['L1', 4, 3]]], [['K0', None], ['K1', 'L0'], ['K2', None]]], ['tie in feed order', [[['b', 90, 1], ['a', 90, 1]], [['s1', 2, 9], ['s2', 3, 5]]], [['a', 's1'], ['b', 's2']]], ['heavy on level 2 ok', [[['h', 60, 25]], [['a', 3, 9], ['b', 2, 7]]], [['h', 'b']]], ['score tie prefers low level', [[['q', 10, 1]], [['z', 1, 6], ['a', 3, 6]]], [['q', 'z']]], ['two skus compete', [[['a', 90, 1], ['b', 90, 1]], [['s1', 2, 9], ['s2', 3, 5]]], [['a', 's1'], ['b', 's2']]], ['generated mix 43', [[['K0', 120, 21], ['K1', 49, 21], ['K2', 80, 21], ['K3', 49, 21], ['K4', 80, 30]], [['L0', 2, 5], ['L1', 4, 9], ['L2', 5, 3], ['L3', 2, 5], ['L4', 2, 3], ['L5', 1, 9], ['L6', 1, 8]]], [['K0', 'L5'], ['K1', 'L3'], ['K2', 'L6'], ['K3', 'L4'], ['K4', 'L0']]], ['generated mix 52', [[['K0', 10, 20], ['K1', 10, 15], ['K2', 0, 21], ['K3', 0, 30], ['K4', 0, 20]], [['L0', 5, 9], ['L1', 3, 5]]], [['K0', 'L1'], ['K1', None], ['K2', None], ['K3', None], ['K4', None]]]]]
for label, args, expected in fixtures[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
two skus compete[['a', 's1'], ['b', 's1']][['a', 's1'], ['b', 's2']]Failed
tie in feed order[['a', 's1'], ['b', 's1']][['a', 's1'], ['b', 's2']]Failed
heavy on level 2 ok[['h', 'b']][['h', 'b']]Passed
score tie prefers low level[['q', 'z']][['q', 'z']]Passed
exactly 20 kg is not heavy[['e', 't']][['e', 't']]Passed
reservation at 50 picks[['f', 'g'], ['s', 'n']][['f', 'g'], ['s', 'n']]Passed
no eligible slot[['w', None]][['w', None]]Passed
generated mix 8[['K0', 'L0'], ['K1', 'L4'], ['K2', 'L4'], ['K3', 'L4'], ['K4', 'L0']][['K0', 'L3'], ['K1', 'L4'], ['K2', 'L2'], ['K3', 'L0'], ['K4', 'L1']]Failed

SHA-256 / 9bddfac3e2f7fcae1de4bfe6172c5afa690fee56a89de17900ccf064c34f6886

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(skus, slots):
    order = sorted(skus, key=lambda r: (-r[1], r[0]))
    used = set()
    out = {}
    for sku, picks, kg in order:
        best = None
        for s in sorted(slots, key=lambda s: (-s[2], s[1], s[0])):
            sid, lvl, score = s
            if sid in used:
                continue
            if kg > 20 and lvl > 2:
                continue
            if score >= 8 and picks < 50:
                continue
            best = sid
            break
        if best is not None:
            used.add(out.get(best))
        out[sku] = best
    return [[k, out[k]] for k in sorted(out)]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['two skus compete', [[['a', 90, 1], ['b', 90, 1]], [['s1', 2, 9], ['s2', 3, 5]]], [['a', 's1'], ['b', 's2']]], ['tie in feed order', [[['b', 90, 1], ['a', 90, 1]], [['s1', 2, 9], ['s2', 3, 5]]], [['a', 's1'], ['b', 's2']]], ['heavy on level 2 ok', [[['h', 60, 25]], [['a', 3, 9], ['b', 2, 7]]], [['h', 'b']]], ['score tie prefers low level', [[['q', 10, 1]], [['z', 1, 6], ['a', 3, 6]]], [['q', 'z']]], ['exactly 20 kg is not heavy', [[['e', 5, 20]], [['t', 4, 7], ['u', 1, 3]]], [['e', 't']]], ['reservation at 50 picks', [[['f', 50, 5], ['s', 49, 5]], [['g', 2, 8], ['n', 1, 6]]], [['f', 'g'], ['s', 'n']]], ['no eligible slot', [[['w', 5, 40]], [['a', 4, 5]]], [['w', None]]], ['generated mix 8', [[['K0', 10, 15], ['K1', 80, 30], ['K2', 80, 2], ['K3', 80, 20], ['K4', 0, 2]], [['L0', 4, 6], ['L1', 3, 3], ['L2', 1, 9], ['L3', 5, 5], ['L4', 2, 10]]], [['K0', 'L3'], ['K1', 'L4'], ['K2', 'L2'], ['K3', 'L0'], ['K4', 'L1']]]], [['generated mix 8', [[['K0', 10, 15], ['K1', 80, 30], ['K2', 80, 2], ['K3', 80, 20], ['K4', 0, 2]], [['L0', 4, 6], ['L1', 3, 3], ['L2', 1, 9], ['L3', 5, 5], ['L4', 2, 10]]], [['K0', 'L3'], ['K1', 'L4'], ['K2', 'L2'], ['K3', 'L0'], ['K4', 'L1']]], ['generated mix 7', [[['K0', 51, 15], ['K1', 80, 30], ['K2', 10, 21]], [['L0', 1, 8], ['L1', 2, 3]]], [['K0', 'L1'], ['K1', 'L0'], ['K2', None]]], ['no eligible slot', [[['w', 5, 40]], [['a', 4, 5]]], [['w', None]]], ['tie in feed order', [[['b', 90, 1], ['a', 90, 1]], [['s1', 2, 9], ['s2', 3, 5]]], [['a', 's1'], ['b', 's2']]], ['heavy on level 2 ok', [[['h', 60, 25]], [['a', 3, 9], ['b', 2, 7]]], [['h', 'b']]], ['score tie prefers low level', [[['q', 10, 1]], [['z', 1, 6], ['a', 3, 6]]], [['q', 'z']]], ['generated mix 11', [[['K0', 51, 30], ['K1', 80, 2], ['K2', 80, 2], ['K3', 0, 30], ['K4', 49, 21], ['K5', 51, 20]], [['L0', 1, 3], ['L1', 2, 5], ['L2', 2, 5]]], [['K0', 'L0'], ['K1', 'L1'], ['K2', 'L2'], ['K3', None], ['K4', None], ['K5', None]]], ['generated mix 19', [[['K0', 80, 21], ['K1', 80, 2], ['K2', 10, 21], ['K3', 80, 15], ['K4', 49, 15]], [['L0', 5, 10], ['L1', 5, 9], ['L2', 1, 3], ['L3', 1, 6], ['L4', 1, 8]]], [['K0', 'L4'], ['K1', 'L0'], ['K2', 'L2'], ['K3', 'L1'], ['K4', 'L3']]]], [['generated mix 18', [[['K0', 80, 20], ['K1', 120, 20], ['K2', 120, 30], ['K3', 120, 20], ['K4', 80, 21], ['K5', 10, 20]], [['L0', 1, 10], ['L1', 4, 8], ['L2', 1, 5], ['L3', 1, 3], ['L4', 2, 5], ['L5', 1, 3]]], [['K0', 'L4'], ['K1', 'L0'], ['K2', 'L2'], ['K3', 'L1'], ['K4', 'L3'], ['K5', 'L5']]], ['generated mix 13', [[['K0', 0, 30], ['K1', 80, 2], ['K2', 50, 21]], [['L0', 2, 3], ['L1', 1, 8], ['L2', 2, 3]]], [['K0', 'L2'], ['K1', 'L1'], ['K2', 'L0']]], ['exactly 20 kg is not heavy', [[['e', 5, 20]], [['t', 4, 7], ['u', 1, 3]]], [['e', 't']]], ['reservation at 50 picks', [[['f', 50, 5], ['s', 49, 5]], [['g', 2, 8], ['n', 1, 6]]], [['f', 'g'], ['s', 'n']]], ['no eligible slot', [[['w', 5, 40]], [['a', 4, 5]]], [['w', None]]], ['tie in feed order', [[['b', 90, 1], ['a', 90, 1]], [['s1', 2, 9], ['s2', 3, 5]]], [['a', 's1'], ['b', 's2']]], ['generated mix 22', [[['K0', 120, 20], ['K1', 80, 2], ['K2', 120, 15], ['K3', 80, 2], ['K4', 49, 20], ['K5', 0, 15]], [['L0', 2, 3], ['L1', 4, 8], ['L2', 4, 10], ['L3', 2, 10], ['L4', 1, 3]]], [['K0', 'L3'], ['K1', 'L1'], ['K2', 'L2'], ['K3', 'L4'], ['K4', 'L0'], ['K5', None]]], ['generated mix 30', [[['K0', 50, 15], ['K1', 80, 30]], [['L0', 3, 10], ['L1', 2, 8], ['L2', 5, 3], ['L3', 2, 9]]], [['K0', 'L0'], ['K1', 'L3']]]], [['generated mix 33', [[['K0', 10, 30], ['K1', 120, 30], ['K2', 0, 21]], [['L0', 1, 5], ['L1', 4, 3]]], [['K0', None], ['K1', 'L0'], ['K2', None]]], ['generated mix 22', [[['K0', 120, 20], ['K1', 80, 2], ['K2', 120, 15], ['K3', 80, 2], ['K4', 49, 20], ['K5', 0, 15]], [['L0', 2, 3], ['L1', 4, 8], ['L2', 4, 10], ['L3', 2, 10], ['L4', 1, 3]]], [['K0', 'L3'], ['K1', 'L1'], ['K2', 'L2'], ['K3', 'L4'], ['K4', 'L0'], ['K5', None]]], ['score tie prefers low level', [[['q', 10, 1]], [['z', 1, 6], ['a', 3, 6]]], [['q', 'z']]], ['two skus compete', [[['a', 90, 1], ['b', 90, 1]], [['s1', 2, 9], ['s2', 3, 5]]], [['a', 's1'], ['b', 's2']]], ['exactly 20 kg is not heavy', [[['e', 5, 20]], [['t', 4, 7], ['u', 1, 3]]], [['e', 't']]], ['reservation at 50 picks', [[['f', 50, 5], ['s', 49, 5]], [['g', 2, 8], ['n', 1, 6]]], [['f', 'g'], ['s', 'n']]], ['generated mix 32', [[['K0', 51, 2], ['K1', 51, 21]], [['L0', 1, 3], ['L1', 5, 6], ['L2', 5, 10], ['L3', 2, 9], ['L4', 3, 8], ['L5', 5, 5]]], [['K0', 'L2'], ['K1', 'L3']]], ['generated mix 41', [[['K0', 120, 2], ['K1', 49, 2]], [['L0', 1, 5], ['L1', 2, 5], ['L2', 1, 10], ['L3', 1, 9]]], [['K0', 'L2'], ['K1', 'L0']]]], [['generated mix 47', [[['K0', 10, 15], ['K1', 10, 2], ['K2', 80, 30], ['K3', 51, 21], ['K4', 50, 15]], [['L0', 4, 8], ['L1', 1, 8], ['L2', 3, 5], ['L3', 2, 6]]], [['K0', 'L2'], ['K1', None], ['K2', 'L1'], ['K3', 'L3'], ['K4', 'L0']]], ['generated mix 33', [[['K0', 10, 30], ['K1', 120, 30], ['K2', 0, 21]], [['L0', 1, 5], ['L1', 4, 3]]], [['K0', None], ['K1', 'L0'], ['K2', None]]], ['tie in feed order', [[['b', 90, 1], ['a', 90, 1]], [['s1', 2, 9], ['s2', 3, 5]]], [['a', 's1'], ['b', 's2']]], ['heavy on level 2 ok', [[['h', 60, 25]], [['a', 3, 9], ['b', 2, 7]]], [['h', 'b']]], ['score tie prefers low level', [[['q', 10, 1]], [['z', 1, 6], ['a', 3, 6]]], [['q', 'z']]], ['two skus compete', [[['a', 90, 1], ['b', 90, 1]], [['s1', 2, 9], ['s2', 3, 5]]], [['a', 's1'], ['b', 's2']]], ['generated mix 43', [[['K0', 120, 21], ['K1', 49, 21], ['K2', 80, 21], ['K3', 49, 21], ['K4', 80, 30]], [['L0', 2, 5], ['L1', 4, 9], ['L2', 5, 3], ['L3', 2, 5], ['L4', 2, 3], ['L5', 1, 9], ['L6', 1, 8]]], [['K0', 'L5'], ['K1', 'L3'], ['K2', 'L6'], ['K3', 'L4'], ['K4', 'L0']]], ['generated mix 52', [[['K0', 10, 20], ['K1', 10, 15], ['K2', 0, 21], ['K3', 0, 30], ['K4', 0, 20]], [['L0', 5, 9], ['L1', 3, 5]]], [['K0', 'L1'], ['K1', None], ['K2', None], ['K3', None], ['K4', None]]]]]
for label, args, expected in fixtures[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
two skus compete[['a', 's1'], ['b', 's1']][['a', 's1'], ['b', 's2']]Failed
tie in feed order[['a', 's1'], ['b', 's1']][['a', 's1'], ['b', 's2']]Failed
heavy on level 2 ok[['h', 'b']][['h', 'b']]Passed
score tie prefers low level[['q', 'z']][['q', 'z']]Passed
exactly 20 kg is not heavy[['e', 't']][['e', 't']]Passed
reservation at 50 picks[['f', 'g'], ['s', 'n']][['f', 'g'], ['s', 'n']]Passed
no eligible slot[['w', None]][['w', None]]Passed
generated mix 8[['K0', 'L0'], ['K1', 'L4'], ['K2', 'L4'], ['K3', 'L4'], ['K4', 'L0']][['K0', 'L3'], ['K1', 'L4'], ['K2', 'L2'], ['K3', 'L0'], ['K4', 'L1']]Failed

SHA-256 / 99351f8cba8579799bc01092f7075da68b5bc7d22d96afe7d44f43c72b94acba

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

Greedy stipulated slotting policy; real slotting optimizers weigh many more factors. 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:52:08.610542+00:00.

Case digest / 21b1d03f1fb12d60393358392fa5a161225b1820cbc2c3421f87b4ab0dc576c6