--- title: "移動邊界論：定義、可達、判定、驗證、全域、可知與不可約邊界的動態學" title_en: "Moving Boundary Theory: Dynamics of Definition, Reachability, Judgment, Verification, Global, Knowability, and Irreducible Boundaries" series: "動態知識空間論（Dynamic Epistemic Space Theory, DEST）" series_id: "EML-DEST-2026-06" version: "v0.1" date: "2026-08-12" language: "zh-Hant" document_type: "系列第六篇／移動邊界理論／Frontier Dynamics／AI-readable boundary 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" canonical_keywords: - "移動邊界" - "可知邊界" - "Domain Boundary" - "Frontier" - "Boundary Velocity" - "Boundary Flux" - "Frontier Lag" - "Boundary Hysteresis" - "Reachability Boundary" - "Verification Frontier" - "Irreducible Boundary" - "Level Set" - "Hamilton-Jacobi Reachability" --- # 移動邊界論 ## 定義、可達、判定、驗證、全域、可知與不可約邊界的動態學 ## 摘要 本文是《動態知識空間論》（Dynamic Epistemic Space Theory, DEST）的第六篇子理論，專門細化總狀態中的： \[ \mathbf B_t. \] 前五篇已把知識空間分解為多域資格、六維覆蓋、八類 Gap、局部—全域關聯拓撲與多中心角色。然而，一個仍未被完整處理的核心問題是： > **這些域、Gap、中心與可知區域的邊界本身如何隨時間移動？** 早期「移動中的可知邊界」已提出：已驗證或可條件判斷的區域與尚未結構化未知之間存在動態界面；人機協作可以擴張該界面，但創新、反身性、策略適應、狀態空間擴張、知識失效與驗證積欠又可能使相對可知性停滯甚至下降。 本文將這一命題重新放入 DEST 的多域系統，定義： \[ \boxed{ \mathbf B_t = \left( B_t^{D}, B_t^{O}, B_t^{R}, B_t^{J}, B_t^{V}, B_t^{L}, B_t^{G}, B_t^{K}, B_t^{U} \right). } \] 其中： - \(B^D\)：定義域邊界； - \(B^O\)：觀察域邊界； - \(B^R\)：可達域邊界； - \(B^J\)：判定域邊界； - \(B^V\)：驗證域邊界； - \(B^L\)：局部可處理域邊界； - \(B^G\)：全域黏合域邊界； - \(B^K\)：可知邊界； - \(B^U\)：條件化不可約邊界。 對任一資格域： \[ D^\alpha_{t,\theta,\pi}, \] 其邊界不是無條件物件，而應寫成： \[ \boxed{ \partial_{\tau} D^\alpha_{t,\theta,\pi}, } \] 其中 \(\tau\) 是所選 topology／graph adjacency／metric／operational neighborhood backend。沒有合法鄰域結構時，不得自由使用幾何「邊界」一詞。 本文進一步區分： \[ \boxed{ \text{Boundary} \neq \text{Frontier} \neq \text{Periphery} \neq \text{Edge} \neq \text{Unknown}. } \] Boundary 是某域的分界；Frontier 是其中對當前任務具有可跨越性、活動性與預期收益的子集；Periphery 是低中心性已知區；Edge 是表示圖上的外圍位置；Unknown 則是認識狀態。 本文定義三種互補的邊界動態量： 第一，set displacement： \[ \boxed{ v_{\mathrm{set}}^\alpha = \frac{ d_{\mathrm{set}} ( \partial D^\alpha_t, \partial D^\alpha_{t+\Delta t} ) }{ \Delta t }, } \] 它回答「邊界移了多遠」，但不提供方向。 第二，signed domain flux： \[ \boxed{ \Phi^\alpha_t = \frac{ \mu(D^\alpha_{t+\Delta t}\setminus D^\alpha_t) - \mu(D^\alpha_t\setminus D^\alpha_{t+\Delta t}) }{ \Delta t }, } \] 它區分擴張與回縮。 第三，只有在合法連續 level-set backend 中，才定義 normal velocity： \[ \boxed{ \partial_t\phi + V_n|\nabla\phi| = 0, \qquad \partial D_t = \{x:\phi(x,t)=0\}. } \] 本文也定義多前沿間的距離與延遲，例如： \[ \mathcal L^{R\to V}_t = d( B_t^{R}, B_t^{V} ), \] 用以表示「可達前沿已經往外走，但驗證前沿仍落後」的 frontier lag。 本文核心命題是： \[ \boxed{ \text{知識進展不是一條邊界單向向外推進，} } \] 而是： \[ \boxed{ \text{多個條件化邊界以不同速度、方向與拓撲事件共同演化。} } \] --- # 0. 研究定位與非主張聲明 本文不主張： 1. 所有知識域都有歐氏幾何邊界； 2. 所有 boundary 都可由 smooth manifold 表示； 3. 所有 frontier 都具有 normal vector； 4. 所有邊界都能以單一速度描述； 5. Hausdorff distance 能完整表達邊界方向； 6. 可達域必然由 Hamilton–Jacobi PDE 表示； 7. viability kernel 等於知識可知域； 8. free-boundary PDE 等於知識邊界問題； 9. concept drift 等於知識邊界移動； 10. 驗證域一定單調增加； 11. 可知邊界越外側代表文明越接近全知； 12. 「不可約邊界」代表形上學上永久不可知； 13. 所有邊界收縮都是退步； 14. 所有邊界擴張都是進步； 15. 邊界的幾何平滑度等於理論成熟度。 本文主張的是： > 邊界必須相對於 domain、condition、representation、time 與 neighborhood backend 定義；其演化可以被分解、測量與稽核，但不同後端提供的邊界概念不能無條件互換。 --- # 1. 從「一條可知邊界」到多邊界系統 DEST-01 定義七個主要資格域： \[ \mathcal D_t = \langle D^D,D^O,D^R,D^J,D^V,D^L,D^G \rangle. \] 因此自然存在多種邊界，而不是唯一： \[ \partial D. \] 定義： \[ \boxed{ \mathbf B_t^{\mathrm{domain}} = ( \partial D^D, \partial D^O, \partial D^R, \partial D^J, \partial D^V, \partial D^L, \partial D^G )_t. } \] 這些邊界一般： \[ \partial D^D \neq \partial D^R \neq \partial D^J \neq \partial D^V \neq \partial D^G. \] --- # 2. 邊界需要鄰域後端 ## 2.1 Topological boundary [DEF] 若 \(X\) 配備 topology： \[ \tau, \] 對： \[ A\subseteq X, \] 標準邊界： \[ \boxed{ \partial_\tau A = \overline{A} \cap \overline{X\setminus A}. } \] 等價地： \[ \partial_\tau A = \overline A \setminus \operatorname{Int}_\tau(A). \] --- ## 2.2 Metric boundary 若有 metric \(d\)，可使用其誘導 topology。 亦可定義到集合距離： \[ d(x,A) = \inf_{a\in A}d(x,a). \] --- ## 2.3 Graph boundary 若後端是 graph： \[ G=(V,E), \] 對節點集合： \[ S\subseteq V, \] 內部 vertex boundary 可定義： \[ \boxed{ \partial_G^- S = \{ u\in S: \exists v\notin S,\ (u,v)\in E \}. } \] 外部 vertex boundary： \[ \boxed{ \partial_G^+ S = \{ v\notin S: \exists u\in S,\ (u,v)\in E \}. } \] --- ## 2.4 Operational boundary 若沒有自然 topology，但存在操作成本： \[ C(x\to y), \] 可定義 budget-relative operational neighborhood： \[ N_B(x) = \{y:C(x\to y)\le B\}. \] 進而定義 operational boundary。 所以： \[ \boxed{ \text{Boundary} = \text{set} + \text{neighborhood semantics}. } \] --- # 3. Boundary Certificate 任何 boundary claim 至少保存： ```yaml boundary_certificate: boundary_id: "..." domain_type: "reachable|judgeable|verifiable|global|..." time: "..." condition_id: "..." representation_id: "..." base_space_id: "..." neighborhood_backend: type: "topology|metric|graph|cost|level-set|custom" ref: "..." definition_ref: "..." scope: "..." certificate_state: "defined|estimated|verified|unknown" ``` 沒有 neighborhood backend 的 boundary，只能標： ```text metaphorical_frontier ``` 不能當形式幾何結果。 --- # 4. 定義域邊界 \(B^D\) \[ B_t^D = \partial D_t^{\mathrm{def}}. \] 它表示： > 哪些候選概念、命題、型別或算子正在「有語義／尚未有合法語義」之間？ 典型事件： - 新術語被正式 typed； - 模糊概念拆分； - domain restriction 補齊； - primitive 新增； - schema 擴展； - 舊定義被判矛盾而回縮。 --- # 5. 觀察域邊界 \(B^O\) \[ B_t^O = \partial D_t^{\mathrm{obs}}. \] 它由： - sensor； - data acquisition； - context； - file loading； - API； - permission； - instrumentation； 決定。 Observation frontier 外移不等於 judge frontier 外移。 --- # 6. 可達域邊界 \(B^R\) \[ \boxed{ B_t^R = \partial D_t^{\mathrm{reach}}. } \] 可達域相對於： \[ \theta^{\mathrm{resource}}, \quad \theta^{\mathrm{tool}}, \quad \theta^{\mathrm{permission}} \] 高度敏感。 新工具可能： \[ D_{t+1}^{R} \supsetneq D_t^{R}. \] 但工具故障、成本上升或權限撤銷，也可： \[ D_{t+1}^{R} \subsetneq D_t^{R}. \] --- # 7. 判定域邊界 \(B^J\) \[ B_t^J = \partial D_t^{\mathrm{judge}}. \] 它表示： > 哪些問題已經能形成合法條件判定，哪些仍只是未結構化未知？ 判定前沿常因： - 條件分解； - 模型建立； - parameterization； - scenario construction； - representation escape； 而外移。 --- # 8. 驗證域邊界 \(B^V\) \[ \boxed{ B_t^V = \partial D_t^{\mathrm{verify}}. } \] 它可能是 AI 研究中最重要的瓶頸前沿之一。 Candidate / Judgeable 大量增加時： \[ D^J \] 可快速擴張，而： \[ D^V \] 因 proof、experiment、formalization、replication 吞吐不足而落後。 --- # 9. 局部與全域邊界 局部： \[ B^L = \partial D^{\mathrm{local}}. \] 全域： \[ B^G = \partial D^{\mathrm{global}}. \] DEST-04 已指出： \[ D^L \not\Rightarrow D^G. \] 所以可能有一整個： \[ \boxed{ \text{local-global frontier layer}. } \] --- # 10. 可知區與可知邊界 承接舊「移動中的可知邊界」，定義一個 task-relative 可知區： \[ \boxed{ \mathcal X_t^{K} = D_t^{\mathrm{verify}} \cup D_t^{\mathrm{judge}} } \] 只是最小 projection。 如果任務需要更細，可加入： \[ D^{\mathrm{conditional}}, D^{\mathrm{branch}}, D^{\mathrm{scoped}}. \] 可知邊界： \[ \boxed{ B_t^K = \partial \mathcal X_t^{K}. } \] 它不是「真知／無知」二分，而是： > 已有合法判定結構與尚未形成合法判定結構之間的條件化界面。 --- # 11. Boundary 與 Frontier ## Boundary \[ B^\alpha_t = \partial D^\alpha_t. \] 它是結構分界。 ## Frontier [DEF] 定義任務 \(q\) 下 active frontier： \[ \boxed{ F^\alpha_t(q) = \{ x\in B^\alpha_t: A_q(x)>0, \ \operatorname{Actionable}(x)=1 \}. } \] 其中： - \(A_q\)：任務價值／注意權重； - Actionable：存在至少一個合法下一操作。 因此： \[ F^\alpha_t(q) \subseteq B^\alpha_t \] 在本定義下成立。 --- # 12. 非活動邊界 某 boundary region 可以： - 成本過高； - 不相關； - 權限封鎖； - 已知無法修復； - 缺工具； - 被 freeze。 因此： \[ B^\alpha \setminus F^\alpha \] 不是不存在，而是目前不 active。 --- # 13. Periphery / Edge / Boundary / Frontier / Unknown 固定區分： \[ \boxed{ \text{Periphery} \neq \text{Edge} \neq \text{Boundary} \neq \text{Frontier} \neq \text{Unknown}. } \] - Periphery：低中心角色的已形成區域； - Edge：表示結構的外圍位置； - Boundary：域內／域外分界； - Frontier：可操作的活動邊界； - Unknown：尚未充分結構化的認識狀態。 --- # 14. Boundary State Vector 對每個 boundary component： \[ b_i \subseteq B_t^\alpha, \] 保存： \[ \boxed{ \mathbf s_B(b_i) = ( type, mass, position, activity, direction, speed, curvature, persistence, gap\_load, center\_coupling, repairability, confidence ). } \] 不是所有後端都有 curvature，缺少時設： ```text not_applicable ``` 而不是填 0。 --- # 15. Set Displacement 若 boundary sets 可比較，定義： \[ \boxed{ v_{\mathrm{set}}^\alpha(t) = \frac{ d_{\mathrm{set}} ( B_t^\alpha, B_{t+\Delta t}^\alpha ) }{ \Delta t }. } \] \(d_{\mathrm{set}}\) 可選： - Hausdorff distance； - Wasserstein-like boundary measure distance； - Jaccard / symmetric-difference distance； - graph edit / matching distance； - custom domain-specific distance。 --- # 16. Hausdorff Boundary Displacement [ALIGN] 若 \(A,B\) 為合適 metric space 中非空集合： \[ d_H(A,B) = \max \left\{ \sup_{a\in A}d(a,B), \sup_{b\in B}d(b,A) \right\}. \] 它提供「最壞邊界位移」的一種候選。 但： \[ d_H \] 不告訴擴張還是回縮。 --- # 17. Signed Domain Flux 定義： \[ G_t^{\alpha,+} = D^\alpha_{t+\Delta t} \setminus D^\alpha_t, \] \[ G_t^{\alpha,-} = D^\alpha_t \setminus D^\alpha_{t+\Delta t}. \] 則： \[ \boxed{ \Phi_t^\alpha = \frac{ \mu(G_t^{\alpha,+}) - \mu(G_t^{\alpha,-}) }{ \Delta t }. } \] 若： \[ \Phi^\alpha>0 \] 表示 net expansion； 若： \[ \Phi^\alpha<0 \] 表示 net retreat。 --- # 18. Gross Flux signed flux 可能因 expansion / retreat 同時發生而抵消。 因此另存： \[ \boxed{ \Gamma_t^\alpha = \frac{ \mu(G_t^{\alpha,+}) + \mu(G_t^{\alpha,-}) }{ \Delta t }. } \] 高： \[ \Gamma_t^\alpha \] 而低： \[ |\Phi_t^\alpha| \] 表示 boundary churn 很大，但淨位置變化不大。 --- # 19. Boundary Churn 定義： \[ \operatorname{Churn}^\alpha_t = \frac{ \mu(D_t^\alpha\triangle D_{t+\Delta t}^\alpha) }{ \Delta t }. \] 其中： \[ \triangle \] 是 symmetric difference。 這可偵測： - version instability； - rapid reclassification； - contested frontier； - nonstationary environment。 --- # 20. Level-Set Backend [ALIGN] 只有當存在： \[ \phi(x,t) \] 使： \[ D_t = \{x:\phi(x,t)\le0\}, \] \[ B_t = \{x:\phi(x,t)=0\}, \] 才可以使用 level-set 型 front dynamics。 若 normal speed： \[ V_n, \] 可寫： \[ \boxed{ \partial_t\phi + V_n|\nabla\phi| = 0. } \] 這只是可選連續後端，不是 DEST 邊界的一般公理。 --- # 21. Normal Velocity 在 smooth enough boundary 上，可定義： \[ V_n = v\cdot n. \] 正負方向需由 orientation 明示。 一般 graph / symbolic / proof topology 無 natural normal vector 時，不使用此量。 --- # 22. Reachability Backend [ALIGN] 若狀態演化由： \[ \dot x = f(x,u,d) \] 控制，並需要問： > 在控制、干擾與時間限制下哪些狀態可被到達？ 則 Hamilton–Jacobi reachability 可作： \[ D^{\mathrm{reach}} \] 的正式後端候選。 可達邊界由相應 value function 的 level set 表示。 DEST 只借用其： \[ \boxed{ \text{reachable set itself is dynamic and condition-dependent} } \] 這個成熟結構。 --- # 23. Viability Boundary [ALIGN] 對 constraints： \[ K, \] viability kernel 概念研究： > 從哪些初始狀態出發，存在合法演化能持續留在 constraints 中？ DEST 可將其作： - 持續可驗證域； - 安全研究域； - 可維持工具／資源域； 的後端候選。 但： \[ \boxed{ \text{viable} \neq \text{knowable}. } \] --- # 24. Free-Boundary Backend [ALIGN] 某些數學問題中，boundary 本身就是解的一部分，而非先驗給定。 DEST 借用 free-boundary 的方法論提醒： \[ \boxed{ \text{有時真正未知的不只是區域內的值，而是區域的界面本身。} } \] 但一般 epistemic boundary 不自動等於 obstacle / Stefan / free-boundary PDE。 --- # 25. 多邊界距離 對兩種 domain boundary： \[ B^A_t, B^B_t, \] 定義： \[ \boxed{ \mathcal L^{A\to B}_t = d_{\mathrm{set}} (B^A_t,B^B_t). } \] 它表示兩種資格前沿之間的幾何／操作 separation。 --- # 26. Reachability–Judgment Lag \[ \mathcal L^{R\to J} = d(B^R,B^J). \] 高值表示： > 能拿到很多東西，但離形成合法判定還有很厚的 transition layer。 --- # 27. Judgment–Verification Lag \[ \boxed{ \mathcal L^{J\to V} = d(B^J,B^V). } \] 高值表示： > 會判、會生成候選，但 proof / experiment / certificate 明顯落後。 --- # 28. Local–Global Lag \[ \boxed{ \mathcal L^{L\to G} = d(B^L,B^G). } \] 它對應 DEST-04 的 gluing backlog。 --- # 29. Frontier Thickness 若 \(D^B\subseteq D^A\) 在指定 task graph 中成立，可把： \[ D^A\setminus D^B \] 視為 transition sheath。 定義其質量： \[ \boxed{ T^{A\to B} = \mu(D^A\setminus D^B). } \] 這和 set-distance 互補： - distance：幾何厚度； - mass：未完成義務量。 --- # 30. Boundary Velocity Vector 不應只用一個 \(v\)。 定義： \[ \boxed{ \mathbf v_B^\alpha = ( v_{\mathrm{set}}^\alpha, \Phi^\alpha, \Gamma^\alpha, \operatorname{Churn}^\alpha ). } \] 若 level-set backend 可用，再附： \[ V_n. \] --- # 31. Boundary Event Taxonomy I 至少區分： ```yaml BoundaryEvent: ADVANCE RETREAT SPLIT MERGE NUCLEATION EXTINCTION PUNCTURE ENCLOSURE REOPEN PIN UNPIN JUMP DRIFT RECLASSIFY ``` --- # 32. Advance / Retreat Advance： \[ D_{t+1}\supset D_t \] 在局部或全域上成立。 Retreat： \[ D_{t+1}\subset D_t. \] 但一般可同時有 expansion / contraction，因此不要求全序 inclusion。 --- # 33. Split 一個 boundary component： \[ B_i \] 變成： \[ B_i^{(1)} \cup B_i^{(2)}. \] 例如： - 一個大問題拆成兩個 regime； - 一個 branch 分裂； - 一個 verification frontier 被反例分割。 --- # 34. Merge 兩個 boundary component： \[ B_1,B_2 \] 因 bridge / unification / common theorem 而合流。 需要 non-collapse audit。 --- # 35. Nucleation 原本域內沒有某種 isolated unknown island，後來新反例／新問題在內部產生新的 boundary component。 這表示： \[ \boxed{ \text{新的未知可以在已知內部生成。} } \] --- # 36. Extinction 某 boundary component 因： - proof； - bridge； - reclassification； - scope removal； 而消失。 但 history 仍保存。 --- # 37. Puncture / Hole Formation 原本連通的 verified / judgeable region 因反例或版本失效出現 hole。 這可以： \[ D^V_t \to D^V_{t+1} \] 產生新的內部邊界。 --- # 38. Pinning Boundary 被某 bottleneck 長期卡住： \[ v_{\mathrm{set}}\approx0, \] 且： \[ \operatorname{GapPersistence}\gg0. \] 可能原因： - theorem obstruction； - resource limit； - data absence； - representation trap； - coordination failure。 --- # 39. Unpinning 新工具、表示、bridge、proof 或資料解除 pinning： \[ v_{\mathrm{set}}>0. \] 這是一種 frontier phase change 候選，但不得自動稱物理相變。 --- # 40. Boundary Jump 某次新 theorem / tool / representation 使 domain 非局部地快速重分類： \[ d_{\mathrm{set}} (B_t,B_{t+\Delta t}) \gg \text{historical baseline}. \] 可標： \[ \mathsf{BoundaryJump}. \] --- # 41. Boundary Reclassification 物件本身未動，但資格標籤改變： ```text reachable → judgeable judgeable → verifiable local → global verified → stale ``` 因此 boundary dynamics 很大部分是 epistemic state transition，而不是空間中的物理位移。 --- # 42. Knowledge State-Space Expansion 令： \[ \Omega_t \] 為當前 target / possible-state space。 生成環境中允許： \[ \boxed{ \Omega_{t+1} = \Omega_t \cup N_t^{\mathrm{new}} } \] 其中新狀態可由： - 新技術； - 新策略； - 新制度； - 新問題； - 新表示； - 新 Agent 行為； 產生。 --- # 43. Absolute Knowable Mass 定義： \[ A_t^K = \mu( \mathcal X_t^K ). \] 可以： \[ A_{t+1}^K>A_t^K. \] --- # 44. Relative Knowability 若分母可合法測量： \[ \boxed{ \kappa_t = \frac{ \mu(\mathcal X_t^K) }{ \mu(\Omega_t) }. } \] 但在 open denominator 情況，必須使用 DEST-02 的 interval / lower-bound 規格。 --- # 45. Knowability Expansion Paradox 可以同時： \[ A_{t+1}^K>A_t^K \] 且： \[ \kappa_{t+1}<\kappa_t. \] 只要： \[ \Omega_t \] 增長更快。 這表示： \[ \boxed{ \text{知道更多} \not\Rightarrow \text{相對未知更少}. } \] --- # 46. 連續近似 若： \[ \kappa = A/\Omega \] 可微： \[ \boxed{ \dot\kappa = \frac{ \dot A\,\Omega - A\,\dot\Omega }{ \Omega^2 }. } \] 因此： \[ \dot\kappa<0 \] 當： \[ \frac{\dot A}{A} < \frac{\dot\Omega}{\Omega}. \] --- # 47. Boundary Generation by Intelligence 智能不只擴張： \[ D^J,D^V, \] 也可能擴張： \[ \Omega. \] 因此 AI 可能同時： \[ \boxed{ \text{push knowable frontier outward} } \] 與： \[ \boxed{ \text{generate new frontier}. } \] 這是非拉普拉斯式知識動力的一個核心來源。 --- # 48. Reflexive Boundary 若模型輸出會改變被建模系統： \[ M_t \to A_t \to \Omega_{t+1}, \] 則： \[ B_{t+1} \] 部分由： \[ M_t \] 自身造成。 稱： \[ \boxed{ \text{Reflexive Boundary}. } \] --- # 49. Boundary Coupling 不同邊界互相影響： \[ B^R \to B^J \to B^V \to B^G. \] 但可有 delay、feedback 與 reversal。 定義 coupling matrix： \[ \boxed{ W_B = [w_{\alpha\beta}], } \] 其中： \[ w_{\alpha\beta} \] 表示 boundary \(\alpha\) 的變化對 boundary \(\beta\) 的預期影響。 --- # 50. Boundary Propagation Delay 可達前沿在 \(t\) 外移，判定前沿可能在： \[ t+\tau_{RJ} \] 才跟上。 定義： \[ \tau_{\alpha\beta}. \] 這形成 multi-front delay system。 --- # 51. Boundary Hysteresis 同一輸入條件恢復，不代表 boundary 一定回到原位置。 若： \[ \theta_0 \to \theta_1 \to \theta_0 \] 但： \[ B_{t_2} \neq B_{t_0}, \] 則存在 boundary hysteresis。 來源可包括： - 歷史依賴； - knowledge retention； - model retraining； - irreversible version migration； - branch creation； - destroyed provenance； - institutional adaptation。 --- # 52. Boundary Memory 定義 boundary history： \[ \mathcal H_B = \{ (B_t,E_t,\theta_t,\pi_t,\mathsf{Cert}_t) \}_{t}. \] 當前邊界不只由當前資料決定，也可能： \[ B_t = F( \text{current state}, \mathcal H_B ). \] --- # 53. Boundary Lag 與 Backlog 若： \[ D^R \] 擴張速度高於： \[ D^V, \] 則 transition sheath： \[ D^R\setminus D^V \] 可能增厚。 其 backlog mass： \[ \boxed{ M^{R\to V}_t = \mu(D^R_t\setminus D^V_t). } \] 同理： \[ M^{J\to V}, \quad M^{L\to G}. \] --- # 54. Frontier Lag Rate 定義： \[ \boxed{ \dot{\mathcal L}^{A\to B} } \] 或離散： \[ \Delta\mathcal L^{A\to B} = \mathcal L_{t+1}^{A\to B} - \mathcal L_t^{A\to B}. \] 若： \[ \Delta\mathcal L^{A\to B}>0, \] 表示兩前沿正在分離。 --- # 55. Boundary Synchronization 理想高吞吐 pipeline 不要求所有 boundary 重合，而要求關鍵 lag 保持可控： \[ \mathcal L^{R\to J}\le\tau_{RJ}, \] \[ \mathcal L^{J\to V}\le\tau_{JV}, \] \[ \mathcal L^{L\to G}\le\tau_{LG}. \] 閾值依任務風險指定。 --- # 56. Boundary Cascade 一個上游 boundary jump 可以依序觸發： \[ B^D \to B^R \to B^J \to B^V \to B^G. \] 但每一步可能： - delay； - damping； - amplification； - branch； - fail。 因此不能把上游進展自動投影成下游進展。 --- # 57. Boundary Amplification 定義： \[ A_{\alpha\to\beta} = \frac{ \Delta M^\beta }{ \Delta M^\alpha+\epsilon }. \] 若： \[ A_{\alpha\to\beta}\gg1, \] 少量上游變化可解鎖大量下游資格。 典型例： > 一個關鍵 theorem / bridge 讓大量候選同時進入 verification。 --- # 58. Boundary Damping 若： \[ A_{\alpha\to\beta}\ll1, \] 表示上游擴張大多無法傳到下游。 例如： - 搜到大量 paper； - 只有少量能真正改變判定； - 更少能形成全域證書。 --- # 59. Boundary Reflection 某些前沿擴張會因下游反例反向回饋： \[ B^V \to B^J \] 使原先 judgeable claims 被重新條件化或降級。 這是 boundary reflection-like event，但只是操作命名，不宣稱物理反射律。 --- # 60. Boundary Leakage 若某些候選在缺少必要 gate 時被錯誤升格： \[ D^J \to D^V \] 或： \[ D^L \to D^G, \] 稱： \[ \boxed{ \text{Boundary Leakage}. } \] 它是 epistemic overclaim 的動態形式。 --- # 61. Boundary Gate Integrity 對 transition： \[ A\to B, \] 定義： \[ \operatorname{GateIntegrity}_{A\to B}. \] 若低，表示邊界容易被未證候選、過時版本或局部結果穿透。 --- # 62. Boundary Breach 若已知不符合資格的對象進入域內： \[ x\notin D^B_{\mathrm{legal}} \] 但 runtime 標： \[ x\in D^B, \] 則： \[ \mathsf{BoundaryBreach}. \] 這和 legitimate expansion 不同。 --- # 63. Boundary Audit 每一 boundary 需要檢查： 1. domain definition； 2. topology/neighborhood； 3. condition； 4. representation； 5. version； 6. metric / measure； 7. event history； 8. transition gate； 9. invalidation； 10. provenance。 --- # 64. Irreducible Boundary \(B^U\) 「不可約」不再是形上永久標籤。 定義： \[ \boxed{ B_t^U = \mathcal U^\star( \pi, \theta, B, V, \mathcal T, t ). } \] 其中： - \(\pi\)：表示； - \(\theta\)：條件； - \(B\)：資源； - \(V\)：驗證制度； - \(\mathcal T\)：理論／公理後端； - \(t\)：時間。 --- # 65. Irreducibility Spectrum 至少分： ```yaml IrreducibilityLevel: U0_TRANSIENT: meaning: "目前未解，但無結構阻礙證據" U1_RESOURCE_BOUND: meaning: "主要受算力、時間、資料、金錢限制" U2_ACCESS_BOUND: meaning: "主要受權限、索引、格式、工具限制" U3_REPRESENTATION_BOUND: meaning: "障礙只在目前表示成立" U4_MODEL_BOUND: meaning: "依公理、模型、制度或假設分支而異" U5_CERTIFIED_STRUCTURAL: meaning: "指定 formal backend 中已有不可消去 obstruction certificate" U6_RELATIVE_UNDECIDABLE: meaning: "相對於明示形式系統，已有不可判定／獨立性結果支持" ``` 不得從 \(U1\) 直接跳到 \(U6\)。 --- # 66. Representation-Bounded Boundary 若： \[ x\notin D^J_{\pi_1} \] 但： \[ x\in D^J_{\pi_2}, \] 則： \[ B^J_{\pi_1} \] 的一部分可能只是 representation-bound。 所以任何「極限」聲明前必須跑 Representation Escape Gate。 --- # 67. Model-Bounded Boundary 若命題在： \[ \mathcal T_1 \] 可判，而在： \[ \mathcal T_2 \] branch-dependent，則 boundary 是 model-relative。 正確輸出： ```text model-bounded frontier ``` 而不是： ```text absolute unknowable boundary ``` --- # 68. Certified Structural Boundary 只有在指定 backend 存在： - impossibility theorem； - lower bound； - obstruction； - undecidability theorem； - incompatibility certificate； 才可標： \[ \mathsf{CertifiedStructural}. \] 且證書必須 scope-bound。 --- # 69. Boundary Permanence Is Conditional 即使： \[ B^U \] 在時間區間： \[ [t_0,t_1] \] 持續存在，也只能推出 persistence： \[ P_B(t_0,t_1), \] 不能自動推出永久性： \[ P_B(\infty). \] --- # 70. Boundary Persistence 定義： \[ P(B_i) = f( \text{lifetime}, \text{cross-scale survival}, \text{cross-representation survival}, \text{cross-version survival} ). \] 高 persistence 值得優先做 structural audit。 --- # 71. Boundary Fragility 若小擾動： \[ \|\delta\theta\|\ll1 \] 造成： \[ d_{\mathrm{set}} ( B(\theta), B(\theta+\delta\theta) ) \gg0, \] 稱 boundary fragile。 --- # 72. Boundary Robustness 相反，若一定 perturbation ball： \[ \|\delta\theta\|\le\epsilon \] 內： \[ d_{\mathrm{set}} (B(\theta),B(\theta+\delta\theta)) \le\eta, \] 則 boundary 在該尺度具有 robustness。 --- # 73. Boundary Uncertainty 邊界本身可能只被估計。 定義： \[ \widehat B_t \] 與 uncertainty band： \[ \boxed{ \mathcal U_B(\epsilon) = \{ x: d(x,\widehat B_t)\le\epsilon \}. } \] 這不應和 irreducible boundary \(\mathcal U^\star\) 混淆。 --- # 74. Boundary Confidence ≠ Object Confidence 一個 claim 的 confidence 高，不表示： \[ \partial D \] 的位置估計精確。 Boundary estimation 是另一個不確定性問題。 --- # 75. Frontier Value Field 對 boundary point / node： \[ x\in B^\alpha, \] 定義： \[ \boxed{ V_F(x) = f( \text{task value}, \text{gap severity}, \text{repairability}, \text{downstream leverage}, \text{novelty}, \text{verification feasibility} ). } \] --- # 76. Frontier Cost Field \[ C_F(x) = C_{\mathrm{retrieve}} + C_{\mathrm{compute}} + C_{\mathrm{formal}} + C_{\mathrm{experiment}} + C_{\mathrm{glue}} + C_{\mathrm{risk}}. \] --- # 77. Frontier Scheduler 選： \[ \boxed{ x^\star = \arg\max_{x\in F_t} \frac{ \mathbb E[\Delta V_{\mathrm{epistemic}}\mid x] }{ C_F(x)+R_F(x)+\epsilon }. } \] 這使 Frontier 成為 research control surface。 --- # 78. Frontier Diversification 不能永遠只選最高 score。 可保留： - exploitation budget； - exploration budget； - peripheral probe； - representation probe； - adversarial probe。 避免 frontier 被單一 ranking 鎖死。 --- # 79. Boundary Center Coupling 承接 DEST-05，中心可向 frontier 投射資源： \[ C_t \to F_t. \] Frontier 新結果可回寫中心： \[ F_t \to C_{t+1}. \] 形成： \[ \boxed{ C_t \leftrightarrow F_t. } \] --- # 80. Frontier-to-Core 若 frontier candidate 經： \[ \text{Define} \to \text{Judge} \to \text{Verify} \to \text{Glue} \] 並形成高生成性，可能進入： \[ C^{\mathrm{gen}}. \] --- # 81. Core-to-Frontier Reopening 反例、新版本、表示切換可讓核心重新暴露 boundary： \[ C_t^{\mathrm{gen}} \to F_{t+1}. \] 因此 core maintenance 與 frontier exploration 是循環，而不是線性終局。 --- # 82. Boundary–Gap Duality Gap 場： \[ \mathbf g(x) \] 與 boundary： \[ \mathbf B_t \] 相關，但不等價。 高 Gap 可以在域內部： - verification hole； - version puncture； - local contradiction。 Boundary 也可能存在於 Gap 強度低但資格剛好跨閾值的位置。 因此： \[ \boxed{ \text{Gap field} \neq \text{boundary field}. } \] --- # 83. Gap Gradient and Frontier 若某 backend 可定義 gap scalar potential： \[ G(x), \] 可使用： \[ \nabla G \] 輔助 frontier routing。 但一般 typed Gap vector： \[ \mathbf g(x) \] 不必存在單一 scalar potential。 --- # 84. Boundary–Coverage Duality Coverage 增加可能推動 boundary： \[ \Delta\rho^\alpha>0 \] 但兩者不是一一對應。 例如： - 已覆蓋域內部 densification； - 重複驗證； - provenance 補齊； 可以提高某 coverage channel，而 boundary 幾乎不動。 --- # 85. Boundary Efficiency 定義： \[ \boxed{ E_B^\alpha = \frac{ \text{valuable boundary advance} }{ \text{total cost} }. } \] 需要 task weighting。 --- # 86. False Frontier 看起來是邊界但其實： - duplicate alias； - missing index； - stale cache； - wrong representation； - bad cover； - permission artifact。 標： \[ \mathsf{FalseFrontier}. \] --- # 87. Frontier Archaeology 歷史輸出中可能早已存在： \[ x\in L_t \] 但當時未被辨認。 後來重新檢索使： \[ x \to C \to J \to V. \] 這表示 boundary 不只向「未來未知」推進，也可向歷史資料內部回收。 --- # 88. Backward Frontier 定義： \[ F_t^{\mathrm{arch}} \] 為面向 historical latent trace 的考古前沿。 它與 forward frontier： \[ F_t^{\mathrm{new}} \] 並存。 --- # 89. Forward / Backward Allocation 研究資源： \[ B_t = B_t^{\mathrm{new}} + B_t^{\mathrm{arch}} + B_t^{\mathrm{verify}} + B_t^{\mathrm{glue}}. \] 這是 AI 原生研究特有的重要分配問題之一。 --- # 90. Boundary of Questions 問題集合本身也有： \[ Q_t. \] 新問題形成： \[ Q_{t+1} = Q_t \cup \Delta Q_t. \] 所以可以定義： \[ B_t^Q = \partial Q_t. \] 「能不能提出問題」本身也是 boundary。 --- # 91. Definition Frontier Precedes Question Frontier Sometimes 沒有合法 primitive 時，甚至無法表述問題。 所以： \[ B^D \] 可能限制： \[ B^Q. \] 新語言／新表示可先推動 definition frontier，再生成新 question frontier。 --- # 92. Observation Frontier vs Question Frontier 也可能先觀察異常： \[ x\in D^O \] 但還沒有問題語言。 此時： \[ B^O \] 可領先： \[ B^D,B^J. \] 這再次說明多邊界不是固定總序。 --- # 93. Dynamic Boundary DAG 對 task \(q\)，建立： \[ \mathcal G_B(q) = (V_B,E_B). \] 節點是 boundary types，邊表示可能的推動／抑制關係。 例如： ```text Observation → Definition Definition → Judgment Reachability → Judgment Judgment → Verification Verification → Global Global → Core Core ↔ Frontier Innovation → Omega Expansion Omega Expansion → New Knowability Boundary ``` --- # 94. Boundary Debt 對： \[ A\to B, \] 定義 boundary debt： \[ \mathfrak d_B^{A\to B} = \langle lag, mass, persistence, bottleneck, cost, next\_action \rangle. \] 這是 DEST-01 Domain Debt 的動態邊界版本。 --- # 95. Boundary Error Taxonomy | Code | 名稱 | 意義 | |---|---|---| | BND-00 | Undefined boundary | 沒有鄰域／topology 定義 | | BND-01 | Boundary-frontier confusion | 結構邊界與活動前沿混寫 | | BND-02 | Periphery confusion | 周邊被誤認未知 | | BND-03 | Direction loss | 只報 displacement 不報擴張／回縮 | | BND-04 | Flux cancellation | expansion/retreat 被淨值抵消 | | BND-05 | Static-denominator illusion | 狀態空間擴張被忽略 | | BND-06 | Verification lag blindness | 可達前沿冒充驗證前沿 | | BND-07 | Local-global lag blindness | 局部前沿冒充全域前沿 | | BND-08 | Representation-bound overclaim | 單表示邊界冒充絕對邊界 | | BND-09 | Resource-bound overclaim | 資源限制冒充不可知 | | BND-10 | Model-bound overclaim | 公理分支冒充絕對不可知 | | BND-11 | Boundary breach | 非法候選穿透資格 Gate | | BND-12 | Stale boundary | 版本更新後仍使用舊 boundary | | BND-13 | False frontier | 索引／權限／alias 假邊界 | | BND-14 | Free-boundary analogy overreach | 無 PDE 後端卻宣稱 free boundary theorem | | BND-15 | Normal-velocity overreach | 無光滑/level-set 後端卻給 \(V_n\) | | BND-16 | Permanence overclaim | 有限 persistence 冒充永恆不可約 | | BND-17 | Boundary uncertainty collapse | 邊界估計不確定性被忽略 | --- # 96. Boundary Runtime Schema ```yaml boundary_state: time: "..." task_id: "..." condition_id: "..." representation_id: "..." boundaries: reachable: backend: "cost-graph" components: [] displacement: null signed_flux: null gross_flux: null churn: null judgeable: backend: "typed-graph" components: [] verifiable: backend: "certificate-graph" components: [] global: backend: "gluing-topology" components: [] knowable: backend: "operational" components: [] lags: reach_to_judge: null judge_to_verify: null local_to_global: null events: - ADVANCE - SPLIT irreducibility: level: U1_RESOURCE_BOUND uncertainty: state: estimated band_ref: "..." debts: [] ``` --- # 97. Boundary Event Log ```yaml boundary_event: id: "be-001" boundary_type: "verification" event: "RETREAT" time: "..." affected_region: "..." cause: type: "counterexample" ref: "..." before_cert: "..." after_cert: "..." reversible: "unknown" downstream_effects: global: "retreat" core: "reopen" ``` --- # 98. Frontier Scheduler Schema ```yaml frontier_candidate: id: "f-001" boundary: "judgeable" gap_types: - condition - verification task_value: 0.92 leverage: 0.71 persistence: 0.83 repairability: 0.66 cost_estimate: 0.31 risk: 0.15 next_actions: - retrieve - theorem_applicability_check - formalize ``` --- # 99. Boundary Benchmark I：Literature Research 測試： - 新文獻使 \(B^R\) 外移多少？ - theorem conditions 能否推動 \(B^J\)？ - citations 是否被誤當 verification？ - 最新版本是否使 \(B^V\) 回縮？ - hidden paper 是否形成 false frontier？ --- # 100. Boundary Benchmark II：Mathematical Proof Research 對 conjecture： - lemma frontier； - parameter frontier； - representation frontier； - verification frontier； - local-global frontier。 特別測： \[ B^L \] 是否被錯報成： \[ B^G. \] --- # 101. Boundary Benchmark III：AI Agent Research Runtime 建立： 1. generation-heavy Agent； 2. retrieval-heavy Agent； 3. verification-heavy Agent； 4. gluing-aware Agent； 5. full DEST boundary router。 測： - boundary advance； - leakage； - lag； - backlog； - churn； - false frontier； - cost。 --- # 102. Boundary Benchmark IV：Dynamic Environment 讓 world state： \[ \Omega_t \] 主動改變。 比較： - static model； - concept-drift adaptation； - boundary-aware runtime。 測： - stale verification； - retreat detection； - new-state nucleation； - relative knowability。 --- # 103. 外部形式對照 [ALIGN] ## 103.1 Osher–Sethian Level-Set Front Propagation Osher 與 Sethian 的 front-propagation 工作以 Hamilton–Jacobi formulation 追蹤可發生拓撲變化的移動界面。 DEST 借用： - implicit interface； - front velocity； - split / merge 可被 level-set 表示； 但只有連續幾何 backend 才適用。 --- ## 103.2 Hamilton–Jacobi Reachability Mitchell、Bayen、Tomlin 的 time-dependent HJ formulation 處理 continuous dynamic games 的 reachable sets。 DEST 借用： \[ \text{reachable set} + \text{time} + \text{control/disturbance} \] 的條件化動態結構，作 \(D^R\) 後端候選。 --- ## 103.3 Viability Theory Aubin 的 viability framework 研究在 constraints 下哪些初始狀態存在可維持的演化。 DEST 可將 viability kernel 類工具掛接到： - maintainable research states； - safe operation； - constrained reachability； 但不把 viability 等同 knowability。 --- ## 103.4 Free-Boundary Problems Caffarelli 等 free-boundary / obstacle-problem 理論提醒： > 某些問題的界面本身就是未知解的一部分，且 regularity / singularity 是獨立問題。 DEST 借用此方法論層，而不宣稱 epistemic boundary 滿足其 PDE。 --- ## 103.5 Concept Drift Concept drift 研究處理資料分布／posterior 等隨時間改變，導致 decision boundary 或 model validity 改變。 DEST 將其視為： \[ B^J, B^V \] 回縮、漂移、重訓的一種工程後端對照，但知識邊界比 decision boundary 更廣。 --- # 104. 第一組命題 ## Proposition A [PROP] 存在： \[ v_{\mathrm{set}}>0 \] 但： \[ \Phi=0. \] 例如 boundary 形狀大幅重排，而 expansion / retreat mass 相互抵消。 所以 set displacement 不等於 signed expansion。 --- ## Proposition B [PROP] 存在： \[ A_{t+1}^K>A_t^K \] 但： \[ \kappa_{t+1}<\kappa_t. \] 只要 target state-space growth rate 更高。 --- ## Proposition C [PROP] 存在： \[ D^R_{t+1}\supsetneq D^R_t \] 但： \[ D^V_{t+1}=D^V_t. \] 所以 reachability advance 不推出 verification advance。 --- ## Proposition D [PROP] 存在 boundary retreat 而知識制度整體品質上升。 例如發現錯誤 claim 並從： \[ D^V \] 撤回。 因此： \[ \boxed{ \text{retreat} \not\Rightarrow \text{failure}. } \] --- ## Proposition E [PROP] 一個有限時間 persistent boundary 不推出永久 irreducible boundary。 --- # 105. 研究猜想 ## Conjecture 1：Verification Frontier Lag Scales with Generative Capability 若 candidate generation scaling 快於 verification scaling： \[ v_J-v_V \] 或： \[ \mathcal L^{J\to V} \] 將隨模型能力增加而擴大。 --- ## Conjecture 2：Boundary Churn Predicts Epistemic Instability 高： \[ \operatorname{Churn}^V \] 可能比單純 verification coverage 更早預測版本／資料／模型不穩定。 --- ## Conjecture 3：Multi-Front Routing Outperforms Single Frontier Search 顯式區分： \[ B^R,B^J,B^V,B^G \] 的 Agent，將比只維護一個 `open frontier` 的 Agent 更少過度外推並更有效分配驗證資源。 --- ## Conjecture 4：Representation Escape Converts Some Persistent Boundaries into Transient Ones 部分： \[ U3_{\mathrm{representation}} \] 會在合法重表示後降為： \[ U0/U1. \] --- ## Conjecture 5：Reflexive Intelligence Creates Endogenous Frontier Growth 在策略性多 Agent 環境中，提高智能不只外推知識 boundary，也會增加： \[ \dot\Omega \] 使新 frontier 內生生成。 --- # 106. 實驗設計 建立四類環境： ## A. Static closed world \[ \Omega_{t+1}=\Omega_t. \] ## B. Exogenous drift world 變，但 Agent 不影響 world。 ## C. Reflexive environment Agent prediction 改變 world。 ## D. Generative environment Agent / humans 可創造新 strategy / tool / state。 比較： ### Baseline 1 單一 Known/Unknown frontier。 ### Baseline 2 Known/Judgeable/Unknown。 ### Baseline 3 DEST multi-domain boundary without dynamics。 ### DEST-06 完整： \[ \mathbf B_t + \mathbf v_B + \mathcal L + \Phi + \Gamma + \mathcal H_B + \text{irreducibility spectrum}. \] 評估： - overclaim； - stale-knowledge detection； - verification lag； - boundary breach； - relative knowability； - frontier allocation efficiency； - representation escape success； - rollback correctness。 --- # 107. Runtime 最小算法 ```text INPUT: K_t domain system D_t coverage rho_t gaps G_t centers C_t task q context theta representation pi 1. QUALIFY neighborhood backend for each domain 2. COMPUTE / ESTIMATE domain boundaries 3. CLASSIFY active frontiers 4. MATCH boundary components across t-1 and t 5. COMPUTE: set displacement signed flux gross flux churn 6. COMPUTE cross-frontier lags: R→J J→V L→G 7. DETECT events: advance/retreat/split/merge/nucleation/... 8. AUDIT: boundary breach false frontier stale boundary representation-bound barrier 9. CLASSIFY irreducibility level 10. UPDATE state-space Omega_t 11. ESTIMATE absolute / relative knowability 12. BUILD frontier candidate queue 13. ROUTE resources 14. SAVE boundary certificates + event log 15. RECOMPUTE after new evidence ``` --- # 108. 最小核心公式 ## Multi-boundary system \[ \boxed{ \mathbf B_t = ( B^D,B^O,B^R,B^J,B^V,B^L,B^G,B^K,B^U )_t. } \] ## Boundary \[ \boxed{ B_t^\alpha = \partial_{\tau} D^\alpha_{t,\theta,\pi}. } \] ## Active frontier \[ \boxed{ F^\alpha_t(q) = \{ x\in B^\alpha_t: A_q(x)>0,\operatorname{Actionable}(x)=1 \}. } \] ## Set velocity \[ \boxed{ v_{\mathrm{set}}^\alpha = \frac{ d_{\mathrm{set}}(B_t^\alpha,B_{t+\Delta t}^\alpha) }{ \Delta t }. } \] ## Signed flux \[ \boxed{ \Phi^\alpha_t = \frac{ \mu(D^\alpha_{t+\Delta t}\setminus D^\alpha_t) - \mu(D^\alpha_t\setminus D^\alpha_{t+\Delta t}) }{ \Delta t }. } \] ## Frontier lag \[ \boxed{ \mathcal L^{A\to B}_t = d_{\mathrm{set}}(B_t^A,B_t^B). } \] ## Relative knowability \[ \boxed{ \kappa_t = \frac{\mu(\mathcal X_t^K)}{\mu(\Omega_t)}. } \] ## Conditional irreducible boundary \[ \boxed{ B_t^U = \mathcal U^\star( \pi,\theta,B,V,\mathcal T,t ). } \] --- # 109. 結論 本文將「知識邊界」從一條模糊的已知／未知分界，改寫為多個彼此耦合的動態資格界面。 真正需要追蹤的不是： > 「我們的知識邊界前進了多少？」 而是： 1. 哪一種 boundary 在移動？ 2. 是可達、判定、驗證還是全域？ 3. 邊界移了多遠？ 4. 是擴張還是回縮？ 5. expansion / retreat 是否同時發生？ 6. 邊界是否 split / merge / nucleate？ 7. reach frontier 是否遠遠領先 verification frontier？ 8. boundary 是否因新反例回縮？ 9. boundary 是否只是 representation-bound？ 10. 是否存在真正 formal obstruction？ 11. 狀態空間本身是否也在擴張？ 12. 絕對可知量增加時，相對可知率是否下降？ 13. frontier 是向未來探索，還是向歷史資料考古？ 14. boundary 是否被 Agent 自己的預測與行動反身性創造？ 15. 哪個 frontier 值得下一單位資源？ 因此： \[ \boxed{ \text{Epistemic Progress} \neq \text{single outward frontier motion}. } \] 而更接近： \[ \boxed{ \text{multi-boundary evolution} + \text{domain transitions} + \text{state-space expansion} + \text{verification lag} + \text{reclassification} + \text{reflexive feedback}. } \] 成熟 AI 不應只說： > 「這是知識前沿。」 而應輸出： \[ \boxed{ \text{哪一個前沿、在什麼條件、用哪種表示、以什麼速度、往哪個方向移動，而且憑什麼知道。} } \] --- # 附錄 A：Boundary Type Dictionary ```yaml BoundaryType: DEFINITION OBSERVATION REACHABILITY JUDGMENT VERIFICATION LOCAL GLOBAL KNOWABILITY IRREDUCIBLE QUESTION ``` --- # 附錄 B：Boundary Event Dictionary ```yaml BoundaryEvent: ADVANCE RETREAT SPLIT MERGE NUCLEATION EXTINCTION PUNCTURE ENCLOSURE REOPEN PIN UNPIN JUMP DRIFT RECLASSIFY BREACH ``` --- # 附錄 C：Boundary Metrics ```yaml BoundaryMetrics: SET_DISPLACEMENT SIGNED_FLUX GROSS_FLUX CHURN NORMAL_VELOCITY FRONTIER_LAG FRONTIER_THICKNESS PERSISTENCE FRAGILITY ROBUSTNESS UNCERTAINTY ``` --- # 附錄 D：內部正典依賴 - 《動態知識空間總論》v0.1。 - 《多域知識判定論》v0.1。 - 《多維知識覆蓋論》v0.1。 - 《Gap 場論》v0.1。 - 《關聯拓撲與全域黏合》v0.1。 - 《多中心知識拓撲》v0.1。 - 《移動中的可知邊界：人機協作、智能反身性與 AI 原生知識生產》v0.1。 - 《萬有理論的生成極限》v0.1。 - 《X 積分統一綱領》v0.2。 --- # 附錄 E：外部形式對照 1. Stanley Osher & James A. Sethian (1988), *Fronts Propagating with Curvature-Dependent Speed: Algorithms Based on Hamilton–Jacobi Formulations*. 2. Ian M. Mitchell, Alexandre M. Bayen & Claire J. Tomlin (2005), *A Time-Dependent Hamilton-Jacobi Formulation of Reachable Sets for Continuous Dynamic Games*. 3. Jean-Pierre Aubin, *Viability Theory*；以及 Aubin–Cellina 的 differential inclusions / viability framework。 4. Luis Caffarelli 及後續 obstacle / free-boundary regularity literature。 5. Jie Lu et al. (2020), *Learning under Concept Drift: A Review*；Fabian Hinder et al. (2022), *On the Change of Decision Boundaries and Loss in Learning with Concept Drift*。 --- # 與下一篇的接口 本文完成： \[ \boxed{ \mathbf B_t. } \] 下一階段自然進入： \[ \boxed{ \text{條件依賴知識演化 2.0} } \] 因為現在： - Domain 有了； - Coverage 有了； - Gap 有了； - Global Glue 有了； - Center 有了； - Boundary 也有了。 下一步就能真正研究： \[ \boxed{ \mathbb K_t \longrightarrow \mathbb K_{t+1} } \] 時，這些結構如何一起變動，而不是只追蹤單一理論補丁。 --- **EML-DEST-2026-06 · v0.1 · 2026-08-12**