{"abstract":"Dropped routes make surviving token weights sum to less than one.","category":"Mixture of experts dispatch","checks":6,"contract":"Routes [token,expert,weight] arrive in order; accept up to capacity per expert, then normalize each token’s accepted weights.","contract_signature":"routes,capacity","evaluation_group":"moe-postdrop-weight-normalization","failed_approach":"Filtering capacity correctly but retaining pre-drop normalized weights still leaves surviving token mass below one.","family":"w3-mixture-of-experts-dispatch-postdrop-normalization","id":"FA-100566","implementations":{"attempt":{"sha256":"d53bebf76a098621dd0c2817fd1a07838e21174f032fb3ac13ce10acdbd23b62","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(routes,capacity):\n    out=[]; c={}\n    for t,e,w in routes:\n     if c.get(e,0)<capacity: out.append([t,e,w]); c[e]=c.get(e,0)+1\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\na='a'+str(N); b='b'+str(N)\nc='c'+str(N); rows=[[0,a,2],[0,b,1],[1,a,3],[1,c,1]]\ncheck('survivors normalized',solve(rows,1),[[0,a,2/3],[0,b,1/3],[1,c,1.0]])\ncheck('two capacity',solve(rows,2),[[0,a,2/3],[0,b,1/3],[1,a,3/4],[1,c,1/4]])\ncheck('zero capacity',solve(rows,0),[])\ncheck('empty',solve([],N),[])\ncheck('one route',solve([[0,a,N]],1),[[0,a,1.0]])\ncheck('single token',solve([[0,a,1],[0,b,1]],N),[[0,a,0.5],[0,b,0.5]])\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":"20d5d05f83c7e187e3f92e279d552089b0503f47c7900d352c33e3faf06b4893","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(routes,capacity):\n    tot={}\n    for t,e,w in routes: tot[t]=tot.get(t,0)+w\n    normalized=[[t,e,w/tot[t]] for t,e,w in routes if tot[t]]\n    out=[]; c={}\n    for t,e,w in normalized:\n     if c.get(e,0)<capacity: out.append([t,e,w]); c[e]=c.get(e,0)+1\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\na='a'+str(N); b='b'+str(N)\nc='c'+str(N); rows=[[0,a,2],[0,b,1],[1,a,3],[1,c,1]]\ncheck('survivors normalized',solve(rows,1),[[0,a,2/3],[0,b,1/3],[1,c,1.0]])\ncheck('two capacity',solve(rows,2),[[0,a,2/3],[0,b,1/3],[1,a,3/4],[1,c,1/4]])\ncheck('zero capacity',solve(rows,0),[])\ncheck('empty',solve([],N),[])\ncheck('one route',solve([[0,a,N]],1),[[0,a,1.0]])\ncheck('single token',solve([[0,a,1],[0,b,1]],N),[[0,a,0.5],[0,b,0.5]])\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-postdrop-normalization","generated_at":"2026-09-30T16:48:37.194334+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 router normalizes each token’s route weights before capacity drops remove selected alternatives.","sha256":"fc0fa0d5438ad385d0104f607b6401fedb22c087333508f3e5cd5b04392004b2","title":"Dropped routes make surviving token weights sum to less than one · 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":34.396,"exit_code":1,"observations":[{"actual":[[0,"a1",2],[0,"b1",1],[1,"c1",1]],"check":"survivors normalized","expected":[[0,"a1",0.6666666666666666],[0,"b1",0.3333333333333333],[1,"c1",1.0]],"passed":false},{"actual":[[0,"a1",2],[0,"b1",1],[1,"a1",3],[1,"c1",1]],"check":"two capacity","expected":[[0,"a1",0.6666666666666666],[0,"b1",0.3333333333333333],[1,"a1",0.75],[1,"c1",0.25]],"passed":false},{"actual":[],"check":"zero capacity","expected":[],"passed":true},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":[[0,"a1",1]],"check":"one route","expected":[[0,"a1",1.0]],"passed":true},{"actual":[[0,"a1",1],[0,"b1",1]],"check":"single token","expected":[[0,"a1",0.5],[0,"b1",0.5]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"survivors normalized\", \"actual\": [[0, \"a1\", 2], [0, \"b1\", 1], [1, \"c1\", 1]], \"expected\": [[0, \"a1\", 0.6666666666666666], [0, \"b1\", 0.3333333333333333], [1, \"c1\", 1.0]], \"passed\": false}, {\"check\": \"two capacity\", \"actual\": [[0, \"a1\", 2], [0, \"b1\", 1], [1, \"a1\", 3], [1, \"c1\", 1]], \"expected\": [[0, \"a1\", 0.6666666666666666], [0, \"b1\", 0.3333333333333333], [1, \"a1\", 0.75], [1, \"c1\", 0.25]], \"passed\": false}, {\"check\": \"zero capacity\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"one route\", \"actual\": [[0, \"a1\", 1]], \"expected\": [[0, \"a1\", 1.0]], \"passed\": true}, {\"check\": \"single token\", \"actual\": [[0, \"a1\", 1], [0, \"b1\", 1]], \"expected\": [[0, \"a1\", 0.5], [0, \"b1\", 0.5]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":30.263,"exit_code":1,"observations":[{"actual":[[0,"a1",0.6666666666666666],[0,"b1",0.3333333333333333],[1,"c1",0.25]],"check":"survivors normalized","expected":[[0,"a1",0.6666666666666666],[0,"b1",0.3333333333333333],[1,"c1",1.0]],"passed":false},{"actual":[[0,"a1",0.6666666666666666],[0,"b1",0.3333333333333333],[1,"a1",0.75],[1,"c1",0.25]],"check":"two capacity","expected":[[0,"a1",0.6666666666666666],[0,"b1",0.3333333333333333],[1,"a1",0.75],[1,"c1",0.25]],"passed":true},{"actual":[],"check":"zero capacity","expected":[],"passed":true},{"actual":[],"check":"empty","expected":[],"passed":true},{"actual":[[0,"a1",1.0]],"check":"one route","expected":[[0,"a1",1.0]],"passed":true},{"actual":[[0,"a1",0.5],[0,"b1",0.5]],"check":"single token","expected":[[0,"a1",0.5],[0,"b1",0.5]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"survivors normalized\", \"actual\": [[0, \"a1\", 0.6666666666666666], [0, \"b1\", 0.3333333333333333], [1, \"c1\", 0.25]], \"expected\": [[0, \"a1\", 0.6666666666666666], [0, \"b1\", 0.3333333333333333], [1, \"c1\", 1.0]], \"passed\": false}, {\"check\": \"two capacity\", \"actual\": [[0, \"a1\", 0.6666666666666666], [0, \"b1\", 0.3333333333333333], [1, \"a1\", 0.75], [1, \"c1\", 0.25]], \"expected\": [[0, \"a1\", 0.6666666666666666], [0, \"b1\", 0.3333333333333333], [1, \"a1\", 0.75], [1, \"c1\", 0.25]], \"passed\": true}, {\"check\": \"zero capacity\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"empty\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"one route\", \"actual\": [[0, \"a1\", 1.0]], \"expected\": [[0, \"a1\", 1.0]], \"passed\": true}, {\"check\": \"single token\", \"actual\": [[0, \"a1\", 0.5], [0, \"b1\", 0.5]], \"expected\": [[0, \"a1\", 0.5], [0, \"b1\", 0.5]], \"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."}}