Verification of the Erdős--Szabados chain

../

diagonal_review: Retains the review of the finite symmetrization correction: counting, off-diagonal and diagonal estimates and the 1/16 prefactor.

full_chain_review: Retains the review of the composed qualitative integral theorem with c_3 = 1/256, conditional on the Bernstein, Markov and Erdős--Turán interfaces.

full_chain_review_fresh: Retains the fresh-context refutation-charge review, read from a redacted extraction as of 2026-09-18T07:24:04Z, of theorem (4) together with its endpoint and harmonic-block completion and its finite symmetrization correction.

full_chain_review_grade_fresh: Records the distinct grader's pass on the report contract and independence of the fresh full-chain review as of 2026-09-18T07:24:04Z, with the grader's own rederivations of the gap assertion, the adjacent-polynomial input, the symmetrization and the harmonic blocks.

late_proof_review: Retains the review of the late-proof companion: Chebyshev deletion, local mesh, disjoint harmonic blocks, high-maximum case and the 1/256 constant.

publication_review: Retains the exact-byte review of the successor that closed the six correction groups requested by the full-chain review.

---

The diagonal review and late-proof review pass the two compilation companions. The full-chain review of 2026-09-06 passed their composition with the printed argument, conditional on three external interfaces; on 2026-09-18 a materiality grader ruled that its delivered candidates carried the companions' earlier-review verdicts, so it is void as an independent warrant for the composition and stands as the reviewer's record. The fresh full-chain review, by a fresh-context blind reviewer (model: Claude Fable 5.1) distinct from every earlier reviewer of this card, read the result page and both companions as they stood on 2026-09-18T07:24:04Z through the redacted extraction retained as ../assets/frozen_integral_lower_bound.md and returned refutation-failed for theorem (4) with $c_3=1/256$, conditional on the same three interfaces; its distinct grade, by a grader (model: Claude Fable 5.1) distinct from the reviewer, records PASS for the report contract and PASS for independence and is the acceptance record for the composed chain. The publication review accepts the exact corrected successor as an artifact-fidelity check.