← 半自主研究 / 工程紀錄 / vRH 1.65:Fixed-Aperture Local Prime Criterion 獨立審核與「有限問題」邊界

工程紀錄 v1.65 2026-09-02 INDEPENDENT_AUDIT_VALIDATED_AS_REDUCTION

vRH 1.65:Fixed-Aperture Local Prime Criterion 獨立審核與「有限問題」邊界

不是新主線節點,而是對 v1.6 的獨立審核,只問兩件事:v1.6 的化簡在其他表示下是否仍成立?是否真的把 RH 變成有限問題?以四種互相獨立的方式重新驗證 v1.6 的核心結論,完全吻合,並額外證明:固定孔徑觀察量的最小指數成長率,精確等於所有零點對臨界線的最大水平偏離。最核心的貢獻是一次「範圍修正」:把有限性拆成五層,確認每個質數的支撐固定、每個 checkpoint 的資料有限這兩層為真,但活躍質數個數有界、checkpoint 個數有限、有限的全域證明物件——這三層皆為假。

RH_CLAIM = False v1.6 把 RH 變成 fixed-aperture / local / finite-support 的逐一事件問題,但尚未變成「有限個 instance 驗完即可結束」的有限問題;真正要從局部有限記憶走到有限證明物件,仍缺一個能一次關閉所有夠大尺度的尾端不變量或尾端定理——這是重新定位後的 RH-complete 缺口,不能說成已經接近例行工作。

連接 · Connections

是對 v1.6 的獨立審核,不是延續其後的主線節點——形式化驗證 v1.6 的十項具體主張全部通過,同時對其用語做五項範圍修正。

技術說明

載入中…

檔案 · Files

參考程式、交叉核對資料與 schema,原樣列出。

下載完整封包 (12.7 KB)