Verification of the Liu--Sawhney chain

../

main_proof_review: Retains the review of the complete corrected Theorem 1.1 chain: Lemmas 6.1, 6.2, 5.1, Proposition 5.2 and the outer proof.

main_proof_review_fresh: Fresh-context blind review, charged to refute, of the corrected Theorem 1.1 chain (Lemmas 6.1, 6.2, 5.1 in its application form, Proposition 5.2 and the outer proof) as the card pages stated it at 2026-09-18T07:24:04Z; verdict refutation-failed, no tier asserted.

main_proof_review_grade_fresh: Distinct grader's record for the fresh blind review of the corrected Theorem 1.1 chain as it stood at 2026-09-18T07:24:04Z: report contract and independence both PASS, the disclosed search exposure ruled immaterial, four load-bearing steps rederived by the grader; no tier asserted.

preliminary_review: Retains the review of Theorem 2.1, Lemmas 2.2--2.4, 2.6 and 3.1, Fact 2.5, the Lemma 2.2 counterargument and replacement, and two bounded corrections.

source_checks_review: Retains the checks of the Lemma 2.2 and Lemma 5.1 counterexamples, the parameter adjustments and the harmonic Euler-product deduction.

supplement_review: Retains the bounded review of the digest and the sampled statement-and-sketch pages for Theorem 1.3 and Proposition 1.4.

---

The main-proof review passes the complete corrected Theorem 1.1 chain; on 2026-09-18 a materiality grader ruled that its reviewer had read the preliminary and source-check verdicts on steps inside that chain and closed conditions with them, so it is a coordinated compilation check and not an independent blind review, and its PASS warrants no independent acceptance by itself. The preliminary review passes the seven preliminary scopes and two bounded corrections. The source checks confirm the Lemma 2.2 and Lemma 5.1 counterexamples and the adjustments. The supplement review covers the digest and two sampled sketches only.

The fresh main-proof review, by a fresh-context blind reviewer (model Claude Fable 5.1) who read none of the four retained reviews, covers the corrected Theorem 1.1 chain (Lemmas 6.1, 6.2, 5.1 in its application form, Proposition 5.2 and the outer proof) as it stood at 2026-09-18T07:24:04Z through the redacted extraction retained as ../assets/frozen_theorem_1_1.md and records refutation-failed. 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, with the reviewer's disclosed search exposure ruled immaterial; it is the independent warrant for the chain that the earlier review's ruling removed. No tier is asserted; the numerical tiers apply to native claims only.