Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Examination and unaccepted grade of endpoint cancellation
grade: Whole-contract grading of the frozen cancellation examination, retaining full mathematical findings while withholding acceptance pending a distinct ruling on the grader's disclosed exposure.
ideal_comparison: Independent arbitrary-tuple, concentrated-cell, and probe-cancellation checks for the ideal comparison operator.
mellin_cancellation: Independent full-endpoint reduction to local Mellin energy, including short rough intervals and sparse exceptional times.
memory_transfer: Independent reconstruction and collision attacks for the dilation-memory transfer used in endpoint cancellation.
reconstruction: Retained inputs and a noncomputational reconstruction route for the whole-statement endpoint cancellation examination.
report: Independent adversarial examination of the full endpoint cancellation theorem, its source-proof reconstruction, and its signed application interface.
The examination, reconstruction route,
memory-transfer derivation,
ideal comparison and
Mellin derivation concern the full endpoint premise
P and its signed application, frozen on 2026-10-15 at 14:29 UTC, extracted
at 15:09:22 UTC and examined that day. The three supplied mathematical inputs
are retained under evidence/assets/endpoint_cancellation_subject/ and mapped
in the report. The distinct grade examines that same full record.
The examination's mathematical verdict is refutation-failed, relative to its three stated classical premises. The grade's disposition is VOID for present acceptance, with zero accepted independent mathematical weight. It found no missing essential deduction in the full supplied P argument but withheld acceptance over the grader's exposure to unrelated review-status content. That is neither a refutation of P nor an accepted whole-contract PASS.
The separately filed content-based eligibility assessment examined the exposure on 2026-10-15 and ruled it immaterial to the substantive grading findings. It also reconciled the disclosed configuration differences. Its stated effect is confined to eligibility: it does not rewrite the original hold into a whole-contract PASS. The original grade and that separate ruling therefore have distinct scopes. P has no accepted independent weight here; any further acceptance requires a distinct eligible decision.
The source proof is OpenAI's unrefereed Weighted dilation graphs, smooth shifted primes and totient fibers, 24 September 2026 release. The supplied Sections 2–5 excerpt is retained under Apache-2.0 as recorded on the source card. The reconstruction and examination are credited to Plasma AI. The original classical proofs, PDF fidelity, historical Section 6 comparison, separate E estimates and unconditional Problem 824 conclusion remain outside this record's accepted scope. No mathematical program is part of its evidence.
Mechanical maintenance relocates the three subjects to the assets home with
.md.txt suffixes, puts the three keepers beside the report, renames the
reconstruction README and repairs all affected links. Four bare
carriage-return \rm labels are restored: the big-prime product, both cell
indicators and occupied Mellin intervals. Preservation wording reflects these
changes; a private launch-file path and the automatic-save description are
replaced by their relevant independence facts. No mathematical assertion,
deduction, scope or verdict is changed. The historical grade's unresolved
eligibility wording is retained and read with the separate ruling above.
Display titles, page separators and wiki metadata are formatting maintenance.