Algorithm 1 Soundness Gates

把前幾篇文件裡散落提到的紀律正式收斂成六條可直接引用的 soundness gate。S1:analytic $\Sha$ 不得冒充 actual $\Sha$——sha 欄位只能作 analytic prediction/gate input,certificate 必須保存 descent 來源。S2:$\dim\Sha[2]$ 不得冒充 $\operatorname{ord}_2\#\Sha$——目前安全策略只在 $v_2(\Sha_{\mathrm{an}})=0$ 且 descent 嚴格 pin 住 $\Sha[2]=0$ 時才接受 $\operatorname{BSD}(E,2)$,正 valuation 必須標記「OPEN / higher 2-power descent needed」。S3:timeout 是 UNKNOWN——mwrank timeout 不是 theorem failure,不能誤讀成數學拒絕。S4:testing flag 污染——skip_filter_S 或 skip_BSD_at_2_check 一旦開啟,整個 run certificate 自動降級,不能只降級單條曲線。S5:deterministic theorem gate——$\mathcal S\ne\varnothing$ 的 production gate 用 deterministic criterion,bounded search 只能作交叉驗證/witness,不能當主證書。S6:provenance——每一條 PASS 都必須保存 predicate、value、evidence_type、backend、semantic_version、file/commit SHA、timestamp 這七項完整紀錄。這六條合起來就是整個 Phase 1 管線「防止把工程輸出偷換成數學定理」的具體實作。