FA-59921 / Inventory cost layering / Open access

Moving average perpetual costing: average reset at zero stock · case 01

An issue that empties stock zeroes the average, so the next receipt is costed with a zero-weight but reported avg is wrong in between.

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

ROOT CAUSE

The issue path resets the average to zero whenever on-hand reaches zero, contradicting the keep-last-average rule.

VERIFIED REPAIR

Keep the last average when stock reaches zero.

Unsuccessful approach: Resetting only when the next event is a receipt still reports a zero average at period end.

Case contract

Input {onhand, avg (cents, integer), events}. On receipt the average becomes round-half-up((onhand*avg + qty*cost)/(onhand+qty)) to whole cents; an issue is costed at qty*avg with the current average and never changes it; an issue exceeding on-hand returns "short". When on-hand reaches zero the average is kept as the last value (not reset). Return {cogs, onhand, avg}.

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):
    onhand = x['onhand']
    avg = x['avg']
    cogs = []
    for ev in x['events']:
        if ev[0] == 'recv':
            q, c = ev[1], ev[2]
            total = onhand * avg + q * c
            units = onhand + q
            avg = (2 * total + units) // (2 * units)
            onhand = units
        else:
            q = ev[1]
            if q > onhand:
                cogs.append('short')
                continue
            cogs.append(q * avg)
            onhand -= q
            if onhand == 0:
                avg = 0
    return {'cogs': cogs, 'onhand': onhand, 'avg': avg}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['receipt reprices', {'onhand': 10, 'avg': 100, 'events': [['recv', 10, 131], ['issue', 5]]}, {'cogs': [580], 'onhand': 15, 'avg': 116}], ['uneven rounding', {'onhand': 3, 'avg': 10, 'events': [['recv', 4, 12], ['issue', 2], ['issue', 1]]}, {'cogs': [22, 11], 'onhand': 4, 'avg': 11}], ['zero then receipt', {'onhand': 2, 'avg': 50, 'events': [['issue', 2], ['recv', 3, 71], ['issue', 1]]}, {'cogs': [100, 71], 'onhand': 2, 'avg': 71}], ['short issue', {'onhand': 2, 'avg': 50, 'events': [['issue', 4]]}, {'cogs': ['short'], 'onhand': 2, 'avg': 50}], ['many receipts', {'onhand': 0, 'avg': 0, 'events': [['recv', 1, 10], ['recv', 2, 13], ['recv', 1, 20], ['issue', 3]]}, {'cogs': [42], 'onhand': 1, 'avg': 14}], ['half cent', {'onhand': 1, 'avg': 1, 'events': [['recv', 1, 4], ['issue', 1]]}, {'cogs': [3], 'onhand': 1, 'avg': 3}], ['issue all', {'onhand': 4, 'avg': 25, 'events': [['recv', 4, 26], ['issue', 8]]}, {'cogs': [208], 'onhand': 0, 'avg': 26}], ['ends empty', {'onhand': 3, 'avg': 41, 'events': [['issue', 1], ['issue', 2]]}, {'cogs': [41, 82], 'onhand': 0, 'avg': 41}]], [['receipt reprices', {'onhand': 10, 'avg': 100, 'events': [['recv', 10, 132], ['issue', 5]]}, {'cogs': [580], 'onhand': 15, 'avg': 116}], ['uneven rounding', {'onhand': 3, 'avg': 10, 'events': [['recv', 4, 13], ['issue', 2], ['issue', 1]]}, {'cogs': [24, 12], 'onhand': 4, 'avg': 12}], ['zero then receipt', {'onhand': 2, 'avg': 50, 'events': [['issue', 2], ['recv', 3, 72], ['issue', 1]]}, {'cogs': [100, 72], 'onhand': 2, 'avg': 72}], ['short issue', {'onhand': 2, 'avg': 50, 'events': [['issue', 5]]}, {'cogs': ['short'], 'onhand': 2, 'avg': 50}], ['many receipts', {'onhand': 0, 'avg': 0, 'events': [['recv', 1, 10], ['recv', 2, 13], ['recv', 2, 20], ['issue', 3]]}, {'cogs': [45], 'onhand': 2, 'avg': 15}], ['half cent', {'onhand': 1, 'avg': 1, 'events': [['recv', 1, 6], ['issue', 1]]}, {'cogs': [4], 'onhand': 1, 'avg': 4}], ['issue all', {'onhand': 4, 'avg': 25, 'events': [['recv', 4, 26], ['issue', 8]]}, {'cogs': [208], 'onhand': 0, 'avg': 26}], ['ends empty', {'onhand': 3, 'avg': 42, 'events': [['issue', 1], ['issue', 2]]}, {'cogs': [42, 84], 'onhand': 0, 'avg': 42}]], [['receipt reprices', {'onhand': 10, 'avg': 100, 'events': [['recv', 10, 133], ['issue', 5]]}, {'cogs': [585], 'onhand': 15, 'avg': 117}], ['uneven rounding', {'onhand': 3, 'avg': 10, 'events': [['recv', 4, 14], ['issue', 2], ['issue', 1]]}, {'cogs': [24, 12], 'onhand': 4, 'avg': 12}], ['zero then receipt', {'onhand': 2, 'avg': 50, 'events': [['issue', 2], ['recv', 3, 73], ['issue', 1]]}, {'cogs': [100, 73], 'onhand': 2, 'avg': 73}], ['short issue', {'onhand': 2, 'avg': 50, 'events': [['issue', 6]]}, {'cogs': ['short'], 'onhand': 2, 'avg': 50}], ['many receipts', {'onhand': 0, 'avg': 0, 'events': [['recv', 1, 10], ['recv', 2, 13], ['recv', 3, 20], ['issue', 3]]}, {'cogs': [48], 'onhand': 3, 'avg': 16}], ['half cent', {'onhand': 1, 'avg': 1, 'events': [['recv', 1, 8], ['issue', 1]]}, {'cogs': [5], 'onhand': 1, 'avg': 5}], ['issue all', {'onhand': 4, 'avg': 25, 'events': [['recv', 4, 26], ['issue', 8]]}, {'cogs': [208], 'onhand': 0, 'avg': 26}], ['ends empty', {'onhand': 3, 'avg': 43, 'events': [['issue', 1], ['issue', 2]]}, {'cogs': [43, 86], 'onhand': 0, 'avg': 43}]], [['receipt reprices', {'onhand': 10, 'avg': 100, 'events': [['recv', 10, 134], ['issue', 5]]}, {'cogs': [585], 'onhand': 15, 'avg': 117}], ['uneven rounding', {'onhand': 3, 'avg': 10, 'events': [['recv', 4, 15], ['issue', 2], ['issue', 1]]}, {'cogs': [26, 13], 'onhand': 4, 'avg': 13}], ['zero then receipt', {'onhand': 2, 'avg': 50, 'events': [['issue', 2], ['recv', 3, 74], ['issue', 1]]}, {'cogs': [100, 74], 'onhand': 2, 'avg': 74}], ['short issue', {'onhand': 2, 'avg': 50, 'events': [['issue', 7]]}, {'cogs': ['short'], 'onhand': 2, 'avg': 50}], ['many receipts', {'onhand': 0, 'avg': 0, 'events': [['recv', 1, 10], ['recv', 2, 13], ['recv', 4, 20], ['issue', 3]]}, {'cogs': [51], 'onhand': 4, 'avg': 17}], ['half cent', {'onhand': 1, 'avg': 1, 'events': [['recv', 1, 10], ['issue', 1]]}, {'cogs': [6], 'onhand': 1, 'avg': 6}], ['issue all', {'onhand': 4, 'avg': 25, 'events': [['recv', 4, 26], ['issue', 8]]}, {'cogs': [208], 'onhand': 0, 'avg': 26}], ['ends empty', {'onhand': 3, 'avg': 44, 'events': [['issue', 1], ['issue', 2]]}, {'cogs': [44, 88], 'onhand': 0, 'avg': 44}]], [['receipt reprices', {'onhand': 10, 'avg': 100, 'events': [['recv', 10, 135], ['issue', 5]]}, {'cogs': [590], 'onhand': 15, 'avg': 118}], ['uneven rounding', {'onhand': 3, 'avg': 10, 'events': [['recv', 4, 16], ['issue', 2], ['issue', 1]]}, {'cogs': [26, 13], 'onhand': 4, 'avg': 13}], ['zero then receipt', {'onhand': 2, 'avg': 50, 'events': [['issue', 2], ['recv', 3, 75], ['issue', 1]]}, {'cogs': [100, 75], 'onhand': 2, 'avg': 75}], ['short issue', {'onhand': 2, 'avg': 50, 'events': [['issue', 8]]}, {'cogs': ['short'], 'onhand': 2, 'avg': 50}], ['many receipts', {'onhand': 0, 'avg': 0, 'events': [['recv', 1, 10], ['recv', 2, 13], ['recv', 5, 20], ['issue', 3]]}, {'cogs': [51], 'onhand': 5, 'avg': 17}], ['half cent', {'onhand': 1, 'avg': 1, 'events': [['recv', 1, 12], ['issue', 1]]}, {'cogs': [7], 'onhand': 1, 'avg': 7}], ['issue all', {'onhand': 4, 'avg': 25, 'events': [['recv', 4, 26], ['issue', 8]]}, {'cogs': [208], 'onhand': 0, 'avg': 26}], ['ends empty', {'onhand': 3, 'avg': 45, 'events': [['issue', 1], ['issue', 2]]}, {'cogs': [45, 90], 'onhand': 0, 'avg': 45}]]]
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 fixture	Actual	Expected	Outcome
receipt reprices	`{'avg': 116, 'cogs': [580], 'onhand': 15}`	`{'avg': 116, 'cogs': [580], 'onhand': 15}`	Passed
uneven rounding	`{'avg': 11, 'cogs': [22, 11], 'onhand': 4}`	`{'avg': 11, 'cogs': [22, 11], 'onhand': 4}`	Passed
zero then receipt	`{'avg': 71, 'cogs': [100, 71], 'onhand': 2}`	`{'avg': 71, 'cogs': [100, 71], 'onhand': 2}`	Passed
short issue	`{'avg': 50, 'cogs': ['short'], 'onhand': 2}`	`{'avg': 50, 'cogs': ['short'], 'onhand': 2}`	Passed
many receipts	`{'avg': 14, 'cogs': [42], 'onhand': 1}`	`{'avg': 14, 'cogs': [42], 'onhand': 1}`	Passed
half cent	`{'avg': 3, 'cogs': [3], 'onhand': 1}`	`{'avg': 3, 'cogs': [3], 'onhand': 1}`	Passed
issue all	`{'avg': 0, 'cogs': [208], 'onhand': 0}`	`{'avg': 26, 'cogs': [208], 'onhand': 0}`	Failed
ends empty	`{'avg': 0, 'cogs': [41, 82], 'onhand': 0}`	`{'avg': 41, 'cogs': [41, 82], 'onhand': 0}`	Failed

SHA-256 / 464ebb31400a6d6230a8bbed6a8f7bc0852774c37dabbcc3d937b56913f791af

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(x):
    onhand = x['onhand']
    avg = x['avg']
    cogs = []
    for ev in x['events']:
        if ev[0] == 'recv':
            q, c = ev[1], ev[2]
            total = onhand * avg + q * c
            units = onhand + q
            avg = (2 * total + units) // (2 * units)
            onhand = units
        else:
            q = ev[1]
            if q > onhand:
                cogs.append('short')
                continue
            cogs.append(q * avg)
            onhand -= q
            if onhand == 0 and ev is x['events'][-1]:
                avg = 0
    return {'cogs': cogs, 'onhand': onhand, 'avg': avg}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['receipt reprices', {'onhand': 10, 'avg': 100, 'events': [['recv', 10, 131], ['issue', 5]]}, {'cogs': [580], 'onhand': 15, 'avg': 116}], ['uneven rounding', {'onhand': 3, 'avg': 10, 'events': [['recv', 4, 12], ['issue', 2], ['issue', 1]]}, {'cogs': [22, 11], 'onhand': 4, 'avg': 11}], ['zero then receipt', {'onhand': 2, 'avg': 50, 'events': [['issue', 2], ['recv', 3, 71], ['issue', 1]]}, {'cogs': [100, 71], 'onhand': 2, 'avg': 71}], ['short issue', {'onhand': 2, 'avg': 50, 'events': [['issue', 4]]}, {'cogs': ['short'], 'onhand': 2, 'avg': 50}], ['many receipts', {'onhand': 0, 'avg': 0, 'events': [['recv', 1, 10], ['recv', 2, 13], ['recv', 1, 20], ['issue', 3]]}, {'cogs': [42], 'onhand': 1, 'avg': 14}], ['half cent', {'onhand': 1, 'avg': 1, 'events': [['recv', 1, 4], ['issue', 1]]}, {'cogs': [3], 'onhand': 1, 'avg': 3}], ['issue all', {'onhand': 4, 'avg': 25, 'events': [['recv', 4, 26], ['issue', 8]]}, {'cogs': [208], 'onhand': 0, 'avg': 26}], ['ends empty', {'onhand': 3, 'avg': 41, 'events': [['issue', 1], ['issue', 2]]}, {'cogs': [41, 82], 'onhand': 0, 'avg': 41}]], [['receipt reprices', {'onhand': 10, 'avg': 100, 'events': [['recv', 10, 132], ['issue', 5]]}, {'cogs': [580], 'onhand': 15, 'avg': 116}], ['uneven rounding', {'onhand': 3, 'avg': 10, 'events': [['recv', 4, 13], ['issue', 2], ['issue', 1]]}, {'cogs': [24, 12], 'onhand': 4, 'avg': 12}], ['zero then receipt', {'onhand': 2, 'avg': 50, 'events': [['issue', 2], ['recv', 3, 72], ['issue', 1]]}, {'cogs': [100, 72], 'onhand': 2, 'avg': 72}], ['short issue', {'onhand': 2, 'avg': 50, 'events': [['issue', 5]]}, {'cogs': ['short'], 'onhand': 2, 'avg': 50}], ['many receipts', {'onhand': 0, 'avg': 0, 'events': [['recv', 1, 10], ['recv', 2, 13], ['recv', 2, 20], ['issue', 3]]}, {'cogs': [45], 'onhand': 2, 'avg': 15}], ['half cent', {'onhand': 1, 'avg': 1, 'events': [['recv', 1, 6], ['issue', 1]]}, {'cogs': [4], 'onhand': 1, 'avg': 4}], ['issue all', {'onhand': 4, 'avg': 25, 'events': [['recv', 4, 26], ['issue', 8]]}, {'cogs': [208], 'onhand': 0, 'avg': 26}], ['ends empty', {'onhand': 3, 'avg': 42, 'events': [['issue', 1], ['issue', 2]]}, {'cogs': [42, 84], 'onhand': 0, 'avg': 42}]], [['receipt reprices', {'onhand': 10, 'avg': 100, 'events': [['recv', 10, 133], ['issue', 5]]}, {'cogs': [585], 'onhand': 15, 'avg': 117}], ['uneven rounding', {'onhand': 3, 'avg': 10, 'events': [['recv', 4, 14], ['issue', 2], ['issue', 1]]}, {'cogs': [24, 12], 'onhand': 4, 'avg': 12}], ['zero then receipt', {'onhand': 2, 'avg': 50, 'events': [['issue', 2], ['recv', 3, 73], ['issue', 1]]}, {'cogs': [100, 73], 'onhand': 2, 'avg': 73}], ['short issue', {'onhand': 2, 'avg': 50, 'events': [['issue', 6]]}, {'cogs': ['short'], 'onhand': 2, 'avg': 50}], ['many receipts', {'onhand': 0, 'avg': 0, 'events': [['recv', 1, 10], ['recv', 2, 13], ['recv', 3, 20], ['issue', 3]]}, {'cogs': [48], 'onhand': 3, 'avg': 16}], ['half cent', {'onhand': 1, 'avg': 1, 'events': [['recv', 1, 8], ['issue', 1]]}, {'cogs': [5], 'onhand': 1, 'avg': 5}], ['issue all', {'onhand': 4, 'avg': 25, 'events': [['recv', 4, 26], ['issue', 8]]}, {'cogs': [208], 'onhand': 0, 'avg': 26}], ['ends empty', {'onhand': 3, 'avg': 43, 'events': [['issue', 1], ['issue', 2]]}, {'cogs': [43, 86], 'onhand': 0, 'avg': 43}]], [['receipt reprices', {'onhand': 10, 'avg': 100, 'events': [['recv', 10, 134], ['issue', 5]]}, {'cogs': [585], 'onhand': 15, 'avg': 117}], ['uneven rounding', {'onhand': 3, 'avg': 10, 'events': [['recv', 4, 15], ['issue', 2], ['issue', 1]]}, {'cogs': [26, 13], 'onhand': 4, 'avg': 13}], ['zero then receipt', {'onhand': 2, 'avg': 50, 'events': [['issue', 2], ['recv', 3, 74], ['issue', 1]]}, {'cogs': [100, 74], 'onhand': 2, 'avg': 74}], ['short issue', {'onhand': 2, 'avg': 50, 'events': [['issue', 7]]}, {'cogs': ['short'], 'onhand': 2, 'avg': 50}], ['many receipts', {'onhand': 0, 'avg': 0, 'events': [['recv', 1, 10], ['recv', 2, 13], ['recv', 4, 20], ['issue', 3]]}, {'cogs': [51], 'onhand': 4, 'avg': 17}], ['half cent', {'onhand': 1, 'avg': 1, 'events': [['recv', 1, 10], ['issue', 1]]}, {'cogs': [6], 'onhand': 1, 'avg': 6}], ['issue all', {'onhand': 4, 'avg': 25, 'events': [['recv', 4, 26], ['issue', 8]]}, {'cogs': [208], 'onhand': 0, 'avg': 26}], ['ends empty', {'onhand': 3, 'avg': 44, 'events': [['issue', 1], ['issue', 2]]}, {'cogs': [44, 88], 'onhand': 0, 'avg': 44}]], [['receipt reprices', {'onhand': 10, 'avg': 100, 'events': [['recv', 10, 135], ['issue', 5]]}, {'cogs': [590], 'onhand': 15, 'avg': 118}], ['uneven rounding', {'onhand': 3, 'avg': 10, 'events': [['recv', 4, 16], ['issue', 2], ['issue', 1]]}, {'cogs': [26, 13], 'onhand': 4, 'avg': 13}], ['zero then receipt', {'onhand': 2, 'avg': 50, 'events': [['issue', 2], ['recv', 3, 75], ['issue', 1]]}, {'cogs': [100, 75], 'onhand': 2, 'avg': 75}], ['short issue', {'onhand': 2, 'avg': 50, 'events': [['issue', 8]]}, {'cogs': ['short'], 'onhand': 2, 'avg': 50}], ['many receipts', {'onhand': 0, 'avg': 0, 'events': [['recv', 1, 10], ['recv', 2, 13], ['recv', 5, 20], ['issue', 3]]}, {'cogs': [51], 'onhand': 5, 'avg': 17}], ['half cent', {'onhand': 1, 'avg': 1, 'events': [['recv', 1, 12], ['issue', 1]]}, {'cogs': [7], 'onhand': 1, 'avg': 7}], ['issue all', {'onhand': 4, 'avg': 25, 'events': [['recv', 4, 26], ['issue', 8]]}, {'cogs': [208], 'onhand': 0, 'avg': 26}], ['ends empty', {'onhand': 3, 'avg': 45, 'events': [['issue', 1], ['issue', 2]]}, {'cogs': [45, 90], 'onhand': 0, 'avg': 45}]]]
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 fixture	Actual	Expected	Outcome
receipt reprices	`{'avg': 116, 'cogs': [580], 'onhand': 15}`	`{'avg': 116, 'cogs': [580], 'onhand': 15}`	Passed
uneven rounding	`{'avg': 11, 'cogs': [22, 11], 'onhand': 4}`	`{'avg': 11, 'cogs': [22, 11], 'onhand': 4}`	Passed
zero then receipt	`{'avg': 71, 'cogs': [100, 71], 'onhand': 2}`	`{'avg': 71, 'cogs': [100, 71], 'onhand': 2}`	Passed
short issue	`{'avg': 50, 'cogs': ['short'], 'onhand': 2}`	`{'avg': 50, 'cogs': ['short'], 'onhand': 2}`	Passed
many receipts	`{'avg': 14, 'cogs': [42], 'onhand': 1}`	`{'avg': 14, 'cogs': [42], 'onhand': 1}`	Passed
half cent	`{'avg': 3, 'cogs': [3], 'onhand': 1}`	`{'avg': 3, 'cogs': [3], 'onhand': 1}`	Passed
issue all	`{'avg': 0, 'cogs': [208], 'onhand': 0}`	`{'avg': 26, 'cogs': [208], 'onhand': 0}`	Failed
ends empty	`{'avg': 0, 'cogs': [41, 82], 'onhand': 0}`	`{'avg': 41, 'cogs': [41, 82], 'onhand': 0}`	Failed

SHA-256 / ed0853977e15b093afcdf9ec971cde30455a700b6a8b63d71f4c43e154a853ab

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(x):
    onhand = x['onhand']
    avg = x['avg']
    cogs = []
    for ev in x['events']:
        if ev[0] == 'recv':
            q, c = ev[1], ev[2]
            total = onhand * avg + q * c
            units = onhand + q
            avg = (2 * total + units) // (2 * units)
            onhand = units
        else:
            q = ev[1]
            if q > onhand:
                cogs.append('short')
                continue
            cogs.append(q * avg)
            onhand -= q
    return {'cogs': cogs, 'onhand': onhand, 'avg': avg}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['receipt reprices', {'onhand': 10, 'avg': 100, 'events': [['recv', 10, 131], ['issue', 5]]}, {'cogs': [580], 'onhand': 15, 'avg': 116}], ['uneven rounding', {'onhand': 3, 'avg': 10, 'events': [['recv', 4, 12], ['issue', 2], ['issue', 1]]}, {'cogs': [22, 11], 'onhand': 4, 'avg': 11}], ['zero then receipt', {'onhand': 2, 'avg': 50, 'events': [['issue', 2], ['recv', 3, 71], ['issue', 1]]}, {'cogs': [100, 71], 'onhand': 2, 'avg': 71}], ['short issue', {'onhand': 2, 'avg': 50, 'events': [['issue', 4]]}, {'cogs': ['short'], 'onhand': 2, 'avg': 50}], ['many receipts', {'onhand': 0, 'avg': 0, 'events': [['recv', 1, 10], ['recv', 2, 13], ['recv', 1, 20], ['issue', 3]]}, {'cogs': [42], 'onhand': 1, 'avg': 14}], ['half cent', {'onhand': 1, 'avg': 1, 'events': [['recv', 1, 4], ['issue', 1]]}, {'cogs': [3], 'onhand': 1, 'avg': 3}], ['issue all', {'onhand': 4, 'avg': 25, 'events': [['recv', 4, 26], ['issue', 8]]}, {'cogs': [208], 'onhand': 0, 'avg': 26}], ['ends empty', {'onhand': 3, 'avg': 41, 'events': [['issue', 1], ['issue', 2]]}, {'cogs': [41, 82], 'onhand': 0, 'avg': 41}]], [['receipt reprices', {'onhand': 10, 'avg': 100, 'events': [['recv', 10, 132], ['issue', 5]]}, {'cogs': [580], 'onhand': 15, 'avg': 116}], ['uneven rounding', {'onhand': 3, 'avg': 10, 'events': [['recv', 4, 13], ['issue', 2], ['issue', 1]]}, {'cogs': [24, 12], 'onhand': 4, 'avg': 12}], ['zero then receipt', {'onhand': 2, 'avg': 50, 'events': [['issue', 2], ['recv', 3, 72], ['issue', 1]]}, {'cogs': [100, 72], 'onhand': 2, 'avg': 72}], ['short issue', {'onhand': 2, 'avg': 50, 'events': [['issue', 5]]}, {'cogs': ['short'], 'onhand': 2, 'avg': 50}], ['many receipts', {'onhand': 0, 'avg': 0, 'events': [['recv', 1, 10], ['recv', 2, 13], ['recv', 2, 20], ['issue', 3]]}, {'cogs': [45], 'onhand': 2, 'avg': 15}], ['half cent', {'onhand': 1, 'avg': 1, 'events': [['recv', 1, 6], ['issue', 1]]}, {'cogs': [4], 'onhand': 1, 'avg': 4}], ['issue all', {'onhand': 4, 'avg': 25, 'events': [['recv', 4, 26], ['issue', 8]]}, {'cogs': [208], 'onhand': 0, 'avg': 26}], ['ends empty', {'onhand': 3, 'avg': 42, 'events': [['issue', 1], ['issue', 2]]}, {'cogs': [42, 84], 'onhand': 0, 'avg': 42}]], [['receipt reprices', {'onhand': 10, 'avg': 100, 'events': [['recv', 10, 133], ['issue', 5]]}, {'cogs': [585], 'onhand': 15, 'avg': 117}], ['uneven rounding', {'onhand': 3, 'avg': 10, 'events': [['recv', 4, 14], ['issue', 2], ['issue', 1]]}, {'cogs': [24, 12], 'onhand': 4, 'avg': 12}], ['zero then receipt', {'onhand': 2, 'avg': 50, 'events': [['issue', 2], ['recv', 3, 73], ['issue', 1]]}, {'cogs': [100, 73], 'onhand': 2, 'avg': 73}], ['short issue', {'onhand': 2, 'avg': 50, 'events': [['issue', 6]]}, {'cogs': ['short'], 'onhand': 2, 'avg': 50}], ['many receipts', {'onhand': 0, 'avg': 0, 'events': [['recv', 1, 10], ['recv', 2, 13], ['recv', 3, 20], ['issue', 3]]}, {'cogs': [48], 'onhand': 3, 'avg': 16}], ['half cent', {'onhand': 1, 'avg': 1, 'events': [['recv', 1, 8], ['issue', 1]]}, {'cogs': [5], 'onhand': 1, 'avg': 5}], ['issue all', {'onhand': 4, 'avg': 25, 'events': [['recv', 4, 26], ['issue', 8]]}, {'cogs': [208], 'onhand': 0, 'avg': 26}], ['ends empty', {'onhand': 3, 'avg': 43, 'events': [['issue', 1], ['issue', 2]]}, {'cogs': [43, 86], 'onhand': 0, 'avg': 43}]], [['receipt reprices', {'onhand': 10, 'avg': 100, 'events': [['recv', 10, 134], ['issue', 5]]}, {'cogs': [585], 'onhand': 15, 'avg': 117}], ['uneven rounding', {'onhand': 3, 'avg': 10, 'events': [['recv', 4, 15], ['issue', 2], ['issue', 1]]}, {'cogs': [26, 13], 'onhand': 4, 'avg': 13}], ['zero then receipt', {'onhand': 2, 'avg': 50, 'events': [['issue', 2], ['recv', 3, 74], ['issue', 1]]}, {'cogs': [100, 74], 'onhand': 2, 'avg': 74}], ['short issue', {'onhand': 2, 'avg': 50, 'events': [['issue', 7]]}, {'cogs': ['short'], 'onhand': 2, 'avg': 50}], ['many receipts', {'onhand': 0, 'avg': 0, 'events': [['recv', 1, 10], ['recv', 2, 13], ['recv', 4, 20], ['issue', 3]]}, {'cogs': [51], 'onhand': 4, 'avg': 17}], ['half cent', {'onhand': 1, 'avg': 1, 'events': [['recv', 1, 10], ['issue', 1]]}, {'cogs': [6], 'onhand': 1, 'avg': 6}], ['issue all', {'onhand': 4, 'avg': 25, 'events': [['recv', 4, 26], ['issue', 8]]}, {'cogs': [208], 'onhand': 0, 'avg': 26}], ['ends empty', {'onhand': 3, 'avg': 44, 'events': [['issue', 1], ['issue', 2]]}, {'cogs': [44, 88], 'onhand': 0, 'avg': 44}]], [['receipt reprices', {'onhand': 10, 'avg': 100, 'events': [['recv', 10, 135], ['issue', 5]]}, {'cogs': [590], 'onhand': 15, 'avg': 118}], ['uneven rounding', {'onhand': 3, 'avg': 10, 'events': [['recv', 4, 16], ['issue', 2], ['issue', 1]]}, {'cogs': [26, 13], 'onhand': 4, 'avg': 13}], ['zero then receipt', {'onhand': 2, 'avg': 50, 'events': [['issue', 2], ['recv', 3, 75], ['issue', 1]]}, {'cogs': [100, 75], 'onhand': 2, 'avg': 75}], ['short issue', {'onhand': 2, 'avg': 50, 'events': [['issue', 8]]}, {'cogs': ['short'], 'onhand': 2, 'avg': 50}], ['many receipts', {'onhand': 0, 'avg': 0, 'events': [['recv', 1, 10], ['recv', 2, 13], ['recv', 5, 20], ['issue', 3]]}, {'cogs': [51], 'onhand': 5, 'avg': 17}], ['half cent', {'onhand': 1, 'avg': 1, 'events': [['recv', 1, 12], ['issue', 1]]}, {'cogs': [7], 'onhand': 1, 'avg': 7}], ['issue all', {'onhand': 4, 'avg': 25, 'events': [['recv', 4, 26], ['issue', 8]]}, {'cogs': [208], 'onhand': 0, 'avg': 26}], ['ends empty', {'onhand': 3, 'avg': 45, 'events': [['issue', 1], ['issue', 2]]}, {'cogs': [45, 90], 'onhand': 0, 'avg': 45}]]]
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 fixture	Actual	Expected	Outcome
receipt reprices	`{'avg': 116, 'cogs': [580], 'onhand': 15}`	`{'avg': 116, 'cogs': [580], 'onhand': 15}`	Passed
uneven rounding	`{'avg': 11, 'cogs': [22, 11], 'onhand': 4}`	`{'avg': 11, 'cogs': [22, 11], 'onhand': 4}`	Passed
zero then receipt	`{'avg': 71, 'cogs': [100, 71], 'onhand': 2}`	`{'avg': 71, 'cogs': [100, 71], 'onhand': 2}`	Passed
short issue	`{'avg': 50, 'cogs': ['short'], 'onhand': 2}`	`{'avg': 50, 'cogs': ['short'], 'onhand': 2}`	Passed
many receipts	`{'avg': 14, 'cogs': [42], 'onhand': 1}`	`{'avg': 14, 'cogs': [42], 'onhand': 1}`	Passed
half cent	`{'avg': 3, 'cogs': [3], 'onhand': 1}`	`{'avg': 3, 'cogs': [3], 'onhand': 1}`	Passed
issue all	`{'avg': 26, 'cogs': [208], 'onhand': 0}`	`{'avg': 26, 'cogs': [208], 'onhand': 0}`	Passed
ends empty	`{'avg': 41, 'cogs': [41, 82], 'onhand': 0}`	`{'avg': 41, 'cogs': [41, 82], 'onhand': 0}`	Passed

SHA-256 / 4b049c3fbff15fa1c6941d691bae5aa460ea526400c7ba17c973f9f10b9f1552

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:40.799744+00:00.

Case digest / 658bab0df80559cfca79d0be04123801d98d0fcf01ce031c8e4b261cbb938a44