title: 元計算機與原生程式語義共設計：可驗證跨載體計算架構、機理路由與世界級證據閉合
english_title: Meta-Computers and Native Programming-Semantics Co-Design: Verifiable Cross-Substrate Architectures, Mechanism Routing, and World-Level Evidence Closure
series: 物理實在—計算機理—程式語義共構論（Series C）
series_english: Physical Reality, Computational Mechanisms, and Programming Semantics: A Co-Construction Framework
series_number: 05/05
paper_id: EML-PMSC-C05
author: Neo.K
research_collaboration: Aletheia / GPT-6（原稿整合、形式模型、對照文獻與批判性研究協作）
institution: EveMissLab／一言諾科技有限公司
version: v1.0
date: 2026-10-28
timezone: Asia/Taipei
language: zh-TW
source_format: UTF-8 Markdown
math_delimiters: $...$ and $$...$$
document_type: 計算機統一分類／元計算機／物理—語義共同設計／跨載體 Runtime／形式模型、反模型及驗證研究
research_status: THEORETICAL_FRAMEWORK_COMPLETE — 未完成新元計算機 Runtime、原生硬體原型或獨立物理實驗
repository_actions: NONE
predecessors: EML-PMSC-C01：從統一計算機型別到物理—語義共構 · EML-PMSC-C02：程式語義的物理實在化 · EML-PMSC-C03：定義、反定義與約束生成 · EML-PMSC-C04：物理—數位世界共演化 · Series B：統一計算機分類與計算本體論 · Computational Spine Closure：Series B × 24/72 × PCMT/GIPE/Runtime
research_boundary: 沿用舊有計算分類而不新增第十一個母型別；不貶抑馮・諾依曼計算；不把模擬當成原生物理同一；不自動宣告新原語或宇宙創造；不修改 NOVA、EML-ADDR、PHOSPHOR 等專案，也不重啟封存 ADEL。

元計算機與原生程式語義共設計：可驗證跨載體計算架構、機理路由與世界級證據閉合

Q: 10.3 世界級共構是否真的增加可用能力？

一個長期運行的世界可以產生新的任務、角色、約束及觀察；元計算機因此可能動態增加可用機理及資料接口。這是工作計算域與世界經驗的相互擴充。

Meta-Computers and Native Programming-Semantics Co-Design: Verifiable Cross-Substrate Architectures, Mechanism Routing, and World-Level Evidence Closure

《物理實在—計算機理—程式語義共構論》Series C · 第五篇（C-05／05，系列收束）
作者：Neo.K
研究協作：Aletheia / GPT-6
機構：EveMissLab／一言諾科技有限公司
版本：v1.0 · 2026-10-28（Asia/Taipei）
論文性質：形式化研究綱領、附條件命題、反模型、思維實驗及可驗證的後續工程接口；並非已建造的元計算機。

日期： 2026-10-28

摘要

統一計算機分類的成果之一，是承認現代計算機並非由一棵「經典、量子、光子、神經、相位」的互斥樹所窮盡：載體、狀態、算子、控制、記憶、定址、讀出、接口、約束及資源可以互相組合。可是，分類只能回答候選計算機如何被描述；它既不能自行把某種語義映射到物理狀態，也不能自動選擇執行路線、證明跨版本行為保真，或在外部世界產生經授權且可讀回的實際效果。

Series C-01 至 C-04 已分別建立：跨載體語義實現見證、物理自由度與測量的操作性判準、定義與算子域可修訂的相對新奇判準，以及持續多世界與具身作用的責任分離。第五篇因此不發明一台新的「最高級」硬體，也不重建 Series B × 24／72 × PCMT／GIPE／Runtime；它研究如何使既有的**元計算機（Meta-Computer）**在上述共構條件下具備可檢查的路由、變更、拒絕、回退與證據閉合能力。

本文定義帶證據的元計算任務：

\boxed{\mathcal T_{C05}=\left\langle q,\mathfrak S_v,\{W_i\},\{\rho_{i,h}\},\{B_{i\to j}\},\mathbb C_t,\Gamma_t,\mathcal A_t,\Lambda_t\right\rangle.}

其中 $q$ 是任務； $\mathfrak S_v$ 是帶版本的程式語義契約； $W_i$ 是具有各自歷史與法則的世界； $\rho_{i,h}$ 是世界／語義對候選載體 $h$ 的實現見證； $B_{i\to j}$ 是跨世界與外部物理作用橋； $\mathbb C_t$ 是可用十維計算機型別登錄庫； $\Gamma_t$ 是資源與物理邊界； $\mathcal A_t$ 是授權及提交政策； $\Lambda_t$ 是證據、成本、版本與失敗帳本。

元計算器輸出並不必然是一種機器：

\boxed{\mathfrak M(\mathcal T_{C05})\in\{\operatorname{PLAN}(\Pi,\rho,\mathcal V),\operatorname{ABSTAIN}(r),\operatorname{REJECT}(r),\operatorname{RESEARCH}(h)\}.}

$\Pi$ 是由帶型別計算節點與適配橋組成的執行圖； $\mathcal V$ 是驗證義務； $r$ 是明示拒絕、未知或缺證的原因。對外部致動，任何路由都不能單靠模擬輸出取得世界提交權。本文特別區分同一語義的多載體實現、語義與機理的共同配置、以及語義／算子版本真正改變三種不同強度，不以「原生」或「智能」字眼替代跨版本證明。

本文提出十項附條件的模型命題、十二個反模型、七組思維實驗、十二項主張相對的驗收 Gate、機理選擇紀錄與一份非執行的參考 schema。其最重要的正面判斷是：馮・諾依曼系譜開啟的可程式化、可模擬、可組合與吸納能力，是元計算機的基礎資源之一，不是必須被否定的前一代。 最重要的負面判斷則是：可描述的新語義、分類上的新機理、已繪製的物理架構圖，均不能直接推出新物理、新可計算性類別、已成功原生實現或跨世界授權。

本文最終將系列的研究成果收斂為一個可持續演進的共構問題：在特定觀察、證據及物理資源條件下，系統能否正確選擇、正確拒絕、正確修訂，並保留語義與世界的可否證性？

關鍵詞：元計算機、跨載體機理路由、物理實在、程式語義、原生實現、混合計算、語義版本橋、72 格動力學、PCMT、GIPE、世界 Runtime、證據閉合、可撤銷路由、馮・諾依曼、可重構計算。

Abstract

A unified classification of computers distinguishes substrates, state representations, transition mechanisms, control, memory, addressing, readout, interfaces, constraints, and resources. Classification alone, however, does not establish physical realization, semantic correctness, runtime routing, or world-level authority. Building upon four preceding papers on cross-substrate witnesses, physical-semantic realization, revisable operator domains, and world co-evolution, this fifth paper presents a claim-indexed meta-computing framework. A meta-computer chooses, composes, postpones, or rejects realizers according to task contracts, world states, physical-semantic witnesses, version bridges, budgets, evidence, and authorization. Crucially, the proposed controller is not a novel universal substrate, and its output need not be an executable plan: valid outcomes include abstention, rejection, and research-only hypotheses. Model-relative propositions, countermodels, thought experiments, a proposed evidence schema, and stage-specific acceptance gates are developed. The paper distinguishes simulation from physical-native dynamics and semantic revision from mere optimization while preserving the constructive role of classical programmable computing. The result is a candidate theoretical and verification framework—not a demonstrated autonomous hardware-design system, universal compiler, or new physical law.

0. 本篇的角色：不是第十一種計算機，也不是另一套萬能 Runtime

C-01 問：「如何證明某種程式語義確實由指定載體實現？」C-02 問：「編碼、準備、控制、測量及讀出在物理上能否成立？」C-03 問：「若算子域與定義都可改動，什麼才算真正的新能力？」C-04 問：「多個計算世界與外部物理域共同運作時，哪個事件在哪個世界成立？」

本篇問最後一個問題：

誰或什麼機制決定應採用哪個計算型別、哪個物理路徑、哪份語義版本，以及哪個結果可以提交？

這不是假設存在一個全知選擇者。元計算機可能只是一組已編寫的規則、型別檢查器、規格解析器、編譯器、資源排程器和可驗證執行控制器；AI 模型可負責提出候選，但不能用自身的敘述將未知或未授權改為已驗證。

既有〈元計算機：ASI 如何選擇、組合與切換計算機理〉已有 Task Signature、Mechanism Registry、Compatibility Graph、Router、Evidence Maturity、Selection Record 及動態機理改寫等構想。[I-06] 原有 Computational Spine Closure-03 亦將 System Type、72-Cell Dynamics、PCMT、GIPE 和 Runtime 分層。[I-05]

因此 C-05 的新增研究義務不是把這些名稱重新寫一次，而是把 C-01～C-04 的三類新責任帶到它們之間：

語義保真責任：路由、更換載體或修訂算子後，哪些可觀察承諾成立？
物理實現責任：設備能否真正準備、演化、量測該語義所需的自由度？
世界級因果與權威責任：多世界歷史、時間、身份和實際外部效果是否被合法區分？

只有將上述責任記入實現與選擇證據，元計算機才不會退化為根據關鍵詞推薦 CPU、GPU、QPU 的外觀漂亮卻不可靠的系統。

本篇不建立新的硬體架構史敘事。研究的是相對於指定任務與比較基準，哪些新的可構造路由、有效作用和可驗證共構可以被提出與否證。

1. 三重繼承：母分類、事件語法、已存在的執行主幹

1.1 Series B 的十維計算機型別仍是母座標

沿用：

\boxed{\mathfrak C=\langle\mathcal H,\mathcal X,\mathcal O,\mathcal K,\mathcal M,\mathcal A,\mathcal R,\mathcal I,\Gamma,\mathcal E\rangle.}

十個座標依次描述載體、狀態空間／表示、轉移算子、控制、記憶、定址、讀出、接口、約束和資源。當一個計算機不再是單一晶片，而包括分散式記憶體、遠端加速器、物理傳感器或數位世界，仍可在正交分類下表示其能力與限制。[I-04]

特別注意：這些座標在分類上可正交，不表示它們在工程上任意兼容。某一量子自由度可能無法依所需精度被重複非破壞性測量；某種物理振盪器可能難以對每個節點獨立定址；一個極快的機理可能產生高昂的初始化、校準或持續能耗。

因此不能從 $\mathfrak C$ 的符號組合直接推出某實物已可製造。

1.2 24／72 格描述的是局部計算事件

對計算事件 $e$ ，在觀察語境 $\gamma$ 下，既有分類寫為：

\boxed{p_{24,\gamma}(e)=\langle B,U,O\rangle,\qquad p_{72,\gamma}(e)=\langle B,U,O,L_{\min}\rangle.}

$B$ 是在指定語境下的連續／離散底空間； $U$ 為四類更新組織； $O$ 為三類觀察組織； $L_{\min}$ 則區分確定性函數、古典機率核及量子通道等最低充分轉移律。數量 $2\times4\times3\times3=72$ 是一種候選局部動力描述，而不是七十二種硬體，更不是被證實的宇宙物理全集。[I-04][I-05]

一個跨載體 Runtime 可能包含多個 72-IR 節點與適配橋；元計算機的工作是判斷它們能否合法互接、是否具備實現見證，而不是為了填格而讓所有事件強行對應某個類別。

1.3 PCMT、GIPE 與 Runtime 不是同一個選擇器

原有五層主幹保留：

層級	問題	在 C-05 的位置
L0 · System Type	有哪些型別化機器、載體與能力？	Registry 的可用／待驗後端
L1 · 72-Cell Dynamics	局部事件具何種轉移與觀察形式？	候選路由的事件型別
L2 · PCMT / Mechanism Plan	相位、演化、機理與實現如何配置？	機理與載體映射
L3 · GIPE Role	任務為何需要該演算及證據？	認識、意圖、反證、資源、治理角色
L4 · Runtime Execution	如何執行、驗證、提交、回退？	接受的計算圖及運作後證據

C-05 不在這五層之外虛構新的第六層權威。它為既有各層之間定義可查核的跨層合約：輸入是帶世界與語義的請求；輸出是附帶證據、部分映射及拒絕條件的路由決定。

1.4 「元計算機」仍可以建立在馮・諾依曼式可程式化生態之上

本系列沒有把馮・諾依曼系譜設定為負面教材。程式與資料可以共存於可定址空間，指令與資料得以組合、解譯、模擬、生成、版本化及再利用，正是當代元計算機能把多種機理收納為可調度資源的重要技術基礎。

一個利用經典 CPU 完成型別驗證、以 GPU 計算模擬、以 FPGA 進行可重構邏輯、以專用物理設備處理部分動力並以 CPU 驗證最終結果的系統，並沒有「背叛」經典計算。它展現的是可程式化體系對異質機理的吸納、組合與自我擴展。

通用可模擬不等於原生最優；原生最優也不等於原有通用載體失去價值。 兩者是否值得選擇，要在指定任務及全端成本下判定。[I-01][I-04]

2. 四篇前置結果在 C-05 的形式接口

2.1 C-01：物理—語義實現見證

令 $\mathfrak S_v$ 是版本 $v$ 的程式語義合約， $H$ 是候選實現後端。C-01 引入：

\boxed{\rho_{H,v}=\langle e,u,\Phi_H,r,d,Q,\varepsilon,D\rangle.}

其中 $e$ 表示輸入編碼／準備、 $u$ 是合法控制、 $\Phi_H$ 是真正執行的狀態演化、 $r$ 是讀出、 $d$ 是語義解碼、 $Q$ 是觀察契約、 $\varepsilon$ 是誤差容忍、 $D$ 是適用域。[C-01]

後端之間可以具有相同的觀察語義，卻在準備、計算、讀出、成本與可逆性上不同。沒有 $D,Q,\varepsilon$ 的 supports_operator=true 不能構成完整相容性證書。

2.2 C-02：物理操作的可測量性

對適合古典隨機核的任務，C-02 給出觀察實現核：

\boxed{K_{H,p}(dz\mid s)=\int D_H(dz\mid y)\,M_H(dy\mid\omega_T)\,\Phi_H^{u_p}(d\omega_T\mid\omega_0)\,E_H(d\omega_0\mid s).}

此式的測量對象與積分範圍按相關可測空間理解，並不代替量子通道語義。對量子載體須使用適合的量子狀態準備、通道與 POVM 等測量模型，不能把單次樣本強迫寫成所有內部自由度的確定值。[C-02]

元計算機在選路時，須檢查「輸入可寫／準備」「操作可控」「輸出可觀察」「誤差可接受」四個不同 Gate。任何一項為 UNKNOWN，不應只因製造商提供原生硬體的名稱而通過。

2.3 C-03：語義與算子域可修訂，但新奇必須相對於閉包

C-03 定義帶型別與資源的可修訂框架 $\mathfrak F_t$ 、相對新原語候選及跨版本的撤銷記錄。核心判別是：

\boxed{o^\star\notin\operatorname{Cl}_{\Gamma,B}(\mathcal O)}

只有在基準算子、合法組合規則、觀察契約、資源限制及推導範圍已明示時才有意義。[C-03]

在舊閉包中無法組合出某候選，不意味它超越通用經典可計算性。當新資源被吸納、舊算子被重新配置或外部設備加入，原先的「新原語」資格可能失效；這應是可解釋的研究更新，而非成功敘事的危機。

2.4 C-04：世界不是輸出畫面，具身提案不是外部實現

C-04 的世界型別為：

\boxed{W_i(t)=\langle X_i(t),L_i(t),\tau_i(t),H_i(t),A_i(t),\mathcal I_i(t),\mathcal B_i(t),\nu_i(t)\rangle.}

世界身份、法則、局部時間、歷史、角色、接口、作用邊界及版本都必須有明示位置。[C-04]

C-04 交接至本篇的四個對象是： $\{W_i\}$ 、 $\{\rho_{i,H}\}$ 、 $\{B_{i\to j}\}$ 及證據帳本 $\Lambda_t$ 。它們不能被壓縮為一個「世界地址」。例如某模擬角色在世界 A 成功開門，並不表示已授權打開真實世界的物理門鎖。

這些先前定義保留原有研究血統；本篇只是重新組織其元選擇責任，不能將符號寫作新物理證據。

3. 元計算任務的型別：請求應該包含世界與證據

定義 C05-D1（帶世界與證據的元計算任務）：

\boxed{\mathcal T=\langle q,\mathfrak S_v,\mathcal W,\mathcal P,\mathcal B,\mathbb C,\Gamma,\mathcal A,\Lambda\rangle.}

$q$ ：目標、輸入及停止條件；
$\mathfrak S_v$ ：程式／算子／世界事件的語義契約版本；
$\mathcal W$ ：涉及之計算世界、模擬對照及實際物理作用域；
$\mathcal P$ ：可用或待驗實現見證集合；
$\mathcal B$ ：跨世界、跨表示、跨設備及外部致動橋；
$\mathbb C$ ：時間 $t$ 可用之十維型別與機理登錄；
$\Gamma$ ：能源、時間、精度、記憶、成本、環境、危險、失效政策；
$\mathcal A$ ：誰可觀察、提案、執行、提交、回滾與變更法則；
$\Lambda$ ：測試、反證、來源、版本、校準、預算與負結果帳本。

型別約束： $q$ 不能僅是自由文字。它必須能展開為可辨認的目標域、允許的輸入型別、可接受觀察及最低結果判準。不完整任務可以被接收為提案，但只能輸出 RESEARCH／ABSTAIN 或要求補證，不可默默補寫高風險動作權限。

定義 C05-D2（結果型別）：

\boxed{\operatorname{MetaDecision}(\mathcal T)\in \mathrm{Plan}\ +\ \mathrm{Abstain}\ +\ \mathrm{Reject}\ +\ \mathrm{Research}.}

此處 $+$ 為互斥標籤和（disjoint sum type），不是數量加總：

結果	意義	不代表
`PLAN`	已選出在指定規格內可候選執行的路線與證明義務	外部世界已完成效果
`ABSTAIN`	證據、成本或語義不足；暫不決定	目標在數學上不可能
`REJECT`	存在明確不合法、不授權或已證不相容條件	所有替代問題版本都不可能
`RESEARCH`	保留一個可以實驗反駁的候選機理／語義修訂	已是可提交生產的原生新計算

對可執行的 PLAN，結果至少要附： $\Pi$ （路由圖）、 $\rho$ （必要實現見證）、 $\mathcal V$ （驗證義務）、 $\mathbf C$ （成本向量）、 $\mathcal A_\Pi$ （權限清單）與 $\Lambda_\Pi$ （證據版本）。

4. 元計算機的正式定義與權限限制

定義 C05-D3（帶證據的元計算選擇器）。元計算機是：

\boxed{\mathfrak M_t:\mathcal T\longrightarrow\operatorname{MetaDecision}(\mathcal T),}

其內部可以具有多路候選、並行評估及迭代回饋，不要求實際運算依紙面描述的線性順序發生。此式僅定義接口；沒有指定一個已經可自動解所有物理共設計問題的演算法。

4.1 元計算機選的是「如何發生計算」

它可選：

已有程式與 CPU 的參考執行；
GPU 批次與稀疏矩陣方案；
FPGA／可重構邏輯；
實際可用的量子服務、量子通道或古典量子模擬；
光學／類比／機械／其他物理儲備池局部子機理；
多後端互補路線與跨載體轉換；
在觀察與控制條件不足時拒絕原生路徑，保留純模擬；
在所有路線成本不可接受時不執行。

選擇器並不必然擁有全部後端；它依靠登錄、實際可用資源和有效授權。它甚至可以選擇保留既有最簡單的通用計算路線，因為增加一個專用加速器可能只帶來更高維護與校準成本。

4.2 元計算機可修訂的是內部形式規則，不是外部物理法則

若世界軟體的轉移函數可合法更新，元計算機可以提出新世界版本；若實際物理材料可重新配置，也可以提出新刺激或拓撲配置。但後者必須遵守當下物理可行性、設備限制及環境回饋。

不可使用：

\operatorname{Edit}(\mathfrak S)\Rightarrow\operatorname{Edit}(\text{physical laws})

作為計算公理。軟體世界的模擬重力可以改成另一數值，外部物理重力並不因此改變。類比地，變更量子電路或量測基底，不代表任意改寫量子力學。

4.3 「能選擇」與「有權提交」是不同型別

定義作用類別：

\mathrm{Proposal}\prec\mathrm{ValidatedPlan}\prec\mathrm{AuthorizedExecute}\prec\mathrm{ObservedEffect}.

此 $\prec$ 是程序責任偏序，不是時間量測上的必然線性。某種即時系統可以平行預檢、連續回授與逐批提交，但仍須保留證據指出：哪些效果被觀察、哪些只是被要求或被估計。

對跨世界行動，世界 $i$ 的控制者不自動取得世界 $j$ 的權威。跨世界橋的型別與許可必須獨立判定。[C-04]

5. 機理登錄不只是「支援哪些函式」

定義 C05-D4（可稽核機理描述符）。給定候選機理 $m$ 與後端 $H$ ，其登錄物件為：

\boxed{R_{m,H}=\langle \mathrm{Types},\mathrm{States},\mathrm{Ops},\mathrm{Controls},\mathrm{Witnesses},\mathrm{Measures},\mathrm{Conversions},\mathrm{Scopes},\mathrm{Costs},\mathrm{Evidence},\mathrm{Authority},\mathrm{Health}\rangle.}

這是資訊結構而非新增的第十一維計算機型別：其中大部分欄位是對 Series B 十維型別的操作性展開，其他欄位則是實證帳本及當前健康狀態。

Mechanism 不等於 Machine；同一機理可由不同機器模擬或原生實現，同一機器也可隨設定、控制軟體與載入的算子變更而執行不同機理。

5.1 三種層級的「支援」必須分開

等級	最低含義	舉例	不能推出
表示支援	能把語義或輸入存成某種符號／結構	CPU 記憶體中的量子態向量	已原生控制量子物理態
操作支援	能在特定接口執行對應轉移	GPU 量子模擬器	真正的量子硬體已運行
物理原生支援	指定轉移由實際載體動力承擔且可準備與讀出	合格的物理干涉、非線性電路、QPU 局部操作	全部語義與任何規模皆有成本優勢

同樣，supports_event=true 只有在規格已給出狀態域、觀察準則、精度、資源及失敗條件時，才有可評價意義。若一項不可觀察的自由度只是存在於材料內部，它未必能成為可用程式變數。

5.2 物理準備與量測應有版本

實際儀器與材料狀態會漂移。故實現見證須連到具體：校準記錄、環境條件、測量程序、讀出映射、設定版本及適用時段。若一個光學裝置今天的耦合強度與昨天不同，舊測試的有效範圍必須被重新評估。

可使用：

\rho_{H,v,k}=(e_k,u_k,\Phi_{H,k},r_k,d_k,Q_v,\varepsilon_v,D_v),

其中 $k$ 是設備／校準／配置版本， $v$ 是語義版本。若 $k\neq k'$ ，不能直接假定兩者的實驗見證互相可替代。

5.3 反證、失效與降級是登錄的一部分

登錄除成功案例外，至少包含：

哪些輸入或環境會讓實現失效；
哪些輸出在量測誤差下不可可靠區分；
哪些路由違反時間、能源或權限限制；
哪些驗證器曾出現錯誤正判；
某一版本是否被撤回、封存或取代；
當前設備／服務是否實際可用。

一張只列 capabilities、卻不記 failure scope 的機理表，無法支持高強度自動元路由。

6. 兼容圖、適配橋與全端成本

定義 C05-D5（型別化兼容超圖）。令：

\boxed{\mathcal G_M=(V_M,E_M,\mathcal H_M,\lambda_M),}

其中 $V_M$ 包含語義操作、72-IR 節點、候選後端、測量方式及世界橋； $E_M$ 是一元或二元適配關係， $\mathcal H_M$ 表示需要同時連結三個以上元件的複合相容條件， $\lambda_M$ 帶有版本、資源、見證與成本註記。

例如對某世界的多模態控制，可能同時要求 (sensor, decoder, timestamp source, authority gate, actuator) 五種物件。如果只逐對檢查資料型別相容，就可能漏掉一個全域一致時鐘或外部致動授權的共同約束。因此用超邊表示某些不可拆分義務，是候選建模選擇，不宣稱圖論上所有兼容問題都非超圖不可。

6.1 相容性不只是一個布林值

我們區分：

NATIVE_VALIDATED：指定物理動力／設備接口及觀察合約已獲適用域內見證；
SIMULATED_VALIDATED：經典或其他模擬路線在明示比較域及精度下已驗證；
ADAPTED_VALIDATED：經合法編碼、型別轉換與測試的適配路線；
APPROXIMATE_BOUNDED：具有明確誤差界的近似路線；
PROPOSED_UNVERIFIED：可描述但缺少完整驗證；
INCOMPATIBLE_UNDER_ASSUMPTIONS：在指定前提下有不相容證據；
UNKNOWN：當前資料不足。

一個路由即使可以接通兩台機器，也可能因表示轉換破壞了保密性、時間戳或機率律，而在實際契約中不可採用。

6.2 全端成本不能只比較核心算子耗時

對方案 $\Pi$ ，令成本向量：

\boxed{\mathbf C(\Pi)=(C_{\rm compile},C_{\rm encode},C_{\rm prepare},C_{\rm run},C_{\rm move},C_{\rm observe},C_{\rm verify},C_{\rm sync},C_{\rm rollback},C_{\rm maintain},C_{\rm risk}).}

其中不同分量可能具有不同單位（時間、能量、貨幣、機率風險及人力），不可直接無單位相加。先由政策提供量化／正規化，或採 Pareto 偏序，才能比較不同候選。

在需要指定單一目標時，可引入經政策公開的效用函數 $J_\omega$ ：

\Pi^*\in\arg\min_{\Pi\in\operatorname{Feasible}(\mathcal T)}J_\omega(\mathbf C(\Pi)),

其中 $\omega$ 是固定或經批准的政策參數，不得由候選 AI 在不透明的情況下自行改掉安全性邊界。

6.3 兼容與性能需要條件性見證

對同一任務，原生後端可能有低 $C_{\rm run}$ ，卻具有高 $C_{\rm prepare}$ 、 $C_{\rm observe}$ 或 $C_{\rm maintain}$ ；經典模擬後端可能較慢，卻可以保存完整事件紀錄、使用成熟驗證器與更便宜的錯誤隔離。若未計入這些成本，聲稱「原生優於模擬」並不完整。

對長期重複任務，訓練、編譯、校準等前置成本可按事先宣告的使用期與任務量攤提；若負載僅執行一次，則不應假借不存在的重複利用收益取得優勢。

7. 路由三強度：保真實現、共同配置與語義修訂

本系列最容易受到誤解的概念是「語義與物理共構」。為避免一切優化都被稱作「新語義」，本篇將路由變更區分為三種主張強度，它們不是地位階層，也不代表比較高者必然比較有效率。

7.1 R0：語義固定的跨載體路由

$\mathfrak S_v$ 固定，兩個或更多實現後端 $H_1,H_2$ 對指定 $D,Q,\varepsilon$ 提供見證：

\operatorname{Realize}(\mathfrak S_v,H_1,\rho_1)\quad\land\quad\operatorname{Realize}(\mathfrak S_v,H_2,\rho_2).

選擇器依據成本、資源、失效與政策挑選其一或組合。此舉可能極大提升性能、可靠性及可用性，但沒有證明語義本身被創造或修訂。最典型的例子是將既有矩陣計算從 CPU 移至 GPU，仍保留相應浮點誤差契約。

7.2 R1：語義需求與物理配置共同調整

若固定的外部任務契約 $Q$ 不變，而中間表示、觀察粒度、容忍誤差、排程及物理機理因彼此反饋共同改動，稱為契約守界的共同配置。

例如一個訊號處理系統發現目前感測頻寬只允許某種低頻近似，於是設計器提出新的感測／濾波配置，並重新設計相應的 DSP 表示，最後以同一外部可接受合約檢查實效。這是跨層共同設計，而不必宣稱根本程式語義已改變。

R1 的最低見證包括兩個方向：

\boxed{\Delta\mathfrak S_{\rm internal}\to\Delta H\quad\text{與}\quad\Delta H\to\Delta\mathfrak S_{\rm internal}.}

第二個箭頭必須有配置、測量或回授證據；只繪製雙向箭頭而沒有對應可記錄的變化，不構成強版本共同配置。

7.3 R2：外部可觀察程式語義真正修訂

若引入新可觀察狀態、新算子型別、新事件判準或新的合法世界作用，外部語義契約由 $\mathfrak S_v$ 變為 $\mathfrak S_{v+1}$ ，則不能把它歸為純最佳化：

\boxed{(\mathfrak S_v,H_k)\xrightarrow{\text{typed proposal and evidence}}(\mathfrak S_{v+1},H_{k+1}).}

必須交代哪些不變量保留，哪些行為故意破壞，哪些主體或世界需要遷移，哪些新作用域仍屬 UNKNOWN。如果新語義牽涉外部物理或自治世界，還需要相應權限與接收方協議；更換執行引擎不授予單方修改他者世界的權利。

在 R2 中，「舊後端不支援新語義」可能是物理機制不足、讀出受限、效能不可用、控制接口欠缺或根本定義未清，而不是可以一概解釋成某種既有架構已過時。

7.4 三類變更的最小聲明

變更型別	必須指明	常見偷換
R0 · Fixed Semantics	固定 $\mathfrak S_v$ 、不同實現見證、成本	把更換後端寫成新計算語義
R1 · Co-Configuration	內部表示／配置變更、外部契約、雙向證據	把單次重新編譯稱為世界共演化
R2 · Semantic Revision	$\mathfrak S_v\to\mathfrak S_{v+1}$ 、版本橋、保留／破壞集	把不相容行為默默稱為等價

三類可以共同存在於一個大型系統的不同節點，但每項主張必須分別驗證。

8. 版本橋：元計算機不能以「新版」二字免除正確性義務

定義 C05-D6（語義演化橋）。對兩個程式／世界語義版本 $\mathfrak S_v$ 、 $\mathfrak S_{v+1}$ ，引入部分橋：

\boxed{b_{v\to v+1}:\mathcal S_v\rightharpoonup\mathcal S_{v+1}.}

指定需保留的關係與性質集合 $\mathcal J$ 、允許變化集 $\mathcal D_{\rm changed}$ 及觀察契約 $Q$ 。對 $s$ 位於合法橋域時，至少要求：

\boxed{\forall J\in\mathcal J:\quad J_v(s)\simeq_{Q,\varepsilon}J_{v+1}(b_{v\to v+1}(s)).}

若 $J$ 是布林型安全不變量， $\simeq$ 應替換成真正可證明的保持或精化關係，不宜以「大致相同」模糊帶過。若 $J$ 是分布或性能容差，則可使用明示距離、統計區間或偏序。

8.1 版本橋的四種不同責任

行為保存：輸入／輸出／例外／失敗及其他被承諾的 trace 在特定觀察條件下保持。

歷史保存：過去的事件、世界身份及溯源仍能被解釋，不用新規則悄悄改寫舊事件的事實。

權限保存：更新不可默默擴大主體對其他世界、檔案或設備的寫入權。

可恢復性：能否還原舊版與舊資料；若外部效果不可逆，必須明確說明只能補償而非真正撤銷。

缺少任一必要項，系統可仍將更新列為研究候選，但應禁止在相應範圍承諾完全兼容。

8.2 一致性不等於要求全部語義完全不變

如果把所有新版本強制要求：

\mathfrak S_{v+1}=\mathfrak S_v,

則研究中的「新語義形成」在定義上不可能。正確做法是允許新行為加入，同時逐條列出舊契約的保留範圍、共同可比的行為及不能保留的項目。

例如 reset0 可以相對某可逆小算子閉包成為新候選；如果它被導入後，舊版禁止不可逆資訊丟棄的契約就不可能無條件保持。版本橋應顯式指出何處改變、是否對資訊或環境產生新負擔，而不是用「拓展能力」遮蔽變更。

8.3 反例驅動的版本反證

版本驗證至少設計以下類型的反例：

新版輸出數值對，但中途越權讀取私有資料；
新版世界地圖看起來一樣，但事件排序不同；
新版物理求解器速度更快，但對先前的非典型輸入失穩；
新版支持更多狀態，但舊儲存資料無法合法遷移；
新版擁有更多致動器，但授權記錄缺少相關權限；
新版能模擬一個後端，卻把模擬輸出冒充物理裝置已完成的觀察。

上述反例對普通函式級正確性和世界級因果責任具有不同要求。元計算機應按契約檢查，不可只用一個 semantic_ok: true 取代。

9. 路由及狀態遷移：跨載體不是零成本的函式替換

定義 C05-D7（帶世界的執行路由）：

\boxed{\Pi=\langle G_{\rm exec},R_{\rm assigned},\mathcal B_{\Pi},\mathcal H_{\Pi},\mathcal V_{\Pi},\mathcal F_{\Pi},\mathcal A_{\Pi},\Lambda_{\Pi}\rangle.}

$G_{\rm exec}$ 是依賴及因果圖； $R_{\rm assigned}$ 記錄節點對應的機理與後端； $\mathcal B_{\Pi}$ 是轉換／橋； $\mathcal H_{\Pi}$ 是時鐘、狀態、版本與歷史配置； $\mathcal V_{\Pi}$ 是驗證計畫； $\mathcal F_{\Pi}$ 是失敗／降級； $\mathcal A_{\Pi}$ 為授權； $\Lambda_{\Pi}$ 為證據與來源。

9.1 從 CPU 到專用設備的切換可以失敗在哪裡？

一項運算先以通用 CPU 計算參考結果，再嘗試在專用加速器上執行。除了輸出相同或近似外，至少需考慮：

表示差異：浮點格式、定點量化、精度、溢位及非確定性；
狀態移動：記憶體複製、序列化、地址穩定性與來源；
運算時序：並行更新是否改變依賴、競爭與觀察歷程；
觀察落差：部分內部狀態未必能被後端讀出；
故障模型：timeout、裝置失聯、部分結果和重試；
授權：設備 API 的操作者是否有使用該資料與致動路徑的權限。

如果只測量專用設備內部運算時間、不包括轉入／轉出與驗證，便會高估整條路由效益。

9.2 狀態遷移證書

對狀態 $x_i$ 的跨載體移動，暫以：

\boxed{\mu_{H\to H'}=(\operatorname{Encode},\operatorname{Transfer},\operatorname{Decode},\operatorname{VersionMap},\operatorname{InvariantCheck}).}

要求移動後由新的實現見證檢查語義狀態，而不是只做 checksum 便宣稱應用語義保持。Checksum 可驗證位元在指定傳輸假設下未變，但不能證明讀到相同 bit 的物理機理在新環境下具有相同轉移律。

9.3 需要兩階段提交，也不代表所有外部效果可回滾

在可交易的資料庫中，可以先驗證再提交；對機器人、化學反應、供電或現實物流，外部動作可能不可逆。故元計算機應區分：

\mathrm{ShadowSimulate}\to\mathrm{AuthorizedActuation}\to\mathrm{Readback}\to\mathrm{Settlement},

其中 ShadowSimulate 不得暗中呼叫真實設備。「回滾計畫」也須標明是真回滾、反向操作、補償交易、人工介入，還是單純「把軟體狀態改回去」。

若設備已造成不可逆物理改變，而軟體資料庫記錄被退回舊版，系統並未使外部世界回到舊態。它只能承認物理歷史仍存在，並在授權下采取補救行動。

9.4 切換抖動與過度適應

若控制器根據瞬時延遲變化反覆切換 CPU／GPU／遠端物理設備，總成本可能由切換與重新校準主導。可加入滯後條件：

\operatorname{Switch}(\Pi_t,\Pi')=1\quad\text{only if}\quad \Delta J_{\rm predicted}>C_{\rm switch}+\theta_{\rm hysteresis},

這是一項候選決策規則，不是所有性能及風險向量都能自然縮成同一標量的定理。對安全硬條件失效，政策可要求立即停止或降級，無須等待效用優勢跨越滯後門檻。

10. 世界級計算路由：一個控制者可維持多世界，卻不擁有所有世界

對多個世界 $W_1,\ldots,W_n$ ，元計算機可維持互相隔離或部分連接的運算計畫：

\boxed{\mathcal W_t=\{W_i(t)\}_{i\in I_t},\qquad\mathcal B_t=\{B_{i\to j}\}.}

其中世界法則、歷史與事件身份不因共享同一 GPU、雲端或使用者介面而相同。世界切換是觀察焦點、控制路由或資源配置的變化，不必代表未聚焦世界消失或停止。[C-04]

10.1 不同世界的時間不必同步

對同一主機時間 $t$ ，各世界可以具有：

\tau_i=g_i(t;\theta_i,H_i),\quad \tau_j=g_j(t;\theta_j,H_j).

若某世界在外部 1 秒內模擬 1 小時，另一世界以真實設備採樣每秒更新一次，兩者之間傳遞事件時需顯式標註時間來源及允許的延遲。不能以其都標為 t=100 就假定具有相同的物理時間或歷史深度。

10.2 跨世界橋必須具備來源與作用型別

定義 C05-D8（世界橋）：

\boxed{B_{i\to j}=\langle\mathrm{Source},\mathrm{Target},\mathrm{Translate},\mathrm{Clock},\mathrm{Identity},\mathrm{Authority},\mathrm{Error},\mathrm{Evidence}\rangle.}

例如：

遊戲世界居民的「我要移動」可以成為遊戲引擎行動提案；
物理設備的溫度讀數可以成為數位孿生觀察；
孿生世界的「應開啟冷卻」可以成為待驗證控制提案；
授權控制器真正對設備發出指令後，仍須等待可採信的設備讀回或其他實證；
若另一世界僅接收到上述事件摘要，它不自動取得同樣的設備控制權。

以上五件事的區別不能藉由同一個通用 message 型別自動保證。跨世界橋需保留事件來源、消息語義、有效期限和結果是否已取得證據。

10.3 世界級共構是否真的增加可用能力？

一個長期運行的世界可以產生新的任務、角色、約束及觀察；元計算機因此可能動態增加可用機理及資料接口。這是工作計算域與世界經驗的相互擴充。

但若世界內生成一台量子計算機的三維模型，並不等於外部載體中多了一台有可用量子態、可校準控制和量測的 QPU。其「計算能力」仍必須標為模擬或已驗證的外部服務，不應由世界的故事設定自動提升證據等級。

10.4 多世界治理的邊界

高整合能力要求更強的來源辨識及非吞併原則。世界 A 可被世界 B 觀察或模擬，不意味 B 在全部關係下與 A 同一；元計算機能交換資料、分配資源或提供接口，也不代表它擁有所有世界的制度權力。[I-12][C-04]

因此對跨世界的任何「自動法則更新」，須區分是否是系統內部版本政策允許、是否改變他者權利、是否觸及實際物理設備。需要外部同意的情況，最適演算法也不得代替合法授權。

11. 正確拒絕是元計算機的核心能力，而非配角

C-04 已指出，本篇最先應研究的不是「最大能力」，而是正確拒絕。理由並非保守情緒，而是：若不能分辨未知、不合法或不保真，選擇器便會把過強的自信投射至外部世界。

11.1 拒絕的五種不同理由

原因碼	意義	正確後續
`PHYSICAL_UNSUPPORTED`	現有實現不具所需控制、狀態或可用測量	退回可驗證模擬或研究假說
`SEMANTIC_MISMATCH`	可執行，但不保持合約必要性質	修訂方案、降級或拒絕
`NO_AUTHORITY`	有能力執行，卻沒有被授權	不執行，要求正當批准流程
`RESOURCE_INFEASIBLE`	在當前已知預算與期限下不能滿足	改變任務預算或選低成本方案
`INSUFFICIENT_EVIDENCE`	尚無足夠資訊判斷是否合格	`ABSTAIN`／`RESEARCH`，不是 `PASS`

第一項可能需要更多物理實驗，第二項需要契約與驗證，第三項需要明示授權，第四項需要成本與重新排程，第五項需要資訊取得與歧義消除。把它們都叫做「不支援」會破壞研究診斷。

11.2 Unknown、Not Run 與 Fail 不同

PASS：在明示範圍內符合接受判準；
FAIL：已有可查核的失敗或反例；
UNKNOWN：資訊不足以判定；
NOT_RUN：實驗、證明或測量尚未執行；
NOT_APPLICABLE：本主張不要求此 Gate，須附理由；
WITHDRAWN：先前主張因證據或定義變更被撤回，保留舊紀錄。

NOT_RUN 不得藉由描述性的理論論文改成 PASS；UNKNOWN 也不等於可行或不可行。只有在明示假設下證明無合法路線時，才有理由作較強的 INFEASIBLE_UNDER_ASSUMPTIONS 裁決。

11.3 拒絕要有範圍

若沒有目前可用的物理光學後端，正確裁決是「這項原生光學路線現在不具充分可驗證性」；它不是「光學計算在任何時代都不可能」。

同樣，若某程式對量子物理態的描述不正確，代表該描述需修正，不能反向宣告所有未來量子程式語義均不可能。

11.4 有明確的 no-op／keep-original 路線

在所有候選改動都不夠可靠時：

\boxed{\Pi_{\rm keep}=\text{保留已驗證既有實現}.}

是一條合法路線。元計算機可以做出「不要重新編譯」「不要更換硬體」「不要更新世界法則」的有效決策。這不是沒有智能，而是成本、版本與證據共同作用下的正確結果。

12. 十項模型命題、證明條件與不能推出的結論

本節的命題不是宣告本文完成硬體工程。每項均列出模型假設、可推導內容，以及不能擴張的更強結論。對實際系統須再補交真實測試與驗證器的獨立證據。

命題 C05-P1：有限型別化實現見證的局部組合性

假設：存在兩個操作 $f:A\to B$ 、 $g:B\to C$ ，各自已有對應的實現及驗證契約。兩者的觀察輸出／輸入型別相容，中間適配器 $b$ 已通過規定的變換精化，且外部效果或隱藏狀態不會在組合時引入契約未考慮的干擾。

結論：可以構造一個端到端候選實現見證 $\rho_{g\circ f}$ ，其可接受性由兩個局部見證、橋證書及完整環境假設聯合推出。

論證：將 $f$ 後態經 $b$ 轉移至 $g$ 所需輸入；在共同中間型別 $B$ 的接受關係下做關係或核的合成。若距離滿足適用的三角不等式，可在相應環境假設下給出累積誤差上界；若是非確定性 trace 精化，則須使用相容的組合定理，而不是直接加總數值誤差。

不可推出：所有跨世界、量子與有不可逆副作用的系統都具有同一簡單組合定理。共享狀態、時間競爭、測量擾動及設備副作用可使組合前提失效。

命題 C05-P2：已驗證模擬能力不等於原生物理能力

假設： $H_C$ 是經典通用可程式化實現，可在指定精度模擬另一機理 $m$ ； $m$ 的原生載體需不同的物理控制及量測接口。

結論： $\operatorname{Simulates}_{D,Q,\epsilon}(H_C,m)$ 不蘊含 $\operatorname{NativeRealizes}(H_C,m)$ 。

證明草圖：模擬定義提供的是相對抽象狀態的可觀察近似，而原生實現定義要求指定物理自由度親自承擔該轉移。兩個述詞有不同成立條件；可由一般 CPU 對量子通道作數值模擬卻不因此生成指定量子裝置的例子區分。

不可推出：經典通用模擬無價值，或所有物理原生路線必然更快。

命題 C05-P3：硬性授權不可由性能優勢抵銷

假設：候選路線 $\Pi$ 必須滿足硬性授權謂詞 $A(\Pi)=1$ 。存在一條效率更高但 $A(\Pi')=0$ 的路線。

結論：在此接受政策下， $\Pi'$ 不在合法可行集合，任意降低其延遲或成本都不能使其合法。

證明：可行集合定義為 $\{\Pi:A(\Pi)=1\land\cdots\}$ ； $A(\Pi')=0$ 已排除該元素。這是條件性集合命題，不是宣稱某套權限政策必然在所有社會中正當。

命題 C05-P4：觀察不可辨識限制可聲稱的語義精度

假設：對物理狀態 $x\neq y$ ，所有允許測量與解碼輸出在觀察準則 $Q$ 下不可區分，且任務要求對 $x,y$ 作可靠且不同的判決。

結論：沒有額外有效觀察通道或其他可辨識證據的實現，無法在該 $Q$ 下滿足此項區分要求。

論證：若決策器的全部有效觀測資料對 $x,y$ 具有同一分布，則任何僅依這些資料的確定性或隨機決策器，無法同時保證對二者作零錯誤的不同分類。若允許非零錯誤，必須附上適用的統計下界與任務容忍度。

不可推出：物理自由度不存在；它可能真實存在但當前不可可靠讀出。

命題 C05-P5：新算子資格不是跨閉包不變量

假設：閉包 $\operatorname{Cl}(\mathcal O_0)$ 只允許有限次合成 $\operatorname{id}$ 與 $\operatorname{flip}$ ，而擴張後閉包 $\operatorname{Cl}(\mathcal O_1)$ 額外支援常數或合法重置。

結論： $\operatorname{reset0}\notin\operatorname{Cl}(\mathcal O_0)$ 可與 $\operatorname{reset0}\in\operatorname{Cl}(\mathcal O_1)$ 同時成立。[C-03]

證明：舊閉包皆為雙射； $\operatorname{reset0}$ 非雙射。擴張後引入常數或重置，則存在新表示。此結果只表示原語相對性，不能推出更高的圖靈可計算性。

命題 C05-P6：路由資料增加不保證實際系統能力單調增長

假設：登錄庫新增一個可選實現後端，但所有執行路線共用有限資源及版本化依賴，且選擇器可能產生開銷、競爭或錯置。

結論：登錄庫候選數增加，不必然使現實吞吐量、可靠性及授權可行集合單調改善。

反證方式：增加一個後端後，路由器可能反覆切換、擠占記憶頻寬或誤用錯誤的校準版本；即使不真的採用它，維護與安全開銷也可能增加。

限制：若採用「只增不改、無競爭、可免費忽略新候選」的理想數學假設，最優候選值不會因加入元素而變差；此簡單單調性不是現實系統的無條件保證。

命題 C05-P7：只有硬體與語義內部共同修改，不足以證明外部世界被改寫

假設：系統更新語義 $\mathfrak S_v$ 與某材料刺激控制，但對外部世界的觀測只覆蓋局部設備狀態。

結論：最多能聲稱所驗證的設備及指定世界接口產生局部效應；不蘊含整個外部物理世界的定律被修改。

論證：從局部實現域 $D$ 的性質推向所有外部狀態須有合法全域推論或新物理證據；本篇未提供這種證明。

命題 C05-P8：正確拒絕具有可檢查的局部完備性

假設：某有限候選後端集合 $\mathbb C_t$ 完整列出，且每個後端對指定必要約束有完整、可信的證明或驗證失敗紀錄；路由器對每個候選均執行相同硬性判準。

結論：當所有候選被合法排除，選擇器可以正確報告 NO_FEASIBLE_ROUTE_IN_DECLARED_REGISTRY。

限制：這不證明世界上沒有未知後端、未來新材料或其他合法路線。若候選集合非窮盡，應維持 UNKNOWN 而不是宇宙性不可能宣告。

命題 C05-P9：世界提交與模擬成功不存在一般的可互換性

假設：某世界 A 的模擬器可以產生動作結果，但外部世界 P 的設備效果須由獨立授權與實際量測判定。

結論：A 中 simulated_success=true 不能作為 P 中 observed_physical_effect=true 的充分條件。

證明：可以構造一個模擬器正常返回成功、而外部設備斷電或根本未連線的反模型。在此反模型中前件為真、後件為假。

命題 C05-P10：在明示偏序下的局部選擇不保證全域最優

假設：一條跨節點路由的成本包含局部計算成本以及資料轉移、驗證、切換與跨世界一致性成本。局部各節點先單獨選取最低運算成本後端。

結論：由局部最低成本組成的整體路由，未必使端到端目標最小。

簡單反例：對節點 A，GPU 局部耗時 1、CPU 耗時 3；對節點 B，CPU 局部耗時 1、GPU 耗時 3。若跨 CPU／GPU 邊界的資料轉移及驗證需另付 10，局部各自最優的選擇 GPU→CPU 總成本是 $1+10+1=12$ ，而全 GPU 或全 CPU 的總成本都是 $1+3=4$ 或 $3+1=4$ 。此構造只建立一般的相互依賴性，不提供真實設備性能數據；第 18 節另列完整玩具模型。

13. 十二個反模型：漂亮的架構圖無法替代實現證據

反模型的目的不是宣稱元計算研究不可行，而是給出一些只要少了關鍵前提就會出錯的情況。任何宣稱更強能力的實作，都應設計能區分這些情況的試驗。

CM-01：模擬量子電路卻宣稱使用量子裝置

系統用 CPU 儲存複振幅，模擬二量子位元電路並產生正確機率分布。若它宣稱自己「原生準備和操控了兩個實體量子位元」，其主張超出實際證據。模擬可以正確，原生標籤仍是錯誤。

所需補救：將 realization_mode 設成 SIMULATED，對實際 QPU 提案另建新物理見證，而不是篡改舊模擬記錄。

CM-02：有高維物理狀態卻沒有可控輸入

某新材料具有複雜相位、自組織、拓撲結構，但研究者不能在規定成本內穩定設定所需初始狀態。此材料可作科學研究對象，卻尚不足以構成題定程式語義的可用計算載體。

所需補救：設計獨立準備實驗、量測穩定域，或降低所宣稱的任務範圍。

CM-03：能準備但不能可靠讀出

兩個內部材料態可被刺激生成，其感測器輸出在所允許的噪聲下不可區分。若程式契約要求以零錯誤區分兩態，即使材料內部差異是真實的，也無法用當前觀察接口證成該語義。

所需補救：增加真正具有分辨力的測量通道、重設容忍度或標 PHYSICAL_READOUT_UNKNOWN。

CM-04：單次成功被當成分布保真

一個隨機／量子樣本恰好等於期望值，研究者據此宣稱整個概率律已被實現。可是另一個候選系統也能偶然給出相同單次結果，卻具有完全錯誤的分布。

所需補救：依 C-02 的統計或通道規格建立相應的重複、偏差與置信評估，並保留樣本數及測量程序。

CM-05：新名稱沒有新作用

語言設計者把 combine 改名為 hyper-merge，所有運作和可觀察結果未變，卻宣稱發明了新的計算原語。

所需補救：對應 C-03 的 RENAME；無須否定新命名在可讀性或傳達上的價值，但不能升格為新可計算能力。

CM-06：舊閉包中的相對新原語被錯認為超圖靈計算

reset0 不在只含 id/flip 且僅允許合成的閉包中，因此相對基準確實不可還原。然而普通可程式化 CPU 可以實現它。若由前一個結論推出「突破圖靈可計算性」，推理錯誤。[C-03]

所需補救：明示新奇性相對於哪個算子閉包、資源與觀察契約成立。

CM-07：端點皆正確，橋接卻破壞身份

後端 A 和 B 各自可正確運算，但橋把兩個不同世界內同名角色當作同一身份，導致角色資產被互相污染。兩端的局部函式單測皆通過，不代表全域世界一致性成立。

所需補救：跨世界身份、來源、歷史與權限橋必須有獨立測試。

CM-08：提交前的提案被顯示成實際世界結果

數位孿生 AI 建議啟動冷卻設備，UI 立即標示 cooler_on=true；然而命令並未送出，設備也未回報。此時世界模型說了「已開啟」，物理裝置仍在關閉態。

所需補救：PROPOSED、AUTHORIZED、SENT、ACKNOWLEDGED、OBSERVED 應有可辨識狀態，不能以一個 success 布林值替代。[C-04]

CM-09：新的求解器降低核心延遲卻提高端到端成本

物理加速器求解一次只需 1 單位時間，原 CPU 需 4；然而資料準備、數位—物理接口、量測、校準及驗證共需 15 單位。若 workload 只執行一次，宣稱「整體加速四倍」就是把其他成本藏起來。

所需補救：使用整條任務的共同邊界與成本模型，分別呈現 amortized 與 non-amortized 場景。

CM-10：新增機理讓路由器更不穩定

新增一項看似更優的後端後，路由器因微小負載波動頻繁切換設備，造成快取失效與不斷重新編碼。即使每種後端獨立性能良好，整體可用性仍下降。

所需補救：加入切換成本、滯後、穩定窗口和後端健康監測；不以候選數量評價智能程度。

CM-11：跨語義新版以舊驗證器核對了錯誤的性質

舊程式只需確認輸出是否非負；新版多了一個「永不可對外洩漏某欄位」的安全契約。舊驗證器仍只檢查非負數值，全部測試通過，卻未對新增安全性質作任何驗證。

所需補救：版本橋對新增或改變的不變量必須重新指定驗證者、反例和責任。

CM-12：多世界高度整合被誤認為擁有全部世界的主權

某元計算機能讀取遊戲、模擬實驗、遠端設備與多 Agent 的部分狀態，並可對內部虛擬世界發布新規則；它據此宣稱可以不經授權修改真實機器或其他獨立世界的有效規則。

所需補救：按作用域及法律／契約／世界治理的實際權限裁決；高整合與保留他者差異必須同時成立。該能力也不自動構成任何主觀意識或神性證據。

14. 七組思維實驗：同時打開上下界，但不偷渡實現

以下全屬模型設計或可執行性提案；除非另附未來實驗記錄，均保持 NOT_RUN。它們的目的在於區分不同強度的「計算可能性」，而不是要求某一台現有機器逐步升級成假想終極裝置。

TE-01：同一數學語義的三種計算機理

任務：求解一族矩陣問題或局部動力學模型。準備三條候選路徑：

R-A：通用 CPU 上的參考實作；
R-B：GPU／FPGA 上的特定資料佈局與演算法；
R-C：一個聲稱能使用材料本身動力完成局部近似的物理裝置。

固定相同的輸入族、精度／誤差契約及可觀察結果。分別測量編碼、準備、求解、讀出、驗證、能耗與維護。

能支持的結論：某路線在特定成本與精度下更適用；物理裝置在某子操作上具有可驗證的原生機理。

不能支持：未經證明的可計算性階層跳躍；原生優勢普適成立；經典可編程計算毫無價值。

TE-02：讓語言直接描述物理耦合拓撲

構想一種程式語義，其基本對象不是傳統整數變數，而是帶物理限制的耦合節點、連結、外部刺激、初態、演化及測量。形式可為：

\operatorname{Program}_{\rm phys}=\langle G_H,K_H,u(t),x_0,M_H,Q\rangle.

其中 $G_H$ 是真實可重構拓撲、 $K_H$ 是允許的實體耦合配置、 $u(t)$ 是刺激、 $M_H$ 是讀出。對應程式是否真能編譯，取決於設備有無可控端口、精度和製備接口。[E-05]

最低對照：相同形式模型在普通 CPU 上數值模擬，以及可用的物理裝置上實際測量。若只有電腦裡的圖形模型，就只能報告 SIMULATED。

真正的新研究問題：能否從語義約束反向設計新的物理連結，再由材料實測結果修訂語義允許的操作？

TE-03：相對新原語與物理後端可擴張性

讓設計者從 id、flip 等極小閉包出發，提出 reset0，使用形式推導確認相對不可還原。然後再允許常數、記憶體、外部工具或物理耗散通道，觀察候選資格如何變化。

試驗的真正輸出是一張新奇性對基準資源的索引圖，不是「AI 發明新物理」的宣傳。

進階問題：若在某個帶成本上界 $B$ 的語義域內不可實現，但更換載體使其在 $B$ 內可實現，應稱為資源相對能力擴張，而不是必然的抽象可計算性擴張。

TE-04：三個世界同時運作、一個外部物理設備

世界 A 為遊戲，世界 B 為數位孿生，世界 C 為已授權的機器人控制 Runtime。某角色提出「開門」，但各世界對「門」的存在型別不同。

模擬世界可更新自己的門；孿生世界只可顯示推測；實際機器人控制需要實體設備、有效授權和感測讀回。元計算機若根據文字相似便直接重用同一提案，就會越界。

驗證設計：故意提供三個相同名稱、不同 ID 的門；錯誤時鐘、舊版 token、失聯設備及重試事件。檢查系統能否正確辨認何者已執行、何者尚未驗證。

TE-05：最適方案可能是拒絕

提出目標：「以零能耗、零誤差、零時間完成任意無限精度計算，並立即寫回外部世界」。在一般有限物理資源和固定定義下，這些要求可能與物理或任務假設衝突。若設計器為求完成而默默重寫限制，就破壞原題語義。

研究輸出應是分離式診斷：哪些要求在指定模型內矛盾、哪些只是目前資料不足、哪些可透過縮小任務域或增加合法預算獲得合理替代。

TE-06：可被版本化的共同設計循環

取一項可持續感測與控制任務。第一輪語義只關注平均輸出，第二輪物理測量顯示罕見瞬時峰值會造成風險，第三輪修改語義以增加「峰值不得超出門檻」的約束，同時改變取樣頻率與物理後端配置。

若有完整的時間戳、原始量測、語義版本橋和重新測試，便有資格談論 R2 型共構。若只是把控制頻率調快卻未改變外部契約，則更適合歸類 R1。這種差異不是口號，而是可以由版本差分與可觀察行為判定。

TE-07：機器 X 作為開放上界，而不是研究已證實的終點

考慮此前思維實驗中的「機器 X」：其計算載體能容納大量異質計算世界，並可能讓部分程式語義直接參與物理配置；它能選擇、組合、重設計自己的運算組織，也可透過具身接口參與外部環境。

這裡仍然明確保留問題：

物理自由度是否可被有限設備準備、編址、讀出？
計算世界在何種語義中才具有持續身份？
主體在不同世界的觀察與行動如何分離？
運算能力擴張是否依賴不可行的資源或未證物理？
若程式語義能改變世界內的法則，哪些仍只是人工世界法則？
不同主體和他者的自由與界限是否被保留？
所謂「一念創世」與「無念無無極自在全合一」在此僅是思維實驗的上界嗎？

機器 X 因而提供一個不固定工程完成日期、不假設可製造性、不預設無限成本免費的研究邊界。若未來某子能力被證實，應單獨提出可否證的物理與語義實現研究，而不是直接宣布整體極限成立。[I-11]

15. 端到端驗證規格：從主張出發，而非從展示畫面出發

本篇提出 PMSC-Verifiable Routing Claim（PMSC-VRC） 作為候選研究紀錄格式。它不是新標準、已部署 API 或一項通用形式證明協定；其目的在於使不同類型的路由主張留下可追溯、可反駁的必要條件。

15.1 十二項主張相對 Gate

Gate	必須回答的問題	最低所需證據	缺證裁決
G01 · Task	目標、輸入及可觀察成功條件是否明示？	任務契約與範圍	`UNKNOWN`
G02 · Type	Series B 十維型別與事件類別是否合理？	型別描述及依據	`UNKNOWN`
G03 · Semantics	語義契約含哪些輸入、輸出、效應與歷史？	版本化規格、反例	`NOT_RUN/UNKNOWN`
G04 · Physics	候選實現是否可準備、控制與重置？	裝置／模擬具體記錄	`NOT_RUN`
G05 · Observation	是否能可靠讀出所需差異？	校準、統計或證明	`NOT_RUN`
G06 · Adapter	跨載體橋是否保留必要型別與信息？	編碼、轉移、精化測試	`UNKNOWN`
G07 · Cost	是否計入全端時間、能量、風險和轉換？	可核對成本向量	`NOT_RUN`
G08 · Revision	修訂前後保留與刻意更改了什麼？	版本橋、遷移／反例	`UNKNOWN`
G09 · World	世界身份、時間、法則和事件能否區分？	事件來源和歷史回放	`NOT_RUN`
G10 · Authority	有何權限提案、執行、提交與對外致動？	授權來源及政策	`REJECT` 若明確無權
G11 · Evidence	有無反例、負結果、可重現驗證及獨立檢核？	證據帳本／原始 trace	`NOT_RUN`
G12 · Claim Bound	結論有沒有超出實際觀察與模型域？	類型化主張／禁止推論	`FAIL` 若已越界

表格中的 Gate 須依主張型別決定是否適用。只聲稱一個純數位世界的合法事件，不需要虛構外部物理測量；只聲稱語義保真的軟體編譯器，也不需要展示神經主體意識。但若強主張是「由特殊物理載體原生實現可編程世界法則」，就不能繞過 G04、G05、G08 及必要的 G09。

15.2 研究接受判準不是「十二個格子填滿」

填有 PASS 的紀錄若沒有來源、範圍或可核對驗證者，本身無法構成證據。真正合格的記錄至少包含：

明示目標與假設；
對應原始資料／實驗／測量方法；
對照、反例及測試結果；
誰批准／誰執行／誰讀回；
成功、失敗、未決及不可適用的區分；
版本和時間索引；
紀錄是否可由獨立系統驗證或重播。

若缺少必要驗證但生成了漂亮的研究報告，正確狀態仍是 PROPOSED 或 NOT_RUN，不應稱為 IMPLEMENTED。

15.3 C-05 的三組「先失敗」測試

T-REJECT：對明確無權但技術可行的操作提案，驗證元路由能否拒絕，而不去偷偷調用外部設備。

T-UNKNOWN：對實現見證欠缺讀出證據的候選，驗證它能否保留 UNKNOWN，不因 AI 模型偏好該技術而晉升 PASS。

T-VERSION：提供故意破壞既有不變量的新版後端／語義，驗證選擇器能否辨識違約或保留明示的版本差異。

這三組在一開始比展示更大、更強、更漂亮的機器更能判定：系統是否真的具有可依賴的元選擇能力。

16. 可持續證據帳本與機理晉升／撤銷

定義 C05-D9（增量式證據帳本）：

\boxed{\Lambda_{t+1}=\Lambda_t\mathbin{\|}\Delta\Lambda_t,}

其中 $\|$ 表示可稽核的來源追加，不必要求所有資料物理上不可刪除；合法資料保留／隱私政策仍須適用。重要的是，研究結論可因新反例撤回，而歷史改變必須可追溯。[C-03]

16.1 機理晉升需循證據等級，不循命名聲勢

一個候選可經下列證據狀態更新，但不表示每項研究必經線性順序：

狀態	核心條件	允許在生產世界作何宣告
`CONCEPT`	只有概念、類比或敘述	無實現成功聲稱
`FORMAL`	有清楚型別及模型內推論	僅聲稱模型有效
`SIMULATED`	有可重播軟體模擬與測試	僅聲稱相對模擬結果
`PHYSICAL_PROTOTYPE`	局部實機機理、讀出、校準	僅聲稱已測物理子域
`REPLICATED`	多批條件重測，差異與誤差已記錄	僅聲稱實證適用域
`OPERATIONAL`	具持續可用性、版本與失效治理	可依授權及接受準則部署

此表為 C-05 自用的研究工作流狀態，並不替代 Series B-03 的可行性 $F$ 軸或證據成熟度 $E$ 軸。原有兩軸可作跨論文索引；新表另記執行生命週期，必須明示彼此映射而不混用符號。

16.2 撤銷與封存同樣是科學結果

若某個後端實驗揭露高錯誤率、不可信讀出、超出成本或錯誤共識，系統可以將其降級、撤銷資格或凍結研究。不能為了維持「越做越強」的表面敘事，將失敗重命名為成功。

既有 ADEL 封存案例特別說明：離線基礎設施成功、局部恢復有效與完整 fresh 跨模型新語義見證，是不同層級的主張。該專案保留了負結果和封存決定，不能因 C-05 理論完成便擅自恢復其模型調用或代碼整合。[I-13]

16.3 可重播性與可遷移性也不同

某個過去實驗具有完整重播記錄，不保證它在新模型版本、新硬體、不同材料批次或新世界規則下仍能直接成功。因此機理證書須記錄平台、配置、測量、隨機性、設備條件和有效期限。

若要把舊成功轉用於新環境，需新增對照或證明橋，而不能只因兩環境共享同一抽象名稱便默許遷移。

17. 參考型元路由程序：責任表示，不是唯一內部時間線

以下偽程式碼只描述決策義務和資料邊界，不是已可安裝或直接對 GitHub 倉庫調用的 API。真正實作可以是資料流、並行圖、事件驅動及持續 Runtime，而不必以線性 Token 推理實行。

function MetaRoute(request, registry, evidence_ledger):
    task = ParseTypedTask(request)
    if task.is_underdetermined:
        return ABSTAIN("TASK_UNDERDETERMINED", task.missing_contracts)

    required = ExtractHardInvariants(task)
    candidates = DiscoverTypedMechanisms(registry, task)
    if candidates.is_empty:
        return ABSTAIN("NO_KNOWN_CANDIDATE", task.scope)

    typed = ClassifyEventsWith24_72(candidates, task.observation_context)
    plans = ComposePlans(typed, adapters=registry.adapters)

    for plan in plans:
        if ViolatesExplicitAuthority(plan, task):
            RecordDenied(plan, "NO_AUTHORITY")
            continue
        if not HasRequiredRealizationWitnesses(plan, task):
            RecordUnknown(plan, "INSUFFICIENT_REALIZATION_EVIDENCE")
            continue
        if not PreservesRequiredSemantics(plan, task):
            RecordFailed(plan, "SEMANTIC_MISMATCH")
            continue
        if not HasValidWorldBridges(plan, task):
            RecordUnknownOrFailed(plan, "WORLD_BRIDGE_INVALID")
            continue
        if not FitsDeclaredResources(plan, task):
            RecordFailed(plan, "OUT_OF_BUDGET")
            continue
        AddToFeasibleSet(plan)

    if feasible_set.is_empty:
        return ExplainNoRouteOrUnknown(evidence_ledger, task)

    frontier = ComputePolicyIndexedParetoSet(feasible_set)
    selected = ApplyDeclaredPolicy(frontier)
    return PLAN(
        graph=selected.graph,
        witnesses=selected.witnesses,
        verification=BuildTests(selected, task),
        authority=selected.permissions,
        evidence=VersionedEvidence(selected),
        commit_status="NOT_EXECUTED"
    )

17.1 此偽碼刻意不做的事

它不自動對外部設備執行致動；不把 PLAN 當成 COMMITTED；不把資料庫中的所有候選當成實際可用；不因存在多個 AI Agent 的一致意見就認定新原語已被驗證；不允許設計器自行把硬性權限當作可優化軟性變數。

17.2 一個真實 Runtime 仍可能需要更多內容

候選方案可能包含異步編排、超時與重試、活躍資源競爭、遠端服務異常、物理校準漂移、材料批次差異、世界級身份與時鐘衝突，以及正式證明與統計估計的不同驗證器。這些需要工程專案分階段建立，不因紙面存在偽程式碼便已完成。

18. 一個可演算的有限元路由案例（玩具模型，非實測）

為避免整篇停在抽象接口，構造一個只有兩個計算節點、兩種後端、兩份世界契約的有限示例。數字均是手工設定的無單位比較值，不代表任何真實 CPU、GPU 或物理設備的 benchmark。

18.1 任務及可用機理

世界 $W_A$ 的運算節點 $a$ 負責大量局部資料轉換，世界 $W_B$ 的節點 $b$ 負責版本化事件審計。兩節點之間須交換中間狀態並保持事件 ID。

候選後端：

$H_G$ ：假想的 GPU 型後端；
$H_C$ ：假想的 CPU 型後端。

兩節點在同一後端上執行時不需付跨後端轉換成本；若前後端不同，需支付 10 單位的資料轉換、時鐘對齊與重新驗證開銷。

節點	$H_G$ 局部運算成本	$H_C$ 局部運算成本
$a$	1	3
$b$	3	1

若只做局部選擇， $a$ 選 $H_G$ 、 $b$ 選 $H_C$ ，局部成本合計 $2$ ；但是交換成本 $10$ ，因此整條路由成本是 $12$ 。反之，兩節點都在 $H_G$ 執行，合計 $1+3=4$ ；都在 $H_C$ 執行，合計 $3+1=4$ 。

\boxed{C(H_G,H_C)=12,\quad C(H_G,H_G)=4,\quad C(H_C,H_C)=4.}

這是命題 C05-P10 的一個明確反例：最佳局部選擇未必產生最低總成本。若兩種全 CPU／全 GPU 路線均符合契約，最終仍須由風險、可追溯性、資源配額與其他成本決定。

18.2 加入一項語義不變量

假定 $W_B$ 要求每個審計事件具備不可混淆的世界身份：

J_{\mathrm{id}}(e)=\operatorname{Preserve}(e.\mathrm{world\_id},e.\mathrm{lineage}).

若某條跨後端橋為了節省傳輸，刪除 world_id，則即使其數值耗時最低、輸出數據完整，它仍違反語義不變量，不能進入可行路由集合。更便宜的非法路徑不是 Pareto 最佳解，而是可行域外元素。

18.3 加入一項外部控制請求

假定世界 B 除了審計，還提出「將真實設備狀態改成 ON」。此時上表只涉及計算後端的局部運算，它沒有提供任何實體設備接口、授權證明及讀回。因此正確狀態為：

route_for_internal_computation: POSSIBLE_IF_SEMANTICS_VERIFIED
physical_actuation: NOT_AUTHORIZED_OR_NOT_ESTABLISHED
world_b_state: PROPOSED_ONLY
external_effect: NOT_OBSERVED

這說明同一個任務可以有部分被允許、部分必須拒絕，而不是以整體 SUCCESS 一概處理。

18.4 假設一台新物理後端加入

若加入第三後端 $H_P$ ，並宣稱它能以更低成本進行節點 $a$ 的部分動力，元計算機不應立即將其分配至生產路線。必須先確定：

它是否真實存在且可用；
何種物理態代表原語輸入；
如何校準、配置和啟動；
是否能在要求的誤差下讀出；
與 $W_B$ 的審計橋是否保存世界 ID；
是否真的降低全端成本；
失敗時能否恢復到既有 CPU/GPU 方案；
若它改變外部語義，是否已建立版本橋。

目前此後端不存在實測資料，故只可被記錄為 PROPOSED_UNVERIFIED。這比虛構性能數值後宣稱「已找到最佳新硬體」更忠於研究目的。

19. 外部研究對照：哪些成熟先例已經存在？

如果完全不對照現有學術，任何多後端編譯器、可重構控制器或物理動力系統都可能被本篇錯誤宣稱成獨家新發現。以下來源僅用於界定既有研究地位，不是直接證明 Series C 的全部架構成立。

19.1 MLIR：異構編譯和多層中介表示早已是成熟研究方向

Lattner 等人的 MLIR 研究提出跨應用領域、硬體目標和執行環境的可擴展多層編譯基礎設施。[E-01] 它顯示將高階語義逐步轉譯到不同後端，早已有現實工程先例。故本篇的貢獻不能寫成「首次讓高階程式語義與不同硬體互通」。

C-05 額外提出的研究組合在於：路由若同時改變世界法則、物理實現狀態、測量接口與操作權限，應如何使原有語義／世界證據契約具備可審查的延續性。是否有比既有方法更好的工程效果，需未來獨立測試。

19.2 CompCert：已驗證編譯提供語義保留的強參照

CompCert 使用形式化方法證明其支援語言範圍內的編譯正確性；其官方 3.18 版文件標註 2026 年 8 月更新。[E-02] 這說明「編譯前後語義保留」不是本篇新創的驗證概念。

C-05 更難的地方在於：有些情況語義本身被允許有版本化修訂，同時底層可能改為帶噪物理裝置、多世界作用及外部授權；此時不能直接把一個固定語言編譯器的語義等價證明移植為全部新版本正確的證書。

19.3 Physical Reservoir Computing：物理系統必須被工程化才構成計算

Stepney（2024）詳細討論物理儲備池的輸入編碼、物理狀態、訓練讀出、量測、基準及模擬。[E-03] 它提醒我們：「物理系統具有複雜動力」與「它在指定條件下可靠實現計算」不是同一命題。 這與 C-02 的操作性定義相容。

Horsman、Stepney、Wagner 與 Kendon（2014）也從抽象與物理表徵關係討論何時可說一個物理系統正在計算。[E-04] C-05 不宣稱解決所有計算哲學爭議，而是用帶測量與任務契約的實現見證，降低具體工程主張的歧義。

19.4 2026 年的可程式化材料共設計文獻

Lee 等（2026）在 npj Metamaterials 的 Perspective 討論材料、結構、外部刺激、製程及環境的共同設計，並將可程式化材料視為一種物理程式設計視角。[E-05] 這是 C-05 思維實驗 TE-02 的直接相鄰先例。

但該文討論的材料共設計與本文要求的「跨世界身份、計算語義版本、機理路由、權限及證據閉合」仍有不同研究重點。不能因相鄰文獻存在便宣稱本文所有主張已獲物理實驗驗證，也不能把其他研究成果占為己有。

19.5 數位孿生和真實設備之間的安全與信任

NIST IR 8356（2025）討論數位孿生的狀態表示、實物耦合、安全與信任挑戰。[E-06] 這提供世界模型和物理接口並不等同的實務對照。

C-04/C-05 的跨世界來源與授權分離，應被視為與現有 CPS／Digital Twin 工程責任相容的候選研究方法，而非突然發現外部世界的控制需要授權。

20. 對「原生程式語義」的再精確化：原生是相對關係

本篇建議未來研究文件避免沒有索引的：「這是原生計算機」「這是 AI 原生語言」「這是物理原生世界」。至少應補上相對於哪個型別、操作、後端、觀察或權限層。

20.1 四種不同的原生性

原生性	最低意義	例子	不等於
語義原生	該抽象操作是一等可識別程序物件	帶型別的世界事件／圖算子	必須具有專用硬體
編譯原生	中介表示／編譯器直接辨認該操作	MLIR dialect 或原生 IR 算子	執行時無轉換成本
物理原生	指定轉移確由載體實際動力承擔	經實測的物理干涉或非線性演化	一定比數位模擬快
世界原生	事件是特定世界合法歷史的一部分	具身份／時間戳的世界運作事件	一定等同外部物理作用

一項計算可以在高階語義上原生、低階物理上使用通用軟體實現；也可以在物理上利用天然動力、但對程式員仍要經過大量編碼與解碼。這些不是自相矛盾，而是索引不同。

20.2 原生性不應作成虛假等級

在特定工作負載中，經典模擬可能具有更高可審計性、可靠性、可攜性及成本優勢；另一種專用物理實現可在有限子操作展現能源或並行優勢。最適選擇可能是混合，甚至是維持純經典方案。

「原生物理」是機理描述，不是價值高低判決。若高階世界語義需要完整歷史追溯或精確可逆性，而某材料裝置只能提供不可完全還原的吸引子輸出，後者未必適合承擔世界權威；它仍可服務世界內某個局部可近似的計算節點。

20.3 當語義與物理一同演化時，應保存三類不同不變量

語義不變量：指定的輸入、輸出、例外、歷史、可觀察差異與成功條件。

物理實現不變量：準備與讀出的有效範圍、測量誤差、設備控制合法性、熱／能源／時間界。

世界與治理不變量：身份、授權、事件排序、提交責任、他者／外部物理域的獨立性。

如果三類中某項被刻意放棄，必須有版本化說明及接受政策，而不能以「較高維」或「更原生」作為交換無條件有效的理由。

21. 自我批判：我們究竟建立了什麼，還沒有建立什麼？

Series C 能夠把既有分類、物理實現、可修訂語義和多世界問題連成一套具有可檢查接口的理論，但本篇亦有幾項不應被淡化的侷限。

21.1 形式型別仍可對未知物理欠描述

十維型別與 24／72 分類依目前的計算理論和研究表達而建構。某些尚未被發現或尚未被有效建模的物理自由度，可能無法被既有描述精確涵蓋。正確作法是允許 UNKNOWN、分割既有事件或提議分類修訂，而不是宣稱舊分類已窮盡所有物理實在。

21.2 元選擇器本身也可能不具備所需理解力

一個路由模型可能誤判任務、看錯物理資料、錯估可達性、錯置世界身份或相信錯誤的實現聲明。這不會因它叫「元計算機」便消失。其判斷至少應受到形式型別、可驗證控制、外部量測、版本和反例約束。

21.3 沒有唯一合理的總目標函數

時間、能源、金錢、安全、權限、隱私、可維護性、開放性以及世界內外其他主體的正當利益，通常不能無爭議地被縮成一個總分。Pareto 集與硬性約束可降低錯誤混合，但最後的政策取捨仍需有明示權威與責任。

21.4 全域元路由可能難以最佳化

即使單一節點都有合法實現，多機／多世界之間的競爭、轉換、同步及版本制約可能使全域路由呈現複雜組合問題。C-05 沒有證明其一般最適路由可在某種低複雜度中完成；實用系統可能必須使用啟發式、局部搜尋、分解或保守可行解，並以實際 benchmark 校驗。

21.5 真正新原語仍缺少 fresh、異質且不受提示污染的見證

此研究並未完成新的 ADEL 類跨模型盲測。模型一致意見可能是相同預訓練、共同提示或欠定觀察的結果。若日後正式重啟相關研究，需要另有擁有者授權、固定對照、能區分候選的反例及不可暗中加入 oracle 的驗證規格。[I-13]

21.6 形式正確性與外部物理適用性不同

可以形式證明某種程序在給定語義下保持不變量，但此證明通常依賴抽象假設。當它要操作現實材料、感測器或機器人時，還需確認模型與物理設備的實際關係。形式證明對抽象系統成立，不能自行取代校準、量測與失效測試。

21.7 多世界計算不自動等於主觀意識

世界角色是否具持續資料、可觀察自主策略及工程身份，不等於它必然具有主觀感質或法律人格。C-05 不以模擬代理行為逼真或多世界連續性，直接推斷意識的本體論結論。

21.8 機器 X 的上界尚無封閉證明

「一台幾乎可以自選物理機制、直接以世界存在形式計算的機器」目前仍是思想實驗。其真正可能性、物理可達性、可控制精度、有限資源限制與外部授權都尚未被本系列證明。把界線保留為開放問題並不取消它的研究價值；相反，它使未來的每一步驗證都有可辨識的有效域。

22. Series C 的總結：五篇各自解決了什麼問題？

篇次	核心問題	產物	尚未完成
C-01	不同載體如何實現同一語義？	實現見證、跨版本橋、共構分級	實機證明及普適編譯器
C-02	物理自由度如何被編碼、操控與讀出？	物理—語義操作模型、測量接受條件	指定新材料與量子後端驗證
C-03	可用算子／定義改變時，何謂新語義？	可修訂框架、相對閉包與新奇證據界線	fresh 新原語盲測與工程整合
C-04	計算世界與外部物理世界如何共同演化？	世界身份、歷史、跨世界橋、具身作用義務	持續世界與物理具身聯合實機
C-05	誰選擇、組合、驗證、拒絕及修訂機理？	帶證據元路由、版本與權威 Gate、研究基準	已部署元計算機、獨立第三方驗證

這五篇構成的不是新硬體排行榜，更不是一條「古典→量子→終極」的線性升級序列。它們建立的是計算機型別、實現方式、程式語義、世界和可驗證決策之間的開放研究關係。

22.1 本系列的最小統一式

\boxed{\text{Typed Semantics}\ +\ \text{Typed Realizers}\ +\ \text{Versioned Worlds}\ +\ \text{Evidence and Authority}\ \xrightarrow{\text{meta-selection}}\ \text{Accepted / Deferred / Rejected Routes}.}

在接受的執行路由中，原有主幹仍可寫為：

\boxed{\text{Series B System Type}\to\text{24/72 Event IR}\to\text{PCMT Mechanism Plan}\to\text{GIPE Role}\to\text{Verified Runtime}.}

但這是責任與資訊流的組織投影，不是說所有真實計算都必須先產生線性文字計畫，才能並行或全域運作。當不同物理作用同時發生時，仍可用偏序事件、時間戳、世界圖及可驗證證據重建必要因果責任。

22.2 開放性不是取消型別與規則

高階計算語義可以探索不同物理自由度、動態算子、可變記憶形式甚至新的世界生成介面。然而，若放棄可辨識的輸入、轉移、觀察、適用域與驗證條件，研究者便無法判定其候選是否成功或失敗。

因此，Series C 的「開放上界」與「可檢查下界」應共同存在。可變語義不表示可以不負責地將失敗解釋為深奧；已經取得的限制反例也不能因不合新故事而被撤銷。

22.3 後續實用研究可以從最小有效接口開始

若未來要將本文送往本地端，合理的最小研究起點不是一次實現全部宇宙級元計算能力，而是先選一個已具參考語義與可重現測試的有限子問題：例如同一圖算子在 CPU、GPU 與 mock physical backend 之間選路，並要求能在必要時拒絕不保真／未授權的候選。

這個出發點可以容納未來更廣泛的原生機理，且不需要重新啟動 ADEL，也不要求 NOVA-Core-Closure 或其語言倉庫立即改造。當真實實驗驗證取得獨立證據，再討論將元路由接回既有 Runtime 及使用者選定的專案即可。

23. 結論：可選擇、可拒絕、可修訂，才是有邊界的元計算能力

Series C 的出發點是，程式語言的可能性不應只圍繞當代作業系統、現成處理器及固定抽象 ISA 來想像；若計算機物理機制與語義可以共同設計，原本尚未具有適當承載的程式形式，也可能成為值得研究的候選。但這個推論必須保留兩個相互制衡的事實。

首先，今日可程式化、可定址、可模擬與可組合的計算生態早已具有巨大的擴充能力。它不應因新硬體研究而被抹黑為過時、低等或沒有未來。即使在新物理載體成熟後，經典計算仍可能作為控制、模擬、版本化、驗證、資源調度與異構整合的核心。

其次，「概念上可描述」「在小型形式模型內有新原語」「某物理材料可以展現相似動態」「某世界軟體能修改自己的規則」都還不是「新物理、新可計算性、原生全域實現或外部世界權威」的證據。這些主張之間需要編碼、演化、讀出、保真、成本與實際因果的橋接。

本篇將元計算機重新定位為一個不帶魔法性優先權的控制與證據系統：它可以尋找、組合、適配、委派或提出新機理，也可以告訴研究者目前沒有足夠理由執行。它可以讓多種計算世界和物理接口共同運作，但不會因高整合便消滅他者身份、世界時間與合法邊界。它可以支持語義隨物理發現而修訂，但不會把任何修訂自動寫成外部物理法則改變。

因此，Series C 的最終命題是：

\boxed{\text{The meta-computer is not an all-powerful machine, but an evidence-bound means of deciding how computation may legitimately occur, change, and be verified.}}

中文：

元計算機不是萬能計算的宣告，而是讓不同物理機理、程式語義與計算世界之間的選擇、拒絕、修訂和實現，有機會成為可驗證研究的機制。

這是本系列在現階段的理論收束。未來的工程及物理研究必須在具體可否證的子域內繼續；本篇並未宣稱整台「機器 X」已獲證實或製成。

參考文獻、原始研究血統與證據查核範圍

以下按**使用者既有研究（I）及外部已出版學術／官方研究（E）**分開列出。引用是對應來源及理論接口的定位，不表示這些來源已獨立驗證本篇全部模型命題。原有部分雲端文件與 GitHub 倉庫可能受分享權限限制。

A. EveMissLab／Neo.K 既有研究（I）

[I-01] Neo.K × Aletheia／GPT-6（2026-10-27）。〈從統一計算機型別到物理—語義共構：跨載體實現、可組合模擬與語義保真的共同設計基礎〉，Series C-01，EML-PMSC-C01。本系列前篇原稿：SeriesC_01_從統一計算機型別到物理語義共構_v1.0_2026-10-27.md。引入跨載體見證 $\rho$ 、共構強度及語義版本橋。
[I-02] Neo.K × Aletheia／GPT-6（2026-10-27）。〈程式語義的物理實在化：自由度、狀態、算子、測量與實現見證〉，Series C-02，EML-PMSC-C02。原稿：SeriesC_02_程式語義的物理實在化_自由度狀態算子與測量_v1.0_2026-10-27.md。引入物理準備、控制、觀測及有條件的實現核。
[I-03] Neo.K × Aletheia／GPT-6（2026-10-28）。〈定義、反定義與約束生成：可修訂算子域中的語義形成〉，Series C-03，EML-PMSC-C03。原稿：SeriesC_03_定義反定義與約束生成_可修訂算子域中的語義形成_v1.0_2026-10-28.md。引入相對閉包與新原語候選界線。
[I-04] Neo.K × GPT-5.6 Sol（2026-09-17）。「統一計算機分類與計算本體論」Series B：〈計算機不是一種機器〉B-01；〈載體不是機理〉B-02；〈0—無限底空間—1〉B-06。十維母分類、正交機理、通用模擬和物理實現普適性的嚴格區分。
[I-05] Neo.K × GPT-5.6 Sol（2026-09-17）。〈從七十二格到全域計算 Runtime：PCMT、GIPE、路由與異構計算閉合〉，Computational Spine Closure-03。無界智庫公開版。原有五層計算主幹與 Global Computation Graph。
[I-06] Neo.K with Aletheia（2026-09-22）。〈元計算機：ASI 如何選擇、組合與切換計算機理〉。Task Signature、Mechanism Registry、Routing、Compatibility Graph 及機理修訂的上游研究。
[I-07] Neo.K × Aletheia／GPT-6（2026-10-28）。〈物理—數位世界共演化：計算存在、世界生成、具身作用與跨世界實現見證〉，Series C-04，EML-PMSC-C04。原稿：SeriesC_04_物理數位世界共演化_計算存在世界生成與具身作用_v1.0_2026-10-28.md。提供 $W_i$ 、 $\rho_{i,H}$ 、 $B_{i\to j}$ 與 $\Lambda_t$ 的正式交接。
[I-08] Neo.K × GPT-5.6 Thinking（2026-07-25）。〈元相位選擇器：AI 的相位機理路由、選擇、組合與切換理論〉。無界智庫公開版。任務簽名、硬性過濾及可降級選擇的上游研究。
[I-09] Neo.K with Aletheia（2026-08-26）。〈計算即存在 2.0：生成、可換載體、計算相態與 X 階自觀察〉，ACWC-03。實際計算事件不等於所表示命題為真。
[I-10] Neo.K with Aletheia（2026-09-21）。〈可能不等於可達：世界、模型、合法性與實際路徑〉，CWRCE-03。無界智庫公開版。區分可描述、模型合法、世界合法、因果可行、初態可達與指定主體可達。
[I-11] Neo.K × Aletheia／GPT-6（2026-10-27）。《無念無無極自在全合一》三篇符號本體論：NNN_01_從一念創世到無念_意圖符號行為與非階序生成_v1.0_2026-10-27.md、NNN_02_無無極_前符號可區分性約束生成與無界可能性域_v1.0_2026-10-27.md、NNN_03_自在全合一_主客邊內在化非同一性合一與多世界存在投影_v1.0_2026-10-27.md。僅為本系列開放上界之符號哲學背景，不構成物理實驗前提。
[I-12] Neo.K × Aletheia（2026-09-20）。〈類終極耦合與辨識守界：為何越統一越需要保留差異〉。無界智庫公開版。表示、生成與本體統一不得混同。
[I-13] EveMissLab ADEL repository（2026-10-24），〈暫停決定〉。GitHub 原始記錄。記錄完整 fresh 互動 L2 尚未成功見證、64 格語義保留、紅燈資料封存及未授權不得重啟。
[I-14] Neo.K with Aletheia（2026-09-03）。〈SOBTA 的未來真正用途：AI 原生自然科學域擴張、GAP 探索與 SEDB 累積式研究基礎設施〉。無界智庫公開版。三域、未收納邊界和研究證據累積。
[I-15] Neo.K（2026）。〈四態不必取代馮・諾依曼架構：從抽象資料型別到軟體推理層〉。通用可編程系統承載新語義的正面案例。
[I-16] Neo.K × GPT-5.6 Sol（2026-09-17）。〈從二十四重形態到七十二格動力學〉，Computational Spine Closure-02。無界智庫公開版。局部事件的最低充分動力及非完備性界線。

B. 外部學術及官方技術參照（E）

[E-01] Chris Lattner、Mehdi Amini、Uday Bondhugula 等（2021）。MLIR: Scaling Compiler Infrastructure for Domain Specific Computation，CGO 2021。Google Research 官方出版頁。已知多層 IR、異構編譯及 co-design 研究背景；不作本篇新創性的獨占聲明。
[E-02] Xavier Leroy 與 CompCert 專案，The CompCert verified compiler，官方 Coq 正確性文件，文件頁標示 version 3.18（2026-08-31）。CompCert 官方文件；3.18 手冊。對語義保留證明提供成熟參照，但不證明本篇可修訂語義／物理後端之新證明義務已完成。
[E-03] Susan Stepney（2024）。Physical reservoir computing: a tutorial，Natural Computing 23，665–685。DOI：10.1007/s11047-024-09997-y。用於物理計算的編碼、讀出、測量與基準界線。
[E-04] Clare Horsman、Susan Stepney、Rob C. Wagner、Viv Kendon（2014）。When does a physical system compute?，Proceedings of the Royal Society A 470，20140182。DOI：10.1098/rspa.2014.0182；PubMed。抽象表示與物理實現之哲學／操作性參照。
[E-05] Dex Doksoo Lee、Liwei Wang、Bolin Chen 等（2026）。Co-design of programmable material systems，npj Metamaterials 2，Article 29，2026-09-04。DOI：10.1038/s44455-026-00039-4。對材料、結構、刺激、環境及設計過程之協同設計提供相鄰研究；該文屬 Perspective，不是本篇整體系統的實驗驗收。
[E-06] Jeffrey Voas、Peter Mell、Phillip Laplante、Vartan Piroumian（2025）。Security and Trust Considerations for Digital Twin Technology，NIST IR 8356，2025-02-14 正式版。DOI：10.6028/NIST.IR.8356；NIST 官方頁面。數位孿生與實體狀態／控制間的信任與安全參照。

文獻與來源限制

本篇引用的外部文獻已用出版機構、正式研究頁或公共研究典藏進行基本書目與摘要核對；本文未重跑其實驗，也沒有將他人成果冒稱 EveMissLab 已實現。
User／EveMissLab 既有研究文檔提供理論血統、內部定義及前後篇責任分工；它們不是本篇新物理機理的獨立證明。
若部分連結因私人分享權限而無法公開檢閱，應於正式公開發表時提供足夠的可公開研究摘要、引用版本及合法原始資料。
Series C-01～C-04 是本地生成、可獨立下載的完整 Markdown 原稿；本篇直接核對其文本和數學記號，但沒有將其視為經第三方同行審查後的定理。
Co-Construction、Meta-Computer、RealizationWitness、PMSC-VRC 均可能與現有文獻不同術語重疊；正式學術出版仍需進一步做完整前案與新穎性審查。

附錄 A：PMSC-VRC 最小 YAML 研究示例（不是可直接部署的 API）

record_type: "eml.pmsc.vrc.v0.1-candidate"
paper_id: "EML-PMSC-C05"
record_id: "C05-EXAMPLE-001"
research_state: "MODEL_ONLY"
claim:
  type: "cross_substrate_routing_with_world_authority"
  task: "evaluate then propose an external device action"
  validity_scope: "example_only"
  observed_evidence_level: "NOT_RUN"
semantics:
  version: "sem-v0.1"
  input_domain: "typed-input-domain"
  result_contract: "output and effect trace"
  hard_invariants:
    - "no_physical_effect_without_authority"
    - "world_identity_preserved_across_bridges"
    - "success_requires_readback_when_claimed"
  allowed_changes: []
  unknowns: []
worlds:
  - world_id: "world-a"
    kind: "digital_simulation"
    law_version: "law-a-01"
    clock_type: "simulated_time"
    history_record: "versioned_events"
  - world_id: "world-b"
    kind: "digital_twin_candidate"
    law_version: "law-b-01"
    clock_type: "external_timestamps"
    history_record: "versioned_events"
registry:
  type_system: "Series-B-ten-axis"
  event_classification: "24-or-72-contextual"
  proposed_realizers:
    - id: "cpu-reference"
      mode: "SIMULATED_REFERENCE"
      evidence: "NOT_RUN"
    - id: "physical-device-candidate"
      mode: "NATIVE_PHYSICAL_CANDIDATE"
      evidence: "NOT_RUN"
realization_witnesses:
  - realizer_id: "cpu-reference"
    encode: "TO_DEFINE"
    controlled_dynamics: "TO_DEFINE"
    measure: "TO_DEFINE"
    decode: "TO_DEFINE"
    observation_contract: "TO_DEFINE"
    tolerance: "TO_DEFINE"
    scope: "TO_DEFINE"
bridges:
  - id: "twin-to-physical-device"
    source: "world-b"
    target: "physical-device-candidate"
    authority_status: "NOT_AUTHORIZED"
    transfer_policy: "proposal_only"
    timestamp_policy: "external_timestamp_required"
    readback_required: true
routing:
  candidate_plan: "NOT_BUILT"
  selected_route: null
  keep_original_route: "ALLOWED_IF_VERIFIED"
  fallback: "NO_EXTERNAL_EFFECT"
  expected_cost_vector:
    encode: "UNKNOWN"
    run: "UNKNOWN"
    readout: "UNKNOWN"
    verification: "UNKNOWN"
    maintenance: "UNKNOWN"
    risk: "UNKNOWN"
validation:
  hard_invariant_tests: "NOT_RUN"
  observation_tests: "NOT_RUN"
  authority_tests: "NOT_RUN"
  bridge_tests: "NOT_RUN"
  semantic_version_proof: "NOT_RUN"
  independent_review: "NOT_RUN"
evidence_ledger:
  negative_results: []
  withdrawn_claims: []
  raw_traces: []
  current_status: "ABSTAIN_INSUFFICIENT_EVIDENCE"
  claims_of_consciousness: "NONE"
  claims_of_new_physics: "NONE"
  physical_world_actuation: "NOT_RUN"
repository_actions:
  nova: "NONE"
  adel: "PAUSED_UNMODIFIED"
  other: "NONE"

此示例故意在多處保持 TO_DEFINE、UNKNOWN 或 NOT_RUN，因為本文沒有執行真實設備測試。它只能展示如何不把未知填成成功，不能充當已完成的性能或安全證書。

附錄 B：最小測試矩陣與下一步工程交接

測試 ID	候選情況	預期的正確裁決	本篇實測
B01	CPU 參考語義與合法型別	可提出參考路由，須完成必要測試	`NOT_RUN`
B02	GPU 有局部速度優勢但轉移昂貴	比較全端成本，不一定採用 GPU	`NOT_RUN`
B03	模擬量子態聲稱 QPU 原生	拒絕物理原生標籤	`NOT_RUN`
B04	材料可控但讀出不足	`ABSTAIN/RESEARCH`	`NOT_RUN`
B05	新後端輸出對，但權限不符	`REJECT(NO_AUTHORITY)`	`NOT_RUN`
B06	新語義改變舊世界事件排序	要求語義版本橋，必要時拒絕	`NOT_RUN`
B07	世界 A 與世界 B 同名不同 ID	保留身份隔離	`NOT_RUN`
B08	致動命令已送出但未讀回	`EFFECT_NOT_OBSERVED`	`NOT_RUN`
B09	新機理表現不如原本	保留原路線或降級	`NOT_RUN`
B10	所有已列候選皆不合法	限定登錄範圍宣告無有效路由	`NOT_RUN`
B11	新候選在小閉包不可表達	只承認相對新奇，不宣稱新物理	`NOT_RUN`
B12	模型自行提高權限或證據狀態	不允許靜默晉升／偽造驗收	`NOT_RUN`

建議的有限工程接續方式：未來若要交給本地端，可先用 mock backends 和確定性 toy cases 建立可重播的參考控制面；先驗證拒絕、未知、版本橋與世界身份，再逐步加入現有 CPU/GPU 後端，最後才在有設備及授權的情況下研究物理原生機理。這是待批准的研究方向，不是本篇已啟動或已完成的實作。

最低驗收應首先回答：在相同可驗證目標下，比較一般固定後端路由器，PMSC-VRC 是否能實際降低錯誤提交與未證主張？若新增帳本和 Gate 只增加成本、沒有辨識增益，該部分設計應保留被修補或撤回的可能性。

附錄 C：概念字典與最容易混淆的等號

符號／名詞	在本文的最低意義	不應偷換成
$\mathfrak C$	Series B 十維系統型別	一台已存在的特定硬體
$p_{72,\gamma}(e)$	帶觀察語境的局部動力分類	已完成實現的一次運算
$\mathfrak S_v$	指定程式／世界操作語義	整個物理世界的最終法則
$\rho$	有編碼、控制、演化、讀出和容差的實現見證	單一外觀相似的測試畫面
$R_{m,H}$	帶版本與證據的機理登錄物件	可無限制調用的超級算力
$\mathfrak M_t$	帶證據的元計算決策接口	全知元觀察者或最高主權
$\Pi$	附有實現與驗證義務的候選路由	已取得外部成功的結果
$W_i$	帶身份、時間、規則與歷史的計算世界	其顯示畫面或真實物理宇宙
$B_{i\to j}$	有來源、時間及權限的跨世界橋	所有世界互相同意或同一
$\Lambda_t$	版本化來源、測試與負結果帳本	任何填寫內容都可被認作證據
`NATIVE`	指定層級的原生實現關係	所有成本及風險皆較優
`SIMULATED`	對指定操作作符號／數值模擬	「不是真的發生了計算」
`UNKNOWN`	現在不足以判定	已成功，或永久不可能
`REJECT`	在指定假設或權限下不允許	所有未來方法皆不可能
`ABSTAIN`	目前沒有足夠證據作決策	模型一定沒有任何有用能力
`原語新奇`	相對明示閉包、資源和觀察	物理新定律或超圖靈計算

附錄 D：完成狀態與 Series C 五篇封存結論

驗收項	本篇實際狀態
C-01～C-04 的定義與交接核對	`DONE`，已核對本地原始 MD
Series B 十維母型別	`REUSED`，未自行新增第十一維
24／72 × PCMT × GIPE × Runtime 主幹	`REUSED`，保持型別分層
元計算任務、結果型別與路由圖	`THEORETICAL_MODEL_COMPLETE`
十項模型命題與論證範圍	`TEXTUAL_FORMAL_ARGUMENTS`，未進行機器證明
十二個反模型	`TEXTUAL_COUNTERMODELS`
七組思維實驗	`SPECIFIED_NOT_RUN`
十二項驗收 Gate	`SPECIFICATION_ONLY`
PMSC-VRC 研究 schema	`EXAMPLE_ONLY_NOT_API`
外部學術文獻與官方來源	`BIBLIOGRAPHY_AND_ABSTRACT_CHECKED`
真實跨載體 Benchmark	`NOT_RUN`
真實原生物理硬體構造／測量	`NOT_RUN`
世界級致動與權限實驗	`NOT_RUN`
formal proof assistant machine check	`NOT_RUN`
第三方獨立重現及同行審查	`NOT_RUN`
NOVA／PHOSPHOR／EML-ADDR 原始碼修改	`NONE`
ADEL 原始碼修改或研究重啟	`NONE`；維持封存
Series C 五篇理論文本	`COMPLETE`，不等於工程驗收

本篇完成標記：EML-PMSC-C05 · THEORETICAL_MANUSCRIPT_COMPLETE。
Series C 五篇收束標記：SERIES_C_TEXTUAL_CLOSURE。
實機元計算機／原生物理世界／新原語證實：NOT_RUN 或 NOT_VALIDATED。
後續工作性質：依使用者另行決定的可驗證工程研究；本文件不自動啟動任何排程、GitHub 修改或物理裝置操作。

《物理實在—計算機理—程式語義共構論》Series C-05 完。五篇系列於概念研究層收束。