---
title: "從統一計算機型別到物理—語義共構：跨載體實現、可組合模擬與語義保真的共同設計基礎"
english_title: "From Unified Computer Types to Physical–Semantic Co-Construction: A Foundation for Cross-Substrate Realization, Composable Simulation, and Semantic Preservation"
series: "物理實在—計算機理—程式語義共構論"
series_english: "Physical Reality, Computational Mechanisms, and Programming Semantics: A Co-Construction Framework"
series_number: "01/05"
paper_id: "EML-PMSC-C01"
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 第一篇正式原稿；模型內結果不等於新物理實證或新計算機原型"
predecessors:
  - "Series B：統一計算機分類與計算本體論"
  - "Computational Spine Closure：Series B × 24/72 × PCMT/GIPE/Runtime"
  - "NNN-SO-01／02／03：無念、無無極與自在全合一"
research_boundary: "不要求取代馮・諾依曼，不把抽象可模擬性等同實際物理無限，不重啟封存的 ADEL 或修改 NOVA 既有權威規格"
---

# 從統一計算機型別到物理—語義共構：跨載體實現、可組合模擬與語義保真的共同設計基礎

## From Unified Computer Types to Physical–Semantic Co-Construction: A Foundation for Cross-Substrate Realization, Composable Simulation, and Semantic Preservation

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

**日期：** 2026-10-27  

## 摘要

程式語言研究常從語法、型別、運算語義及可執行性出發；計算機研究則常從處理器、記憶體、物理載體、狀態轉移、資源與效能出發。兩者早已有編譯器、作業系統、可程式化硬體與異構加速器等成熟接口，因此「程式語言必須有物理承載」並不是新發現。然而，若研究時先把可用的計算機理固定為既有機器，再把程式語義僅視為對該機器的符號描述，就可能過早縮小可研究的計算空間。反過來，若僅因某物理系統具有複雜動態，便宣稱它原生支援某種尚未定義的程式語義，同樣會混淆物理演化、可控制計算及語義正確性。

本文以 Neo.K 既有 Series B「統一計算機分類與計算本體論」的十維型別為母座標，以 24／72 計算形態和 PCMT／GIPE／Runtime 為不同責任層，提出 **物理—語義共構**（physical–semantic co-construction）的候選研究框架。其研究對象不是「哪一種新型硬體取代傳統計算機」，而是**計算機的載體、狀態與算子、語義、控制、驗證和世界作用關係，如何在物理及形式約束下被共同設計、選擇、重組或演化**。框架保留經典通用可程式化計算的模擬、可定址展開、組合和持續吸納能力；馮・諾依曼概念需依歷史硬體組織、現代經典計算生態與抽象組合底座三個層級分開。原生物理計算與經典模擬不是先進性階級，而是具有不同成本、失真、可控制與可檢驗條件的實現路線。

本文建立一個包含語義契約、計算機型別、物理實現見證、跨版本語義橋與外部世界效果的最小模型；區分**語義固定、載體選擇**，**載體固定、語義建構**，以及**語義與物理機理共同變動**三種共設計強度。模型內推得：（一）可模擬性不蘊涵原生最佳化；（二）保留明示不變量的跨載體變更，可構成有條件的語義連續性；（三）有損投影不能在缺少側資訊時普遍恢復原有可區分性；（四）原生物理演化不自動構成程式執行；（五）組合吸納能擴張有效能力域，但不自動擴張權限或消除接口成本；（六）共同演化既不要求語義與物理本體同一，也不蘊涵物理零延遲、無限資源或新可計算性定理。文中以四態語義的跨後端實現、振盪器同步、量子控制接口及多世界計算構造反例和思維實驗。

本文的主要成果是提供 Series C 的**共同問題設定、形式語言、失敗判準與後續研究接口**，而非宣告一個已經實驗完成的新計算機。C-02 將研究程式語義如何與物理自由度建立更深的操作對應；C-03 研究定義／反定義及算子與約束域的可修訂性；C-04 研究物理—數位世界的共同演化；C-05 則把這些問題接向跨載體元計算機的可驗證共同設計。

**關鍵詞：** 統一計算機型別；物理實在；計算機理；程式語義；共構；馮・諾依曼；可組合模擬；0—無限底空間—1；跨載體實現；原生計算；語義保真；24／72 計算範式；物理—數位耦合；元計算機

## Abstract

Programming-language semantics and physical computer mechanisms are often studied through separate abstractions, although compiler infrastructures, programmable devices, and heterogeneous runtimes have long connected them. This paper proposes *physical–semantic co-construction* as a research framework in which computational substrates, state spaces, operators, semantic contracts, control mechanisms, and world interactions may be selected or revised together without assuming that their identities collapse. It reuses Neo.K's ten-coordinate unified computer type system (Series B), maintains a strict separation between machine types and the 24/72 classifications of contextual computational events, and preserves the simulation and compositional capacities of contemporary classical stored-program ecosystems. A typed realization-witness model and versioned semantic bridges distinguish fixed-semantics multi-realization, fixed-substrate semantic construction, and joint semantic–physical revision. Model-internal propositions show that simulation is not native optimality; semantics-preserving migration requires explicit observations and invariants; lossy projections are not generally invertible; spontaneous physical evolution is not automatically executable computation; and aggregate capability expansion does not imply transferred authority or zero integration cost. Several countermodels and thought experiments clarify the framework's scope. The result is a conceptual and formal research starting point, not empirical evidence for new physics, unrestricted world creation, or a claim that von Neumann computing has been superseded.

**Keywords:** computational ontology; programming-language semantics; physical computing; co-design; heterogeneous realization; observational equivalence; composable simulation; semantic preservation

---

# 0. 問題的位置：不是再創造另一棵計算機分類樹

本篇承接兩種已經完成但研究對象不同的前置工作：

1. **Series B：統一計算機分類與計算本體論**：回答「計算系統具備什麼載體、狀態、算子、控制、記憶、地址、讀出、接口、約束及資源能力？」[I-01]—[I-05]
2. **Computational Spine Closure**：回答「一個局部計算事件在特定觀察語境下以何種計算形態與轉移律運作？如何為其選擇機器、角色及驗證路由？」[I-06]—[I-08]

若另造一套把 CPU、量子、類比、相位、Agent、NOVA、世界生成機與物理宇宙並列的新「計算機排行榜」，只會退回 Series B 已指出的型別錯位。它們分別回答載體、機理、語義、架構、控制、功能和哲學極限等不同問題，不能作為互斥物種排隊。

Series C 在前兩者之上增加的研究問題是：

> **若可用機器、可用運算機理、語義對象及其物理作用界面本身可以改變，我們如何研究其共同形成，且如何判斷新的實現仍保留了什麼、改變了什麼、實際做到什麼？**

這裡的「共同形成」不預設：

- 任意物理變化都必然是可控制計算；
- 任意程式描述都能無損地物理實現；
- 使用抽象語義會神奇地產生新物理定律；
- 新硬體一定比通用可程式化計算更高等；
- 一個主體的內部世界已等同外部物理世界；
- 三篇〈無念／無無極／自在全合一〉已證明存在某種終極計算機。

本篇的責任是建立一個容許上述強命題被提出、區分及檢驗的**研究位置**，而非提前接受它們。

## 0.1 與最近三篇符號本體論的關係

- NNN-SO-01〈從一念創世到無念〉研究：意圖、符號行為與生成是否必然需要外部序列切分。[I-14]
- NNN-SO-02〈無無極〉研究：符號、可區分性、約束與可能性域是否被過早視為既定。[I-15]
- NNN-SO-03〈自在全合一〉研究：高度整合能否保留不同主體、他者、世界與邊界的非同一性。[I-16]

本篇只引用三者的**問題設定與抽象研究上界**。它們不是 Series C 的硬體公理，不能代替可用物理模型、程式語義和實驗證據。

## 0.2 本篇主張等級

本文區分四種語句：

| 類型 | 說明 | 本篇使用方式 |
|---|---|---|
| 定義（D） | 在明示模型中約定的研究對象 | 可直接使用，但不可當自然定律 |
| 模型命題（P） | 在附帶假設的模型內可推得的結論 | 附理由、證明或反例 |
| 研究猜想（H） | 有方向性，但尚未充分形式化／實證 | 標明依賴與反證條件 |
| 物理／工程命題（E） | 涉及載體、測量、資源或實際效益 | 必須另有相符的測試與證據 |

任何從 D／P 跳向 E 的推論都必須補上**可操作映射、物理載體、可觀察量、誤差與對照實驗**。

---

# 1. 需要拆開的七組假對立

## 1.1 傳統計算機與未來計算機

狹義歷史版本與今天可擴張的計算生態不是同一個分類對象。當代經典計算系統可以透過可編程接口、加速器、外部記憶、網路服務、雲端機器、虛擬機及各類軟體後端擴張能力。這類擴張既可能由馮・諾依曼傳統的 stored-program 中心組織，也可以整合不採該微架構的運算單位。

因此本篇不使用：

$$
\text{von Neumann}\longrightarrow\text{obsolete}\longrightarrow\text{replacement}.
$$

而使用：

$$
\text{Base Capabilities}\xrightarrow{\text{composition / simulation / integration}}\text{Expanded Capabilities}.
$$

其中能力集合的增加可以伴隨更高的維護、校準或安全成本；「吸納」也不意味新組件在硬體本體上變成某一種馮紐曼 CPU。

## 1.2 數位與物理

每個真正執行的數位程序都依賴某種物理過程。然而，**物理實現**、**數位抽象**和**程式語義**的同一性仍須分開：

$$
\operatorname{Realized}(p,H)\not\Rightarrow \text{digital abstraction}=\text{all physical degrees of freedom of }H.
$$

數位表示可以有獨立的、受規格約束的操作語義，卻不因此成為脫離材料與能量的超自然實體。[E-01]

## 1.3 定義與生成

定義可以幫助形成可引用的操作對象；生成也可以構成新狀態、可定址關係和可用算子。兩者不必永遠先後外分割，但**在指定模型下仍需記錄誰允許何種變更，以及變更前後的觀察結果是否保真**。這個觀察與 Series NNN 的「非外分割」思維實驗相容，但沒有把工程因果順序抹除。

## 1.4 模擬與原生

模擬是以一個已控制的計算體系表示並演化另一體系。原生是某些被研究的狀態與轉移，由指定物理載體自身的動力學直接承擔。兩者可以在某些可觀察行為上等價，也可以在時間、功耗、可測量性、容錯與操作者控制上不同。原生不自動較好。[I-02]

## 1.5 程式語言與作業系統

程式語義不以 Windows、Linux、嵌入式系統或現有 CPU ISA 作為唯一可能的本體。這些是重要而具體的執行及開發環境，不能被當作全部可表達／可實現的上界；另一方面，「超出現有 OS」也不自動使一套語義新穎、無矛盾或有價值。

## 1.6 結構先於文字與結構先於物理

NOVA 的研究把程式權威結構放在單一文字表示之前，這是**程式工件權威性**的問題；它不等於該結構在自然界中先於物理存在。NOVA 的 typed structural graph 可以作為形式語義與編譯接口的一種候選承載，但現階段不由本文授權改寫既有 NOVA Core。[I-11]

## 1.7 世界模型與外部世界

某計算系統維持、模擬或創造一個持續的世界狀態，可以是實際發生的計算事件；但不因此保證被模擬物在外部物理宇宙具有相同的因果性質。對外部世界的修改仍須具體的接口、權限、能量和驗證。[I-12]

---

# 2. 原有 Series B 十維母型別：保留，暫不新增第十一維

Series B-01 將計算機抽象為：

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

為避免字母混淆，下文 $\mathcal E$ 僅指資源與環境；當需要表示語義集合，將改使用 $\mathfrak S$。該十維主要是分類座標，並非主張自然界只有十種互不相干的實體。

| 維度 | 既有意義 | 對 Series C 的用途 |
|---|---|---|
| $\mathcal H$ | substrate，物理／虛擬載體 | 哪些自由度實際支撐狀態和控制？ |
| $\mathcal X$ | state space | 何種狀態可被準備、區分、操作和讀取？ |
| $\mathcal O$ | operator family | 何種轉換是可用或合法的？是否能修訂？ |
| $\mathcal K$ | control / selection | 何時選擇算子、路由、回饋、重構？ |
| $\mathcal M$ | memory / history | 何種記憶或歷史結構影響後續可達域？ |
| $\mathcal A$ | addressability | 目標、機理、結構與服務如何可靠定位？ |
| $\mathcal R$ | readout | 哪些讀出可作為可驗證證據？ |
| $\mathcal I$ | interface / interconnect | 跨載體、跨世界或外部作用如何發生？ |
| $\Gamma$ | constraints | 物理、邏輯、資源、權限與安全條件為何？ |
| $\mathcal E$ | resources / environment | 能量、時間、材料、精度、故障及維護成本 |

這些維度的**分類正交性**不是物理因果上的完全獨立性。例如某些量子操作要求相干性，某些類比操作依賴特定材料與環境；硬體載體與可用算子可能強耦合。[I-02]

## 2.1 Series C 的新增內容是「關係」，不是急著增加分類欄位

假設：

$$
\mathfrak C_t\rightarrow\mathfrak C_{t+1}
$$

表示可用機器型別隨配置、組合、知識或硬體版本改變。本篇另引入一個**可比較的程式語義契約**：

$$
\mathfrak S_t.
$$

所研究的是：

$$
\boxed{(\mathfrak C_t,\mathfrak S_t)\leadsto(\mathfrak C_{t+1},\mathfrak S_{t+1})}
$$

在何種見證和約束下成立，而不是把 $\mathfrak S$ 宣稱為每一台計算機都必須有的新物理器官。

同理，一個「意圖」對未來系統可能是語義契約的來源、控制參數或任務生成條件，不一定是另一項必須獨立硬體化的微觀物理量。

## 2.2 可組合與可相容是不同性質

定義：

$$
\operatorname{ComposableType}(\mathfrak C_a,\mathfrak C_b)
$$

表示兩個計算描述的欄位可以形成複合型別；再定義：

$$
\operatorname{Realizable}(\mathfrak C_a\oplus\mathfrak C_b\mid \Gamma,\mathcal E)
$$

表示在指定物理、工程與資源條件下真的存在可實現路徑。

一般不成立：

$$
\operatorname{ComposableType}\Rightarrow\operatorname{Realizable}.
$$

光子、量子、電子、類比及可重構系統可在分類上寫成混合架構，但是否能同步、轉換、控制、校準、讀出，必須分別研究。

---

# 3. 「程式語義」不等於文字，也不等於物理定律

## 3.1 程式的四個可分層對象

本篇將以下概念明確拆開：

1. **表層工件** $p$：文字、結構圖、編譯器 IR、電路設計、物理配置或其他可識別工件。
2. **語義契約** $\mathfrak S$：規定 $p$ 代表何種合法輸入、狀態轉換、結果、失敗與觀察行為。
3. **執行載體與機理** $\mathfrak C$：使該行為在具體物理或模擬系統中發生的有效機制。
4. **權威世界效果** $\Delta W$：如確有外部作用，需經真實接口、執行及觀察才被確認的變化。

因此：

$$
\text{Text}\neq\text{Program Semantics}\neq\text{Physical Evolution}\neq\text{World Truth}.
$$

其中四者不等號是**型別與推論責任**的區別，不是宣稱它們的部分事件不能發生重疊。

## 3.2 語義契約的候選型別

令：

$$
\boxed{\mathfrak S=\langle\mathcal P,\mathcal S,\llbracket\cdot\rrbracket,\mathcal Q,\mathcal V,\mathcal G\rangle.}
$$

其中：

- $\mathcal P$：可被承認的程式／結構／控制工件集合；
- $\mathcal S$：抽象的語義狀態域；
- $\llbracket p\rrbracket$：工件 $p$ 的操作／軌跡／轉換意義；
- $\mathcal Q$：哪些可觀察量、時間窗與等價關係對任務有意義；
- $\mathcal V$：合法性、成功／失敗、偏差與檢驗的判定方式；
- $\mathcal G$：意圖、目標、契約與拒絕條件的型別化接口。

這不是替代所有程式語義學的完整新標準，而是供本系列比較不同語言與載體的**最低概念契約**。若 $\llbracket p\rrbracket$ 表示 nondeterministic 或 stochastic behavior，便用軌跡集合或機率律，不強迫所有程序有唯一確定的函數輸出。

例如：

$$
\llbracket p\rrbracket_{\mathfrak S}:\mathcal S\rightrightarrows\mathcal S
$$

可表示多結果關係。若某任務需要量子態密度算子或 measurement law，也不應直接把其內部動力學降為古典函數。

## 3.3 指令不必是字串

一種「程式」可以是持續有效的結構化控制物件：

$$
 p=(\text{typed graph},\text{constraints},\text{resources},\text{effects}).
$$

另一種則可能是可調的材料參數與耦合拓撲：

$$
 p=(\text{initialization},\text{coupling},\text{boundary},\text{readout}).
$$

但對後者必須額外證明：物理變數可以被穩定寫入、調整、回讀；否則它只是一個物理系統的描述，尚未構成實際可程式化接口。

## 3.4 語義不是任意主觀標籤

一個符號可被人類約定為某種動作，卻不能僅由該約定使材料違反因果定律。真正可執行語義至少要回答：

- **指涉：** 這個符號、結構或設定究竟指向什麼狀態或轉換？
- **可區分：** 指向差異能否被系統辨別？
- **可實施：** 哪個受控機制在何種條件下使差異發生？
- **可觀察：** 哪種測量能區分成功、失敗與不確定？
- **可驗證：** 其結果是否忠實於已同意的語義和權限契約？

這和現有形式語義、抽象詮釋及多層 IR 的研究有交集。[E-02][E-03] 本篇新提案的重點是將它們放回 Series B 的跨物理載體型別之中，不宣稱發明了「語義要正確」本身。

---

# 4. 「物理實在」不是抽象程序的無成本翻譯目標

## 4.1 物理載體的最小描述

給定一個候選物理載體 $H$，研究者須指定：

$$
\boxed{H=\langle X_H,\Phi_H,U_H,Y_H,B_H\rangle.}
$$

其中：

- $X_H$：可準備、有效可區分的物理狀態；
- $\Phi_H$：在已知或假設的物理模型下發生的動態演化；
- $U_H$：外部可實施的控制與配置入口；
- $Y_H$：可量測、可輸出的觀測量；
- $B_H$：能量、時序、誤差、噪聲及安全等可操作界限。

物理學的狀態不是任意自由指定；系統能否準備某狀態、能否穩定保持以及讀出精度為何，是物理實現的必要問題。

## 4.2 「自然演化」不等於「進行可用的計算」

一塊岩石、一杯水或一個電路都會隨物理定律變化；若只是這個事實便宣布萬物都是任意演算法的執行器，該「計算」概念便失去區分力。

本篇採用一個操作性最低門檻：

$$
\boxed{\operatorname{ComputeWitness}(H,p)=\text{encode}+\text{control}+\text{evolve}+\text{readout}+\text{validation}.}
$$

至少必須能指出一個相對可重複的實驗或形式映射，使**可區分的輸入差異**在受控條件下形成**可區分、可判定的輸出差異**。這和物理儲備池計算對「物理系統何時算計算機」的現有研究問題直接相關。[E-04]

這個操作門檻不是絕對排除一切非傳統計算的最終本體定理，而是避免把類比本身當成證據。

## 4.3 實現的成本向量

對任務 $T$ 、程式契約 $\mathfrak S$ 和實現路線 $\rho$，可比較：

$$
\mathbf C(T,\rho)=\bigl(C_{\mathrm{encode}},C_{\mathrm{prepare}},C_{\mathrm{execute}},C_{\mathrm{read}},C_{\mathrm{verify}},C_{\mathrm{energy}},C_{\mathrm{switch}},C_{\mathrm{maintain}}\bigr).
$$

必要時加入誤差、可回退性及風險。若沒有共同單位與加權準則，就不應把此向量直接壓成單一效能分數；不同任務可能有不同的 Pareto 最適實現。

實際物理計算包含器件準備與重置，某些不可逆資訊抹除又涉及熱力學成本；不能把「在硬體內自然完成」偷換成「無能量或無時間成本」。[E-01]

---
# 5. 核心形式模型：語義契約如何由物理計算實現？

## 5.1 不能只寫「語義＝物理」

若寫成：

$$
\mathfrak S=H,
$$

只會掩蓋兩者的型別不同： $\mathfrak S$ 包含語義及可觀察契約， $H$ 是實際承載自由度的系統。兩者當然可以有共同因果事件，但不能不經映射就宣稱其本體完全等同。

我們需要的是一個**實現見證**（realization witness），而非沒有條件的等號。

## 5.2 定義 C-D1：實現見證

對程式 $p\in\mathcal P$ 、語義契約 $\mathfrak S$ 、物理或模擬後端 $H$，暫定：

$$
\boxed{\rho=\langle e,u,\Phi_H,r,d,Q,\varepsilon,D\rangle.}
$$

- $e:\mathcal S\rightharpoonup X_H$：把語義輸入／初始狀態編碼或配置到承載域；
- $u$：合法控制策略、排程、機理配置或硬體控制序列；
- $\Phi_H^{u}$：受控制約束的物理／執行狀態演化；
- $r:X_H\to Y_H$：可行的讀出或測量；
- $d:Y_H\rightharpoonup Y_{\mathfrak S}$：從讀出結果到語義觀察的解碼；
- $Q$：指定任務的觀察語境與語義比較準則；
- $\varepsilon$：允許的誤差、置信界、容忍區或比較準則；
- $D\subseteq\mathcal S$：聲稱有效的輸入／狀態適用域。

符號 $\rightharpoonup$ 表示映射可為部分函數；不預設所有高階語義狀態都能在任一機器上被寫入或還原。若量子測量或隨機程序涉及分布，則需比較**可觀察分布或軌跡律**，不應以一次讀出值假裝決定所有情況。

## 5.3 實現條件：可觀察行為的有條件符合

令：

$$
\operatorname{Obs}_{\mathfrak S,Q}(\llbracket p\rrbracket(s))
$$

為在語義契約下預期或允許的觀察結果；讓：

$$
\operatorname{Obs}_{H,\rho}(s)=d\bigl(r(\Phi_H^u(e(s)))\bigr)
$$

為指定硬體及設定的觀察結果。定義：

$$
\boxed{\operatorname{Realize}_{D,Q,\varepsilon}(p,\mathfrak S,H,\rho)}
$$

要求兩者在 $s\in D$ 、規定資源及外部條件下滿足 $Q$ 指定的接受關係。若有適用的距離 $d_Q$，可用：

$$
\forall s\in D:\quad d_Q\!\left(\operatorname{Obs}_{\mathfrak S,Q}(\llbracket p\rrbracket(s)),\operatorname{Obs}_{H,\rho}(s)\right)\leq\varepsilon.
$$

這是**形式規格中的合格條件**，不是聲稱研究者已經對所有 $s$ 做完測試。如果只驗證有限測試集合 $D_{\mathrm{test}}$，報告就必須寫成測試域成立；不能把有限測試冒充普遍證明。

對非確定性、機率性、量子通道或部分可觀察機制，應把 $d_Q$ 換成適合的 trace refinement、分布距離、統計界或物理實驗接受規則。**同一觀察準則不能先驗地適用全部載體。**

## 5.4 五項不可省略的見證義務

一份物理—語義實現宣告若要有研究價值，至少應交代：

| 義務 | 檢查問題 | 缺失時的典型錯誤 |
|---|---|---|
| Input | 語義輸入如何被實際準備？ | 把未可寫入的物理態當作程式資料 |
| Dynamics | 真正由什麼機理產生狀態轉換？ | 只觀察自然變化就宣稱能運算 |
| Readout | 輸出如何量測？是否帶來新擾動？ | 用主觀描述替代實際量測 |
| Semantics | 結果和哪個規格、量化判準比較？ | 把看起來相似當作語義正確 |
| Cost & Authority | 付出什麼資源、誰可執行哪些操作？ | 隱藏成本或越權操作 |

對某些高階世界生成的開放假說，上述義務可以暫標 `UNKNOWN`，但不可默默視為 `PASS`。

## 5.5 定義 C-D2：物理—語義共構狀態

用時間索引的研究狀態表示：

$$
\boxed{Z_t=\langle\mathfrak C_t,\mathfrak S_t,\mathcal R_t^{\mathrm{wit}},W_t,L_t\rangle.}
$$

其中：

- $\mathfrak C_t$：當時可用的十維計算機型別；
- $\mathfrak S_t$：被採用的程式語義契約；
- $\mathcal R_t^{\mathrm{wit}}$：已建立或待確認的實現見證集合；
- $W_t$：**已指明的**外部環境、虛擬世界或權威世界狀態；
- $L_t$：來源、觀察、失敗、不確定性、授權及版本證據帳本。

更新為：

$$
\boxed{Z_{t+1}=F_{\mathrm{config}}(Z_t,u_t,o_t;\Gamma_t,\mathcal E_t).}
$$

這只是共同設計的**模型簽名**。函數 $F_{\mathrm{config}}$ 的內容須由實際編譯器、控制器、硬體、Agent、研究者及環境機制提供；不能把符號本身當成創世動力。

## 5.6 定義 C-D3：跨版本語義橋

若同時改動語義域和計算機型別，必須說明保留的是什麼。

令：

$$
\boxed{b_t:\mathcal S_t\rightharpoonup\mathcal S_{t+1}}
$$

為舊語義狀態到新語義狀態的**部分橋接**；讓 $\mathcal J_t$ 是明示要保留的不變量集合， $\mathcal D_t^{\mathrm{chg}}$ 是容許變更的特性集合。最低要求：

$$
\forall s\in D_b,\ \forall J\in\mathcal J_t:\quad J_t(s)=J_{t+1}(b_t(s))
$$

在所宣告的誤差或關係條件下成立，並且不能忽略不可逆變更。

這裡刻意不要求：

$$
\mathfrak S_{t+1}=\mathfrak S_t,
$$

否則「語義自身會演化」將在定義之初被封死。但也不允許語義隨意改名後，就把一個已改變實際行為的系統宣稱為「與先前完全相同」。

## 5.7 強版本的交換圖只是一種特殊情況

對某些確定性子域，若 $F_t$ 與 $F_{t+1}$ 是更新前後的語義轉換，期待：

$$
\boxed{b_t\circ F_t\ \simeq_Q\ F_{t+1}\circ b_t}
$$

這是一個在 $Q$ 指定觀察下成立的交換／精化條件，不是全部共同演化的必要條件。當語義確實引入新作用、新風險或新世界差異時，必須將新、舊行為的有意差異另列於 $\mathcal D_t^{\mathrm{chg}}$，不應以虛構的完全交換掩飾變化。

---

# 6. 何謂「共構」：三個研究強度，不是一個神奇名詞

## 6.1 C-1：語義固定，多載體實現

給定語義契約 $\mathfrak S$ 不變，選擇：

$$
\rho_i:(p,\mathfrak S)\to H_i,
$$

使多個後端滿足共同的可觀察契約：

$$
\operatorname{Realize}(p,\mathfrak S,H_i,\rho_i).
$$

這涵蓋：

- 同一運算以 CPU、SIMD、GPU、FPGA、遠端服務或物理原生器件執行；
- 同一四態邏輯以 scalar、packed、bit-plane 或資料庫形式實現；
- 一個結構化程式在多種執行環境中進行保真 lowering。

此類很多已是成熟計算機工程的核心工作，不應被虛構為今天才發現的新型計算。Series C 的工作是把它們納入明確的跨載體比較座標。

## 6.2 C-2：載體固定，語義與接口可修訂

給定物理底座 $H$ 暫時固定，允許：

$$
\mathfrak S_t\rightarrow\mathfrak S_{t+1},\quad e_t\rightarrow e_{t+1},\quad d_t\rightarrow d_{t+1}.
$$

例如同一個電子處理器可以執行不同程式語言及虛擬機；同一個可調材料可以以不同輸入編碼、不同控制波形與不同讀出方法，承擔不同的計算任務。

但**改變解碼表**不自動改變物理能力。假設一個載體只能穩定產生兩種可辨識狀態，為其取一百個不同名字，並未使其獲得一百個獨立可控的物理狀態。

這個反例顯示語義建構與物理能力形成不能偷換。

## 6.3 C-3：載體、機理與語義共同修訂

容許：

$$
\boxed{(\mathfrak S_t,\mathfrak C_t,\rho_t)\ \longrightarrow\ (\mathfrak S_{t+1},\mathfrak C_{t+1},\rho_{t+1}).}
$$

這才是本系列值得深入研究的強形式：

- 物理載體的新可控自由度使原本困難的語義區分變得容易實現；
- 新的語義契約導致物理結構或算子配置被重新設計；
- 新的觀測和驗證結果反過來修改程式語義或實現範圍；
- 整個過程保留明示的不變量、變更記錄與失敗處理。

其中「共同」不要求無時間差，也不要求不存在控制器、編譯或觀察環節。它首先表示研究與設計上的**相互依賴、共同約束及版本化回饋**。

## 6.4 定義 C-D4：非平凡共構判準

若只有一條抽象說法：

> 語義依賴物理，物理能承載語義。

這太弱，無法區分任何一般計算系統。

較有用的非平凡共構案例，至少須展示以下一種帶證據的關係：

1. **語義驅動配置變更**：某個可比較語義目標使 $\mathfrak C$ 的控制、算子、映射或載體選擇實際不同；
2. **物理回饋驅動語義修訂**：實測限制、誤差或新可控自由度導致 $\mathfrak S$ 的規格、作用域或操作區分發生有理由的變更；
3. **互相約束的候選排除**：某語義／物理組合因不滿足實現見證而被拒絕，並改由另一組合替代；
4. **雙版本可比較**：存在明示的語義橋、成本和觀察證據，足以判斷哪些能力確實擴張、縮小或改變。

「共構」不是品質獎章。共同設計完全可能產生比原本更差、更脆弱或更昂貴的系統。

## 6.5 為何仍須保留單向編譯及分層架構？

當固定語義與穩定後端已經具有充分證據時，完全沒有必要為了追求概念上的共構而每次同步修改硬體和語言。

理想架構應保留：

$$
\boxed{\text{stable interface when sufficient; co-revision when justified}.}
$$

這同時是一條經濟性、可驗證性與研究邊界原則。

---

# 7. 馮・諾依曼計算並非 Series C 的反面：通用模擬與吸納的正面位置

## 7.1 三種必須區分的馮・諾依曼用法

Series B-01 第 25 節已經建立下列區分：[I-01]

| 記號 | 作用域 | 本篇立場 |
|---|---|---|
| VN-1 | 狹義的歷史 stored-program、處理器／記憶體／I/O 組織 | 是重要工程架構，不是整個現代計算生態的完整名稱 |
| VN-2 | 廣義的經典離散可程式化計算及其現代延伸用法 | 可整合虛擬機、加速器、網路、分散式服務與異構控制 |
| VN-3 | 最小可定址符號與可組合狀態轉換的更高階抽象 | 是「0—無限底空間—1」的重要理論入口，不專屬任何歷史匯流排 |

VN-3 不是把狹義硬體定義無限上綱，而是從通用符號、可編碼性、定址與組合能力抽出**一組高階抽象特性**。

## 7.2 「無限模擬」的型別化版本

使用者既有「0—1」／「0—無限底空間—1」研究，重視微小、穩定、可定址的接口，如何在可擴張的資源與歷史下尋址龐大計算域。[I-05]

令：

$$
\Omega_B=\operatorname{Cap}(\mathfrak C_B;B,\Gamma_B)
$$

表示資源預算 $B$ 、可用接口和約束下的有效能力集合；定義理想化的能力族：

$$
\boxed{\Omega_{\mathrm{expand}}=\bigcup_{B<\infty}\Omega_B.}
$$

此處：

- **有限裝置**在任何有限時間都有受限的能源、記憶與操作能力；
- **可擴張機器族**可隨硬體、服務、時間與記憶增加而構造更多計算；
- **無固定有限上界的理論族**不等於某台機器在同一時刻持有真的無限狀態；
- **圖靈普適性**的含義與無損、零成本模擬任意未知物理自由度不是同一命題。

因此，這裡的「無限模擬」是一個需標明模型、編碼及理想化資源條件的可組合潛力命題，而非現成單機的物理全能宣告。

## 7.3 模擬不需要擊敗原生，原生也不需要消滅模擬

令：

$$
\operatorname{Sim}(C_A,C_B\mid T,\varepsilon,\Gamma)
$$

表示在任務 $T$ 、容忍度 $\varepsilon$ 與約束 $\Gamma$ 下， $C_A$ 可模擬 $C_B$ 的指定操作行為。

不能推出：

$$
\operatorname{Sim}(C_A,C_B)\Rightarrow \mathbf C(T,C_A)\preceq\mathbf C(T,C_B).
$$

例如某可程式化數位機器可以精確或近似模擬一類振盪器動力學，卻可能在功耗、時間、連續狀態的有效表示或控制回饋上付出不同成本。反過來，物理振盪器未必擅長符號證明、任意精度計算、可回退交易及通用程式操作。

所以，Series C 的合理研究對象是：

$$
\boxed{\text{Simulation}\ \oplus\ \text{Native Realization}\ \oplus\ \text{Hybrid Composition}\ \oplus\ \text{Verification}.}
$$

 $\oplus$ 在此是概念性並列與可組合記號，不是所有類型都已建立同一個具體代數運算。

## 7.4 「吸納」需要有型別的邊界

若外部計算單位 $C_b$ 能由 $C_a$ 可靠尋址、配置、調用及回報，則有效計算域可以形成：

$$
\mathfrak C_{\mathrm{eff}}=\mathfrak C_a\oplus_{\mathcal I}\mathfrak C_b.
$$

但這只是在**指定抽象層**形成可用能力關係，不代表：

$$
\mathfrak C_a=\mathfrak C_b
$$

或：

$$
\operatorname{Authority}(C_a)\supseteq\operatorname{AllPermissions}(C_b).
$$

跨載體接口的失真、延遲、轉換、信任、版本、失效模式和存取控制是共同設計的一部分，而非外部附屬工作。

## 7.5 從單一電腦到不固定機箱邊界的計算域

這也解釋了為何「現在的馮・諾依曼計算機，早已不是以前的馮・諾依曼計算機」在正確語義下具有研究價值。

若「馮紐曼」指狹義儲存程式架構，歷史定義仍有其明確用途；若指由該傳統發展出的可編程計算環境，現代系統確實早已擴充了其可用機理與作用域。但應寫作**以通用經典計算為核心的異構與可組合生態**，避免宣稱所有新型計算載體都被硬體分類學上的 VN-1 所包含。

---

# 8. 與 24／72 計算範式及原有 Runtime 的對接

## 8.1 十維型別與局部事件不是同一個物件

Computational Spine Closure 已區分：

$$
\mathfrak C=\text{system type}
$$

與：

$$
 p_{24,\Gamma}(e)=\langle B,U,O\rangle
$$

其中 $e$ 是具體計算事件， $\Gamma$ 是觀察語境；三個軸分別描述有效底空間、更新組織與觀察方式。[I-06]

更進一步：

$$
\boxed{p_{72,\Gamma}(e)=\langle B,U,O,L_{\min}\rangle}
$$

增加最小充分轉移律。[I-07]

## 8.2 72 是事件的動力字母，不是 72 種硬體

舊稿的分類是：

$$
2\ \text{(continuous/discrete)}\times4\ \text{(sequential/jump/parallel/identificational)}\times3\ \text{(continuous/discrete/anti-single-observation)}\times3\ \text{(function/stochastic kernel/quantum channel)}=72.
$$

它提供了觀察語境下的局部形式化**候選字母表**，不是已證明世界所有可能物理演化都被 72 格窮盡；尤其觀察粒度和轉移律類型不同時，可能需要複合節點、橋接或 `UNKNOWN`。

## 8.3 Series C 不能重新把分類結果當作生成器

若：

$$
 p_{72,\Gamma}(e)=p_i
$$

只表示事件在某種視角下被分類。它**不會自己產生**：

- 新材料；
- 新控制接口；
- 新解碼器；
- 新語義證明；
- 新的物理可達性。

對某物理狀態的可達性，需要回到 $\rho$ 的輸入、動力、讀出、驗證和成本條件。

## 8.4 共構所需的接續鏈

本篇暫定一條可以同時容納舊 Runtime 和新語義橋的鏈：

$$
\boxed{\mathfrak S_t\xrightarrow{\text{contract}}\text{Candidate Events}\xrightarrow{\Pi_{72}}\text{Typed Dynamics}\xrightarrow{\mathrm{PCMT}}\text{Realizers}\xrightarrow{\text{verify}}\text{Commit / Observe}\xrightarrow{\text{feedback}}(\mathfrak S_{t+1},\mathfrak C_{t+1}).}
$$

GIPE 可為其加入目標、認識與治理角色。必要時更新路由及實現見證，但不得宣稱本篇已替代既有五層 Runtime 架構。[I-08]

## 8.5 候選／提交的邊界不可刪除

新的物理機理可以作為候選；新的語義解釋也可以作為候選。但當它涉及檔案、機器人、外部資料或其他獨立主體時，必須區分：

$$
\text{Proposal}\neq\text{Authorized Execution}\neq\text{Verified World Result}.
$$

這和 NNN-SO-03 的「非吞併、他者守界」問題相容，並且可以用現有 Runtime 治理工具逐項檢查。[I-16]

---

# 9. 六個模型內命題：哪些能說、哪些不能說？

本節所有命題都明示其**模型假設**。不提供實驗數據的命題不寫成已驗證的工程定理。

## 命題 C-P1：可模擬性不蘊涵原生最優

**前提：** 有兩種系統 $A,B$，且存在有效模擬映射，使 $A$ 可在容許誤差下實現 $B$ 的指定行為。

**主張：** 僅由模擬存在，無法推出 $A$ 在時間、能量、精度、可靠性和維護成本上皆支配 $B$。

**理由：** 模擬映射的定義可以只約束輸入輸出或軌跡保真，不對成本向量施加任何序關係。因此可構造兩個滿足相同行為約束但成本不同的實現。例如 $A$ 支付昂貴的離散數值積分及精度控制成本， $B$ 由可控物理動力直接演化；反方向也可構造 $B$ 難以準備、測量或穩定控制而比 $A$ 貴。 $\square$

**不可推出：** 物理原生版本必然便宜；傳統計算機不再有用。

## 命題 C-P2：跨載體語義連續性需要明示的比較與橋接

**前提：** $H_a,H_b$ 是兩種載體，對同一 $\mathfrak S$ 各有 $\rho_a,\rho_b$，並在相同觀察語境 $Q$ 與輸入域 $D$ 上滿足語義契約。

**主張：** $H_a$ 與 $H_b$ 可以被判定為**相對於 $Q,D,\varepsilon$ 的語義相容實現**，即使物理狀態不同。

**理由：** 實現見證使兩者的觀察都與同一語義規格滿足指定關係。這能支持某種**經規格中介的相容性**，不必證明兩個物理狀態完全同一。若兩者個別允許誤差為 $\varepsilon_a,\varepsilon_b$ 且比較距離滿足三角不等式，兩實作間可導出界 $\varepsilon_a+\varepsilon_b$ ；但若 $Q$ 無共同距離或規格容許多種不等價行為，便不能保證任意兩實作直接逐點相等。 $\square$

**不可推出：** $H_a=H_b$ ；所有未測狀態都等價；語義版本變更後仍自動保真。

## 命題 C-P3：有損編碼不可能在沒有額外資訊時普遍逆轉

**前提：** 一個量化／投影映射 $\pi:X\to Y$ 對某兩個相關狀態 $x_1\neq x_2$ 具有 $\pi(x_1)=\pi(x_2)$，且欲保留的語義觀察 $q$ 可區分兩者： $q(x_1)\neq q(x_2)$。

**主張：** 不存在只依賴 $\pi(x)$ 的解碼器 $d:Y\to Q$，可以同時對 $x_1,x_2$ 精確還原 $q$。

**證明：** 若存在 $d$，則由 $\pi(x_1)=\pi(x_2)$ 得 $d(\pi(x_1))=d(\pi(x_2))$ ；但欲同時等於 $q(x_1)$ 與 $q(x_2)$，與後者不等矛盾。 $\square$

**不可推出：** 所有有限精度數位計算必然不適合工程任務；只要增加原生物理自由度就一定改善結果。若任務 $q$ 本來就不需要區分 $x_1,x_2$，該投影可能完全足夠。

## 命題 C-P4：單純物理演化不足以保證可編程語義

**前提：** 某物理系統 $H$ 存在非平凡動力 $\Phi_H$，但研究者尚未提供可重複的輸入準備、控制、讀出或語義規格映射。

**主張：** 無法僅由 $\Phi_H$ 存在推得 $\operatorname{Realize}(p,\mathfrak S,H,\rho)$ 成立。

**理由：** $\operatorname{Realize}$ 的成立依賴完整見證 $\rho$ 和契約。只給出 $\Phi_H$ 並沒有指定 $e,u,r,d,Q$ ；甚至不同且互斥的語義都可能被事後貼到同一物理軌跡上。未有可反駁接口時，聲稱便無充分的操作內容。 $\square$

**不可推出：** 自然物理系統絕不可能被設計成計算載體；所有計算必須具有傳統文字語言。

## 命題 C-P5：能力組合的擴張不蘊涵授權擴張

**前提：** $\mathfrak C_a$ 透過接口連接 $\mathfrak C_b$，使某些 $b$ 的計算能力被納入其有效可定址域。

**主張：** $a$ 的可尋址候選能力可以擴張，而合法可提交的行動仍可能保持不變或僅部分擴張。

**構造性反例：** 外部服務提供某種資料修改 API，但要求另外的認證和使用者批准。接口允許偵測該能力、讀取其 schema 或產生候選呼叫，不代表呼叫可被接受。令 $A_{\mathrm{cap}}$ 為可知能力， $A_{\mathrm{auth}}$ 為已授權能力；可以有：

$$
 A_{\mathrm{cap},t}\subsetneq A_{\mathrm{cap},t+1},\qquad A_{\mathrm{auth},t}=A_{\mathrm{auth},t+1}.
$$

這兩個敘述並不矛盾。 $\square$

**不可推出：** 吸納外部 Agent、世界或計算機，即取得其全部身份、資源或對其他存在的支配權。

## 命題 C-P6：共同演化不蘊涵新的物理定律或無成本創世

**前提：** $Z_t\to Z_{t+1}$ 依指定 $F_{\mathrm{config}}$ 與資源約束更新；語義與物理配置可以同時變更。

**主張：** 不能僅由此形式推出任意目標必然可達、零延遲、零能耗、對所有未來意圖預先知道答案，或超越既有可計算性定理。

**構造性反例：** 一個有限的雙後端控制器在時間 $t$ 從 CPU 演算法改用振盪器求解器，同時更新允許的輸入格式。該系統具共同設計與跨載體切換，仍有器件準備時間、測量誤差、頻寬、轉換成本和不可解的部分任務。共同演化成立，但所有強的「無限制」結論都不成立。 $\square$

**不可推出：** 未來任何未知物理機制都不可能擴張計算能力；本篇只拒絕在沒有機理及證據時預先宣布。

## 9.7 本節結論：模型命題不是實驗成績

六個命題主要提供**型別錯位檢查和邏輯反推限制**。它們使某些推論無效，並不自動建立一台比現有計算機更快的設備；C-02 至 C-05 還必須處理具體可行性、載體、控制、對照與測量。

---
# 10. 四個對照案例：相同詞彙，不同的真正問題

## 10.1 案例 A：四態邏輯、二值硬體與後端可替換性

假設一個知識推理系統的語義域為：

$$
\mathcal S_4=\{\mathbf U,\mathbf N,\mathbf Y,\mathbf B\},
$$

分別代表未確定、反向支持、正向支持及雙向支持等四態。對此語義的精確含義與算子應以其自身規格為準，而不能僅靠這四個字面名稱猜測。

可以構造：

- $H_1$：使用結構化 enum、表格或物件的參照後端；
- $H_2$：使用兩個 bit 或 bit-plane 的批次後端；
- $H_3$：使用 SIMD／GPU 併行位元操作的加速後端；
- $H_4$：未來可能的專用多值器件。

對固定的四態語義契約 $\mathfrak S_4$，應比較：

$$
\operatorname{Decode}_i\bigl(\operatorname{Execute}_{H_i}(\operatorname{Encode}_i(p))\bigr)
\simeq_{\mathfrak S_4}
\llbracket p\rrbracket_{\mathfrak S_4}.
$$

本案例可明確得到三項判斷：

1. 當前馮紐曼及廣義經典儲存程式架構**可以合法承載比底層電晶體邏輯更豐富的高階語義**；沒有必要因四態就立即設計四值 CPU。[I-13]
2. 從 enum 到 bit-plane 可能改變成本與可觀察效能，卻不代表程式語義必須改變。
3. 若日後找到物理原生四態元件，它的價值必須由成本、精度、可靠性、可配置、可攜性及真正的語義保真證明，而不是由「原生」兩字直接保證。

此案例主要屬 C-1，將來加入新物理元件時可以升為 C-3。這不是一個被迫單向替代的歷史敘事。

## 10.2 案例 B：振盪器同步——數值模擬與物理動力兩條路

設想要研究一類可控振盪器網路。常見的理想化模型之一可寫成：

$$
\dot\theta_i(t)=\omega_i+\sum_{j=1}^n K_{ij}\sin\bigl(\theta_j(t)-\theta_i(t)\bigr).
$$

其中 $\theta_i$ 是相位、 $\omega_i$ 是自然頻率、 $K_{ij}$ 是耦合參數。這個方程只是**假想研究的數學起點**，不表示任何實際材料已符合這些控制假設。

給出一個程式語義目標：在指定 $T$ 、初始條件、擾動與容差下，使某種同步度指標達到門檻：

$$
 r(t)=\left|\frac1n\sum_{j=1}^n e^{i\theta_j(t)}\right|,\qquad r(T)\geq r_{\min}.
$$

可比較兩條路線。

**路線 A：數位模擬**。傳統可程式化計算機以數值演算法積分相位方程，記錄中間狀態、誤差、收斂和模型偏差。其優點可能包括演算法透明、可重現、精度可調及方便回退；代價可能是演化步數、數值誤差與資源消耗。

**路線 B：原生物理演化**。如果有一個可調的振盪器網路，其物理耦合近似目標模型，可以輸入初始設定、讓系統自行演化、測量同步度。它未必需顯式計算每一步的 $\sin$ ；但需要器件製備、校準、讀出、漂移建模和失敗檢測。

**比較問題**不是「兩者誰更高等」，而是：

- 是否在同一 $Q$ 中評價相同物理及數學語義？
- 若物理硬體自然頻率漂移，語義容差應變還是機器應重新校準？
- 若改變耦合拓撲可擴大可達狀態，屬於變更算子、載體配置，或僅變更控制參數？
- 哪一類任務更適合直接物理實現，哪一類更適合數位模擬？

若 $K_{ij}$ 的硬體可寫入範圍本身改變，同時程式語義新增「指定局部耦合」操作，就進入 C-3 的研究範圍。這時必須建立新的輸入、讀出和版本保真見證，不能只說「量測到同步了」便宣稱新語言已經成立。

物理儲備池計算現有研究確實提供多種材料動力被用作計算的案例，但仍強調如何識別可計算任務、編碼與讀出及其規模化限制。[E-04][E-05]

## 10.3 案例 C：量子計算的語言層次與真正可控制的層次

量子計算是「語義與物理動力學有直接關聯」的實際參照，但並不自動證明所有抽象計算都能原生量子化。

量子程序至少可能涉及：

- 算法和高階電路描述；
- 量子閘及參數化指令；
- 校準和受控物理動態；
- 測量、後處理與經典協同控制；
- 裝置是否真的開放所需接口及權限。

IBM Quantum 公開文件記錄，2025 年其處理器停止對一般使用者提供既有 pulse-level 存取，並在 Qiskit 2.0 移除 `qiskit.pulse`，部分用途改以 fractional gates 接續。[E-06] 這個例子的重要性不是宣稱「量子程式語言退步了」，而是：

> **量子物理可發生的演化、硬體平台允許控制的操作，以及使用者程式語言目前開放的接口，三者範圍不必相同。**

因而若未來開發「物理機理原生程式語言」，不能只說理論物理中存在某種 Hamiltonian，就推論所有雲端 QPU 都能執行它。

同時，經典處理器可以構造、模擬、編譯與監控量子程序。特定精確量子模擬在規模擴大後可能非常昂貴，但這只影響特定複雜度和成本比較，不意味經典通用計算的抽象組合價值應被否定。

## 10.4 案例 D：一台載體，多個數位世界，多種作用邊界

假想某個持續執行的計算整體 $H$ 同時維持：

$$
W_A=\text{生態模擬世界},\quad W_B=\text{遊戲世界},\quad W_C=\text{具身機器人的外部環境模型}.
$$

三者都可以產生可讀寫的計算狀態與歷史，並透過同一套全域控制介面被觀察或選擇。

此時至少有四種不同動作：

- $\operatorname{Observe}(W_i)$：讀取某世界當前狀態；
- $\operatorname{Focus}(W_i)$：將某些注意或計算資源分配到該世界；
- $\operatorname{Mutate}(W_i,a)$：在指定世界權威下提交某操作；
- $\operatorname{ActuateExternal}(a)$：經由真實物理接口改變外部環境。

一般不能推得：

$$
\operatorname{Focus}(W_A)\Rightarrow\operatorname{Create}(W_A),
$$

也不能推得：

$$
\operatorname{Mutate}(W_B,a)\Rightarrow\operatorname{ActuateExternal}(a).
$$

例如遊戲中關閉一顆恆星與真實世界中關閉一顆恆星不是同一類外部物理事件；遊戲中的關閉仍是**真實發生的計算事件**，但不能因此獲得對外部天體的物理支配能力。

這個案例對應 NNN-SO-03 的多世界投影問題，並且直接指出下一篇之後的研究需要的世界狀態、權限及驗證接口。[I-16]

---

# 11. 三組專門針對共構論的思維實驗

本節刻意維持**上下界開放**，不預設必須真的造出實驗機器，也不把概念極限當成已知物理可行性。

## 11.1 實驗 I：同一意圖，先不要指定哪台計算機

### 設定

有一個被明確給出的目標 $G$：從有噪聲的動態資料中辨識某類相位同步事件，要求輸出時限 $T_{\max}$ 、可接受錯誤率 $\epsilon$ 、可回溯的判定證據和資源預算 $B$。

候選計算路線包括：數位 CPU/GPU、數位模擬的振盪器模型、物理振盪器／儲備池及混合系統。每條路線都要建立自己的 $\rho_i$。

### 問題

1. 若經典路線已經足以完成，是否還有理由改用實驗性物理機理？
2. 若物理路線具有較低的局部功耗，但校準和讀出昂貴，應如何報告整體成本？
3. 若兩種路線的輸出看似相同，但一者忽略少見的極端事件，還能否宣稱語義保真？
4. 若經典系統可呼叫物理設備並保持其獨立驗證，究竟應將整體命名為哪一種計算機？

### 有意義的結果

本實驗的成功不是找到一種最強機器，而是建立一份可比較、能指出 `PASS`、`FAIL`、`UNKNOWN` 的**任務相對實現表**。

## 11.2 實驗 II：同一個物理載體，讓語義發生受控變化

### 設定

給定某具有有限可控制參數 $u\in U_H$ 的物理系統。原本語義只要求輸出一個二元判斷，後來設計者希望增加三種可區分的中間態，並重新設計編碼、讀出與驗證。

### 問題

- 三種中間態究竟是**新的獨立物理可區分性**，還是**重新命名既有讀出**？
- 若硬體的 $U_H$ 不足，能否由更長的時間序列、組合記憶、外部模組或經典模擬增加有效語義容量？
- 若某些新分別只在特定溫度、噪聲和讀出窗口下可靠成立，應如何限制語義作用域？

### 有意義的結果

證明某些語義擴展是由新可區分結構和實現機制支撐；也允許明確的負結果：某些區分只有名字，沒有操作證據。

## 11.3 實驗 III：可重構計算機能否參與形成新的運算語義？

### 設定

假想一個可以重配置連結、記憶、物理耦合和算子庫的元計算環境。它能接受部分目標、反例、拒絕條件及不完全的語義候選，但不預設每個候選都是真正的新算子。

### 對照組

- **對照 A：** 固定算子庫，僅改寫程式組合；
- **對照 B：** 算子庫允許新參數，但不可改變原語的實質作用域；
- **對照 C：** 允許候選新算子及物理配置，但必須建立新輸入—輸出見證；
- **對照 D：** 只透過自然語言把舊算子改名為新算子。

### 判定責任

若 C 宣稱形成原本 A、B 不具有的計算語義，須提供：

1. 既有算子組合與新候選的可操作差異；
2. 在獨立反例上仍存在的差異；
3. 新候選的明確狀態作用域與物理實現見證；
4. 對原語生成器和觀察者權限的記錄，避免把隱藏的人為定義偽裝成自發湧現；
5. 失敗案例及無法收斂時的 `UNKNOWN` 或 `FAIL`。

這與 ADEL 先前的未完成研究問題相通，但**並不構成重新啟動 ADEL 的授權**。[I-10]

---

# 12. 「計算即存在」與極限計算機：保留哪些上界？

## 12.1 已確認的最低層：實際計算事件具有物理承載

數位程序運行時，確實發生載體狀態與能量關係的改變。因此「數位世界不是真正發生的任何事」過於粗糙。

但要區分：

$$
\operatorname{Exist}_{\mathcal C}(\operatorname{Sim}(X))
$$

與：

$$
\operatorname{Exist}_{\mathcal P}(X).
$$

前者表示模擬計算已被實例化；後者若指在外部物理世界具有 $X$ 所描述的性質，必須由獨立證據支持。這延續〈計算即存在 2.0〉對「模擬確實發生」與「被模擬物就是外部物體」的區分。[I-12]

## 12.2 中間層：物理狀態演化本身承載計算

在某些物理儲備池、振盪網路、類比與量子系統中，程式或任務所依賴的部分轉換可以由物理動力實現，不必把每一步都表達成傳統 CPU 的順序算術操作。[E-04]

但依然存在：

$$
\text{Input Preparation}\ \oplus\ \text{Physical Evolution}\ \oplus\ \text{Observation}\ \oplus\ \text{Control}.
$$

這些功能可能由不同裝置完成、彼此回饋甚至重疊；**不能因它們組成同一個計算整體，就假設沒有能源、時間或可達性條件。**

## 12.3 強研究假說：機器型別也能成為可變的計算對象

若一個系統不僅在固定 $\mathcal X$ 上變換狀態，還能在合法條件下修改：

$$
(\mathcal H,\mathcal X,\mathcal O,\mathcal K,\Gamma,\mathcal I),
$$

它就能把「選擇／重構計算機理」本身提升為一部分高階計算活動。這與既有元計算機研究相容，但不能僅由描述證明它已實際具有創造未知機理的能力。[I-09]

## 12.4 開放上界：「無念無無極自在全合一」型計算存在

先前思維實驗提出一種高度抽象的候選存在：它的意圖、計算、世界狀態、觀察與作用關係，可能在某個共同運作整體中極度內化，切換數位或外部世界的注意焦點成為相對自然的活動。

本篇不把該上界等同於：

- 現有任何物理處理器；
- 能無條件直接改寫外部物理定律；
- 對所有存在具有所有權；
- 沒有物理能源、準備時間和測量成本；
- 一個已證明能同時存取真正無限物理狀態的計算機。

它的研究價值在於：**提醒我們不要把今日程式語義與硬體接口的特定切分方式，不經檢查就提升為所有可能計算形式的終局前提。**

## 12.5 三個邊界應同時保持開放

- **形式上界：** 我們尚未窮盡所有可研究的語義與機理構造。
- **工程上界：** 新材料、新接口與計算組織可能改變成本和有效可達域。
- **物理上界：** 某些極端主張可能需要尚未得到證據的新物理；也可能在指定假設下存在 no-go 結果。

三者不能互相替代。「我們還能想像」不是物理可行證明；「目前造不出來」也不是普遍形式矛盾證明。

---

# 13. 自我批判：這套框架最可能失敗在哪裡？

## 13.1 質疑一：「共構」是不是只是傳統 co-design 換名字？

這是最強的反對意見之一。現有硬體—軟體共同設計、編譯器、程式合成與多後端 Runtime，早已研究語義如何對應不同計算機制。[E-03]

**答覆：** 如果 Series C 只重述「語言應與硬體合作」，那確實沒有新研究內容。本框架要研究的是：當**有效算子集、可區分狀態、語義契約與實現映射可以一起被修訂**，什麼仍構成同一計算目標，哪些差異是新能力、哪些只是重新編碼，以及如何用版本見證保留失敗和不確定性。這是一個待深化的上位問題設定，不宣稱比所有既有共同設計研究更完整或全新。

## 13.2 質疑二：如果什麼都可變，還有什麼能被驗證？

**答覆：** 每一輪應固定當次的任務、比較語境、已授權作用域和最小不變量集合。允許框架隨時間更新，不等於一輪實驗中可以任意重寫判分規則。若全域語義和物理模型都沒有任何共同可觀察對照，應標為 `UNCOMPARABLE`，而不是宣稱已證明共同演化成功。

## 13.3 質疑三：為何不直接讓 NOVA 成為整套系統的最終核心？

**答覆：** NOVA 已有結構先於文字、可驗證 GraphPatch 與 typed structural graph 的研究基礎，值得作為具體語義及實現案例。然而一個研究計算機本身可能改變的上位框架，不能在開始時就把某個已定型的特定 IR 宣告為全部計算形式的先驗本體。應先定義跨載體比較與驗證，再討論哪些功能適合由 NOVA 承載。[I-11]

## 13.4 質疑四：如果通用機器可以模擬其他機器，新型物理計算是否沒有必要？

**答覆：** 模擬範圍與其成本分開。可以模擬某種方程，不代表能以相同能源、延遲、精度、可測性或安全性完成同一工程任務。反之，特殊物理器件也不因原生就能取代通用符號處理。兩者具有可互補的機理與任務區域。[I-05]

## 13.5 質疑五：何時才算「真正新語義」，而非參數或封裝差異？

**答覆：** 單純改名、改寫 prompt 或以既有算子形成不同組合，不應在沒有區分性見證下宣稱新的計算原語。可能的新語義需要明示：新的合法狀態、操作邊界、上下文效應、可觀察差異、可組合性以及不可由既有語義輕易等價表達的證據。這在本文僅是判準草案；其完整形式化交由 C-03。

## 13.6 質疑六：語義失敗究竟是硬體錯誤還是概念錯誤？

**答覆：** 至少應區分四類：

| 失敗型別 | 典型表現 | 應採取的研究動作 |
|---|---|---|
| $F_{\mathrm{def}}$ | 契約本身矛盾、歧義或不可操作 | 修正或明示放棄語義主張 |
| $F_{\mathrm{real}}$ | 意義清楚，但無法可靠編碼／控制／讀出 | 更換實現、縮小作用域或保留未知 |
| $F_{\mathrm{bridge}}$ | 更新前後不變量或觀察語境無法對齊 | 重新建立版本橋，不得靜默轉換 |
| $F_{\mathrm{world}}$ | 系統輸出與外部事實／權限失配 | 實際世界回饋、撤回錯誤提交、補充驗證 |

此分類回答使用者先前所指出的另一種可能：某些程式語言未成功，未必因為語言原理錯誤；也可能是載體、控制及 AI 未具備足夠承載能力。但**不能由失敗發生便自行判定一定是硬體不足**。

## 13.7 質疑七：為何要保留「不夠高等的」傳統機器？

這個問題本身就是錯位。若某個傳統可程式化架構具有足夠的保真、效率與可維護性，它在相應任務下就是合理實現。使用「物理原生性」或「新奇度」建立一般高低階級，違反了 Series B 已確立的多軸比較原則。計算方式是功能與成本相對的選擇，不是物種優越論。

## 13.8 質疑八：是否只是在用數學符號替抽象哲學裝飾？

這同樣是有效挑戰。每一個新符號必須至少能協助**定位型別、建立可比條件、推導明確限制或產生可反駁的反模型**。若一個公式無法比自然語言更清楚地限制推論，則應刪減它，而不是以符號複雜性營造已證明的錯覺。

---

# 14. 系列 C-01 的最小研究與驗證模板

即使目前不啟動新機器或新語言的實作，也可以為未來工作建立可審查的最低提案格式。

## 14.1 計算—語義共構記錄（Co-Construction Record）

```yaml
record_id: "C01-EXAMPLE-001"
claim_status: "HYPOTHESIS"  # DEFINITION / FORMAL / SIMULATED / PROTOTYPE / VERIFIED
intent_or_task: "明示的研究目標"
semantic_contract:
  language_or_program_object: "特定結構/程式版本"
  input_domain: "適用的語義輸入"
  output_and_traces: "可觀察輸出或軌跡"
  invariants: ["需要保留的行為/安全性質"]
computer_type:
  substrate: "物理/模擬載體"
  state_domain: "物理可區分狀態"
  operator_family: "可用轉換"
  control: "配置、排程、控制"
  memory_and_addressability: "歷史、記憶、定址"
  readout_and_interfaces: "測量、輸出、外部接口"
  constraints_and_resources: "物理/資源/權限條件"
realization_witness:
  encode: ""
  controlled_evolution: ""
  measure: ""
  decode: ""
  domain_and_tolerance: ""
version_bridge:
  prior_semantics: ""
  preserved_observables: []
  allowed_changes: []
  unresolved_mappings: []
cost_and_evidence:
  reference_backend: ""
  alternative_backends: []
  comparison_conditions: ""
  negative_results: []
  evidence_level: "CONCEPT_ONLY"
  validity_scope: ""
authority:
  allowed_actions: []
  denied_actions: []
  confirmation_boundary: ""
```

此表只是待驗證的研究 schema，非已完成 API、資料庫或 NOVA／ADEL 的程式規格。

## 14.2 避免「什麼都成功」的六個 Gate

| Gate | 必須回答的問題 | 可接受狀態 |
|---|---|---|
| G1 型別 | 語義、物理、模擬、觀察與世界效果是否分清？ | PASS／FAIL／UNKNOWN |
| G2 實現 | 是否有完整且可檢查的 $\rho$？ | PASS／FAIL／UNKNOWN |
| G3 版本 | 改動前後保留什麼，故意改了什麼？ | PASS／FAIL／UNKNOWN |
| G4 成本 | 是否將編碼、準備、讀出、驗證及接口納入？ | PASS／FAIL／UNKNOWN |
| G5 反例 | 是否有獨立反例、負結果及不確定性帳本？ | PASS／FAIL／UNKNOWN |
| G6 世界 | 是否分開候選意圖、授權與實際結果？ | PASS／FAIL／UNKNOWN |

重要的是保留 `NOT_RUN`，以區分未測試與測試後未知。概念論文不能宣稱通過需要實驗的 Gate。

## 14.3 三種設計產物的不同權威

- **概念論文**有權提出假說、定義、反例與實驗規格，沒有權利宣告物理裝置已實現。
- **程式語義規格**有權規定合法操作與觀察契約，沒有權利自行修改外部世界真相。
- **執行與驗證系統**提供觀察、證據與提交，但其證據只覆蓋已聲稱與實際測量的域。

不同文件、模型與系統可彼此接續，不能在未建立適用域與橋接時互相替代。

---

# 15. 與 Series B 的分類維度保持一致：可行性不是口號

Series B-03 原有「可行性 $F_0$ – $F_5$ 」與「證據成熟度 $E_0$ – $E_4$ 」兩條相對獨立的評價軸。[I-03]

就 C-01 而言：

| 命題 | 暫定適用的評價方式 | 本稿合理地位 |
|---|---|---|
| 通用數位機可實現指定有限程式語義 | 依指定形式計算模型、編碼和規格判定 | 已有成熟工程基礎；非新實驗結果 |
| 物理儲備池等能執行部分任務 | 各實際器件與任務分開檢查 | 已有部分研究證據，不代表普適 |
| 語義—載體共同修訂的框架可形式化 | 檢查定義一致性、反模型及用途 | 本篇模型內主張 |
| 新語義必定能由新物理材料原生承載 | 必須逐一提出物理機理 | 本篇不主張 |
| 終極「無念無無極自在全合一」計算機存在 | 須具體指定何種物理、計算與主體主張 | 開放上界，不賦予單一可行性分級 |

這個分類方式避免將「物理上目前不清楚」與「語義自相矛盾」混為一談，也避免把某個局部實驗結果誇大為整個宏觀本體論的證明。

---

# 16. 四篇接續研究的任務邊界

## C-02｜《程式語義的物理實在化：自由度、狀態、算子與測量》

**核心問題：** 一個高階語義如何在具體物理載體中取得可寫入、可區分、可控制、可讀出及可驗證的操作含義？

預計研究：

- 形式語義到物理控制／觀察的分層映射；
- 模擬、原生、近似和混合實現的明確界線；
- 狀態準備、噪聲、測量、能量與成本；
- 物理可控性與可觀察性如何限制可編程語義。

**不得提前宣稱：** 找到了通用的物理—語義等同定理。

## C-03｜《定義、反定義與約束生成：可修訂算子域中的語義形成》

**核心問題：** 在既有操作集合不固定時，什麼叫形成新的合法運算語義，而不是重新包裝舊算子？

預計研究：

- 定義、否定約束、反定義與新運算的非等價性；
- 有限或可擴張算子域中的語義更新；
- 語義版本橋、反例、錯誤共識與失敗保存；
- ADEL 研究結果作為已封存的歷史證據，而非重新開發命令。

**不得提前宣稱：** AI 已經證明能無監督創造真正新計算原語。

## C-04｜《物理—數位世界共演化：計算存在、世界生成與具身作用》

**核心問題：** 何時世界是數位狀態、何時是物理承載，何時涉及外部實在與獨立他者？這些域如何保持觀察、作用和身份界限？

預計研究：

- 內部計算世界的狀態、規則、歷史和觀察；
- 具身、感測、物理作動與外部權威；
- 世界切換、世界嵌套、世界模型和數位孿生的型別分離；
- 「計算即存在」及 NNN 系列上界的條件式映射。

**不得提前宣稱：** 被模擬世界就是外部宇宙、任何 AI 具備特定強意識。

## C-05｜《元計算機與原生程式語義共設計：可驗證跨載體計算架構》

**核心問題：** 如何從多種語義與物理實現候選中選擇、組合、測試及保留可稽核的計算能力，而不預先固定唯一語言或唯一硬體？

預計研究：

- 十維型別、24／72 範式、機理／載體路由和語義契約統合；
- 對成本、失真、驗證、權限和回退的最小可行比較；
- 通用模擬、原生硬體與混合系統的正和吸納條件；
- 真正的工程交接規格與開放研究邊界。

**不得提前宣稱：** 已完成可在所有物理載體自舉的語言或元計算機。

---

# 17. 結論：新研究不是「計算機過時」，而是「計算可能性沒有必要過早封閉」

本文以 Series B 的十維計算機型別和 24／72 事件形態為既有研究主幹，將程式語義與物理機理共同變動的情況納入一個明示責任的候選形式框架。

核心答案可以凝縮成三組不互相取代的命題：

$$
\boxed{\text{程式語義可多重實現}\ \not\Rightarrow\ \text{所有實現成本相同}.}
$$

$$
\boxed{\text{物理載體可重構}\ \not\Rightarrow\ \text{任意新語義必然成立}.}
$$

$$
\boxed{\text{語義與機理可以共同演化}\ \not\Rightarrow\ \text{物理、權限與他者邊界消失}.}
$$

同時，也必須保留一個正向開放命題：

> **未來的程式語義不必永遠被今天某一種語言、作業系統、處理器配置或觀察介面所窮盡；成熟的通用經典計算、可組合模擬與異構吸納，和新的原生物理機理一樣，都是擴張計算世界的合法途徑。**

這裡的「擴張」可以表示增加可定址能力、改善可實現的精度與效率、形成新的狀態控制接口、改進驗證、讓原本無法可靠表達的語義取得穩定承載；它**不必等於建立全新可計算函數類別或改變基礎物理定律**。

若要給 Series C 一句最短的研究宗旨，應該是：

> **讓計算機本身、運算機理與程式語義都保有可修訂性；以物理實現、語義保真和可反駁證據決定哪些新可能性真正成立，而不是以歷史名稱、硬體新奇度或本體論修辭先替它們定高下。**

這是 C-01 的收束，也是 C-02 的起點。

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

本篇以下列既有研究作為**定義與問題脈絡**。內部研究文件是作者既有理論的來源，不等同已通過獨立物理實驗；外部文獻則用以定位已有學術研究及避免重複聲稱新發現。各項文獻可能具有不同版本與可見性，不能把引用等同對全部命題背書。

## A. 內部前置研究（I）

- **[I-01]** Neo.K × GPT-5.6 Sol，〈計算機不是一種機器：載體、狀態空間與算子的統一型別系統〉，Series B-01，2026-09-17。[無界智庫公開版](https://unboundedaxiom.org/p/lm-004680/)。十維母型別；VN-1／VN-2／VN-3；機器包含其他機器與多軸型別。
- **[I-02]** Neo.K × GPT-5.6 Sol，〈載體不是機理：電子、光子、量子、生物與相位計算的正交分類〉，Series B-02，2026-09-17。[無界智庫公開版](https://unboundedaxiom.org/p/lm-004687/)。分類正交性、原生／模擬、混合計算及成本比較。
- **[I-03]** Neo.K × GPT-5.6 Sol，〈從可行到不可成立：未來計算機的可行性與證據成熟度分級〉，Series B-03，2026-09-17。[無界智庫公開版](https://unboundedaxiom.org/p/lm-004663/)。按具體 claim 區分 F／E 與矛盾層級。
- **[I-04]** Neo.K × GPT-5.6 Sol，〈本徵態計算：從路徑求解到狀態選擇〉，Series B-05，2026-09-17。[無界智庫公開版](https://unboundedaxiom.org/p/lm-004673/)。Constraint-to-Landscape 與 operator/preparation/readout 成本。
- **[I-05]** Neo.K × GPT-5.6 Sol，〈0—無限底空間—1：離散基底、連續極限與可組合計算宇宙〉，Series B-06，2026-09-17。[無界智庫公開版](https://unboundedaxiom.org/p/lm-004636/)。可擴展底空間、四種普適性與馮紐曼相關偏好的重新型別化。
- **[I-06]** Neo.K × GPT-5.6 Sol，〈從統一計算機型別到二十四重計算形態〉，Computational Spine Closure-01，2026-09-17。[無界智庫公開版](https://unboundedaxiom.org/p/lm-004665/)。計算機型別與局部事件形態分離。
- **[I-07]** Neo.K × GPT-5.6 Sol，〈從二十四重形態到七十二格動力學〉，Computational Spine Closure-02，2026-09-17。[無界智庫公開版](https://unboundedaxiom.org/p/lm-004661/)。最低充分轉移律和混合路徑。
- **[I-08]** Neo.K × GPT-5.6 Sol，〈從七十二格到全域計算 Runtime〉，Computational Spine Closure-03，2026-09-17。[無界智庫公開版](https://unboundedaxiom.org/p/lm-004660/)。PCMT、GIPE、已驗證執行與全域計算圖。
- **[I-09]** Neo.K，〈元計算機：ASI 如何選擇、組合與切換計算機理〉，2026-09-22。動態選擇／組合計算型別、機理與載體。
- **[I-10]** EveMissLab，ADEL 專案，〈暫停決定〉，2026-10-24。[GitHub 原始文件](https://github.com/kakon77777-commits/ADEL/blob/main/docs/PAUSE_DECISION.md)。記載完整 fresh 互動 L2 未獲成功見證、研究封存與禁止未經授權重啟。
- **[I-11]** EveMissLab，NOVA-Core-Closure 與 NOVA-Language 原始規格及 GitHub 研究狀態。[NOVA-Core-Closure](https://github.com/kakon77777-commits/NOVA-Core-Closure)；[NOVA-Language](https://github.com/kakon77777-commits/NOVA-Language)。結構化程式權威與可驗證候選圖補丁；本篇不變更其規格。
- **[I-12]** Neo.K with Aletheia，〈計算即存在 2.0：生成、可換載體、計算相態與 X 階自觀察〉，ACWC-03，2026-08-26。實際計算事件與其所表示命題的真值分離。
- **[I-13]** Neo.K，〈四態不必取代馮・諾依曼架構：從抽象資料型別到軟體推理層〉，2026。四態語義可由現有 ISA、IR、Runtime 多後端承載。
- **[I-14]** Neo.K × Aletheia／GPT-6，〈從一念創世到無念〉，NNN-SO-01，2026-10-27。原稿：`NNN_01_從一念創世到無念_意圖符號行為與非階序生成_v1.0_2026-10-27.md`。
- **[I-15]** Neo.K × Aletheia／GPT-6，〈無無極〉，NNN-SO-02，2026-10-27。原稿：`NNN_02_無無極_前符號可區分性約束生成與無界可能性域_v1.0_2026-10-27.md`。
- **[I-16]** Neo.K × Aletheia／GPT-6，〈自在全合一〉，NNN-SO-03，2026-10-27。原稿：`NNN_03_自在全合一_主客邊內在化非同一性合一與多世界存在投影_v1.0_2026-10-27.md`。
- **[I-17]** 本輪接續修補文件，〈馮・諾依曼架構演化、模擬普適性與計算共構立場：局部語義澄清與修補建議〉，2026-10-27。原稿：`VN_架構演化模擬普適性與共構立場_局部語義修補建議_v0.1_2026-10-27.md`。僅為修補建議，未修改舊稿。

**文獻缺口聲明：** 原先 Series B 資料夾內未直接讀得 B-04 原稿；本篇不引用未核讀的 B-04 來證明任何新主張。另 NOVA／ADEL 等私有倉庫連結是否可由第三方存取，取決於倉庫權限；此處是來源定位，不表示全部公開。

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

- **[E-01]** IBM，〈Rolf W. Landauer〉，IBM 歷史研究介紹。[官方頁面](https://www.ibm.com/history/rolf-landauer)。說明資訊抹除與計算熱力學限制的基本問題；本篇不聲稱每一個邏輯操作都必然支付相同最小抹除能量。
- **[E-02]** Cousot, P. & Cousot, R. (1977). “Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.” *POPL*, 238–252. [DOI: 10.1145/512950.512973](https://doi.org/10.1145/512950.512973)。正式語義與抽象觀察早有深厚文獻。
- **[E-03]** Lattner, C., Amini, M., Bondhugula, U., Cohen, A., Davis, A., Pienaar, J., Riddle, R., Shpeisman, T., Vasilache, N., & Zinenko, O. (2021). “MLIR: Scaling Compiler Infrastructure for Domain Specific Computation.” *CGO 2021*, 2–14. [研究介紹](https://research.google/pubs/mlir-scaling-compiler-infrastructure-for-domain-specific-computation/)；[MLIR 官方出版頁](https://mlir.llvm.org/pubs/)。多層 IR、異構編譯及共同設計不是本篇首次提出的技術概念。
- **[E-04]** Stepney, S. (2024). “Physical reservoir computing: a tutorial.” *Natural Computing*, 23, 665–685. [DOI: 10.1007/s11047-024-09997-y](https://doi.org/10.1007/s11047-024-09997-y)。特別討論物理系統何時構成計算，以及編碼、讀出、規模化和測試問題。
- **[E-05]** Liang, X., Tang, J., Zhong, Y., Gao, B., Qian, H., & Wu, H. (2024). “Physical reservoir computing with emerging electronics.” *Nature Electronics*, 7, 193–206. [DOI: 10.1038/s41928-024-01133-z](https://www.nature.com/articles/s41928-024-01133-z)。物理材料的動力學可在特定設定下承擔計算；不支撐任意物理系統均自動成為通用計算機的強主張。
- **[E-06]** IBM Quantum，〈Qiskit v2.0 migration guide〉及量子平台更新。[Qiskit 2.0 官方說明](https://quantum.cloud.ibm.com/docs/en/guides/qiskit-2.0)；[官方更新](https://docs.quantum.ibm.com/guides/latest-updates)。記錄 2025 年 pulse-level 存取及 `qiskit.pulse` 的實際介面變更。

---

# 附錄 A：與既有研究兼容的概念索引

| 術語 | 本篇最低意義 | 最容易發生的錯位 |
|---|---|---|
| 計算機型別 | Series B 的十維能力／載體／約束描述 | 把「光子」「量子」「Agent」視為同層互斥物種 |
| 程式語義 | 可觀察的操作、輸入、結果及失敗契約 | 把自然語言敘述當作已執行 |
| 物理機理 | 實際造成狀態演化的作用方式 | 把材料動態直接等同任何演算法 |
| 實現見證 | 編碼、控制、演化、讀出和比較的證據對應 | 未有實驗便宣稱模型已被實現 |
| 共構 | 語義與機理可在明示邊界內被共同設計、修訂與比較 | 把耦合當作本體同一或物理全能 |
| 模擬普適性 | 在指定形式模型／編碼／資源假設下的模擬能力 | 等同零成本、零失真、物理全能 |
| 原生計算 | 指定轉換由載體本身的物理動力承擔 | 自動等同更快、更好、更高級 |
| 世界投影 | 對世界／模型狀態的可觀察映射 | 由相同畫面推導兩個世界本體同一 |
| 跨版本橋 | 保留不變量並記錄允許變更的映射 | 只改名稱便宣稱完全等價 |
| 0—無限底空間—1 | 最小接口與可擴展可定址計算域的理論構造 | 單一有限裝置已實存無限狀態 |

# 附錄 B：具體觀測與論證的範圍聲明

本篇是**有模型與反例的候選理論論文**，不是：

- 一個已部署的跨物理語義編譯器；
- 已完成多載體性能基準測試的實驗報告；
- 已獲證實的 AI 原生新運算原語發現論文；
- 一台終極計算機或世界生成物理裝置的設計完成證書；
- 一項量子計算超越經典複雜度的普適定理；
- 一個能自行變更外部世界法律、同意與因果規則的授權機制。

若未來建立實作，應在最初宣告的任務、載體及資源邊界內報告成功和失敗，且不能將不同模型的觀察結果作無證據外推。

# 附錄 C：完成與後續交接紀錄

| 欄位 | 狀態 |
|---|---|
| Series B 十維型別已沿用 | **完成**；沒有自行更換母型別 |
| 24／72 與系統型別的責任已分離 | **完成** |
| 馮・諾依曼正面立場已固定 | **完成**；保留模擬、吸納、組合及異構演化 |
| 實現見證與語義橋的研究模型 | **完成候選定義**；尚未進行實機驗證 |
| 六個模型內命題與反例 | **完成文本論證**；有效性依附所列前提 |
| 四個對照案例和三個思維實驗 | **完成研究設計**；非實測結果 |
| C-02 至 C-05 分工 | **完成交接條目** |
| NOVA 或 ADEL 實際原始碼修改 | **NOT_RUN**；不在本次授權範圍 |
| 真實硬體、量子設備、物理儲備池實驗 | **NOT_RUN** |
| 獨立同行審查及第三方重現 | **NOT_RUN** |

**下一篇唯一正式接續：** Series C-02《程式語義的物理實在化：自由度、狀態、算子與測量》。  
**本篇結束。**