Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the conditional polynomial-product route
verify/: Non-blind source reading and independent reconstruction review, grade and source provenance, with no accepted whole-proof credit.
The conditional route has a retained source-only reading and distinct grade. The record exposes the full conditional argument, its source conventions, actual five-page coverage and remaining fresh-review obligation.
No executable mathematical evidence is required for these algebraic checks. The source PDF is held by its library source card Bhalla (2026). Rendered images are disposable reading aids, not native proof inputs. This evidence confers no numerical tier, unconditional result or independently accepted whole-proof coverage.