W 工程包 v0.1 2026-07-24 PASS_WITH_DECLARED_LIMITATIONS

RH-W-18:統一證書後端與單一驗證入口

W-05 到 W-17 逐步累積的證書 schema、依賴與完整度並不一致 — 本包建立單一 CLI(rhcert.py)與五段信任詞彙,重新逐一原生重放每一輪的 verifier。結果不是全綠:W-06 因公開目錄缺一個 2×2 JSON 被標為 LEGACY_INCOMPLETE,W-14 因原推導漏項被標為 SUPERSEDED_RECERTIFIED——這正是後端存在的理由。

RH_CLAIM = False — 包內驗證器自己輸出的宣稱狀態,原樣照登。統一 manifest 固定 allowed_global_conclusion=FINITE_CERTIFICATE_BACKEND_ONLY;若 manifest 被改成 RH_CLAIM=true,即使重新計算 hash,驗證仍拒絕。

連接 · Connections

跟其他封包的關係,盡量用它自己文件裡的話,不是我的解讀。本包內附完整封存 W-04 至 W-17 各包的原始文件與驗證腳本(records/),供後端重放;這裡不重複列出內容,連到各包自己的頁面即可。

屬於研究起點 v2.1 · 統一證書後端

上一包RH-W-17:腔室感知切分與事件薄層

下一包RH-W-19:可重現性與對抗性證書審計

Batch 0118 / 20

「這個狀態格比『所有輪次都成功』更重要,因為它把研究內容與封包品質分離……封包完整性與數學有效性必須分開。」— 摘自本包 01、02 文件。

W-05 至 W-17 歷史審計結果

來自本包 02 文件的表格,逐輪重放結果,原樣照登(含 W-04 的 PROTOCOL_ONLY 與 W-06 的 LEGACY_INCOMPLETE)。

載入中…

GAP 台帳 · GAP Ledger

來自包內 RH-W-18_subgaps_v0.1.csv,狀態與結果都是包自己記的,不是我事後加的判斷。

載入中…

重放 · Reproduce

統一 CLI(列出/驗證全部/驗證單一節點)與 red-team 自測:

python rhcert.py list
python rhcert.py verify
python rhcert.py verify --record RH-W-17
python redteam_backend.py

01 · 統一證書後端與單一驗證入口

主文件 — 五種證書類別(NUMERICAL_MATRIX/PARAMETER_REGION/CHAMBER_COVER/STRUCTURAL_IDENTITY/PROTOCOL_ONLY)、五段信任狀態、Claim firewall、Artifact Identity → Native Verification → Normalized Claim Record → Dependency Graph → Claim Firewall 的統一語義鏈。

載入中…

03 · GAP 更新與 Batch 01 進度

本輪封閉的工作節點、尚未封閉的項目(W-06 缺檔尚未恢復、尚無 Lean/Coq 層)、Batch 01 進度 18/20、下一節點 W-19 的預告(錯誤證書動物園)。

載入中…

驗證輸出

來自包內 VALIDATION.txt(本機整體驗證)、REDTEAM.txt(三種攻擊自測)與 INTEGRITY_VERIFY.txt,逐行照登。

載入中…

載入中…

檔案 · Files

本包封存 W-04 至 W-17 全部原始文件與驗證腳本(records/,超過 200 個檔案),沒有逐一列出,都在完整 zip 裡;各包自己的內容請見對應的詳細頁。

載入中…

下載完整封包 (1.33 MB)

sha256 562df441e90c64ffb2a807a886ac69cde8920fa9f6daf978691e76d3c4d8aafb