title: 程式語義的物理實在化：自由度、狀態、算子、測量與實現見證
english_title: Physical Realization of Programming Semantics: Degrees of Freedom, States, Operators, Measurement, and Realization Witnesses
series: 物理實在—計算機理—程式語義共構論
series_english: Physical Reality, Computational Mechanisms, and Programming Semantics: A Co-Construction Framework
series_number: 02/05
paper_id: EML-PMSC-C02
author: Neo.K
research_collaboration: Aletheia / GPT-6（既有研究回查、形式化、反例與研究協作）
institution: EveMissLab／一言諾科技有限公司
version: v1.0
date: 2026-10-27
timezone: Asia/Taipei
language: zh-TW
source_format: UTF-8 Markdown
math_delimiters: $...$ and $$...$$
document_type: 計算本體論／物理計算／程式語義／跨載體實現／候選操作形式框架
status: Series C 第二篇正式研究原稿；形式推論與思維實驗，不宣稱實機實驗成功
predecessor: EML-PMSC-C01：從統一計算機型別到物理—語義共構
next_paper: EML-PMSC-C03：定義、反定義與約束生成
research_boundary: 沿用 Series B 十維母型別；不預設非馮紐曼優越；不以測量事件推導意識或觀察者人格；不變更 NOVA、不恢復封存 ADEL

程式語義的物理實在化：自由度、狀態、算子、測量與實現見證

Q: 3.1 何謂一個合法的「程式原語」？

定義 C02-D2（實現相對的原語）。對 $\mathfrak S$ 中候選操作 $o$，若存在可明示的控制規約 $u_o$ 、適用域 $D_o$ 、物理演化與讀出，使其在 $Q$ 之下滿足語義契約，稱 $o$ 在 $(H,\Gamma,B,Q)$ 上有一個有效實現。

Q: 13.2 這對語言意味著什麼？

若語義操作定義為 write_state(i,v)、trigger_wave(input) 或 read_sequence()，就必須重新研究：

Q: 14.4 「模擬中的語義」與「原生中的語義」應共享哪些測試？

如果某操作 $o$ 同時有 CPU 模擬後端 $H_c$ 和物理振盪後端 $H_p$，可以在相同 $Q,D$ 下測試二者是否具有接近的可觀察輸出，而不預設它們的內部表示及物理自由度等同。

Q: 18.2 實驗 II：同一台材料設備，改變哪些「語義」真的有效？

問題：當一個具多個材料狀態的機械裝置只有有限控制端口，語義能否透過重新配置擴張，而不只是重新命名同一組效果？

Q: 18.3 實驗 III：可重構物理網路能否承載「拓撲就是程式」？

問題：在物理節點網路中，是否可以將局部連結配置視為一種語義原語，使其改變持續運作的計算能力？

Q: 21.2 可能的批評：所有狀態都可數位模擬，為何做新硬體？

因為通用可模擬性與指定精度、能源、時間、帶寬及可直接物理耦合的成本不是同一問題。數位模擬可能最可靠、最便宜；新硬體也可能在特定輸入—動力—讀出結構下具有優勢。兩者須比較，不能事先宣布結果。

Q: 21.4 可能的批評：太強調可測量，是否排除未來未知物理？

沒有。目前不可測不等於永久不可能；但目前不可測也不應被認定已完成物理語義實現。可以保留候選自由度與開放猜想，並明確標記缺口為準備、控制、觀察、模型或證據不足。這正是開放上下界而非提前封閉的研究方式。

Q: 21.5 可能的批評：可操作定義是否過度人類中心？

一個計算主體可以具有非文字、非視覺、非人類理解的觀察與控制介面。本文不要求輸出必須對人類直接可讀；只要求在聲稱成立的語義關係中，存在有區分力的、可被追溯與驗證的判準。它可以由其他機器、外部探測或形式程序實施，而非一定透過人類文字解釋。

Physical Realization of Programming Semantics: Degrees of Freedom, States, Operators, Measurement, and Realization Witnesses

《物理實在—計算機理—程式語義共構論》Series C · 第二篇（C-02／05）
作者：Neo.K
研究協作：Aletheia / GPT-6
機構：EveMissLab／一言諾科技有限公司
版本：v1.0 · 2026-10-27（Asia/Taipei）

日期： 2026-10-27

摘要

「程式必須透過物理機制實現」是一個正確但不足以指導新型計算機研究的命題。現代經典數位計算早已透過電荷、半導體元件、記憶體、時序、感測與通訊完成物理實現；量子計算、類比計算、物理儲備池、機械邏輯以及可重構材料則顯示，計算狀態及轉換未必只能由抽象的取指—執行序列描述。真正困難的問題是：當程式不再預設唯一的物理載體時，如何判定某個自由度能否承載某種語義區分、某個控制是否真的形成所需算子、某種測量能否可靠辨別結果，以及哪些語義主張超出了載體可達與可驗證的範圍？

本篇接續 C-01 的語義契約與實現見證，建立程式語義物理實在化的候選形式框架。首先區分「物理上存在的自由度」「可準備的狀態」「可控制的轉移」「可區分的讀出」與「被語義契約承認的結果」，指出五者不能只靠命名互相推導。其次把受控物理系統表示為載體狀態、準備程序、控制演化、測量儀器、解碼與環境約束的組合；在古典隨機模型內以核的複合描述實現，在量子模型內改以量子通道、量測操作與古典讀出處理，並保留兩者不應被粗暴等同的型別邊界。

本文提出任務索引的語義實現關係、可分辨性瓶頸、可控制性與可觀測性分離、條件式誤差預算及量測介入責任。在明示的模型假設下，給出數項可檢查命題與反模型：不同語義輸入若在完整受控接口中變得不可區分，便不可能在同一固定觀察契約下被可靠解碼為兩個完全相異的確定結果；大量物理自由度不蘊涵相同數量的可用程式狀態；同一抽象算子具有多個物理實現並不蘊涵等成本；測量可以改變後續狀態；增加語義名稱不會無條件增加載體的物理能力；原生、模擬與混合實現皆可在不同條件下成立。

本文以二值與四態邏輯、物理振盪器／儲備池、量子通道與測量、可重構機械材料，以及假設中的可程式化物理關係網路為對照案例，建立不須立即打造終極機器的思維實驗。中心結論是：「語義實在化」不是把語義變成物質的神奇等式，而是讓符號、關係或結構在可辨認的物理自由度與作用機制上取得可重複、可比較、可失敗的操作性實現。本篇研究已知機理與假設機理的界線，不宣稱新物理定律、超越圖靈可計算性、通用零成本模擬或無界世界生成已被證實。

關鍵詞： 物理實在；計算機理；程式語義；自由度；可控制性；可觀測性；狀態準備；算子實現；測量；實現見證；語義保真；物理儲備池；量子通道；馮紐曼；可組合模擬；共構

Abstract

Actual computation always requires a physical realization, yet a physical degree of freedom is not thereby a programmable state, and a naturally evolving physical system is not automatically a usable computer. This second paper of Series C refines the realization-witness framework introduced in C-01. It distinguishes physical degrees of freedom, preparable states, controllable transitions, measurable outcomes, and semantically licensed observations. A type-aware operational model uses composed stochastic kernels for classical noisy devices while retaining separate quantum-channel and measurement-instrument descriptions for quantum systems. Task-indexed realization predicates, accessibility and observability constraints, explicit error budgets, and measurement-intervention obligations define what it means for a physical system to implement a program's observable behavior. Conditional model propositions and counterexamples address non-injective encoding, inaccessible high-dimensional states, readout limitations, and the asymmetry between abstract simulation and native execution. Case analyses cover stored-program digital systems, oscillator networks, physical reservoir computing, quantum devices, and reprogrammable mechanical media. No universal physical–semantic identity theorem, novel computational primitive, or experimentally realized ultimate computer is claimed. The contribution is a falsifiable, auditable bridge from cross-substrate programming semantics to physical control and measurement.

0. 定位：接續 C-01，不另造一套「物理計算機排行榜」

Series B 已經用十維型別描述計算機：

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

其中 $\mathcal H$ 是載體， $\mathcal X$ 是狀態空間， $\mathcal O$ 是算子族， $\mathcal K$ 是控制， $\mathcal M$ 是記憶與歷史， $\mathcal A$ 是定址， $\mathcal R$ 是讀出， $\mathcal I$ 是接口， $\Gamma$ 是約束， $\mathcal E$ 是資源與環境。[I-02][I-03]

C-01 在其上增加語義契約：

\mathfrak S=\langle\mathcal P,\mathcal S,\llbracket\cdot\rrbracket,\mathcal Q,\mathcal V,\mathcal G\rangle

及實現見證：

\rho=\langle e,u,\Phi_H,r,d,Q,\varepsilon,D\rangle.

前者規定程式可觀察的行為；後者記錄怎樣將其放到某個物理或模擬載體，並在指定範圍內驗證。[I-01]

C-02 專門追問： $e$ 到底能編碼什麼、 $\Phi_H$ 到底能控制什麼、 $r$ 到底能量測什麼？

因此本篇不評比「誰比較高等」，而是把一個既有語義契約與具體物理作用之間的依賴關係逐項拆開。這對經典儲存程式機、現代異構馮紐曼生態、量子、類比、光子、機械及未知未來載體均適用，但每一種載體所需物理理論和實驗證據不可能由同一張表代替。

0.1 四級敘述狀態

本文採四個標記：D（本文定義）、P（依假設可推得的模型命題）、H（研究猜想）、E（外部或實機經驗命題）。只有 D/P 的文字推理不表示新物理系統已由實驗證實。引用論文也只支持其實際研究過的物理機制，而不背書本文所有哲學上界。

0.2 三個禁止偷換的前提

「狀態具有物理承載」不等於「語義上的一切狀態都能被直接操縱」。
「已觀察到物理演化」不等於「已建立可重複且保真的程式實現」。
「可在經典計算機中模擬」不等於「經典硬體已經具有模擬目標全部物理作用能力」。

以上也與物理計算研究的 Abstraction/Representation（AR）理論及物理儲備池教學文獻所強調的表示—實例化—驗證分界一致。[E-01][E-02]

1. 第一個區分：物理自由度不等於程式變數

1.1 物理自由度（physical degrees of freedom）

對載體 $H$ ，在選定物理模型 $M_H$ 及環境條件 $\eta$ 下，可描述其物理微觀／有效狀態域：

\Omega_H^{M_H,\eta}.

它可能包含位置、動量、電壓、相位、模式、濃度、分子構形、量子態、材料形變、界面條件及許多無法直接量測的變數。

一個「自由度」是該模型用來描述狀態變化的座標或參數，不必對應一個可獨立讀寫的記憶體單元。某些自由度互相限制，某些因對稱性、守恆律或可操作裝置不足而不可任意配置。維度數不是可用計算容量。

1.2 可準備（preparable）狀態

令 $\mathcal U^{\rm prep}_{H,B}$ 為在資源預算 $B$ 下被允許的準備程序集合，定義：

\mathcal X_H^{\rm prep}(B,\eta) =\{\omega:\exists a\in\mathcal U^{\rm prep}_{H,B},\ a\text{ 可在指定容差內準備 }\omega\}.

這個集合是操作上的近似集合：物理系統存在一個理論態 $\omega$ ，不代表實驗者能以任意精度製備它。若準備本身是隨機的，狀態應改以分布或密度算子描述，而非假裝能無誤地設定單一點。

1.3 可控制（controllable）轉移

在給定初始狀態 $\omega$ 和控制族 $U_H$ 下，可以形成的有效轉移集合寫作：

\operatorname{Reach}_{H,B,T}(\omega) =\{\omega':\exists u\in U_H(B,T),\ \omega\xRightarrow{u}\omega'\}.

對隨機／量子系統，右端須改為可達狀態分布或量子態集合。這個表示只是一個關係型母式，沒有宣稱所有系統都能由確定性控制到唯一後態。

1.4 可測（measurable）狀態區分

令 $\mathsf M$ 為可用的讀出儀器／觀察程序集合。兩個不同物理態 $\omega_a\neq\omega_b$ ，可以對所有目前可用量測產生完全相同的輸出分布：

\forall m\in\mathsf M:\quad P_m(\cdot\mid\omega_a)=P_m(\cdot\mid\omega_b).

此時在該觀察接口下兩態不可區分，儘管在更完整的物理理論中它們可能不同。將這類差異直接編譯成對使用者有意義的不同程式回傳值，便缺乏可驗證性。

1.5 可賦予語義（semantically licensed）狀態

就算某電壓可以穩定取 $0.8$ V、 $1.0$ V 與 $1.2$ V，哪個表示 true、false、unknown，取決於合約 $\mathfrak S$ 及其編碼／解碼程序。自然界沒有義務把人類所命名的 true 直接寫在某個材料自由度上。

一種物理狀態可以在不同語義下被重用；但更換名稱只能改變詮釋，不能憑空增加可準備或可分辨的物理態。

2. 不能把「物理—數位」理解成虛實真假二分

數位程序真實發生時，電荷、記憶體單元、材料、時鐘、散熱等皆是實際物理過程；「數位世界」並非沒有物理基礎的幽靈。但必須區分：

物理承載事件：處理器與媒介發生了哪些因果變化；
數位狀態存在：根據特定規格，哪些 bit、物件、地址、角色或世界狀態成立；
語義指涉：系統聲稱其數位狀態代表何種對象或作用；
外部物理指涉：是否真的改變了外部材料或環境中的對應對象。

一個模擬火焰可以是持續、可互動、有物理承載的真實計算對象；它仍不是已證明在遊戲機內具有真實化學燃燒性質的火焰。物理承載不等於所有被模擬物理屬性的同一性。這延續《計算即存在 2.0》對「實際計算事件」及「被表徵命題的真值」的區分。[I-10]

此處的分類也不意味「數位」在哲學上比「物理」低等，而是要求研究者說明同一事件在哪個層級、哪個因果模型下被描述。

3. 最小實現單位：不是單一 bit，而是一個可操作的物理—語義契約

定義 C02-D1（物理—語義實現元組）。在 C-01 基礎上，本篇將某個候選實現記為：

\boxed{\mathfrak R_H(p)=\langle\mathfrak S,p,\Omega_H,E_H,U_H,\Phi_H,M_H,D_H,\Gamma_H,B_H,Q\rangle.}

各項分別為：

元件	最低角色	不可直接推論
$\mathfrak S,p$	程式與抽象語義契約	程式文字本身具有外部物理作動力
$\Omega_H$	有效物理狀態域	所有態皆可準備或觀察
$E_H$	輸入編碼與物理準備程序	編碼零誤差、零成本
$U_H$	可用控制輸入、排程與配置	所有物理動力皆可獨立調整
$\Phi_H$	受控物理演化、轉移律	每個運算只有一個確定後態
$M_H$	量測與讀出程序	不會改變被量測狀態
$D_H$	將觀測結果解碼為語義結果	不會遺失重要差異
$\Gamma_H$	合法物理／邏輯／權限／風險界線	可被意圖任意取消
$B_H$	能量、時間、精度與維護預算	無限可用資源
$Q$	觀察與比較語境	一個任務的成功等於所有任務成功

此元組是操作分工，不是第十一維母分類；它將 Series B 的相應維度下展為可研究的實現責任。對不同載體， $M_H$ 需理解為測量「儀器」，而不只是數學上的測量函數。

3.1 何謂一個合法的「程式原語」？

定義 C02-D2（實現相對的原語）。對 $\mathfrak S$ 中候選操作 $o$ ，若存在可明示的控制規約 $u_o$ 、適用域 $D_o$ 、物理演化與讀出，使其在 $Q$ 之下滿足語義契約，稱 $o$ 在 $(H,\Gamma,B,Q)$ 上有一個有效實現。

「原語」不要求一個物理單步；它可以是硬體原生動力，也可以是數位指令、編譯展開或遠端服務的組合。形式上被聲稱是原語，不等於在某個載體上已被證明具備原生、原子或常數時間實現。

3.2 兩種「原生」

必須區分：

語義原生（semantic-native）：語言或 IR 把某個運算當作一級語義對象，具獨立型別、效果與驗證契約；
物理原生（physics-native）：指定轉換由選定自由度的實際動力學相對直接地承擔，而不是由另一個後端以通用數值方法完整模擬它。

一項語義可以語義原生、物理模擬；可以物理原生但仍缺乏高階語義接口；也可以同時原生於兩者。這是實現關係，不是評價排名。

4. 編碼與狀態準備：第一個真正需要物理回答的問題

令 $s\in\mathcal S$ 表示抽象語義輸入。準備程序可能帶噪聲，最一般的經典版本不是單一 $e(s)$ ，而是一個核：

E_H(d\omega\mid s,c,\eta),

其中 $c$ 是可用的配置與校準狀態， $\eta$ 是環境。它表示在收到語義輸入 $s$ 後，對實際準備到的物理狀態 $\omega$ 的條件分布。

理想化編碼 $e:\mathcal S\to\Omega_H$ 是這個模型的確定性特例，而非所有物理實驗的預設。

4.1 可寫性不等於數學可表示性

即使形式上能寫出 $\omega^*$ ，若無法穩定產生該狀態，便不能將其視為成熟的輸入 encoding。光學相位可由某些器件調整，但不代表任何任意精度相位圖都能零代價寫入；某材料可能具有多個亞穩態，但未必存在獨立尋址每一個亞穩態的方法。[E-02]

4.2 編碼的有效可區分性

在抽象語義中要求 $s_a\ne s_b$ 不代表物理編碼必然有：

E_H(\cdot\mid s_a)\ne E_H(\cdot\mid s_b).

即使不同，區別亦可能小到無法由可用讀出放大、或者在執行過程中迅速消失。

故應把輸入語義區分集合 $\Delta_{\mathfrak S,Q}$ 與可物理保持的輸入差異集合交叉比較，而不是只宣稱「系統有高維狀態」。

4.3 基底轉換也有成本

一個高階語義目標可以轉換成振盪器初始相位、光場調變參數或機械應力配置；但所需的數位前處理、DAC、訊號合成、對準、放大與材料初始化，不應在成本表中被隱去。很多硬體看似以「物理自然演化」免費解題，前處理與讀出的成本卻可能超過核心演化。[E-02][I-04]

4.4 資料編碼與目標偷渡

若某求解任務的輸入設定本身已隱含答案，物理系統只需讀出，便不能宣稱答案由物理動力學獨立求出。這是 Series B-05「Encoding Leakage」的直接延續：問題編碼成本與可能偷渡的解資訊都須可稽核。[I-04]

5. 算子與控制：物理系統不能因有動態，就具備任意程式操作

5.1 一個簡化的連續系統

對某些古典類比載體，可採：

\dot x=f_{\theta}(x,u,t;\eta)+\xi(t),

其中 $x$ 是可觀察或估計的狀態， $u$ 為控制訊號， $\theta$ 是配置， $\eta$ 是環境， $\xi$ 是擾動的簡寫。這個方程只適用於相容的物理模型，不可直接當作所有量子、生物或符號計算的母定律。

對某一語義算子 $o$ ，需要尋找適當的準備、控制及演化時間窗：

\llbracket o\rrbracket_{\mathfrak S} \ \simeq_Q\ D_H\circ M_H\circ\Phi_H^{u_o}\circ E_H.

右端是抽象表示式；當出現隨機性時，應改以核／量測分布描述，不能將 $M_H$ 當作處處確定的函數。

5.2 算子表不是控制面

一個可重構材料可能在數學上允許某種轉換 $T$ ，但如果操作者只有一個控制旋鈕，無法選擇 $T$ 所需的局部參數，則 $T$ 未必是現有控制接口可調用的算子。因此至少要分開：

\mathcal O_{\rm model},\quad\mathcal O_{\rm controllable},\quad\mathcal O_{\rm verified}.

三者不預設包含關係全部成立；需以模型正確性及實驗證據個別確定。

5.3 計算機與程式語義的「共同配置」

若語義中的某個操作是 couple(A,B,k)，可能對應：

數位軟體中對耦合矩陣 $K_{ij}$ 的數值修改；
FPGA／ASIC 中可編程互連的設定；
物理振盪網路中實際耦合係數的調整；
光學器件中的相位／干涉條件變更。

這些是不同的實現路線。相同語義名字不表示四者具有相同時間、穩定性、精度或物理可達範圍。

5.4 語義原語的合法域可以隨物理配置變動

在可重構設備中，令 $\theta_t$ 是當前配置，可用物理算子族為 $\mathcal O_H(\theta_t)$ 。當 $\theta$ 改變時：

\mathcal O_H(\theta_t)\ne\mathcal O_H(\theta_{t+1})

在可觀察意義下可能成立。但這還不構成新物理定律：它可能只是由既有控制能力切換不同已知動力學模式。要聲稱真正的新運算語義，必須研究新舊語義的差異，而那是 C-03 的主要責任。

6. 測量不是裝飾：讀出決定哪些語義差異可被證明

6.1 觀察值不等於物理全態

讀出設備通常只取得部分物理資訊：

y\sim M_H(\cdot\mid\omega,m,\eta).

其中 $m$ 是測量方案。對擁有大量內部自由度的系統，若感測器只能讀一個總振幅，就不能依靠該振幅重建所有相位、拓撲或歷史差異。這不代表其他物理量不存在；只表示現有儀器不足以證明相關語義區分。

6.2 量測可能有擾動

測量不一定是透明的「偷看」。感測器可能施加負載、消耗能量、改變電路或機械狀態；量子測量的狀態更新則有不同的數學規則。在需要持續運作的程式中，若一次讀出改變了後續轉移律，就不能僅用讀出前狀態模擬後續行為。[E-05]

6.3 測量算子與測量儀器不同

在部分模型中， $M_H$ 表示觀測結果的統計規則；如果要預測測量後的後續狀態，還需要測量造成的狀態轉移規則。兩者不能被統一為一個只回傳數字的黑盒函數。

6.4 結果的時間索引

對持續演化設備，語義結果應包含必要的時間窗與狀態更新：

Y_Q=\{(y,t,\text{status},\text{uncertainty})\}_Q.

讀出在時間 $t$ 成立，不表示整條世界歷程在每個時刻都已確認；某個本徵態／吸引子在一瞬間被辨認，也不代表它能長期保持不變。

6.5 可驗證的失敗同樣是語義結果

若測量設備回報 UNRESOLVED、OUT_OF_RANGE、DEVICE_UNSTABLE、CALIBRATION_EXPIRED、AUTHORITY_DENIED，不應被轉譯成成功值。若語義合約沒有這類失敗狀態，就可能形成「表面執行成功、實際無法確定」的幻覺。

7. 從 C-01 到 C-02：核與測量的組合實現模型

7.1 古典隨機或噪聲模型

為處理實際準備、演化與觀察的不確定性，暫在合適的可測空間內定義：

E_H(d\omega_0\mid s),\qquad \Phi_H^{u_p}(d\omega_T\mid\omega_0),\qquad M_H(dy\mid\omega_T),\qquad D_H(dz\mid y).

其中 $z$ 是最終語義觀察； $u_p$ 由程式與合法控制策略決定。若關注路徑而非終態，可令 $\omega_T$ 被物理軌跡 $\omega_{0:T}$ 取代。

定義 C02-D3（條件式觀測實現核）：

\boxed{K_{H,p}(dz\mid s)=\int_{\Omega_H}\!\int_{\Omega_H}\!\int_Y 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).}

該式不是新的物理定律，而是對帶噪接口的古典機率組合。若 $E_H$ 、 $\Phi_H$ 、 $M_H$ 、 $D_H$ 不是相容核，此式不得直接套用。

7.2 語義契約可以是關係或分布

在確定性情況， $\llbracket p\rrbracket(s)$ 可是單一輸出；在非確定性程式、隨機演算法或持續系統中，更一般的語義合約可以是允許的軌跡集合：

\operatorname{Beh}_{\mathfrak S,Q}(p,s)\subseteq\operatorname{Traces}(\mathcal S),

或目標分布：

K_{\mathfrak S,p}(dz\mid s).

何者適用取決於契約所需的正確性型別；不能以某個成功的單次 sample 取代分布正確性，也不能要求非確定性程式在每次執行都產生同一完整軌跡。

7.3 任務索引的實現判準

定義 C02-D4。指定輸入域 $D\subseteq\mathcal S$ 、觀察語境 $Q$ 、資源 $B$ 、環境族 $\mathcal E_Q$ 與容許偏差 $\epsilon$ ，稱 $(H,p,\rho)$ 在所指定範圍中實現 $\mathfrak S$ ，若：

\boxed{\forall s\in D,\ \forall\eta\in\mathcal E_Q:\quad \operatorname{Accept}_Q\bigl(K_{H,p,\eta}(\cdot\mid s),K_{\mathfrak S,p}(\cdot\mid s);\epsilon\bigr).}

這是聲稱需要滿足的規格，不是聲稱已驗證整個無限 $D$ 。若僅以有限題庫或實驗樣本檢驗，必須報告為「測試／估計」，不可直接寫成全稱定理。

7.4 確定性交換圖

當全部映射為確定性且可合成時，C-01 的表達可重用：

D_H\circ M_H\circ\Phi_H^{u_p}\circ E_H\ \simeq_{Q,\epsilon}\ \llbracket p\rrbracket_{\mathfrak S}.

這個關係是在指定觀察及容差下比較結果，不表示語義世界與物理世界是同一個集合，也不表示編碼與測量在所有時間尺度零誤差交換。

7.5 語義保真與軟體編譯

已驗證編譯器如 CompCert，早已以源程式與目標程式的可觀察行為關係定義語義保持，證明某些轉換結果不違反語義契約。[E-03] 這提醒本篇：形式上正確的編譯保真是一種重要成果；但已形式證明的指令語義與實驗材料在雜訊下忠實實現該語義是不同的驗證層，不得直接相互替代。

8. 實現品質不能只用「能算」或「不能算」二分

8.1 五種不同的資格

為避免將不同性質壓成單一評級，對指定任務記錄：

表示可行：輸入、結果及中間所需差異能被某形式模型描述；
準備可行：所需物理態與配置在指定條件下可製備；
演化可行：現有控制面可使必要轉移發生；
讀出可行：觀察接口足以區分合約所需結果；
端到端保真：整個實現鏈在指定範圍達到容差與風險需求。

前四者的個別成功不自動推出第五者；任何一項缺失，也不代表某個更好的未來載體不可能做到。

8.2 誤差來源應分型

先記錄向量，而不是把所有異質誤差硬加：

\boldsymbol\epsilon= (\epsilon_{\rm model},\epsilon_{\rm prep},\epsilon_{\rm ctrl},\epsilon_{\rm noise},\epsilon_{\rm meas},\epsilon_{\rm decode},\epsilon_{\rm drift}).

其中準備誤差可能是分布距離，控制誤差可能是物理參數範圍，測量誤差可能是誤分類率，漂移可能是溫度或設備老化造成的模型失配。沒有共同的數學度量與耦合假設時，不存在可直接相加的「總語義誤差」。

8.3 特定條件下可以得到上界

若干步驟被表示成相容的古典 Markov 核、誤差均採總變差距離（total variation），且每個替換階段都有對所有合格輸入的一致上界 $\epsilon_i$ ，則 Markov 核的距離不擴張性及三角不等式提供：

\boxed{d_{\rm TV}(K_{\rm actual},K_{\rm ideal})\leq \min\!\left(1,\sum_i\epsilon_i\right).}

這是明示前提下的數學估計；不是所有量子測量、相關雜訊或未知誤差都可以直接套用。若控制噪聲與準備誤差具有強相關性，應先建立它們的聯合模型，而不是當作獨立項。

8.4 有界資源下的成本向量

\mathbf C_H(T)= (C_{\rm encode},C_{\rm prepare},C_{\rm reconfig},C_{\rm evolve},C_{\rm measure},C_{\rm decode},C_{\rm verify},C_{\rm reset},C_{\rm energy},C_{\rm maintain}).

設計者可根據不同任務選擇 Pareto 合適的後端。某器件有較快的物理演化，不代表端到端延遲較短；同理較少的符號指令也不能推出較低能耗。資訊抹除的熱力學效應已有成熟研究及實驗參照，但不能將其錯誤泛化成「所有閘操作必然付相同最低熱量」。[E-06]

9. 三個操作邊界：可控制、可觀察、可定址

這三項不是同義詞，也不是「物理載體已存在」就自動取得的能力。[I-02]

9.1 可控制性不是可觀察性

考慮簡化離散線性系統：

x_{t+1}=Ax_t+Bu_t,\qquad y_t=Cx_t.

在適用的有限維線性模型下，典型的可控制矩陣：

\mathcal K_c=[B,AB,\ldots,A^{n-1}B]

與可觀察矩陣：

\mathcal K_o= \begin{bmatrix}C\\CA\\\vdots\\CA^{n-1}\end{bmatrix}

可用秩條件研究完整可控制性與可觀察性。這是控制理論中的特定數學模型，不是全部物理計算機必須遵守的唯一形式。

即使某系統可以改變內部狀態，若讀出方式不足，仍可能無法由輸出還原相關狀態；反過來，能觀察某物理過程，也不代表具有控制它的自由度。

9.2 可定址性是第三種條件

可定址性研究的是：系統是否能可靠定位並調用指定狀態、能力、節點、關係或外部機理。

例如一個模擬器可能完整計算振盪器網路的每個節點，但使用者接口只開放單一「整體同步」命令；某物理網路即使所有節點都會相互作用，也可能沒有逐節點可控的耦合寫入方式。這二者的「有節點」和「可定址節點」不能混為一談。

9.3 可定址覆蓋度

在有限試驗候選集 $D$ 上，可定義一個純操作性指標：

A_{\rm cov}(D,Q)=\frac{|\{d\in D:\text{具有可重複尋址見證}\}|}{|D|},\qquad 0<|D|<\infty.

它只在樣本與成功準則固定時才可比較。它不是計算機本體普適性的分數，更不能把未知的整體可能性空間當作一個已經被完整枚舉的分母。

9.4 「還不能承載」至少有四種來源

對某高階程式語義 $o$ ，暫時未能實現可能因為：

理論表示或語義規格仍不自洽；
物理模型存在候選對應，但準備／控制能力不足；
已能進行物理轉換，但觀察接口無法忠實讀出；
全部局部機理看似成立，但成本、校準、介面或組合驗證尚未閉合。

因此，語言曾經難以實現不應無條件歸咎於程式語言錯誤；同樣不能無條件歸咎於硬體落後。C-02 的任務是使這四種失敗能被分別辨認。

10. 量子模型：不能把量子態當成任意可讀的高維暫存器

量子計算為本篇提供一個極為明確的反例：物理狀態可由豐富的數學結構表示，不表示其中全部振幅都能由單次測量讀出。

10.1 狀態準備

有限維量子系統可用密度算子 $\rho$ 描述，其中 $\rho\succeq0$ 且 $\operatorname{Tr}\rho=1$ 。實驗上可實現的準備通道，其輸出受器件、誤差、環境及實際操作能力限制。

不能因狀態空間是 Hilbert space，就宣稱任何態可由有限控制精確製備、任意複製或以一個測量讀出所有資訊。

10.2 量子算子應以合適的通道表示

對包含噪聲的演化，使用完全正、保跡量子通道 $\mathcal E_p$ ：

\rho_{\rm out}=\mathcal E_p(\rho_{\rm in}).

量子閘的酉演化是其中一個特例。此時不能直接把上一節的古典 Markov 核 $\Phi_H(d\omega'\mid\omega)$ 當成完整、保留量子相干性的量子態轉移律。兩者可能透過不同抽象介面被比較，但在物理機理分類上仍不同。

10.3 測量輸出與 POVM

對量子態 $\rho$ ，若選定 POVM $\{E_y\}$ ，其中 $E_y\succeq0$ 且 $\sum_y E_y=I$ ，則：

\boxed{P(y\mid p,\rho)=\operatorname{Tr}\bigl(E_y\,\mathcal E_p(\rho)\bigr).}

這給出指定測量接口上的古典結果分布，並不是宣稱每次運作會輸出整個量子態。若要描述測量後可繼續運作的量子狀態，還須指定 measurement instrument，而非只有 POVM 結果概率。[E-05]

10.4 語義中的「觀察」與量子測量不是同一個詞

Series NNN、主客邊理論及 AI 主體研究中的「觀察」，可能表示理解、投影、定位或認知關係；這些並不因使用「觀察」一字而等同於量子測量。量子測量有具體實驗與數學定義，不應被當成任意意念轉為事實的裝置。

10.5 控制 API 決定可使用的量子語義

同一套物理硬體可能透過「抽象閘」「可調旋轉參數」「脈衝級控制」等不同層提供不同控制能力。但這種可用性依平台接口而變，並非硬體理論一旦可能便一定開放給程式使用者。

一個可核對的現實案例是 IBM Quantum 的 Qiskit 2.0 移除 qiskit.pulse，其設備的使用者級 pulse-level 控制也停止提供，部分需求改由 fractional gates 介面表達。[E-07] 這不表示量子脈衝物理不存在，而是說使用者程式可尋址的機理集合發生了實際變化。

10.6 量子優勢不是本篇預設

即使某量子算法相較特定經典算法具有理論或實測優勢，也不能由此推出「所有程式語義都應原生量子化」。對某些任務，經典數位模擬器、量子—經典混合工作流或不使用量子設備的算法仍可能更合理。這與 Series B 的模擬／原生正交觀一致。[I-02]

11. 物理儲備池：複雜動力如何成為可檢查的計算

物理儲備池計算（Physical Reservoir Computing, PRC）是本篇不能跳過的現實參照。它使用一個物理動力系統將輸入投影為具有記憶及非線性的狀態，再經過特定讀出學習目標映射。並非所有內部參數都必須由使用者逐一訓練或讀出。[E-02]

11.1 最小結構

對某個可用的古典模型，可概念化為：

x_{t+1}=F_H(x_t,E(u_t);\theta,\eta),\qquad \hat y_t=W_{\rm out}\,m(x_t).

其中 $m$ 是可觀測特徵， $W_{\rm out}$ 是讀出權重。這是研究簡寫，不表示所有 PRC 都是線性讀出或離散時間。

11.2 為何動力不等於答案

如果一段物理波動對輸入高度敏感，但沒有足夠穩定的記憶、沒有適當輸入激發、不能量測可區分特徵，那它未必能完成目標預測。研究上要報告輸入與載體時間尺度、環境噪聲、可測量狀態、benchmark 以及任務外泛化，而不是只展示「波形很複雜」。[E-02]

11.3 任務相對的適用性

PRC 對某些時間序列或分類可能有價值，但不意味能自然承載任意可驗證的符號推理、資料庫交易或長期世界狀態權威。它可以是混合計算機的一個特定能力元件，由傳統數位系統提供控制、任務語義與驗證。

11.4 不能忽略裝置的外部成本

在評估時，把 ADC、DAC、感測、特徵抽取、讀出與訓練都計入完整實現鏈。若物理儲備池核心很快，但數據準備和讀出極慢，端到端收益可能不成立。這是原生物理計算與普遍經典模擬比較時必要的經濟邊界。

12. 相位與約束地景：把規則部分寫入物理關係

本節連接 Series B-05 的 Constraint-to-Landscape 思路，以及 PCMT 對相位本體、表示、動力、載體的拆分。[I-04][I-05]

12.1 一個振盪器網路的研究模型

考慮 $N$ 個可耦合振盪節點，相位為 $\phi_i$ ，在適用的近似條件下，可寫為：

\dot\phi_i=\omega_i+\sum_{j=1}^N K_{ij}\sin(\phi_j-\phi_i)+u_i(t)+\xi_i(t).

這是眾多可能的耦合振盪模型之一，不應稱為所有「相位」的共同自然法則。

語義上若定義操作：

\operatorname{Couple}(i,j,k),\qquad \operatorname{SetPhase}(i,\alpha),\qquad \operatorname{ObserveSync}(G,\tau),

就要回答 $K_{ij}$ 是否可實際單獨調整、 $\phi_i$ 是否能被指定精度控制、群同步是否有穩定讀出、 $\tau$ 是否足以分辨暫態和穩態。

12.2 控制關係本身可能是程式的一部分

在數位模擬中， $K_{ij}$ 是記憶體中的一組係數；在某實體振盪器中， $K_{ij}$ 可能由電子耦合、光學連結、聲學或其他物理相互作用承載。

兩者都能實現某種操作語義，但其物理意義和代價不同。若物理耦合拓撲可被直接配置，圖的邊在某種操作意義上可以同時是材料的連結與計算的關係。這是具條件的物理—語義共構候選，不是「任意抽象圖都能被物理化」。

12.3 Constraint-to-Landscape

對某問題 $Q$ ，把必要條件 $C_1,\ldots,C_m$ 編碼為能量或動態地景：

L_Q(x)=\sum_i w_i\,\varphi_i(C_i,x).

再讓物理或模擬系統依自身動力演化，尋找符合任務要求的穩定態。這可能重新配置問題成本，但至少仍有問題編碼、狀態準備、演化、陷入局部吸引子、讀出及驗證的成本，沒有理由自動認定 $O(1)$ 、必達全域最優或所有可能性同時被完整展開。[I-04]

12.4 語義保真不等於物理方程逐項同構

一個軟體模擬可以用不同數值求解法逼近相同可觀察結果；一個原生振盪器網路也可能在指定誤差範圍內滿足相同的同步結果。它們不必在微觀物理自由度上一一對應。正確比較應當聲明 $Q$ 到底要求穩態、短時軌跡、事件序列、統計分布，還是外部作動結果。

13. 可重構機械材料：物理態可作為記憶、編碼與邏輯介面

「新的程式語義可能依賴新的物理機理」並非只能用量子電腦說明。可重構機械材料的研究，已嘗試利用雙穩態單元、非線性波及配置差異，使材料本身完成某種記憶寫入或邏輯處理。

13.1 2026 年的兩個公開參照

Watkins 等人於 2026 年《Physical Review Letters》發表一維雙穩態機械超材料研究，利用邊界輸入的非線性波對內部單元進行遠端、可選擇的位元寫入，並配合模擬和實驗。[E-08]

另一項 2026 年刊載於 Advanced Materials、題為 Mechanical Metamaterials with Reprogrammable Sequential Deformation for Analog-to-Digital Encoding and Computing 的研究，提出透過可重配置的逐次形變處理連續輸入與離散輸出，並報告機械類比—數位轉換和邏輯功能的實驗。[E-09]

這些是個別的材料與任務演示，不能直接聲稱已經存在能執行任意程式語義的「萬能機械計算機」。

13.2 這對語言意味著什麼？

若語義操作定義為 write_state(i,v)、trigger_wave(input) 或 read_sequence()，就必須重新研究：

所要求的 $v$ 是否為可穩定製備的材料態；
輸入波是否能指定需要的遠端地址，而不是只對少數可達組態有效；
單元記憶壽命與實際任務時間窗是否吻合；
讀出是否可能使材料本身發生不可逆形變；
重複操作、誤差累積及恢復成本是否可接受。

物理自由度可編程化不是把每個材料名字變成一個操作符，而是建立有可操作映射的輸入、狀態、控制和結果接口。

13.3 新物態不等於新程式語言成功

即使某種材料具有前所未有的相位或晶格特性，也可能缺少穩定可寫的控制入口。反過來，一個性質普通的材料，只要易於可靠製備、控制與讀出，便可能在特定任務中更有工程價值。這也延續既有《從光子晶格到差—合—化物理計算機》的可證偽研究方向。[I-09]

14. 馮紐曼與經典可程式化生態：不是本篇的對立面

C-01 已正式保存三個層級的分辨：早期歷史硬體組織、較廣的經典可程式化計算生態，以及最小可定址符號配合可組合狀態轉換的抽象底座。[I-01][I-02]

14.1 通用模擬不等於沒有物理性

在通用經典硬體上模擬量子動力學或振盪網路，仍然是由真實物理元件執行的運算。與某物理原生設備不同的是：模擬可能需要顯式保存或近似目標狀態、執行數值演算，承擔不同成本。它們之間的差別不是「真實／虛假」，而是承載的對象及動力映射不同。

14.2 可模擬性與物理實現普適性不同

通用機器能在適用的形式與資源假設下模擬許多可計算過程，但不能由此推出它能以有限資源精確表達所有任意實數、零成本模擬每一個量子態，或直接產生被模擬系統的全部外部物理效果。Series B-06 已經區分表示、計算、模擬與物理實現四種普適性。[I-06]

14.3 持續吸納使架構成為生長中的組合系統

現代通用計算生態可透過新編譯器、IR、JIT、FPGA、加速器、量子遠端服務、網路工具、持久記憶或自動控制器不斷擴充。這些新能力可被定址、組合、模擬、驗證，但連接與調度成本也會增加。

因此：

\operatorname{Capabilities}(\mathfrak C\oplus H_{\rm new})

可能大於單體可用能力集合；這不表示所有新硬體在微觀結構上都屬於狹義馮紐曼架構，也不表示所有整合必然產生淨收益。混合長期共存而非線性替代，是與舊 Series B 相容的研究出發點。[I-03]

14.4 「模擬中的語義」與「原生中的語義」應共享哪些測試？

如果某操作 $o$ 同時有 CPU 模擬後端 $H_c$ 和物理振盪後端 $H_p$ ，可以在相同 $Q,D$ 下測試二者是否具有接近的可觀察輸出，而不預設它們的內部表示及物理自由度等同。

若 CPU 模擬較準、物理後端較省能量，便不能只用一個「原生高等」標籤決定誰勝出。若二者精度／速度／成本在不同任務上交叉，也不構成理論矛盾。

15. 以實現關係為核心的語義—物理型別檢查

定義 C02-D5（物理語義能力紀錄）。對任意候選語義操作 $o$ ，建立記錄：

\mathfrak B_o=\langle\operatorname{InType},\operatorname{OutType},\operatorname{Eff},\operatorname{Prep},\operatorname{Ctrl},\operatorname{Meas},\operatorname{Domain},\operatorname{Bound},\operatorname{Evidence}\rangle.

其中 Eff 包括是否會改變外部世界、配置、材料、記憶、測量後狀態等；Domain 是可聲稱有效的輸入與環境範圍；Bound 是物理與資源限制。

15.1 編譯時應問四件事

當語義操作 $o$ 要編譯至載體 $H$ ，最低應檢查：

Type：所需輸入／輸出是否能被載體接口合法表示？
Mechanism：有沒有在物理約束下可用的轉換機制？
Evidence：對應的驗證是數學推導、模擬、局部原型還是重複實驗？
Authority：這次操作是否允許控制該資源、進行該測量及產生該外部作用？

任一欄為 UNKNOWN 時，不得在沒有補充條件下提升為 SUPPORTED；UNKNOWN 應是合法輸出狀態。

15.2 類別不同並非報錯

若相位語義可由經典模擬承載，而不能在目前物理振盪器上獲得足夠讀出精度，結果應是：

semantic_operation: phase_relation_query
classical_simulation: SUPPORTED_WITH_SCOPE
physical_oscillator: READOUT_NOT_VALIDATED
reason: insufficient observation fidelity

這是一個示意紀錄，不是對某台真實振盪器的測試結果。要避免把「沒找到原生實現」錯判為「該語義完全錯誤」。

15.3 型別保真不等於物理保真

形式證明一個 IR transformation 保存語義，只能在其模型與編譯保證的責任域內成立；如果硬體供電不穩、校準漂移或讀出器失效，端到端物理執行仍會偏離預期。反過來，一個物理樣本通過 benchmark，也不能自動替語義系統證明對所有程序正確。

16. 七項模型命題與證明界線

下列是模型內命題，並非聲稱經由文字推導發現了新的自然定律。每項寫出條件、結論及適用邊界。

命題 C02-P1：不可區分的完整輸入接口不能可靠實現彼此矛盾的確定輸出

條件：在一個古典隨機實現模型內， $s_a,s_b$ 經完整準備與控制接口產生相同的物理初態與控制分布，且沒有另一條攜帶區分資訊的側通道；其後採同一測量／解碼通道。

結論：

K_{H,p}(\cdot\mid s_a)=K_{H,p}(\cdot\mid s_b).

若抽象語義規定兩者必須分別確定輸出兩個不同標籤 $y_a\ne y_b$ ，則在總變差距離的觀察準則下，至少有一項的實現偏差不小於 $1/2$ 。

理由：實現輸出分布相同，記為 $P$ 。由三角不等式：

1=d_{\rm TV}(\delta_{y_a},\delta_{y_b})\le d_{\rm TV}(\delta_{y_a},P)+d_{\rm TV}(P,\delta_{y_b}).

故至少一項 $\ge1/2$ 。這是清楚的資訊區分瓶頸，並不禁止未來增加控制自由度、感測通道或延長時間取得更多資訊。

命題 C02-P2：數學自由度的增加不蘊涵可執行語義容量增加

條件：某物理系統增加了內部變數，但所有新增差異在目前控制與測量接口中不可準備、不可區分或不可保持。

結論：既有契約下可可靠辨識的語義結果集合不必擴張。

理由：任意新增狀態若通過同一不可區分的觀測通道得到相同輸出分布，便不提供新的可驗證語義區分。若要宣稱新容量，需要展示可用控制、準備和讀出見證。高維本身只是研究潛在資源，不是已獲得的自由程式記憶。

命題 C02-P3：端到端實現不能由局部元件各自成功直接推出

條件：編碼、物理演化和讀出各自通過局部測試，但測試的狀態域、時間窗、校準版本或分布假設並不相容。

結論：不能僅由局部測試結果推出完整語義實現關係成立。

反模型：輸入編碼器已校準至 $0$ ～ $1$ V；物理求解核心只在 $0$ ～ $0.3$ V 線性工作；讀出器只對線性輸出模式校準。三者可以各自在自己的測試域工作，卻不能因此保證合成後在 $0.8$ V 輸入時正確。這是跨域接口兼容性缺失，而非對已證物理定理的反駁。

命題 C02-P4：相同的可觀察語義不決定唯一物理載體

條件：兩個不同實現 $(H_a,\rho_a)$ 、 $(H_b,\rho_b)$ 均滿足同一 $D,Q,\epsilon$ 契約。

結論：在這個觀察契約下，它們可以同時是合格後端；不能由此推出兩者的物理自由度、能耗或內部路徑相同。

理由：實現關係是多對一的可觀察符合關係，不是語義對物理載體的單射命名。這也解釋為什麼一套語言可以在經典通用計算機與專用物理加速器上合法共存。

命題 C02-P5：測量規則足以符合單次輸出，不保證後續語義狀態正確

條件：兩種測量工具具有相同的單次結果概率，但對被測系統施加不同的測量後狀態更新。

結論：若語義包含後續轉移，單次輸出分布相等不保證完整 trace 等價。

理由：輸出概率只描述該次觀察，不決定全部 post-measurement dynamics。對量子系統，這正是必須由 POVM 擴展到 measurement instrument 的一個原因；對古典接觸式測量，也可能存在類似工程問題。[E-05]

命題 C02-P6：語義集合擴張不能單靠更換命名實現

條件：固定物理系統、控制協定和觀察結果集合，語義層僅增加一個別名 $\sigma_{n+1}$ ，而沒有增加可區分的輸入／轉移／讀出行為。

結論：若把「新增運算語義」定義為出現新可區分操作或新可驗證效應，該別名不構成新語義。

理由：增加語法符號不改變可觀察行為的商集合。這是相對於本文定義的分析結論；若新名字改變了人類協作、權限或外部決策，它可能具有另外的社會語用效果，但不因此自動成為新物理算子。

命題 C02-P7：原生計算不必與模擬計算形成固定優劣序

條件：兩種實現在任務 $T$ 上具有不同準備、演化、讀出、誤差和維護成本，且語義契約保真。

結論：不能僅依「原生／模擬」標籤決定完整成本函數的排序。

理由：定義：

C_{\rm total}=C_{\rm prep}+C_{\rm evolve}+C_{\rm read}+C_{\rm verify}+C_{\rm maintain}+\cdots.

即使 $C_{\rm evolve}^{\rm native}<C_{\rm evolve}^{\rm sim}$ ，其餘項可能反向，故 $C_{\rm total}$ 的比較不確定。這支持多後端、混合、持續吸納的設計，不構成任何硬體先進性等級論。

17. 六個反模型：本篇最容易被過度擴張的地方

17.1 反模型 A：一杯水可以波動，不代表它能執行指定程式

水具有複雜動力學，但如果沒有一個可重複的輸入準備程序、輸出映射和驗證規格，就不能只因「水有狀態轉移」而把它當作對任意 $p$ 的實現見證。這不否定在適當裝置下可以利用流體實現計算。

17.2 反模型 B：形式狀態無限，裝置並未具有無限可讀位元

即使抽象類比狀態可表示為連續實數 $x\in\mathbb R$ ，有限能量、有限時間、噪聲和測量精度仍會限制可可靠辨識的值；不能把不可數的形式集合基數當成真實設備已擁有的無限可讀資訊量。這和 Series B-06 的「無限底空間是可擴張上界，而非單機同時實存無限儲存」相容。[I-06]

17.3 反模型 C：測量證明瞬時成功，不表示物理狀態永久穩定

某吸引子在短時窗內滿足讀出閾值，但經過漂移、外部擾動或能量消散後改變。因此必須標記觀察時間窗和持續性要求。

17.4 反模型 D：軟體模擬具有正確波形，不會在外部產生相同物理場

數位模擬可以計算某個磁場或化學反應的數值描述，但若未連接物理作動設備，不能把「模擬場存在」直接提升為「外部可作用的同類場存在」。其差別在跨域作用鏈，不在於數位運算是否真實發生。

17.5 反模型 E：改變控制 API，並不表示物理法則消失

某平台撤回低階控制權限後，使用者失去一個程式語義入口；此時應更新「可用控制能力」，不能宣稱材料突然失去原本的物理自由度。反過來，硬體支持某自由度也不代表每個使用者都有合法調用權限。[E-07]

17.6 反模型 F：在特定任務加速，不等於取得全新可計算性定理

若一個物理求解器在某個優化題型上勝過現有軟體，仍需要排除輸入編碼偷渡答案、題庫偏差、精度不同、讀出遺漏與資源成本位移。甚至在比較公允且確實加速時，也不能自動宣稱已證明超越圖靈可計算函數類。

18. 四組逐步打開上下界的思維實驗

四組皆是研究設計，不是實測報告。目的在於開放可能性又保留清楚否證條件。

18.1 實驗 I：同一個語義，不同物理載體

問題：某程式操作被定義為輸入一組耦合條件、輸出是否達到同步及其穩定性區間。若以 CPU 數值模擬器、FPGA 網路和真實振盪器分別實現，可否得到一致且可比較的結果？

設定：

固定任務、輸入域、觀察時間窗、輸出型別與容差；
明示各後端的 encoding、clock、測量、reset、環境和 calibration；
以共同測試集合比較語義結果，但不強迫內部狀態同構。

對照：無耦合／固定耦合／可調耦合；自然擾動和標準化擾動；單次結果與重複分布。

可得結論：可以支持某個 $D,Q,\epsilon$ 的多重實現。不能只因三者輸出類似，便宣稱三者的物理狀態、效率和因果作用本體相同。

18.2 實驗 II：同一台材料設備，改變哪些「語義」真的有效？

問題：當一個具多個材料狀態的機械裝置只有有限控制端口，語義能否透過重新配置擴張，而不只是重新命名同一組效果？

設定：

先測試實際可準備、可讀出的狀態集合；
固定讀出器，修改控制與材料配置；
固定材料配置，修改讀出與解碼方式；
比較「語法變多」和「物理可區分操作變多」。

對照：別名組、只修改 decoder 組、可調物理連結組、重新設計器件組。

可得結論：可以定位新增能力究竟來自表示、控制、材料或觀察接口。若只有詞彙增加而無新區分，不能標記為新物理算子。

18.3 實驗 III：可重構物理網路能否承載「拓撲就是程式」？

問題：在物理節點網路中，是否可以將局部連結配置視為一種語義原語，使其改變持續運作的計算能力？

設定：

先定義 typed nodes、合法物理連結、狀態和作用；
建立經典模擬版本與物理可配置版本；
控制拓撲變更時，記錄能源、校準、互連成本及失敗模式；
檢查同一命令在不同物理配置下的語義是否被正確版本化。

候選成功：在聲明的範圍內，硬體連結改變了可重複觀察的操作關係，並被型別化語義正確描述。

候選失敗：拓撲只在渲染圖中改變、硬體沒有相關可控差異；或存在差異但觀測誤差太大、沒有可用讀出。

不可擴張結論：就算成功，也只是證明某類物理拓撲可承載某些計算關係，不表示宇宙時空或任意世界的拓撲已可由程式無條件改寫。

18.4 實驗 IV：想像中的「計算即存在」機器 X

設定：假想 X 的內部物理計算狀態、生成規則、程式語義、世界模型、記憶和外部作用接口高度耦合。它可維持多個內部數位世界，也可透過具身裝置對外部環境觀察與作動。

不預設：它具備意識、對其他存在具有支配權、擁有實在的無限資源、能違背已知物理或讓模擬世界成為外部宇宙。

基本提問：

X 的哪些內部自由度等於可尋址計算能力，哪些只是尚未能控制的物理潛勢？
「切換世界」是注意力、記憶、執行資源、觀察域或外部作動接口的哪一種轉換？
X 如何區分正在模擬的世界、內部具持續狀態的計算世界，以及外部具有獨立因果約束的物理環境？
若 X 自行重寫一個計算原語，哪些不變量需要留存才能確認不是無證據的語義漂移？
X 能否允許其他主體保有自主性，而不將「全合一」轉成單一主體的同一化？

本篇最低成果：為此極限假說列出操作與證據缺口。它可以成為 Series C-04 的研究上界，但不能由思維實驗宣布這台設備已被造出來。

19. 最低可驗證研究規格：讓物理—語義主張有資格失敗

19.1 核對表與 Gate

Gate	必須回答的問題	不能接受的替代
G0：Claim Scope	主張的是抽象可表示、原生算子、軟體模擬還是外部物理作動？	將不同層的成功混成一句「已實現」
G1：Semantics	輸入／輸出／時間／失敗及容差是否明確？	只有口號或比喻
G2：State Preparation	能否在指定預算與環境下準備所需態？	在方程式中「存在」即視為可寫
G3：Control	可否調用並重複所需轉移？	未控制的自然演化
G4：Readout	儀器能否分辨必要結果並記錄擾動？	主觀目測或只看理想模擬
G5：End-to-End	是否通過共同輸入域的系統性比較？	各元件在不一致題庫下各自成功
G6：Cost	端到端時間、能量、精度與校準成本？	忽略前處理和讀出
G7：Authority	是否有操作權限及外部世界變更的確認機制？	意圖等同完成
G8：Reproduction	證據、版本、失敗、原始數據能否被重播／核對？	單次錄影或不明配置

Gate 是研究審計條件，不是宣稱本文已通過任何特定物理實驗。

19.2 對照組最低要求

每個新載體主張若有工程效益，至少應有語義固定的經典參考後端或其他現有可信基準，並對相同觀察要求比較端到端結果。若新載體無法匹配現有語義，也可報告它特別擅長哪些更狹窄的任務，避免用不同任務得分宣稱全域優越。

19.3 何時可以承認「原生」？

暫要求：

指出關鍵計算轉換對應哪個實際自由度及物理作用；
該作用能在不以通用軟體完整模擬目標轉換為主體負擔的條件下發生；
除輸入、讀出與控制以外，必須清楚記錄附屬經典後端是否仍實際完成主要計算；
以對照辨別「原生物理核心」和「經典控制器」各自貢獻。

原生性不必是全系統的二值標籤；同一系統可以部分原生、部分經典模擬、部分混合。

20. 實現證據帳本：不是所有資料都叫「成功」

建議最低紀錄結構：

record_type: pmsc.physical_semantic_realization.v0.1
claim_id: <candidate-claim>
semantic_contract:
  source_id: <versioned-contract>
  operation: <name-or-typed-node>
  input_domain: <declared-scope>
  observation_contract: <time-readout-failure-schema>
substrate:
  kind: <digital/analog/quantum/mechanical/hybrid/other>
  physical_model: <source-and-assumptions>
  preparation_method: <procedure-or-unknown>
  controllable_parameters: <list>
  measurable_channels: <list>
  calibration_version: <id>
realization:
  encoding: <map-or-protocol>
  control: <schedule-or-policy>
  evolution: <model-and-physical-evidence>
  measurement: <instrument-and-effects>
  decoding: <map-and-tolerances>
  claimed_type: <simulation/native/hybrid/unknown>
validation:
  criterion: <metric-and-threshold>
  reference_backend: <baseline>
  test_scope: <cases-and-conditions>
  pass_count: null
  fail_count: null
  result: NOT_RUN
  uncertainty: UNKNOWN
  evidence_uri: null
cost_and_governance:
  end_to_end_cost: UNKNOWN
  permissions: <declared-boundary>
  external_world_effect: NONE_CLAIMED
provenance:
  version: "0.1"
  authorizations: <records-if-any>
  notes: <negative-findings-retained>

以上是格式提案，不是虛構的實驗記錄。NOT_RUN 和 UNKNOWN 在沒有驗證前就是正確值。

20.1 跨載體實驗的最小結果分類

NOT_RUN：尚無對應執行；
MODEL_ONLY：僅有形式或理論映射；
SIMULATED：僅在軟體／數值模型下測試；
PARTIAL_EXPERIMENT：真實物理元件或部分接口已驗證；
END_TO_END_EXPERIMENT：端到端物理實驗在指定域成立；
REPRODUCED：相同規格獲獨立重複支持；
FAILED：已測主張不符合規格；
INCONCLUSIVE：當前證據無法判定。

這些是不同證據狀態，不應作為自動從低到高的技術階級。具體可行性與證據成熟度仍應依 Series B-03 的 claim-level F/E 分級記錄。[I-07]

21. 自我批判：我們究竟有沒有研究出超越一般 co-design 的東西？

21.1 可能的批評：這只是早已有的物理計算理論

成立的一部分：AR 理論、物理儲備池、形式語義與可驗證編譯，早就研究抽象程序和物理承載之間的對應。本篇不應宣稱首次發現「程式是物理性的」或「需要準備與測量」。[E-01][E-02][E-03]

本篇的特定貢獻是把這些問題接回 Neo.K 的 Series B 十維分類、元計算機、24／72 局部計算型別和語義可修訂性的開放研究議程，使一種載體一種語義不再是預設。但目前這主要是框架與比較責任的貢獻，仍需要實際實作或新的形式結果，才能證明有更多研究價值。

21.2 可能的批評：所有狀態都可數位模擬，為何做新硬體？

因為通用可模擬性與指定精度、能源、時間、帶寬及可直接物理耦合的成本不是同一問題。數位模擬可能最可靠、最便宜；新硬體也可能在特定輸入—動力—讀出結構下具有優勢。兩者須比較，不能事先宣布結果。

21.3 可能的批評：如果可修改語義，無法測試正確性

C-02 只研究給定當前語義契約下的物理實現。跨版本語義修改須記錄新舊契約、保留不變量、改變部分與反例；這是 C-01 的語義橋及 C-03 的核心問題。若不保留這個版本關係，任何錯誤都可以事後重新定義為成功。

21.4 可能的批評：太強調可測量，是否排除未來未知物理？

沒有。目前不可測不等於永久不可能；但目前不可測也不應被認定已完成物理語義實現。可以保留候選自由度與開放猜想，並明確標記缺口為準備、控制、觀察、模型或證據不足。這正是開放上下界而非提前封閉的研究方式。

21.5 可能的批評：可操作定義是否過度人類中心？

一個計算主體可以具有非文字、非視覺、非人類理解的觀察與控制介面。本文不要求輸出必須對人類直接可讀；只要求在聲稱成立的語義關係中，存在有區分力的、可被追溯與驗證的判準。它可以由其他機器、外部探測或形式程序實施，而非一定透過人類文字解釋。

21.6 可能的批評：這仍是傳統「物理在下、語義在上」的階層

形式建模時分辨層級，不代表研究時只能按單向順序設計。可從語義需求設計硬體；從材料自由度反推可用語義；或讓語義—載體兩邊在明示約束下反覆修訂。可區分的研究責任與實際共同演化並不矛盾。

22. 下一步留給 C-03：何時真的形成新運算語義？

本文已經回答：給定某個語義契約，應如何在物理載體中尋找準備、控制、演化、測量與可驗證的實現。它仍沒有回答以下更激進的問題：

若系統在運作中改變了可用狀態分類、控制關係與合法算子集合，原本沒有定義的運算語義能否被重新構造？什麼證據才能區分真正的新原語與既有操作的重新組合？

這是正式下一篇 C-03《定義、反定義與約束生成：可修訂算子域中的語義形成》 的研究邊界。

C-03 應承接：

C-01 的語義橋與共同演化狀態；
C-02 的物理控制／測量／實現見證；
前置 NNN-02 對定義、前符號與可能性域的開放問題；
ADEL 已封存的失敗研究，僅作歷史限制與反例材料，不視為已經得到成功見證或擅自恢復實驗。

C-03 不應偷換本篇結果，宣布「只要硬體可重構，AI 便能無條件發明新運算原語」。當前沒有這種實驗結論。

C-04 將另行研究數位世界、物理外部世界、具身和世界投影的實在耦合；本篇只保存其前置語義與讀出分界。

23. 結論：程式語義的物理實在化，首先是區分、實施與驗證的關係

本篇不需要一台被神化的「新計算機」，就可以明確提出研究問題：某種程式語義若要在物理實在上成立，至少要回答其可用的自由度、可準備的狀態、可控制的算子、可讀出的差異、可保留的語義，以及所付出的時間、能量、誤差與治理成本。

核心結論是：

\boxed{\text{Physical DOF}\not\Rightarrow\text{Preparable State}\not\Rightarrow\text{Controllable Operator}\not\Rightarrow\text{Verifiable Semantics}.}

這一連串非蘊涵關係不是說四者永遠相互獨立，而是說任何跨越都需額外的條件與見證。

同時：

\boxed{\text{Digital Simulation}\neq\text{Physical-Native Dynamics}\neq\text{External World Effect},}

但三者能在一個受控制、可驗證的系統中合法組合、相互轉導與共同形成新的能力。現代經典儲存程式及異構計算生態的普適模擬、定址、組合與吸納能力，在此扮演重要的正面角色；不需把馮紐曼傳統塑造成被淘汰的反面教材。

最終，本篇將「語義浮在物理實在與運算之間」轉為較嚴謹的研究說法：

程式語義可以在不同的物理載體上取得多種實現；若物理狀態、控制接口或量測機制本身可以變動，語義與計算機理亦可以共同設計。但一項新語義的成立，必須由型別正確的作用條件與可反駁的觀察證據支持，而不能僅由命名、物理複雜度或抽象的全合一想像宣告完成。

這使 C-02 成為從 C-01「何謂共構」走向 C-03「何謂新語義形成」的物理操作橋樑。

參考文獻與來源稽核

下列來源分成作者內部研究與外部已公開文獻。內部研究用以對齊本系列沿用的概念、數學符號及研究邊界；它們不因被引用而獲得獨立物理實證。外部文獻只支持該研究實際報告的實驗、形式定理或軟體接口資訊；不能拿局部成功直接證明本篇的極限假說。

A. 作者前置研究（I）

[I-01] Neo.K × Aletheia / GPT-6，〈從統一計算機型別到物理—語義共構：跨載體實現、可組合模擬與語義保真的共同設計基礎〉，Series C-01，2026-10-27，v1.0。本輪直接核讀本地原稿 SeriesC_01_從統一計算機型別到物理語義共構_v1.0_2026-10-27.md。
[I-02] Neo.K × GPT-5.6 Sol，〈計算機不是一種機器：載體、狀態空間與算子的統一型別系統〉，Series B-01，2026-09-17。無界智庫公開版。十維型別與 VN-1／VN-2／VN-3。
[I-03] Neo.K × GPT-5.6 Sol，〈載體不是機理：電子、光子、量子、生物與相位計算的正交分類〉，Series B-02，2026-09-17。無界智庫公開版。載體／狀態／轉移／控制分離，模擬與原生。
[I-04] Neo.K × GPT-5.6 Sol，〈本徵態計算：從路徑求解到狀態選擇〉，Series B-05，2026-09-17。無界智庫公開版。編碼、吸引子、解狀態與複雜度轉移。
[I-05] Neo.K × GPT-5.6 Thinking，〈相位計算機理論 v0.1：相位本體、馮諾依曼模擬、非馮諾依曼原生與元機理選擇〉，2026-07-25。無界智庫公開版。相位的本體、表示、演化與載體分離。
[I-06] Neo.K × GPT-5.6 Sol，〈0—無限底空間—1：離散基底、連續極限與可組合計算宇宙〉，Series B-06，2026-09-17。無界智庫公開版。四種普適性與有限設備／無界潛在域區別。
[I-07] Neo.K × GPT-5.6 Sol，〈從可行到不可成立：未來計算機的可行性與證據成熟度分級〉，Series B-03，2026-09-17。無界智庫公開版。以具體 claim 而非專案名稱分級。
[I-08] Neo.K × GPT-5.6 Sol，〈從二十四重形態到七十二格動力學〉，Computational Spine Closure-02，2026-09-17。無界智庫公開版。事件的最低充分轉移律；本篇未改寫其 72 格定義。
[I-09] Neo.K，〈從光子晶格到差—合—化物理計算機：一種網路耦合、自循環與混合架構的可證偽研究綱領〉，2026-07-07。無界智庫公開版。假設載體的可寫、可控、可讀、可重置責任。
[I-10] Neo.K with Aletheia，〈計算即存在 2.0：生成、可換載體、計算相態與 X 階自觀察〉，ACWC-03，2026-08-26。計算存在與表示內容真值分離。
[I-11] Neo.K，〈四態不必取代馮・諾依曼架構：從抽象資料型別到軟體推理層〉，2026。保留經典通用計算的語義承載能力。
[I-12] Neo.K × Aletheia / GPT-6，NNN-SO-01／02／03，〈無念〉、〈無無極〉、〈自在全合一〉，2026-10-27。此三篇僅作哲學性可能性上界，不作物理實驗證據。
[I-13] EveMissLab，〈ADEL 專案暫停決定〉，2026-10-24。GitHub。記錄完整 fresh 互動 L2 未成功見證；封存維持，不在 C-02 重啟。

B. 外部學術與技術參照（E）

[E-01] Horsman, C., Stepney, S., Wagner, R. C., & Kendon, V. (2014). “When does a physical system compute?” Proceedings of the Royal Society A, 470, 20140182. DOI: 10.1098/rspa.2014.0182。物理系統、抽象表示及計算判準的 AR 理論。
[E-02] Stepney, S. (2024). “Physical reservoir computing: a tutorial.” Natural Computing, 23, 665–685. DOI: 10.1007/s11047-024-09997-y。已核對 2024-11-15 發表之正式開放版本；討論 encoding、讀出、時間尺度與物理系統如何構成計算。
[E-03] CompCert Project, CompCert C: A Trustworthy Compiler, verified-compilation manual / documentation. 官方手冊；形式化證明文件。正式的編譯語義保真主張；不能自動延伸成實驗物理器件無雜訊的證明。
[E-04] Liang, X. et al. (2024). “Physical reservoir computing with emerging electronics.” Nature Electronics, 7, 193–206. DOI: 10.1038/s41928-024-01133-z。物理儲備池之材料與器件研究回顧。
[E-05] IBM Quantum Learning. “Mathematical formulations of measurements.” 官方教學。密度矩陣、POVM 與量測概率的標準表述；本篇量測後狀態另需指定 instrument。
[E-06] Bérut, A., Arakelyan, A., Petrosyan, A. et al. (2012). “Experimental verification of Landauer’s principle linking information and thermodynamics.” Nature, 483, 187–189. DOI: 10.1038/nature10872。資訊抹除的熱力學實驗；本文不將該界限誤用至任意邏輯操作。
[E-07] IBM Quantum, Qiskit v2.0 migration guide, section qiskit.pulse. 官方文件。使用者可調用控制介面的實際變化；不表示物理自由度被消滅。
[E-08] Watkins, A. A., Bordiga, G., Mu, M., Tournat, V., & Bertoldi, K. (2026). “Arbitrary Mechanical Memory Encoding via Nonlinear Waves in Bistable Metamaterials.” Physical Review Letters, 137, 097201, published 2026-08-26. DOI: 10.1103/pkk5-dykb。邊界波控制下的機械記憶寫入實驗與模擬。
[E-09] Yin, S., Mei, T., & Chen, C. Q. (2026). “Mechanical Metamaterials with Reprogrammable Sequential Deformation for Analog-to-Digital Encoding and Computing.” Advanced Materials, 38(55), e74376, first published 2026-08-05. DOI: 10.1002/adma.74376。可重構形變序列與機械編碼／運算的實驗研究。
[E-10] MLIR Project. MLIR Language Reference and project documentation. 官方文件。多層中介表示及跨後端 lowering 的現有技術背景。

查核註記：E-08／E-09 的發表時間與 DOI 已核對正式期刊或出版商資料；本文未下載或執行其實驗數據。私有或權限受限的內部來源是否可由第三方開啟，依原文件權限為準。C-01 的本地原稿是本次已可讀的原始承接文件，不另虛構公開網址。

附錄 A：本篇與 Series B 及 C-01 的責任對應

來源維度／術語	在 C-02 的操作化	可能的誤讀
B-01 $\mathcal H$	指明物理模型、有效自由度與條件	將「電子」「光子」視為單一演算法
B-01 $\mathcal X$	準備、可達、可觀察的不同狀態域	將數學空間基數直接當作資訊容量
B-01 $\mathcal O$	轉換機理與其可控制子域	由方程存在推出裝置支援該指令
B-01 $\mathcal K$	物理配置／控制策略	由平台有硬體推出使用者具控制權
B-01 $\mathcal R$	測量程序、精度、擾動及觀察時間窗	由一個讀數推出整個物理狀態
B-01 $\Gamma$ 、 $\mathcal E$	物理、安全、時間、能源與成本	把「自然演化」稱為零成本運算
C-01 $\mathfrak S$	保留語義契約與失敗判準	用物理現象取代定義
C-01 $\rho$	細化為準備、控制、動力、測量和解碼	只宣稱「已對應」而沒有實現見證
24／72	局部事件形態與最低充分律	把每個事件格當成獨立實體硬體
NNN-01／02／03	開放哲學上界	把無界本體詞彙當成已驗證物理功能

附錄 B：物理—語義實現聲稱的最小句型

為避免含混，一個合格的實現陳述應儘量具有以下形式：

在物理模型 $M_H$ 、載體 $H$ 、資源預算 $B$ 、控制與測量配置 $c$ 、環境族 $\mathcal E_Q$ 及版本 $v$ 下，程式操作 $p$ 對輸入域 $D$ ，於時間窗 $T$ 內，在觀察準則 $Q$ 與容差 $\epsilon$ 下，取得何種形式的證據（模型、模擬、實驗、重複驗證）；哪些結果成功、哪些失敗、哪些仍未知。

此句型不要求每篇本體論文字都有實機實驗；但只要聲稱已物理實現，就不應省略這些責任。

附錄 C：系列接續狀態

項目	本篇結果
C-01 語義契約與實現見證	沿用並細化
Series B 十維與正交型別	沿用，未新加母分類維度
馮紐曼／經典通用計算立場	明確保留模擬、組合、吸納、混合及原生比較
物理自由度、準備、控制、量測分離	完成概念模型
古典帶噪核與量子通道分開	完成研究型別區分
C02-D1 至 D5	完成候選定義；非標準制定
C02-P1 至 P7	完成條件式模型論證；未宣稱新物理定理
六個反模型與四組思維實驗	完成研究設計；非實測
物理儲備池／量子／機械文獻對照	完成公開來源查核
實際物理後端、多機器 bench、原型	NOT_RUN
原有 NOVA／ADEL 實作或 GitHub 異動	NOT_RUN；不在本篇工作範圍
第三方同行審查	NOT_RUN

下一篇：EML-PMSC-C03《定義、反定義與約束生成：可修訂算子域中的語義形成》。

本篇結束。