全檔案稽核與依賴年表

對現有 BSD 網頁內容（phase0、phase1、phase2、p5，共 85 MD + 89 HTML = 176 檔）逐檔盤點。明確証實：原包完全沒有 Python、Sage、JSON、CSV、正式證書、證明助理檔或原始計算輸出；47 筆文件提及但實際缺檔的引用登錄在 missing_asset_references.csv。Phase0：全域目標不能由證書接口代替。Phase1：現狀是條件式重播，不是重新完成 Algorithm 1（舊新 predicate 識別分開記錄，缺 Algorithm1.py、Algorithm2.py 等實行檔案）。Phase2：從 FW-only 到 hybrid 到有條件 network 的轉折軌跡，並正式指出 HTML 09/索引的 H3 全稱命題實際上錯——p=29 反例成立，但後來的 leave-one-out 版本已修正。P5：逐版本盤點 v0.1 到 v1.3 真正可保留的部分。最後建立一套處置原則：自稱 CLOSED_EXACT 但缺執行碼者降為 PROJECT_ASSERTION；已有正確條件式推導保留 CONDITIONAL；只有帶固定模型、素點且可重播結果才列 REPRODUCED_EXACT。