Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the thirteenth-power reconstruction
verify/: Full review, exact reading coverage and distinct grade with disclosed attack selection and an explicit premise-relative acceptance boundary.
The source digest owns six reconstructed proofs. Their compilation review, source coverage and distinct grade are retained here with exact subject identities and reading limits.
The grade is pass with named corrections relative to the two identified external literature premises. Attack selection was partly pre-directed; the deductions were independently derived. The native transformation is accepted. The seven source pages now record independent compilation review of their exact frozen statements, essential deductions and consumed interfaces, relative to those premises. The detailed report preserves the historical subjects, disclosure and limits of that standing.
No mathematical executable, copied PDF or retained render is required. This filing grants no native L-tier, catalog-status change, external proof coverage or formal verification.