約束疊加、消去域與見證—載體轉換

區分約束的合取（直和的核）與疊加（a·Φ1 + b·Φ2 的核），把 Kloosterman 的 Hodge 軌跡多餘切維度讀成「消去商」，並從 Kloosterman 的四次與三次例子引入「見證—載體轉換」（見證的類型沿平坦族改變）。