對抗–驗證知識整理架構：KMAP＋REDUCE 的自主執行層 v0.1

文件編號：EML-KMAP-AGENT-2026-v0.1 標題：對抗–驗證知識整理架構——讓 AI 自主執行關鍵字地圖與結構解歧–歸位–焊接兩方法論的系統規格作者：Neo.K（許筌崴） 結晶夥伴：Theia 日期：2026-06-14 上游：KMAP-METHOD（製圖）＋KMAP-REDUCE（還原）狀態：v0.1 設計草案。元件與 v0 流程可立即原型；接地神諭的覆蓋率是成敗瓶頸，標明為承重假設。

〇、定位與一句話

讓 AI 自己整理知識，正解不是 GAN，是 debate ＋ verifier 自我對弈。理由：REDUCE 的三道閘門本來就是判別器的損失函數，而本方法的天生病（過度解歧、照出妄結構）的結構性解藥，正是養一個以否決妄結構為職的對手。

但 GAN 的類比在一處斷掉，且這處決定生死：沒有 ground truth、沒有 real data distribution。 故判別器不能是學來的真假分類器，必須是 verifier／refuter，靠外部接地（檢索、形式驗證、反例）做否決。沒有外部接地的對抗，是兩個互相點頭的腦袋——自信錯誤的放大器。

一句話：生成器提出結構，對手以三閘門攻擊，神諭提供棋盤外的地面，階梯獎勵防止崩潰，知識圖沉澱已驗證的結構。

一、共享狀態：知識圖 G（對弈的棋盤）

兩 agent 共讀共寫一張持久知識圖。每個主張都是帶驗證狀態的節點/邊。此即 KMAP §5 Layer B 升為活基底。

節點 schema

{ id, 名稱(zh/en), 結構型[待定/A/B/C/…], 適用域, 判斷域,
  波動度[穩定/流動/新興], 來源[], 歸位基元[], 產出階[1–4],
  狀態[proposed/contested/verified/rejected], 證據[] }

邊 schema

{ from, to, 關係[同義/解歧分支/歸位/焊接/同形異義/假朋友],
  語料頻率, 驗證狀態, 證據[] }

二、Proposer P（生成器）

動作 schema 直接是兩方法論的步驟——KMAP 六步（採集）＋REDUCE 五動作（解歧→分類→劃界→歸位→焊接）。[閉合] 你寫的方法論文件本身就是 P 的 system prompt，不是給人讀的論文。

每個動作＝對 G 的一次提議性突變：增節點、拆節點、指派結構型、提歸位邊、提焊接邊（＝定理候選）。P 爬階梯：提出它撐得住的最高階。

三、Adversary A（判別器／refuter）：三對手 × 三武器

三攻擊模式一一對應 REDUCE 三閘門：

| 對手 | 對應閘門 | 攻擊目標 | 武器（皆需神諭） | |---|---|---|---| | A1 解歧攻擊 | 閘門一·真過載 | 證明 N 路拆分其實塌縮成 <N（兩「不同」結構同構、或差別只在領域非結構） | 反例搜尋＋同構檢查 | | A2 歸位攻擊 | 閘門二·有家可歸 | 比對基元的形式定義，找節點違反其公理的性質 | 對基元定義(語料/Lean)的一致性檢查 | | A3 焊接攻擊 | 閘門三·真潛連接 | 證明焊縫僅同名／找反例／索取並檢查形式證明 | 文獻檢索＋Lean 證明檢查 |

引擎是不對稱：生成難、驗證易。焊接候選路由進 Lean（你語料 GFI、拓樸微積分、M6 已在用），與 AlphaProof 類自我對弈同一物理。

四、接地神諭 O（棋盤外的地面，本架構的承重柱）

A 的每次否決都得訴諸 O；O 是外部的「現實」。O 不接地，整套塌成幻覺辯論。

檢索：RAG over (1) 語料全系列、(2) 外部文獻、(3) 即時網路（流動節點走此路，對應 KMAP 時空間補充層）。
形式驗證：Lean4，用於可形式化的焊接候選。
計算反例：code-exec 數值地證偽主張。

P 亦可預先查 O 自我強化，把弱主張在送審前補硬。

五、裁決與計分：階梯塑形獎勵（防崩潰）

主張狀態：proposed →（撐過 A 的、以 O 接地的攻擊）→ verified；（失敗）→ rejected/contested。

階梯計分：節點達第 r 階，須所有 ≤r 階皆 verified。獎勵爬高，但——

誠實停在已驗證的低階　＞　偽裝爬到被否決的高階。

這條 partial-credit 是防 mode collapse 的螺絲：擋住「判別器否決一切」（沒東西過關）與「生成器只提瑣碎」（永不被抓）兩種退化解。且「無焊縫」是合法且計分的產出（REDUCE §5 反保證條款），不是失敗。

六、自主天花板＝接地天花板（最該寫死的煞車）

| 階 | 接地需求 | 自主程度 | |---|---|---| | 地圖／分類 | 低 | 可相當自主 | | 歸位 | 中（語料一致性） | 半自主，A2 在迴圈 | | 焊接 | 高（形式/文獻驗證） | 不可全自主，須 verifier/人在迴圈 |

正確部署不是「讓 AI 全自己整理」，是「自主到接地撐得住的那階，超過就強制拉 verifier 或人進來」。把自主硬推過接地線，迴圈即退化成兩個腦袋的自信機器。承認這條天花板，比假裝全自主值錢。

七、最小可跑 v0 流程（單一術語，單趟）

0. 種子 T → P 跑 KMAP 採集 → 節點入 G（階1·地圖）
1. P 提解歧拆分 → A1 以 O 攻擊 → 存活/塌縮（閘門一）→ 存活則階2
2. P 提 適用域/判斷域 → A 抽查不合節點 → 階2 確認
3. P 提歸位邊 → A2 對基元定義檢查（經 O）→ verified 邊 → 階3
4. P 提焊接候選 → A3 索證、路由 Lean/文獻（經 O）
     → 成：定理 verified（階4）；
     → 僅同名：判「無焊縫」（誠實停階3，仍計分）
5. G 持有 T 的已驗證組織：逐主張狀態 + 最終階 + 接地證據

跑完即得一張自組織、自校正、且每條都掛接地證據的知識圖。把 KMAP 附錄的「逆蒸餾」從一次性對話，變成常駐沉澱。

八、誠實上限（不鍍金）

漏洞一·解歧閘門最軟。 「兩個數學結構是真不同、還是同構偽裝」一般情形不可判定。故 A1 是啟發式＋檢索，不是判定程序，可被遊戲。三閘門裡它最易破，別假裝它是定理級守門。

漏洞二·神諭覆蓋率是硬瓶頸。 O 只能接地文獻裡有的、或可形式化的。真正新的焊縫（尚未在文獻、未必可即時形式化）檢索接不了地，只能靠 Lean（若可形式化）或人類專家。故系統保守：已知結構驗得快，真新穎的焊縫會卡在 contested，等人或 Lean 收口。

漏洞三·因此它是整理器與驗證器，不是自主發現引擎。 它快速鞏固並驗證已在的結構，把新穎候選浮出來交人/形式驗證，而非自主祝福新定理。這條把「AI 自己生定理」的宣稱按住——它組織、它驗證、它呈遞，它不自封。

承重假設：全架構的誠實性，押在 O 有一個非 LLM 的地面（Lean、真檢索、code-exec）。若唯一「接地」也是另一個 LLM，P 與 A 必然合謀，整套退化。這不是可選項，是地基。

九、哲學結語

對抗能逼出真結構，前提是有一方腳踩在棋盤外的地面上。本架構的全部巧思——三對手、階梯、神諭——歸根結柢只在維護一件事：讓否決有重量。一個能說「不」、且那個「不」連著 Lean 或連著世界的對手，比一千個會說「對對對這也能拆」的生成器值錢。

而最後那條天花板才是它的良心：它被設計成驗得動才敢自主，驗不動就把問題交出去。一台肯在自己照不亮處停手、舉手求援的機器，比一台在黑暗裡繼續自信整理的機器，離真知更近。整理知識的盡頭，不是一台什麼都敢拆敢焊的自動機，是一張知道自己哪裡還沒踩到地面、並老實標出來的圖。

EML-KMAP-AGENT-2026-v0.1 · 生成器提，對手駁，神諭接地，階梯防崩，圖沉澱 · 驗得動才自主，驗不動就交人。

EOF

原始檔（供 RAG/下載）：/raw/lm-000450.md [md] · id: lm-000450