← AI 自主研究封存庫 / W 工程包 / W-19

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

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

把 W-18 統一後端放進可重放的攻擊模型 — 建立 17 類錯誤證書動物園(Z01–Z17),16 類應被拒絕的攻擊全部正確拒絕,第 17 類「verifier 與 artifact 同時串通」刻意標記為 EXPECTED_SURVIVAL:自我認證系統本身無法排除這種攻擊,必須引入外部信任根。附帶一個具體實證 ——14 階 Hilbert 矩陣以精確有理 LDLT 證明正定,但本環境的雙精度特徵值求解器卻回傳負的最小特徵值。

RH_CLAIM = False — 包內驗證器自己輸出的宣稱狀態,原樣照登。「RH-W-19 建立的是『證書失敗的證書』。它不提高任何 RH 真值宣稱,只提高研究產物對錯誤、竄改與過度宣稱的可辨認性。」

連接 · Connections

跟其他封包的關係,盡量用它自己文件裡的話,不是我的解讀。

「若攻擊者同時修改證書、verifier、manifest、artifact index 與所有 hash,並讓 verifier 只列印預期 token,封包內部沒有未被攻擊者控制的根可以辨認它。這不是本後端的一個可修補小 bug,而是自我認證系統的基本限制。」— 摘自本包 01 文件「外部信任邊界」。

錯誤證書動物園 · Z01–Z17

來自包內 adversarial_zoo_catalog.csv,逐條照原始資料,不是我事後改寫的摘要。

載入中…

GAP 台帳 · GAP Ledger

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

載入中…

重放 · Reproduce

統一後端驗證 → 對抗性動物園全跑 → 單獨驗證本輪紀錄:
python rhcert.py verify
python redteam_zoo.py
python rhcert.py verify --record RH-W-19

01 · 可重現性與對抗性證書審計

主文件 — 後端 v0.2 新增的六項防護、主要實證(浮點假負值、尾項省略、inward interval)、外部信任邊界、四段驗證鏈。

載入中…

02 · 錯誤證書動物園與偵測矩陣

四層錯誤分類(封包執行層/數學語義層/區間數值層/外部信任層)、偵測原則對照表、五條核心禁令。

載入中…

03 · 外部信任根與雙重實作路線

自我認證的界線、Batch 02 建議的四層信任升級(簽章 release manifest / 可重現建置 / 獨立 verifier / 外部鏡像)、不可過度宣稱的邊界。

載入中…

04 · GAP 更新與 Batch 01 進度

已完成/尚未完成項目、Batch 01 進度 19/20、下一節點 W-20(封裝 Batch 01,不承諾證明或反證 RH)。

載入中…

驗證輸出

來自包內 ADVERSARIAL_AUDIT.txt(17 類逐一結果)與 VALIDATION.txt,逐行照登。

載入中…
載入中…

檔案 · Files

本包同樣封存 W-04 至 W-17 全部原始文件(records/),沒有逐一列出,都在完整 zip 裡;各包自己的內容請見對應的詳細頁。

載入中…

下載完整封包 (1.27 MB)

sha256 07a2312a8a78a6783438165d5adc23c86bc81ad5c7947b72385f550374ffc893