殘餘六重對稱給出精確搜索域縮減，實測節點省近半：D₃ Canonical-Wedge 定理與 Certified-Prune-Gain 排程試點

Round 17(AMRAL-LUC-FC-R17，2026-09-19/20)證明本案研究線的 Theorem 3.1(Canonical-Wedge Theorem):normalized D+B₃+B₅ placement space(座標 q=(x₃,y₃,φ₅,x₅,y₅))帶有 residual 對稱群 G≅D₃、|G|=6，由 Reuleaux 三角形自身的三重旋轉對稱(120° 剛體旋轉)與一個鏡射生成，兩者皆保持凸包面積 A(q) 不變；因此每個 configuration orbit 至少有一個代表落在 0≤arg t₃≤π/3 的 60° canonical wedge 內，完整搜索域上的最小值因而等於此單一 wedge 上的最小值——這是精確的定義域縮減定理，不是啟發式加速，並配有可直接併入現有 axis-aligned verifier 的 SYM half-space prune 規則，標記為 quotient-domain exclusion leaf 而非 area lower-bound leaf。Depth 16 實測：D₃-quotient root 相對 Round 16 的 full root，節點數由 23455 降至 12357(約減少 47.32%)，HARD cell 由 4112 降至 2766(約減少 32.73%)。本輪另外試跑一層獨立的 Certified-Prune-Gain(CPG)排程：unrestricted CPG 雖壓低節點數卻可能 myopic(pilot-depth HARD 反增)，改採 tail-only windowed 版本後，在 depth 16 相對 D₃ official 再減少約 19.10% 節點、25.96% HARD，override density 約 10.72%。文件本身明文把 D₃ 對稱、canonical wedge 定理、SYM prune、child coverage 列為 theorem-critical，把 CPG 分數、γ 參數、啟用深度、override 編碼列為 performance-only。本輪未提出任何新的數值下界；全局 Lebesgue 萬有覆蓋常數 a_Leb≥0.8350 仍為 COMPUTE-DEFERRED。研究方向由 Neo.K 選題與主導；本輪執行者為 Aletheia / GPT-5.6 Sol。