Public release aligned with the SSRN-public paper package. Highlights: Compact README with current SSRN abstract link, Zenodo concept DOI, and latest checked Zenodo record DOI. Public evidence artifacts synchronized with the paper results. Added Distance Pair Lemma slab verifier and checked manifest covering k=3, b=3..10 and k=4, b=3..5. Added G* core and core-shrink result artifacts. Updated R5 witness verifier and included the explicit R_5(3) > 243 witness plus R_5(3) > 296 evidence metadata. Synced Lean 4 formalization and axiom-audit artifacts. Validation performed for this release: Public mirror verification: PASS. Targeted public leakage/overclaim scan: PASS. R5 witness verifier: PASS, 16,362 triples checked, 0 monochromatic triples. G* result manifest: all checked colors UNSAT; paper timing predicate met. DPL slab manifest: 11 cases complete; all checked colors UNSAT. Lean targeted check: lake env lean RadoNumbers/Breakdown.lean PASS.