獨立基底驗證器 B：一個自己抓到的表示法錯誤，與順序不變的臨界配對語義

Run 159 明白留下一個信任風險：K3SNF 與 K3NEWMAN 共用正規化邏輯，因此兩者一致有可能只是共同保存了同一個實作錯誤。Run 160 據此實作 Independent Basis Verifier B——獨立的控制流、手工重新實作有限 SCNF 抽象（四個抽象 filter 類、玩家穩定的綁定子正典性、安全交換適用性、SCNF 度量、alpha 正規化、filter 正典化、同極值交換、臨界配對枚舉、一步匯合測試），邊的產生順序刻意與 K3SNF 不同，且不 import K3SNF 或 K3NEWMAN。A、B 兩側立刻在實質定理上一致：512 個抽象組態、360 個分叉組態、1056 條一步正規化邊、832 個臨界配對、1056/1056 嚴格度量下降、832/832 一步菱形。分歧只出現在一處：Run 158 的 Basis v0.1 報告 9 個重疊類，獨立的驗證器 B 起初報 13 個，且可重現；根因是 v0.1 以 same/ancestor/descendant/disjoint 描述一個本質上無序的臨界配對的兩條外向邊，而 ancestor 與 descendant 取決於實作的局部邊序中哪一條先出現，於是 Class(e₁,e₂)≠Class(e₂,e₁)，這是一個表示法錯誤。Basis v0.2 改用對稱關係 same/nested/disjoint（nested 意指一條路徑是另一條的嚴格前綴，不指派左右方向），832 個配對因而收斂成 8 個順序不變的語義重疊類（128/16/16/256/256/16/16/128），並在 digest、reverse、rule 三種刻意不同的邊序下得到相同的語義摘要與相同的語義指紋 SHA-256 22940d76…4f33，v0.2 承載摘要則為 90fcdae6…a1f7；勘誤明文界定範圍：只更動重疊類的中繼資料，不撤回已驗證的終止性與局部合流事實。