Evidence for the two-tree bound and star sharpness

../

verify/: Connects the full independent review and distinct grade to their exact two-page subject, reading limits and explicitly recorded corrections.

---

The verification records concern the two-tree Ramsey upper bound and its two-colour star-sharpness companion as one unit. Opaque assets retain the exact reviewed subjects. The whole-unit review and distinct grade are relative to Theorem 1 at its recorded standing; the source proof chain and PDF were not rechecked, and their earlier six-page review does not transfer to this unit. That earlier review of the six proof pages and the three problem deductions is retained separately as the proof-chain review; its acceptance was voided on 2026-09-18 for material exposure, and the fresh proof-chain review with its distinct grade now supplies the independent review of the six pages as they stood on 2026-09-18T07:24:04Z.

The native rendition passed fidelity review and hand check before it was filed. No source-proof, mathematical execution, formal-verification, native-tier or catalog-status credit follows from these documentary records.

Extracts reproducing the paper's text are not held, since no license on record permits redistribution.