Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated

Compilation review records for integer thirteenth powers

../

compilation_grade: Pass with named corrections for the exact premise-relative review, with full findings and bounded compilation standing recorded.

compilation_review: Full six-result review relative to the identified external premises, with pre-directed attack selection disclosed and bounded standing recorded.

source_coverage: Pinned native subjects, source versions, actual visual coverage and regenerable reading aids for the completed six-result review.


The review retains every substantive six-result deduction, the two external interfaces, attacks and checklist. The coverage record pins nine mathematical pages, the separately scoped consumer and four PDFs. The grade retains all findings and the exact premise-relative compilation obligation.

These are renditions of completed reports, not new proof assessments. The grade's named corrections are documented without silently changing its assessed subject. The native transformation is accepted; the source account and six result pages record the bounded independent compilation review at the same checkpoint. That standing concerns the frozen statements and deductions relative to the identified literature premises, not independent proof of those premises or any broader manuscript or catalog conclusion.