{"abstract":"Late sales collapse to the one-coin minimum instead of 40% value.","category":"Game economy crafting balance","checks":8,"contract":"Selling qty units after `sales` units already sold today. Daily cap 20 units total; excess is returned. Per unit, with done = units sold today before it: saturation = min(60, 5*done) percent; unit = floor(base*(100-sat)/100), then floor(unit*(100+bonus)/100) with bonus neutral 0, friendly 5, honored 10; each unit pays at least 1.","contract_signature":"base_price, sales, qty, reputation","evaluation_group":"w2-game-economy-crafting-balance-vendor-saturation","failed_approach":"A 50% cap overpays heavily saturated items.","family":"w2-game-economy-crafting-balance-vendor-saturation-saturation-ceiling","id":"FA-85956","implementations":{"attempt":{"sha256":"25cbd4af7214c54926478958c3d111717c2a1e426abd4c895f9c98764cc76233","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(base_price, sales, qty, reputation):\n    bonus = {'neutral': 0, 'friendly': 5, 'honored': 10}[reputation]\n    gold = 0\n    sold = 0\n    for i in range(qty):\n        done = sales + sold\n        if done >= 20:\n            break\n        sat = min(50, 5 * done)\n        unit = base_price * (100 - sat) // 100\n        unit = unit * (100 + bonus) // 100\n        gold += max(1, unit)\n        sold += 1\n    return {'gold': gold, 'sold': sold, 'returned': qty - sold}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('cap reached mid batch #1', [40, 18, 5, 'honored'], {'gold': 34, 'sold': 2, 'returned': 3}),\n  ('regression saturation ceiling #1', [190, 12, 7, 'neutral'], {'gold': 532, 'sold': 7, 'returned': 0}),\n  ('regression saturation ceiling #2', [10, 5, 10, 'friendly'], {'gold': 52, 'sold': 10, 'returned': 0}),\n  ('regression saturation ceiling #3', [7, 12, 6, 'neutral'], {'gold': 12, 'sold': 6, 'returned': 0}),\n  ('regression saturation ceiling #4', [25, 12, 12, 'neutral'], {'gold': 80, 'sold': 8, 'returned': 4}),\n  ('fresh day single sale #1', [9, 0, 1, 'friendly'], {'gold': 9, 'sold': 1, 'returned': 0}),\n  ('cheap junk at saturation #1', [1, 12, 3, 'neutral'], {'gold': 3, 'sold': 3, 'returned': 0}),\n  ('control #1', [99, 5, 3, 'neutral'], {'gold': 207, 'sold': 3, 'returned': 0})],\n [('cap reached mid batch #1', [40, 18, 5, 'honored'], {'gold': 34, 'sold': 2, 'returned': 3}),\n  ('regression saturation ceiling #1', [10, 5, 10, 'friendly'], {'gold': 52, 'sold': 10, 'returned': 0}),\n  ('regression saturation ceiling #2', [7, 12, 6, 'neutral'], {'gold': 12, 'sold': 6, 'returned': 0}),\n  ('regression saturation ceiling #3', [25, 12, 12, 'neutral'], {'gold': 80, 'sold': 8, 'returned': 4}),\n  ('regression saturation ceiling #4', [99, 11, 5, 'neutral'], {'gold': 200, 'sold': 5, 'returned': 0}),\n  ('fresh day single sale #1', [9, 0, 1, 'friendly'], {'gold': 9, 'sold': 1, 'returned': 0}),\n  ('cheap junk at saturation #1', [1, 12, 3, 'neutral'], {'gold': 3, 'sold': 3, 'returned': 0}),\n  ('control #1', [99, 5, 3, 'neutral'], {'gold': 207, 'sold': 3, 'returned': 0})],\n [('cap reached mid batch #1', [40, 18, 5, 'honored'], {'gold': 34, 'sold': 2, 'returned': 3}),\n  ('regression saturation ceiling #1', [25, 12, 12, 'neutral'], {'gold': 80, 'sold': 8, 'returned': 4}),\n  ('regression saturation ceiling #2', [99, 11, 5, 'neutral'], {'gold': 200, 'sold': 5, 'returned': 0}),\n  ('regression saturation ceiling #3', [15, 15, 7, 'friendly'], {'gold': 30, 'sold': 5, 'returned': 2}),\n  ('regression saturation ceiling #4', [99, 12, 4, 'friendly'], {'gold': 160, 'sold': 4, 'returned': 0}),\n  ('fresh day single sale #1', [9, 0, 1, 'friendly'], {'gold': 9, 'sold': 1, 'returned': 0}),\n  ('cheap junk at saturation #1', [1, 12, 3, 'neutral'], {'gold': 3, 'sold': 3, 'returned': 0}),\n  ('control #1', [99, 5, 3, 'neutral'], {'gold': 207, 'sold': 3, 'returned': 0})],\n [('cap reached mid batch #1', [40, 18, 5, 'honored'], {'gold': 34, 'sold': 2, 'returned': 3}),\n  ('regression saturation ceiling #1', [15, 15, 7, 'friendly'], {'gold': 30, 'sold': 5, 'returned': 2}),\n  ('regression saturation ceiling #2', [99, 12, 4, 'friendly'], {'gold': 160, 'sold': 4, 'returned': 0}),\n  ('regression saturation ceiling #3', [99, 19, 4, 'friendly'], {'gold': 40, 'sold': 1, 'returned': 3}),\n  ('regression saturation ceiling #4', [99, 15, 5, 'honored'], {'gold': 210, 'sold': 5, 'returned': 0}),\n  ('fresh day single sale #1', [9, 0, 1, 'friendly'], {'gold': 9, 'sold': 1, 'returned': 0}),\n  ('cheap junk at saturation #1', [1, 12, 3, 'neutral'], {'gold': 3, 'sold': 3, 'returned': 0}),\n  ('control #1', [3, 1, 11, 'neutral'], {'gold': 17, 'sold': 11, 'returned': 0})],\n [('cap reached mid batch #1', [40, 18, 5, 'honored'], {'gold': 34, 'sold': 2, 'returned': 3}),\n  ('regression saturation ceiling #1', [99, 19, 4, 'friendly'], {'gold': 40, 'sold': 1, 'returned': 3}),\n  ('regression saturation ceiling #2', [99, 15, 5, 'honored'], {'gold': 210, 'sold': 5, 'returned': 0}),\n  ('regression saturation ceiling #3', [70, 11, 3, 'friendly'], {'gold': 90, 'sold': 3, 'returned': 0}),\n  ('regression saturation ceiling #4', [160, 15, 12, 'friendly'], {'gold': 335, 'sold': 5, 'returned': 7}),\n  ('fresh day single sale #1', [9, 0, 1, 'friendly'], {'gold': 9, 'sold': 1, 'returned': 0}),\n  ('cheap junk at saturation #1', [1, 12, 3, 'neutral'], {'gold': 3, 'sold': 3, 'returned': 0}),\n  ('control #1', [10, 0, 7, 'friendly'], {'gold': 58, 'sold': 7, 'returned': 0})]]\nfor label, args, expected in cases[N-1]:\n    check(label, solve(*args), 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":"25bc98ee1a1ed1a56f59598a732bd23a64e5cfbdc08d177937f58f596ba4d5ff","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(base_price, sales, qty, reputation):\n    bonus = {'neutral': 0, 'friendly': 5, 'honored': 10}[reputation]\n    gold = 0\n    sold = 0\n    for i in range(qty):\n        done = sales + sold\n        if done >= 20:\n            break\n        sat = 5 * done\n        unit = base_price * (100 - sat) // 100\n        unit = unit * (100 + bonus) // 100\n        gold += max(1, unit)\n        sold += 1\n    return {'gold': gold, 'sold': sold, 'returned': qty - sold}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('cap reached mid batch #1', [40, 18, 5, 'honored'], {'gold': 34, 'sold': 2, 'returned': 3}),\n  ('regression saturation ceiling #1', [190, 12, 7, 'neutral'], {'gold': 532, 'sold': 7, 'returned': 0}),\n  ('regression saturation ceiling #2', [10, 5, 10, 'friendly'], {'gold': 52, 'sold': 10, 'returned': 0}),\n  ('regression saturation ceiling #3', [7, 12, 6, 'neutral'], {'gold': 12, 'sold': 6, 'returned': 0}),\n  ('regression saturation ceiling #4', [25, 12, 12, 'neutral'], {'gold': 80, 'sold': 8, 'returned': 4}),\n  ('fresh day single sale #1', [9, 0, 1, 'friendly'], {'gold': 9, 'sold': 1, 'returned': 0}),\n  ('cheap junk at saturation #1', [1, 12, 3, 'neutral'], {'gold': 3, 'sold': 3, 'returned': 0}),\n  ('control #1', [99, 5, 3, 'neutral'], {'gold': 207, 'sold': 3, 'returned': 0})],\n [('cap reached mid batch #1', [40, 18, 5, 'honored'], {'gold': 34, 'sold': 2, 'returned': 3}),\n  ('regression saturation ceiling #1', [10, 5, 10, 'friendly'], {'gold': 52, 'sold': 10, 'returned': 0}),\n  ('regression saturation ceiling #2', [7, 12, 6, 'neutral'], {'gold': 12, 'sold': 6, 'returned': 0}),\n  ('regression saturation ceiling #3', [25, 12, 12, 'neutral'], {'gold': 80, 'sold': 8, 'returned': 4}),\n  ('regression saturation ceiling #4', [99, 11, 5, 'neutral'], {'gold': 200, 'sold': 5, 'returned': 0}),\n  ('fresh day single sale #1', [9, 0, 1, 'friendly'], {'gold': 9, 'sold': 1, 'returned': 0}),\n  ('cheap junk at saturation #1', [1, 12, 3, 'neutral'], {'gold': 3, 'sold': 3, 'returned': 0}),\n  ('control #1', [99, 5, 3, 'neutral'], {'gold': 207, 'sold': 3, 'returned': 0})],\n [('cap reached mid batch #1', [40, 18, 5, 'honored'], {'gold': 34, 'sold': 2, 'returned': 3}),\n  ('regression saturation ceiling #1', [25, 12, 12, 'neutral'], {'gold': 80, 'sold': 8, 'returned': 4}),\n  ('regression saturation ceiling #2', [99, 11, 5, 'neutral'], {'gold': 200, 'sold': 5, 'returned': 0}),\n  ('regression saturation ceiling #3', [15, 15, 7, 'friendly'], {'gold': 30, 'sold': 5, 'returned': 2}),\n  ('regression saturation ceiling #4', [99, 12, 4, 'friendly'], {'gold': 160, 'sold': 4, 'returned': 0}),\n  ('fresh day single sale #1', [9, 0, 1, 'friendly'], {'gold': 9, 'sold': 1, 'returned': 0}),\n  ('cheap junk at saturation #1', [1, 12, 3, 'neutral'], {'gold': 3, 'sold': 3, 'returned': 0}),\n  ('control #1', [99, 5, 3, 'neutral'], {'gold': 207, 'sold': 3, 'returned': 0})],\n [('cap reached mid batch #1', [40, 18, 5, 'honored'], {'gold': 34, 'sold': 2, 'returned': 3}),\n  ('regression saturation ceiling #1', [15, 15, 7, 'friendly'], {'gold': 30, 'sold': 5, 'returned': 2}),\n  ('regression saturation ceiling #2', [99, 12, 4, 'friendly'], {'gold': 160, 'sold': 4, 'returned': 0}),\n  ('regression saturation ceiling #3', [99, 19, 4, 'friendly'], {'gold': 40, 'sold': 1, 'returned': 3}),\n  ('regression saturation ceiling #4', [99, 15, 5, 'honored'], {'gold': 210, 'sold': 5, 'returned': 0}),\n  ('fresh day single sale #1', [9, 0, 1, 'friendly'], {'gold': 9, 'sold': 1, 'returned': 0}),\n  ('cheap junk at saturation #1', [1, 12, 3, 'neutral'], {'gold': 3, 'sold': 3, 'returned': 0}),\n  ('control #1', [3, 1, 11, 'neutral'], {'gold': 17, 'sold': 11, 'returned': 0})],\n [('cap reached mid batch #1', [40, 18, 5, 'honored'], {'gold': 34, 'sold': 2, 'returned': 3}),\n  ('regression saturation ceiling #1', [99, 19, 4, 'friendly'], {'gold': 40, 'sold': 1, 'returned': 3}),\n  ('regression saturation ceiling #2', [99, 15, 5, 'honored'], {'gold': 210, 'sold': 5, 'returned': 0}),\n  ('regression saturation ceiling #3', [70, 11, 3, 'friendly'], {'gold': 90, 'sold': 3, 'returned': 0}),\n  ('regression saturation ceiling #4', [160, 15, 12, 'friendly'], {'gold': 335, 'sold': 5, 'returned': 7}),\n  ('fresh day single sale #1', [9, 0, 1, 'friendly'], {'gold': 9, 'sold': 1, 'returned': 0}),\n  ('cheap junk at saturation #1', [1, 12, 3, 'neutral'], {'gold': 3, 'sold': 3, 'returned': 0}),\n  ('control #1', [10, 0, 7, 'friendly'], {'gold': 58, 'sold': 7, 'returned': 0})]]\nfor label, args, expected in cases[N-1]:\n    check(label, solve(*args), 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":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-game-economy-crafting-balance-vendor-saturation-saturation-ceiling","generated_at":"2026-09-29T14:50:45.077409+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"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.","root_cause":"The saturation percentage is not capped at 60.","sha256":"5d0df7b85725868876646caf06fe4257baa56fcd4bba92e858421d08bdb7a0bc","title":"Vendor sell saturation: Saturation is uncapped · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":40.726,"exit_code":1,"observations":[{"actual":{"gold":44,"returned":3,"sold":2},"check":"cap reached mid batch #1","expected":{"gold":34,"returned":3,"sold":2},"passed":false},{"actual":{"gold":665,"returned":0,"sold":7},"check":"regression saturation ceiling #1","expected":{"gold":532,"returned":0,"sold":7},"passed":false},{"actual":{"gold":56,"returned":0,"sold":10},"check":"regression saturation ceiling #2","expected":{"gold":52,"returned":0,"sold":10},"passed":false},{"actual":{"gold":18,"returned":0,"sold":6},"check":"regression saturation ceiling #3","expected":{"gold":12,"returned":0,"sold":6},"passed":false},{"actual":{"gold":96,"returned":4,"sold":8},"check":"regression saturation ceiling #4","expected":{"gold":80,"returned":4,"sold":8},"passed":false},{"actual":{"gold":9,"returned":0,"sold":1},"check":"fresh day single sale #1","expected":{"gold":9,"returned":0,"sold":1},"passed":true},{"actual":{"gold":3,"returned":0,"sold":3},"check":"cheap junk at saturation #1","expected":{"gold":3,"returned":0,"sold":3},"passed":true},{"actual":{"gold":207,"returned":0,"sold":3},"check":"control #1","expected":{"gold":207,"returned":0,"sold":3},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"cap reached mid batch #1\", \"actual\": {\"gold\": 44, \"sold\": 2, \"returned\": 3}, \"expected\": {\"gold\": 34, \"sold\": 2, \"returned\": 3}, \"passed\": false}, {\"check\": \"regression saturation ceiling #1\", \"actual\": {\"gold\": 665, \"sold\": 7, \"returned\": 0}, \"expected\": {\"gold\": 532, \"sold\": 7, \"returned\": 0}, \"passed\": false}, {\"check\": \"regression saturation ceiling #2\", \"actual\": {\"gold\": 56, \"sold\": 10, \"returned\": 0}, \"expected\": {\"gold\": 52, \"sold\": 10, \"returned\": 0}, \"passed\": false}, {\"check\": \"regression saturation ceiling #3\", \"actual\": {\"gold\": 18, \"sold\": 6, \"returned\": 0}, \"expected\": {\"gold\": 12, \"sold\": 6, \"returned\": 0}, \"passed\": false}, {\"check\": \"regression saturation ceiling #4\", \"actual\": {\"gold\": 96, \"sold\": 8, \"returned\": 4}, \"expected\": {\"gold\": 80, \"sold\": 8, \"returned\": 4}, \"passed\": false}, {\"check\": \"fresh day single sale #1\", \"actual\": {\"gold\": 9, \"sold\": 1, \"returned\": 0}, \"expected\": {\"gold\": 9, \"sold\": 1, \"returned\": 0}, \"passed\": true}, {\"check\": \"cheap junk at saturation #1\", \"actual\": {\"gold\": 3, \"sold\": 3, \"returned\": 0}, \"expected\": {\"gold\": 3, \"sold\": 3, \"returned\": 0}, \"passed\": true}, {\"check\": \"control #1\", \"actual\": {\"gold\": 207, \"sold\": 3, \"returned\": 0}, \"expected\": {\"gold\": 207, \"sold\": 3, \"returned\": 0}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.847,"exit_code":1,"observations":[{"actual":{"gold":6,"returned":3,"sold":2},"check":"cap reached mid batch #1","expected":{"gold":34,"returned":3,"sold":2},"passed":false},{"actual":{"gold":331,"returned":0,"sold":7},"check":"regression saturation ceiling #1","expected":{"gold":532,"returned":0,"sold":7},"passed":false},{"actual":{"gold":50,"returned":0,"sold":10},"check":"regression saturation ceiling #2","expected":{"gold":52,"returned":0,"sold":10},"passed":false},{"actual":{"gold":9,"returned":0,"sold":6},"check":"regression saturation ceiling #3","expected":{"gold":12,"returned":0,"sold":6},"passed":false},{"actual":{"gold":42,"returned":4,"sold":8},"check":"regression saturation ceiling #4","expected":{"gold":80,"returned":4,"sold":8},"passed":false},{"actual":{"gold":9,"returned":0,"sold":1},"check":"fresh day single sale #1","expected":{"gold":9,"returned":0,"sold":1},"passed":true},{"actual":{"gold":3,"returned":0,"sold":3},"check":"cheap junk at saturation #1","expected":{"gold":3,"returned":0,"sold":3},"passed":true},{"actual":{"gold":207,"returned":0,"sold":3},"check":"control #1","expected":{"gold":207,"returned":0,"sold":3},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"cap reached mid batch #1\", \"actual\": {\"gold\": 6, \"sold\": 2, \"returned\": 3}, \"expected\": {\"gold\": 34, \"sold\": 2, \"returned\": 3}, \"passed\": false}, {\"check\": \"regression saturation ceiling #1\", \"actual\": {\"gold\": 331, \"sold\": 7, \"returned\": 0}, \"expected\": {\"gold\": 532, \"sold\": 7, \"returned\": 0}, \"passed\": false}, {\"check\": \"regression saturation ceiling #2\", \"actual\": {\"gold\": 50, \"sold\": 10, \"returned\": 0}, \"expected\": {\"gold\": 52, \"sold\": 10, \"returned\": 0}, \"passed\": false}, {\"check\": \"regression saturation ceiling #3\", \"actual\": {\"gold\": 9, \"sold\": 6, \"returned\": 0}, \"expected\": {\"gold\": 12, \"sold\": 6, \"returned\": 0}, \"passed\": false}, {\"check\": \"regression saturation ceiling #4\", \"actual\": {\"gold\": 42, \"sold\": 8, \"returned\": 4}, \"expected\": {\"gold\": 80, \"sold\": 8, \"returned\": 4}, \"passed\": false}, {\"check\": \"fresh day single sale #1\", \"actual\": {\"gold\": 9, \"sold\": 1, \"returned\": 0}, \"expected\": {\"gold\": 9, \"sold\": 1, \"returned\": 0}, \"passed\": true}, {\"check\": \"cheap junk at saturation #1\", \"actual\": {\"gold\": 3, \"sold\": 3, \"returned\": 0}, \"expected\": {\"gold\": 3, \"sold\": 3, \"returned\": 0}, \"passed\": true}, {\"check\": \"control #1\", \"actual\": {\"gold\": 207, \"sold\": 3, \"returned\": 0}, \"expected\": {\"gold\": 207, \"sold\": 3, \"returned\": 0}, \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}