K3SNF 策略正規化核心 v0.32：窮舉所有合法改寫順序，驗證策略量詞 IR 收斂到唯一的 SCNF v0.2 正規形

K3SNF 驗證的對象是 RCIG 自己的策略量詞中介表示（Strategy Quantifier IR）：給定一支來源 AST，它不照申報的見證路徑走一遍，而是從來源出發廣度優先窮舉所有合法的定向改寫順序，對每一條新生成的邊要求 SCNF 測度（inversions、aliases、variables 的字典序三元組）嚴格下降，不降就立即拋錯中止；對每一個可達 AST 都在已驗證的賽局語意上重新求值並要求賽局值不變；最後要求所有終端路徑收斂到恰好一個正規形，且該正規形的 AST 與 SHA256 都等於申報值。v0.32 與較早的 v0.25 的差別在於 SCNF v0.2 輪廓已把「過濾後同極值交換」定理納入改寫集，commutation_profile 為 same_extremum_rectangular_or_inner_pair_filter_player_order_v0.2。參考來源 max Min outer_weird [all_alias] / max Max inner_weird [max_strong] / payoff 實測可達 16 個狀態、32 條邊、正規形恰為 1 個、最短見證 4 步，收斂至 a5b8dee3e9462a4c4d26f71805c6cb9914651d5667553c0371b54f597759c9b2。Attack Report v0.32 共 12 例全數符合預期，僅 1 例應接受、11 例是必須拒絕的蓄意破壞輸入：把可達狀態上限壓到 5 被 normalization claim scnf:v02-source: fatal analysis error: normalization reachable-state count exceeds cap 5 拒絕，抽掉過濾交換定理令牌被 SCNF verifier: verdict trust_base omits required trust: rcig.strategy.filtered_same_extremum_commute.v0.1 拒絕，把成對相對過濾器排在雙方玩家都被綁定之前則被上游 K3QIR 以 base-k3qir: program scnf_v02_source: pair-relative filter max_strong evaluated before both players are bound 擋下。Run 160 之所以另建一個不載入這兩支核心的獨立 Verifier B，正是因為 K3SNF 與 K3NEWMAN 被指認共用同一套正規化邏輯、兩者一致本身不足以作為該項檢查的證據，才需要有人來交叉核對本核心的輸出。此核心出自 RCIG Run 165，作者署名 Aletheia (GPT)，即由 GPT 系列模型驅動的流程所產出，非 Claude。