FAILURE MAP
← Case archive

FA-58091 / Double-entry ledger accounting / Open access

FIFO perpetual inventory journal: layer merge target · case 01

New purchases jump the FIFO queue when their cost matches the oldest layer.

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

ROOT CAUSE

The merge test compares against the oldest layer instead of the newest one.

VERIFIED REPAIR

Merge only into the newest layer when costs match.

Unsuccessful approach: Merging whenever any layer has the cost adds quantity to the newest layer at a different cost.

Case contract

x = [['buy', qty, unit_cost] | ['sell', qty, unit_price] | ['purchase_return', qty, unit_cost]]. Layers are kept oldest first; a buy at the same cost as the newest layer merges into it. A sale consumes layers oldest first (COGS) and records revenue; a sale exceeding on-hand quantity is rejected whole. A purchase return removes qty from the newest layer at that cost holding at least qty, else it is rejected. Emptied layers are removed. Return {'cogs', 'revenue', 'inventory': sum qty*cost, 'layers', 'rejected': event indexes}.

Why this case matters

Ledger software must keep debits equal to credits and apply normal-balance, period and cutoff rules exactly; small sign or boundary slips silently misstate financial statements.

1 / The failure

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

N = 1
observations = []
def solve(x):
    layers = []
    cogs = revenue = 0
    short = []
    for i, ev in enumerate(x):
        if ev[0] == 'buy':
            if layers and layers[0][1] == ev[2]:
                layers[-1][0] += ev[1]
            else:
                layers.append([ev[1], ev[2]])
        elif ev[0] == 'sell':
            qty = ev[1]
            if qty > sum(l[0] for l in layers):
                short.append(i)
                continue
            revenue += qty * ev[2]
            while qty:
                head = layers[0]
                take = min(qty, head[0])
                cogs += take * head[1]
                head[0] -= take
                qty -= take
                if head[0] == 0:
                    layers.pop(0)
        elif ev[0] == 'purchase_return':
            match = [l for l in layers if l[1] == ev[2] and l[0] >= ev[1]]
            if not match:
                short.append(i)
                continue
            match[-1][0] -= ev[1]
            if match[-1][0] == 0:
                layers.remove(match[-1])
    inventory = sum(q * c for q, c in layers)
    return {'cogs': cogs, 'revenue': revenue, 'inventory': inventory, 'layers': layers, 'rejected': short}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: layer merge target', [['sell', 3, 250], ['buy', 2, 120], ['purchase_return', 1, 100], ['buy', 5, 100], ['buy', 2, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 980, 'layers': [[2, 120], [5, 100], [2, 120]], 'rejected': [0, 2]}], ['control 1', [['buy', 5, 150], ['sell', 3, 250], ['sell', 2, 250], ['buy', 10, 100], ['buy', 10, 120], ['purchase_return', 2, 100], ['purchase_return', 5, 100], ['buy', 10, 150], ['buy', 2, 120], ['purchase_return', 5, 100]], {'cogs': 750, 'revenue': 1250, 'inventory': 3240, 'layers': [[3, 100], [10, 120], [10, 150], [2, 120]], 'rejected': [9]}], ['control 2', [['buy', 1, 120], ['sell', 12, 200], ['sell', 2, 250], ['sell', 2, 250]], {'cogs': 0, 'revenue': 0, 'inventory': 120, 'layers': [[1, 120]], 'rejected': [1, 2, 3]}], ['control 3', [['buy', 5, 100], ['sell', 3, 250], ['sell', 12, 200]], {'cogs': 300, 'revenue': 750, 'inventory': 200, 'layers': [[2, 100]], 'rejected': [2]}], ['control 4', [['buy', 10, 120], ['purchase_return', 1, 100], ['sell', 1, 200], ['purchase_return', 2, 100], ['sell', 2, 200], ['purchase_return', 1, 120], ['buy', 10, 120], ['buy', 5, 120]], {'cogs': 360, 'revenue': 600, 'inventory': 2520, 'layers': [[21, 120]], 'rejected': [1, 3]}], ['control 5', [['sell', 12, 250], ['sell', 12, 200], ['buy', 5, 100], ['sell', 12, 250], ['sell', 12, 200], ['purchase_return', 1, 100], ['sell', 3, 250]], {'cogs': 300, 'revenue': 750, 'inventory': 100, 'layers': [[1, 100]], 'rejected': [0, 1, 3, 4]}], ['control 6', [['buy', 5, 100], ['sell', 3, 250], ['buy', 5, 100]], {'cogs': 300, 'revenue': 750, 'inventory': 700, 'layers': [[7, 100]], 'rejected': []}]], [['regression: layer merge target', [['buy', 10, 150], ['sell', 3, 250], ['sell', 12, 200], ['buy', 5, 120], ['sell', 3, 200], ['buy', 1, 100], ['sell', 1, 250], ['buy', 2, 100], ['sell', 12, 200], ['buy', 10, 100]], {'cogs': 1050, 'revenue': 1600, 'inventory': 2350, 'layers': [[3, 150], [5, 120], [13, 100]], 'rejected': [2, 8]}], ['regression: layer merge target, partial-repair probe', [['sell', 2, 250], ['purchase_return', 1, 150], ['buy', 10, 100], ['buy', 10, 150], ['buy', 2, 150], ['buy', 2, 100], ['sell', 2, 250], ['sell', 3, 250], ['buy', 5, 120]], {'cogs': 500, 'revenue': 1250, 'inventory': 3100, 'layers': [[5, 100], [12, 150], [2, 100], [5, 120]], 'rejected': [0, 1]}], ['control 1', [['sell', 12, 200], ['sell', 6, 250], ['sell', 6, 200]], {'cogs': 0, 'revenue': 0, 'inventory': 0, 'layers': [], 'rejected': [0, 1, 2]}], ['control 2', [['buy', 10, 100], ['sell', 12, 250], ['sell', 2, 250], ['sell', 12, 200], ['sell', 6, 200], ['buy', 1, 150], ['buy', 2, 120]], {'cogs': 800, 'revenue': 1700, 'inventory': 590, 'layers': [[2, 100], [1, 150], [2, 120]], 'rejected': [1, 3]}], ['control 3', [['purchase_return', 2, 100], ['sell', 12, 250], ['buy', 10, 100], ['buy', 1, 100], ['sell', 6, 200]], {'cogs': 600, 'revenue': 1200, 'inventory': 500, 'layers': [[5, 100]], 'rejected': [0, 1]}], ['control 4', [['buy', 10, 120], ['sell', 1, 200], ['buy', 10, 120], ['buy', 2, 120], ['sell', 6, 250], ['buy', 1, 100], ['buy', 2, 150], ['sell', 1, 250]], {'cogs': 960, 'revenue': 1950, 'inventory': 2080, 'layers': [[14, 120], [1, 100], [2, 150]], 'rejected': []}], ['control 5', [['sell', 12, 200], ['buy', 10, 100], ['buy', 2, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 1240, 'layers': [[10, 100], [2, 120]], 'rejected': [0]}]], [['regression: layer merge target', [['sell', 1, 250], ['buy', 5, 100], ['buy', 10, 100], ['sell', 2, 250], ['buy', 2, 100], ['buy', 10, 100], ['sell', 6, 200], ['buy', 1, 120], ['buy', 10, 150], ['buy', 10, 150]], {'cogs': 800, 'revenue': 1700, 'inventory': 5020, 'layers': [[19, 100], [1, 120], [20, 150]], 'rejected': [0]}], ['regression: layer merge target, partial-repair probe', [['purchase_return', 2, 100], ['buy', 10, 150], ['buy', 1, 120], ['purchase_return', 2, 100], ['sell', 6, 200], ['purchase_return', 1, 100], ['buy', 10, 100], ['sell', 3, 250], ['buy', 2, 120], ['sell', 2, 200]], {'cogs': 1620, 'revenue': 2350, 'inventory': 1240, 'layers': [[10, 100], [2, 120]], 'rejected': [0, 3, 5]}], ['control 1', [['purchase_return', 5, 100], ['sell', 2, 250], ['buy', 2, 100], ['buy', 1, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 320, 'layers': [[2, 100], [1, 120]], 'rejected': [0, 1]}], ['control 2', [['purchase_return', 1, 100], ['sell', 1, 200], ['sell', 1, 250], ['sell', 3, 200], ['sell', 6, 200], ['buy', 10, 120], ['buy', 2, 150], ['buy', 2, 100], ['purchase_return', 2, 150]], {'cogs': 0, 'revenue': 0, 'inventory': 1400, 'layers': [[10, 120], [2, 100]], 'rejected': [0, 1, 2, 3, 4]}], ['control 3', [['buy', 1, 100], ['purchase_return', 5, 100], ['sell', 3, 200], ['buy', 1, 150], ['buy', 1, 150], ['sell', 3, 200], ['buy', 2, 120], ['buy', 10, 120]], {'cogs': 400, 'revenue': 600, 'inventory': 1440, 'layers': [[12, 120]], 'rejected': [1, 2]}], ['control 4', [['purchase_return', 1, 100], ['buy', 2, 150], ['sell', 6, 200], ['sell', 2, 250], ['buy', 5, 120], ['buy', 5, 150], ['sell', 1, 250], ['purchase_return', 2, 100]], {'cogs': 420, 'revenue': 750, 'inventory': 1230, 'layers': [[4, 120], [5, 150]], 'rejected': [0, 2, 7]}], ['control 5', [['buy', 2, 120], ['purchase_return', 1, 150], ['buy', 1, 100], ['buy', 5, 100], ['sell', 3, 200]], {'cogs': 340, 'revenue': 600, 'inventory': 500, 'layers': [[5, 100]], 'rejected': [1]}]], [['regression: layer merge target', [['buy', 2, 150], ['buy', 10, 120], ['sell', 1, 200], ['purchase_return', 5, 100], ['buy', 1, 100], ['buy', 2, 150], ['buy', 1, 100], ['buy', 5, 100], ['sell', 3, 200]], {'cogs': 540, 'revenue': 800, 'inventory': 1960, 'layers': [[8, 120], [1, 100], [2, 150], [6, 100]], 'rejected': [3]}], ['control 1', [['sell', 1, 250], ['sell', 3, 200], ['purchase_return', 1, 100], ['buy', 2, 120], ['buy', 5, 150], ['sell', 3, 200], ['sell', 1, 200], ['sell', 6, 250], ['buy', 2, 120]], {'cogs': 540, 'revenue': 800, 'inventory': 690, 'layers': [[3, 150], [2, 120]], 'rejected': [0, 1, 2, 7]}], ['control 2', [['buy', 1, 100], ['purchase_return', 2, 150], ['purchase_return', 1, 120], ['purchase_return', 2, 100], ['buy', 5, 100], ['buy', 10, 100], ['buy', 1, 150], ['buy', 1, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 1870, 'layers': [[16, 100], [1, 150], [1, 120]], 'rejected': [1, 2, 3]}], ['control 3', [['buy', 1, 100], ['buy', 2, 120], ['buy', 2, 120], ['sell', 3, 200], ['sell', 12, 200], ['buy', 5, 120], ['sell', 3, 200], ['purchase_return', 1, 100], ['buy', 2, 100]], {'cogs': 700, 'revenue': 1200, 'inventory': 680, 'layers': [[4, 120], [2, 100]], 'rejected': [4, 7]}], ['control 4', [['sell', 3, 250], ['purchase_return', 1, 150], ['purchase_return', 2, 120], ['sell', 6, 200], ['purchase_return', 2, 100]], {'cogs': 0, 'revenue': 0, 'inventory': 0, 'layers': [], 'rejected': [0, 1, 2, 3, 4]}], ['control 5', [['sell', 6, 250], ['sell', 2, 250], ['sell', 3, 250], ['sell', 12, 250], ['sell', 12, 250], ['sell', 3, 250], ['buy', 1, 100], ['buy', 5, 120], ['buy', 5, 150], ['buy', 2, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 1690, 'layers': [[1, 100], [5, 120], [5, 150], [2, 120]], 'rejected': [0, 1, 2, 3, 4, 5]}], ['control 6', [['sell', 6, 200], ['purchase_return', 1, 150], ['buy', 5, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 600, 'layers': [[5, 120]], 'rejected': [0, 1]}]], [['regression: layer merge target', [['buy', 2, 150], ['buy', 2, 100], ['buy', 2, 150]], {'cogs': 0, 'revenue': 0, 'inventory': 800, 'layers': [[2, 150], [2, 100], [2, 150]], 'rejected': []}], ['control 1', [['buy', 10, 100], ['buy', 10, 150], ['purchase_return', 5, 100], ['sell', 6, 200], ['sell', 3, 200], ['sell', 2, 200]], {'cogs': 1400, 'revenue': 2200, 'inventory': 600, 'layers': [[4, 150]], 'rejected': []}], ['control 2', [['purchase_return', 2, 100], ['sell', 1, 200], ['buy', 5, 100], ['buy', 5, 100], ['purchase_return', 1, 150], ['sell', 2, 250], ['buy', 1, 100], ['sell', 1, 200]], {'cogs': 300, 'revenue': 700, 'inventory': 800, 'layers': [[8, 100]], 'rejected': [0, 1, 4]}], ['control 3', [['purchase_return', 1, 100], ['buy', 1, 100], ['sell', 3, 200], ['buy', 10, 100], ['buy', 5, 100], ['sell', 2, 200], ['purchase_return', 2, 150]], {'cogs': 200, 'revenue': 400, 'inventory': 1400, 'layers': [[14, 100]], 'rejected': [0, 2, 6]}], ['control 4', [['buy', 10, 120], ['buy', 1, 120], ['purchase_return', 2, 150], ['sell', 2, 250], ['buy', 1, 100]], {'cogs': 240, 'revenue': 500, 'inventory': 1180, 'layers': [[9, 120], [1, 100]], 'rejected': [2]}], ['control 5', [['sell', 6, 250], ['purchase_return', 2, 100], ['sell', 12, 250], ['sell', 3, 200]], {'cogs': 0, 'revenue': 0, 'inventory': 0, 'layers': [], 'rejected': [0, 1, 2, 3]}], ['control 6', [['sell', 6, 250], ['sell', 3, 250], ['sell', 12, 200], ['sell', 1, 250], ['sell', 3, 250], ['purchase_return', 5, 150], ['sell', 6, 200]], {'cogs': 0, 'revenue': 0, 'inventory': 0, 'layers': [], 'rejected': [0, 1, 2, 3, 4, 5, 6]}]]]
for label, args, expected in fixtures[N-1]:
    try:
        actual = solve(args)
    except Exception as exc:
        actual = 'raised ' + type(exc).__name__
    check(label, actual, 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
regression: layer merge target{'cogs': 0, 'inventory': 940, 'layers': [[2, 120], [7, 100]], 'rejected': [0, 2], 'revenue': 0}{'cogs': 0, 'inventory': 980, 'layers': [[2, 120], [5, 100], [2, 120]], 'rejected': [0, 2], 'revenue': 0}Failed
control 1{'cogs': 750, 'inventory': 3240, 'layers': [[3, 100], [10, 120], [10, 150], [2, 120]], 'rejected': [9], 'revenue': 1250}{'cogs': 750, 'inventory': 3240, 'layers': [[3, 100], [10, 120], [10, 150], [2, 120]], 'rejected': [9], 'revenue': 1250}Passed
control 2{'cogs': 0, 'inventory': 120, 'layers': [[1, 120]], 'rejected': [1, 2, 3], 'revenue': 0}{'cogs': 0, 'inventory': 120, 'layers': [[1, 120]], 'rejected': [1, 2, 3], 'revenue': 0}Passed
control 3{'cogs': 300, 'inventory': 200, 'layers': [[2, 100]], 'rejected': [2], 'revenue': 750}{'cogs': 300, 'inventory': 200, 'layers': [[2, 100]], 'rejected': [2], 'revenue': 750}Passed
control 4{'cogs': 360, 'inventory': 2520, 'layers': [[21, 120]], 'rejected': [1, 3], 'revenue': 600}{'cogs': 360, 'inventory': 2520, 'layers': [[21, 120]], 'rejected': [1, 3], 'revenue': 600}Passed
control 5{'cogs': 300, 'inventory': 100, 'layers': [[1, 100]], 'rejected': [0, 1, 3, 4], 'revenue': 750}{'cogs': 300, 'inventory': 100, 'layers': [[1, 100]], 'rejected': [0, 1, 3, 4], 'revenue': 750}Passed
control 6{'cogs': 300, 'inventory': 700, 'layers': [[7, 100]], 'rejected': [], 'revenue': 750}{'cogs': 300, 'inventory': 700, 'layers': [[7, 100]], 'rejected': [], 'revenue': 750}Passed

SHA-256 / a77d6d4c520b2033554eb068cf9d44a6c4260a0049d24f60a70a24ef46587325

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(x):
    layers = []
    cogs = revenue = 0
    short = []
    for i, ev in enumerate(x):
        if ev[0] == 'buy':
            if any(l[1] == ev[2] for l in layers):
                layers[-1][0] += ev[1]
            else:
                layers.append([ev[1], ev[2]])
        elif ev[0] == 'sell':
            qty = ev[1]
            if qty > sum(l[0] for l in layers):
                short.append(i)
                continue
            revenue += qty * ev[2]
            while qty:
                head = layers[0]
                take = min(qty, head[0])
                cogs += take * head[1]
                head[0] -= take
                qty -= take
                if head[0] == 0:
                    layers.pop(0)
        elif ev[0] == 'purchase_return':
            match = [l for l in layers if l[1] == ev[2] and l[0] >= ev[1]]
            if not match:
                short.append(i)
                continue
            match[-1][0] -= ev[1]
            if match[-1][0] == 0:
                layers.remove(match[-1])
    inventory = sum(q * c for q, c in layers)
    return {'cogs': cogs, 'revenue': revenue, 'inventory': inventory, 'layers': layers, 'rejected': short}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: layer merge target', [['sell', 3, 250], ['buy', 2, 120], ['purchase_return', 1, 100], ['buy', 5, 100], ['buy', 2, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 980, 'layers': [[2, 120], [5, 100], [2, 120]], 'rejected': [0, 2]}], ['control 1', [['buy', 5, 150], ['sell', 3, 250], ['sell', 2, 250], ['buy', 10, 100], ['buy', 10, 120], ['purchase_return', 2, 100], ['purchase_return', 5, 100], ['buy', 10, 150], ['buy', 2, 120], ['purchase_return', 5, 100]], {'cogs': 750, 'revenue': 1250, 'inventory': 3240, 'layers': [[3, 100], [10, 120], [10, 150], [2, 120]], 'rejected': [9]}], ['control 2', [['buy', 1, 120], ['sell', 12, 200], ['sell', 2, 250], ['sell', 2, 250]], {'cogs': 0, 'revenue': 0, 'inventory': 120, 'layers': [[1, 120]], 'rejected': [1, 2, 3]}], ['control 3', [['buy', 5, 100], ['sell', 3, 250], ['sell', 12, 200]], {'cogs': 300, 'revenue': 750, 'inventory': 200, 'layers': [[2, 100]], 'rejected': [2]}], ['control 4', [['buy', 10, 120], ['purchase_return', 1, 100], ['sell', 1, 200], ['purchase_return', 2, 100], ['sell', 2, 200], ['purchase_return', 1, 120], ['buy', 10, 120], ['buy', 5, 120]], {'cogs': 360, 'revenue': 600, 'inventory': 2520, 'layers': [[21, 120]], 'rejected': [1, 3]}], ['control 5', [['sell', 12, 250], ['sell', 12, 200], ['buy', 5, 100], ['sell', 12, 250], ['sell', 12, 200], ['purchase_return', 1, 100], ['sell', 3, 250]], {'cogs': 300, 'revenue': 750, 'inventory': 100, 'layers': [[1, 100]], 'rejected': [0, 1, 3, 4]}], ['control 6', [['buy', 5, 100], ['sell', 3, 250], ['buy', 5, 100]], {'cogs': 300, 'revenue': 750, 'inventory': 700, 'layers': [[7, 100]], 'rejected': []}]], [['regression: layer merge target', [['buy', 10, 150], ['sell', 3, 250], ['sell', 12, 200], ['buy', 5, 120], ['sell', 3, 200], ['buy', 1, 100], ['sell', 1, 250], ['buy', 2, 100], ['sell', 12, 200], ['buy', 10, 100]], {'cogs': 1050, 'revenue': 1600, 'inventory': 2350, 'layers': [[3, 150], [5, 120], [13, 100]], 'rejected': [2, 8]}], ['regression: layer merge target, partial-repair probe', [['sell', 2, 250], ['purchase_return', 1, 150], ['buy', 10, 100], ['buy', 10, 150], ['buy', 2, 150], ['buy', 2, 100], ['sell', 2, 250], ['sell', 3, 250], ['buy', 5, 120]], {'cogs': 500, 'revenue': 1250, 'inventory': 3100, 'layers': [[5, 100], [12, 150], [2, 100], [5, 120]], 'rejected': [0, 1]}], ['control 1', [['sell', 12, 200], ['sell', 6, 250], ['sell', 6, 200]], {'cogs': 0, 'revenue': 0, 'inventory': 0, 'layers': [], 'rejected': [0, 1, 2]}], ['control 2', [['buy', 10, 100], ['sell', 12, 250], ['sell', 2, 250], ['sell', 12, 200], ['sell', 6, 200], ['buy', 1, 150], ['buy', 2, 120]], {'cogs': 800, 'revenue': 1700, 'inventory': 590, 'layers': [[2, 100], [1, 150], [2, 120]], 'rejected': [1, 3]}], ['control 3', [['purchase_return', 2, 100], ['sell', 12, 250], ['buy', 10, 100], ['buy', 1, 100], ['sell', 6, 200]], {'cogs': 600, 'revenue': 1200, 'inventory': 500, 'layers': [[5, 100]], 'rejected': [0, 1]}], ['control 4', [['buy', 10, 120], ['sell', 1, 200], ['buy', 10, 120], ['buy', 2, 120], ['sell', 6, 250], ['buy', 1, 100], ['buy', 2, 150], ['sell', 1, 250]], {'cogs': 960, 'revenue': 1950, 'inventory': 2080, 'layers': [[14, 120], [1, 100], [2, 150]], 'rejected': []}], ['control 5', [['sell', 12, 200], ['buy', 10, 100], ['buy', 2, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 1240, 'layers': [[10, 100], [2, 120]], 'rejected': [0]}]], [['regression: layer merge target', [['sell', 1, 250], ['buy', 5, 100], ['buy', 10, 100], ['sell', 2, 250], ['buy', 2, 100], ['buy', 10, 100], ['sell', 6, 200], ['buy', 1, 120], ['buy', 10, 150], ['buy', 10, 150]], {'cogs': 800, 'revenue': 1700, 'inventory': 5020, 'layers': [[19, 100], [1, 120], [20, 150]], 'rejected': [0]}], ['regression: layer merge target, partial-repair probe', [['purchase_return', 2, 100], ['buy', 10, 150], ['buy', 1, 120], ['purchase_return', 2, 100], ['sell', 6, 200], ['purchase_return', 1, 100], ['buy', 10, 100], ['sell', 3, 250], ['buy', 2, 120], ['sell', 2, 200]], {'cogs': 1620, 'revenue': 2350, 'inventory': 1240, 'layers': [[10, 100], [2, 120]], 'rejected': [0, 3, 5]}], ['control 1', [['purchase_return', 5, 100], ['sell', 2, 250], ['buy', 2, 100], ['buy', 1, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 320, 'layers': [[2, 100], [1, 120]], 'rejected': [0, 1]}], ['control 2', [['purchase_return', 1, 100], ['sell', 1, 200], ['sell', 1, 250], ['sell', 3, 200], ['sell', 6, 200], ['buy', 10, 120], ['buy', 2, 150], ['buy', 2, 100], ['purchase_return', 2, 150]], {'cogs': 0, 'revenue': 0, 'inventory': 1400, 'layers': [[10, 120], [2, 100]], 'rejected': [0, 1, 2, 3, 4]}], ['control 3', [['buy', 1, 100], ['purchase_return', 5, 100], ['sell', 3, 200], ['buy', 1, 150], ['buy', 1, 150], ['sell', 3, 200], ['buy', 2, 120], ['buy', 10, 120]], {'cogs': 400, 'revenue': 600, 'inventory': 1440, 'layers': [[12, 120]], 'rejected': [1, 2]}], ['control 4', [['purchase_return', 1, 100], ['buy', 2, 150], ['sell', 6, 200], ['sell', 2, 250], ['buy', 5, 120], ['buy', 5, 150], ['sell', 1, 250], ['purchase_return', 2, 100]], {'cogs': 420, 'revenue': 750, 'inventory': 1230, 'layers': [[4, 120], [5, 150]], 'rejected': [0, 2, 7]}], ['control 5', [['buy', 2, 120], ['purchase_return', 1, 150], ['buy', 1, 100], ['buy', 5, 100], ['sell', 3, 200]], {'cogs': 340, 'revenue': 600, 'inventory': 500, 'layers': [[5, 100]], 'rejected': [1]}]], [['regression: layer merge target', [['buy', 2, 150], ['buy', 10, 120], ['sell', 1, 200], ['purchase_return', 5, 100], ['buy', 1, 100], ['buy', 2, 150], ['buy', 1, 100], ['buy', 5, 100], ['sell', 3, 200]], {'cogs': 540, 'revenue': 800, 'inventory': 1960, 'layers': [[8, 120], [1, 100], [2, 150], [6, 100]], 'rejected': [3]}], ['control 1', [['sell', 1, 250], ['sell', 3, 200], ['purchase_return', 1, 100], ['buy', 2, 120], ['buy', 5, 150], ['sell', 3, 200], ['sell', 1, 200], ['sell', 6, 250], ['buy', 2, 120]], {'cogs': 540, 'revenue': 800, 'inventory': 690, 'layers': [[3, 150], [2, 120]], 'rejected': [0, 1, 2, 7]}], ['control 2', [['buy', 1, 100], ['purchase_return', 2, 150], ['purchase_return', 1, 120], ['purchase_return', 2, 100], ['buy', 5, 100], ['buy', 10, 100], ['buy', 1, 150], ['buy', 1, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 1870, 'layers': [[16, 100], [1, 150], [1, 120]], 'rejected': [1, 2, 3]}], ['control 3', [['buy', 1, 100], ['buy', 2, 120], ['buy', 2, 120], ['sell', 3, 200], ['sell', 12, 200], ['buy', 5, 120], ['sell', 3, 200], ['purchase_return', 1, 100], ['buy', 2, 100]], {'cogs': 700, 'revenue': 1200, 'inventory': 680, 'layers': [[4, 120], [2, 100]], 'rejected': [4, 7]}], ['control 4', [['sell', 3, 250], ['purchase_return', 1, 150], ['purchase_return', 2, 120], ['sell', 6, 200], ['purchase_return', 2, 100]], {'cogs': 0, 'revenue': 0, 'inventory': 0, 'layers': [], 'rejected': [0, 1, 2, 3, 4]}], ['control 5', [['sell', 6, 250], ['sell', 2, 250], ['sell', 3, 250], ['sell', 12, 250], ['sell', 12, 250], ['sell', 3, 250], ['buy', 1, 100], ['buy', 5, 120], ['buy', 5, 150], ['buy', 2, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 1690, 'layers': [[1, 100], [5, 120], [5, 150], [2, 120]], 'rejected': [0, 1, 2, 3, 4, 5]}], ['control 6', [['sell', 6, 200], ['purchase_return', 1, 150], ['buy', 5, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 600, 'layers': [[5, 120]], 'rejected': [0, 1]}]], [['regression: layer merge target', [['buy', 2, 150], ['buy', 2, 100], ['buy', 2, 150]], {'cogs': 0, 'revenue': 0, 'inventory': 800, 'layers': [[2, 150], [2, 100], [2, 150]], 'rejected': []}], ['control 1', [['buy', 10, 100], ['buy', 10, 150], ['purchase_return', 5, 100], ['sell', 6, 200], ['sell', 3, 200], ['sell', 2, 200]], {'cogs': 1400, 'revenue': 2200, 'inventory': 600, 'layers': [[4, 150]], 'rejected': []}], ['control 2', [['purchase_return', 2, 100], ['sell', 1, 200], ['buy', 5, 100], ['buy', 5, 100], ['purchase_return', 1, 150], ['sell', 2, 250], ['buy', 1, 100], ['sell', 1, 200]], {'cogs': 300, 'revenue': 700, 'inventory': 800, 'layers': [[8, 100]], 'rejected': [0, 1, 4]}], ['control 3', [['purchase_return', 1, 100], ['buy', 1, 100], ['sell', 3, 200], ['buy', 10, 100], ['buy', 5, 100], ['sell', 2, 200], ['purchase_return', 2, 150]], {'cogs': 200, 'revenue': 400, 'inventory': 1400, 'layers': [[14, 100]], 'rejected': [0, 2, 6]}], ['control 4', [['buy', 10, 120], ['buy', 1, 120], ['purchase_return', 2, 150], ['sell', 2, 250], ['buy', 1, 100]], {'cogs': 240, 'revenue': 500, 'inventory': 1180, 'layers': [[9, 120], [1, 100]], 'rejected': [2]}], ['control 5', [['sell', 6, 250], ['purchase_return', 2, 100], ['sell', 12, 250], ['sell', 3, 200]], {'cogs': 0, 'revenue': 0, 'inventory': 0, 'layers': [], 'rejected': [0, 1, 2, 3]}], ['control 6', [['sell', 6, 250], ['sell', 3, 250], ['sell', 12, 200], ['sell', 1, 250], ['sell', 3, 250], ['purchase_return', 5, 150], ['sell', 6, 200]], {'cogs': 0, 'revenue': 0, 'inventory': 0, 'layers': [], 'rejected': [0, 1, 2, 3, 4, 5, 6]}]]]
for label, args, expected in fixtures[N-1]:
    try:
        actual = solve(args)
    except Exception as exc:
        actual = 'raised ' + type(exc).__name__
    check(label, actual, 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
regression: layer merge target{'cogs': 0, 'inventory': 940, 'layers': [[2, 120], [7, 100]], 'rejected': [0, 2], 'revenue': 0}{'cogs': 0, 'inventory': 980, 'layers': [[2, 120], [5, 100], [2, 120]], 'rejected': [0, 2], 'revenue': 0}Failed
control 1{'cogs': 750, 'inventory': 3300, 'layers': [[3, 100], [10, 120], [12, 150]], 'rejected': [9], 'revenue': 1250}{'cogs': 750, 'inventory': 3240, 'layers': [[3, 100], [10, 120], [10, 150], [2, 120]], 'rejected': [9], 'revenue': 1250}Failed
control 2{'cogs': 0, 'inventory': 120, 'layers': [[1, 120]], 'rejected': [1, 2, 3], 'revenue': 0}{'cogs': 0, 'inventory': 120, 'layers': [[1, 120]], 'rejected': [1, 2, 3], 'revenue': 0}Passed
control 3{'cogs': 300, 'inventory': 200, 'layers': [[2, 100]], 'rejected': [2], 'revenue': 750}{'cogs': 300, 'inventory': 200, 'layers': [[2, 100]], 'rejected': [2], 'revenue': 750}Passed
control 4{'cogs': 360, 'inventory': 2520, 'layers': [[21, 120]], 'rejected': [1, 3], 'revenue': 600}{'cogs': 360, 'inventory': 2520, 'layers': [[21, 120]], 'rejected': [1, 3], 'revenue': 600}Passed
control 5{'cogs': 300, 'inventory': 100, 'layers': [[1, 100]], 'rejected': [0, 1, 3, 4], 'revenue': 750}{'cogs': 300, 'inventory': 100, 'layers': [[1, 100]], 'rejected': [0, 1, 3, 4], 'revenue': 750}Passed
control 6{'cogs': 300, 'inventory': 700, 'layers': [[7, 100]], 'rejected': [], 'revenue': 750}{'cogs': 300, 'inventory': 700, 'layers': [[7, 100]], 'rejected': [], 'revenue': 750}Passed

SHA-256 / e834c7a78ba3e8253d9a7e6c1691d34794cae87d89751c464c8ebe821af16f08

3 / The verified repair

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

N = 1
observations = []
def solve(x):
    layers = []
    cogs = revenue = 0
    short = []
    for i, ev in enumerate(x):
        if ev[0] == 'buy':
            if layers and layers[-1][1] == ev[2]:
                layers[-1][0] += ev[1]
            else:
                layers.append([ev[1], ev[2]])
        elif ev[0] == 'sell':
            qty = ev[1]
            if qty > sum(l[0] for l in layers):
                short.append(i)
                continue
            revenue += qty * ev[2]
            while qty:
                head = layers[0]
                take = min(qty, head[0])
                cogs += take * head[1]
                head[0] -= take
                qty -= take
                if head[0] == 0:
                    layers.pop(0)
        elif ev[0] == 'purchase_return':
            match = [l for l in layers if l[1] == ev[2] and l[0] >= ev[1]]
            if not match:
                short.append(i)
                continue
            match[-1][0] -= ev[1]
            if match[-1][0] == 0:
                layers.remove(match[-1])
    inventory = sum(q * c for q, c in layers)
    return {'cogs': cogs, 'revenue': revenue, 'inventory': inventory, 'layers': layers, 'rejected': short}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: layer merge target', [['sell', 3, 250], ['buy', 2, 120], ['purchase_return', 1, 100], ['buy', 5, 100], ['buy', 2, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 980, 'layers': [[2, 120], [5, 100], [2, 120]], 'rejected': [0, 2]}], ['control 1', [['buy', 5, 150], ['sell', 3, 250], ['sell', 2, 250], ['buy', 10, 100], ['buy', 10, 120], ['purchase_return', 2, 100], ['purchase_return', 5, 100], ['buy', 10, 150], ['buy', 2, 120], ['purchase_return', 5, 100]], {'cogs': 750, 'revenue': 1250, 'inventory': 3240, 'layers': [[3, 100], [10, 120], [10, 150], [2, 120]], 'rejected': [9]}], ['control 2', [['buy', 1, 120], ['sell', 12, 200], ['sell', 2, 250], ['sell', 2, 250]], {'cogs': 0, 'revenue': 0, 'inventory': 120, 'layers': [[1, 120]], 'rejected': [1, 2, 3]}], ['control 3', [['buy', 5, 100], ['sell', 3, 250], ['sell', 12, 200]], {'cogs': 300, 'revenue': 750, 'inventory': 200, 'layers': [[2, 100]], 'rejected': [2]}], ['control 4', [['buy', 10, 120], ['purchase_return', 1, 100], ['sell', 1, 200], ['purchase_return', 2, 100], ['sell', 2, 200], ['purchase_return', 1, 120], ['buy', 10, 120], ['buy', 5, 120]], {'cogs': 360, 'revenue': 600, 'inventory': 2520, 'layers': [[21, 120]], 'rejected': [1, 3]}], ['control 5', [['sell', 12, 250], ['sell', 12, 200], ['buy', 5, 100], ['sell', 12, 250], ['sell', 12, 200], ['purchase_return', 1, 100], ['sell', 3, 250]], {'cogs': 300, 'revenue': 750, 'inventory': 100, 'layers': [[1, 100]], 'rejected': [0, 1, 3, 4]}], ['control 6', [['buy', 5, 100], ['sell', 3, 250], ['buy', 5, 100]], {'cogs': 300, 'revenue': 750, 'inventory': 700, 'layers': [[7, 100]], 'rejected': []}]], [['regression: layer merge target', [['buy', 10, 150], ['sell', 3, 250], ['sell', 12, 200], ['buy', 5, 120], ['sell', 3, 200], ['buy', 1, 100], ['sell', 1, 250], ['buy', 2, 100], ['sell', 12, 200], ['buy', 10, 100]], {'cogs': 1050, 'revenue': 1600, 'inventory': 2350, 'layers': [[3, 150], [5, 120], [13, 100]], 'rejected': [2, 8]}], ['regression: layer merge target, partial-repair probe', [['sell', 2, 250], ['purchase_return', 1, 150], ['buy', 10, 100], ['buy', 10, 150], ['buy', 2, 150], ['buy', 2, 100], ['sell', 2, 250], ['sell', 3, 250], ['buy', 5, 120]], {'cogs': 500, 'revenue': 1250, 'inventory': 3100, 'layers': [[5, 100], [12, 150], [2, 100], [5, 120]], 'rejected': [0, 1]}], ['control 1', [['sell', 12, 200], ['sell', 6, 250], ['sell', 6, 200]], {'cogs': 0, 'revenue': 0, 'inventory': 0, 'layers': [], 'rejected': [0, 1, 2]}], ['control 2', [['buy', 10, 100], ['sell', 12, 250], ['sell', 2, 250], ['sell', 12, 200], ['sell', 6, 200], ['buy', 1, 150], ['buy', 2, 120]], {'cogs': 800, 'revenue': 1700, 'inventory': 590, 'layers': [[2, 100], [1, 150], [2, 120]], 'rejected': [1, 3]}], ['control 3', [['purchase_return', 2, 100], ['sell', 12, 250], ['buy', 10, 100], ['buy', 1, 100], ['sell', 6, 200]], {'cogs': 600, 'revenue': 1200, 'inventory': 500, 'layers': [[5, 100]], 'rejected': [0, 1]}], ['control 4', [['buy', 10, 120], ['sell', 1, 200], ['buy', 10, 120], ['buy', 2, 120], ['sell', 6, 250], ['buy', 1, 100], ['buy', 2, 150], ['sell', 1, 250]], {'cogs': 960, 'revenue': 1950, 'inventory': 2080, 'layers': [[14, 120], [1, 100], [2, 150]], 'rejected': []}], ['control 5', [['sell', 12, 200], ['buy', 10, 100], ['buy', 2, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 1240, 'layers': [[10, 100], [2, 120]], 'rejected': [0]}]], [['regression: layer merge target', [['sell', 1, 250], ['buy', 5, 100], ['buy', 10, 100], ['sell', 2, 250], ['buy', 2, 100], ['buy', 10, 100], ['sell', 6, 200], ['buy', 1, 120], ['buy', 10, 150], ['buy', 10, 150]], {'cogs': 800, 'revenue': 1700, 'inventory': 5020, 'layers': [[19, 100], [1, 120], [20, 150]], 'rejected': [0]}], ['regression: layer merge target, partial-repair probe', [['purchase_return', 2, 100], ['buy', 10, 150], ['buy', 1, 120], ['purchase_return', 2, 100], ['sell', 6, 200], ['purchase_return', 1, 100], ['buy', 10, 100], ['sell', 3, 250], ['buy', 2, 120], ['sell', 2, 200]], {'cogs': 1620, 'revenue': 2350, 'inventory': 1240, 'layers': [[10, 100], [2, 120]], 'rejected': [0, 3, 5]}], ['control 1', [['purchase_return', 5, 100], ['sell', 2, 250], ['buy', 2, 100], ['buy', 1, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 320, 'layers': [[2, 100], [1, 120]], 'rejected': [0, 1]}], ['control 2', [['purchase_return', 1, 100], ['sell', 1, 200], ['sell', 1, 250], ['sell', 3, 200], ['sell', 6, 200], ['buy', 10, 120], ['buy', 2, 150], ['buy', 2, 100], ['purchase_return', 2, 150]], {'cogs': 0, 'revenue': 0, 'inventory': 1400, 'layers': [[10, 120], [2, 100]], 'rejected': [0, 1, 2, 3, 4]}], ['control 3', [['buy', 1, 100], ['purchase_return', 5, 100], ['sell', 3, 200], ['buy', 1, 150], ['buy', 1, 150], ['sell', 3, 200], ['buy', 2, 120], ['buy', 10, 120]], {'cogs': 400, 'revenue': 600, 'inventory': 1440, 'layers': [[12, 120]], 'rejected': [1, 2]}], ['control 4', [['purchase_return', 1, 100], ['buy', 2, 150], ['sell', 6, 200], ['sell', 2, 250], ['buy', 5, 120], ['buy', 5, 150], ['sell', 1, 250], ['purchase_return', 2, 100]], {'cogs': 420, 'revenue': 750, 'inventory': 1230, 'layers': [[4, 120], [5, 150]], 'rejected': [0, 2, 7]}], ['control 5', [['buy', 2, 120], ['purchase_return', 1, 150], ['buy', 1, 100], ['buy', 5, 100], ['sell', 3, 200]], {'cogs': 340, 'revenue': 600, 'inventory': 500, 'layers': [[5, 100]], 'rejected': [1]}]], [['regression: layer merge target', [['buy', 2, 150], ['buy', 10, 120], ['sell', 1, 200], ['purchase_return', 5, 100], ['buy', 1, 100], ['buy', 2, 150], ['buy', 1, 100], ['buy', 5, 100], ['sell', 3, 200]], {'cogs': 540, 'revenue': 800, 'inventory': 1960, 'layers': [[8, 120], [1, 100], [2, 150], [6, 100]], 'rejected': [3]}], ['control 1', [['sell', 1, 250], ['sell', 3, 200], ['purchase_return', 1, 100], ['buy', 2, 120], ['buy', 5, 150], ['sell', 3, 200], ['sell', 1, 200], ['sell', 6, 250], ['buy', 2, 120]], {'cogs': 540, 'revenue': 800, 'inventory': 690, 'layers': [[3, 150], [2, 120]], 'rejected': [0, 1, 2, 7]}], ['control 2', [['buy', 1, 100], ['purchase_return', 2, 150], ['purchase_return', 1, 120], ['purchase_return', 2, 100], ['buy', 5, 100], ['buy', 10, 100], ['buy', 1, 150], ['buy', 1, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 1870, 'layers': [[16, 100], [1, 150], [1, 120]], 'rejected': [1, 2, 3]}], ['control 3', [['buy', 1, 100], ['buy', 2, 120], ['buy', 2, 120], ['sell', 3, 200], ['sell', 12, 200], ['buy', 5, 120], ['sell', 3, 200], ['purchase_return', 1, 100], ['buy', 2, 100]], {'cogs': 700, 'revenue': 1200, 'inventory': 680, 'layers': [[4, 120], [2, 100]], 'rejected': [4, 7]}], ['control 4', [['sell', 3, 250], ['purchase_return', 1, 150], ['purchase_return', 2, 120], ['sell', 6, 200], ['purchase_return', 2, 100]], {'cogs': 0, 'revenue': 0, 'inventory': 0, 'layers': [], 'rejected': [0, 1, 2, 3, 4]}], ['control 5', [['sell', 6, 250], ['sell', 2, 250], ['sell', 3, 250], ['sell', 12, 250], ['sell', 12, 250], ['sell', 3, 250], ['buy', 1, 100], ['buy', 5, 120], ['buy', 5, 150], ['buy', 2, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 1690, 'layers': [[1, 100], [5, 120], [5, 150], [2, 120]], 'rejected': [0, 1, 2, 3, 4, 5]}], ['control 6', [['sell', 6, 200], ['purchase_return', 1, 150], ['buy', 5, 120]], {'cogs': 0, 'revenue': 0, 'inventory': 600, 'layers': [[5, 120]], 'rejected': [0, 1]}]], [['regression: layer merge target', [['buy', 2, 150], ['buy', 2, 100], ['buy', 2, 150]], {'cogs': 0, 'revenue': 0, 'inventory': 800, 'layers': [[2, 150], [2, 100], [2, 150]], 'rejected': []}], ['control 1', [['buy', 10, 100], ['buy', 10, 150], ['purchase_return', 5, 100], ['sell', 6, 200], ['sell', 3, 200], ['sell', 2, 200]], {'cogs': 1400, 'revenue': 2200, 'inventory': 600, 'layers': [[4, 150]], 'rejected': []}], ['control 2', [['purchase_return', 2, 100], ['sell', 1, 200], ['buy', 5, 100], ['buy', 5, 100], ['purchase_return', 1, 150], ['sell', 2, 250], ['buy', 1, 100], ['sell', 1, 200]], {'cogs': 300, 'revenue': 700, 'inventory': 800, 'layers': [[8, 100]], 'rejected': [0, 1, 4]}], ['control 3', [['purchase_return', 1, 100], ['buy', 1, 100], ['sell', 3, 200], ['buy', 10, 100], ['buy', 5, 100], ['sell', 2, 200], ['purchase_return', 2, 150]], {'cogs': 200, 'revenue': 400, 'inventory': 1400, 'layers': [[14, 100]], 'rejected': [0, 2, 6]}], ['control 4', [['buy', 10, 120], ['buy', 1, 120], ['purchase_return', 2, 150], ['sell', 2, 250], ['buy', 1, 100]], {'cogs': 240, 'revenue': 500, 'inventory': 1180, 'layers': [[9, 120], [1, 100]], 'rejected': [2]}], ['control 5', [['sell', 6, 250], ['purchase_return', 2, 100], ['sell', 12, 250], ['sell', 3, 200]], {'cogs': 0, 'revenue': 0, 'inventory': 0, 'layers': [], 'rejected': [0, 1, 2, 3]}], ['control 6', [['sell', 6, 250], ['sell', 3, 250], ['sell', 12, 200], ['sell', 1, 250], ['sell', 3, 250], ['purchase_return', 5, 150], ['sell', 6, 200]], {'cogs': 0, 'revenue': 0, 'inventory': 0, 'layers': [], 'rejected': [0, 1, 2, 3, 4, 5, 6]}]]]
for label, args, expected in fixtures[N-1]:
    try:
        actual = solve(args)
    except Exception as exc:
        actual = 'raised ' + type(exc).__name__
    check(label, actual, 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
regression: layer merge target{'cogs': 0, 'inventory': 980, 'layers': [[2, 120], [5, 100], [2, 120]], 'rejected': [0, 2], 'revenue': 0}{'cogs': 0, 'inventory': 980, 'layers': [[2, 120], [5, 100], [2, 120]], 'rejected': [0, 2], 'revenue': 0}Passed
control 1{'cogs': 750, 'inventory': 3240, 'layers': [[3, 100], [10, 120], [10, 150], [2, 120]], 'rejected': [9], 'revenue': 1250}{'cogs': 750, 'inventory': 3240, 'layers': [[3, 100], [10, 120], [10, 150], [2, 120]], 'rejected': [9], 'revenue': 1250}Passed
control 2{'cogs': 0, 'inventory': 120, 'layers': [[1, 120]], 'rejected': [1, 2, 3], 'revenue': 0}{'cogs': 0, 'inventory': 120, 'layers': [[1, 120]], 'rejected': [1, 2, 3], 'revenue': 0}Passed
control 3{'cogs': 300, 'inventory': 200, 'layers': [[2, 100]], 'rejected': [2], 'revenue': 750}{'cogs': 300, 'inventory': 200, 'layers': [[2, 100]], 'rejected': [2], 'revenue': 750}Passed
control 4{'cogs': 360, 'inventory': 2520, 'layers': [[21, 120]], 'rejected': [1, 3], 'revenue': 600}{'cogs': 360, 'inventory': 2520, 'layers': [[21, 120]], 'rejected': [1, 3], 'revenue': 600}Passed
control 5{'cogs': 300, 'inventory': 100, 'layers': [[1, 100]], 'rejected': [0, 1, 3, 4], 'revenue': 750}{'cogs': 300, 'inventory': 100, 'layers': [[1, 100]], 'rejected': [0, 1, 3, 4], 'revenue': 750}Passed
control 6{'cogs': 300, 'inventory': 700, 'layers': [[7, 100]], 'rejected': [], 'revenue': 750}{'cogs': 300, 'inventory': 700, 'layers': [[7, 100]], 'rejected': [], 'revenue': 750}Passed

SHA-256 / c0feb1dd02b1d1a37df220a9fd33252ec4ba3702b4241bede777f2f687bdd0d5

Verification & scope

A deterministic bounded teaching model with stipulated toy bookkeeping rules stated in the contract; amounts are integer cents; it makes no claim of conformance to any accounting standard or product. 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:46:23.370552+00:00.

Case digest / 04bad07b3ffcb029facb99e04218b63f14532e473affca4ccdd4a21af9b6650d