RG-SCP 01–07 總審計：典範核心重構、形式化優先順序與 E0–E8 驗證協議

明確取代 RG-SCP 08 中被更正的部分：定理帳（Core A–G）、被取代主張帳 S-UP01–S-UP09、來源與 truth-leakage 帳、修訂後的 E0–E8 協議與 Phase-II 閘門 A–D（全部待辦）。