Published, not buried. A miss listed here is a miss being worked. A miss hidden is a lie.

Open misses

• C++ and Rust: nothing. No corpus, no GT, no legs. Wave D authorized, queued. Open
• TS correctness sprays. 26 FPs at 31/26/7; recursion over-fire fixed, re-measure pending. Open
• CodeQL has no Rust pack. Semgrep-class stands in when Rust legs run. Not our gap to fix; stated so nobody mistakes the column. Structural
• No generated test pairs yet. Findings carry a described adversarial scenario, not an executable fails-here/passes-there test file. Claimed otherwise on this site for one evening; corrected 2026-09-04. Open
• Correctness incumbents are off-lane. CodeQL and SonarQube are security tools graded on correctness bugs; their lows measure incidental coverage, not quality. Tables labeled accordingly. Structural

Closed misses

• Go correctness zero (0/4/33). Family engines fired nothing. Wave C detectors closed it to 33/8/0 — with the GT-informed disclosure attached. 2026-09-04.
• Java correctness zero (0/3/33). Same story, closed to 33/4/0, recall 1.0, same disclosure. 2026-09-04.
• SonarQube server dead. Found dead mid-Wave-A, restarted from pinned image, legs run. Reported, not hidden. 2026-09-04.
• Circular 0.9315. Self-scored correctness number, refused and never cited again. The refusal is the credential. 2026-09-03.