{"abstract":"Sales that span two cost layers are rejected as stock-outs.","category":"Double-entry ledger accounting","checks":7,"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}.","evaluation_group":"w2-double-entry-ledger-accounting-fifo-perpetual-inventory","failed_approach":"A >= comparison rejects a sale that exactly empties the warehouse.","family":"w2-double-entry-ledger-accounting-fifo-perpetual-inventory-oversell-check","id":"FA-58096","implementations":{"attempt":{"sha256":"72103430e8c4a9a966647971c50575ed96e84326c1583a520c4858434dbb899e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    layers = []\n    cogs = revenue = 0\n    short = []\n    for i, ev in enumerate(x):\n        if ev[0] == 'buy':\n            if layers and layers[-1][1] == ev[2]:\n                layers[-1][0] += ev[1]\n            else:\n                layers.append([ev[1], ev[2]])\n        elif ev[0] == 'sell':\n            qty = ev[1]\n            if qty >= sum(l[0] for l in layers):\n                short.append(i)\n                continue\n            revenue += qty * ev[2]\n            while qty:\n                head = layers[0]\n                take = min(qty, head[0])\n                cogs += take * head[1]\n                head[0] -= take\n                qty -= take\n                if head[0] == 0:\n                    layers.pop(0)\n        elif ev[0] == 'purchase_return':\n            match = [l for l in layers if l[1] == ev[2] and l[0] >= ev[1]]\n            if not match:\n                short.append(i)\n                continue\n            match[-1][0] -= ev[1]\n            if match[-1][0] == 0:\n                layers.remove(match[-1])\n    inventory = sum(q * c for q, c in layers)\n    return {'cogs': cogs, 'revenue': revenue, 'inventory': inventory, 'layers': layers, 'rejected': short}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: oversell check', [['buy', 5, 120], ['sell', 6, 200], ['sell', 3, 200], ['buy', 1, 100], ['buy', 5, 120], ['buy', 5, 100], ['sell', 6, 200], ['sell', 12, 250]], {'cogs': 1060, 'revenue': 1800, 'inventory': 740, 'layers': [[2, 120], [5, 100]], 'rejected': [1, 7]}], ['regression: oversell check, partial-repair probe', [['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 1', [['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 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]}]], [['regression: oversell check', [['purchase_return', 2, 100], ['sell', 3, 250], ['buy', 1, 150], ['buy', 1, 100], ['buy', 5, 100], ['buy', 1, 150], ['sell', 2, 200], ['sell', 1, 250], ['sell', 6, 250], ['sell', 6, 250]], {'cogs': 350, 'revenue': 650, 'inventory': 550, 'layers': [[4, 100], [1, 150]], 'rejected': [0, 1, 8, 9]}], ['regression: oversell check, partial-repair probe', [['buy', 1, 100], ['purchase_return', 5, 100], ['sell', 1, 250]], {'cogs': 100, 'revenue': 250, 'inventory': 0, 'layers': [], 'rejected': [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, 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]}], ['control 5', [['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]}]], [['regression: oversell check', [['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 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', [['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]}], ['control 3', [['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 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', [['sell', 6, 200], ['sell', 12, 200], ['sell', 2, 200], ['sell', 2, 200], ['buy', 2, 100], ['purchase_return', 1, 120], ['buy', 2, 150], ['sell', 2, 200], ['sell', 2, 200], ['sell', 2, 200]], {'cogs': 500, 'revenue': 800, 'inventory': 0, 'layers': [], 'rejected': [0, 1, 2, 3, 5, 9]}], ['control 6', [['sell', 2, 250], ['buy', 5, 100], ['purchase_return', 5, 150], ['sell', 1, 200], ['buy', 2, 150], ['sell', 2, 250], ['buy', 2, 100], ['buy', 5, 150], ['buy', 5, 150]], {'cogs': 300, 'revenue': 700, 'inventory': 2200, 'layers': [[2, 100], [2, 150], [2, 100], [10, 150]], 'rejected': [0, 2]}]], [['regression: oversell check', [['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]}], ['regression: oversell check, partial-repair probe', [['purchase_return', 2, 100], ['buy', 10, 100], ['sell', 12, 250], ['sell', 1, 200], ['purchase_return', 1, 150], ['sell', 6, 200], ['buy', 5, 100], ['purchase_return', 2, 100], ['sell', 6, 250], ['sell', 6, 200]], {'cogs': 1300, 'revenue': 2900, 'inventory': 0, 'layers': [], 'rejected': [0, 2, 4, 9]}], ['control 1', [['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 2', [['sell', 12, 200], ['sell', 12, 250], ['buy', 2, 150], ['sell', 12, 250], ['buy', 2, 150], ['buy', 1, 100], ['buy', 5, 120], ['buy', 10, 150], ['sell', 3, 200], ['buy', 2, 150]], {'cogs': 450, 'revenue': 600, 'inventory': 2650, 'layers': [[1, 150], [1, 100], [5, 120], [12, 150]], 'rejected': [0, 1, 3]}], ['control 3', [['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 4', [['purchase_return', 2, 120], ['sell', 6, 200], ['sell', 2, 250], ['purchase_return', 2, 100], ['buy', 5, 100], ['buy', 2, 120], ['buy', 5, 120], ['sell', 1, 200]], {'cogs': 100, 'revenue': 200, 'inventory': 1240, 'layers': [[4, 100], [7, 120]], 'rejected': [0, 1, 2, 3]}], ['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]}]], [['regression: oversell check', [['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': []}], ['regression: oversell check, partial-repair probe', [['buy', 5, 100], ['sell', 2, 200], ['sell', 3, 250], ['buy', 5, 120], ['buy', 10, 150], ['buy', 10, 100], ['sell', 2, 200], ['purchase_return', 2, 100], ['purchase_return', 1, 100]], {'cogs': 740, 'revenue': 1550, 'inventory': 2560, 'layers': [[3, 120], [10, 150], [7, 100]], 'rejected': []}], ['control 1', [['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 2', [['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 3', [['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 4', [['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 5', [['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]}]]]\nfor label, args, expected in fixtures[N-1]:\n    try:\n        actual = solve(args)\n    except Exception as exc:\n        actual = 'raised ' + type(exc).__name__\n    check(label, actual, expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"80ef6ebb4b58c9e3103469fda66c14d7b7098177bcb5b058196a35490514634f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    layers = []\n    cogs = revenue = 0\n    short = []\n    for i, ev in enumerate(x):\n        if ev[0] == 'buy':\n            if layers and layers[-1][1] == ev[2]:\n                layers[-1][0] += ev[1]\n            else:\n                layers.append([ev[1], ev[2]])\n        elif ev[0] == 'sell':\n            qty = ev[1]\n            if (qty > layers[0][0]) if layers else True:\n                short.append(i)\n                continue\n            revenue += qty * ev[2]\n            while qty:\n                head = layers[0]\n                take = min(qty, head[0])\n                cogs += take * head[1]\n                head[0] -= take\n                qty -= take\n                if head[0] == 0:\n                    layers.pop(0)\n        elif ev[0] == 'purchase_return':\n            match = [l for l in layers if l[1] == ev[2] and l[0] >= ev[1]]\n            if not match:\n                short.append(i)\n                continue\n            match[-1][0] -= ev[1]\n            if match[-1][0] == 0:\n                layers.remove(match[-1])\n    inventory = sum(q * c for q, c in layers)\n    return {'cogs': cogs, 'revenue': revenue, 'inventory': inventory, 'layers': layers, 'rejected': short}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: oversell check', [['buy', 5, 120], ['sell', 6, 200], ['sell', 3, 200], ['buy', 1, 100], ['buy', 5, 120], ['buy', 5, 100], ['sell', 6, 200], ['sell', 12, 250]], {'cogs': 1060, 'revenue': 1800, 'inventory': 740, 'layers': [[2, 120], [5, 100]], 'rejected': [1, 7]}], ['regression: oversell check, partial-repair probe', [['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 1', [['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 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]}]], [['regression: oversell check', [['purchase_return', 2, 100], ['sell', 3, 250], ['buy', 1, 150], ['buy', 1, 100], ['buy', 5, 100], ['buy', 1, 150], ['sell', 2, 200], ['sell', 1, 250], ['sell', 6, 250], ['sell', 6, 250]], {'cogs': 350, 'revenue': 650, 'inventory': 550, 'layers': [[4, 100], [1, 150]], 'rejected': [0, 1, 8, 9]}], ['regression: oversell check, partial-repair probe', [['buy', 1, 100], ['purchase_return', 5, 100], ['sell', 1, 250]], {'cogs': 100, 'revenue': 250, 'inventory': 0, 'layers': [], 'rejected': [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, 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]}], ['control 5', [['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]}]], [['regression: oversell check', [['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 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', [['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]}], ['control 3', [['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 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', [['sell', 6, 200], ['sell', 12, 200], ['sell', 2, 200], ['sell', 2, 200], ['buy', 2, 100], ['purchase_return', 1, 120], ['buy', 2, 150], ['sell', 2, 200], ['sell', 2, 200], ['sell', 2, 200]], {'cogs': 500, 'revenue': 800, 'inventory': 0, 'layers': [], 'rejected': [0, 1, 2, 3, 5, 9]}], ['control 6', [['sell', 2, 250], ['buy', 5, 100], ['purchase_return', 5, 150], ['sell', 1, 200], ['buy', 2, 150], ['sell', 2, 250], ['buy', 2, 100], ['buy', 5, 150], ['buy', 5, 150]], {'cogs': 300, 'revenue': 700, 'inventory': 2200, 'layers': [[2, 100], [2, 150], [2, 100], [10, 150]], 'rejected': [0, 2]}]], [['regression: oversell check', [['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]}], ['regression: oversell check, partial-repair probe', [['purchase_return', 2, 100], ['buy', 10, 100], ['sell', 12, 250], ['sell', 1, 200], ['purchase_return', 1, 150], ['sell', 6, 200], ['buy', 5, 100], ['purchase_return', 2, 100], ['sell', 6, 250], ['sell', 6, 200]], {'cogs': 1300, 'revenue': 2900, 'inventory': 0, 'layers': [], 'rejected': [0, 2, 4, 9]}], ['control 1', [['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 2', [['sell', 12, 200], ['sell', 12, 250], ['buy', 2, 150], ['sell', 12, 250], ['buy', 2, 150], ['buy', 1, 100], ['buy', 5, 120], ['buy', 10, 150], ['sell', 3, 200], ['buy', 2, 150]], {'cogs': 450, 'revenue': 600, 'inventory': 2650, 'layers': [[1, 150], [1, 100], [5, 120], [12, 150]], 'rejected': [0, 1, 3]}], ['control 3', [['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 4', [['purchase_return', 2, 120], ['sell', 6, 200], ['sell', 2, 250], ['purchase_return', 2, 100], ['buy', 5, 100], ['buy', 2, 120], ['buy', 5, 120], ['sell', 1, 200]], {'cogs': 100, 'revenue': 200, 'inventory': 1240, 'layers': [[4, 100], [7, 120]], 'rejected': [0, 1, 2, 3]}], ['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]}]], [['regression: oversell check', [['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': []}], ['regression: oversell check, partial-repair probe', [['buy', 5, 100], ['sell', 2, 200], ['sell', 3, 250], ['buy', 5, 120], ['buy', 10, 150], ['buy', 10, 100], ['sell', 2, 200], ['purchase_return', 2, 100], ['purchase_return', 1, 100]], {'cogs': 740, 'revenue': 1550, 'inventory': 2560, 'layers': [[3, 120], [10, 150], [7, 100]], 'rejected': []}], ['control 1', [['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 2', [['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 3', [['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 4', [['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 5', [['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]}]]]\nfor label, args, expected in fixtures[N-1]:\n    try:\n        actual = solve(args)\n    except Exception as exc:\n        actual = 'raised ' + type(exc).__name__\n    check(label, actual, expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"1ab6658d8a101f7d5e85b9ed3ad03e6d3762463ad3a71466528e6f16d748bb49","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    layers = []\n    cogs = revenue = 0\n    short = []\n    for i, ev in enumerate(x):\n        if ev[0] == 'buy':\n            if layers and layers[-1][1] == ev[2]:\n                layers[-1][0] += ev[1]\n            else:\n                layers.append([ev[1], ev[2]])\n        elif ev[0] == 'sell':\n            qty = ev[1]\n            if qty > sum(l[0] for l in layers):\n                short.append(i)\n                continue\n            revenue += qty * ev[2]\n            while qty:\n                head = layers[0]\n                take = min(qty, head[0])\n                cogs += take * head[1]\n                head[0] -= take\n                qty -= take\n                if head[0] == 0:\n                    layers.pop(0)\n        elif ev[0] == 'purchase_return':\n            match = [l for l in layers if l[1] == ev[2] and l[0] >= ev[1]]\n            if not match:\n                short.append(i)\n                continue\n            match[-1][0] -= ev[1]\n            if match[-1][0] == 0:\n                layers.remove(match[-1])\n    inventory = sum(q * c for q, c in layers)\n    return {'cogs': cogs, 'revenue': revenue, 'inventory': inventory, 'layers': layers, 'rejected': short}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: oversell check', [['buy', 5, 120], ['sell', 6, 200], ['sell', 3, 200], ['buy', 1, 100], ['buy', 5, 120], ['buy', 5, 100], ['sell', 6, 200], ['sell', 12, 250]], {'cogs': 1060, 'revenue': 1800, 'inventory': 740, 'layers': [[2, 120], [5, 100]], 'rejected': [1, 7]}], ['regression: oversell check, partial-repair probe', [['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 1', [['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 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]}]], [['regression: oversell check', [['purchase_return', 2, 100], ['sell', 3, 250], ['buy', 1, 150], ['buy', 1, 100], ['buy', 5, 100], ['buy', 1, 150], ['sell', 2, 200], ['sell', 1, 250], ['sell', 6, 250], ['sell', 6, 250]], {'cogs': 350, 'revenue': 650, 'inventory': 550, 'layers': [[4, 100], [1, 150]], 'rejected': [0, 1, 8, 9]}], ['regression: oversell check, partial-repair probe', [['buy', 1, 100], ['purchase_return', 5, 100], ['sell', 1, 250]], {'cogs': 100, 'revenue': 250, 'inventory': 0, 'layers': [], 'rejected': [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, 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]}], ['control 5', [['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]}]], [['regression: oversell check', [['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 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', [['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]}], ['control 3', [['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 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', [['sell', 6, 200], ['sell', 12, 200], ['sell', 2, 200], ['sell', 2, 200], ['buy', 2, 100], ['purchase_return', 1, 120], ['buy', 2, 150], ['sell', 2, 200], ['sell', 2, 200], ['sell', 2, 200]], {'cogs': 500, 'revenue': 800, 'inventory': 0, 'layers': [], 'rejected': [0, 1, 2, 3, 5, 9]}], ['control 6', [['sell', 2, 250], ['buy', 5, 100], ['purchase_return', 5, 150], ['sell', 1, 200], ['buy', 2, 150], ['sell', 2, 250], ['buy', 2, 100], ['buy', 5, 150], ['buy', 5, 150]], {'cogs': 300, 'revenue': 700, 'inventory': 2200, 'layers': [[2, 100], [2, 150], [2, 100], [10, 150]], 'rejected': [0, 2]}]], [['regression: oversell check', [['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]}], ['regression: oversell check, partial-repair probe', [['purchase_return', 2, 100], ['buy', 10, 100], ['sell', 12, 250], ['sell', 1, 200], ['purchase_return', 1, 150], ['sell', 6, 200], ['buy', 5, 100], ['purchase_return', 2, 100], ['sell', 6, 250], ['sell', 6, 200]], {'cogs': 1300, 'revenue': 2900, 'inventory': 0, 'layers': [], 'rejected': [0, 2, 4, 9]}], ['control 1', [['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 2', [['sell', 12, 200], ['sell', 12, 250], ['buy', 2, 150], ['sell', 12, 250], ['buy', 2, 150], ['buy', 1, 100], ['buy', 5, 120], ['buy', 10, 150], ['sell', 3, 200], ['buy', 2, 150]], {'cogs': 450, 'revenue': 600, 'inventory': 2650, 'layers': [[1, 150], [1, 100], [5, 120], [12, 150]], 'rejected': [0, 1, 3]}], ['control 3', [['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 4', [['purchase_return', 2, 120], ['sell', 6, 200], ['sell', 2, 250], ['purchase_return', 2, 100], ['buy', 5, 100], ['buy', 2, 120], ['buy', 5, 120], ['sell', 1, 200]], {'cogs': 100, 'revenue': 200, 'inventory': 1240, 'layers': [[4, 100], [7, 120]], 'rejected': [0, 1, 2, 3]}], ['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]}]], [['regression: oversell check', [['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': []}], ['regression: oversell check, partial-repair probe', [['buy', 5, 100], ['sell', 2, 200], ['sell', 3, 250], ['buy', 5, 120], ['buy', 10, 150], ['buy', 10, 100], ['sell', 2, 200], ['purchase_return', 2, 100], ['purchase_return', 1, 100]], {'cogs': 740, 'revenue': 1550, 'inventory': 2560, 'layers': [[3, 120], [10, 150], [7, 100]], 'rejected': []}], ['control 1', [['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 2', [['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 3', [['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 4', [['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 5', [['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]}]]]\nfor label, args, expected in fixtures[N-1]:\n    try:\n        actual = solve(args)\n    except Exception as exc:\n        actual = 'raised ' + type(exc).__name__\n    check(label, actual, expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-double-entry-ledger-accounting-fifo-perpetual-inventory-oversell-check","generated_at":"2026-09-29T14:46:23.446843+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"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.","repair":"Compare the sale quantity with total on-hand quantity.","root_cause":"Availability is checked against the oldest layer only.","sha256":"531e854eec1295ba56903c119bf24147bd423040ba988622555b671abdeaca47","title":"FIFO perpetual inventory journal: oversell check · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.494,"exit_code":1,"observations":[{"actual":{"cogs":1060,"inventory":740,"layers":[[2,120],[5,100]],"rejected":[1,7],"revenue":1800},"check":"regression: oversell check","expected":{"cogs":1060,"inventory":740,"layers":[[2,120],[5,100]],"rejected":[1,7],"revenue":1800},"passed":true},{"actual":{"cogs":450,"inventory":3540,"layers":[[2,150],[3,100],[10,120],[10,150],[2,120]],"rejected":[2,9],"revenue":750},"check":"regression: oversell check, partial-repair probe","expected":{"cogs":750,"inventory":3240,"layers":[[3,100],[10,120],[10,150],[2,120]],"rejected":[9],"revenue":1250},"passed":false},{"actual":{"cogs":0,"inventory":980,"layers":[[2,120],[5,100],[2,120]],"rejected":[0,2],"revenue":0},"check":"control 1","expected":{"cogs":0,"inventory":980,"layers":[[2,120],[5,100],[2,120]],"rejected":[0,2],"revenue":0},"passed":true},{"actual":{"cogs":0,"inventory":120,"layers":[[1,120]],"rejected":[1,2,3],"revenue":0},"check":"control 2","expected":{"cogs":0,"inventory":120,"layers":[[1,120]],"rejected":[1,2,3],"revenue":0},"passed":true},{"actual":{"cogs":300,"inventory":200,"layers":[[2,100]],"rejected":[2],"revenue":750},"check":"control 3","expected":{"cogs":300,"inventory":200,"layers":[[2,100]],"rejected":[2],"revenue":750},"passed":true},{"actual":{"cogs":360,"inventory":2520,"layers":[[21,120]],"rejected":[1,3],"revenue":600},"check":"control 4","expected":{"cogs":360,"inventory":2520,"layers":[[21,120]],"rejected":[1,3],"revenue":600},"passed":true},{"actual":{"cogs":300,"inventory":100,"layers":[[1,100]],"rejected":[0,1,3,4],"revenue":750},"check":"control 5","expected":{"cogs":300,"inventory":100,"layers":[[1,100]],"rejected":[0,1,3,4],"revenue":750},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: oversell check\", \"actual\": {\"cogs\": 1060, \"revenue\": 1800, \"inventory\": 740, \"layers\": [[2, 120], [5, 100]], \"rejected\": [1, 7]}, \"expected\": {\"cogs\": 1060, \"revenue\": 1800, \"inventory\": 740, \"layers\": [[2, 120], [5, 100]], \"rejected\": [1, 7]}, \"passed\": true}, {\"check\": \"regression: oversell check, partial-repair probe\", \"actual\": {\"cogs\": 450, \"revenue\": 750, \"inventory\": 3540, \"layers\": [[2, 150], [3, 100], [10, 120], [10, 150], [2, 120]], \"rejected\": [2, 9]}, \"expected\": {\"cogs\": 750, \"revenue\": 1250, \"inventory\": 3240, \"layers\": [[3, 100], [10, 120], [10, 150], [2, 120]], \"rejected\": [9]}, \"passed\": false}, {\"check\": \"control 1\", \"actual\": {\"cogs\": 0, \"revenue\": 0, \"inventory\": 980, \"layers\": [[2, 120], [5, 100], [2, 120]], \"rejected\": [0, 2]}, \"expected\": {\"cogs\": 0, \"revenue\": 0, \"inventory\": 980, \"layers\": [[2, 120], [5, 100], [2, 120]], \"rejected\": [0, 2]}, \"passed\": true}, {\"check\": \"control 2\", \"actual\": {\"cogs\": 0, \"revenue\": 0, \"inventory\": 120, \"layers\": [[1, 120]], \"rejected\": [1, 2, 3]}, \"expected\": {\"cogs\": 0, \"revenue\": 0, \"inventory\": 120, \"layers\": [[1, 120]], \"rejected\": [1, 2, 3]}, \"passed\": true}, {\"check\": \"control 3\", \"actual\": {\"cogs\": 300, \"revenue\": 750, \"inventory\": 200, \"layers\": [[2, 100]], \"rejected\": [2]}, \"expected\": {\"cogs\": 300, \"revenue\": 750, \"inventory\": 200, \"layers\": [[2, 100]], \"rejected\": [2]}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"cogs\": 360, \"revenue\": 600, \"inventory\": 2520, \"layers\": [[21, 120]], \"rejected\": [1, 3]}, \"expected\": {\"cogs\": 360, \"revenue\": 600, \"inventory\": 2520, \"layers\": [[21, 120]], \"rejected\": [1, 3]}, \"passed\": true}, {\"check\": \"control 5\", \"actual\": {\"cogs\": 300, \"revenue\": 750, \"inventory\": 100, \"layers\": [[1, 100]], \"rejected\": [0, 1, 3, 4]}, \"expected\": {\"cogs\": 300, \"revenue\": 750, \"inventory\": 100, \"layers\": [[1, 100]], \"rejected\": [0, 1, 3, 4]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.525,"exit_code":1,"observations":[{"actual":{"cogs":360,"inventory":1440,"layers":[[2,120],[1,100],[5,120],[5,100]],"rejected":[1,6,7],"revenue":600},"check":"regression: oversell check","expected":{"cogs":1060,"inventory":740,"layers":[[2,120],[5,100]],"rejected":[1,7],"revenue":1800},"passed":false},{"actual":{"cogs":750,"inventory":3240,"layers":[[3,100],[10,120],[10,150],[2,120]],"rejected":[9],"revenue":1250},"check":"regression: oversell check, partial-repair probe","expected":{"cogs":750,"inventory":3240,"layers":[[3,100],[10,120],[10,150],[2,120]],"rejected":[9],"revenue":1250},"passed":true},{"actual":{"cogs":0,"inventory":980,"layers":[[2,120],[5,100],[2,120]],"rejected":[0,2],"revenue":0},"check":"control 1","expected":{"cogs":0,"inventory":980,"layers":[[2,120],[5,100],[2,120]],"rejected":[0,2],"revenue":0},"passed":true},{"actual":{"cogs":0,"inventory":120,"layers":[[1,120]],"rejected":[1,2,3],"revenue":0},"check":"control 2","expected":{"cogs":0,"inventory":120,"layers":[[1,120]],"rejected":[1,2,3],"revenue":0},"passed":true},{"actual":{"cogs":300,"inventory":200,"layers":[[2,100]],"rejected":[2],"revenue":750},"check":"control 3","expected":{"cogs":300,"inventory":200,"layers":[[2,100]],"rejected":[2],"revenue":750},"passed":true},{"actual":{"cogs":360,"inventory":2520,"layers":[[21,120]],"rejected":[1,3],"revenue":600},"check":"control 4","expected":{"cogs":360,"inventory":2520,"layers":[[21,120]],"rejected":[1,3],"revenue":600},"passed":true},{"actual":{"cogs":300,"inventory":100,"layers":[[1,100]],"rejected":[0,1,3,4],"revenue":750},"check":"control 5","expected":{"cogs":300,"inventory":100,"layers":[[1,100]],"rejected":[0,1,3,4],"revenue":750},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: oversell check\", \"actual\": {\"cogs\": 360, \"revenue\": 600, \"inventory\": 1440, \"layers\": [[2, 120], [1, 100], [5, 120], [5, 100]], \"rejected\": [1, 6, 7]}, \"expected\": {\"cogs\": 1060, \"revenue\": 1800, \"inventory\": 740, \"layers\": [[2, 120], [5, 100]], \"rejected\": [1, 7]}, \"passed\": false}, {\"check\": \"regression: oversell check, partial-repair probe\", \"actual\": {\"cogs\": 750, \"revenue\": 1250, \"inventory\": 3240, \"layers\": [[3, 100], [10, 120], [10, 150], [2, 120]], \"rejected\": [9]}, \"expected\": {\"cogs\": 750, \"revenue\": 1250, \"inventory\": 3240, \"layers\": [[3, 100], [10, 120], [10, 150], [2, 120]], \"rejected\": [9]}, \"passed\": true}, {\"check\": \"control 1\", \"actual\": {\"cogs\": 0, \"revenue\": 0, \"inventory\": 980, \"layers\": [[2, 120], [5, 100], [2, 120]], \"rejected\": [0, 2]}, \"expected\": {\"cogs\": 0, \"revenue\": 0, \"inventory\": 980, \"layers\": [[2, 120], [5, 100], [2, 120]], \"rejected\": [0, 2]}, \"passed\": true}, {\"check\": \"control 2\", \"actual\": {\"cogs\": 0, \"revenue\": 0, \"inventory\": 120, \"layers\": [[1, 120]], \"rejected\": [1, 2, 3]}, \"expected\": {\"cogs\": 0, \"revenue\": 0, \"inventory\": 120, \"layers\": [[1, 120]], \"rejected\": [1, 2, 3]}, \"passed\": true}, {\"check\": \"control 3\", \"actual\": {\"cogs\": 300, \"revenue\": 750, \"inventory\": 200, \"layers\": [[2, 100]], \"rejected\": [2]}, \"expected\": {\"cogs\": 300, \"revenue\": 750, \"inventory\": 200, \"layers\": [[2, 100]], \"rejected\": [2]}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"cogs\": 360, \"revenue\": 600, \"inventory\": 2520, \"layers\": [[21, 120]], \"rejected\": [1, 3]}, \"expected\": {\"cogs\": 360, \"revenue\": 600, \"inventory\": 2520, \"layers\": [[21, 120]], \"rejected\": [1, 3]}, \"passed\": true}, {\"check\": \"control 5\", \"actual\": {\"cogs\": 300, \"revenue\": 750, \"inventory\": 100, \"layers\": [[1, 100]], \"rejected\": [0, 1, 3, 4]}, \"expected\": {\"cogs\": 300, \"revenue\": 750, \"inventory\": 100, \"layers\": [[1, 100]], \"rejected\": [0, 1, 3, 4]}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.596,"exit_code":0,"observations":[{"actual":{"cogs":1060,"inventory":740,"layers":[[2,120],[5,100]],"rejected":[1,7],"revenue":1800},"check":"regression: oversell check","expected":{"cogs":1060,"inventory":740,"layers":[[2,120],[5,100]],"rejected":[1,7],"revenue":1800},"passed":true},{"actual":{"cogs":750,"inventory":3240,"layers":[[3,100],[10,120],[10,150],[2,120]],"rejected":[9],"revenue":1250},"check":"regression: oversell check, partial-repair probe","expected":{"cogs":750,"inventory":3240,"layers":[[3,100],[10,120],[10,150],[2,120]],"rejected":[9],"revenue":1250},"passed":true},{"actual":{"cogs":0,"inventory":980,"layers":[[2,120],[5,100],[2,120]],"rejected":[0,2],"revenue":0},"check":"control 1","expected":{"cogs":0,"inventory":980,"layers":[[2,120],[5,100],[2,120]],"rejected":[0,2],"revenue":0},"passed":true},{"actual":{"cogs":0,"inventory":120,"layers":[[1,120]],"rejected":[1,2,3],"revenue":0},"check":"control 2","expected":{"cogs":0,"inventory":120,"layers":[[1,120]],"rejected":[1,2,3],"revenue":0},"passed":true},{"actual":{"cogs":300,"inventory":200,"layers":[[2,100]],"rejected":[2],"revenue":750},"check":"control 3","expected":{"cogs":300,"inventory":200,"layers":[[2,100]],"rejected":[2],"revenue":750},"passed":true},{"actual":{"cogs":360,"inventory":2520,"layers":[[21,120]],"rejected":[1,3],"revenue":600},"check":"control 4","expected":{"cogs":360,"inventory":2520,"layers":[[21,120]],"rejected":[1,3],"revenue":600},"passed":true},{"actual":{"cogs":300,"inventory":100,"layers":[[1,100]],"rejected":[0,1,3,4],"revenue":750},"check":"control 5","expected":{"cogs":300,"inventory":100,"layers":[[1,100]],"rejected":[0,1,3,4],"revenue":750},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: oversell check\", \"actual\": {\"cogs\": 1060, \"revenue\": 1800, \"inventory\": 740, \"layers\": [[2, 120], [5, 100]], \"rejected\": [1, 7]}, \"expected\": {\"cogs\": 1060, \"revenue\": 1800, \"inventory\": 740, \"layers\": [[2, 120], [5, 100]], \"rejected\": [1, 7]}, \"passed\": true}, {\"check\": \"regression: oversell check, partial-repair probe\", \"actual\": {\"cogs\": 750, \"revenue\": 1250, \"inventory\": 3240, \"layers\": [[3, 100], [10, 120], [10, 150], [2, 120]], \"rejected\": [9]}, \"expected\": {\"cogs\": 750, \"revenue\": 1250, \"inventory\": 3240, \"layers\": [[3, 100], [10, 120], [10, 150], [2, 120]], \"rejected\": [9]}, \"passed\": true}, {\"check\": \"control 1\", \"actual\": {\"cogs\": 0, \"revenue\": 0, \"inventory\": 980, \"layers\": [[2, 120], [5, 100], [2, 120]], \"rejected\": [0, 2]}, \"expected\": {\"cogs\": 0, \"revenue\": 0, \"inventory\": 980, \"layers\": [[2, 120], [5, 100], [2, 120]], \"rejected\": [0, 2]}, \"passed\": true}, {\"check\": \"control 2\", \"actual\": {\"cogs\": 0, \"revenue\": 0, \"inventory\": 120, \"layers\": [[1, 120]], \"rejected\": [1, 2, 3]}, \"expected\": {\"cogs\": 0, \"revenue\": 0, \"inventory\": 120, \"layers\": [[1, 120]], \"rejected\": [1, 2, 3]}, \"passed\": true}, {\"check\": \"control 3\", \"actual\": {\"cogs\": 300, \"revenue\": 750, \"inventory\": 200, \"layers\": [[2, 100]], \"rejected\": [2]}, \"expected\": {\"cogs\": 300, \"revenue\": 750, \"inventory\": 200, \"layers\": [[2, 100]], \"rejected\": [2]}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"cogs\": 360, \"revenue\": 600, \"inventory\": 2520, \"layers\": [[21, 120]], \"rejected\": [1, 3]}, \"expected\": {\"cogs\": 360, \"revenue\": 600, \"inventory\": 2520, \"layers\": [[21, 120]], \"rejected\": [1, 3]}, \"passed\": true}, {\"check\": \"control 5\", \"actual\": {\"cogs\": 300, \"revenue\": 750, \"inventory\": 100, \"layers\": [[1, 100]], \"rejected\": [0, 1, 3, 4]}, \"expected\": {\"cogs\": 300, \"revenue\": 750, \"inventory\": 100, \"layers\": [[1, 100]], \"rejected\": [0, 1, 3, 4]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}