{"abstract":"A long job blocks its station while another sits idle.","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":"Keying on station index first always selects station zero.","family":"w2-game-economy-crafting-balance-station-queue-station-selection","id":"FA-86291","implementations":{"attempt":{"sha256":"bc40624b33f2440aeca46c8163a01a2acc319211689736c7e44dd3e645af50ec","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: (k, free[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 = [[('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('regression station selection #1',\n   [[['flask', 2], ['bow', 10], ['cape', 1], ['dagger', 2], ['anvil', 10], ['ember', 10]], 2, 10, 5],\n   ['flask', 'cape', 'dagger']),\n  ('regression station selection #2',\n   [[['cape', 1], ['dagger', 73], ['bow', 1], ['anvil', 2], ['flask', 5], ['ember', 32]], 2, 0, 5],\n   ['cape', 'bow', 'anvil']),\n  ('partial repair boundary #1',\n   [[['anvil', 2], ['flask', 2], ['cape', 1], ['dagger', 103], ['ember', 5]], 2, 10, 60],\n   ['anvil', 'flask', 'cape', 'ember']),\n  ('partial repair boundary #2',\n   [[['anvil', 10], ['bow', 1], ['dagger', 10], ['cape', 60]], 2, 25, 1],\n   ['bow']),\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 [('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('regression station selection #1',\n   [[['anvil', 2], ['cape', 60], ['bow', 5], ['ember', 1]], 2, 50, 5],\n   ['anvil', 'bow', 'ember']),\n  ('regression station selection #2',\n   [[['flask', 5], ['bow', 10], ['anvil', 1], ['dagger', 2], ['cape', 78]], 2, 50, 208],\n   ['flask', 'anvil', 'dagger', 'bow', 'cape']),\n  ('partial repair boundary #1',\n   [[['anvil', 2], ['flask', 2], ['cape', 1], ['dagger', 103], ['ember', 5]], 2, 10, 60],\n   ['anvil', 'flask', 'cape', 'ember']),\n  ('partial repair boundary #2',\n   [[['anvil', 10], ['bow', 1], ['dagger', 10], ['cape', 60]], 2, 25, 1],\n   ['bow']),\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 [('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('regression station selection #1',\n   [[['bow', 60], ['anvil', 60], ['ember', 5], ['dagger', 5]], 3, 0, 133],\n   ['ember', 'dagger', 'bow', 'anvil']),\n  ('regression station selection #2',\n   [[['dagger', 1], ['anvil', 100], ['ember', 60], ['bow', 1], ['flask', 1], ['cape', 5]], 3, 0, 30],\n   ['dagger', 'bow', 'flask', 'cape']),\n  ('regression station selection #3',\n   [[['cape', 1], ['dagger', 73], ['bow', 1], ['anvil', 2], ['flask', 5], ['ember', 32]], 2, 0, 5],\n   ['cape', 'bow', 'anvil']),\n  ('partial repair boundary #1',\n   [[['anvil', 10], ['bow', 60], ['cape', 10]], 2, 50, 260],\n   ['anvil', 'cape', 'bow']),\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 [('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('regression station selection #1',\n   [[['bow', 1], ['anvil', 60], ['flask', 2], ['dagger', 1], ['ember', 1]], 2, 50, 5],\n   ['bow', 'flask', 'dagger', 'ember']),\n  ('regression station selection #2',\n   [[['ember', 60], ['anvil', 1], ['dagger', 1], ['cape', 1], ['bow', 1], ['flask', 2]], 2, 90, 60],\n   ['anvil', 'dagger', 'cape', 'bow', 'flask', 'ember']),\n  ('regression station selection #3',\n   [[['anvil', 2], ['cape', 60], ['bow', 5], ['ember', 1]], 2, 50, 5],\n   ['anvil', 'bow', 'ember']),\n  ('regression station selection #4',\n   [[['flask', 5], ['bow', 10], ['anvil', 1], ['dagger', 2], ['cape', 78]], 2, 50, 208],\n   ['flask', 'anvil', 'dagger', 'bow', 'cape']),\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   [[['dagger', 10], ['bow', 119], ['cape', 1], ['flask', 2], ['ember', 60], ['anvil', 5]], 1, 0, 60],\n   ['dagger'])],\n [('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('regression station selection #1',\n   [[['anvil', 10], ['dagger', 19], ['flask', 2], ['cape', 60], ['ember', 90], ['bow', 5]], 3, 25, 60],\n   ['flask', 'anvil', 'dagger', 'bow', 'cape']),\n  ('regression station selection #2',\n   [[['ember', 10], ['cape', 60], ['bow', 1], ['flask', 5], ['dagger', 1], ['anvil', 2]], 2, 0, 30],\n   ['ember', 'bow', 'flask', 'dagger', 'anvil']),\n  ('partial repair boundary #1', [[['ember', 1], ['cape', 1], ['bow', 60]], 3, 50, 1], ['ember', 'cape']),\n  ('regression station selection #3',\n   [[['bow', 60], ['anvil', 60], ['ember', 5], ['dagger', 5]], 3, 0, 133],\n   ['ember', 'dagger', 'bow', 'anvil']),\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', [[['dagger', 1], ['bow', 5]], 1, 99, 161], ['dagger', 'bow'])]]\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":"5d3ebad27d8a2e383d61e3e1da81c3eae9548eb8b3ef089ad8e3990a3cf70b4a","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 = idx % stations\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 = [[('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('regression station selection #1',\n   [[['flask', 2], ['bow', 10], ['cape', 1], ['dagger', 2], ['anvil', 10], ['ember', 10]], 2, 10, 5],\n   ['flask', 'cape', 'dagger']),\n  ('regression station selection #2',\n   [[['cape', 1], ['dagger', 73], ['bow', 1], ['anvil', 2], ['flask', 5], ['ember', 32]], 2, 0, 5],\n   ['cape', 'bow', 'anvil']),\n  ('partial repair boundary #1',\n   [[['anvil', 2], ['flask', 2], ['cape', 1], ['dagger', 103], ['ember', 5]], 2, 10, 60],\n   ['anvil', 'flask', 'cape', 'ember']),\n  ('partial repair boundary #2',\n   [[['anvil', 10], ['bow', 1], ['dagger', 10], ['cape', 60]], 2, 25, 1],\n   ['bow']),\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 [('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('regression station selection #1',\n   [[['anvil', 2], ['cape', 60], ['bow', 5], ['ember', 1]], 2, 50, 5],\n   ['anvil', 'bow', 'ember']),\n  ('regression station selection #2',\n   [[['flask', 5], ['bow', 10], ['anvil', 1], ['dagger', 2], ['cape', 78]], 2, 50, 208],\n   ['flask', 'anvil', 'dagger', 'bow', 'cape']),\n  ('partial repair boundary #1',\n   [[['anvil', 2], ['flask', 2], ['cape', 1], ['dagger', 103], ['ember', 5]], 2, 10, 60],\n   ['anvil', 'flask', 'cape', 'ember']),\n  ('partial repair boundary #2',\n   [[['anvil', 10], ['bow', 1], ['dagger', 10], ['cape', 60]], 2, 25, 1],\n   ['bow']),\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 [('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('regression station selection #1',\n   [[['bow', 60], ['anvil', 60], ['ember', 5], ['dagger', 5]], 3, 0, 133],\n   ['ember', 'dagger', 'bow', 'anvil']),\n  ('regression station selection #2',\n   [[['dagger', 1], ['anvil', 100], ['ember', 60], ['bow', 1], ['flask', 1], ['cape', 5]], 3, 0, 30],\n   ['dagger', 'bow', 'flask', 'cape']),\n  ('regression station selection #3',\n   [[['cape', 1], ['dagger', 73], ['bow', 1], ['anvil', 2], ['flask', 5], ['ember', 32]], 2, 0, 5],\n   ['cape', 'bow', 'anvil']),\n  ('partial repair boundary #1',\n   [[['anvil', 10], ['bow', 60], ['cape', 10]], 2, 50, 260],\n   ['anvil', 'cape', 'bow']),\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 [('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('regression station selection #1',\n   [[['bow', 1], ['anvil', 60], ['flask', 2], ['dagger', 1], ['ember', 1]], 2, 50, 5],\n   ['bow', 'flask', 'dagger', 'ember']),\n  ('regression station selection #2',\n   [[['ember', 60], ['anvil', 1], ['dagger', 1], ['cape', 1], ['bow', 1], ['flask', 2]], 2, 90, 60],\n   ['anvil', 'dagger', 'cape', 'bow', 'flask', 'ember']),\n  ('regression station selection #3',\n   [[['anvil', 2], ['cape', 60], ['bow', 5], ['ember', 1]], 2, 50, 5],\n   ['anvil', 'bow', 'ember']),\n  ('regression station selection #4',\n   [[['flask', 5], ['bow', 10], ['anvil', 1], ['dagger', 2], ['cape', 78]], 2, 50, 208],\n   ['flask', 'anvil', 'dagger', 'bow', 'cape']),\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   [[['dagger', 10], ['bow', 119], ['cape', 1], ['flask', 2], ['ember', 60], ['anvil', 5]], 1, 0, 60],\n   ['dagger'])],\n [('two stations tie #1', [[['a', 10], ['b', 10], ['c', 5]], 2, 0, 15], ['a', 'b', 'c']),\n  ('regression station selection #1',\n   [[['anvil', 10], ['dagger', 19], ['flask', 2], ['cape', 60], ['ember', 90], ['bow', 5]], 3, 25, 60],\n   ['flask', 'anvil', 'dagger', 'bow', 'cape']),\n  ('regression station selection #2',\n   [[['ember', 10], ['cape', 60], ['bow', 1], ['flask', 5], ['dagger', 1], ['anvil', 2]], 2, 0, 30],\n   ['ember', 'bow', 'flask', 'dagger', 'anvil']),\n  ('partial repair boundary #1', [[['ember', 1], ['cape', 1], ['bow', 60]], 3, 50, 1], ['ember', 'cape']),\n  ('regression station selection #3',\n   [[['bow', 60], ['anvil', 60], ['ember', 5], ['dagger', 5]], 3, 0, 133],\n   ['ember', 'dagger', 'bow', 'anvil']),\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', [[['dagger', 1], ['bow', 5]], 1, 99, 161], ['dagger', 'bow'])]]\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-station-selection","generated_at":"2026-09-29T14:50:48.230509+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":"Stations are assigned by queue position rather than earliest free time.","sha256":"f9956cfc125a47e7ef6a6a18e61c23f6c1f9461423c97267a6defcafa2ae59d9","title":"Crafting station queue: Jobs are dealt round-robin · 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.619,"exit_code":1,"observations":[{"actual":["a"],"check":"two stations tie #1","expected":["a","b","c"],"passed":false},{"actual":["flask"],"check":"regression station selection #1","expected":["flask","cape","dagger"],"passed":false},{"actual":["cape"],"check":"regression station selection #2","expected":["cape","bow","anvil"],"passed":false},{"actual":["anvil","flask","cape"],"check":"partial repair boundary #1","expected":["anvil","flask","cape","ember"],"passed":false},{"actual":[],"check":"partial repair boundary #2","expected":["bow"],"passed":false},{"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"],"check":"control #1","expected":["flask"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"two stations tie #1\", \"actual\": [\"a\"], \"expected\": [\"a\", \"b\", \"c\"], \"passed\": false}, {\"check\": \"regression station selection #1\", \"actual\": [\"flask\"], \"expected\": [\"flask\", \"cape\", \"dagger\"], \"passed\": false}, {\"check\": \"regression station selection #2\", \"actual\": [\"cape\"], \"expected\": [\"cape\", \"bow\", \"anvil\"], \"passed\": false}, {\"check\": \"partial repair boundary #1\", \"actual\": [\"anvil\", \"flask\", \"cape\"], \"expected\": [\"anvil\", \"flask\", \"cape\", \"ember\"], \"passed\": false}, {\"check\": \"partial repair boundary #2\", \"actual\": [], \"expected\": [\"bow\"], \"passed\": false}, {\"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\"], \"expected\": [\"flask\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.354,"exit_code":1,"observations":[{"actual":["a","b","c"],"check":"two stations tie #1","expected":["a","b","c"],"passed":true},{"actual":["flask","cape"],"check":"regression station selection #1","expected":["flask","cape","dagger"],"passed":false},{"actual":["cape","bow"],"check":"regression station selection #2","expected":["cape","bow","anvil"],"passed":false},{"actual":["anvil","flask","cape","ember"],"check":"partial repair boundary #1","expected":["anvil","flask","cape","ember"],"passed":true},{"actual":["bow"],"check":"partial repair boundary #2","expected":["bow"],"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"],"check":"control #1","expected":["flask"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"two stations tie #1\", \"actual\": [\"a\", \"b\", \"c\"], \"expected\": [\"a\", \"b\", \"c\"], \"passed\": true}, {\"check\": \"regression station selection #1\", \"actual\": [\"flask\", \"cape\"], \"expected\": [\"flask\", \"cape\", \"dagger\"], \"passed\": false}, {\"check\": \"regression station selection #2\", \"actual\": [\"cape\", \"bow\"], \"expected\": [\"cape\", \"bow\", \"anvil\"], \"passed\": false}, {\"check\": \"partial repair boundary #1\", \"actual\": [\"anvil\", \"flask\", \"cape\", \"ember\"], \"expected\": [\"anvil\", \"flask\", \"cape\", \"ember\"], \"passed\": true}, {\"check\": \"partial repair boundary #2\", \"actual\": [\"bow\"], \"expected\": [\"bow\"], \"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\"], \"expected\": [\"flask\"], \"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."}}