{"abstract":"Speed bonuses are worth less than the floor rule.","category":"Game economy crafting balance","checks":8,"contract":"jobs = [[name, duration], ...] in queue order. Effective duration = max(1, floor(duration*(100-speed)/100)). Each job starts on the station that frees earliest (lowest index on ties) at that station free time. Return names of jobs finished by now (finish <= now) ordered by finish time then queue position.","contract_signature":"jobs, stations, speed, now","evaluation_group":"w2-game-economy-crafting-balance-station-queue","failed_approach":"Round-to-nearest still rounds half and above upward.","family":"w2-game-economy-crafting-balance-station-queue-duration-rounding","id":"FA-86286","implementations":{"attempt":{"sha256":"1230e2217806d2264d380cad1ab07225db0c2eccb2fdadda962ef28ccb5ffcbd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(jobs, stations, speed, now):\n    free = [0] * stations\n    done = []\n    for idx, (name, dur) in enumerate(jobs):\n        d = max(1, round(dur * (100 - speed) / 100))\n        s = min(range(stations), key=lambda k: (free[k], k))\n        start = free[s]\n        free[s] = start + d\n        done.append((free[s], idx, name))\n    return [name for fin, idx, name in sorted(done) if fin <= now]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('fault site duration rounding #1',\n   [[['flask', 5], ['bow', 10], ['anvil', 1], ['dagger', 2], ['cape', 78]], 2, 50, 208],\n   ['flask', 'anvil', 'dagger', 'bow', 'cape']),\n  ('regression duration rounding #1', [[['ember', 2], ['cape', 5]], 1, 10, 5], ['ember', 'cape']),\n  ('regression duration rounding #2', [[['flask', 2], ['cape', 1]], 3, 25, 30], ['flask', 'cape']),\n  ('regression duration rounding #3',\n   [[['cape', 2], ['flask', 2], ['dagger', 32], ['anvil', 1]], 1, 10, 30],\n   ['cape', 'flask', 'dagger']),\n  ('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('speed floor #1', [[['x', 1], ['y', 1]], 1, 90, 2], ['x', 'y']),\n  ('finish exactly now #1', [[['a', 30]], 1, 0, 30], ['a']),\n  ('control #1',\n   [[['flask', 2], ['bow', 10], ['cape', 1], ['dagger', 2], ['anvil', 10], ['ember', 10]], 2, 10, 5],\n   ['flask', 'cape', 'dagger'])],\n [('fault site duration rounding #1',\n   [[['flask', 114], ['ember', 60], ['cape', 10], ['anvil', 5]], 2, 99, 169],\n   ['flask', 'ember', 'cape', 'anvil']),\n  ('regression duration rounding #1', [[['flask', 2], ['cape', 1]], 3, 25, 30], ['flask', 'cape']),\n  ('regression duration rounding #2',\n   [[['cape', 2], ['flask', 2], ['dagger', 32], ['anvil', 1]], 1, 10, 30],\n   ['cape', 'flask', 'dagger']),\n  ('regression duration rounding #3', [[['dagger', 2], ['flask', 1]], 2, 10, 148], ['dagger', 'flask']),\n  ('finish exactly now #1', [[['a', 30]], 1, 0, 30], ['a']),\n  ('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('control #1',\n   [[['flask', 2], ['bow', 10], ['cape', 1], ['dagger', 2], ['anvil', 10], ['ember', 10]], 2, 10, 5],\n   ['flask', 'cape', 'dagger']),\n  ('control #2',\n   [[['flask', 1], ['cape', 60], ['ember', 1], ['bow', 1], ['anvil', 2], ['dagger', 33]], 2, 25, 1],\n   ['flask'])],\n [('regression duration rounding #1',\n   [[['cape', 2], ['flask', 2], ['dagger', 32], ['anvil', 1]], 1, 10, 30],\n   ['cape', 'flask', 'dagger']),\n  ('regression duration rounding #2', [[['dagger', 2], ['flask', 1]], 2, 10, 148], ['dagger', 'flask']),\n  ('regression duration rounding #3', [[['dagger', 2], ['ember', 1]], 3, 25, 48], ['dagger', 'ember']),\n  ('regression duration rounding #4',\n   [[['ember', 2], ['cape', 2], ['dagger', 55], ['anvil', 1]], 3, 90, 5],\n   ['ember', 'cape', 'anvil', 'dagger']),\n  ('speed floor #1', [[['x', 1], ['y', 1]], 1, 90, 2], ['x', 'y']),\n  ('finish exactly now #1', [[['a', 30]], 1, 0, 30], ['a']),\n  ('control #1',\n   [[['flask', 1], ['cape', 60], ['ember', 1], ['bow', 1], ['anvil', 2], ['dagger', 33]], 2, 25, 1],\n   ['flask']),\n  ('control #2',\n   [[['anvil', 2], ['flask', 2], ['cape', 1], ['dagger', 103], ['ember', 5]], 2, 10, 60],\n   ['anvil', 'flask', 'cape', 'ember'])],\n [('fault site duration rounding #1',\n   [[['cape', 32], ['anvil', 1], ['flask', 1], ['ember', 5], ['bow', 10], ['dagger', 5]], 3, 50, 5],\n   ['anvil', 'flask', 'ember', 'dagger']),\n  ('regression duration rounding #1', [[['dagger', 2], ['ember', 1]], 3, 25, 48], ['dagger', 'ember']),\n  ('regression duration rounding #2',\n   [[['cape', 10], ['bow', 5], ['dagger', 38], ['anvil', 60]], 1, 90, 5],\n   ['cape', 'bow', 'dagger']),\n  ('regression duration rounding #3',\n   [[['bow', 5], ['anvil', 2], ['cape', 60], ['dagger', 60], ['ember', 44], ['flask', 2]], 1, 25, 5],\n   ['bow', 'anvil']),\n  ('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('speed floor #1', [[['x', 1], ['y', 1]], 1, 90, 2], ['x', 'y']),\n  ('control #1',\n   [[['dagger', 10], ['bow', 119], ['cape', 1], ['flask', 2], ['ember', 60], ['anvil', 5]], 1, 0, 60],\n   ['dagger']),\n  ('control #2', [[['dagger', 1], ['bow', 5]], 1, 99, 161], ['dagger', 'bow'])],\n [('regression duration rounding #1',\n   [[['ember', 2], ['cape', 2], ['dagger', 55], ['anvil', 1]], 3, 90, 5],\n   ['ember', 'cape', 'anvil', 'dagger']),\n  ('fault site duration rounding #1',\n   [[['anvil', 71], ['ember', 5], ['flask', 16], ['dagger', 60], ['cape', 88]], 3, 90, 60],\n   ['ember', 'flask', 'anvil', 'dagger', 'cape']),\n  ('regression duration rounding #2',\n   [[['anvil', 69], ['bow', 118], ['flask', 2], ['ember', 60], ['dagger', 1]], 3, 10, 1],\n   ['flask']),\n  ('regression duration rounding #3',\n   [[['flask', 17], ['bow', 1], ['dagger', 60], ['ember', 17]], 3, 90, 1],\n   ['flask', 'bow']),\n  ('finish exactly now #1', [[['a', 30]], 1, 0, 30], ['a']),\n  ('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('control #1',\n   [[['dagger', 60], ['flask', 1], ['anvil', 60], ['cape', 1], ['ember', 5], ['bow', 33]], 1, 99, 154],\n   ['dagger', 'flask', 'anvil', 'cape', 'ember', 'bow']),\n  ('control #2', [[['anvil', 2]], 3, 90, 1], ['anvil'])]]\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":"c4cd6eb6b48a47fe9e343480bd6f7e1fef112f5b61ab4817acbf2601750ff446","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(jobs, stations, speed, now):\n    free = [0] * stations\n    done = []\n    for idx, (name, dur) in enumerate(jobs):\n        d = max(1, -(-dur * (100 - speed) // 100))\n        s = min(range(stations), key=lambda k: (free[k], k))\n        start = free[s]\n        free[s] = start + d\n        done.append((free[s], idx, name))\n    return [name for fin, idx, name in sorted(done) if fin <= now]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[('fault site duration rounding #1',\n   [[['flask', 5], ['bow', 10], ['anvil', 1], ['dagger', 2], ['cape', 78]], 2, 50, 208],\n   ['flask', 'anvil', 'dagger', 'bow', 'cape']),\n  ('regression duration rounding #1', [[['ember', 2], ['cape', 5]], 1, 10, 5], ['ember', 'cape']),\n  ('regression duration rounding #2', [[['flask', 2], ['cape', 1]], 3, 25, 30], ['flask', 'cape']),\n  ('regression duration rounding #3',\n   [[['cape', 2], ['flask', 2], ['dagger', 32], ['anvil', 1]], 1, 10, 30],\n   ['cape', 'flask', 'dagger']),\n  ('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('speed floor #1', [[['x', 1], ['y', 1]], 1, 90, 2], ['x', 'y']),\n  ('finish exactly now #1', [[['a', 30]], 1, 0, 30], ['a']),\n  ('control #1',\n   [[['flask', 2], ['bow', 10], ['cape', 1], ['dagger', 2], ['anvil', 10], ['ember', 10]], 2, 10, 5],\n   ['flask', 'cape', 'dagger'])],\n [('fault site duration rounding #1',\n   [[['flask', 114], ['ember', 60], ['cape', 10], ['anvil', 5]], 2, 99, 169],\n   ['flask', 'ember', 'cape', 'anvil']),\n  ('regression duration rounding #1', [[['flask', 2], ['cape', 1]], 3, 25, 30], ['flask', 'cape']),\n  ('regression duration rounding #2',\n   [[['cape', 2], ['flask', 2], ['dagger', 32], ['anvil', 1]], 1, 10, 30],\n   ['cape', 'flask', 'dagger']),\n  ('regression duration rounding #3', [[['dagger', 2], ['flask', 1]], 2, 10, 148], ['dagger', 'flask']),\n  ('finish exactly now #1', [[['a', 30]], 1, 0, 30], ['a']),\n  ('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('control #1',\n   [[['flask', 2], ['bow', 10], ['cape', 1], ['dagger', 2], ['anvil', 10], ['ember', 10]], 2, 10, 5],\n   ['flask', 'cape', 'dagger']),\n  ('control #2',\n   [[['flask', 1], ['cape', 60], ['ember', 1], ['bow', 1], ['anvil', 2], ['dagger', 33]], 2, 25, 1],\n   ['flask'])],\n [('regression duration rounding #1',\n   [[['cape', 2], ['flask', 2], ['dagger', 32], ['anvil', 1]], 1, 10, 30],\n   ['cape', 'flask', 'dagger']),\n  ('regression duration rounding #2', [[['dagger', 2], ['flask', 1]], 2, 10, 148], ['dagger', 'flask']),\n  ('regression duration rounding #3', [[['dagger', 2], ['ember', 1]], 3, 25, 48], ['dagger', 'ember']),\n  ('regression duration rounding #4',\n   [[['ember', 2], ['cape', 2], ['dagger', 55], ['anvil', 1]], 3, 90, 5],\n   ['ember', 'cape', 'anvil', 'dagger']),\n  ('speed floor #1', [[['x', 1], ['y', 1]], 1, 90, 2], ['x', 'y']),\n  ('finish exactly now #1', [[['a', 30]], 1, 0, 30], ['a']),\n  ('control #1',\n   [[['flask', 1], ['cape', 60], ['ember', 1], ['bow', 1], ['anvil', 2], ['dagger', 33]], 2, 25, 1],\n   ['flask']),\n  ('control #2',\n   [[['anvil', 2], ['flask', 2], ['cape', 1], ['dagger', 103], ['ember', 5]], 2, 10, 60],\n   ['anvil', 'flask', 'cape', 'ember'])],\n [('fault site duration rounding #1',\n   [[['cape', 32], ['anvil', 1], ['flask', 1], ['ember', 5], ['bow', 10], ['dagger', 5]], 3, 50, 5],\n   ['anvil', 'flask', 'ember', 'dagger']),\n  ('regression duration rounding #1', [[['dagger', 2], ['ember', 1]], 3, 25, 48], ['dagger', 'ember']),\n  ('regression duration rounding #2',\n   [[['cape', 10], ['bow', 5], ['dagger', 38], ['anvil', 60]], 1, 90, 5],\n   ['cape', 'bow', 'dagger']),\n  ('regression duration rounding #3',\n   [[['bow', 5], ['anvil', 2], ['cape', 60], ['dagger', 60], ['ember', 44], ['flask', 2]], 1, 25, 5],\n   ['bow', 'anvil']),\n  ('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('speed floor #1', [[['x', 1], ['y', 1]], 1, 90, 2], ['x', 'y']),\n  ('control #1',\n   [[['dagger', 10], ['bow', 119], ['cape', 1], ['flask', 2], ['ember', 60], ['anvil', 5]], 1, 0, 60],\n   ['dagger']),\n  ('control #2', [[['dagger', 1], ['bow', 5]], 1, 99, 161], ['dagger', 'bow'])],\n [('regression duration rounding #1',\n   [[['ember', 2], ['cape', 2], ['dagger', 55], ['anvil', 1]], 3, 90, 5],\n   ['ember', 'cape', 'anvil', 'dagger']),\n  ('fault site duration rounding #1',\n   [[['anvil', 71], ['ember', 5], ['flask', 16], ['dagger', 60], ['cape', 88]], 3, 90, 60],\n   ['ember', 'flask', 'anvil', 'dagger', 'cape']),\n  ('regression duration rounding #2',\n   [[['anvil', 69], ['bow', 118], ['flask', 2], ['ember', 60], ['dagger', 1]], 3, 10, 1],\n   ['flask']),\n  ('regression duration rounding #3',\n   [[['flask', 17], ['bow', 1], ['dagger', 60], ['ember', 17]], 3, 90, 1],\n   ['flask', 'bow']),\n  ('finish exactly now #1', [[['a', 30]], 1, 0, 30], ['a']),\n  ('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('control #1',\n   [[['dagger', 60], ['flask', 1], ['anvil', 60], ['cape', 1], ['ember', 5], ['bow', 33]], 1, 99, 154],\n   ['dagger', 'flask', 'anvil', 'cape', 'ember', 'bow']),\n  ('control #2', [[['anvil', 2]], 3, 90, 1], ['anvil'])]]\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-station-queue-duration-rounding","generated_at":"2026-09-29T14:50:48.222130+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 effective duration is rounded up.","sha256":"0e8509a8c0f4f06e6a2a9975005a0b9398d39f63e5d6c7416fefdfb9ff6e8cad","title":"Crafting station queue: Sped-up durations round up · 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.06,"exit_code":1,"observations":[{"actual":["flask","anvil","dagger","bow","cape"],"check":"fault site duration rounding #1","expected":["flask","anvil","dagger","bow","cape"],"passed":true},{"actual":["ember"],"check":"regression duration rounding #1","expected":["ember","cape"],"passed":false},{"actual":["cape","flask"],"check":"regression duration rounding #2","expected":["flask","cape"],"passed":false},{"actual":["cape","flask"],"check":"regression duration rounding #3","expected":["cape","flask","dagger"],"passed":false},{"actual":["a","b","c"],"check":"two stations tie #1","expected":["a","b","c"],"passed":true},{"actual":["x","y"],"check":"speed floor #1","expected":["x","y"],"passed":true},{"actual":["a"],"check":"finish exactly now #1","expected":["a"],"passed":true},{"actual":["flask","cape","dagger"],"check":"control #1","expected":["flask","cape","dagger"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fault site duration rounding #1\", \"actual\": [\"flask\", \"anvil\", \"dagger\", \"bow\", \"cape\"], \"expected\": [\"flask\", \"anvil\", \"dagger\", \"bow\", \"cape\"], \"passed\": true}, {\"check\": \"regression duration rounding #1\", \"actual\": [\"ember\"], \"expected\": [\"ember\", \"cape\"], \"passed\": false}, {\"check\": \"regression duration rounding #2\", \"actual\": [\"cape\", \"flask\"], \"expected\": [\"flask\", \"cape\"], \"passed\": false}, {\"check\": \"regression duration rounding #3\", \"actual\": [\"cape\", \"flask\"], \"expected\": [\"cape\", \"flask\", \"dagger\"], \"passed\": false}, {\"check\": \"two stations tie #1\", \"actual\": [\"a\", \"b\", \"c\"], \"expected\": [\"a\", \"b\", \"c\"], \"passed\": true}, {\"check\": \"speed floor #1\", \"actual\": [\"x\", \"y\"], \"expected\": [\"x\", \"y\"], \"passed\": true}, {\"check\": \"finish exactly now #1\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [\"flask\", \"cape\", \"dagger\"], \"expected\": [\"flask\", \"cape\", \"dagger\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.984,"exit_code":1,"observations":[{"actual":["flask","anvil","bow","dagger","cape"],"check":"fault site duration rounding #1","expected":["flask","anvil","dagger","bow","cape"],"passed":false},{"actual":["ember"],"check":"regression duration rounding #1","expected":["ember","cape"],"passed":false},{"actual":["cape","flask"],"check":"regression duration rounding #2","expected":["flask","cape"],"passed":false},{"actual":["cape","flask"],"check":"regression duration rounding #3","expected":["cape","flask","dagger"],"passed":false},{"actual":["a","b","c"],"check":"two stations tie #1","expected":["a","b","c"],"passed":true},{"actual":["x","y"],"check":"speed floor #1","expected":["x","y"],"passed":true},{"actual":["a"],"check":"finish exactly now #1","expected":["a"],"passed":true},{"actual":["flask","cape","dagger"],"check":"control #1","expected":["flask","cape","dagger"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fault site duration rounding #1\", \"actual\": [\"flask\", \"anvil\", \"bow\", \"dagger\", \"cape\"], \"expected\": [\"flask\", \"anvil\", \"dagger\", \"bow\", \"cape\"], \"passed\": false}, {\"check\": \"regression duration rounding #1\", \"actual\": [\"ember\"], \"expected\": [\"ember\", \"cape\"], \"passed\": false}, {\"check\": \"regression duration rounding #2\", \"actual\": [\"cape\", \"flask\"], \"expected\": [\"flask\", \"cape\"], \"passed\": false}, {\"check\": \"regression duration rounding #3\", \"actual\": [\"cape\", \"flask\"], \"expected\": [\"cape\", \"flask\", \"dagger\"], \"passed\": false}, {\"check\": \"two stations tie #1\", \"actual\": [\"a\", \"b\", \"c\"], \"expected\": [\"a\", \"b\", \"c\"], \"passed\": true}, {\"check\": \"speed floor #1\", \"actual\": [\"x\", \"y\"], \"expected\": [\"x\", \"y\"], \"passed\": true}, {\"check\": \"finish exactly now #1\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"control #1\", \"actual\": [\"flask\", \"cape\", \"dagger\"], \"expected\": [\"flask\", \"cape\", \"dagger\"], \"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."}}