crabsatellite/rado-numbers-sat: v1.4.0 — SSRN-public evidence sync

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.