Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Dyadic-root completeness examination and grade
grade: Pass grades for the frozen single-ray dyadic-root examination and its existential-base consequence. Adjudicates the disclosed source-record exposure, the complete report contract, and the exact external-premise boundary, with historical-record and proof-inspection limits.
report: Adversarial examination of the dyadic-root single-ray theorem, arbitrary finite deletions, and the existential-base consequence for E0354(ii), using the accepted indexed dyadic theorem. Records the exact source boundary and an exposure requiring a distinct grader's materiality ruling.
The examination and its separate grade, dated 2026-10-14, accept the single-ray theorem with arbitrary finite deletion and its fixed-base consequence for the existential reading of Problem 354(ii), each with verdict refutation-failed. The reviewer and distinct grader each disclosed GPT-6 Astra and worked in fresh, isolated contexts. Their work is credited to Plasma AI. The grade supplies the tier-1 warrant recorded on L33.
The reviewer over-read source-proof and acceptance prose during a narrow dependency check. The grader ruled that exposure immaterial to both conclusions, with the content comparison and historical-record limits retained in the grade. No full imported-proof audit, new kernel replay, universal-base result or whole Problem 349 classification is accepted.
The subject manifest identifies all five snapshots and their freeze at 2026-10-14T17:08:39.381721Z. The complete argument is the examined D1 extraction; L33's canonical proof restates the same deduction. The report, grade and all snapshots retain their delivered mathematical text unchanged. Wiki metadata and generated navigation are the only publication additions. The proof and exact attacks are noncomputational; no mathematical executable is required.