Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the rainbow odd-cycle threshold
verify/: The second-cycle fidelity review and distinct grade of 2026-10-02 and the non-author clean gate of 2026-10-08, the current records for the kernel-only tier-2 standing of L17, beside the retained record of the first acceptance of 2026-09-25.
The verification records assess the exact formal statement
of L17. The current record,
statement_fidelity_2/, holds the
second-cycle fidelity review of 2026-10-02, verdict refutation-failed, the
distinct grade that asserts the tier and cites the non-author clean gate of
2026-09-29, and the reviewer's census scripts; the non-author clean gate of
2026-10-08, which the card's standing cites with that grade, is filed in
clean_gate/ with its receipt, log and wrapper.
The earlier record, statement_fidelity/,
holds the fidelity review, the distinct grade, the
acceptance warrant, the
native binding and the
clean-gate receipt of the first
acceptance of 2026-09-25 and is retained as an assessment of that subject; the
frozen English subject that review compared, four content-anchored extracts of
the claim card, the proof page and the Problem 809 page with the manifest that
regenerates them, is retained under assets/statement_fidelity/, outside the
wiki's pages. A review and grade do not by themselves establish a kernel gate or
promote the claim; each grade names the non-author clean gate it relied on.