FAILURE MAP
← Case archive

FA-60146 / Inventory cost layering / Open access

Invoice price variance on receipt layers: tolerance boundary · case 01

A variance exactly equal to the tolerance is booked into inventory.

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

ROOT CAUSE

The write-off test uses < instead of <=.

THE FAILURE

The write-off test uses < instead of <=.

Unsuccessful approach: Restricting the write-off to non-negative variances books small vendor credits into inventory.

Case contract

Input {received, po_price, consumed, invoice_qty, invoice_price, tolerance}. Billed units = min(invoice_qty, received); total variance = billed*(invoice-po). If |total| <= tolerance the variance is written off and the layer is unchanged. Otherwise billed units are matched to consumed units first: consumed billed units adjust COGS, the rest revalue the on-hand layer. Return {layer_value, cogs_adj, writeoff, mismatch}.

Why this case matters

Inventory valuation and cost-of-goods decisions depend on this rule.

1 / The failure

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

N = 1
observations = []
def solve(x):
    q = x['received']
    p = x['po_price']
    onhand = q - x['consumed']
    billed = min(x['invoice_qty'], q)
    d = x['invoice_price'] - p
    total = billed * d
    mismatch = x['invoice_qty'] != q
    if abs(total) < x['tolerance']:
        return {'layer_value': onhand * p, 'cogs_adj': 0, 'writeoff': total, 'mismatch': mismatch}
    consumed_billed = min(billed, x['consumed'])
    onhand_billed = billed - consumed_billed
    return {'layer_value': onhand * p + onhand_billed * d, 'cogs_adj': consumed_billed * d, 'writeoff': 0, 'mismatch': mismatch}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['price up partly consumed', {'received': 10, 'po_price': 100, 'consumed': 4, 'invoice_qty': 10, 'invoice_price': 111, 'tolerance': 20}, {'layer_value': 666, 'cogs_adj': 44, 'writeoff': 0, 'mismatch': False}], ['price down', {'received': 8, 'po_price': 250, 'consumed': 3, 'invoice_qty': 8, 'invoice_price': 240, 'tolerance': 5}, {'layer_value': 1200, 'cogs_adj': -30, 'writeoff': 0, 'mismatch': False}], ['within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 101, 'tolerance': 6}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': 5, 'mismatch': False}], ['tolerance edge', {'received': 4, 'po_price': 50, 'consumed': 0, 'invoice_qty': 4, 'invoice_price': 51, 'tolerance': 4}, {'layer_value': 200, 'cogs_adj': 0, 'writeoff': 4, 'mismatch': False}], ['under billed', {'received': 10, 'po_price': 30, 'consumed': 3, 'invoice_qty': 6, 'invoice_price': 40, 'tolerance': 0}, {'layer_value': 240, 'cogs_adj': 30, 'writeoff': 0, 'mismatch': True}], ['over billed', {'received': 6, 'po_price': 30, 'consumed': 2, 'invoice_qty': 10, 'invoice_price': 35, 'tolerance': 1}, {'layer_value': 140, 'cogs_adj': 10, 'writeoff': 0, 'mismatch': True}], ['large credit', {'received': 12, 'po_price': 500, 'consumed': 5, 'invoice_qty': 12, 'invoice_price': 399, 'tolerance': 100}, {'layer_value': 2793, 'cogs_adj': -505, 'writeoff': 0, 'mismatch': False}], ['small credit within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 99, 'tolerance': 6}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': -5, 'mismatch': False}]], [['price up partly consumed', {'received': 10, 'po_price': 100, 'consumed': 4, 'invoice_qty': 10, 'invoice_price': 112, 'tolerance': 20}, {'layer_value': 672, 'cogs_adj': 48, 'writeoff': 0, 'mismatch': False}], ['price down', {'received': 8, 'po_price': 250, 'consumed': 4, 'invoice_qty': 8, 'invoice_price': 240, 'tolerance': 5}, {'layer_value': 960, 'cogs_adj': -40, 'writeoff': 0, 'mismatch': False}], ['within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 101, 'tolerance': 7}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': 5, 'mismatch': False}], ['tolerance edge', {'received': 4, 'po_price': 50, 'consumed': 0, 'invoice_qty': 4, 'invoice_price': 52, 'tolerance': 8}, {'layer_value': 200, 'cogs_adj': 0, 'writeoff': 8, 'mismatch': False}], ['under billed', {'received': 10, 'po_price': 30, 'consumed': 3, 'invoice_qty': 6, 'invoice_price': 40, 'tolerance': 0}, {'layer_value': 240, 'cogs_adj': 30, 'writeoff': 0, 'mismatch': True}], ['over billed', {'received': 6, 'po_price': 30, 'consumed': 2, 'invoice_qty': 11, 'invoice_price': 35, 'tolerance': 1}, {'layer_value': 140, 'cogs_adj': 10, 'writeoff': 0, 'mismatch': True}], ['large credit', {'received': 12, 'po_price': 500, 'consumed': 5, 'invoice_qty': 12, 'invoice_price': 398, 'tolerance': 100}, {'layer_value': 2786, 'cogs_adj': -510, 'writeoff': 0, 'mismatch': False}], ['small credit within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 99, 'tolerance': 7}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': -5, 'mismatch': False}]], [['price up partly consumed', {'received': 10, 'po_price': 100, 'consumed': 4, 'invoice_qty': 10, 'invoice_price': 113, 'tolerance': 20}, {'layer_value': 678, 'cogs_adj': 52, 'writeoff': 0, 'mismatch': False}], ['price down', {'received': 8, 'po_price': 250, 'consumed': 2, 'invoice_qty': 8, 'invoice_price': 240, 'tolerance': 5}, {'layer_value': 1440, 'cogs_adj': -20, 'writeoff': 0, 'mismatch': False}], ['within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 101, 'tolerance': 8}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': 5, 'mismatch': False}], ['tolerance edge', {'received': 4, 'po_price': 50, 'consumed': 0, 'invoice_qty': 4, 'invoice_price': 53, 'tolerance': 12}, {'layer_value': 200, 'cogs_adj': 0, 'writeoff': 12, 'mismatch': False}], ['under billed', {'received': 10, 'po_price': 30, 'consumed': 3, 'invoice_qty': 6, 'invoice_price': 40, 'tolerance': 0}, {'layer_value': 240, 'cogs_adj': 30, 'writeoff': 0, 'mismatch': True}], ['over billed', {'received': 6, 'po_price': 30, 'consumed': 2, 'invoice_qty': 12, 'invoice_price': 35, 'tolerance': 1}, {'layer_value': 140, 'cogs_adj': 10, 'writeoff': 0, 'mismatch': True}], ['large credit', {'received': 12, 'po_price': 500, 'consumed': 5, 'invoice_qty': 12, 'invoice_price': 397, 'tolerance': 100}, {'layer_value': 2779, 'cogs_adj': -515, 'writeoff': 0, 'mismatch': False}], ['small credit within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 99, 'tolerance': 8}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': -5, 'mismatch': False}]], [['price up partly consumed', {'received': 10, 'po_price': 100, 'consumed': 4, 'invoice_qty': 10, 'invoice_price': 114, 'tolerance': 20}, {'layer_value': 684, 'cogs_adj': 56, 'writeoff': 0, 'mismatch': False}], ['price down', {'received': 8, 'po_price': 250, 'consumed': 3, 'invoice_qty': 8, 'invoice_price': 240, 'tolerance': 5}, {'layer_value': 1200, 'cogs_adj': -30, 'writeoff': 0, 'mismatch': False}], ['within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 101, 'tolerance': 9}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': 5, 'mismatch': False}], ['tolerance edge', {'received': 4, 'po_price': 50, 'consumed': 0, 'invoice_qty': 4, 'invoice_price': 54, 'tolerance': 16}, {'layer_value': 200, 'cogs_adj': 0, 'writeoff': 16, 'mismatch': False}], ['under billed', {'received': 10, 'po_price': 30, 'consumed': 3, 'invoice_qty': 6, 'invoice_price': 40, 'tolerance': 0}, {'layer_value': 240, 'cogs_adj': 30, 'writeoff': 0, 'mismatch': True}], ['over billed', {'received': 6, 'po_price': 30, 'consumed': 2, 'invoice_qty': 13, 'invoice_price': 35, 'tolerance': 1}, {'layer_value': 140, 'cogs_adj': 10, 'writeoff': 0, 'mismatch': True}], ['large credit', {'received': 12, 'po_price': 500, 'consumed': 5, 'invoice_qty': 12, 'invoice_price': 396, 'tolerance': 100}, {'layer_value': 2772, 'cogs_adj': -520, 'writeoff': 0, 'mismatch': False}], ['small credit within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 99, 'tolerance': 9}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': -5, 'mismatch': False}]], [['price up partly consumed', {'received': 10, 'po_price': 100, 'consumed': 4, 'invoice_qty': 10, 'invoice_price': 115, 'tolerance': 20}, {'layer_value': 690, 'cogs_adj': 60, 'writeoff': 0, 'mismatch': False}], ['price down', {'received': 8, 'po_price': 250, 'consumed': 4, 'invoice_qty': 8, 'invoice_price': 240, 'tolerance': 5}, {'layer_value': 960, 'cogs_adj': -40, 'writeoff': 0, 'mismatch': False}], ['within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 101, 'tolerance': 10}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': 5, 'mismatch': False}], ['tolerance edge', {'received': 4, 'po_price': 50, 'consumed': 0, 'invoice_qty': 4, 'invoice_price': 55, 'tolerance': 20}, {'layer_value': 200, 'cogs_adj': 0, 'writeoff': 20, 'mismatch': False}], ['under billed', {'received': 10, 'po_price': 30, 'consumed': 3, 'invoice_qty': 6, 'invoice_price': 40, 'tolerance': 0}, {'layer_value': 240, 'cogs_adj': 30, 'writeoff': 0, 'mismatch': True}], ['over billed', {'received': 6, 'po_price': 30, 'consumed': 2, 'invoice_qty': 14, 'invoice_price': 35, 'tolerance': 1}, {'layer_value': 140, 'cogs_adj': 10, 'writeoff': 0, 'mismatch': True}], ['large credit', {'received': 12, 'po_price': 500, 'consumed': 5, 'invoice_qty': 12, 'invoice_price': 395, 'tolerance': 100}, {'layer_value': 2765, 'cogs_adj': -525, 'writeoff': 0, 'mismatch': False}], ['small credit within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 99, 'tolerance': 10}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': -5, 'mismatch': False}]]]
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
price up partly consumed{'cogs_adj': 44, 'layer_value': 666, 'mismatch': False, 'writeoff': 0}{'cogs_adj': 44, 'layer_value': 666, 'mismatch': False, 'writeoff': 0}Passed
price down{'cogs_adj': -30, 'layer_value': 1200, 'mismatch': False, 'writeoff': 0}{'cogs_adj': -30, 'layer_value': 1200, 'mismatch': False, 'writeoff': 0}Passed
within tolerance{'cogs_adj': 0, 'layer_value': 400, 'mismatch': False, 'writeoff': 5}{'cogs_adj': 0, 'layer_value': 400, 'mismatch': False, 'writeoff': 5}Passed
tolerance edge{'cogs_adj': 0, 'layer_value': 204, 'mismatch': False, 'writeoff': 0}{'cogs_adj': 0, 'layer_value': 200, 'mismatch': False, 'writeoff': 4}Failed
under billed{'cogs_adj': 30, 'layer_value': 240, 'mismatch': True, 'writeoff': 0}{'cogs_adj': 30, 'layer_value': 240, 'mismatch': True, 'writeoff': 0}Passed
over billed{'cogs_adj': 10, 'layer_value': 140, 'mismatch': True, 'writeoff': 0}{'cogs_adj': 10, 'layer_value': 140, 'mismatch': True, 'writeoff': 0}Passed
large credit{'cogs_adj': -505, 'layer_value': 2793, 'mismatch': False, 'writeoff': 0}{'cogs_adj': -505, 'layer_value': 2793, 'mismatch': False, 'writeoff': 0}Passed
small credit within tolerance{'cogs_adj': 0, 'layer_value': 400, 'mismatch': False, 'writeoff': -5}{'cogs_adj': 0, 'layer_value': 400, 'mismatch': False, 'writeoff': -5}Passed

SHA-256 / 31fd3a60248e636ad4e04619b0da495118903349ea8b227b35fccad0c0e02219

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(x):
    q = x['received']
    p = x['po_price']
    onhand = q - x['consumed']
    billed = min(x['invoice_qty'], q)
    d = x['invoice_price'] - p
    total = billed * d
    mismatch = x['invoice_qty'] != q
    if abs(total) < x['tolerance'] + 1 and total >= 0:
        return {'layer_value': onhand * p, 'cogs_adj': 0, 'writeoff': total, 'mismatch': mismatch}
    consumed_billed = min(billed, x['consumed'])
    onhand_billed = billed - consumed_billed
    return {'layer_value': onhand * p + onhand_billed * d, 'cogs_adj': consumed_billed * d, 'writeoff': 0, 'mismatch': mismatch}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['price up partly consumed', {'received': 10, 'po_price': 100, 'consumed': 4, 'invoice_qty': 10, 'invoice_price': 111, 'tolerance': 20}, {'layer_value': 666, 'cogs_adj': 44, 'writeoff': 0, 'mismatch': False}], ['price down', {'received': 8, 'po_price': 250, 'consumed': 3, 'invoice_qty': 8, 'invoice_price': 240, 'tolerance': 5}, {'layer_value': 1200, 'cogs_adj': -30, 'writeoff': 0, 'mismatch': False}], ['within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 101, 'tolerance': 6}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': 5, 'mismatch': False}], ['tolerance edge', {'received': 4, 'po_price': 50, 'consumed': 0, 'invoice_qty': 4, 'invoice_price': 51, 'tolerance': 4}, {'layer_value': 200, 'cogs_adj': 0, 'writeoff': 4, 'mismatch': False}], ['under billed', {'received': 10, 'po_price': 30, 'consumed': 3, 'invoice_qty': 6, 'invoice_price': 40, 'tolerance': 0}, {'layer_value': 240, 'cogs_adj': 30, 'writeoff': 0, 'mismatch': True}], ['over billed', {'received': 6, 'po_price': 30, 'consumed': 2, 'invoice_qty': 10, 'invoice_price': 35, 'tolerance': 1}, {'layer_value': 140, 'cogs_adj': 10, 'writeoff': 0, 'mismatch': True}], ['large credit', {'received': 12, 'po_price': 500, 'consumed': 5, 'invoice_qty': 12, 'invoice_price': 399, 'tolerance': 100}, {'layer_value': 2793, 'cogs_adj': -505, 'writeoff': 0, 'mismatch': False}], ['small credit within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 99, 'tolerance': 6}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': -5, 'mismatch': False}]], [['price up partly consumed', {'received': 10, 'po_price': 100, 'consumed': 4, 'invoice_qty': 10, 'invoice_price': 112, 'tolerance': 20}, {'layer_value': 672, 'cogs_adj': 48, 'writeoff': 0, 'mismatch': False}], ['price down', {'received': 8, 'po_price': 250, 'consumed': 4, 'invoice_qty': 8, 'invoice_price': 240, 'tolerance': 5}, {'layer_value': 960, 'cogs_adj': -40, 'writeoff': 0, 'mismatch': False}], ['within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 101, 'tolerance': 7}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': 5, 'mismatch': False}], ['tolerance edge', {'received': 4, 'po_price': 50, 'consumed': 0, 'invoice_qty': 4, 'invoice_price': 52, 'tolerance': 8}, {'layer_value': 200, 'cogs_adj': 0, 'writeoff': 8, 'mismatch': False}], ['under billed', {'received': 10, 'po_price': 30, 'consumed': 3, 'invoice_qty': 6, 'invoice_price': 40, 'tolerance': 0}, {'layer_value': 240, 'cogs_adj': 30, 'writeoff': 0, 'mismatch': True}], ['over billed', {'received': 6, 'po_price': 30, 'consumed': 2, 'invoice_qty': 11, 'invoice_price': 35, 'tolerance': 1}, {'layer_value': 140, 'cogs_adj': 10, 'writeoff': 0, 'mismatch': True}], ['large credit', {'received': 12, 'po_price': 500, 'consumed': 5, 'invoice_qty': 12, 'invoice_price': 398, 'tolerance': 100}, {'layer_value': 2786, 'cogs_adj': -510, 'writeoff': 0, 'mismatch': False}], ['small credit within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 99, 'tolerance': 7}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': -5, 'mismatch': False}]], [['price up partly consumed', {'received': 10, 'po_price': 100, 'consumed': 4, 'invoice_qty': 10, 'invoice_price': 113, 'tolerance': 20}, {'layer_value': 678, 'cogs_adj': 52, 'writeoff': 0, 'mismatch': False}], ['price down', {'received': 8, 'po_price': 250, 'consumed': 2, 'invoice_qty': 8, 'invoice_price': 240, 'tolerance': 5}, {'layer_value': 1440, 'cogs_adj': -20, 'writeoff': 0, 'mismatch': False}], ['within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 101, 'tolerance': 8}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': 5, 'mismatch': False}], ['tolerance edge', {'received': 4, 'po_price': 50, 'consumed': 0, 'invoice_qty': 4, 'invoice_price': 53, 'tolerance': 12}, {'layer_value': 200, 'cogs_adj': 0, 'writeoff': 12, 'mismatch': False}], ['under billed', {'received': 10, 'po_price': 30, 'consumed': 3, 'invoice_qty': 6, 'invoice_price': 40, 'tolerance': 0}, {'layer_value': 240, 'cogs_adj': 30, 'writeoff': 0, 'mismatch': True}], ['over billed', {'received': 6, 'po_price': 30, 'consumed': 2, 'invoice_qty': 12, 'invoice_price': 35, 'tolerance': 1}, {'layer_value': 140, 'cogs_adj': 10, 'writeoff': 0, 'mismatch': True}], ['large credit', {'received': 12, 'po_price': 500, 'consumed': 5, 'invoice_qty': 12, 'invoice_price': 397, 'tolerance': 100}, {'layer_value': 2779, 'cogs_adj': -515, 'writeoff': 0, 'mismatch': False}], ['small credit within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 99, 'tolerance': 8}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': -5, 'mismatch': False}]], [['price up partly consumed', {'received': 10, 'po_price': 100, 'consumed': 4, 'invoice_qty': 10, 'invoice_price': 114, 'tolerance': 20}, {'layer_value': 684, 'cogs_adj': 56, 'writeoff': 0, 'mismatch': False}], ['price down', {'received': 8, 'po_price': 250, 'consumed': 3, 'invoice_qty': 8, 'invoice_price': 240, 'tolerance': 5}, {'layer_value': 1200, 'cogs_adj': -30, 'writeoff': 0, 'mismatch': False}], ['within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 101, 'tolerance': 9}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': 5, 'mismatch': False}], ['tolerance edge', {'received': 4, 'po_price': 50, 'consumed': 0, 'invoice_qty': 4, 'invoice_price': 54, 'tolerance': 16}, {'layer_value': 200, 'cogs_adj': 0, 'writeoff': 16, 'mismatch': False}], ['under billed', {'received': 10, 'po_price': 30, 'consumed': 3, 'invoice_qty': 6, 'invoice_price': 40, 'tolerance': 0}, {'layer_value': 240, 'cogs_adj': 30, 'writeoff': 0, 'mismatch': True}], ['over billed', {'received': 6, 'po_price': 30, 'consumed': 2, 'invoice_qty': 13, 'invoice_price': 35, 'tolerance': 1}, {'layer_value': 140, 'cogs_adj': 10, 'writeoff': 0, 'mismatch': True}], ['large credit', {'received': 12, 'po_price': 500, 'consumed': 5, 'invoice_qty': 12, 'invoice_price': 396, 'tolerance': 100}, {'layer_value': 2772, 'cogs_adj': -520, 'writeoff': 0, 'mismatch': False}], ['small credit within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 99, 'tolerance': 9}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': -5, 'mismatch': False}]], [['price up partly consumed', {'received': 10, 'po_price': 100, 'consumed': 4, 'invoice_qty': 10, 'invoice_price': 115, 'tolerance': 20}, {'layer_value': 690, 'cogs_adj': 60, 'writeoff': 0, 'mismatch': False}], ['price down', {'received': 8, 'po_price': 250, 'consumed': 4, 'invoice_qty': 8, 'invoice_price': 240, 'tolerance': 5}, {'layer_value': 960, 'cogs_adj': -40, 'writeoff': 0, 'mismatch': False}], ['within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 101, 'tolerance': 10}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': 5, 'mismatch': False}], ['tolerance edge', {'received': 4, 'po_price': 50, 'consumed': 0, 'invoice_qty': 4, 'invoice_price': 55, 'tolerance': 20}, {'layer_value': 200, 'cogs_adj': 0, 'writeoff': 20, 'mismatch': False}], ['under billed', {'received': 10, 'po_price': 30, 'consumed': 3, 'invoice_qty': 6, 'invoice_price': 40, 'tolerance': 0}, {'layer_value': 240, 'cogs_adj': 30, 'writeoff': 0, 'mismatch': True}], ['over billed', {'received': 6, 'po_price': 30, 'consumed': 2, 'invoice_qty': 14, 'invoice_price': 35, 'tolerance': 1}, {'layer_value': 140, 'cogs_adj': 10, 'writeoff': 0, 'mismatch': True}], ['large credit', {'received': 12, 'po_price': 500, 'consumed': 5, 'invoice_qty': 12, 'invoice_price': 395, 'tolerance': 100}, {'layer_value': 2765, 'cogs_adj': -525, 'writeoff': 0, 'mismatch': False}], ['small credit within tolerance', {'received': 5, 'po_price': 100, 'consumed': 1, 'invoice_qty': 5, 'invoice_price': 99, 'tolerance': 10}, {'layer_value': 400, 'cogs_adj': 0, 'writeoff': -5, 'mismatch': False}]]]
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
price up partly consumed{'cogs_adj': 44, 'layer_value': 666, 'mismatch': False, 'writeoff': 0}{'cogs_adj': 44, 'layer_value': 666, 'mismatch': False, 'writeoff': 0}Passed
price down{'cogs_adj': -30, 'layer_value': 1200, 'mismatch': False, 'writeoff': 0}{'cogs_adj': -30, 'layer_value': 1200, 'mismatch': False, 'writeoff': 0}Passed
within tolerance{'cogs_adj': 0, 'layer_value': 400, 'mismatch': False, 'writeoff': 5}{'cogs_adj': 0, 'layer_value': 400, 'mismatch': False, 'writeoff': 5}Passed
tolerance edge{'cogs_adj': 0, 'layer_value': 200, 'mismatch': False, 'writeoff': 4}{'cogs_adj': 0, 'layer_value': 200, 'mismatch': False, 'writeoff': 4}Passed
under billed{'cogs_adj': 30, 'layer_value': 240, 'mismatch': True, 'writeoff': 0}{'cogs_adj': 30, 'layer_value': 240, 'mismatch': True, 'writeoff': 0}Passed
over billed{'cogs_adj': 10, 'layer_value': 140, 'mismatch': True, 'writeoff': 0}{'cogs_adj': 10, 'layer_value': 140, 'mismatch': True, 'writeoff': 0}Passed
large credit{'cogs_adj': -505, 'layer_value': 2793, 'mismatch': False, 'writeoff': 0}{'cogs_adj': -505, 'layer_value': 2793, 'mismatch': False, 'writeoff': 0}Passed
small credit within tolerance{'cogs_adj': -1, 'layer_value': 396, 'mismatch': False, 'writeoff': 0}{'cogs_adj': 0, 'layer_value': 400, 'mismatch': False, 'writeoff': -5}Failed

SHA-256 / 0495f8640aee83fd887a711b47b8dcd816532077a99fd774427cb40a8c554e8c

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

Stipulated bounded teaching model with explicit toy rules; not an accounting-standard implementation. 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:42.895843+00:00.

Case digest / 1a19d27038f5f0873ea927d972b2ce00c71c14c2ce7a44d9653351b25caf61d3