Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Conditional-argument reading and reconstruction reviews
conditional_argument_grade: Pass with named corrections solely for a disclosed non-blind source reading; full findings, exact subjects and no whole-claim tier credit.
conditional_argument_reading: Full conditional checks and checklist from a disclosed non-blind source reading, with exact subject provenance and no tier-bearing acceptance.
source_reading: Exact Bhalla PDF identity, five-page visual coverage, non-blind exposure and disposable rendering instructions for the retained reading.
source_reconstruction_grade: Preserves the complete independent grade, re-review, findings and exact C1--C7 correction mapping, with documentary adjudication separately attributed.
source_reconstruction_review: Preserves the complete independent source-proof review, its attacks, findings and four required corrections, with later C1--C7 compilation decisions separately attributed.
source_reconstruction_source_reading: Names the retained Bhalla PDF, the independent review subjects and their exact native successor, and maps only the seven accepted documentary corrections.
The mathematical reading retains the conditional deductions, attacks and checklist. The source-reading record identifies the exact manuscript and actual visual coverage. The distinct grade is pass with named corrections solely for disclosed non-blind source-only reading. These records are not a tier-bearing whole-claim review.
The independent review and the distinct grade preserve a separate fresh-context assessment of the three reconstruction pages, each reporting faithful with corrections. The source-reading record names their exact reviewed-v1 subjects and maps the seven merged corrections to the current pages.
The lead remains unreviewed. A fresh-context whole-argument review is required before independently accepted proof coverage or stronger standing is asserted. Filing the existing record is not a new review cycle.