{"abstract":"Dropped token IDs vanish from the dispatch result.","category":"Mixture of experts dispatch","checks":7,"contract":"Given ranked token choices and per-expert capacity, return assignments plus dropped token IDs; try each choice until a slot is available.","contract_signature":"choices,capacity","evaluation_group":"moe-drop-accounting","failed_approach":"The attempted admission fix accounts for capacity overflow but never tries a token’s alternate expert.","family":"w3-mixture-of-experts-dispatch-token-drop-report","id":"FA-100611","implementations":{"attempt":{"sha256":"7c2adae4a05bdfb2a7cc3368d5b22a199f4e5c8910dca9df5b5ef3bf7d3497cb","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(choices,capacity):\n    out=[]; dropped=[]; used={}\n    for i,row in enumerate(choices):\n     if not row: dropped.append(i); continue\n     e=sorted(row,key=lambda x:(-x[1],x[0]))[0][0]\n     if used.get(e,0)<capacity: out.append([i,e]); used[e]=used.get(e,0)+1\n     else: dropped.append(i)\n    return [out,dropped]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ne='e'+str(N); f='f'+str(N); rows=[[(e,2)],[(e,1)],[],[(f,3)]]\ncheck('overflow listed',solve(rows,1),[[[0,e],[3,f]],[1,2]])\ncheck('attempt needs fallback',solve([[(e,4),(f,3)],[(e,2),(f,1)]],1),[[[0,e],[1,f]],[]])\ncheck('all capacity',solve(rows,4),[[[0,e],[1,e],[3,f]],[2]])\ncheck('zero capacity',solve(rows,0),[[],[0,1,2,3]])\ncheck('empty batch',solve([],N),[[],[]])\ncheck('all empty',solve([[],[]],1),[[],[0,1]])\ncheck('fallback route',solve([[(e,5),(f,4)],[(e,3),(f,2)]],1),[[[0,e],[1,f]],[]])\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":"ff550a91015f057784b87c7d7cac53b1e0e433f0b833430d4d3f3bdcae79147c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(choices,capacity):\n    out=[]\n    for i,row in enumerate(choices):\n     if row: out.append([i,sorted(row,key=lambda x:(-x[1],x[0]))[0][0]])\n    return [out,[]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ne='e'+str(N); f='f'+str(N); rows=[[(e,2)],[(e,1)],[],[(f,3)]]\ncheck('overflow listed',solve(rows,1),[[[0,e],[3,f]],[1,2]])\ncheck('attempt needs fallback',solve([[(e,4),(f,3)],[(e,2),(f,1)]],1),[[[0,e],[1,f]],[]])\ncheck('all capacity',solve(rows,4),[[[0,e],[1,e],[3,f]],[2]])\ncheck('zero capacity',solve(rows,0),[[],[0,1,2,3]])\ncheck('empty batch',solve([],N),[[],[]])\ncheck('all empty',solve([[],[]],1),[[],[0,1]])\ncheck('fallback route',solve([[(e,5),(f,4)],[(e,3),(f,2)]],1),[[[0,e],[1,f]],[]])\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":"Inputs are finite toy scores and routes; the contract does not model a production model, accelerator, or learned routing quality. 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":"w3-mixture-of-experts-dispatch-token-drop-report","generated_at":"2026-09-30T16:48:37.646328+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A deterministic toy router makes this dispatch decision independently inspectable.","root_cause":"The output reports only successful assignments without explicit dropped tokens.","sha256":"1ba070b773d4ff2a9f2d7174147510d118de1fc8374c512ce95a47219b9e4692","title":"Dropped token IDs vanish from the dispatch result · case 01","variant":1,"variant_policy":"The fixture code references N, supplied as 1 through 5. Fixed boundary checks may repeat. These records share one mechanism and must remain together in evaluation splits.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":30.607,"exit_code":1,"observations":[{"actual":[[[0,"e1"],[3,"f1"]],[1,2]],"check":"overflow listed","expected":[[[0,"e1"],[3,"f1"]],[1,2]],"passed":true},{"actual":[[[0,"e1"]],[1]],"check":"attempt needs fallback","expected":[[[0,"e1"],[1,"f1"]],[]],"passed":false},{"actual":[[[0,"e1"],[1,"e1"],[3,"f1"]],[2]],"check":"all capacity","expected":[[[0,"e1"],[1,"e1"],[3,"f1"]],[2]],"passed":true},{"actual":[[],[0,1,2,3]],"check":"zero capacity","expected":[[],[0,1,2,3]],"passed":true},{"actual":[[],[]],"check":"empty batch","expected":[[],[]],"passed":true},{"actual":[[],[0,1]],"check":"all empty","expected":[[],[0,1]],"passed":true},{"actual":[[[0,"e1"]],[1]],"check":"fallback route","expected":[[[0,"e1"],[1,"f1"]],[]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"overflow listed\", \"actual\": [[[0, \"e1\"], [3, \"f1\"]], [1, 2]], \"expected\": [[[0, \"e1\"], [3, \"f1\"]], [1, 2]], \"passed\": true}, {\"check\": \"attempt needs fallback\", \"actual\": [[[0, \"e1\"]], [1]], \"expected\": [[[0, \"e1\"], [1, \"f1\"]], []], \"passed\": false}, {\"check\": \"all capacity\", \"actual\": [[[0, \"e1\"], [1, \"e1\"], [3, \"f1\"]], [2]], \"expected\": [[[0, \"e1\"], [1, \"e1\"], [3, \"f1\"]], [2]], \"passed\": true}, {\"check\": \"zero capacity\", \"actual\": [[], [0, 1, 2, 3]], \"expected\": [[], [0, 1, 2, 3]], \"passed\": true}, {\"check\": \"empty batch\", \"actual\": [[], []], \"expected\": [[], []], \"passed\": true}, {\"check\": \"all empty\", \"actual\": [[], [0, 1]], \"expected\": [[], [0, 1]], \"passed\": true}, {\"check\": \"fallback route\", \"actual\": [[[0, \"e1\"]], [1]], \"expected\": [[[0, \"e1\"], [1, \"f1\"]], []], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":28.93,"exit_code":1,"observations":[{"actual":[[[0,"e1"],[1,"e1"],[3,"f1"]],[]],"check":"overflow listed","expected":[[[0,"e1"],[3,"f1"]],[1,2]],"passed":false},{"actual":[[[0,"e1"],[1,"e1"]],[]],"check":"attempt needs fallback","expected":[[[0,"e1"],[1,"f1"]],[]],"passed":false},{"actual":[[[0,"e1"],[1,"e1"],[3,"f1"]],[]],"check":"all capacity","expected":[[[0,"e1"],[1,"e1"],[3,"f1"]],[2]],"passed":false},{"actual":[[[0,"e1"],[1,"e1"],[3,"f1"]],[]],"check":"zero capacity","expected":[[],[0,1,2,3]],"passed":false},{"actual":[[],[]],"check":"empty batch","expected":[[],[]],"passed":true},{"actual":[[],[]],"check":"all empty","expected":[[],[0,1]],"passed":false},{"actual":[[[0,"e1"],[1,"e1"]],[]],"check":"fallback route","expected":[[[0,"e1"],[1,"f1"]],[]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"overflow listed\", \"actual\": [[[0, \"e1\"], [1, \"e1\"], [3, \"f1\"]], []], \"expected\": [[[0, \"e1\"], [3, \"f1\"]], [1, 2]], \"passed\": false}, {\"check\": \"attempt needs fallback\", \"actual\": [[[0, \"e1\"], [1, \"e1\"]], []], \"expected\": [[[0, \"e1\"], [1, \"f1\"]], []], \"passed\": false}, {\"check\": \"all capacity\", \"actual\": [[[0, \"e1\"], [1, \"e1\"], [3, \"f1\"]], []], \"expected\": [[[0, \"e1\"], [1, \"e1\"], [3, \"f1\"]], [2]], \"passed\": false}, {\"check\": \"zero capacity\", \"actual\": [[[0, \"e1\"], [1, \"e1\"], [3, \"f1\"]], []], \"expected\": [[], [0, 1, 2, 3]], \"passed\": false}, {\"check\": \"empty batch\", \"actual\": [[], []], \"expected\": [[], []], \"passed\": true}, {\"check\": \"all empty\", \"actual\": [[], []], \"expected\": [[], [0, 1]], \"passed\": false}, {\"check\": \"fallback route\", \"actual\": [[[0, \"e1\"], [1, \"e1\"]], []], \"expected\": [[[0, \"e1\"], [1, \"f1\"]], []], \"passed\": false}], \"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."}}