SEERAVERSE RH Program：可审计证明探索的元方法论

概要

本预印本以RH为案例，提出使长期证明探索保持可审计、可恢复和可复用的元方法论。

研究定位

本文不声称证明RH，也不主张经典工具的新颖性。它结合不变证明主干、one-live-lock/one-next-move、No-Go ledger、保持等价性的压缩、GCD/LCM共同核心分析与Truth by Shadow。

数学与认证

方法区分定性数学、有效常数以及采用区间计算、Krawczyk方法和任意精度球运算的机器辅助有限认证。

书目信息

类型：Preprint
发布日期：2026年10月2日
发布者：SEERAVERSE Research Group
DOI：10.5281/zenodo.23101473