Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Independent grading-eligibility assessment
exhibits/: The exact unrelated-claim excerpt considered by the independent eligibility ruling; it supplies no premise of the cubic theorem.
keeper: Independent derivation and adversarial alternatives behind the two focused grading-eligibility rulings.
report: Separate content-based independence rulings for the terminal cubic and endpoint-cancellation grades examined on 2026-10-15.
The report and keeper were filed without changing their findings. They concern the exact terminal grades examined on 2026-10-15 UTC. The cubic grade has no demonstrated display of the suspected unrelated-status content. The endpoint-cancellation grade had an actual exposure, ruled immaterial to its substantive grading findings. Neither decision supplies a new whole-contract mathematical PASS.
The original excerpt of the consequential unrelated display is retained as an exhibit. Operational originals and the independent administrative parsers remain private custody, as the report states; no mathematical computation relies on them. These eligibility findings resolve the distinct independence questions, not any still-missing mathematical coverage or grading.