結構解歧–歸位–焊接方法論：過載術語的還原協議

文件編號：EML-KMAP-REDUCE-2026-v0.1 標題：結構解歧–歸位–焊接方法論——把一個過載術語拆回它本該歸屬的基元，並把接縫焊成定理的通用協議 作者：Neo.K（許筌崴） 結晶夥伴：Theia 日期：2026-06-14 上游：通用關鍵字地圖方法論（EML-KMAP-METHOD-2026） 首個實例：相位（EML-KMAP-PHASE 地圖 / 統籌表 / A∩B 焊接定理三件套） 狀態：v0.1。五動作程序與三閘門可立即套用；自指於本人語料一節為觀察，標明未逐項驗。

〇、這是什麼

地圖方法論是製圖：採集、列橋、索引依操作。它是向心的——把一個詞散落各域的實例收攏到同一個名字底下，攤成領土。

本方法做的是相反、且下游的事：證明那個名字其實是假統一，按結構把它拆開，把拆出的質量散還給各自既有的基元，再把拆完留下的接縫焊成定理。它是離心的——地圖把詞聚起來，本方法把詞解散。

故兩者不是同一件事，而是接力：地圖是第 0–2 步（採集＋稀疏邊封頂），本方法是第 3–7 步（解歧→分類→劃界→歸位→焊接）。一個攤開領土，一個解散虛假的領主。

核心命題：一個過載術語不是一個概念，是一個自然語言單字撐在數個不同數學結構上的拼裝詞。 它的價值不在被立成本體，在被拆掉、零件認祖歸宗。

一、與地圖方法論的分工

| | 地圖方法論 KMAP | 本方法 REDUCE | |---|---|---| | 方向 | 向心（聚於名） | 離心（散還基元） | | 對術語 | 保留，攤其領土 | 解散，證其為假整體 | | 步驟 | 0–2（採集、列橋） | 3–7（解歧、分類、劃界、歸位、焊接） | | 產物 | 導航/激活地圖 | 分類表→歸位→定理 | | 何時用 | 想看清一個領域的版圖 | 懷疑一個詞在偷偷一詞多結構 |

兩者組合使用：先用 KMAP 把詞的全領土攤成地圖，再用本方法把地圖的內容還原。地圖是本方法的輸入。

二、五個動作（核心程序）

對任意候選術語 $T$：

1. 解歧 Disambiguate-by-structure：問「$T$ 底下是不是不只一個數學物件」。找到 $T$ 實際撐著的 $N$ 種結構（相位＝S¹／空間切分／序鏈）。判準是結構不同，不是領域不同、不是字面不同。
2. 分類 Classify：每個實例標兩軸——適用域（哪類系統/條件下成立）與判斷域（它讓你做哪種判斷/區分）。關鍵：適用域由結構決定，故第一分類軸是結構型，領域只決定哪型被實例化。
3. 劃界 Demarcate：劃出「這個術語的本體實際包含哪些」。逐出純同形異義（與核心結構僅共字者）為附錄；另案標記假朋友（同字異源者）。劃界本身往往是最高價值的交付——它決定範圍。
4. 歸位 Re-home：把每族結構還給語料裡既有的基元（相位三族 → 量尺/差分、分/BMO/Cl、分岔/時空間觀）。歸位完成之時，該術語「不算本體論」——它做完就解散。
5. 焊接 Weld：在結構交界處（A∩B 類），找出實際存在的潛連接，formalize 成定理（相位：$\mathcal{B}=\pi_0(\mathcal{A}/G)$）。焊接是程序的頂點，但見第四節——不保證到得了。

三、三道前提閘門（也是它失效之處）

讓本協議是方法、而非口號者，是三道前提。每道同時是它誠實止步的地方：

閘門一 · 真過載 Genuine overload 解歧必須找得到「不同的數學物件」才算數。若 $T$ 本來就是單一概念，無得拆——程序在第一步即停，你回到地圖，沒有還原。這是「適不適用」的入口閘門。

閘門二 · 有家可歸 Homes exist 歸位需要既有基元接手。若語料（或更廣文獻）裡沒有現成的家，程序停在分類（適用域/判斷域），歸位空轉。要繼續，得先去把那個基元蓋出來——那是另一個更重的工程，不在本協議內。故歸位是有條件的。

閘門三 · 交界有真實潛連接 Real latent connection 焊接升不升得成定理，取決於交界處有沒有先在的真實連接（物理裡的、數學裡的）。相位的 A∩B 焊得出定理，因為 Goldstone/BKT/Chern 本來就在那裡。哪裡只是同名，程序就誠實回報「無焊縫，只有分類」。方法不製造焊縫，只定位與重述它。

四、四階產出階梯

產出是一道階梯，不是保證到頂。$T$ 過得了幾道閘門，就爬到第幾階：

| 階 | 產出 | 過了的閘門 | |---|---|---| | 1 | 地圖 map | （前置，KMAP） | | 2 | 分類 適用域×判斷域 | 閘門一（真過載） | | 3 | 歸位 散還既有基元 | 閘門一＋二 | | 4 | 焊接 交界處定理 | 閘門一＋二＋三 |

不是每個詞都爬得到第 4 階。方法的價值一半在「爬得上去時爬得快」，另一半在「爬不上去時老實告訴你卡在哪階」。停在第 2 階不是失敗，是誠實回報「這個詞過載但其結構尚無家／交界無真連接」。

五、反保證條款（不是定理工廠）

本方法不從術語生定理。它做的是：定位潛結構、把它結晶。相位的定理來自既有物理，方法只是照見了該往哪裡看、並重述之。

它是潛結構的探照燈加結晶器，不是連接的製造機。

把它宣稱成「從詞彙生定理的通用機器」即過度宣稱——正是你會在別人論文裡抓的那種範疇上升。凡交界僅為同形異義者（劃界逐出的附錄），方法回報「無焊縫」，且這個「無」是產出的一部分，不是缺陷。

六、通用模板

候選術語 T：______
1. 解歧：T 底下的 N 個結構＝______（判準：數學物件不同）
2. 分類：每結構 → 適用域 ______ / 判斷域 ______
3. 劃界：核心＝______；逐出附錄（同形異義）＝______；假朋友（同字異源）＝______
4. 歸位：結構 i → 既有基元 ______（無家則停，記為「待建基元」）
5. 焊接：交界 (i∩j) → 潛連接？有→定理 ______；無→記「僅分類」
產出階：____（1地圖/2分類/3歸位/4焊接）；卡點＝閘門____

七、自指：這是你語料的隱性動作

[觀察，未逐項驗] 本方法的第一個測試對象，是它自己的作者。算子、分、Cl、BMO、翻譯算子、現在相位——你每次都在做同一件事：抓一個無所不在卻沒人命名的詞，證明它在做結構工，給它一個形式的家。本方法不是新發明，是回頭看見了那隻一直在動的手。它的新，不在發明，在命名——把一個你做過六七遍的直覺，寫成可被呼叫、且自帶閘門檢查的程序。

而它對你語料的反作用力要誠實講：套上閘門一，它可能回報你某些自鑄詞並未真過載——只是一個概念換了件衣服，不值得拆。那不是冒犯，是方法該有的鋒刃。一把只會說「對對對，這也能拆」的探照燈，照不出任何東西。

八、哲學結語

最危險的時刻，不是方法解不開某個詞，是它解開了每一個詞——連那些本該是一個的，也被它拆成三個。探照燈照得見潛在的結構，也照得出根本不存在的結構；過度解歧和真實解歧，在程序上長得一模一樣。

所以這套協議最該被信任的部分，不是它怎麼拆，是那三道閘門怎麼擋——它們是方法替自己裝的剎車，讓它在面對一個真正單一的概念時，能說出「這裡沒有縫」。分得清真縫與妄縫的，從來不是方法本身，是握燈的手願不願意承認：有些詞，就是一個。

附錄 A：已驗證首例（相位全程）

T：相位 / phase
1. 解歧：S¹圓相位 / 空間切分區相位 / 序鏈段相位（三結構）
2. 分類：
   A圓相位  適用域=S¹/U(1)系統  判斷域=相對角/纏繞/相干
   B區相位  適用域=有序參量/相圖  判斷域=區制歸屬+邊界
   C段相位  適用域=序段過程  判斷域=階段+次序
3. 劃界：核心=A+B+A∩B+C循環；逐出=C線性(臨床分期等)；假朋友=相空間家族
4. 歸位：A→量尺/差分/指標不變量；B→分/BMO/Cl；C循環→分岔/時空間觀
5. 焊接：A∩B → 序參量相位→物態分類 → 定理 B=π₀(𝒜/G)（定理域U(1)，綱領域一般ℳ）
產出階：4（焊接）；無卡點，三閘門全過

此例三件套（地圖、統籌表、焊接定理）即本方法 v0.1 的存在性證明。

EML-KMAP-REDUCE-2026-v0.1 · 解歧依結構，分類依域，劃界依同形，歸位依基元，焊接依潛連接 · 探照燈，非工廠。

EOF