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. 研究定位與非主張聲明

本文不主張：

所有知識域都有歐氏幾何邊界；
所有 boundary 都可由 smooth manifold 表示；
所有 frontier 都具有 normal vector；
所有邊界都能以單一速度描述；
Hausdorff distance 能完整表達邊界方向；
可達域必然由 Hamilton–Jacobi PDE 表示；
viability kernel 等於知識可知域；
free-boundary PDE 等於知識邊界問題；
concept drift 等於知識邊界移動；
驗證域一定單調增加；
可知邊界越外側代表文明越接近全知；
「不可約邊界」代表形上學上永久不可知；
所有邊界收縮都是退步；
所有邊界擴張都是進步；
邊界的幾何平滑度等於理論成熟度。

本文主張的是：

邊界必須相對於 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 至少保存：

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，只能標：

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，缺少時設：

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

至少區分：

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

物件本身未動，但資格標籤改變：

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 需要檢查：

domain definition；
topology/neighborhood；
condition；
representation；
version；
metric / measure；
event history；
transition gate；
invalidation；
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

至少分：

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。

正確輸出：

model-bounded frontier

而不是：

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，邊表示可能的推動／抑制關係。

例如：

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

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

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

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

建立：

generation-heavy Agent；
retrieval-heavy Agent；
verification-heavy Agent；
gluing-aware Agent；
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 最小算法

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. 結論

本文將「知識邊界」從一條模糊的已知／未知分界，改寫為多個彼此耦合的動態資格界面。

真正需要追蹤的不是：

「我們的知識邊界前進了多少？」

而是：

哪一種 boundary 在移動？
是可達、判定、驗證還是全域？
邊界移了多遠？
是擴張還是回縮？
expansion / retreat 是否同時發生？
邊界是否 split / merge / nucleate？
reach frontier 是否遠遠領先 verification frontier？
boundary 是否因新反例回縮？
boundary 是否只是 representation-bound？
是否存在真正 formal obstruction？
狀態空間本身是否也在擴張？
絕對可知量增加時，相對可知率是否下降？
frontier 是向未來探索，還是向歷史資料考古？
boundary 是否被 Agent 自己的預測與行動反身性創造？
哪個 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

BoundaryType:
  DEFINITION
  OBSERVATION
  REACHABILITY
  JUDGMENT
  VERIFICATION
  LOCAL
  GLOBAL
  KNOWABILITY
  IRREDUCIBLE
  QUESTION

附錄 B：Boundary Event Dictionary

BoundaryEvent:
  ADVANCE
  RETREAT
  SPLIT
  MERGE
  NUCLEATION
  EXTINCTION
  PUNCTURE
  ENCLOSURE
  REOPEN
  PIN
  UNPIN
  JUMP
  DRIFT
  RECLASSIFY
  BREACH

附錄 C：Boundary Metrics

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：外部形式對照

Stanley Osher & James A. Sethian (1988), Fronts Propagating with Curvature-Dependent Speed: Algorithms Based on Hamilton–Jacobi Formulations.
Ian M. Mitchell, Alexandre M. Bayen & Claire J. Tomlin (2005), A Time-Dependent Hamilton-Jacobi Formulation of Reachable Sets for Continuous Dynamic Games.
Jean-Pierre Aubin, Viability Theory；以及 Aubin–Cellina 的 differential inclusions / viability framework。
Luis Caffarelli 及後續 obstacle / free-boundary regularity literature。
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

移動邊界論

移動邊界論

定義、可達、判定、驗證、全域、可知與不可約邊界的動態學

摘要

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

1. 從「一條可知邊界」到多邊界系統

2. 邊界需要鄰域後端

2.1 Topological boundary [DEF]

2.2 Metric boundary

2.3 Graph boundary

2.4 Operational boundary

3. Boundary Certificate

4. 定義域邊界 BDB^DBD

5. 觀察域邊界 BOB^OBO

6. 可達域邊界 BRB^RBR

7. 判定域邊界 BJB^JBJ

8. 驗證域邊界 BVB^VBV

9. 局部與全域邊界

10. 可知區與可知邊界

11. Boundary 與 Frontier

Boundary

Frontier [DEF]

12. 非活動邊界

13. Periphery / Edge / Boundary / Frontier / Unknown

14. Boundary State Vector

15. Set Displacement

16. Hausdorff Boundary Displacement [ALIGN]

17. Signed Domain Flux

18. Gross Flux

19. Boundary Churn

20. Level-Set Backend [ALIGN]

21. Normal Velocity

22. Reachability Backend [ALIGN]

23. Viability Boundary [ALIGN]

24. Free-Boundary Backend [ALIGN]

25. 多邊界距離

26. Reachability–Judgment Lag

27. Judgment–Verification Lag

28. Local–Global Lag

29. Frontier Thickness

30. Boundary Velocity Vector

31. Boundary Event Taxonomy I

32. Advance / Retreat

33. Split

34. Merge

35. Nucleation

36. Extinction

37. Puncture / Hole Formation

38. Pinning

39. Unpinning

40. Boundary Jump

41. Boundary Reclassification

42. Knowledge State-Space Expansion

43. Absolute Knowable Mass

44. Relative Knowability

45. Knowability Expansion Paradox

46. 連續近似

47. Boundary Generation by Intelligence

48. Reflexive Boundary

49. Boundary Coupling

50. Boundary Propagation Delay

51. Boundary Hysteresis

52. Boundary Memory

53. Boundary Lag 與 Backlog

54. Frontier Lag Rate

55. Boundary Synchronization

56. Boundary Cascade

57. Boundary Amplification

58. Boundary Damping

59. Boundary Reflection

60. Boundary Leakage

61. Boundary Gate Integrity

62. Boundary Breach

63. Boundary Audit

64. Irreducible Boundary BUB^UBU

65. Irreducibility Spectrum

66. Representation-Bounded Boundary

67. Model-Bounded Boundary

68. Certified Structural Boundary

69. Boundary Permanence Is Conditional

4. 定義域邊界 $B^D$

5. 觀察域邊界 $B^O$

6. 可達域邊界 $B^R$

7. 判定域邊界 $B^J$

8. 驗證域邊界 $B^V$

64. Irreducible Boundary $B^U$