{"abstract":"Salvage results contain components with amount zero.","category":"Game economy crafting balance","checks":8,"contract":"Return rate: common 50%, rare 70%, epic 90%. Condition d/mx with d clamped to mx; max_durability 0 means indestructible (full condition). Durability <= 0 yields {\"scrap\": 1}. Each component amount = floor(count*pct*d/(100*mx)) computed once; rare and epic items return at least 1 of each component; zero amounts are omitted.","contract_signature":"item, components","evaluation_group":"w2-game-economy-crafting-balance-salvage-return","failed_approach":"Requiring more than one unit also drops legitimate single-unit returns.","family":"w2-game-economy-crafting-balance-salvage-return-zero-amount-omission","id":"FA-85906","implementations":{"attempt":{"sha256":"6f2fc453a60f2d4902c60ce4945852344ae6e6ad448d1b8f9027ee3a28736e0e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(item, components):\n    pct = {'common': 50, 'rare': 70, 'epic': 90}[item['rarity']]\n    mx = item['max_durability']\n    if mx == 0:\n        d, mx = 1, 1\n    else:\n        d = min(item['durability'], mx)\n    if d <= 0:\n        return {'scrap': 1}\n    out = {}\n    for name, count in components.items():\n        amt = count * pct * d // (100 * mx)\n        if item['rarity'] != 'common' and amt < 1:\n            amt = 1\n        if amt > 1:\n            out[name] = amt\n    return dict(sorted(out.items()))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('over-repaired common #1',\n   [{'rarity': 'common', 'durability': 30, 'max_durability': 20}, {'ingot': 4, 'cloth': 3}],\n   {'cloth': 1, 'ingot': 2}),\n  ('fault site zero amount omission #1',\n   [{'rarity': 'common', 'durability': 3, 'max_durability': 10}, {'thread': 4, 'cloth': 5}],\n   {}),\n  ('fault site zero amount omission #2',\n   [{'rarity': 'common', 'durability': 50, 'max_durability': 50}, {'thread': 1, 'ingot': 1}],\n   {}),\n  ('partial repair boundary #1',\n   [{'rarity': 'rare', 'durability': 1, 'max_durability': 0}, {'cloth': 5, 'ingot': 4, 'shard': 1}],\n   {'cloth': 3, 'ingot': 2, 'shard': 1}),\n  ('partial repair boundary #2',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 0}, {'shard': 2, 'ingot': 2, 'thread': 6}],\n   {'ingot': 1, 'shard': 1, 'thread': 3}),\n  ('indestructible relic #1',\n   [{'rarity': 'epic', 'durability': 0, 'max_durability': 0}, {'shard': 5}],\n   {'shard': 4}),\n  ('broken rare #1',\n   [{'rarity': 'rare', 'durability': 0, 'max_durability': 40}, {'thread': 2}],\n   {'scrap': 1}),\n  ('control #1', [{'rarity': 'rare', 'durability': 0, 'max_durability': 100}, {'shard': 5}], {'scrap': 1})],\n [('over-repaired common #1',\n   [{'rarity': 'common', 'durability': 30, 'max_durability': 20}, {'ingot': 4, 'cloth': 3}],\n   {'cloth': 1, 'ingot': 2}),\n  ('fault site zero amount omission #1',\n   [{'rarity': 'common', 'durability': 7, 'max_durability': 7}, {'thread': 1}],\n   {}),\n  ('fault site zero amount omission #2',\n   [{'rarity': 'common', 'durability': 4, 'max_durability': 20}, {'thread': 4, 'shard': 3}],\n   {}),\n  ('partial repair boundary #1',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 0}, {'shard': 2, 'ingot': 2, 'thread': 6}],\n   {'ingot': 1, 'shard': 1, 'thread': 3}),\n  ('partial repair boundary #2',\n   [{'rarity': 'epic', 'durability': 1, 'max_durability': 50}, {'cloth': 1}],\n   {'cloth': 1}),\n  ('indestructible relic #1',\n   [{'rarity': 'epic', 'durability': 0, 'max_durability': 0}, {'shard': 5}],\n   {'shard': 4}),\n  ('broken rare #1',\n   [{'rarity': 'rare', 'durability': 0, 'max_durability': 40}, {'thread': 2}],\n   {'scrap': 1}),\n  ('control #1', [{'rarity': 'rare', 'durability': 0, 'max_durability': 100}, {'shard': 5}], {'scrap': 1})],\n [('over-repaired common #1',\n   [{'rarity': 'common', 'durability': 30, 'max_durability': 20}, {'ingot': 4, 'cloth': 3}],\n   {'cloth': 1, 'ingot': 2}),\n  ('fault site zero amount omission #1',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 50}, {'ingot': 4, 'thread': 6}],\n   {}),\n  ('fault site zero amount omission #2',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 10}, {'shard': 5, 'thread': 6}],\n   {}),\n  ('partial repair boundary #1',\n   [{'rarity': 'rare', 'durability': 1, 'max_durability': 50}, {'ingot': 4, 'shard': 3}],\n   {'ingot': 1, 'shard': 1}),\n  ('partial repair boundary #2',\n   [{'rarity': 'rare', 'durability': 1, 'max_durability': 20}, {'ingot': 3, 'shard': 3, 'thread': 5}],\n   {'ingot': 1, 'shard': 1, 'thread': 1}),\n  ('indestructible relic #1',\n   [{'rarity': 'epic', 'durability': 0, 'max_durability': 0}, {'shard': 5}],\n   {'shard': 4}),\n  ('broken rare #1',\n   [{'rarity': 'rare', 'durability': 0, 'max_durability': 40}, {'thread': 2}],\n   {'scrap': 1}),\n  ('control #1', [{'rarity': 'rare', 'durability': 0, 'max_durability': 100}, {'shard': 5}], {'scrap': 1})],\n [('over-repaired common #1',\n   [{'rarity': 'common', 'durability': 30, 'max_durability': 20}, {'ingot': 4, 'cloth': 3}],\n   {'cloth': 1, 'ingot': 2}),\n  ('fault site zero amount omission #1',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 7}, {'shard': 2, 'cloth': 6, 'ingot': 2}],\n   {}),\n  ('fault site zero amount omission #2',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 7}, {'thread': 2}],\n   {}),\n  ('partial repair boundary #1',\n   [{'rarity': 'rare', 'durability': 1, 'max_durability': 100}, {'cloth': 4}],\n   {'cloth': 1}),\n  ('partial repair boundary #2',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 0}, {'cloth': 6, 'ingot': 2}],\n   {'cloth': 3, 'ingot': 1}),\n  ('indestructible relic #1',\n   [{'rarity': 'epic', 'durability': 0, 'max_durability': 0}, {'shard': 5}],\n   {'shard': 4}),\n  ('broken rare #1',\n   [{'rarity': 'rare', 'durability': 0, 'max_durability': 40}, {'thread': 2}],\n   {'scrap': 1}),\n  ('control #1',\n   [{'rarity': 'common', 'durability': 0, 'max_durability': 100}, {'cloth': 6, 'thread': 1}],\n   {'scrap': 1})],\n [('over-repaired common #1',\n   [{'rarity': 'common', 'durability': 30, 'max_durability': 20}, {'ingot': 4, 'cloth': 3}],\n   {'cloth': 1, 'ingot': 2}),\n  ('fault site zero amount omission #1',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 7}, {'shard': 2, 'ingot': 6, 'thread': 4}],\n   {}),\n  ('fault site zero amount omission #2',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 7}, {'cloth': 3}],\n   {}),\n  ('partial repair boundary #1',\n   [{'rarity': 'epic', 'durability': 1, 'max_durability': 100}, {'cloth': 6, 'ingot': 1, 'thread': 3}],\n   {'cloth': 1, 'ingot': 1, 'thread': 1}),\n  ('partial repair boundary #2',\n   [{'rarity': 'common', 'durability': 20, 'max_durability': 20}, {'shard': 4, 'thread': 2}],\n   {'shard': 2, 'thread': 1}),\n  ('indestructible relic #1',\n   [{'rarity': 'epic', 'durability': 0, 'max_durability': 0}, {'shard': 5}],\n   {'shard': 4}),\n  ('broken rare #1',\n   [{'rarity': 'rare', 'durability': 0, 'max_durability': 40}, {'thread': 2}],\n   {'scrap': 1}),\n  ('control #1', [{'rarity': 'epic', 'durability': 12, 'max_durability': 7}, {'ingot': 5}], {'ingot': 4})]]\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":"1f82756535fa52eef01ffe2e06f448de92f16f80cc46ce49a41e42018feb7514","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(item, components):\n    pct = {'common': 50, 'rare': 70, 'epic': 90}[item['rarity']]\n    mx = item['max_durability']\n    if mx == 0:\n        d, mx = 1, 1\n    else:\n        d = min(item['durability'], mx)\n    if d <= 0:\n        return {'scrap': 1}\n    out = {}\n    for name, count in components.items():\n        amt = count * pct * d // (100 * mx)\n        if item['rarity'] != 'common' and amt < 1:\n            amt = 1\n        if amt >= 0:\n            out[name] = amt\n    return dict(sorted(out.items()))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('over-repaired common #1',\n   [{'rarity': 'common', 'durability': 30, 'max_durability': 20}, {'ingot': 4, 'cloth': 3}],\n   {'cloth': 1, 'ingot': 2}),\n  ('fault site zero amount omission #1',\n   [{'rarity': 'common', 'durability': 3, 'max_durability': 10}, {'thread': 4, 'cloth': 5}],\n   {}),\n  ('fault site zero amount omission #2',\n   [{'rarity': 'common', 'durability': 50, 'max_durability': 50}, {'thread': 1, 'ingot': 1}],\n   {}),\n  ('partial repair boundary #1',\n   [{'rarity': 'rare', 'durability': 1, 'max_durability': 0}, {'cloth': 5, 'ingot': 4, 'shard': 1}],\n   {'cloth': 3, 'ingot': 2, 'shard': 1}),\n  ('partial repair boundary #2',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 0}, {'shard': 2, 'ingot': 2, 'thread': 6}],\n   {'ingot': 1, 'shard': 1, 'thread': 3}),\n  ('indestructible relic #1',\n   [{'rarity': 'epic', 'durability': 0, 'max_durability': 0}, {'shard': 5}],\n   {'shard': 4}),\n  ('broken rare #1',\n   [{'rarity': 'rare', 'durability': 0, 'max_durability': 40}, {'thread': 2}],\n   {'scrap': 1}),\n  ('control #1', [{'rarity': 'rare', 'durability': 0, 'max_durability': 100}, {'shard': 5}], {'scrap': 1})],\n [('over-repaired common #1',\n   [{'rarity': 'common', 'durability': 30, 'max_durability': 20}, {'ingot': 4, 'cloth': 3}],\n   {'cloth': 1, 'ingot': 2}),\n  ('fault site zero amount omission #1',\n   [{'rarity': 'common', 'durability': 7, 'max_durability': 7}, {'thread': 1}],\n   {}),\n  ('fault site zero amount omission #2',\n   [{'rarity': 'common', 'durability': 4, 'max_durability': 20}, {'thread': 4, 'shard': 3}],\n   {}),\n  ('partial repair boundary #1',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 0}, {'shard': 2, 'ingot': 2, 'thread': 6}],\n   {'ingot': 1, 'shard': 1, 'thread': 3}),\n  ('partial repair boundary #2',\n   [{'rarity': 'epic', 'durability': 1, 'max_durability': 50}, {'cloth': 1}],\n   {'cloth': 1}),\n  ('indestructible relic #1',\n   [{'rarity': 'epic', 'durability': 0, 'max_durability': 0}, {'shard': 5}],\n   {'shard': 4}),\n  ('broken rare #1',\n   [{'rarity': 'rare', 'durability': 0, 'max_durability': 40}, {'thread': 2}],\n   {'scrap': 1}),\n  ('control #1', [{'rarity': 'rare', 'durability': 0, 'max_durability': 100}, {'shard': 5}], {'scrap': 1})],\n [('over-repaired common #1',\n   [{'rarity': 'common', 'durability': 30, 'max_durability': 20}, {'ingot': 4, 'cloth': 3}],\n   {'cloth': 1, 'ingot': 2}),\n  ('fault site zero amount omission #1',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 50}, {'ingot': 4, 'thread': 6}],\n   {}),\n  ('fault site zero amount omission #2',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 10}, {'shard': 5, 'thread': 6}],\n   {}),\n  ('partial repair boundary #1',\n   [{'rarity': 'rare', 'durability': 1, 'max_durability': 50}, {'ingot': 4, 'shard': 3}],\n   {'ingot': 1, 'shard': 1}),\n  ('partial repair boundary #2',\n   [{'rarity': 'rare', 'durability': 1, 'max_durability': 20}, {'ingot': 3, 'shard': 3, 'thread': 5}],\n   {'ingot': 1, 'shard': 1, 'thread': 1}),\n  ('indestructible relic #1',\n   [{'rarity': 'epic', 'durability': 0, 'max_durability': 0}, {'shard': 5}],\n   {'shard': 4}),\n  ('broken rare #1',\n   [{'rarity': 'rare', 'durability': 0, 'max_durability': 40}, {'thread': 2}],\n   {'scrap': 1}),\n  ('control #1', [{'rarity': 'rare', 'durability': 0, 'max_durability': 100}, {'shard': 5}], {'scrap': 1})],\n [('over-repaired common #1',\n   [{'rarity': 'common', 'durability': 30, 'max_durability': 20}, {'ingot': 4, 'cloth': 3}],\n   {'cloth': 1, 'ingot': 2}),\n  ('fault site zero amount omission #1',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 7}, {'shard': 2, 'cloth': 6, 'ingot': 2}],\n   {}),\n  ('fault site zero amount omission #2',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 7}, {'thread': 2}],\n   {}),\n  ('partial repair boundary #1',\n   [{'rarity': 'rare', 'durability': 1, 'max_durability': 100}, {'cloth': 4}],\n   {'cloth': 1}),\n  ('partial repair boundary #2',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 0}, {'cloth': 6, 'ingot': 2}],\n   {'cloth': 3, 'ingot': 1}),\n  ('indestructible relic #1',\n   [{'rarity': 'epic', 'durability': 0, 'max_durability': 0}, {'shard': 5}],\n   {'shard': 4}),\n  ('broken rare #1',\n   [{'rarity': 'rare', 'durability': 0, 'max_durability': 40}, {'thread': 2}],\n   {'scrap': 1}),\n  ('control #1',\n   [{'rarity': 'common', 'durability': 0, 'max_durability': 100}, {'cloth': 6, 'thread': 1}],\n   {'scrap': 1})],\n [('over-repaired common #1',\n   [{'rarity': 'common', 'durability': 30, 'max_durability': 20}, {'ingot': 4, 'cloth': 3}],\n   {'cloth': 1, 'ingot': 2}),\n  ('fault site zero amount omission #1',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 7}, {'shard': 2, 'ingot': 6, 'thread': 4}],\n   {}),\n  ('fault site zero amount omission #2',\n   [{'rarity': 'common', 'durability': 1, 'max_durability': 7}, {'cloth': 3}],\n   {}),\n  ('partial repair boundary #1',\n   [{'rarity': 'epic', 'durability': 1, 'max_durability': 100}, {'cloth': 6, 'ingot': 1, 'thread': 3}],\n   {'cloth': 1, 'ingot': 1, 'thread': 1}),\n  ('partial repair boundary #2',\n   [{'rarity': 'common', 'durability': 20, 'max_durability': 20}, {'shard': 4, 'thread': 2}],\n   {'shard': 2, 'thread': 1}),\n  ('indestructible relic #1',\n   [{'rarity': 'epic', 'durability': 0, 'max_durability': 0}, {'shard': 5}],\n   {'shard': 4}),\n  ('broken rare #1',\n   [{'rarity': 'rare', 'durability': 0, 'max_durability': 40}, {'thread': 2}],\n   {'scrap': 1}),\n  ('control #1', [{'rarity': 'epic', 'durability': 12, 'max_durability': 7}, {'ingot': 5}], {'ingot': 4})]]\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-salvage-return-zero-amount-omission","generated_at":"2026-09-29T14:50:44.775481+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 inclusion test admits zero amounts into the result mapping.","sha256":"c7312b277e01ad323eded0f43b3df5d2b7ef74c74e7d10c0c4f535af03f86b9b","title":"Salvage component return: Zero-amount components are listed · 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":39.901,"exit_code":1,"observations":[{"actual":{"ingot":2},"check":"over-repaired common #1","expected":{"cloth":1,"ingot":2},"passed":false},{"actual":{},"check":"fault site zero amount omission #1","expected":{},"passed":true},{"actual":{},"check":"fault site zero amount omission #2","expected":{},"passed":true},{"actual":{"cloth":3,"ingot":2},"check":"partial repair boundary #1","expected":{"cloth":3,"ingot":2,"shard":1},"passed":false},{"actual":{"thread":3},"check":"partial repair boundary #2","expected":{"ingot":1,"shard":1,"thread":3},"passed":false},{"actual":{"shard":4},"check":"indestructible relic #1","expected":{"shard":4},"passed":true},{"actual":{"scrap":1},"check":"broken rare #1","expected":{"scrap":1},"passed":true},{"actual":{"scrap":1},"check":"control #1","expected":{"scrap":1},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"over-repaired common #1\", \"actual\": {\"ingot\": 2}, \"expected\": {\"cloth\": 1, \"ingot\": 2}, \"passed\": false}, {\"check\": \"fault site zero amount omission #1\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"fault site zero amount omission #2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"partial repair boundary #1\", \"actual\": {\"cloth\": 3, \"ingot\": 2}, \"expected\": {\"cloth\": 3, \"ingot\": 2, \"shard\": 1}, \"passed\": false}, {\"check\": \"partial repair boundary #2\", \"actual\": {\"thread\": 3}, \"expected\": {\"ingot\": 1, \"shard\": 1, \"thread\": 3}, \"passed\": false}, {\"check\": \"indestructible relic #1\", \"actual\": {\"shard\": 4}, \"expected\": {\"shard\": 4}, \"passed\": true}, {\"check\": \"broken rare #1\", \"actual\": {\"scrap\": 1}, \"expected\": {\"scrap\": 1}, \"passed\": true}, {\"check\": \"control #1\", \"actual\": {\"scrap\": 1}, \"expected\": {\"scrap\": 1}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.489,"exit_code":1,"observations":[{"actual":{"cloth":1,"ingot":2},"check":"over-repaired common #1","expected":{"cloth":1,"ingot":2},"passed":true},{"actual":{"cloth":0,"thread":0},"check":"fault site zero amount omission #1","expected":{},"passed":false},{"actual":{"ingot":0,"thread":0},"check":"fault site zero amount omission #2","expected":{},"passed":false},{"actual":{"cloth":3,"ingot":2,"shard":1},"check":"partial repair boundary #1","expected":{"cloth":3,"ingot":2,"shard":1},"passed":true},{"actual":{"ingot":1,"shard":1,"thread":3},"check":"partial repair boundary #2","expected":{"ingot":1,"shard":1,"thread":3},"passed":true},{"actual":{"shard":4},"check":"indestructible relic #1","expected":{"shard":4},"passed":true},{"actual":{"scrap":1},"check":"broken rare #1","expected":{"scrap":1},"passed":true},{"actual":{"scrap":1},"check":"control #1","expected":{"scrap":1},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"over-repaired common #1\", \"actual\": {\"cloth\": 1, \"ingot\": 2}, \"expected\": {\"cloth\": 1, \"ingot\": 2}, \"passed\": true}, {\"check\": \"fault site zero amount omission #1\", \"actual\": {\"cloth\": 0, \"thread\": 0}, \"expected\": {}, \"passed\": false}, {\"check\": \"fault site zero amount omission #2\", \"actual\": {\"ingot\": 0, \"thread\": 0}, \"expected\": {}, \"passed\": false}, {\"check\": \"partial repair boundary #1\", \"actual\": {\"cloth\": 3, \"ingot\": 2, \"shard\": 1}, \"expected\": {\"cloth\": 3, \"ingot\": 2, \"shard\": 1}, \"passed\": true}, {\"check\": \"partial repair boundary #2\", \"actual\": {\"ingot\": 1, \"shard\": 1, \"thread\": 3}, \"expected\": {\"ingot\": 1, \"shard\": 1, \"thread\": 3}, \"passed\": true}, {\"check\": \"indestructible relic #1\", \"actual\": {\"shard\": 4}, \"expected\": {\"shard\": 4}, \"passed\": true}, {\"check\": \"broken rare #1\", \"actual\": {\"scrap\": 1}, \"expected\": {\"scrap\": 1}, \"passed\": true}, {\"check\": \"control #1\", \"actual\": {\"scrap\": 1}, \"expected\": {\"scrap\": 1}, \"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."}}