Every submitted divergence and where it stands in the review queue. Submissions are adjudicated one at a time, in order. A valid, unique divergence is fixed in the engine and earns a leaderboard point; a duplicate of an already-fixed root cause does not.
| Submission | Author | Status | Verdict | Submitted |
|---|---|---|---|---|
| d198 library enum call-form arg | @danrobinson | Pending | — | Jul 14, 2026 |
| d200 contract-qualified inherited member (over-accept) | @danrobinson | Pending | — | Jul 14, 2026 |
| d203m3 ternary keccak storage bytes | @danrobinson | Pending | — | Jul 14, 2026 |
| d203m2 abi.decode of storage bytes | @danrobinson | Pending | — | Jul 14, 2026 |
| d204 push-after-dangling-write deep-clears (WS2 residue) | @danrobinson | In review | — | Jul 14, 2026 |
| API Smoke Test | @danrobinson | Rejected | NO_DIVERGENCE | Jul 14, 2026 |
| Submission 9bcf645aFixed in PR #2 | @danrobinson | Credited | COVERAGE_GAP | Jul 13, 2026 |
| Submission 0cf3ec53 | @danrobinson | Rejected | — | Jul 13, 2026 |
| PROD E2E: add(2,3) | @prod_e2e | Rejected | NO_DIVERGENCE | Jul 13, 2026 |