符號對角性消除：把符號與其合法自映射像配對，將可由對偶與自指生成的冗餘壓成固定點 Σ* = Fix(R_{Γ,Q,D})

一般 pairwise 比較最壞需要 O(n^2) 次關係測試；本文改先只問 x 與由同一規則生成的 D(x) 之間有什麼關係。方法上建立對偶算子族 D、對角關係矩陣 M^D_{ij} = R_{Γ,Q}(x_i, D(x_j))，並把對角項分類為 equal、equivalent、cancel、residual、irreducible、unknown 六種標記，再依四種基本結果（完全等價、可對消、可殘差化、不可約）處理；involution 情形給出 sector decomposition X = X_+ ⊕ X_-，對角 defect δ_D(x) = x − D(x) 提供最基本的 residual lifting，殘差可再送入下一個 operator 形成 residual chain。最可引用的是三項界定：Σ* = Fix(R_{Γ,Q,D}) 只是相對於 (Γ, Q, D) 的固定點，irreducible 僅表示「在目前規則集下尚不可約」而非 proven fundamental；diagonal completeness 條件（x ≡ y 蘊涵存在 g ∈ ⟨D⟩ 使 g(x) ≡ y）若未證明，SDE 只是加速策略，不能取代完整 pairwise reduction；SECV 因而是 proof-obligation-preserving lossy compression，而非一般意義的 lossless compression，這個區別必須公開。所附示例為 D(x) = 1 − x：orbit {x, 1 − x} 在證明義務只依賴 x(1 − x) 時可整體壓縮為 orbit invariant u = x(1 − x)。本文明訂 Fail Closed 與 legality witness 三層防線，但不含任何可執行實作。