計算邊界論：封閉系統、開放系統與複雜度責任的重新定位

Computational Boundary Theory: Closed Systems, Open Systems, and the Relocation of Complexity Responsibility

系列： Computational Space and Hyperconnected Complexity Series
Paper： 06 / 09
作者： Neo.K
協作整理： Aletheia / GPT-5.6 Sol
機構： EveMissLab／一言諾科技有限公司
版本： v0.1
日期： 2026-08-29
文件性質： 計算邊界理論／複雜度核算／系統責任模型／超連接計算方法論
前置文件：

Paper 01《計算機不是處理器：可定址狀態轉換空間的重新定義》
Paper 02《從 1 到 X：符號、地址、展開與狀態翻轉計算》
Paper 03《超連接計算：從無限維奧賽羅到極限 MSSP–RDR》
Paper 04《複雜度位移原則：時間路徑如何轉移為空間、連接、歷史與外部能力》
Paper 05《局部 $O(1)$ 不等於全域 $O(1)$ ：API、Oracle、預計算、Advice 與外包計算的複雜度邊界》

研究狀態： 計算系統邊界與責任核算框架；不取代標準 complexity model，不宣稱所有計算成本可被唯一封閉，不宣稱本文建立經典 $P=NP$ 或 $P\neq NP$ 證明。

摘要

前兩篇已指出，超連接計算會持續將原本位於時間路徑中的工作轉移到預計算、記憶、硬體、外部 provider、歷史、API、模型、索引與其他 Agent 中。因此，在一個高度模組化、分散式、AI-native 的計算世界中，「這個問題花了多少計算」不再能只透過當前 process 或單一 machine 的 runtime 判斷。

如果：

A

只做一次 API 呼叫，而：

B

實際完成所有高成本推理，那麼對：

A

而言：

C_A

很低；

但對：

A\cup B

而言，真正必要計算仍然存在。

同樣，如果某個 solver 的推理時間只有一毫秒，但依賴數月預計算、數 TB persistent state、巨量模型訓練與專用硬體，則：

C_{\mathrm{online}}

很低，

卻不代表：

C_{\mathrm{system}}

也低。

因此本文提出 Computational Boundary Theory，計算邊界論。

本文的中心概念不是「系統是否真的封閉」的物理本體論，而是：

\boxed{ \text{對某一計算聲明， 哪些必要作用必須被視為同一個責任系統的一部分？} }

本文定義 Computational Responsibility Boundary：

\boxed{ \mathfrak B_C }

為一個相對於指定任務、資源模型與聲明而劃定的計算責任邊界。

對任務：

q,

若某一元件、歷史狀態、provider、資料、模型、硬體或外部智能體是成功完成 $q$ 的必要因果／功能依賴，則在相應的 closed-accounting analysis 中，該元素必須被納入：

\mathfrak B_C.

本文區分四種邊界：

Local Boundary：只計算當前 actor；
Operational Boundary：包含本次執行實際依賴的 runtime 系統；
Lifecycle Boundary：加入 capability formation、precompute、training、storage、maintenance；
Closed Responsibility Boundary：對指定問題，納入所有不能被免費假設存在的必要計算責任。

本文同時提出：

\boxed{ \text{Physical Closure} \neq \text{Computational Closure} \neq \text{Accounting Closure}. }

一個系統可以物理上開放、依賴網路、依賴外部服務，卻仍可透過擴大責任邊界建立完整 accounting closure。

因此「封閉計算系統」不必是一台不連網的孤立電腦。它可以是一個跨 CPU、GPU、cloud、database、human、agent、hardware accelerator 與 historical state 的分散式系統，只要所有必要責任都被納入計算帳本。

本文最終提出：

\boxed{ \text{Open Execution} + \text{Closed Accounting} }

作為未來超連接計算的重要原則。

這使我們可以在不否定外包、API、分散式運算與文明級知識共享的前提下，仍然回答：

這個結果究竟是由誰、在哪裡、以什麼成本完成的？

本文完成 Complexity Displacement 主軸，並為下一篇「封閉計算宇宙中的 P/NP」建立必要基礎。

關鍵詞： Computational Boundary、Closed System、Open System、Complexity Accounting、Responsibility Boundary、Hyperconnected Computation、MSSP–RDR、Agentic P/NP、Outsourcing、Precomputation

1. 問題不是「有沒有外部」，而是「誰負責」

考慮：

A

向：

B

提出：

q.

而：

B

y.

若只看：

A,

則：

C_A(q)

可能極低。

但：

B

可能：

執行 exponential search；
讀取巨大 database；
呼叫第三個 provider；
使用專用硬體；
請人類處理；
使用歷史 cache。

所以真正重要的不是：

有沒有外部。

而是：

\boxed{ \text{哪些外部作用是完成 }q\text{ 的必要責任？} }

2. 計算責任

本文定義：

Computational Responsibility

若元素：

z

對任務：

q

的正確完成具有必要功能依賴，則：

\boxed{ z\in\operatorname{Resp}(q). }

例如：

z= \text{SAT provider}

如果沒有它，caller 不能得到答案，

則 provider 對這次 computation 承擔責任。

3. 必要依賴不只包含 active process

可能屬於：

\operatorname{Resp}(q)

的元素包括：

process；
program；
library；
database；
model；
precomputed table；
index；
cache；
remote API；
GPU；
ASIC；
network；
human；
agent；
persistent memory；
theorem library。

所以：

\boxed{ \text{Computational Responsibility} \neq \text{currently executing code only}. }

4. Computational Responsibility Boundary

定義：

\boxed{ \mathfrak B_C(q) \supseteq \operatorname{Resp}(q). }

若分析要求所有必要 computation 都被核算，

則：

\mathfrak B_C

必須包住相關必要責任。

這個 boundary 不是天然唯一。

而是相對於：

research question；
task；
machine model；
resource model；
claim scope。

5. 邊界不是任意畫線

不能因為：

「我不想算 cloud 的成本。」

就把 cloud 排除，

然後又宣稱：

「整個問題成本很低。」

如果 cloud 是 necessary dependency，

則可以說：

C_{\mathrm{local}}

低。

但不能把它冒充：

C_{\mathrm{closed}}.

所以：

\boxed{ \text{Boundary choice changes claim meaning}. }

6. 四種核心邊界

本文提出第一版四層。

B0 — Local Actor Boundary

\boxed{ \mathfrak B_0 = \text{current actor}. }

例如：

current process；
current agent；
caller machine。

這裡回答：

我自己做了多少？

B1 — Operational Boundary

\boxed{ \mathfrak B_1 = \text{all runtime dependencies used in this execution}. }

包含：

remote provider；
database；
network；
GPU；
external agent。

回答：

這次任務實際跑了多少？

B2 — Lifecycle Boundary

\boxed{ \mathfrak B_2 = \mathfrak B_1 + \text{formation / maintenance dependencies}. }

例如：

training；
precompute；
index build；
deployment；
maintenance。

回答：

讓這項能力長期存在需要多少？

B3 — Closed Responsibility Boundary

\boxed{ \mathfrak B_3 = \text{all computational responsibility required for the stated capability claim}. }

這是本文最重要的邊界。

7. 邊界形成巢套

典型：

\boxed{ \mathfrak B_0 \subseteq \mathfrak B_1 \subseteq \mathfrak B_2 \subseteq \mathfrak B_3. }

因此：

C(q\mid\mathfrak B_0)

與：

C(q\mid\mathfrak B_3)

回答的是不同問題。

8. Physical Closure 不是我們的主要目標

物理上真正完全封閉的計算機幾乎不存在。

電腦需要：

能源；
environment；
fabrication；
human input。

如果要求絕對物理封閉，

問題會失去實用性。

因此本文不要求：

\boxed{ \text{Physical Isolation}. }

9. 三種 Closure 必須分開

本文區分：

\boxed{ \text{Physical Closure} }

\boxed{ \text{Computational Closure} }

\boxed{ \text{Accounting Closure}. }

10. Physical Closure

指：

系統物理上不與外部交換必要狀態／能量／信息。

這是一個很強的物理條件。

本文通常不要求。

11. Computational Closure

對任務：

q,

若系統內部擁有完成 $q$ 所需全部 computation capability，

則：

\boxed{ \operatorname{CompClosed}(q,\mathfrak B)=1. }

例如：

一台離線 laptop 已裝好全部必要 software。

12. Accounting Closure

即使 computation 實際跨 cloud、human、agent，

只要：

\boxed{ \text{所有必要成本均被歸入同一 accounting analysis}, }

就可以：

\operatorname{AccountClosed}=1.

這是本文最需要的 closure。

13. Open Execution + Closed Accounting

因此成熟系統完全可以：

\boxed{ \text{Execution Open} }

同時：

\boxed{ \text{Accounting Closed}. }

例如：

Local Agent
    ↓
Cloud GPU
    ↓
Database
    ↓
External Solver

物理上高度開放。

但如果成本全部追蹤：

\boxed{ C_{\mathrm{closed}} = C_L+C_G+C_D+C_S+C_{\mathrm{network}}. }

accounting 仍然封閉。

14. 這解決 API 的核心問題

API 不需要被禁止。

只需要：

\boxed{ \text{API provider cost is not magically zero}. }

因此：

\text{use API}

與：

\text{honest complexity accounting}

完全可以共存。

15. 外包不是作弊

如果 cloud server 比 local machine 更有效率，

外包可能讓：

C_{\mathrm{closed,new}} < C_{\mathrm{closed,old}}.

這是真實優化。

所以本文不是反對 outsourcing。

而是反對：

\boxed{ \text{outsourcing} \rightarrow \text{cost erasure}. }

16. Externality 與 Responsibility

若：

A

呼叫：

B,

則對 $A$ 而言：

B

是 external。

但對：

\mathfrak B=A\cup B,

B 已成 internal。

所以：

\boxed{ \text{Externality is boundary-relative}. }

17. 「外部」不是本體屬性

一台 GPU 對 CPU process 是 external device。

但對整台 workstation：

GPU\in\mathfrak B.

cloud 對 workstation 外部。

對整個 enterprise compute fabric：

cloud

又可能屬於 internal operational boundary。

因此：

\boxed{ \operatorname{External}(x) = \operatorname{External}(x\mid\mathfrak B). }

18. Responsibility Graph

建立：

\boxed{ G_R=(V_R,E_R) }

其中 node 可以是：

actor；
service；
model；
data；
hardware；
precompute artifact。

若：

u\rightarrow v

表示：

$u$ 的任務完成依賴 $v$ 。

則：

G_R

形成計算責任圖。

19. Necessary Responsibility Closure

給 root task：

q,

從 root node：

r_q

沿 necessary dependency edges 展開。

得到：

\boxed{ \operatorname{Closure}_R(q). }

則：

\mathfrak B_C

至少需要覆蓋該 closure 中由研究聲明要求核算的部分。

20. Recursive Outsourcing

例如：

A\rightarrow B,

B\rightarrow C,

C\rightarrow D.

若只算：

A,

會出現多層 outsourcing illusion。

完整 closure：

\boxed{ \operatorname{Closure}_R(A) = \{A,B,C,D\}. }

21. MSSP–RDR 特別需要責任圖

極限 MSSP–RDR 可能讓：

1_i

指向：

A_i,

而：

A_i

又呼叫：

A_j.

如果只看 capability registry 第一層，

就無法看到真正成本。

所以 capability manifest 應保留：

\boxed{ \text{dependency lineage}. }

22. Capability Dependency Closure

令：

Dep(A_i)

為 capability 直接依賴。

定義：

\boxed{ Dep^\star(A_i) }

為 transitive dependency closure。

那：

C_{\mathrm{closed}}(A_i)

至少應考慮：

Dep^\star(A_i).

23. External Oracle Closure

如果：

A

使用 oracle：

O,

在 ordinary oracle analysis 中可以不計 oracle implementation。

但如果聲明是：

現實完整系統具有此能力。

則需要展開：

\boxed{ O \rightarrow \operatorname{Implementation}(O). }

如果 implementation 不存在，

則能力仍屬：

\boxed{ \text{assumed capability}. }

24. Assumed Capability 與 Realized Capability

本文區分：

\boxed{ \mathcal A^{\mathrm{assumed}} }

與：

\boxed{ \mathcal A^{\mathrm{realized}}. }

Oracle 可以合法存在前者。

工程 P/NP claim 若要成立，則應盡可能落到後者。

25. Realization Boundary

對 capability：

F,

定義：

\boxed{ \mathfrak B_R(F) }

為足以真正 materialize $F$ 的最小已知 computational responsibility set。

若：

\mathfrak B_R(F)

未知，

那我們只知道：

F

作為 abstraction 存在。

26. 一個 Function 名稱不形成 Realization Closure

例如：

\texttt{solve\_np\_hard()}

只是一個符號。

必須展開到：

algorithm；
code；
hardware；
data；
runtime。

才能建立 realization closure。

所以：

\boxed{ \text{Interface Closure} \neq \text{Realization Closure}. }

27. Historical Responsibility

問題更複雜：

如果 solver 的 algorithm 是過去發現，

那過去研究成本是否永遠都要算？

答案：

取決於 claim。

若 claim 是：

目前已有此算法時，每個 instance 多快？

通常不用。

若 claim 是：

一個自主 Agent 從初始狀態獲得此能力需要多少？

就要。

因此：

\boxed{ \text{history inclusion is claim-relative}. }

28. Claim-Relative Boundary

本文正式表示：

\boxed{ \mathfrak B_C = \mathfrak B_C(q,\mathcal K,\mathcal M,\mathcal R). }

其中：

$q$ ：task；
$\mathcal K$ ：claim type；
$\mathcal M$ ：machine model；
$\mathcal R$ ：resource/accounting rules。

所以沒有一個宇宙唯一 boundary。

29. 四種 Claim Type

本文建議至少區分：

Q1 — Instance Execution Claim

已有所有 capability 時，這個 instance 多快？

Q2 — System Operational Claim

整個 runtime 完成 instance 多快？

Q3 — Capability Lifecycle Claim

建立與維持這項能力成本多少？

Q4 — Autonomous Acquisition Claim

從指定初始狀態開始，系統能否自行獲得這項能力？

不同 claim：

\boxed{ \mathfrak B_C^{Q1} \neq \mathfrak B_C^{Q4}. }

30. 這對 Agentic P/NP 非常關鍵

經典 $P/NP$ 主要接近 Q1／algorithm family execution。

Agentic P/NP 還必須加入 Q4：

\boxed{ \text{solver acquisition}. }

因此：

C_{\mathrm{agent}} = C_{\mathrm{acquire}} + C_{\mathrm{execute}} + C_{\mathrm{verify}}.

31. Initial State 必須指定

如果 Agent 一開始已經擁有：

\text{all human mathematics}

和：

\text{all algorithms},

它與 blank Agent 當然不同。

所以 autonomous acquisition claim 必須指定：

\boxed{ \Sigma_0. }

沒有：

\Sigma_0,

「自主解出」沒有完整語義。

32. State Endowment

本文定義：

\boxed{ E_0 }

為 initial computational endowment。

包括：

knowledge；
algorithm；
model；
hardware；
memory；
provider access；
training data。

那：

\boxed{ C(q\mid E_0) }

才是完整 state-relative cost。

33. Rich Endowment 會降低未來成本

若：

E_1\subset E_2,

則常可能：

C(q\mid E_2) < C(q\mid E_1).

這不是作弊。

只是表示：

\boxed{ \text{capability depends on initial state}. }

真正不能做的是在比較時偷偷換：

E_0.

34. Boundary Drift

系統運行一段時間後：

\mathfrak B_t

可能變。

例如一個原本 external API：

A_{\mathrm{ext}}

被下載為 local model。

則：

A_{\mathrm{ext}} \rightarrow A_{\mathrm{local}}.

這是：

Boundary Migration

35. Dynamic Boundary

所以：

\boxed{ \mathfrak B_C(t) }

可以是 dynamic。

尤其在 Dynamic MSSP 中，

capability 的 effective role、provider 與 location 都會變。

因此：

\boxed{ \text{computational boundary is a state variable}. }

36. Boundary State

定義：

\boxed{ \Beta_t = ( V_t^{\mathrm{in}}, V_t^{\mathrm{out}}, E_t^{\mathrm{cross}}, P_t ) }

其中：

$V^{in}$ ：boundary 內元件；
$V^{out}$ ：boundary 外元件；
$E^{cross}$ ：跨 boundary dependencies；
$P_t$ ：accounting policy。

37. 跨 Boundary Edge

若：

u\in V^{in}, \quad v\in V^{out},

且：

u\rightarrow v,

則形成：

\boxed{ e_{\partial} }

boundary-crossing dependency。

任何：

e_{\partial}

都需要標記：

data；
work；
trust；
latency；
cost；
authority。

38. Open-System Computation

如果允許：

E_{\partial}\neq\varnothing,

則 execution 是 open。

這不是問題。

問題是：

\boxed{ \text{是否把跨 boundary work 誤記為零？} }

39. Closed Accounting Operator

定義候選：

\boxed{ \mathcal C\ell_{\mathrm{acct}} (\mathfrak B,q) }

持續沿 necessary dependencies 展開，

直到：

所有 computational provider 被納入；
或被明確標記為 allowed primitive assumption；
不再存在未標記 external responsibility。

得到：

\boxed{ \widehat{\mathfrak B}. }

40. Primitive Assumption

某些 analysis 必須停在某個底層。

例如 standard RAM model 不會算 transistor fabrication。

所以可聲明：

\boxed{ \mathcal P_{\mathrm{primitive}} }

例如：

word operation；
memory access；
arithmetic primitive。

這些不是「免費」。

只是 model 內規定為 primitive。

41. 所以 Closure 必須 model-relative

沒有任何 analysis 能無限展開到：

原子；
宇宙；
Big Bang。

所以：

\boxed{ \text{closure is always relative to a declared primitive basis}. }

這避免計算邊界論變成無限追因。

42. Primitive Basis

定義：

\boxed{ \Pi_C = \{p_1,\ldots,p_k\}. }

當 dependency 到：

p_i

即停止展開。

因此完整 complexity claim 應包含：

\boxed{ (\mathfrak B_C,\Pi_C). }

43. Boundary + Primitive = Meaningful Cost

所以：

\boxed{ C(q\mid\mathfrak B_C,\Pi_C) }

比單純：

C(q)

更精確。

44. Open System 也可以有嚴格 complexity

假設：

A

呼叫：

B.

若：

B

的 cost function 已知：

C_B(n),

則可以寫：

\boxed{ C_A^{\mathrm{open}} = C_{\mathrm{local}} + C_B. }

所以 open architecture 並不阻止形式分析。

45. Compositional Accounting

如果：

A\rightarrow B\rightarrow C,

則：

\boxed{ C_A^{\mathrm{closed}} = C_A^{self} + C_B^{self} + C_C^{self} + C_{\mathrm{bridge}}. }

若有重用，

不能簡單重複加總，

需處理 shared cost。

46. Shared Cost

例如一個 model：

M

同時服務：

10^6

requests。

其 training cost：

C_{\mathrm{train}}

不應每 request 全部重算。

所以：

\boxed{ \text{responsibility inclusion} \neq \text{naive double counting}. }

47. Attribution Policy

需要：

\boxed{ \mathcal A_C }

決定 shared cost 如何分配：

per-query；
amortized；
marginal；
full lifecycle；
reserved capacity。

這是工程 accounting 問題。

48. Marginal Cost 與 Total Cost

一個 existing provider：

P

處理下一個 query 的：

C_{\mathrm{marginal}}

可能很低。

但整個 provider：

C_{\mathrm{total}}

很高。

因此：

\boxed{ C_{\mathrm{marginal}} \neq C_{\mathrm{formation}}. }

不同 claim 要選不同 cost。

49. 封閉系統不是每次重算世界歷史

這點非常重要。

Closed accounting 不是要求：

每一次 FFT 都把 Cooley–Tukey 發現成本重算一次。

它要求：

不得在討論「能力如何形成」時，把該形成責任消失掉。

所以：

\boxed{ \text{closure} \neq \text{historical double counting}. }

50. Three Accounting Modes

本文提出：

Execution Accounting

C_{\mathrm{exec}}.

只研究當前 task execution。

Amortized Capability Accounting

C_{\mathrm{amort}}.

將 formation cost 攤到多次使用。

Full Formation Accounting

C_{\mathrm{form+exec}}.

研究從初始無能力狀態到成功。

這三者應同時存在。

51. Closed-System P/NP 最需要哪個？

經典 P/NP：

主要要求：

\boxed{ \text{uniform algorithm execution complexity}. }

但如果討論：

極限 MSSP–RDR 能否讓文明進入 P/NP capability？

則至少還需：

\boxed{ \text{capability formation / construction}. }

所以 Paper 07 會刻意分兩層。

52. Closed Computational Universe

現在可以準備定義下一篇需要的對象。

令：

\boxed{ \mathfrak U_C = ( \mathfrak B, \Pi_C, \mathcal A, \mathcal R, \mathcal H, \mathcal V ) }

為 Closed Computational Universe。

其中：

$\mathfrak B$ ：責任邊界；
$\Pi_C$ ：primitive basis；
$\mathcal A$ ：available capability；
$\mathcal R$ ：resources；
$\mathcal H$ ：persistent history；
$\mathcal V$ ：verification rules。

53. 「Closed」不代表不能成長

這裡的 closed 是：

\boxed{ \text{accounting complete}. }

不是：

\boxed{ \text{state immutable}. }

因此：

\mathfrak U_t \rightarrow \mathfrak U_{t+1}

完全可以。

54. Closed Dynamic System

可以有：

\boxed{ \mathfrak B_t }

在更高層治理下變化。

只要每個 analysis 時刻都知道：

\mathfrak B_t

與：

\Pi_t.

所以：

\boxed{ \text{Dynamic} \neq \text{Unaccountable}. }

55. 這正適合 Agentic World

Agent 可以：

下載 model；
加入 API；
建立 tool；
部署 solver；
連接新 hardware。

因此其 computational boundary 不斷變。

但 capability ledger 可以持續記錄：

\boxed{ \text{Where did this capability come from?} }

56. Capability Provenance

每一個：

A_i

建議帶：

\boxed{ Prov(A_i) = ( Origin, Constructor, Dependencies, Cost, Version, Evidence ). }

這讓 responsibility closure 可追溯。

57. Complexity Provenance

進一步：

\boxed{ Prov_C(A_i) }

記錄：

construction cost；
precompute；
storage；
provider；
runtime；
maintenance；
verification。

這就是後續技術白皮書中的 Complexity Accounting Ledger。

58. Boundaries and Trust

如果 external provider：

B

不可信，

caller 還需要：

V(y).

因此 boundary 不只影響 cost，

也影響：

\boxed{ \text{verification responsibility}. }

59. Trust Boundary 與 Computational Boundary 不同

安全工程常有：

\text{Trust Boundary}.

本文的：

\text{Computational Responsibility Boundary}

不是同一個東西。

一個 provider 可以：

在 computational boundary 內；
但在 trust boundary 外。

所以：

\boxed{ \mathfrak B_C \neq \mathfrak B_T. }

60. 多邊界系統

成熟系統可能同時有：

\boxed{ \mathfrak B_C }

計算責任；

\boxed{ \mathfrak B_T }

信任；

\boxed{ \mathfrak B_A }

authority；

\boxed{ \mathfrak B_D }

data governance。

不能混成一個 boundary。

61. MSSP–RDR 可作邊界管理核心

MSSP 描述：

capability identity；
role；
dependency；
provider。

RDR 實際 materialize。

因此可以加入：

\boxed{ BoundaryPolicy(A_i). }

例如：

capability: solver-x
provider: remote-gpu
computational_boundary: included
trust_boundary: external
verification: mandatory
cost_accounting: provider+network

62. 極限 MSSP–RDR 的成熟版本

因此不再只是：

\text{Resolve} \rightarrow \text{Execute}.

而是：

\boxed{ \text{Resolve} \rightarrow \text{Boundary Check} \rightarrow \text{Cost Attribution} \rightarrow \text{Authorize} \rightarrow \text{Execute} \rightarrow \text{Verify} \rightarrow \text{Record}. }

63. Boundary Crossing Is a First-Class Event

每次：

e_{\partial}

應留下：

caller；
provider；
resource；
data；
cost；
result；
evidence。

因此：

\boxed{ \text{boundary crossing} }

本身是 Runtime event。

64. Closed-Accounting Runtime

本文提出：

CAR — Closed-Accounting Runtime

其核心不是禁止 external capability，

而是：

\boxed{ \text{no unaccounted necessary dependency}. }

65. Fail-Closed Accounting

如果：

A

呼叫：

B,

但：

Cost(B)=?

對高強度 complexity claim，

系統應輸出：

\boxed{ \text{ACCOUNTING INCOMPLETE} }

而不是：

\boxed{ O(1). }

66. Unknown Cost 不是 Zero Cost

這是一條非常重要的工程規則：

\boxed{ C=?\neq0. }

沒有 cost data，

應標記：

Unknown,

不能填：

0.

67. 未知 Provider

對 external closed-source API：

如果不知道內部算法，

可以報：

\boxed{ C_{\mathrm{provider}}=\mathrm{Unknown}. }

於是：

C_{\mathrm{closed}}

不能被完整宣稱。

但：

C_{\mathrm{local}}

仍可以報。

68. Complexity Claim Maturity

本文提出第一版：

C0 — Interface Claim

只知道 call count。

C1 — Operational Claim

知道 runtime dependencies。

C2 — Lifecycle Claim

加入 build / precompute。

C3 — Closed Accounting Claim

必要責任全部有明確成本／bound。

C4 — Formal Asymptotic Claim

存在正式 complexity proof。

只有 C4 才能承擔強 classical complexity statement。

69. 超連接系統最容易停在 C0

例如：

「只要呼叫這個 Agent 就完成。」

這只是：

\boxed{ C0. }

看起來很強，

但 complexity information 最少。

70. Agentic System 應主動往 C3 升級

因為 Agent 可以自己記錄：

tool calls；
provider；
token；
compute；
latency；
hardware；
results。

所以未來 AI-native Runtime 反而比傳統分散系統更適合建立：

\boxed{ \text{dynamic complexity provenance}. }

71. 計算邊界與狀態位置

現在回到本系列最初問題：

「狀態位置要變。」

如果結果：

y

已經被 external database 保存，

對 caller：

y

在 boundary 外。

若 database 被納入：

\mathfrak B_C,

則：

y

成為 system-resident state。

所以：

\boxed{ \text{state position} }

其實也是 boundary-relative。

72. Internalized Complexity

若原本：

C_{\mathrm{external}}

被下載、固化、cache，

轉成：

C_{\mathrm{internal}}.

稱：

Complexity Internalization

例如：

\text{cloud model} \rightarrow \text{local model}.

73. Externalized Complexity

反方向：

C_{\mathrm{internal}} \rightarrow C_{\mathrm{external}}.

例如：

\text{local render} \rightarrow \text{cloud render}.

所以：

\boxed{ \text{computational architecture evolution} }

可以被描述成 complexity boundary migration。

74. Closed Boundary 不是越大越好

如果把整個人類文明都塞進：

\mathfrak B,

每個 query 的 accounting 會失去用途。

因此：

\boxed{ \text{minimal sufficient responsibility boundary} }

更重要。

75. Minimal Sufficient Computational Boundary

定義：

\boxed{ \mathfrak B_C^\star(q) }

為對指定 claim，足以覆蓋全部必要責任、且不包含不必要元素的最小邊界候選。

即：

\operatorname{Resp}(q) \subseteq \mathfrak B_C^\star

且盡可能小。

76. Why Minimal?

因為如果 boundary 太小：

\text{hidden cost}.

太大：

\text{irrelevant attribution}.

所以真正目標：

\boxed{ \text{Responsibility Completeness} + \text{Boundary Minimality}. }

77. Boundary Optimization

可以形式化：

\boxed{ \min_{\mathfrak B} |\mathfrak B| }

subject to：

\boxed{ \operatorname{Resp}_{\mathcal K}(q) \subseteq \mathfrak B. }

其中：

\mathcal K

是 claim type。

78. Task Contract 仍然重要

如果：

q

被偷偷改寫，

responsibility closure 也會變。

所以：

\boxed{ \mathfrak B_C }

必須相對：

\boxed{ \mathfrak I_q }

Task Identity Contract。

79. Exact 與 Approximate 的 Boundary 不同

若要求：

\text{exact SAT}.

和：

\text{heuristic SAT candidate}

需要的 verification responsibility 不同。

所以：

\boxed{ \mathfrak B_C(q_{\mathrm{exact}}) \neq \mathfrak B_C(q_{\mathrm{approx}}). }

80. 封閉系統中的「免費知識」

經典算法 analysis 常允許 algorithm description 免費固定存在。

這是合理 model assumption。

因此 Paper 07 必須區分：

Algorithm-Given Closed System

solver 已存在。

Solver-Formation Closed System

solver 也需由 boundary 內形成。

兩者不能混。

81. 這將形成兩種 P/NP 問題

第一層：

\boxed{ \text{Does a polynomial solver exist?} }

這是 classical。

第二層：

\boxed{ \text{Can an agentic computational world construct such a solver under bounded resources?} }

這是 Agentic extension。

82. Classical P/NP 不應被 Agentic Boundary 改寫

本文再次固定：

\boxed{ P/NP_{\mathrm{classical}} }

仍依經典定義。

新的 boundary framework 不是替代。

而是：

\boxed{ \text{preventing operational systems from falsely claiming classical consequences}. }

83. 封閉世界思想實驗

假設：

D_N

有限，

並且：

\mathfrak U_N

內包含全部答案。

那：

C_{\mathrm{query}}

可以：

O(1).

在：

\mathfrak U_N

內這是真的。

但當：

N

增加，

我們要問：

\boxed{ C( \mathfrak U_N \rightarrow \mathfrak U_{N+1} ). }

這就是下一篇最有意思的地方。

84. 系統本身的 Expansion Complexity

令：

\boxed{ C_{\mathrm{expand}} ( \mathfrak U_n \rightarrow \mathfrak U_{n+1} ) }

表示為支援更大 input size 而擴張 closed computational universe 的成本。

即使：

C_{\mathrm{query}}=O(1),

C_{\mathrm{expand}}

可能 exponential。

85. P/NP 可以被重新看成兩個 growth 問題

不是重新定義 classical P/NP，

而是增加一個觀察：

\boxed{ \text{query growth} }

與：

\boxed{ \text{solver-space growth}. }

兩者可以不同。

86. Fully Materialized World

極端：

\mathfrak U_n

保存 size $n$ 所有答案。

則：

C_{\mathrm{query}}=O(1).

但：

|\mathfrak U_n|

可能：

2^n

或更大。

這是：

Materialization-Dominant Tractability

87. Generative World

另一極端：

不保存所有答案。

只保存：

G.

使：

G(x)\rightarrow y.

如果：

G

polynomial，

那就是更接近經典 tractability。

所以：

\boxed{ \text{materialized tractability} \neq \text{generative tractability}. }

88. 超連接真正值得研究的極限

不是：

\boxed{ \text{everything stored}. }

而是：

\boxed{ \text{needed channels generated cheaply enough}. }

這也是為什麼 Paper 07 不能只停在 lookup table 思維實驗。

89. Responsibility for Generator

如果：

G

產生 solver，

那：

G

本身必須納入：

\mathfrak B_C.

不能：

「系統免費獲得一個 generator。」

所以：

\boxed{ \text{generator complexity is part of closed responsibility}. }

90. Recursive Generator Problem

如果：

G_1

依賴：

G_2,

又依賴：

G_3,

責任 closure 必須繼續展開，

直到 primitive basis。

所以超連接系統不能靠：

\boxed{ \text{infinite outsourcing regress} }

逃掉 complexity。

91. Closed Accounting Stops the Regress

因為：

\mathcal C\ell_{\mathrm{acct}}

要求：

\boxed{ \text{every necessary external dependency must either be internalized or declared primitive}. }

所以責任鏈最後會停止。

92. Primitive Declaration 必須公開

如果把：

SAT

oracle 宣告成 primitive，

那可以。

但 claim 必須寫：

\boxed{ \text{SAT-oracle model}. }

不能省略。

這是邊界誠實原則。

93. Boundary Honesty Principle

本文提出：

\boxed{ \text{A computational claim must not silently exclude a necessary dependency from its accounting boundary}. }

中文：

任何計算能力聲明，都不得靜默地把必要依賴排除在核算邊界之外。

94. Boundary Transparency Principle

同時應公開：

\boxed{ (\mathfrak B_C,\Pi_C,E_0). }

即：

responsibility boundary；
primitive basis；
initial endowment。

三者共同決定 claim meaning。

95. 三元邊界描述

因此本文建議未來任何強計算聲明至少附：

\boxed{ \mathcal B_{\mathrm{claim}} = ( \mathfrak B_C, \Pi_C, E_0 ). }

若研究 dynamic system，

再加入：

H_0.

96. Closed Complexity Certificate

本文提出候選：

\boxed{ CCC = ( Q, \mathfrak I_Q, \mathfrak B_C, \Pi_C, E_0, \mathbf R, \mathcal D, \mathcal V ) }

其中：

$Q$ ：task family；
$\mathfrak I_Q$ ：task identity；
$\mathfrak B_C$ ：responsibility boundary；
$\Pi_C$ ：primitive basis；
$E_0$ ：initial endowment；
$\mathbf R$ ：resource model；
$\mathcal D$ ：dependency closure；
$\mathcal V$ ：verification obligation。

97. CCC 的目的

不是創造形式官僚主義。

而是防止：

\boxed{ \text{local success} \rightarrow \text{global overclaim}. }

尤其適合：

Agent benchmark；
AI automation；
P/NP experiment；
distributed solver；
API-assisted theorem proving。

98. Paper 04–06 的完整鏈

Paper 04：

\boxed{ \text{複雜度會位移}. }

Paper 05：

\boxed{ O(1)_{\mathrm{local}} \neq O(1)_{\mathrm{global}}. }

本文 Paper 06：

\boxed{ \text{要知道 global 到底是什麼， 就必須先明確責任邊界。} }

所以第二部分完成：

\boxed{ \text{Displacement} \rightarrow \text{Local/Global Separation} \rightarrow \text{Boundary Closure}. }

99. 下一篇真正可以談 P/NP 了

現在我們已經可以構造一個極端封閉宇宙：

\boxed{ \mathfrak U_n. }

它可以包含：

所有必要 hardware；
memory；
algorithm；
capability；
precomputed state；
verifier。

然後問：

如果對有限 $n$ ，我們讓它接近完全超連接，P/NP 類問題會發生什麼？

以及：

當 $n\rightarrow\infty$ ，維持這種 capability 的 universe 本身要怎麼長？

這就是 Paper 07。

100. 第一核心命題：Responsibility Closure Principle

對 claim：

\mathcal K(q),

若：

z

是完成該 claim 的必要 computational dependency，

則：

\boxed{ z }

必須：

被納入 responsibility boundary；
或明確聲明為 primitive assumption。

不得保持未標記 external。

101. 第二核心命題：Open Execution / Closed Accounting

一個系統可以：

\boxed{ \operatorname{ExecutionOpen}=1 }

同時：

\boxed{ \operatorname{AccountingClosed}=1. }

因此：

\boxed{ \text{distributed computation} }

與：

\boxed{ \text{complete complexity accounting} }

不存在根本衝突。

102. 第三核心命題：Boundary Relativity

\boxed{ C(q\mid\mathfrak B_1) \neq C(q\mid\mathfrak B_2) }

不代表其中一個錯。

只要：

\mathfrak B_1, \mathfrak B_2

都清楚聲明。

錯誤發生於：

\boxed{ \mathfrak B_1\text{ 的結果被冒充成 }\mathfrak B_2. }

103. 第四核心命題：Unknown Is Not Zero

若必要 provider：

P

成本未知：

C(P)=?,

則：

\boxed{ C(P)\neq0 }

不得推定。

完整 closed complexity 狀態應為：

\boxed{ \text{Incomplete / Unknown}. }

104. 第五核心命題：Minimal Sufficient Boundary

對指定 claim，理想 accounting boundary 應：

\boxed{ \text{complete enough to contain responsibility, small enough to avoid irrelevant attribution}. }

即：

\boxed{ \mathfrak B_C^\star. }

105. 第六核心命題：Initial-Endowment Dependence

對自主系統：

\boxed{ C_{\mathrm{acquire}} (q\mid E_0) }

必須相對 initial endowment。

不同：

E_0

不可直接比較為同一 acquisition problem。

106. 第七核心命題：Expansion Responsibility

如果一個 finite hyperconnected universe：

\mathfrak U_n

要擴張成：

\mathfrak U_{n+1},

則：

\boxed{ C_{\mathrm{expand}} }

是其 capability scaling 的必要成本。

不能只報：

C_{\mathrm{query}}.

107. 可反駁條件

本文框架若要具有獨立研究價值，至少需要通過以下壓力測試。

第一，如果 responsibility boundary 無法比普通 system boundary / dependency graph 提供更清楚的 complexity attribution，理論可能只是術語重包裝。

第二，如果 closed-accounting closure 在實務上總是無法停止、無法合理宣告 primitive basis，框架將失去可操作性。

第三，如果不同 claim type 無法導出實際不同的 accounting requirement，claim-relative boundary 沒有必要。

第四，如果 dependency cost 無法避免重複核算，lifecycle accounting 需要額外 amortization theory。

第五，如果 dynamic boundary 無法保留 provenance，則 Dynamic MSSP 接口無法成立。

108. 工程實現候選

最小 Runtime：

Task
 ↓
Task Identity Contract
 ↓
Capability Resolution
 ↓
Dependency Expansion
 ↓
Boundary Classification
 ↓
Primitive / Realized?
 ├─ Primitive → record assumption
 └─ Realized  → expand dependencies
 ↓
Cost Attribution
 ↓
Execution
 ↓
Verification
 ↓
Closed Accounting Ledger

109. Closed Accounting Ledger Entry

task_id
claim_type
task_contract
boundary_id
primitive_basis
initial_endowment

capabilities[]
providers[]
dependencies[]

online_cost
offline_cost
external_cost
verification_cost
maintenance_share

unknown_costs[]
primitive_assumptions[]
unclosed_dependencies[]

accounting_status

110. Accounting Status

建議至少：

LOCAL_ONLY
OPERATIONALLY_ACCOUNTED
LIFECYCLE_PARTIAL
CLOSED_ACCOUNTED
CLOSED_WITH_ASSUMPTIONS
ACCOUNTING_INCOMPLETE

111. 與 Complexity Accounting Ledger 的接合

Paper 04 的：

Complexity Accounting Ledger

到了本文可以正式加上：

\boxed{ Boundary ID }

與：

\boxed{ Dependency Closure. }

沒有 boundary 的 cost ledger 是不完整的。

112. 計算邊界論的核心不是「禁止外部」

本文最後必須再次強調：

\boxed{ \text{Open systems are not inferior systems}. }

現代 computing 本來就是：

distributed；
networked；
layered；
compositional。

真正成熟的方向是：

\boxed{ \text{Open Capability} + \text{Closed Responsibility}. }

113. 從單機思維進入文明計算

當：

\mathfrak B_C

可以涵蓋：

multiple machines；
AI agents；
human experts；
databases；
scientific instruments；

「一台計算機」的責任邊界就開始接近：

\boxed{ \text{Computational Civilization}. }

這是 Ultimate P/NP 最終不可避免的尺度。

114. 但文明也不能當免費 Oracle

如果說：

整個文明已經知道答案。

那 retrieval 很簡單。

但如果問題是：

文明如何第一次獲得答案？

則：

\boxed{ C_{\mathrm{civilizational\ discovery}} }

必須重新進場。

所以：

\boxed{ \text{civilization-scale memory} \neq \text{civilization-scale discovery}. }

115. 這就是我們真正要進入的下一步

Paper 07 將不再問：

API 是否算外包？

這已經處理完。

它要問：

如果我們真的把邊界封起來，所有外包全部算回來，然後讓整個封閉宇宙極度超連接，P/NP 會呈現什麼結構？

那時候才能正式比較：

\boxed{ \text{finite complete materialization} }

與：

\boxed{ \text{uniform generative tractability}. }

116. 結論

現代計算的一個根本變化，是 computation boundary 不再自然等於 machine chassis。

一個任務可以跨越：

\text{Local CPU} \rightarrow \text{GPU} \rightarrow \text{Cloud} \rightarrow \text{Database} \rightarrow \text{Agent} \rightarrow \text{Human}.

因此：

\boxed{ \text{Where computation happens} }

已經不能自動決定：

\boxed{ \text{Who computationally owns the cost}. }

本文因此提出：

Computational Responsibility Boundary

並以：

\boxed{ \mathfrak B_C }

表示對指定 task 與 claim 應納入的必要計算責任。

其中最重要的區分是：

\boxed{ \text{Physical Closure} \neq \text{Computational Closure} \neq \text{Accounting Closure}. }

真正適合超連接計算的模式不是：

\boxed{ \text{Closed Execution}. }

而是：

\boxed{ \text{Open Execution} + \text{Closed Accounting}. }

因此 API 可以使用，

cloud 可以使用，

外部 Agent 可以使用，

預計算可以使用，

大型 persistent model 可以使用，

甚至整個文明的知識庫都可以使用。

但只要它們是某項強計算能力聲明的必要條件：

\boxed{ \text{它們就不能在核算中憑空消失。} }

所以本文建立了第二主軸最後一條核心原則：

\boxed{ \textbf{Necessary computation may cross boundaries, but computational responsibility cannot be erased by crossing them.} }

中文：

必要計算可以跨越邊界，但計算責任不能因跨越邊界而被消除。

這也讓：

O(1)_{\mathrm{local}}

與：

O(1)_{\mathrm{closed}}

真正具有清楚不同的語義。

到此，系列前六篇已經完成：

\boxed{ \begin{aligned} \text{Part I: Computational Space} &: 1\text{--}3,\\\ \text{Part II: Complexity Displacement} &: 4\text{--}6. \end{aligned} }

接下來可以正式進入第三部分。

Paper 07 / 09

封閉計算宇宙中的 P/NP：完全定址、有限世界與超連接極限

P/NP in a Closed Computational Universe: Complete Addressability, Finite Worlds, and the Hyperconnected Limit

核心問題：

\boxed{ \text{如果一個有限計算世界被推到完全超連接， P/NP 類問題是否會在該世界內「消失」？} }

以及更重要的：

\boxed{ \text{當 }n\rightarrow\infty\text{ 時， 維持這種完全可達宇宙的成本如何成長？} }