CONWEB / Prime Prison: A Closed-Bridge Finite-Certificate Evidence Ledger for Number Theory
收藏官方服务:
资源简介:
Submit-ready external-review draft for the CONWEB / Prime Prison closed-bridge evidence archive. The record includes conjecture-side route ledgers, finite certificates, theorem ledgers, Goldbach mirror certificates, Goldbach wall evidence, Prime Prison route evidence, Collatz descent evidence, transfer-score matrices, Sage files, Lean files, Isabelle files, reproducibility logs, and the HELIXNID / V-Helix Closed-Bridge External Review Ledger. The archive separates data, code, logs, replay materials, score tables, ledgers, proof-check files, and appendix files. Claims in the review ledger are connected to archived files, replay materials, ledgers, tests, grids, scores, or Zenodo evidence items.
提供机构:
Zenodo创建时间:
2026-07-04



