Wiki
Wiki

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

Updated

Whole-conclusion examination of L165

../

grade: Independent PASS grade of the complete frozen L165 examination, including its mathematical scope, report contract, actual reading, independence and preservation.

keeper: Independent analytic attacks on the span conventions, limiting extrema, and formulation transfer in L165.

report: Whole-statement adversarial examination of L165 and its implication for the supplied mean-normalized modified E1221 formulation.


The report and analytic keeper examine the complete conjunction and its exact match to the supplied modified Statement of Problem 1221. The examination was performed on 2026-10-15 UTC in a fresh context, with no identified excluded exposure. It uses the independently graded L163 and L164 interfaces; it does not re-examine their proofs or certify the original publications.

The distinct whole-contract grade, examined on 2026-10-16 UTC, is PASS for the complete frozen examination. It accepts refutation-failed for the conjunction, the extremal and divergence consequences for both sequence families, and the supplied mean-normalized formulation. This warrants L165's tier 1. Both premises matched the frozen interfaces and were proved at tier 1 without stale standing at the final reading and at filing. Catalog acceptance remains separate.

The eight original subject and examination files retain their mathematics, exact scope and omission markers. The final narrow dependency observation is retained with the subjects. The grade contains its additional analytic assessment; no mathematical executable is required.

The filing check confirmed that the grading configuration differed from its accepted configuration only by the permitted local-project trust entry. An attempted write of a new private inspection script left a distinct copy outside its intended private directory; the intended-path invocation failed before executing, and the working script was separately created inside the permitted directory. The original and working copies and their actual execution records were preserved. This was a write-path defect, with no excluded mathematical input received; no exposure waiver is relied on.

Mechanical filing maintenance adds wiki navigation and metadata. The grade's paths, dates, scope, findings and verdict are unchanged. No later mathematical repair is represented as examined.