FA-86021 / Game economy crafting balance / Open access
Repair bill: Silver column includes gold · case 01
Bills above one gold show silver counts over 99.
ROOT CAUSE
The silver digit is not reduced modulo 100.
VERIFIED REPAIR
Restore `cost // 100 % 100` at the silver denomination step.
Unsuccessful approach: Rounding the silver quotient bumps silver up when copper is 50 or more.
Case contract
Per item cost = max(0, max-dur) * (ilvl//4 + 1) copper. Discount percentages stack multiplicatively on the exact total; the result is rounded up once to copper. Return [gold, silver, copper] with 100 copper per silver and 100 silver per gold.
Why this case matters
Game economies leak or destroy currency when one crafting or pricing rule is off by one boundary, rounding stage or state update; the defect is observable in exact integer outcomes.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(items, discounts):
total = 0
for it in items:
missing = max(0, it['max'] - it['dur'])
total += missing * (it['ilvl'] // 4 + 1)
price = Fraction(total)
for pct in discounts:
price = price * (100 - pct) / 100
cost = math.ceil(price)
return [cost // 10000, cost // 100, cost % 100]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[('over-repaired piece #1',
[[{'ilvl': 20, 'dur': 105, 'max': 100}, {'ilvl': 20, 'dur': 90, 'max': 100}], []],
[0, 0, 60]),
('regression silver denomination #1',
[[{'ilvl': 367, 'dur': 0, 'max': 120},
{'ilvl': 1, 'dur': 41, 'max': 120},
{'ilvl': 7, 'dur': 103, 'max': 100},
{'ilvl': 7, 'dur': 100, 'max': 100}],
[5]],
[1, 5, 64]),
('partial repair boundary #1',
[[{'ilvl': 8, 'dur': 18, 'max': 120}, {'ilvl': 3, 'dur': 41, 'max': 60}], [20]],
[0, 2, 60]),
('partial repair boundary #2',
[[{'ilvl': 1, 'dur': 120, 'max': 120},
{'ilvl': 4, 'dur': 84, 'max': 100},
{'ilvl': 3, 'dur': 40, 'max': 40},
{'ilvl': 3, 'dur': 0, 'max': 120}],
[10, 33]],
[0, 0, 92]),
('two stacked discounts #1', [[{'ilvl': 100, 'dur': 0, 'max': 120}], [10, 20]], [0, 22, 47]),
('nothing to repair #1', [[], [15]], [0, 0, 0]),
('control #1', [[{'ilvl': 7, 'dur': 40, 'max': 40}], [20]], [0, 0, 0]),
('control #2',
[[{'ilvl': 4, 'dur': 63, 'max': 60},
{'ilvl': 130, 'dur': 63, 'max': 60},
{'ilvl': 3, 'dur': 60, 'max': 60}],
[25, 25]],
[0, 0, 0])],
[('over-repaired piece #1',
[[{'ilvl': 20, 'dur': 105, 'max': 100}, {'ilvl': 20, 'dur': 90, 'max': 100}], []],
[0, 0, 60]),
('regression silver denomination #1',
[[{'ilvl': 367, 'dur': 0, 'max': 120},
{'ilvl': 1, 'dur': 41, 'max': 120},
{'ilvl': 7, 'dur': 103, 'max': 100},
{'ilvl': 7, 'dur': 100, 'max': 100}],
[5]],
[1, 5, 64]),
('partial repair boundary #1',
[[{'ilvl': 1, 'dur': 120, 'max': 120},
{'ilvl': 4, 'dur': 84, 'max': 100},
{'ilvl': 3, 'dur': 40, 'max': 40},
{'ilvl': 3, 'dur': 0, 'max': 120}],
[10, 33]],
[0, 0, 92]),
('partial repair boundary #2',
[[{'ilvl': 69, 'dur': 5, 'max': 40},
{'ilvl': 3, 'dur': 49, 'max': 120},
{'ilvl': 139, 'dur': 63, 'max': 60}],
[15]],
[0, 5, 96]),
('two stacked discounts #1', [[{'ilvl': 100, 'dur': 0, 'max': 120}], [10, 20]], [0, 22, 47]),
('nothing to repair #1', [[], [15]], [0, 0, 0]),
('control #1', [[{'ilvl': 7, 'dur': 40, 'max': 40}], [20]], [0, 0, 0]),
('control #2',
[[{'ilvl': 4, 'dur': 63, 'max': 60},
{'ilvl': 130, 'dur': 63, 'max': 60},
{'ilvl': 3, 'dur': 60, 'max': 60}],
[25, 25]],
[0, 0, 0])],
[('over-repaired piece #1',
[[{'ilvl': 20, 'dur': 105, 'max': 100}, {'ilvl': 20, 'dur': 90, 'max': 100}], []],
[0, 0, 60]),
('regression silver denomination #1',
[[{'ilvl': 367, 'dur': 0, 'max': 120},
{'ilvl': 1, 'dur': 41, 'max': 120},
{'ilvl': 7, 'dur': 103, 'max': 100},
{'ilvl': 7, 'dur': 100, 'max': 100}],
[5]],
[1, 5, 64]),
('partial repair boundary #1', [[{'ilvl': 4, 'dur': 0, 'max': 60}], [25]], [0, 0, 90]),
('partial repair boundary #2',
[[{'ilvl': 8, 'dur': 103, 'max': 100}, {'ilvl': 204, 'dur': 26, 'max': 60}], []],
[0, 17, 68]),
('two stacked discounts #1', [[{'ilvl': 100, 'dur': 0, 'max': 120}], [10, 20]], [0, 22, 47]),
('nothing to repair #1', [[], [15]], [0, 0, 0]),
('control #1', [[{'ilvl': 111, 'dur': 123, 'max': 120}], []], [0, 0, 0]),
('control #2',
[[{'ilvl': 113, 'dur': 123, 'max': 120}, {'ilvl': 8, 'dur': 103, 'max': 100}], []],
[0, 0, 0])],
[('over-repaired piece #1',
[[{'ilvl': 20, 'dur': 105, 'max': 100}, {'ilvl': 20, 'dur': 90, 'max': 100}], []],
[0, 0, 60]),
('regression silver denomination #1',
[[{'ilvl': 367, 'dur': 0, 'max': 120},
{'ilvl': 1, 'dur': 41, 'max': 120},
{'ilvl': 7, 'dur': 103, 'max': 100},
{'ilvl': 7, 'dur': 100, 'max': 100}],
[5]],
[1, 5, 64]),
('partial repair boundary #1', [[{'ilvl': 7, 'dur': 0, 'max': 40}], []], [0, 0, 80]),
('partial repair boundary #2', [[{'ilvl': 3, 'dur': 0, 'max': 120}], [15, 15, 15]], [0, 0, 74]),
('two stacked discounts #1', [[{'ilvl': 100, 'dur': 0, 'max': 120}], [10, 20]], [0, 22, 47]),
('nothing to repair #1', [[], [15]], [0, 0, 0]),
('control #1', [[{'ilvl': 7, 'dur': 0, 'max': 100}, {'ilvl': 3, 'dur': 78, 'max': 120}], []], [0, 2, 42]),
('control #2',
[[{'ilvl': 1, 'dur': 123, 'max': 120},
{'ilvl': 7, 'dur': 61, 'max': 120},
{'ilvl': 3, 'dur': 120, 'max': 120},
{'ilvl': 374, 'dur': 38, 'max': 100}],
[]],
[0, 59, 46])],
[('over-repaired piece #1',
[[{'ilvl': 20, 'dur': 105, 'max': 100}, {'ilvl': 20, 'dur': 90, 'max': 100}], []],
[0, 0, 60]),
('regression silver denomination #1',
[[{'ilvl': 367, 'dur': 0, 'max': 120},
{'ilvl': 1, 'dur': 41, 'max': 120},
{'ilvl': 7, 'dur': 103, 'max': 100},
{'ilvl': 7, 'dur': 100, 'max': 100}],
[5]],
[1, 5, 64]),
('partial repair boundary #1',
[[{'ilvl': 14, 'dur': 0, 'max': 40}, {'ilvl': 4, 'dur': 43, 'max': 40}], [25, 10, 15]],
[0, 0, 92]),
('partial repair boundary #2',
[[{'ilvl': 1, 'dur': 100, 'max': 100},
{'ilvl': 3, 'dur': 123, 'max': 120},
{'ilvl': 1, 'dur': 1, 'max': 60}],
[]],
[0, 0, 59]),
('two stacked discounts #1', [[{'ilvl': 100, 'dur': 0, 'max': 120}], [10, 20]], [0, 22, 47]),
('nothing to repair #1', [[], [15]], [0, 0, 0]),
('control #1', [[], [25, 33]], [0, 0, 0]),
('control #2', [[{'ilvl': 1, 'dur': 63, 'max': 60}], []], [0, 0, 0])]]
for label, args, expected in cases[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 |
|---|---|---|---|
| over-repaired piece #1 | [0, 0, 60] | [0, 0, 60] | Passed |
| regression silver denomination #1 | [1, 105, 64] | [1, 5, 64] | Failed |
| partial repair boundary #1 | [0, 2, 60] | [0, 2, 60] | Passed |
| partial repair boundary #2 | [0, 0, 92] | [0, 0, 92] | Passed |
| two stacked discounts #1 | [0, 22, 47] | [0, 22, 47] | Passed |
| nothing to repair #1 | [0, 0, 0] | [0, 0, 0] | Passed |
| control #1 | [0, 0, 0] | [0, 0, 0] | Passed |
| control #2 | [0, 0, 0] | [0, 0, 0] | Passed |
SHA-256 / 967960037ec21c6c20068fb00a4aaf7f4ace806fddd27cc8283607cbf121484f
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(items, discounts):
total = 0
for it in items:
missing = max(0, it['max'] - it['dur'])
total += missing * (it['ilvl'] // 4 + 1)
price = Fraction(total)
for pct in discounts:
price = price * (100 - pct) / 100
cost = math.ceil(price)
return [cost // 10000, round(cost / 100) % 100, cost % 100]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[('over-repaired piece #1',
[[{'ilvl': 20, 'dur': 105, 'max': 100}, {'ilvl': 20, 'dur': 90, 'max': 100}], []],
[0, 0, 60]),
('regression silver denomination #1',
[[{'ilvl': 367, 'dur': 0, 'max': 120},
{'ilvl': 1, 'dur': 41, 'max': 120},
{'ilvl': 7, 'dur': 103, 'max': 100},
{'ilvl': 7, 'dur': 100, 'max': 100}],
[5]],
[1, 5, 64]),
('partial repair boundary #1',
[[{'ilvl': 8, 'dur': 18, 'max': 120}, {'ilvl': 3, 'dur': 41, 'max': 60}], [20]],
[0, 2, 60]),
('partial repair boundary #2',
[[{'ilvl': 1, 'dur': 120, 'max': 120},
{'ilvl': 4, 'dur': 84, 'max': 100},
{'ilvl': 3, 'dur': 40, 'max': 40},
{'ilvl': 3, 'dur': 0, 'max': 120}],
[10, 33]],
[0, 0, 92]),
('two stacked discounts #1', [[{'ilvl': 100, 'dur': 0, 'max': 120}], [10, 20]], [0, 22, 47]),
('nothing to repair #1', [[], [15]], [0, 0, 0]),
('control #1', [[{'ilvl': 7, 'dur': 40, 'max': 40}], [20]], [0, 0, 0]),
('control #2',
[[{'ilvl': 4, 'dur': 63, 'max': 60},
{'ilvl': 130, 'dur': 63, 'max': 60},
{'ilvl': 3, 'dur': 60, 'max': 60}],
[25, 25]],
[0, 0, 0])],
[('over-repaired piece #1',
[[{'ilvl': 20, 'dur': 105, 'max': 100}, {'ilvl': 20, 'dur': 90, 'max': 100}], []],
[0, 0, 60]),
('regression silver denomination #1',
[[{'ilvl': 367, 'dur': 0, 'max': 120},
{'ilvl': 1, 'dur': 41, 'max': 120},
{'ilvl': 7, 'dur': 103, 'max': 100},
{'ilvl': 7, 'dur': 100, 'max': 100}],
[5]],
[1, 5, 64]),
('partial repair boundary #1',
[[{'ilvl': 1, 'dur': 120, 'max': 120},
{'ilvl': 4, 'dur': 84, 'max': 100},
{'ilvl': 3, 'dur': 40, 'max': 40},
{'ilvl': 3, 'dur': 0, 'max': 120}],
[10, 33]],
[0, 0, 92]),
('partial repair boundary #2',
[[{'ilvl': 69, 'dur': 5, 'max': 40},
{'ilvl': 3, 'dur': 49, 'max': 120},
{'ilvl': 139, 'dur': 63, 'max': 60}],
[15]],
[0, 5, 96]),
('two stacked discounts #1', [[{'ilvl': 100, 'dur': 0, 'max': 120}], [10, 20]], [0, 22, 47]),
('nothing to repair #1', [[], [15]], [0, 0, 0]),
('control #1', [[{'ilvl': 7, 'dur': 40, 'max': 40}], [20]], [0, 0, 0]),
('control #2',
[[{'ilvl': 4, 'dur': 63, 'max': 60},
{'ilvl': 130, 'dur': 63, 'max': 60},
{'ilvl': 3, 'dur': 60, 'max': 60}],
[25, 25]],
[0, 0, 0])],
[('over-repaired piece #1',
[[{'ilvl': 20, 'dur': 105, 'max': 100}, {'ilvl': 20, 'dur': 90, 'max': 100}], []],
[0, 0, 60]),
('regression silver denomination #1',
[[{'ilvl': 367, 'dur': 0, 'max': 120},
{'ilvl': 1, 'dur': 41, 'max': 120},
{'ilvl': 7, 'dur': 103, 'max': 100},
{'ilvl': 7, 'dur': 100, 'max': 100}],
[5]],
[1, 5, 64]),
('partial repair boundary #1', [[{'ilvl': 4, 'dur': 0, 'max': 60}], [25]], [0, 0, 90]),
('partial repair boundary #2',
[[{'ilvl': 8, 'dur': 103, 'max': 100}, {'ilvl': 204, 'dur': 26, 'max': 60}], []],
[0, 17, 68]),
('two stacked discounts #1', [[{'ilvl': 100, 'dur': 0, 'max': 120}], [10, 20]], [0, 22, 47]),
('nothing to repair #1', [[], [15]], [0, 0, 0]),
('control #1', [[{'ilvl': 111, 'dur': 123, 'max': 120}], []], [0, 0, 0]),
('control #2',
[[{'ilvl': 113, 'dur': 123, 'max': 120}, {'ilvl': 8, 'dur': 103, 'max': 100}], []],
[0, 0, 0])],
[('over-repaired piece #1',
[[{'ilvl': 20, 'dur': 105, 'max': 100}, {'ilvl': 20, 'dur': 90, 'max': 100}], []],
[0, 0, 60]),
('regression silver denomination #1',
[[{'ilvl': 367, 'dur': 0, 'max': 120},
{'ilvl': 1, 'dur': 41, 'max': 120},
{'ilvl': 7, 'dur': 103, 'max': 100},
{'ilvl': 7, 'dur': 100, 'max': 100}],
[5]],
[1, 5, 64]),
('partial repair boundary #1', [[{'ilvl': 7, 'dur': 0, 'max': 40}], []], [0, 0, 80]),
('partial repair boundary #2', [[{'ilvl': 3, 'dur': 0, 'max': 120}], [15, 15, 15]], [0, 0, 74]),
('two stacked discounts #1', [[{'ilvl': 100, 'dur': 0, 'max': 120}], [10, 20]], [0, 22, 47]),
('nothing to repair #1', [[], [15]], [0, 0, 0]),
('control #1', [[{'ilvl': 7, 'dur': 0, 'max': 100}, {'ilvl': 3, 'dur': 78, 'max': 120}], []], [0, 2, 42]),
('control #2',
[[{'ilvl': 1, 'dur': 123, 'max': 120},
{'ilvl': 7, 'dur': 61, 'max': 120},
{'ilvl': 3, 'dur': 120, 'max': 120},
{'ilvl': 374, 'dur': 38, 'max': 100}],
[]],
[0, 59, 46])],
[('over-repaired piece #1',
[[{'ilvl': 20, 'dur': 105, 'max': 100}, {'ilvl': 20, 'dur': 90, 'max': 100}], []],
[0, 0, 60]),
('regression silver denomination #1',
[[{'ilvl': 367, 'dur': 0, 'max': 120},
{'ilvl': 1, 'dur': 41, 'max': 120},
{'ilvl': 7, 'dur': 103, 'max': 100},
{'ilvl': 7, 'dur': 100, 'max': 100}],
[5]],
[1, 5, 64]),
('partial repair boundary #1',
[[{'ilvl': 14, 'dur': 0, 'max': 40}, {'ilvl': 4, 'dur': 43, 'max': 40}], [25, 10, 15]],
[0, 0, 92]),
('partial repair boundary #2',
[[{'ilvl': 1, 'dur': 100, 'max': 100},
{'ilvl': 3, 'dur': 123, 'max': 120},
{'ilvl': 1, 'dur': 1, 'max': 60}],
[]],
[0, 0, 59]),
('two stacked discounts #1', [[{'ilvl': 100, 'dur': 0, 'max': 120}], [10, 20]], [0, 22, 47]),
('nothing to repair #1', [[], [15]], [0, 0, 0]),
('control #1', [[], [25, 33]], [0, 0, 0]),
('control #2', [[{'ilvl': 1, 'dur': 63, 'max': 60}], []], [0, 0, 0])]]
for label, args, expected in cases[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 |
|---|---|---|---|
| over-repaired piece #1 | [0, 1, 60] | [0, 0, 60] | Failed |
| regression silver denomination #1 | [1, 6, 64] | [1, 5, 64] | Failed |
| partial repair boundary #1 | [0, 3, 60] | [0, 2, 60] | Failed |
| partial repair boundary #2 | [0, 1, 92] | [0, 0, 92] | Failed |
| two stacked discounts #1 | [0, 22, 47] | [0, 22, 47] | Passed |
| nothing to repair #1 | [0, 0, 0] | [0, 0, 0] | Passed |
| control #1 | [0, 0, 0] | [0, 0, 0] | Passed |
| control #2 | [0, 0, 0] | [0, 0, 0] | Passed |
SHA-256 / 0176cd8d20bdbf8b1be9315aa9f287840ea74d78279429e728ecae77fb19acde
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(items, discounts):
total = 0
for it in items:
missing = max(0, it['max'] - it['dur'])
total += missing * (it['ilvl'] // 4 + 1)
price = Fraction(total)
for pct in discounts:
price = price * (100 - pct) / 100
cost = math.ceil(price)
return [cost // 10000, cost // 100 % 100, cost % 100]
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[('over-repaired piece #1',
[[{'ilvl': 20, 'dur': 105, 'max': 100}, {'ilvl': 20, 'dur': 90, 'max': 100}], []],
[0, 0, 60]),
('regression silver denomination #1',
[[{'ilvl': 367, 'dur': 0, 'max': 120},
{'ilvl': 1, 'dur': 41, 'max': 120},
{'ilvl': 7, 'dur': 103, 'max': 100},
{'ilvl': 7, 'dur': 100, 'max': 100}],
[5]],
[1, 5, 64]),
('partial repair boundary #1',
[[{'ilvl': 8, 'dur': 18, 'max': 120}, {'ilvl': 3, 'dur': 41, 'max': 60}], [20]],
[0, 2, 60]),
('partial repair boundary #2',
[[{'ilvl': 1, 'dur': 120, 'max': 120},
{'ilvl': 4, 'dur': 84, 'max': 100},
{'ilvl': 3, 'dur': 40, 'max': 40},
{'ilvl': 3, 'dur': 0, 'max': 120}],
[10, 33]],
[0, 0, 92]),
('two stacked discounts #1', [[{'ilvl': 100, 'dur': 0, 'max': 120}], [10, 20]], [0, 22, 47]),
('nothing to repair #1', [[], [15]], [0, 0, 0]),
('control #1', [[{'ilvl': 7, 'dur': 40, 'max': 40}], [20]], [0, 0, 0]),
('control #2',
[[{'ilvl': 4, 'dur': 63, 'max': 60},
{'ilvl': 130, 'dur': 63, 'max': 60},
{'ilvl': 3, 'dur': 60, 'max': 60}],
[25, 25]],
[0, 0, 0])],
[('over-repaired piece #1',
[[{'ilvl': 20, 'dur': 105, 'max': 100}, {'ilvl': 20, 'dur': 90, 'max': 100}], []],
[0, 0, 60]),
('regression silver denomination #1',
[[{'ilvl': 367, 'dur': 0, 'max': 120},
{'ilvl': 1, 'dur': 41, 'max': 120},
{'ilvl': 7, 'dur': 103, 'max': 100},
{'ilvl': 7, 'dur': 100, 'max': 100}],
[5]],
[1, 5, 64]),
('partial repair boundary #1',
[[{'ilvl': 1, 'dur': 120, 'max': 120},
{'ilvl': 4, 'dur': 84, 'max': 100},
{'ilvl': 3, 'dur': 40, 'max': 40},
{'ilvl': 3, 'dur': 0, 'max': 120}],
[10, 33]],
[0, 0, 92]),
('partial repair boundary #2',
[[{'ilvl': 69, 'dur': 5, 'max': 40},
{'ilvl': 3, 'dur': 49, 'max': 120},
{'ilvl': 139, 'dur': 63, 'max': 60}],
[15]],
[0, 5, 96]),
('two stacked discounts #1', [[{'ilvl': 100, 'dur': 0, 'max': 120}], [10, 20]], [0, 22, 47]),
('nothing to repair #1', [[], [15]], [0, 0, 0]),
('control #1', [[{'ilvl': 7, 'dur': 40, 'max': 40}], [20]], [0, 0, 0]),
('control #2',
[[{'ilvl': 4, 'dur': 63, 'max': 60},
{'ilvl': 130, 'dur': 63, 'max': 60},
{'ilvl': 3, 'dur': 60, 'max': 60}],
[25, 25]],
[0, 0, 0])],
[('over-repaired piece #1',
[[{'ilvl': 20, 'dur': 105, 'max': 100}, {'ilvl': 20, 'dur': 90, 'max': 100}], []],
[0, 0, 60]),
('regression silver denomination #1',
[[{'ilvl': 367, 'dur': 0, 'max': 120},
{'ilvl': 1, 'dur': 41, 'max': 120},
{'ilvl': 7, 'dur': 103, 'max': 100},
{'ilvl': 7, 'dur': 100, 'max': 100}],
[5]],
[1, 5, 64]),
('partial repair boundary #1', [[{'ilvl': 4, 'dur': 0, 'max': 60}], [25]], [0, 0, 90]),
('partial repair boundary #2',
[[{'ilvl': 8, 'dur': 103, 'max': 100}, {'ilvl': 204, 'dur': 26, 'max': 60}], []],
[0, 17, 68]),
('two stacked discounts #1', [[{'ilvl': 100, 'dur': 0, 'max': 120}], [10, 20]], [0, 22, 47]),
('nothing to repair #1', [[], [15]], [0, 0, 0]),
('control #1', [[{'ilvl': 111, 'dur': 123, 'max': 120}], []], [0, 0, 0]),
('control #2',
[[{'ilvl': 113, 'dur': 123, 'max': 120}, {'ilvl': 8, 'dur': 103, 'max': 100}], []],
[0, 0, 0])],
[('over-repaired piece #1',
[[{'ilvl': 20, 'dur': 105, 'max': 100}, {'ilvl': 20, 'dur': 90, 'max': 100}], []],
[0, 0, 60]),
('regression silver denomination #1',
[[{'ilvl': 367, 'dur': 0, 'max': 120},
{'ilvl': 1, 'dur': 41, 'max': 120},
{'ilvl': 7, 'dur': 103, 'max': 100},
{'ilvl': 7, 'dur': 100, 'max': 100}],
[5]],
[1, 5, 64]),
('partial repair boundary #1', [[{'ilvl': 7, 'dur': 0, 'max': 40}], []], [0, 0, 80]),
('partial repair boundary #2', [[{'ilvl': 3, 'dur': 0, 'max': 120}], [15, 15, 15]], [0, 0, 74]),
('two stacked discounts #1', [[{'ilvl': 100, 'dur': 0, 'max': 120}], [10, 20]], [0, 22, 47]),
('nothing to repair #1', [[], [15]], [0, 0, 0]),
('control #1', [[{'ilvl': 7, 'dur': 0, 'max': 100}, {'ilvl': 3, 'dur': 78, 'max': 120}], []], [0, 2, 42]),
('control #2',
[[{'ilvl': 1, 'dur': 123, 'max': 120},
{'ilvl': 7, 'dur': 61, 'max': 120},
{'ilvl': 3, 'dur': 120, 'max': 120},
{'ilvl': 374, 'dur': 38, 'max': 100}],
[]],
[0, 59, 46])],
[('over-repaired piece #1',
[[{'ilvl': 20, 'dur': 105, 'max': 100}, {'ilvl': 20, 'dur': 90, 'max': 100}], []],
[0, 0, 60]),
('regression silver denomination #1',
[[{'ilvl': 367, 'dur': 0, 'max': 120},
{'ilvl': 1, 'dur': 41, 'max': 120},
{'ilvl': 7, 'dur': 103, 'max': 100},
{'ilvl': 7, 'dur': 100, 'max': 100}],
[5]],
[1, 5, 64]),
('partial repair boundary #1',
[[{'ilvl': 14, 'dur': 0, 'max': 40}, {'ilvl': 4, 'dur': 43, 'max': 40}], [25, 10, 15]],
[0, 0, 92]),
('partial repair boundary #2',
[[{'ilvl': 1, 'dur': 100, 'max': 100},
{'ilvl': 3, 'dur': 123, 'max': 120},
{'ilvl': 1, 'dur': 1, 'max': 60}],
[]],
[0, 0, 59]),
('two stacked discounts #1', [[{'ilvl': 100, 'dur': 0, 'max': 120}], [10, 20]], [0, 22, 47]),
('nothing to repair #1', [[], [15]], [0, 0, 0]),
('control #1', [[], [25, 33]], [0, 0, 0]),
('control #2', [[{'ilvl': 1, 'dur': 63, 'max': 60}], []], [0, 0, 0])]]
for label, args, expected in cases[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 |
|---|---|---|---|
| over-repaired piece #1 | [0, 0, 60] | [0, 0, 60] | Passed |
| regression silver denomination #1 | [1, 5, 64] | [1, 5, 64] | Passed |
| partial repair boundary #1 | [0, 2, 60] | [0, 2, 60] | Passed |
| partial repair boundary #2 | [0, 0, 92] | [0, 0, 92] | Passed |
| two stacked discounts #1 | [0, 22, 47] | [0, 22, 47] | Passed |
| nothing to repair #1 | [0, 0, 0] | [0, 0, 0] | Passed |
| control #1 | [0, 0, 0] | [0, 0, 0] | Passed |
| control #2 | [0, 0, 0] | [0, 0, 0] | Passed |
SHA-256 / 578350acbc39891882d87cb9127003f4fb9ff60784e62eb82ffe1b6b049d1269
Verification & scope
Deterministic toy contract stipulated for this model; integer or exact arithmetic only, not a reproduction of any specific game engine. 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:50:45.682017+00:00.
Case digest / 742e939aaeab62ff42b8741fee7c1a3789445b4318f95fc7c2fc0d8fad532449