{"abstract":"Accumulation flushes when the threshold is reached rather than exceeded.","category":"Gradient accumulation weighting","checks":7,"contract":"Flush is due once a positive configured example threshold has been reached, including exact equality.","contract_signature":"count, threshold","evaluation_group":"gradient-accumulation-window_trigger","failed_approach":"Rejecting equality delays a full window; nonpositive thresholds are not valid flush triggers.","family":"w3-gradient-accumulation-weighting-window-trigger","id":"FA-98916","implementations":{"attempt":{"sha256":"574b37cced0f6bfd10792e2075d1b862f615b5bc5e3652bd92f87068af88b5ac","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(count, threshold):\n    return count >= threshold\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('exact boundary',solve(N,N),True)\ncheck('below boundary',solve(N-1,N),False)\ncheck('above boundary',solve(N+1,N),True)\ncheck('threshold one',solve(1,1),True)\ncheck('zero threshold',solve(0,0),False)\ncheck('empty count',solve(0,N),False)\ncheck('larger count',solve(3*N,2*N),True)\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":"1fe5abfe5257ce200fe03b88744a0a2012d875190885c1425ffc6f277d085292","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(count, threshold):\n    return count > threshold\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('exact boundary',solve(N,N),True)\ncheck('below boundary',solve(N-1,N),False)\ncheck('above boundary',solve(N+1,N),True)\ncheck('threshold one',solve(1,1),True)\ncheck('zero threshold',solve(0,0),False)\ncheck('empty count',solve(0,N),False)\ncheck('larger count',solve(3*N,2*N),True)\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 scalar or short-list summaries and do not model autodiff, devices, or an optimizer. 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-gradient-accumulation-weighting-window-trigger","generated_at":"2026-09-30T16:48:18.065151+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A deterministic toy model isolates one local accumulation contract.","root_cause":"The broken trigger waits until count strictly exceeds the threshold.","sha256":"4743bf64139b3cced76d1b8e40a0875432cdce69bfa84f535197fbdbeb49cd85","title":"Accumulation flushes when the threshold is reached rather than exceeded · 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":32.585,"exit_code":1,"observations":[{"actual":true,"check":"exact boundary","expected":true,"passed":true},{"actual":false,"check":"below boundary","expected":false,"passed":true},{"actual":true,"check":"above boundary","expected":true,"passed":true},{"actual":true,"check":"threshold one","expected":true,"passed":true},{"actual":true,"check":"zero threshold","expected":false,"passed":false},{"actual":false,"check":"empty count","expected":false,"passed":true},{"actual":true,"check":"larger count","expected":true,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"exact boundary\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"below boundary\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"above boundary\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"threshold one\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"zero threshold\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"empty count\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"larger count\", \"actual\": true, \"expected\": true, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":28.073,"exit_code":1,"observations":[{"actual":false,"check":"exact boundary","expected":true,"passed":false},{"actual":false,"check":"below boundary","expected":false,"passed":true},{"actual":true,"check":"above boundary","expected":true,"passed":true},{"actual":false,"check":"threshold one","expected":true,"passed":false},{"actual":false,"check":"zero threshold","expected":false,"passed":true},{"actual":false,"check":"empty count","expected":false,"passed":true},{"actual":true,"check":"larger count","expected":true,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"exact boundary\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"below boundary\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"above boundary\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"threshold one\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"zero threshold\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"empty count\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"larger count\", \"actual\": true, \"expected\": true, \"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."}}