title: "概念積分 2.0：從 Gap 導向候選生成到型別守衛、驗證、黏合與原語提案" title_en: "Concept Integral 2.0: From Gap-Directed Candidate Generation to Typed Guards, Verification, Gluing, and Primitive Proposals" series: "動態知識空間論（Dynamic Epistemic Space Theory, DEST）" series_id: "EML-DEST-2026-08" version: "v0.1" date: "2026-08-12" language: "zh-Hant" document_type: "系列第八篇／概念生成與積分／AI-readable concept formation specification" status: "Canonical Draft" depends_on: - "EML-DEST-2026-00 動態知識空間總論 v0.1" - "EML-DEST-2026-01 多域知識判定論 v0.1" - "EML-DEST-2026-02 多維知識覆蓋論 v0.1" - "EML-DEST-2026-03 Gap 場論 v0.1" - "EML-DEST-2026-04 關聯拓撲與全域黏合 v0.1" - "EML-DEST-2026-05 多中心知識拓撲 v0.1" - "EML-DEST-2026-06 移動邊界論 v0.1" - "EML-DEST-2026-07 條件依賴知識演化 2.0 v0.1" - "X 積分六大基本律 v0.1" - "概念積分：知識宇宙的生成擴張代數 v0.1" canonical_keywords: - "概念積分" - "Concept Integral" - "Candidate Generation" - "Gap-Directed Search" - "Concept Formation" - "Concept Identity" - "Bridge Induction" - "Primitive Proposal" - "Representation Escape" - "Typed Formation" - "Non-Collapse" - "Concept Distillation" - "Novelty Audit" - "Breathing Cycle 2.0"

概念積分 2.0

從 Gap 導向候選生成到型別守衛、驗證、黏合與原語提案

摘要

本文是《動態知識空間論》（Dynamic Epistemic Space Theory, DEST）的第八篇子理論，也是對早期《概念積分：知識宇宙的生成擴張代數》的正式重構。

早期概念積分提出一個重要操作直覺：知識不是靜態集合，而可以透過「展開—間隙識別—蒸餾—判斷」循環持續擴張。其後續自審亦承認，原本選用的 C*-代數、K-理論、同構比、唯一極限與 Gödel 正測度殘差等形式化存在結構性錯誤或過強主張；但自審同時指出，概念積分真正可保留的核心是方法論流程，而不是某一個固定數學外殼。

DEST-00 至 DEST-07 已經分別建立：

\mathcal D_t, \quad \boldsymbol\rho_t, \quad \mathbf G_t, \quad \mathbf C_t, \quad \mathbf B_t, \quad \mathfrak B_t, \quad \mathsf{Cert}_t, \quad \mathcal H_t,

並建立完整狀態：

\boxed{ \mathbb K_t = \left\langle \Omega_t, N_t, R_t, \Theta_t, \mathcal D_t, \boldsymbol\rho_t, \mathbf G_t, \mathbf B_t, \mathbf C_t, \mathcal V_t, \mathcal H_t, \mathsf{Cert}_t \right\rangle. }

因此本文不再把概念積分定義為「逼近完整現實代數的唯一生成極限」，而定義為：

\boxed{ \mathsf{CI}_{q,\theta,\pi,B} : \mathbb K_t \mathrel{\rightharpoonup} \mathcal P_t, }

其中：

\mathcal P_t

是候選概念提案集合（proposal set），而不是已成立知識。

本文最重要的分離是：

\boxed{ \text{Concept Proposal} \neq \text{Typed Concept} \neq \text{Judgeable Concept} \neq \text{Verified Knowledge} \neq \text{Globally Glued Knowledge}. }

概念積分 2.0 只負責：

根據 Gap、Frontier、Task 與 Peripheral Probe 選擇生成方向；
從內部知識、外部檢索、類比、結構映射、組合、抽象、橋接、程序壓縮與表示變換中提出候選；
明確保存候選如何被生成；
提交給 X-Guard、Verification、Global Glue 與 DEST-07 Evolution Controller；
接收反例、失敗、證書與版本回饋後繼續 refinement。

本文定義十類主要概念操作：

\boxed{ \mathfrak O_{\mathrm{CI}} = \{ \mathsf{Retrieve}, \mathsf{Compose}, \mathsf{Relate}, \mathsf{Bridge}, \mathsf{Abstract}, \mathsf{Specialize}, \mathsf{Macro}, \mathsf{Reframe}, \mathsf{Primitive}, \mathsf{Distill} \}. }

其中：

$\mathsf{Retrieve}$ ：找回已存在但目前未載入／未發現的知識；
$\mathsf{Compose}$ ：重組既有對象；
$\mathsf{Relate}$ ：提出新的 typed relation；
$\mathsf{Bridge}$ ：建立缺失中介；
$\mathsf{Abstract}$ ：從多例提取共同結構；
$\mathsf{Specialize}$ ：將過廣概念拆成條件化子型；
$\mathsf{Macro}$ ：把反覆成功的程序／路徑壓成可重用知識單元；
$\mathsf{Reframe}$ ：進行 Representation Escape；
$\mathsf{Primitive}$ ：提出現有語法／本體中缺少新原語的候選；
$\mathsf{Distill}$ ：去重、壓縮與提取最小可重建骨架。

本文特別修正早期「組合創造／本體創造」二分。新版不再宣稱某候選：

x\notin T(S_0)

即可被全局證明為「本體創造」。因為「不在目前生成閉包」通常只相對於指定 grammar、representation、operator set、resource bound 與 search procedure 才可判定。

因此定義：

\boxed{ \text{Primitive Proposal} }

而不是無條件：

\text{Ontological Creation}.

Primitive Proposal 必須攜帶：

\operatorname{PrimitiveNeedCert} ( x \mid \Gamma,\pi,\mathfrak O,B,t ),

只表示：

在目前明示的生成語法、表示與資源條件下，既有操作無法忠實生成該候選，因此值得試驗引入新原語。

本文亦重構早期「呼吸週期」。新版不再宣稱週期必然收斂到唯一不動點，而定義：

\boxed{ \mathsf{Breath}_{2.0} = \mathsf{Refrontier} \circ \mathsf{Distill} \circ \mathsf{Commit} \circ \mathsf{Glue} \circ \mathsf{Verify} \circ \mathsf{Guard} \circ \mathsf{Propose} \circ \mathsf{GapRoute}. }

它是一個：

可分支；
可回縮；
可失敗；
可 rollback；
可重表示；
可因新 evidence 重新開啟；

的演化循環，而不是 contraction mapping 假設。

本文總命題為：

\boxed{ \text{概念積分不是「把想法生成出來」；} }

而是：

\boxed{ \text{把可追溯的候選結構送入一條不混淆生成、形成、判定、驗證與全域性的知識生產管線。} }

0. 研究定位與非主張聲明

本文不主張：

存在唯一「完整現實代數」可供 AI 精確逼近；
知識覆蓋必然單調增加；
存在固定正測度 Gödel 殘差；
Gödel 不完備性可直接推出一般知識宇宙存在正測度未知區；
所有可組合知識最終一定被枚舉；
所有合法概念都由 tensor product 表示；
所有概念生成都可還原為一個代數本原操作；
一個概念被 LLM 生成即表示其有現實對應；
語義相似即表示結構相容；
新術語即表示新概念；
新概念即表示全球學術新穎；
搜不到先例即表示歷史上沒有人提出；
新表示消掉 Gap 即表示原問題真的解決；
Primitive Proposal 等於本體論上不可還原的新存在；
Distillation 是 Expansion 的嚴格逆；
壓縮得更短即表示理論更真；
Gap 越大越值得探索；
中心節點比周邊節點更值得生成；
生成更多候選必然提高研究效率；
本框架已證明 AI 可自動發現所有可發現知識。

本文主張的是：

概念生成必須被當成「候選建構」問題；候選如何生成、為何值得生成、由什麼來源構成、是否保留必要差異，以及它後續如何被判定與驗證，都必須被顯式保存。

1. 舊概念積分中保留什麼？

保留五個操作核心：

\boxed{ \text{Expand} + \text{Gap Detect} + \text{Filter} + \text{Distill} + \text{Iterate}. }

但全部重新型別化。

2. 舊版中降級什麼？

下列只保留為 historical formulation 或可選 backend：

C*-algebra universe；
AF algebra induction limit；
K-theory rank coverage；
unique fixed point；
contraction breathing cycle；
universal monotone $\rho$ ；
fixed $1-\varepsilon_G$ ceiling；
ontological creation = K-theory phase transition。

它們不再是 DEST-08 的母公理。

3. Concept Proposal

定義候選概念提案：

\boxed{ p = \langle id, kind, content, definition, inputs, relations, conditions, representation, derivation, sources, novelty, status, certificates \rangle. }

4. Proposal 不等於 Concept

一段新文字：

[ y ]

若尚未：

identity resolution；
type；
scope；
relation；
condition；

則只能是：

\mathsf{Proposal}.

5. Typed Concept

若：

\operatorname{TypeCheck}(p)=\mathsf{Pass}

且 identity / scope 形成，則：

p \to c^{\mathrm{typed}}.

6. Judgeable Concept

若：

c \in D^{\mathrm{judge}},

表示系統已能回答：

它在什麼條件下成立？
其判斷準則為何？
哪些 evidence 會支持／否定？
哪些情形 out-of-scope？

7. Verified Concept

只有：

c\in D^{\mathrm{verify}}

才可按 task certificate 標準進入 verified state。

8. Global Concept

即使 verified，仍可能：

c\notin D^{\mathrm{global}}.

例如：

只在局部 regime 成立；
和其他 branch 衝突；
version transition 不相容；
global gluing 尚未完成。

9. Concept Lifecycle

RAW IDEA
  ↓
PROPOSAL
  ↓
IDENTITY RESOLVED
  ↓
TYPED
  ↓
JUDGEABLE
  ↓
LOCALLY VERIFIED
  ↓
GLOBAL / BRANCH-GLOBAL
  ↓
CANONICAL / ACTIVE
  ↓
STALE / REOPENED / SUPERSEDED / ARCHIVED

10. 十類主要操作

\mathfrak O_{\mathrm{CI}} = \{ R,C,L,B,A,S,M,X,P,D \}.

其中：

R = Retrieve；
C = Compose；
L = Relate；
B = Bridge；
A = Abstract；
S = Specialize；
M = Macro；
X = Reframe；
P = Primitive；
D = Distill。

11. Retrieve：檢索激活

定義 [DEF]

\boxed{ \mathsf{Retrieve} ( q, \mathbb K_t, \mathcal E_{\mathrm{ext}} ) \to \mathcal P_{\mathrm{ret}}. }

它找回：

外部 paper；
未載入 memory；
舊 branch；
historical trace；
archived theorem；
dataset；
tool capability。

12. Retrieval Novelty Trap

如果 Agent 第一次看到 (x)：

x\notin K_{\mathrm{loaded}}

但：

x\in K_{\mathrm{external}},

這是：

\boxed{ \text{local discovery} }

不是：

\text{historical invention}.

13. Compose：組合

\boxed{ \mathsf{Compose} : (c_1,\ldots,c_k,\Gamma) \mathrel{\rightharpoonup} p. }

只有在：

type-compatible；
scope-compatible；
relation-defined；

時才形成候選。

14. Compose 不是「把詞黏在一起」

字串：

quantum + democracy + topology

不自動構成概念。

至少要有：

\operatorname{RelationSchema} (c_i,c_j).

15. Relate：關係發現

若節點都存在：

a,b\in N_t

但關係未知，可提出：

\boxed{ r^\star = \mathsf{Relate}(a,b,\Gamma). }

relation candidate 必須標：

explicit；
inferred；
analogical；
causal-candidate；
theorem-dependency；
translation；
contradiction；
equivalence-candidate。

16. Bridge：中介概念誘導

若：

A\not\leadsto C,

可搜尋：

[ B ]

使：

A\to B\to C.

定義：

\boxed{ \mathsf{Bridge} ( A,C,\mathbf G,\Gamma ) \to \{B_i\}. }

17. Bridge 不一定是新節點

Bridge 可以是：

已存在但未載入 paper；
新 relation；
translation map；
theorem；
shared invariant；
intermediate representation；
tool。

18. Abstract：抽象化

給：

x_1,\ldots,x_n,

尋找共同結構：

a = \mathsf{Abstract} (x_1,\ldots,x_n).

需保存：

retained invariants；
removed details；
counterexamples；
domain；
reconstruction ability。

19. Abstraction Loss

定義：

L_{\mathrm{abs}} = \operatorname{InformationRequired} - \operatorname{InformationPreserved}.

具體 measure 依 backend。

20. Specialize：條件化分型

若概念：

[ c ]

過載／過廣，可：

\boxed{ c \mapsto \{ c_{\theta_1}, \ldots, c_{\theta_k} \}. }

這和 DEST-04 overloaded concept split 相接。

21. Macro：程序概念化

若一條 procedure / proof path：

\pi = (o_1,\ldots,o_k)

被多次成功重用，可提出 macro：

\boxed{ m_\pi = \mathsf{Macro}(\pi). }

22. Macro 是知識單元

Macro 可以保存：

precondition；
procedure；
postcondition；
cost；
failure modes；
certificates；
applicability domain。

因此「概念」不限名詞。

23. Reframe：表示逃逸

\boxed{ \mathsf{Reframe} : (\pi_1,K,G) \mathrel{\rightharpoonup} (\pi_2,p). }

如果在 $\pi_1$ 卡住，可嘗試：

algebraic；
geometric；
graph；
logical；
probabilistic；
programmatic；
visual；
category-like；
database；
proof-theoretic；

表示。

24. Representation Escape Gate

若：

G_{\pi_1}>0

但：

G_{\pi_2}=0,

必須有：

\boxed{ \operatorname{TranslationCert} ( \pi_1,\pi_2 ). }

確認：

不是 quotient 掉難點；
不是放寬問題；
critical invariants preserved；
source trace preserved。

25. Primitive：新原語提案

早期稱：

g^\star\notin T(S_0)

為本體創造。

新版改為：

\boxed{ p_{\mathrm{prim}} = \mathsf{PrimitiveProposal} ( G,\Gamma,\pi,B ). }

26. Primitive Necessity 是相對的

只能聲明：

g^\star \notin \operatorname{Closure}_{\mathfrak O,B} (S_0\mid\pi,\Gamma)

在已搜索／已證明的 backend 範圍內成立。

不能直接推出：

g^\star

在所有可能表示與所有可能演算法下不可生成。

27. PrimitiveNeedCert

primitive_need_certificate:
  candidate: "g*"
  grammar_id: "..."
  operator_set: [...]
  representation_id: "..."
  resource_bound: "..."
  search_procedure: "..."
  closure_status: "not-found|proved-outside|unknown"
  representation_escape_attempted: true
  alternative_bridges_tested: [...]
  result: "primitive-proposal-justified"

28. Primitive Proposal 不等於歷史新穎

即使 current ontology 沒有：

g^\star,

外部文獻可能早已有相同概念。

所以必須另外跑 Novelty Audit。

29. Distill：蒸餾

\boxed{ \mathsf{Distill} : K \to K' }

目標不是最短，而是：

\boxed{ \text{降低冗餘} + \text{保留重建性} + \text{保留來源} + \text{保留邊界} + \text{保留分支}. }

30. Distillation 不是 Expansion 的嚴格逆

一般：

\mathsf{Distill} ( \mathsf{Expand}(K) ) \neq K.

因為：

新 relation 可改變舊節點身份；
新 evidence 可 invalidate；
branch 可形成；
新 primitive 可改寫 ontology；
compression 本身可能有 loss。

31. Reconstructability Certificate

Distillation 必須輸出：

\operatorname{ReconstructCert}(K',K).

至少檢查：

critical claims；
dependencies；
conditions；
counterexamples；
provenance；
open gaps；
branches；
certificates。

32. Concept Identity

概念積分最大的工程問題之一不是生成，而是：

\boxed{ \text{這到底是不是已經存在的東西？} }

33. Alias

若：

p_1,p_2

只是不同名字／措辭，則：

\operatorname{Alias}(p_1,p_2).

不得把 alias 當兩份 coverage。

34. Homonym

相同 label：

\ell

可對應不同概念：

c_1\neq c_2.

所以：

\operatorname{Label}(c_1) = \operatorname{Label}(c_2)

不推出 identity。

35. Identity Fingerprint

可保存：

\boxed{ I(c) = ( definition, relations, conditions, invariants, examples, counterexamples, provenance ). }

Identity resolution 比較的是結構，而不是只比 embedding。

36. Novelty 的六級分離

NoveltyLevel:
  N0_ALIAS:
    meaning: "只是別名／改寫"
  N1_LOCAL:
    meaning: "目前 Agent / context 首次出現"
  N2_CORPUS:
    meaning: "目前指定 corpus 中未找到"
  N3_RELATIONAL:
    meaning: "節點舊，但關係／橋接新"
  N4_STRUCTURAL:
    meaning: "抽象、組合或程序結構新"
  N5_REPRESENTATIONAL:
    meaning: "新表示使既有結構可判定"
  N6_EXTERNAL_CANDIDATE:
    meaning: "經明示外部 novelty search 尚未找到先例"

即使 N6 也不代表全歷史絕對新穎。

37. Novelty Audit

至少查：

semantic aliases；
alternate terminology；
older literature；
adjacent disciplines；
patents / technical reports（若任務需要）；
theorem databases；
code / datasets；
historical branches。

38. Novelty 與 Truth 正交

可以：

\operatorname{Novel}(p)\gg0

但：

\operatorname{Truth}(p)=\mathsf{Fail}.

也可以：

\operatorname{Novel}(p)\approx0

但對當前任務非常重要。

39. Gap-Directed Generation

概念積分不均勻枚舉所有組合。

先有：

\mathbf G_t.

對 Gap (g) 計算：

[ V(g), S(g), P(g), A(g), R(g), C(g). ]

40. Gap Route Utility

\boxed{ U(g,a) = \frac{ \mathbb E[ \Delta J_q + \lambda_G\Delta G^{-} + \lambda_\rho\Delta\rho + \lambda_{\mathrm{glob}}\Delta Globality ] }{ C(a,g)+R(a,g)+\epsilon }. }

其中：

\Delta G^{-}

表示預期 Gap reduction，不假設 Gap count 越少越好。

41. Gap Count Trap

若一個模糊 Gap 被拆成十個 typed obligations：

\#G\uparrow

但：

actionability ↑；
localization ↑；
repairability ↑。

這可能是進步。

42. Frontier-Directed Generation

對：

x\in F_t,

可由：

V_F(x)

選擇：

Retrieve；
Bridge；
Abstract；
Reframe；
Primitive Proposal；
Verify-first。

43. Peripheral Generation

為避免 center bias，概念積分必須保留：

B_{\mathrm{peripheral}}>0.

定期從：

P_r

抽樣：

hidden bridge；
long-tail counterexample；
rare condition；
forgotten method；
alternate primitive。

44. Center-Directed Generation

中心也需要維護：

core reconstruction；
dependency attack；
counterexample search；
certificate upgrade；
bridge strengthening。

所以不是只探索邊緣。

45. Generation Portfolio

定義預算：

B = B_{\mathrm{core}} + B_{\mathrm{frontier}} + B_{\mathrm{periphery}} + B_{\mathrm{verification}} + B_{\mathrm{archaeology}}.

概念積分是 portfolio，不是單一 generator。

46. Candidate Generator 不可信

預設：

\boxed{ \mathsf{Generator} = \text{untrusted proposal source}. }

無論 generator 是：

LLM；
human；
theorem prover；
search algorithm；
simulation；
evolutionary search；

都不能跳過後續 gate。

47. Candidate Formation Pipeline

\boxed{ \mathsf{GapRoute} \to \mathsf{Propose} \to \mathsf{Identity} \to \mathsf{Type} \to \mathsf{Guard} \to \mathsf{Judge} \to \mathsf{Verify} \to \mathsf{Glue} \to \mathsf{Commit}. }

48. X-Guard Interface

X 積分六律提供：

Formation；
Provenance；
Non-Collapse；
Re-Integration Guard；
Structural Differentiation；
Dynamic Closure。

因此：

\boxed{ \mathsf{CI} = \text{candidate exploration}, }

\boxed{ \mathsf{XGuard} = \text{formation legality}. }

49. Formation Guard

候選 (p) 至少需：

\operatorname{Type}(p), \quad \operatorname{Dom}(p), \quad \Theta(p), \quad \operatorname{Prov}(p).

缺任一 critical component，可：

\mathsf{Defer}

而不是硬 commit。

50. Provenance Guard

每個 proposal 保存：

direct source；
retrieved source；
generated source；
transformation history；
model/tool version；
prompt/task context；
human edit。

51. Non-Collapse Guard

若候選整合：

c_1,c_2 \to p

需要消除它們的必要差異：

\Delta_{\mathrm{necessary}},

則：

\boxed{ \operatorname{NonCollapse}(p)=\mathsf{Fail}. }

52. Difference Ledger

任何 integration 保存：

difference_ledger:
  preserved: []
  abstracted: []
  discarded: []
  unresolved: []
  justification: []

53. Circularity Guard

候選 (p) 的生成規則不能偷偷假設：

[ p ]

已經成立。

若 dependency DAG 有：

p \leadsto p

且沒有合法 recursion / fixed-point backend，標：

\mathsf{Circular}.

54. Quantifier Guard

若來源只有：

finite sample
positive density
almost all

不得生成：

for all

而不新增 global theorem。

所以 concept formation 必須保留：

\operatorname{Quantifier}(p).

55. Scope Guard

候選：

[ p ]

只能在：

\Theta(p)

內被 commit。

跨 domain generalization 需要新證書。

56. Dependency Guard

若：

[ p ]

依賴：

a_1,\ldots,a_k,

每個依賴要有：

identity；
version；
status；
applicability；
provenance。

57. Negative Knowledge

概念積分不只生成正命題。

可生成：

counterexample；
impossibility candidate；
exclusion condition；
failure mode；
non-equivalence；
boundary certificate。

所以：

\boxed{ \text{knowledge expansion} \neq \text{positive claim expansion only}. }

58. Counterexample as Conceptual Object

反例：

x^\times

可以：

縮小 domain；
split concept；
invalidate relation；
create branch；
force reframe。

因此它是高價值 concept object。

59. CEGAR-like Refinement Interface [ALIGN]

概念積分可採用：

coarse candidate
→ guard / checker
→ counterexample
→ refine representation / condition / concept
→ check again

但 DEST 不把所有 concept formation 都等同 model checking abstraction。

60. Refinement Event

\boxed{ p_{n+1} = \operatorname{Refine} ( p_n, x_n^\times, \theta_n, \pi_n ). }

61. Refinement Termination Debt

若：

p_0 \to p_1 \to p_2 \to \cdots

持續 refinement，不能假設有限停止。

記：

D_{\mathrm{refine}} = \operatorname{TerminationDebt}.

62. False Precision

refinement 可以增加形式細節，但：

D^{\mathrm{verify}}

未必增加。

因此：

\boxed{ \text{precision} \not\Rightarrow \text{verification}. }

63. Conceptual Blending Backend [ALIGN]

Fauconnier–Turner 的 conceptual integration networks 提供一種：

multiple input spaces；
selective projection；
emergent structure；

的認知模型。

DEST 可把它作：

\mathsf{Compose}/\mathsf{Blend}

候選生成器之一。

但：

\boxed{ \text{cognitive blend} \neq \text{verified knowledge integration}. }

64. Structure-Mapping Backend [ALIGN]

Gentner 的 structure-mapping 強調：

analogy 的核心可以落在 relation system 的映射，而非只匹配 surface attributes。

DEST 可用於：

Bridge；
Relate；
Abstract；
Reframe；

的候選搜尋。

65. Analogy Candidate

給 base：

[ B ]

與 target：

[ T, ]

產生 mapping：

m:B\rightsquigarrow T.

必須區分：

literal identity
structural analogy
functional analogy
causal analogy
metaphorical analogy

66. Analogy Transfer Guard

若 base theorem：

[ P(B) ]

存在，不得直接推出：

[ P(T). ]

只有在 required invariants preserved 時才可建立 transfer candidate。

67. Formal Concept Analysis Backend [ALIGN]

對 object set：

[ G ]

attribute set：

[ M ]

與 incidence：

I\subseteq G\times M,

FCA 可構造 formal concepts 與 concept lattice。

DEST 可把它作：

attribute-based abstraction；
hierarchy induction；
concept identity；
specialization；

的後端之一。

68. FCA 不等於全部概念生成

FCA 偏向：

\boxed{ \text{formal context} \to \text{concept lattice}. }

DEST 還要處理：

procedures；
causal relations；
tools；
versions；
branches；
representation changes；
proofs；
gaps。

69. Category-like Integration Backend

若局部對象與 morphisms 已合法 typed，可用 category-theoretic constructions 作特定 integration backend。

候選包括：

product；
coproduct；
pullback；
pushout；
colimit。

但只能在：

\operatorname{BackendQualified}

時使用。

70. Pushout-like Bridge

若：

A\leftarrow C\rightarrow B

有共同接口，可研究 pushout-like amalgamation。

但：

\boxed{ \text{semantic merge} \neq \text{categorical pushout} }

除非 category、morphisms 與 universal property 都明示。

71. Concept Algebra Is Plural

本文拒絕：

\text{Concept Space} = \text{one universal algebra}.

而允許：

\Pi = \{ \pi_{\mathrm{graph}}, \pi_{\mathrm{logic}}, \pi_{\mathrm{lattice}}, \pi_{\mathrm{category}}, \pi_{\mathrm{vector}}, \pi_{\mathrm{program}}, \pi_{\mathrm{prob}} \}.

72. Backend Selection

對 Gap (g)，選：

\pi^\star = \arg\max_{\pi} \frac{ \mathbb E[ \Delta\operatorname{Actionability}(g) ] }{ C_\pi+R_\pi+\epsilon }.

73. Representation Tournament

對 stubborn Gap：

[ g, ]

同時跑：

\pi_1,\ldots,\pi_k.

比較：

candidate quality；
verification yield；
translation loss；
compute；
globality；
certificate strength。

74. Representation Victory 不是 Absolute Victory

若：

\pi_2

比：

\pi_1

更有效，只能說：

對當前 task / cost / certificate policy， $\pi_2$ 更適合。

不能說它是唯一真正表示。

75. Concept Formation Cost

對候選 (p)：

\boxed{ \mathbf C(p) = ( C_{\mathrm{retrieve}}, C_{\mathrm{generate}}, C_{\mathrm{identity}}, C_{\mathrm{type}}, C_{\mathrm{verify}}, C_{\mathrm{glue}}, C_{\mathrm{maintain}}, C_{\mathrm{migrate}}, C_{\mathrm{rollback}} ). }

76. Cheap Generation / Expensive Validation Regime

當：

C_{\mathrm{generate}} \ll C_{\mathrm{verify}},

系統不應最大化 candidate count。

應最大化：

\boxed{ \text{verified value per lifecycle cost}. }

77. Candidate Backlog

B^{\mathrm{cand}}_t = |\mathcal P_t^{\mathrm{unverified}}|.

若：

\nu_{\mathrm{gen}} > \nu_{\mathrm{verify}},

backlog 增長。

78. Candidate Value Decay

候選可能因：

world change；
version；
duplicated discovery；
better theory；

降低價值。

可定義：

[ V(p,t). ]

79. Candidate Queue

candidate_queue:
  - id: p1
    gap_ref: g12
    type: bridge
    expected_value: 0.91
    verification_cost: 0.34
    novelty_state: N3_RELATIONAL
    status: typed

80. Candidate Scheduling

\boxed{ p^\star = \arg\max_p \frac{ V(p) \cdot P_{\mathrm{verify}}(p) \cdot L(p) }{ C(p)+R(p)+\epsilon }. }

其中：

(V)：任務價值；
$P_{\mathrm{verify}}$ ：可驗證性；
(L)：下游 leverage。

81. Diversity Constraint

避免所有候選都來自同一 representation / model：

D( \mathcal P_t ) \ge \tau_D.

82. Redundancy Control

候選相似度過高：

\operatorname{sim}(p_i,p_j)>\tau

則先做 identity / dedup audit。

83. Contradiction-Preserving Candidate Pool

兩個候選：

p, \neg p

若都未證，應保存：

\{p,\neg p\}

而不是 generator 投票決定。

84. Branch Candidate Pool

若候選依：

\theta_1,\theta_2

分化，建立：

p^{(1)}, p^{(2)}.

85. Concept Commit Event

一個概念真正寫入 active state 是 DEST-07 event：

e^{\mathrm{commit}}_p.

所以：

\boxed{ \mathsf{CI} \to \mathsf{DEST\ Evolution}. }

86. Commit Levels

ConceptCommitLevel:
  PROPOSAL_ONLY
  TYPED_ONLY
  JUDGEABLE
  LOCALLY_VERIFIED
  BRANCH_GLOBAL
  STRICT_GLOBAL
  CANONICAL

87. Canonical 不等於永恆

Canonical 只表示：

在目前版本中作為主參考。

仍可：

canonical
→ contested
→ stale
→ superseded
→ reopened

88. Breathing Cycle 2.0

定義：

\boxed{ \mathsf{Breath}_{2.0} = \mathsf{Refrontier} \circ \mathsf{Distill} \circ \mathsf{Commit} \circ \mathsf{Glue} \circ \mathsf{Verify} \circ \mathsf{Guard} \circ \mathsf{Propose} \circ \mathsf{GapRoute}. }

89. Breath 不是必然收斂

可發生：

branch growth；
boundary expansion；
relative coverage decline；
invalidation；
ontology rewrite；
primitive proposal；
rollback。

所以：

\boxed{ \mathsf{Breath}_{2.0} \text{ is not assumed contractive}. }

90. Breath Event Log

每一輪保存：

breath_cycle:
  id: "bc-..."
  input_state: "K-..."
  selected_gaps: []
  proposals: []
  guarded: []
  verified: []
  committed: []
  distilled: []
  invalidated: []
  new_frontiers: []
  output_state: "K-..."

91. Breath Gain Vector

\boxed{ \Delta\mathbf J_{\mathrm{breath}} = ( \Delta\rho, \Delta G, \Delta V, \Delta Globality, \Delta Cost, \Delta Novelty, \Delta Robustness ). }

92. Negative Breath Is Allowed

某一輪可能：

\rho^V\downarrow

因為發現反例。

但：

truthfulness ↑；
boundary honesty ↑；
error ↓。

因此不應判為失敗。

93. Distill–Expand Balance

如果只 Expand：

|\mathcal P_t|\to\infty.

如果只 Distill：

\text{novelty}\to0

或過度 collapse。

所以需要動態 balance。

94. Distillation Trigger

當：

duplicate rate 高；
candidate backlog 高；
center overload；
context cost 高；
reconstruction stable；

才提高 distill budget。

95. Expansion Trigger

當：

frontier stalled；
Gap persistence 高；
verification backlog 低；
center too rigid；
peripheral novelty low；

提高 expansion budget。

96. Primitive Trigger

只有在：

Gap persistent；
existing operations exhausted；
representation tournament 無解；
bridge search 無解；
current grammar closure audit 有證據；
new primitive 有 explanatory / operational value；

時才提高 Primitive Proposal priority。

97. Primitive Spam Guard

LLM 很容易 coin 新術語。

因此每個 primitive proposal 必須回答：

為什麼不能用已有概念表達？
新原語減少了什麼 debt？
它新增什麼 prediction / operation？
是否只是 rename？
是否跨 representation 仍必要？

98. Terminology Novelty ≠ Structural Novelty

定義：

N_{\mathrm{term}}

與：

N_{\mathrm{struct}}.

可以：

N_{\mathrm{term}}\gg0

但：

N_{\mathrm{struct}}\approx0.

99. Structural Novelty

若新候選改變：

dependency；
reachable set；
proof path；
model partition；
representation；
actionability；

才可能有較高 structural novelty。

100. Conceptual Compression

一個新概念的價值也可來自：

\operatorname{CompressionGain} = L(K_{\mathrm{old}}) - L(K_{\mathrm{with\ concept}}).

但 compression 需 non-collapse audit。

101. Conceptual Decompression

反過來，一個過度壓縮概念可拆成：

c \to \{c_1,\ldots,c_k\}.

這是：

\boxed{ \mathsf{Specialize} }

而不是知識退步。

102. Concept Coupling Graph

候選之間建立：

G_P = (V_P,E_P).

edge：

supports；
contradicts；
refines；
depends；
aliases；
generalizes；
specializes；
translates。

103. Proposal Cascade

一個新 bridge 可生成：

p \to \{p_1,\ldots,p_m\}.

但 downstream proposals 先標：

\mathsf{DependentOnUnverified}(p).

104. Speculative Depth

定義：

d_{\mathrm{spec}}(p)

為從最近 verified ancestor 到候選的未驗證依賴深度。

105. Speculative Depth Guard

若：

d_{\mathrm{spec}}>\tau_q,

降低 priority 或要求中間驗證。

避免：

在 10 層未證假設上繼續建 100 篇理論。

106. Verified Anchor Density

候選 subgraph (H) 定義：

A_V(H) = \frac{ |V_{\mathrm{verified}}(H)| }{ |V(H)| }.

低 anchor density 是風險訊號，不是自動錯誤。

107. Source Anchor Density

同理：

A_S(H) = \frac{ |V_{\mathrm{provenanced}}| }{ |V(H)| }.

108. Hallucination Surface

把：

low verified anchor；
low source anchor；
high speculative depth；
high novelty claim；

綜合成：

H_{\mathrm{risk}}.

109. Hallucination Surface 是風險，不是真值

H_{\mathrm{risk}}\gg0

只表示需要更多 verification。

110. Conceptual Archaeology

歷史候選：

p_{\mathrm{old}}

可因新工具／理論被重新激活。

操作：

\mathsf{Retrieve} + \mathsf{Rejudge} + \mathsf{Reverify}.

111. Delayed Concept Discovery

一個 proposal 在 $t_0$ ：

\mathsf U

但 $t_1$ 新 evidence 來後：

\mathsf{Verified}.

所以 concept value 是時間相對。

112. Knowledge Production Modes

可將一輪概念產生分為：

KnowledgeProductionMode:
  RETRIEVAL_DOMINANT
  COMPOSITION_DOMINANT
  RELATION_DOMINANT
  ABSTRACTION_DOMINANT
  REPRESENTATION_DOMINANT
  PRIMITIVE_DOMINANT
  VERIFICATION_DOMINANT
  DISTILLATION_DOMINANT

113. Mode Switching

當 retrieval saturates：

\Delta\rho^N\approx0,

可轉：

\text{Retrieve} \to \text{Relate / Verify / Reframe}.

114. Concept Integral Controller

\boxed{ \mathcal M_{\mathrm{CI}} : ( \mathbf G, \mathbf B, \mathbf C, \boldsymbol\rho, \mathcal H, B ) \to \mathfrak O_{\mathrm{CI}}. }

它選下一個 operation。

115. Controller Objective

a^\star = \arg\max_a \frac{ \mathbb E[ \Delta\operatorname{VerifiedValue} + \Delta\operatorname{Globality} + \Delta\operatorname{Actionability} ] }{ C(a)+R(a)+\epsilon }.

116. Search / Generate / Verify Allocation

對 budget：

B = B_S+B_G+B_V.

固定比例未必最佳。

可由 backlog / frontier / risk 動態調整。

117. Verification-Limited Regime

若：

\nu_G \gg \nu_V,

降低 generation budget：

B_G\downarrow.

提高：

B_V\uparrow.

118. Discovery-Limited Regime

若：

\nu_V

有閒置，但：

|\mathcal P|\approx0,

提高 retrieval / generation。

119. Glue-Limited Regime

若 local verified 很多，但：

B^{L\to G}

高，優先：

relation；
bridge；
loop audit；
branch management。

120. Representation-Limited Regime

若：

U3_{\mathrm{representation}}

比例高，啟動 Reframe tournament。

121. Concept Integral Runtime Pipeline

INPUT:
  K_t
  task q
  condition theta
  representation pi
  budget B

1. BUILD current:
      domains
      coverage
      gaps
      centers
      boundaries
      branches
      certificates

2. ROUTE Gap / Frontier / Periphery

3. CHOOSE operation:
      Retrieve
      Compose
      Relate
      Bridge
      Abstract
      Specialize
      Macro
      Reframe
      Primitive
      Distill

4. GENERATE proposals

5. RUN identity resolution

6. RUN novelty audit level

7. TYPE proposals

8. RUN X-Guards:
      provenance
      non-collapse
      scope
      quantifier
      circularity
      dependency

9. PROMOTE:
      typed → judgeable

10. VERIFY:
      theorem / experiment / source / program / human / formal

11. RUN global glue audit

12. COMMIT / FORK / DEFER / REJECT

13. UPDATE DEST-07 evolution state

14. DISTILL if triggered

15. RECOMPUTE frontiers

16. LOG full breathing cycle

122. AI-Readable Proposal Schema

concept_proposal:
  proposal_id: "cp-001"
  label: "..."
  operation: "bridge"
  gap_ref: "G-R-006"

  definition:
    text: "..."
    type: "relation_bridge"

  inputs:
    - ref: "A"
    - ref: "C"

  derivation:
    operator: "Bridge"
    model: "..."
    tool: "..."
    prompt_hash: "..."

  conditions:
    domain: "..."
    assumptions: []
    quantifier: "..."

  representation:
    current: "typed-graph"
    alternatives_tested: []

  provenance:
    sources: []

  identity:
    status: "unresolved"

  novelty:
    level: "N1_LOCAL"
    external_search_required: true

  guards:
    type: "pending"
    noncollapse: "pending"
    provenance: "pending"

  verification:
    status: "none"

  globality:
    status: "unknown"

  status: "proposal"

123. Concept Certificate

concept_certificate:
  concept_id: "c-..."
  version: "..."
  identity_cert: "..."
  type_cert: "..."
  condition_cert: "..."
  provenance_cert: "..."
  verification_certs: []
  translation_certs: []
  global_gluing_cert: null
  reconstruction_cert: null
  novelty_audit: null

124. Failure Taxonomy

Code	名稱	意義
CI-00	Proposal-truth collapse	生成即當真
CI-01	Alias novelty	改名冒充新概念
CI-02	Retrieval invention	找到舊知冒充發明
CI-03	Surface composition	詞語拼接冒充結構組合
CI-04	Relation hallucination	無證關係被寫成既定關係
CI-05	Bridge hallucination	中介沒有合法 mapping
CI-06	Abstraction collapse	抽象抹除必要差異
CI-07	Over-specialization	過度分型造成碎片化
CI-08	Macro overfit	程序宏只記住訓練題
CI-09	Representation escape cheat	換表示偷偷放寬問題
CI-10	Primitive spam	亂造新原語
CI-11	Primitive absoluteness	相對生成失敗冒充本體不可還原
CI-12	Distillation loss	壓縮丟失 critical structure
CI-13	Quantifier inflation	局部／統計結果升格全域
CI-14	Circular formation	候選生成依賴自身成立
CI-15	Speculative stack	未證候選堆太深
CI-16	Novelty overclaim	corpus 未找到冒充歷史首創
CI-17	Verification starvation	generator 爆量但 verifier 跟不上
CI-18	Globality bypass	local verification 冒充全域
CI-19	Source collapse	候選無 lineage
CI-20	Backend absolutism	單一形式化冒充概念本體
CI-21	Breath convergence overclaim	未證 contraction 卻宣稱唯一收斂
CI-22	Coverage monotonicity illusion	假設每輪 coverage 必升
CI-23	Gap-count optimization	只追求 Gap 數下降
CI-24	Center bias	只從高中心節點生成
CI-25	Peripheral neglect	長尾永不探索

125. 外部形式對照 [ALIGN]

125.1 Gentner — Structure Mapping

Structure-mapping 提供關係結構映射與 systematicity 的成熟認知原型。

DEST 用於：

analogy candidate；
bridge；
abstraction；
reframe。

不把 analogy 當 proof。

125.2 Fauconnier–Turner — Conceptual Integration Networks

其 blending model 提供多 input spaces、selective projection、emergent structure 的候選生成原型。

DEST 的 Concept Integral 名稱與其 conceptual integration 有語義鄰近，但兩者不是同一理論。

125.3 Formal Concept Analysis

Ganter–Wille 的 FCA 以 formal contexts 與 concept lattices 提供：

concept formation；
hierarchy；
attribute closure；

的成熟數學工具。

DEST 只在 object–attribute backend 合適時使用。

125.4 CEGAR

Clarke–Grumberg–Jha–Lu–Veith 的 CEGAR 提供：

\text{abstraction} \to \text{counterexample} \to \text{refinement}

的成熟工程結構。

DEST 借用「錯誤候選應回饋生成器」的控制思想。

126. 第一組命題

Proposition A [PROP]

存在 proposal：

[ p ]

使：

p\in D^{\mathrm{def}}

但：

p\notin D^{\mathrm{verify}}.

因此概念形成不推出知識成立。

Proposition B [PROP]

存在：

N_{\mathrm{term}}\gg0

但：

N_{\mathrm{struct}}=0.

例如純別名。

Proposition C [PROP]

存在低 degree peripheral node：

[ x ]

經新任務後成為：

C^{\mathrm{task}}.

所以只從中心生成會漏掉有效候選。

Proposition D [PROP]

若：

\mathsf{Reframe}_{\pi_1\to\pi_2}

丟失 critical invariant，則即使 Gap 消失，也不能宣稱合法 representation escape。

Proposition E [PROP]

Primitive Proposal 的必要性若只相對於 operator set $\mathfrak O$ ，不能推出對更大 operator set $\mathfrak O'\supset\mathfrak O$ 仍必要。

127. 研究猜想

Conjecture 1：Typed Generation Outperforms Raw Brainstorming

在長時程 research benchmark 中，強制 proposal schema、identity、scope、provenance 與 verification queue，將比 raw free-generation 產生更高 verified-value / token。

Conjecture 2：Gap-Directed Portfolio Outperforms Uniform Expansion

對大型知識圖，Gap / Frontier / Periphery 混合路由將比均勻組合生成更有效降低高價值 debt。

Conjecture 3：Primitive Spam Is a Major LLM Failure Mode

未要求 PrimitiveNeedCert 的模型更容易把重新命名／局部抽象誤標為新原語。

Conjecture 4：Representation Tournament Raises Verification Yield

對 persistent Gap，並行測多表示並要求 TranslationCert，將提高真正 verification success，且降低假 obstruction。

Conjecture 5：Candidate Backlog Becomes the Dominant Cost Under Cheap Generation

當：

C_{\mathrm{generate}}\to0

而：

C_{\mathrm{verify}}

維持高值，研究瓶頸將從 ideation 轉向 candidate triage、verification、gluing 與 provenance。

128. 實驗設計

建立五類 benchmark。

A. Known rediscovery

答案已存在外部 corpus，測是否誤報 invention。

B. Compositional novelty

已知 primitives 可形成新有效組合。

C. Hidden bridge

A、C 已知，中介 B 缺失。

D. Representation trap

原表示難，替代表示可判。

E. Primitive-extension candidate

現有 grammar 在 bounded search 下無法產生有效結構。

129. Baselines

Baseline 1

Free LLM brainstorming。

Baseline 2

Retrieval + generation。

Baseline 3

Gap-directed generation。

Baseline 4

Gap + X-Guard。

DEST-08

完整：

\mathsf{CI} + \mathsf{Identity} + \mathsf{Novelty} + \mathsf{XGuard} + \mathsf{Verify} + \mathsf{Glue} + \mathsf{Evolution}.

130. Metrics

verified proposal yield；
alias rate；
false novelty rate；
hallucinated relation rate；
primitive spam rate；
representation cheat rate；
globality error；
provenance completeness；
candidate backlog；
verification cost；
downstream reuse；
reconstruction quality；
frontier advance；
lifecycle value / cost。

131. Ablation

移除：

identity；
novelty audit；
provenance；
non-collapse；
quantifier guard；
representation tournament；
primitive certificate；
verification；
global glue；
distillation cert。

觀察失敗模式。

132. Concept Integral MVP

最低工程實作：

knowledge graph；
vector retrieval；
proposal table；
Gap table；
candidate queue；
identity resolver；
X-Guard；
verifier adapters；
provenance store；
branch/version state；
scheduler；
event ledger。

133. MVP 不需要先解「概念本體論」

因為操作層可先測：

\boxed{ \text{proposal quality} + \text{verification yield} + \text{routing efficiency}. }

134. 最小核心公式

Candidate Generator

\boxed{ \mathsf{CI}_{q,\theta,\pi,B} : \mathbb K_t \mathrel{\rightharpoonup} \mathcal P_t. }

Operation Set

\boxed{ \mathfrak O_{\mathrm{CI}} = \{ \mathsf{Retrieve}, \mathsf{Compose}, \mathsf{Relate}, \mathsf{Bridge}, \mathsf{Abstract}, \mathsf{Specialize}, \mathsf{Macro}, \mathsf{Reframe}, \mathsf{Primitive}, \mathsf{Distill} \}. }

Formation Pipeline

\boxed{ \mathsf{GapRoute} \to \mathsf{Propose} \to \mathsf{Identity} \to \mathsf{Type} \to \mathsf{Guard} \to \mathsf{Judge} \to \mathsf{Verify} \to \mathsf{Glue} \to \mathsf{Commit}. }

Primitive Proposal

\boxed{ g^\star \notin \operatorname{Closure}_{\mathfrak O,B} (S_0\mid\pi,\Gamma) }

只作相對必要性聲明。

Breathing Cycle

\boxed{ \mathsf{Breath}_{2.0} = \mathsf{Refrontier} \circ \mathsf{Distill} \circ \mathsf{Commit} \circ \mathsf{Glue} \circ \mathsf{Verify} \circ \mathsf{Guard} \circ \mathsf{Propose} \circ \mathsf{GapRoute}. }

135. 結論

早期概念積分最大的直覺是：

知識可以透過有方向的生成—間隙—蒸餾循環持續長出來。

這個直覺保留。

但新版不再要求它同時承擔：

現實宇宙本體；
唯一代數形式；
覆蓋率定理；
Gödel 測度；
唯一終態；
全知極限。

概念積分 2.0 被收斂到一個更可操作的位置：

\boxed{ \text{Gap-directed candidate formation engine}. }

它真正回答的是：

下一個值得被提出、連接、抽象、橋接、重表示或重新發現的知識候選是什麼？

而不是：

下一個真理是什麼？

後一個問題必須交給：

\boxed{ \text{Guard} + \text{Judgment} + \text{Verification} + \text{Global Glue} + \text{Evolution}. }

因此：

\boxed{ \text{Generation} \neq \text{Formation} \neq \text{Judgment} \neq \text{Verification} \neq \text{Globality}. }

這個分離使 AI 可以非常激進地探索：

\mathcal P_t

同時非常保守地寫入：

K_t^{\mathrm{verified}}.

換句話說：

\boxed{ \text{探索可以寬，知識提交必須窄。} }

對未來 AI 原生研究而言，這可能比「讓模型少幻想」更實際。

因為我們不要求 generator 永遠不產生錯誤候選。

我們要求的是：

\boxed{ \text{錯誤候選不能無聲地穿過知識邊界。} }

而真正有價值的新概念，則應能從：

\text{Gap}

一路通過：

\text{Identity} \to \text{Type} \to \text{Guard} \to \text{Verify} \to \text{Glue}

最後成為可重播、可追溯、可更新的知識狀態。

附錄 A：Concept Operation Dictionary

ConceptOperation:
  RETRIEVE
  COMPOSE
  RELATE
  BRIDGE
  ABSTRACT
  SPECIALIZE
  MACRO
  REFRAME
  PRIMITIVE
  DISTILL

附錄 B：Proposal State

ProposalState:
  RAW
  PROPOSAL
  IDENTITY_RESOLVED
  TYPED
  JUDGEABLE
  LOCALLY_VERIFIED
  BRANCH_GLOBAL
  STRICT_GLOBAL
  CANONICAL
  STALE
  REOPENED
  SUPERSEDED
  ARCHIVED
  REJECTED

附錄 C：Novelty State

NoveltyState:
  N0_ALIAS
  N1_LOCAL
  N2_CORPUS
  N3_RELATIONAL
  N4_STRUCTURAL
  N5_REPRESENTATIONAL
  N6_EXTERNAL_CANDIDATE

附錄 D：內部正典依賴

《概念積分：知識宇宙的生成擴張代數》v0.1，尤其附錄 R/S 自審。
《X 積分六大基本律》v0.1。
《動態知識空間總論》v0.1。
《多域知識判定論》v0.1。
《多維知識覆蓋論》v0.1。
《Gap 場論》v0.1。
《關聯拓撲與全域黏合》v0.1。
《多中心知識拓撲》v0.1。
《移動邊界論》v0.1。
《條件依賴知識演化 2.0》v0.1。
《解空間幾何快速通道的計算實驗》v0.1。

附錄 E：外部形式對照

Dedre Gentner (1983), Structure-Mapping: A Theoretical Framework for Analogy, Cognitive Science 7(2), 155–170.
Gilles Fauconnier & Mark Turner (1998), Conceptual Integration Networks, Cognitive Science 22(2), 133–187.
Bernhard Ganter & Rudolf Wille, Formal Concept Analysis: Mathematical Foundations, Springer, 2nd ed. 2024.
Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu & Helmut Veith (2000), Counterexample-Guided Abstraction Refinement, CAV 2000, LNCS 1855, 154–169; journal extension JACM 50(5), 2003.

與下一篇的接口

DEST-08 完成：

\boxed{ \text{candidate generation and concept formation}. }

下一篇最自然可進：

\boxed{ \text{DEST-09｜表示逃逸與解空間導航 2.0} }

專門研究：

Representation Tournament；
Fold / Bridge / Project / Lift / Compress / Reparam / ClassJump / Tunnel；
快速通道成本；
translation certificates；
quotient loss；
path reuse；
solution-space rewriting。

也就是：

當「多生成幾個概念」仍然解不了 Gap 時，系統如何直接改寫問題所在的表示與解空間？

EML-DEST-2026-08 · v0.1 · 2026-08-12