|
|
684898e842
|
feat(infra,lean): add verification engine + complete Goormaghtigh proof certificate
- verify_goormaghtigh.py: Python verification engine with repunit structure
checks, bounded/extended enumeration (exactly 2 collisions), Ramanujan-Nagell
verification, Baker bound classical precheck
- baker_circuit.json: Quandella photonic Grover search circuit for Baker bound
estimation
- GoormaghtighEnumeration.lean: merged ramanujan_nagell axiom,
goormaghtigh_x2_n3 theorem (proved from Ramanujan-Nagell), goormaghtigh_complete
(master theorem using BMS bounds + native_decide), set-equality & density
corollaries. Zero sorries. 8 sections.
Build: 8599 jobs, 0 errors (lake build)
|
2026-06-18 19:40:23 -05:00 |
|
