title: 定義、反定義與約束生成：可修訂算子域中的語義形成
english_title: Definition, De-Definition, and Constraint Genesis: Semantic Formation over Revisable Operator Domains
series: 物理實在—計算機理—程式語義共構論（Series C）
paper_id: Series C-03
series_number: 03/05
author: Neo.K × GPT-6
institution: EveMissLab／一言諾科技有限公司
version: v1.0
date: 2026-10-28
language: zh-TW
document_type: 計算本體論／可修訂程式語義／形式模型與反例研究
research_status: THEORETICAL_MODEL_ONLY — 未進行本篇新硬體實驗或跨模型 fresh 驗證
repository_actions: NONE

定義、反定義與約束生成：可修訂算子域中的語義形成

Q: 13.1 實驗 I：固定文法與可增長文法，究竟差在哪裡？

研究問題：增加新語法建構子，是否增加操作語義？

Q: 13.2 實驗 II：加強約束之後為什麼可能出現新能力？

研究問題：是約束真的創造能力，還是約束驅動了額外的設計流程？

Q: 13.3 實驗 III：新材料的連結拓撲是否能成為新語義？

研究問題：如果計算載體的連接方式本身就是可控制參數，哪些語義新生是真實的？

Q: 13.4 實驗 IV：跨模型形成新符號，如何防止共同誤解？

研究問題：什麼情況下多個智能體之間的「共識」真正提供新的外部證據？

Q: 20.2 批評二：反定義是否必然導致任意解釋？

若任意撤銷排除條件而不保留來源、依賴及可觀察判準，確實會。本文因此要求 DEDEFINE 附帶作用域、撤銷原因與版本橋，而不賦予其無條件正確性。

Q: 20.3 批評三：如果連算子、型別與驗證規則都會改變，怎麼比較？

沒有共同比較語境時，可能就是不可直接比較。可以選擇有限的跨版本不變量、建立 partial bridge，或誠實標示 NOT_COMPARABLE。絕不可把無法比較裝扮成「新版本更高等」。

Definition, De-Definition, and Constraint Genesis: Semantic Formation over Revisable Operator Domains

系列：Series C《物理實在—計算機理—程式語義共構論》
篇次：C-03／05
作者：Neo.K × GPT-6
機構：EveMissLab（一言諾科技有限公司）
日期：2026-10-28（Asia/Taipei）
版本：v1.0
研究性質：原創候選框架、形式模型、模型內推論、反模型與未執行思維實驗。不是已建立之通用程式語義生成定理。
前篇：C-01〈從統一計算機型別到物理—語義共構〉；C-02〈程式語義的物理實在化〉。
後篇：C-04〈物理—數位世界共演化〉；C-05〈元計算機與原生程式語義共設計〉。

摘要

傳統的程式合成、形式語義與編譯器研究，通常先指定某一組語法、語義、可用算子及合法性條件，再考察哪些程式可以在該框架內被構造、優化、證明或執行。然而，對於持續演化的 AI 原生計算機、跨載體計算架構及物理—語義共構系統，更前置的問題是：若對象的定義、合法算子集合、輸入輸出差異、約束甚至觀察方式均可能被修訂，系統如何區分「舊規則中的新答案」與「計算規則自身的受控形成」？

本文接續 Series C-01 的跨載體實現見證與語義版本橋，以及 C-02 對物理自由度、準備、控制、讀出、驗證的嚴格區分，提出「可修訂算子域語義形成框架」（Revisable Operator-Domain Semantic Formation, RODSF），作為候選分析模型，而非新的程式語言、執行器或現成硬體。框架以具版本的定義紀錄、偏定義域、型別化算子族、局部約束、前符號定址、跨版本橋及可觀察驗證條件，描述語義如何從未穩定的候選中形成，以及何時可以合法修訂原先的分類。

本文區分五種經常混用的活動：既有空間的搜尋、對同一能力的重新命名、既有算子的合成、修改可達域／型別與算子規格，以及聲稱產生不能由既有原語充分還原的新運算語義。最後一項所需證據遠高於前四項，不能由命名、模型共識、有限示例或局部性能優勢直接推得。本文採用相對於明示基準閉包的「新奇性」分級；不把相對新奇偷換成突破可計算性理論，也不把未知等同於不可能。

中心結果是若干模型內有條件命題：在固定狀態域和固定解釋下加強約束，只能縮減合法候選集合；但若約束能成為設計壓力，觸發可檢查的表示、控制或算子重構，新的有效可達結果仍可能增加。另一方面，有限相同觀察不能證明兩個不同操作在完整域上等價；同樣不能證明某候選操作在完整域上真正不可還原。所有版本變更均須標示保留的不變量、允許的斷裂、成本轉移、驗證範圍與必要的物理實現見證。

本文特別核對 ADEL（Anti-Definition Emergent Language）的 2026-10-24 封存紀錄：當時未取得完整 fresh 互動 L2 的成功見證，曾觀察到強模型間的錯誤共識與欠定反例問題。因此本文只將 ADEL 作為尚未成功證明新語義原語的歷史反例；不重啟實驗、不擅自修改 repository、不聲稱其目標已達成，也不由失敗推論目標永遠不可行。

最終本文將「反定義」界定為對既有定義之範圍、依據、排除條件與封閉資格的有證據重開，而非反邏輯、任意否定或無條件創造。它為後續 C-04 研究持續世界生成，以及 C-05 研究跨載體語義共設計，提供可比較、可失敗、可修訂的局部語義基礎。

關鍵詞：定義、反定義、約束生成、算子域、語義形成、前符號語義定址、閉包、非保守擴張、語義版本橋、反例驅動、物理—語義共構、ADEL、可計算性、AI 原生程式語言。

Abstract

Programming-language semantics and program synthesis often assume a specified language, operator basis, interpretation, and set of admissibility constraints. Physical–semantic co-construction raises a prior question: what counts as semantic formation when the definitions, operational vocabulary, typing boundaries, control interfaces, and observation contracts themselves can change? This paper proposes Revisable Operator-Domain Semantic Formation (RODSF), a conditional conceptual framework rather than an implemented language or a verified discovery algorithm. It separates search within a fixed domain, renaming, composition, operator-domain reconfiguration, and claims of genuinely new operational primitives. A time-indexed semantic frame, partial definitions, version bridges, realization witnesses, and counterexample obligations are introduced to prevent vocabulary changes from being misreported as new computation. Within fixed domains, strengthening constraints reduces admissible states; under frame-reconstruction mechanisms, a new system can nevertheless acquire additional reachable behavior. Such reconstruction is not free, is not automatically semantically conservative, and requires evidence independent of the proposal mechanism. The archived ADEL investigation is treated strictly as an unvalidated research case with documented consensus failures, not as a successful demonstration. The resulting framework provides an epistemically bounded interface to subsequent studies of computational worlds and meta-computer design.

0. 研究定位：C-03 不等於新的「反定義語言」實作

本系列的研究進度如下：

Series B：把「XX 計算機」拆解為載體、狀態、算子、控制、記憶、地址、讀出、接口、約束與資源的十維型別；相容但不必互相取代。[I-01][I-02]
C-01：用實現見證與語義橋描述同一語義如何由不同載體實現，以及載體與語義共同修訂時如何保留可比性。[I-03]
C-02：把語義的物理實在化具體化為可準備、可控制、可觀察、可定址與可驗證的條件，而非抽象「語義＝物理」。[I-04]
C-03（本文）：當語義的構成單位與合法作用的集合也允許修改時，如何判斷其新生、連續性、錯位或失敗。

本篇不完成：

可自動發明任何新語義的 AI；
ADEL v0.3 或任何被暫停的原型；
新型量子／類比／物理硬體；
24／72 計算形態的證明完備性；
C-04 關於「世界自身是否構成計算」的本體論強聲稱；
C-05 的可部署元編譯器。

這些邊界不是消極保守，而是區分能夠提出有價值的問題與已經取得強結論。

0.1 本篇的命題層級

本文每項聲稱應屬下列之一：

標記	類型	可據此主張
`D`	工作定義	在本論文內某名詞的用法；不等於實體被證實存在
`M`	模型內推論	在列明假設下得到的關係；不等於外部世界定理
`H`	可檢查假說	有待實驗、形式推導或反例驗證的可能機制
`R`	研究／驗證規範	如何界定成功、失敗與未知；不是先驗成功保證
`E`	已有外部成果	僅在公開文獻實際支持的研究範圍使用

凡未附驗證證據的假想計算原語，一律保留 PROPOSAL 或 UNKNOWN，而不是偷偷升格為 VERIFIED_NEW_PRIMITIVE。

0.2 本篇真正要解的三問

第一：在符號尚未固定之前，如何保留足以繼續檢查的候選對象？

第二：當限制變化後，是舊候選被篩掉，還是有效計算域真的被重建？

第三：若有人宣稱「原本做不到的計算語義現在成立」，究竟要與什麼基準比較、由誰驗證，以及什麼情況下應撤回？

1. 既有研究脈絡：不是從零發明語義變化

1.1 PSSA：被指、定址、概念與名稱分離

先前〈前符號語義定址〉提出：某主體可能尚未決定自然語言、數學或程式形式，卻已在概念底空間中辨識出「正在指向某個東西」的候選。它將被指候選 $r_t$ 、相對地址 $a_t$ 、可構造語義狀態 $Z_t$ 與符號投影分開。[I-05]

\boxed{ r_t\longrightarrow a_t\longrightarrow Z_t\longrightarrow \Pi_\lambda(Z_t). }

其核心並非宣稱任何「尚未命名」的東西已經完整存在，更不是地址擁有神奇生成力，而是讓名稱還沒有形成的差異可以暫時被追蹤、比較、排除與重訪。

本文保留其相對地址、負約束、來源版本與未知欄位，但更進一步討論：若被指候選後來被證實與舊有型別不符，能否重新打開分類，而不抹除當初的失敗證據？

1.2 展開算子：搜尋內部路徑，還是構造計算域？

先前〈展開算子的第二代定義〉將 Search 與 Expansion 分開：搜尋位於既有活動計算域之內，而展開可改變節點、關係、工具、地址或算子族。[I-06]

這仍不等於已發現基本上不可還原的新運算。新增一個 API、索引或硬體控制器可以實際擴大某系統的可用能力，但可能完全由既有算子組合實現。

因此本文將以下兩種不同的「新」分別記錄：

\boxed{ \text{effective capability expansion}\ \neq\ \text{fundamental semantic novelty}. }

前者可以是重要工程進步；後者需要更強的不可還原性論證。

1.3 「無無極」：開放上界不能當作當下的物理資源

NNN-02〈無無極〉已提出「固定框架中的候選集合」與「可修訂框架族」的不同：在固定狀態集上增加限制通常只會縮小可行集合；真正的框架變動則可能改變哪些東西可以被表示、區分、尋址及合法作用。[I-07]

C-03 將這個哲學區分落到可比較的語義與算子模型上，不宣稱每次重定義都會增加能力，更不主張有限機器能在某個有限時刻實現字面上無限的資訊狀態。

1.4 ADEL 的現況：保留研究史，不能把缺口改稱成果

根據 ADEL 私有 repository 的 docs/PAUSE_DECISION.md（2026-10-24），研究已封存；離線基礎與部分 peer 恢復有觀察結果，但完整 fresh 互動 L2 未成功見證。更重要的是，模型間一度出現共同但錯誤的共識，顯示只靠相互認可不足以判定語義修復。[I-08]

本文不將 ADEL 當作已驗證的方法，也不延長其實驗路線。ADEL 在本文的地位是：提醒任何關於「反定義—新生原語」的理論，都必須明列欠定性、共同錯誤、測試依賴、oracle 使用、獨立 fresh 驗證與撤銷條件。

1.5 公開已有的鄰近研究並不少

條件式重寫邏輯、抽象詮釋、反例引導抽象精化（CEGAR）、反例引導歸納合成（CEGIS）、語法引導程式合成（SyGuS）、動態軟體更新及已驗證編譯，均已研究如何在規則、抽象、語義與驗證限制下構造或修訂計算。[E-01]—[E-07]

因此，C-03 不能宣稱「程式語義可修訂」是首次被提出。它的候選貢獻較精確：把前符號被指—定義—反定義—算子域改寫—物理實現見證—新奇性認識等級放進同一個帶版本的比較框架；是否構成足夠獨立的學術貢獻，需要後續實驗與外部評議，而不能由本篇自評決定。

2. 五個最容易被混用的概念

2.1 定義（Definition）

本篇的定義不是給字串取名字，而是建立一個有作用域、可檢查、可引用的差異規約。例如「有效轉移」這一名詞應明示在哪種狀態、控制、觀察及容錯條件下適用。

定義至少回答：

如何區分符合與不符合；
它在哪個適用域有效；
哪些條件尚未處理；
它和既有型別的關係；
由什麼證據支持或否定；
修訂後舊引用如何解釋。

定義可以是部分的。對前符號候選，允許 UNRESOLVED、NOT_YET_DISTINGUISHABLE、CONFLICTING_EVIDENCE 等狀態。

2.2 反定義／解定義（De-Definition）

本文保留使用者的歷史名稱「反定義」，但指定其操作性用法：

對曾被視為固定或閉合的分類、概念邊界、型別指定、排除條件或操作規約，進行具來源的撤銷、放鬆、拆解、分裂、重選或再指定作用域。

這不是邏輯否定 $\neg P$ 的同義詞，不是反對所有定義，也不是隨意把錯誤叫成正確。

例如舊定義把兩種不同實驗機制統一稱為 phase，當反例指出它們的可觀察更新不同，可以分裂或重定義；不能因此宣稱發現全新的物理相位。

反定義的最低完成條件不是「舊詞已被推翻」，而是：變更原因、受影響依賴、保留內容與未解範圍已被記錄。

2.3 約束（Constraint）

約束可以是邏輯合法性、資源、物理邊界、權限、觀察解析度、保真度，或規定某結果必須具有的性質。約束未必只是禁止；它也可能給設計活動提供方向。

但要分清：

\text{constraint as filter} \quad\neq\quad \text{constraint as generative design requirement}.

前者在固定宇宙中篩選；後者經由額外的重構機制影響新的語義或物理設計。約束本身不憑空執行設計。

2.4 展開（Expansion）

「展開」可能只是多生成候選；也可能引入新的可定址工具、表示、算子、外部資料或控制接口。兩者都可能有用，但不能用同一個「展開成功」標籤代替。

特別地，加入功能性服務能提高有效可達域，而不必修改任何基本可計算函數集合。

2.5 語義形成（Semantic Formation）

本篇所謂語義形成，暫指某個候選由「尚無穩定可操作區分」，經定址、約束、構造、排除、控制與驗證，逐步取得可引用、可比較、可執行或可否證之操作意義的過程。

成立不等於成功：一個新語義可能形成為失敗類別、不可用型別、僅部分有效的操作，或被迫保留為未知候選。這同樣是有效研究資訊。

3. 「還沒有定義」不是同一種狀態

我們至少需要以下類型，否則系統會把欠定性直接當作無限可能：

狀態	具體意義	不應偷換成
`UNNAMED`	現象已有可區分特徵，但尚未取名	新物理實體
`UNDERDEFINED`	有部分正負條件，不足以唯一辨識	任意可操作性
`AMBIGUOUS`	多個既有解釋均符合目前證據	無條件存在多個不同本體
`UNOBSERVABLE`	目前儀器或接口不能辨識必要差異	不可能存在
`UNCONTROLLABLE`	已知狀態可能存在，但目前不可準備／操控	物理定律禁止
`INCONSISTENT`	同一作用域下的約束相互衝突	已證真正新運算
`UNDECIDABLE`	指定形式系統內不存在對全部輸入有效的判定程序，需附精確問題與證明	目前人類想不出辦法
`OUT_OF_SCOPE`	不屬目前模型或證書有效域	永遠不能研究
`UNAUTHORIZED`	缺合法執行權限	沒有物理能力
`UNKNOWN`	認識資訊不足，暫無足夠分類	反例已被排除

此表的核心原則是：語義不完整是可保存的研究狀態，不是應由模型自行幻想填滿的空白。

當新觀察顯示以前的型別錯了，合理行為通常是 RETYPE、SPLIT、RESTRICT、READDRESS 或 RETRACT。只有在這些不能處理新資料，且有實際可檢查的操作差異時，才進入較強的新原語候選。

4. 可修訂算子域的形式框架（RODSF）

4.1 定義 C03-D1：帶版本的語義形成框架

令 $t$ 為研究／系統版本索引，不必等於真實物理時間。暫定：

\boxed{ \mathfrak F_t=\langle \Sigma_t,\mathcal X_t,\mathcal O_t,\mathcal D_t, \Gamma_t,\mathcal A_t,\mathcal V_t,\rho_t,L_t \rangle .}

其中：

$\Sigma_t$ ：目前可用的符號、名稱、結構化構造器及其型別；
$\mathcal X_t$ ：當前可表示或可建模的運算狀態域；
$\mathcal O_t$ ：帶定義域、轉移律和權限的合法算子族；
$\mathcal D_t$ ：定義／反定義紀錄，包含負條件與開放問題；
$\Gamma_t$ ：適用域、約束、物理與邏輯條件；
$\mathcal A_t$ ：可定址與可調用的語義／能力接口；
$\mathcal V_t$ ：檢查器、測量規格、反例與接受條件；
$\rho_t$ ：C-01/C-02 定義的實現見證，允許值為 UNKNOWN；
$L_t$ ：來源、依賴、版本、外部權威、成本與失敗帳本。

這是附著於既有 Series B 十維計算機型別上的語義分析視圖，不宣稱以九元組取代十維電腦分類，也不宣稱所有物理過程都必須內含自然語言式「定義」。

4.2 定義 C03-D2：定義紀錄

對候選名稱或未命名的暫存地址 $a$ ，暫以：

\boxed{ d_a=\langle a,\operatorname{scope},\operatorname{pos},\operatorname{neg}, \operatorname{typing},\operatorname{meaning},\operatorname{open},v,\operatorname{provenance}\rangle }

記錄：正向判準、排除判準、型別、解釋、尚未決定部分、版本和來源。 $\operatorname{meaning}$ 可以是偏函數、關係、狀態轉移規格或在某些輸入下的觀察分布。

當尚不能提供完整的 $\operatorname{meaning}$ 時， $d_a$ 仍可合法存在，但其狀態是 CANDIDATE，不具有外部世界修改權。

4.3 定義 C03-D3：偏型別化算子

不把每個算子預設成確定性總函數。令：

\boxed{ o:\operatorname{Dom}_t(o)\rightharpoonup \operatorname{Outcome}_{\tau(o)}(\mathcal X_t), \qquad o\in\mathcal O_t. }

其中 $\tau(o)$ 明示該算子的轉移法則型別。對確定性古典轉移，可以取 $\operatorname{Outcome}_{\rm det}(X)=X$ ；對非確定集合值轉移，可取 $\operatorname{Outcome}_{\rm nd}(X)=\mathcal P(X)$ ；對古典隨機輸出，可取機率分布空間 $\operatorname{Prob}(X)$ 。這些只是按型別分別定義的簽名，不是宣稱它們的共域本來就是同一對象。若涉及量子系統，還須改用量子態空間、適當的量子通道與測量契約；不能把量子相干性當成古典隨機核便宣稱完整保留。[I-04]

算子的「新」必須相對於當時已宣告的 $\mathcal O_t$ 、語義解釋、可合法組合規則與驗證準則。不同研究者的基準不同時，應先建立比較橋，而不是只比較名稱。

4.4 定義 C03-D4：框架修訂關係

框架修訂寫成一個帶操作原因和證據的部分關係：

\boxed{ \mathfrak F_t\xRightarrow[{L_t,E_t}]{u_t}\mathfrak F_{t+1}.}

其中 $u_t$ 可以是 DEFINE、REDEFINE、DEDEFINE、SPLIT、MERGE、RETYPE、EXTEND、RESTRICT、COMPOSE、REPLACE_REALIZER 或 RETRACT； $E_t$ 是當次支持與反對的證據集合。

只有完成合法的外部提交步驟，才可以另外寫成對某個權威世界的修改；框架修訂本身不等於外部物理作用。

4.5 定義 C03-D5：版本語義橋

沿用 C-01 的部分橋接 $b_t$ ，但補入修訂後的義務：

\boxed{ B_{t\to t+1}=\langle b_t,\mathcal J_t,\Delta_t^{\rm allowed},D_b,Q_b,\epsilon_b,\operatorname{evidence}\rangle .}

$b_t$ ：舊語義狀態到新語義狀態的部分映射；
$\mathcal J_t$ ：必須保留的可比較不變量；
$\Delta_t^{\rm allowed}$ ：允許而且要公開列出的語義變化；
$D_b,Q_b,\epsilon_b$ ：橋接適用域、觀察準則與容忍界；
$\operatorname{evidence}$ ：證明、測試、反例、遷移紀錄及未完成項。

當只保留部分語義時，正確說法是對哪些觀察保真，不是「新版本與舊版本完全相同」。

4.6 定義 C03-D6：當前可用語義閉包

令 $\operatorname{Cl}_{\Gamma_t,B}(\mathcal O_t)$ 是在固定操作集合、固定組合規則、資源預算 $B$ 與約束 $\Gamma_t$ 下，可被合法且有界地組合之算子表達式集合。它不是形上意義的「世界全部可能性」，也不必可有效列舉。

此處必須同時記錄：

\boxed{ \operatorname{Definable}_t\neq \operatorname{Reachable}_t\neq \operatorname{Efficient}_t\neq \operatorname{Verified}_t. }

「理論能定義」「目前機器能運作」「可在成本內完成」「已有有效證書」是四種不同的資格。某種語義即使在形式上可表示，也可能因硬體讀出、編碼或誤差而尚不可執行；反之，物理載體呈現了新狀態，也不能自動獲得可操作語義。

5. 六類變化：從搜尋到候選新原語

類型	更新內容	新的是什麼	保守預設
`S0 SEARCH`	在既有 $\operatorname{Cl}$ 找表達式	找到答案／路徑	不宣稱新運算語義
`S1 RENAME`	名稱、符號、表面投影	新稱呼／較好理解	不宣稱新可觀察作用
`S2 RECOMPOSE`	既有算子的新組合	新程序、組織、成本剖面	不宣稱基本新原語
`S3 REFRAME`	狀態域、型別、約束或觀察方式改變	新框架或新合法域	需新舊比較橋
`S4 REALIZER`	物理控制、後端或可達能力改變	新可用實現、原生性或效率	需 C-02 實現見證
`S5 PRIMITIVE-CANDIDATE`	候選運算不能由宣告的既有閉包充分重現	相對新運算原語的假說	必須有不可還原性與反例查核

這六類不是「高等境界」，也不表示上一類一定要先完成才能有下一類。 $S2$ 在商業或科學實用性上可能遠勝 $S5$ 的未驗證幻想。 $S3$ 可以因發現舊定義錯誤而縮小能力宣告；這不叫研究退步，而是對有效域的修正。

尤其須避免：

\boxed{S5\ \text{relative to a declared baseline}\ \not\Rightarrow\ \text{new Turing-computability class}.}

即使相對原語成立，仍可能由一般通用經典計算機模擬、編譯或吸納；是否具有原生性能優勢，另由成本與物理證據決定。

6. 固定約束與生成約束：兩條必須分開的路

6.1 固定宇宙中的過濾

若狀態域 $X$ 、語義解釋 $\llbracket\cdot\rrbracket$ 、算子族 $\mathcal O$ 均固定，且新約束 $\Gamma'$ 嚴格強於 $\Gamma$ ，在共同解釋下有：

\Gamma'\models\Gamma,

則合格狀態集：

\operatorname{Sat}(X,\Gamma')\subseteq\operatorname{Sat}(X,\Gamma).

例如在固定程式候選清單中追加「結果必須非負」，不會憑空增加候選清單中的新運算方式。它最多縮小合法結果、改變排名、讓某候選更容易被識別。

6.2 約束作為重構誘因

若新約束同時提交給一個明確存在的設計器 $G$ ：

\boxed{ G(\mathfrak F_t,\Gamma',B)\rightsquigarrow \mathfrak F_{t+1},}

則 $G$ 可能提出新的表示、數據結構、索引、控制方法、算法或硬體連結。此時被比較的是兩個不同框架的可達能力，而非同一框架內的候選包含關係。

必須記錄 $G$ 的來源、其所使用的外部知識、合成成本與所有權限。若它從外部工具或固定內建函式庫取得了新操作，應標成「吸納能力」或「重組」，而不是謊稱憑空生成。

6.3 一個不自相矛盾的例子

原系統只允許：

\mathcal O_t=\{\mathrm{read},\mathrm{write}\}

且不能依內容有效檢索大量項目。設計需求追加「必須在指定時間內取得符合條件的記錄」。在固定實現中，新條件只是淘汰不達標路徑；但若設計器可以新增索引、快取與持久資料結構，得到 $\mathcal O_{t+1}$ ，便有可能在新成本界下實現原本不可行的工作負載。

可是索引本身仍可能由舊讀寫操作構造，因而不構成超越原有經典計算的基本新原語。原先「不可達」的含義必須帶有時間、資源與接口索引。

6.4 保留失敗的可能性

新的設計需求也可能讓問題根本不可行，例如在既定有限儲存設備上要求以完全零延遲、零能源及無限精度處理任意輸入。若這些條件與給定物理假設互相矛盾，系統不應隨便升級材料、改寫語義或宣稱新物理來逃避限制。

此時正確結果可能是：INFEASIBLE_UNDER_ASSUMPTIONS、UNSAT、OUT_OF_BUDGET 或 UNKNOWN。分級須沿用 Series B 的 feasibility／evidence 雙軸，而不是把所有失敗都當成「舊計算機不夠高等」。

7. 真正核心問題：什麼叫「新的運算語義」？

7.1 定義 C03-D7：語義等價必須相對於觀察契約

給定程式／算子 $f,g$ 、比較域 $D$ 、觀察契約 $Q$ 、資源條件 $B$ 和容忍度 $\epsilon$ ，暫定：

\boxed{f\simeq_{D,Q,B,\epsilon}g}

表示兩者在所指定條件下具有足夠相近的可觀察作用。此等價可以比較終態值、概率分布、trace、錯誤型別、權限結果或耗費資源；必須由 $Q$ 決定，不能只因兩段程式在某張示意圖上看起來相似就宣稱等價。

如果 $Q$ 只檢查最後輸出，可能忽略一個程式曾經修改私人資料、違反權限或在途中破壞可恢復性。對此類任務， $Q$ 必須包含必要的歷史和效應維度。

7.2 定義 C03-D8：相對新原語候選

一個提案 $o^\star$ 若聲稱相對於基準 $\mathfrak F_t$ 是新原語，須指定：

\boxed{ \operatorname{NewPrimitiveCandidate}(o^\star\mid \mathfrak F_t,D,Q,B,\epsilon). }

只有當候選有明確操作契約，而且尚找不到或已嚴格排除一個既有組合 $e$ 滿足：

e\in\operatorname{Cl}_{\Gamma_t,B}(\mathcal O_t), \qquad e\simeq_{D,Q,B,\epsilon}o^\star,

才有理由討論相對新奇。

需將未找到與證明不存在嚴格分開：

\boxed{\neg\operatorname{Found}(e)\not\Rightarrow\neg\exists e.}

對可數無限程式空間，有限搜尋失敗通常無法證明完整不可還原性。只有在指定有限閉包可窮盡，或存在有力的數學不變量／不可定義性證明時，才可能提升為較強結論。

7.3 五個不能互相代理的「新」

新符號：新增一個名稱或視覺圖樣。這可能提升可讀性，但不必有新操作。

新語義區分：原本混同的行為被觀察／契約區分。它可能只是更精確的分類。

新操作編排：舊操作經組合形成新的流程或效率優勢。這可能非常有價值，但不保證不可還原。

新可達實現：加入新物理控制、記憶、外部工具或後端，讓某工作負載從不可用變為可用。這是實際能力擴張，但不一定是新的抽象可計算函數。

相對新原語：在指定閉包、觀察與代價條件下，現有算子無法充分等效重建的操作。這是一個可研究的相對性資格，不是在宇宙中發現最終不可約基本元素的保證。

7.4 原語資格的三種強度

強度	允許的宣告	所需最低證據
`NP-C`	新原語候選	清楚定義、必要行為、基準清單、明示反例測試
`NP-R`	相對既有閉包尚不可還原／已被證明不可還原（須區分）	一個可檢查的閉包不可表達性論證或審慎的 `NOT_FOUND` 報告
`NP-V`	相對新原語已在指定適用域實現	合法型別、實現見證、獨立驗證、失敗記錄、成本與限制

不建議使用沒有範圍的 GENUINELY_NEW_FOREVER 或 UNIVERSAL_PRIMITIVE，因為任何「原語」都依賴所選語言、抽象層、硬體接口及觀察準則。

7.5 為什麼不用單一「新奇分數」？

若定義：

N(o^\star)=0.97,

卻沒有說明是語法新奇、可觀察行為差異、成本優勢或閉包不可還原性，就只是具有精密外觀的混合直覺。較合理的報告方式是向量：

\boxed{\mathbf N=(N_{\rm syntax},N_{\rm behavior},N_{\rm reach},N_{\rm closure},N_{\rm phys},N_{\rm evidence}).}

每個分量可以是 TRUE/FALSE/UNKNOWN、區間或依適當尺度建立的實測量；不要任意加總成排名。某種候選在新語法上很有創意，完全不需要同時具備原生物理新奇性。

8. 一個可檢查的最小例子：相對不可還原，但並未超越經典計算

為避免本篇停在抽象形容詞，考慮一個刻意縮小的數學例子。

8.1 初始算子族

令：

X=\{0,1\},\qquad \mathcal O_0=\{\operatorname{id},\operatorname{flip}\},

其中 $\operatorname{id}(x)=x$ 、 $\operatorname{flip}(x)=1-x$ 。允許的組合規則只有有限次函數複合，不允許常數、外部狀態、分支、測量或新增輔助位元。

則：

\boxed{\operatorname{Cl}(\mathcal O_0)=\{\operatorname{id},\operatorname{flip}\}.}

因為 $\operatorname{flip}\circ\operatorname{flip}=\operatorname{id}$ ，而兩者均為雙射。

8.2 提出 `reset0`

新候選：

\boxed{r_0(0)=0,\qquad r_0(1)=0.}

它不是雙射；由「雙射的複合仍為雙射」可得：

\boxed{r_0\notin\operatorname{Cl}(\mathcal O_0).}

這是一項真正成立、但只相對於所選小型算子閉包的不可表達性結論。它說明何謂有根據的「新原語」，比在一段文字中宣稱「系統湧現全新運算」清楚得多。

8.3 若允許新的資源，結論會改變

如果允許條件選擇、常數 $0$ 、有初態為 $0$ 的輔助暫存器、丟棄資訊的通道或更一般的通用程式構造，便可能構造相同可觀察效果。原先的不可還原性由於閉包的改變而失效。

這並不是前一個證明錯了，而是說明：

\boxed{ \operatorname{Novelty}(r_0\mid\mathcal O_0) \not\Rightarrow \operatorname{Novelty}(r_0\mid\mathcal O_1). }

其中 $\mathcal O_1$ 是已增加可用原語及資源的新基準。

8.4 工程與物理意義

在可逆操作閉包下，reset 帶來不可逆的邏輯映射；其實現可能透過輸入資訊轉移到環境、輔助自由度或其他位置，而不能由此推斷整個封閉物理演化本身必然不可逆。此處也不宣稱一般不可逆運算在任何情況下都需要相同熱耗散或能源成本；真正的成本需依物理實現與熱力學假設研究。

同一個 reset0 可由當代經典數位計算設備完成。相對原語新奇 ≠ 超越馮紐曼式可程式化體系。這正是 Series C 必須保留的雙層理解：既可以對小型新算子系統提出有意義的構造研究，又可以正面承認通用數位模擬與組合能力。

8.5 反向教訓

若有人把 flip 改名為 anti-reset，即使名稱有哲學意涵，只要其轉移仍是原先 $\operatorname{flip}$ ，它就不是新原語。命名上的激進程度與操作上的新奇程度不是同一量。

9. 跨版本的語義保留、斷裂與反定義

9.1 不能要求所有版本完全同一

若 $\mathfrak F_t$ 的某定義被反例推翻， $\mathfrak F_{t+1}$ 理應能修訂之。如果要求所有命題、行為與型別在版本間完全不變，框架將無法合法更新。

但是允許更新，也不意味「新版就是新版，所以全都正確」。必須記錄何種性質被保留、被削弱、被撤回、被重新定址。

9.2 保守擴張與非保守擴張

若新增符號 $g$ 只是一個舊有表達式 $e$ 的嚴格巨集，且不改變原語言的推理／操作規則，那麼對舊符號可表達的行為通常是保守擴張的候選，並不天然增加基本表達能力。

但若 $g$ 改變對舊輸入的結果、錯誤處理、授權或物理作用，它就可能是非保守的操作擴張；需標明不相容之處。

這和「是否採用新的 CPU」是正交問題。同一個經典處理器可以承載不相容的語言版本；同一套語義也可以跨不同硬體取得保真實現。

9.3 以版本橋保留不變量

在 $b_t$ 的有效域 $D_b$ 上，要求對明示不變量 $J$ ：

\boxed{J_t(s)\ \simeq_{Q,\epsilon}\ J_{t+1}(b_t(s)),\qquad s\in D_b.}

但針對允許變化的功能，則必須提供：

\Delta_t^{\rm allowed} =\{\text{modified operations, scopes, risks, observable changes}\}.

若 $b_t$ 不存在，最誠實的結果是 BREAKING_CHANGE 或 MIGRATION_UNKNOWN。保留舊版本作為獨立可讀的引用，不應以最新名字靜默覆蓋舊定義。[E-06]

9.4 定義反覆修訂會產生「身份問題」

若同一地址 $a$ 在 $t$ 代表離散狀態，在 $t+1$ 改成連續狀態，在 $t+2$ 又代表外部服務入口，這究竟是同一算子持續演化，還是三個不同物件被迫共用名字？

不能只靠 id 判斷，至少要比較：

哪些可觀察契約跨版本仍成立；
哪些輸入與歷史可被遷移；
哪些引用依賴被破壞；
主要責任與授權是否改變；
新舊語義是否仍存在非平凡不變量。

在沒有充分依據時，FORK_ADDRESS 可能比「保持同一身份」更準確。[I-05]

9.5 反定義不是不需要定義

反定義行為若要求被他者理解與檢查，仍需要最低限度的被反對對象、撤銷規則、來源與操作後果。這是一個反身性張力：不能要求反定義超越全部表達條件，卻同時要求它被形式系統無歧義地執行。

本篇將這一點視為研究有效性的必要工作邊界，而不是聲稱前符號可能性必然受到某一套現有形式語言永遠統治。

10. 型別、作用域與觀察規則：三種常見偽新生

10.1 因型別錯誤而看似「新算子」

假設操作 $o:\mathbb Z\to\mathbb Z$ 被錯誤應用於圖結構 $G$ 。有人提出 o_star(G) 並稱是反定義突破。

真正需要先問的是：原操作是否只是需要合適的編碼 $e:G\to\mathbb Z^k$ 、逐元素延伸或新型別簽名？若如此，第一候選應是 RETYPE／LIFT，而不是超出全部經典計算的全新法則。

反過來，若 $G$ 的運算需要保持鄰接、方向、身份和演化證據，任意壓成單一數值也可能丟失重要不變量。可編碼不保證無損、自然或最有效實現。

10.2 因觀察太粗而看似等價

兩個操作 $o_a,o_b$ 在目前讀出中都輸出 1，卻一個具有持久狀態改變，另一個沒有；兩者可能在下一步產生不同結果。若 $Q$ 只包含單次 readout，不能推斷兩者完整語義等價。

C-02 已明示量子測量／一般帶擾動測量中的時間索引問題；C-03 必須將辨識不足當成合法失敗或未知，而不能把它當成「新生融合」。

10.3 因歷史或環境被隱藏而看似新生

某 AI 只收到一個短符號，就能啟動大量工作，可能是因為外部工具、已編譯的程式、快取、網路服務與訓練權重承擔了大部分成本。這是「1→X」地址展開的工程價值，卻不意味短符號無成本創造全部可執行內容。[I-01]

若新的算子在重播時失效，檢查應先包括：原先的隱藏上下文、計算資源、權限、提示、工具版本與預先存在的資料。

10.4 因使用新材料而看似語義更新

一種物理系統出現新的穩定態，不直接等於程式語言產生新的語義原語。需要有意義的輸入準備、控制方式、轉移律、觀察差異、解碼器及可反駁的行為契約；這些均屬 C-02 的現實實現責任。

反過來，某原語已由經典 CPU 模擬，並不使它在可重構材料、類比動力或量子系統上的原生實現失去研究價值。成本、噪聲與可操作性可能完全不同。

11. 形式命題：可檢查的部分必須與猜想分開

下列命題是在明示前提下的模型內敘述。其中部分為既有數學事實的直接運用，並不主張本篇發現新的普遍定理。

命題 C03-P1：固定域約束強化的反單調性（M）

前提： $X$ 和全部解釋保持不變， $\Gamma'\models\Gamma$ 。

結論：

\boxed{\operatorname{Sat}(X,\Gamma')\subseteq\operatorname{Sat}(X,\Gamma).}

推導：任取 $x\in\operatorname{Sat}(X,\Gamma')$ ，由 $x\models\Gamma'$ 及 $\Gamma'\models\Gamma$ 得 $x\models\Gamma$ ，故集合包含成立。 $\square$

邊界：若定義、狀態域、解釋或算子族已改變，便不適用此同一集合包含式；需先做版本橋比較。

命題 C03-P2：既有雙射的合成不能表達非雙射 reset（M）

前提： $X=\{0,1\}$ ，組合閉包僅由 $\operatorname{id}$ 、 $\operatorname{flip}$ 及函數複合形成。

結論：常數映射 $r_0(x)=0$ 不屬該閉包。

推導：閉包全部運算為雙射； $r_0$ 非雙射。 $\square$

邊界：是相對原語／相對組合規則的證明，絕不表示 reset 超出一般經典可計算性。引入常數、ancilla、外部讀寫或不同觀察規則後應重新判定。

命題 C03-P3：保守命名不能獨自創造新的舊語言行為（M）

前提：新增名稱 $g$ 具有對舊表達式 $e$ 的無效應巨集展開；語義解釋和合法組合保持不變，且比較不把名字長度本身當成外部作用。

結論：以 $g$ 寫出的程式可展開為舊語言程式，對舊觀察契約不存在必然的新行為。

推導：對新語法樹作結構歸納，逐一以 $e$ 取代 $g$ ，再套用相同組合語義。 $\square$

邊界：巨集可以提升表達便利性、降低開發成本，實體化實作也可能改變效能；不等於工程上沒有價值。

命題 C03-P4：有限樣本一致不蘊涵全域等價（M）

前提：輸入域 $D$ 包含至少一個未觀察點 $x^\star\notin T$ ，有限測試集合 $T\subsetneq D$ ；所考慮的候選函數類容許兩個函數在 $T$ 相同而在 $x^\star$ 不同。

結論：

\boxed{\forall x\in T,\ f(x)=g(x)\ \not\Rightarrow\ \forall x\in D,\ f(x)=g(x).}

反模型： $f(x)=0$ 對所有 $x$ ； $g(x)=0$ 對測試點， $g(x^\star)=1$ 。兩者全部現有觀測相同，仍有外域差異。

邊界：若完整有限域已被真正窮盡，或函數類有額外可證結構，有限測試有可能足夠。命題反對的是沒有充分覆蓋保證的無條件外推。

命題 C03-P5：可觀察保真依賴橋接有效域（M）

前提： $b_t$ 僅在 $D_b$ 上定義；保真條件也只針對 $D_b$ 證立。

結論：不能直接推出 $b_t$ 之外所有舊狀態均被正確遷移。

理由：部分函數在定義域外沒有已宣告的對應。必須另外構造延伸、拒絕遷移，或將超出範圍的狀態標成 UNKNOWN。這延續 C-01 的語義橋，而不是取代之。

命題 C03-P6：共同一致可以與共同錯誤同時成立（M）

前提：兩個模型共用錯誤的隱含規則 $h$ ，全部觀察都無法區分 $h$ 和真實規則 $h^\star$ 。

結論：兩個模型對每道已知題目一致，仍可能對某個未測反例共同答錯。

構造：令雙方均採用在測試集合 $T$ 上與 $h^\star$ 相同的 $h$ ，但在 $x^\star$ 分歧；雙方對 $T$ 的一致率仍可為 100%。

邊界：這是一個一般欠定性的構造，不是關於任何特定模型能力或獨立性的測試結果；ADEL 的歷史紀錄是此危險的實務提醒。[I-08]

命題 C03-P7：資源有界的可用能力可增加，而抽象可計算函數集合不必增加（M）

前提：基準與改良系統都具有一般經典可計算性，但可用時間、記憶、索引、外部工具或加速器不同。

結論：在固定任務 $T$ 的成本閾值下，改良系統的有效可達集合可能增加，而無須主張新的理論計算類別。

理由：某問題原本可計算但超過延遲／能源限制；資源配置或計算結構改善使其落入工程可行域。這是有效能力增加，而不是由有限測試推出新的複雜度定理。

命題 C03-P8：可用操作不是僅由物理載體決定（M）

前提：固定某物理載體 $H$ ，但其可用控制接口 $u$ 、權限 $A$ 或讀出方式 $r$ 不同。

結論：兩個使用環境的合法、可檢查語義操作集合可以不同。

理由：C-02 的實現見證包含編碼、控制、測量、解碼、觀察域與權限。原始物理自由度即使相同，也不能消去其餘條件。新增或撤回控制接口不等於改變物理定律。

命題 C03-P9：僅有反定義操作不蘊涵開放無界生成（M）

前提：系統只能刪除既有定義條目，不能新增狀態、算子、表示、連結、外部工具或其他可控生成機制。

結論：可以讓語義更不確定、讓規格更弱，卻不保證出現任何原本不可達的新結果。

反模型：把一個空輸出轉移系統的所有名稱撤銷，其可觀察轉移仍然為空。

因此：「反定義」是重開條件的候選工具，不是可保證成功的創造性引擎。

12. 十個反模型：新奇感最容易在哪裡被製造？

12.1 反模型 A：增加一百個名字

某系統只有 increment 一種合法轉移，設計者把它命名為 grow、rise、become 等一百種原語，並宣稱可用語義增長百倍。

若這些名字全部解析至同一操作，並且沒有新的語用、權限或世界效果，則在操作商集合中仍只有原來一類。名稱數量不是算子容量。

12.2 反模型 B：把程式合成誤認為新運算律

兩個舊算子 $f$ 、 $g$ 被組合成 $h=g\circ f$ ，新工作流效果很強。若 $h$ 在舊閉包內，它可以是高價值的新程式，卻不能只因成果驚人就被宣稱為舊語言無法表達的新原語。

這並不貶低合成；相反，現代經典通用計算的大量實用能力正依靠可組合性與抽象重用。

12.3 反模型 C：用新增約束宣稱候選增加

在固定候選 $\{1,2,3,4\}$ 上新增「必須是偶數」條件，合法候選由四個減為兩個。若隨後出現一個新演算法，是額外的設計器提供了新方法；不是加入限制的集合操作在數學上把元素增加。

若不拆開這兩層，整個「約束生成」就會把明確的集合包含定理和創造性設計直覺混成矛盾。

12.4 反模型 D：把不完全觀察當作等價證書

兩個候選程序在目前 12 個測試上輸出一致，於是聲稱具有相同語義。但未測輸入可能揭露差異。若輸入域無限，或有限但未完全覆蓋，除非另有形式證明，否則只能報告「在已測案例上相同」。

可進一步建立刻意能區分兩個候選的反事實探針，而不是增加只會重複通過的相同題目。

12.5 反模型 E：兩個 AI 的共識

兩個模型受到相同描述與有限例子引導，產生一致的新原語提案，互相稱讚且同意解碼。這只證明其交談過程中形成一致判斷，不證明未見輸入的完整語義，也不證明新操作不在舊閉包內。

如果兩者共享訓練資料、架構、供應商或範例污染，所謂「獨立驗證」更需要證據；不能只用模型名稱不同就假定相互獨立。

12.6 反模型 F：測試題目的答案被藏進編碼器

某方法聲稱輸入抽象規格後，經新語義機制立刻得到正確答案。若 encoder 在建立算子時已包含完整解答表，則只是將計算成本預先移至初始化或外部記憶。

新的方法仍可能有高重用效益，但不得宣稱無成本求解、直接讀取所有解或發現新型可計算性。須分列：ENCODE、PREPARE、SEARCH、READOUT、VERIFY 和 MAINTAIN 成本。[I-09]

12.7 反模型 G：物理態多但不可分辨

假設一個材料模型擁有很大的連續形式狀態域，實際控制與測量儀器卻只能可靠區分兩個有效結果。把十萬個語義名稱映射到其餘狀態，不能因此宣稱取得十萬個可操作輸出。

這不是說未來永遠做不到，而是 C-02 的目前可準備性與可讀性尚未建立。新語義仍須附物理見證。

12.8 反模型 H：同一輸出，不同權限與歷史

程序 A 完成輸出並保留全部審計紀錄；程序 B 完成相同輸出，但擅自刪除資料、無法回滾。若觀察契約只看最後畫面，會誤判等價。若任務包含權限、不可逆後果及 provenance，兩者不等價。

因而不能把「只要結果對了」視為所有語義系統的唯一正確性規格。

12.9 反模型 I：宣稱「反定義」後任意答案皆真

某系統因既有定義遇到反例，便撤銷全部排除條件，接受所有候選。這通常使其不可被反駁，卻沒有增加可檢查的計算作用。

反定義若產生這種結果，應標成 UNDERCONSTRAINED，而不是 OPEN_ENDED_SUCCESS。開放性與無約束接受不可混用。

12.10 反模型 J：改了硬體就自動改了語義

將某確定性邏輯功能從 CPU 移至 FPGA 或光學元件，若輸出契約仍然相同，這可能構成更佳的實現、能效或原生性，但並不強迫宣稱新抽象原語。反過來，若新的載體引入原契約要求的新效應，也要明示那些差異，而不能只說「這是同一個程式」。

結論：十個反模型共同顯示，一個候選可以在部分軸上很新、在其他軸上完全不新。合格報告應指定其真正的新奇座標。

13. 五組思維實驗：先把上、下界打開，再看可驗證哪一層

以下全為未執行的理論設計；不涉及本輪模型呼叫、代碼修改、物理裝置、ADEL 重啟或實測宣告。

13.1 實驗 I：固定文法與可增長文法，究竟差在哪裡？

研究問題：增加新語法建構子，是否增加操作語義？

設定：構造一個小型語言 $L_0$ ，只支援指定有限函數與複合。另一版本 $L_1$ 支援動態引入候選 g，但必須為 g 登記型別、操作契約、來源和至少一個區辨實驗。

三種對照：

A：只讓 g 成為舊操作的別名；
B：讓 g 展開為舊操作的新組合；
C：讓 g 的行為違反舊閉包已證的不變量，例如第 8 節的非雙射例子。

預期的可區分結果：A 是新語法，B 是合成，C 才可能是相對新原語。若 C 必須依靠先前未列的外部接口，應再標成基準改動或能力吸納；不能把 oracle 或助理暫存器偷藏進背景。

失敗條件：無法明示基準閉包；未聲明的原語被偷偷引入；新建構子缺少型別／解碼；無足夠證據檢查與已有操作的等價性。

意義：不需要先製造新硬體，也能研究「新原語」主張到底具有什麼邏輯內容。這可成為未來實驗的低成本校準題。

13.2 實驗 II：加強約束之後為什麼可能出現新能力？

研究問題：是約束真的創造能力，還是約束驅動了額外的設計流程？

設定：某系統能使用 store、scan，但在限制時間內無法完成大型資料定位。追加「必須能在時間 $\tau$ 內回答特定類別查詢」。

對照組：

僅對舊系統加上約束而不改設計；
允許舊算子的編譯與排列優化；
允許建立索引、快取或引入外部搜尋服務；
允許更換物理儲存或資料局部性架構。

辨識點：第一組只能減少合格候選。第二、三、四組則因新增設計自由度或能力而可能滿足要求。必須分出端到端成本，不讓索引的預處理時間與記憶成本消失。

可接受的結論：在指定任務和資源條件下，系統有效能力擴張；不能自動提升為新可計算函數類別。

13.3 實驗 III：新材料的連結拓撲是否能成為新語義？

研究問題：如果計算載體的連接方式本身就是可控制參數，哪些語義新生是真實的？

假想系統：一組可重構耦合振盪器，控制向量 $k$ 決定耦合矩陣 $K(k)$ ；輸入決定初態和外部刺激；觀察器讀取穩定態或時間軌跡。這是探索模型，不聲稱已有裝置符合全部條件。

\dot x_i=F_i(x_i)+\sum_j K_{ij}(k)G_{ij}(x_i,x_j)+u_i(t).

四個比較問題：

新 $k$ 只是舊參數調節，還是允許原先控制接口不可建立的拓撲？
輸出差異能否在雜訊和飄移下重複讀出？
若數位模型模擬同一結果，兩者的語義關係是相同、近似還是只在某 $Q$ 下可比？
新規則若依新測量儀器才可識別，成本如何計入？

失敗條件：無準備、無穩定讀出、控制矩陣不可重現、反例集無法區分候選、編碼器偷藏已知答案。

可能的正面結果：某些物理控制構型可充當新型操作介面；若其能力相對既有原語閉包有可證明／可檢查差異，可升格為有限適用域的原語候選，但不預設新物理定律。

13.4 實驗 IV：跨模型形成新符號，如何防止共同誤解？

研究問題：什麼情況下多個智能體之間的「共識」真正提供新的外部證據？

假想設計：讓兩個分離工作區的提案者處理同一不完整資料源，互相提出符號解釋，再由獨立來源的可區辨反例集檢驗。

預先固定：可用模型、版本、提示、資料隔離、反例取得權限、輸入域、判定規格和停止條件。若無法確認模型間的訓練或供應商獨立性，應如實標示 INDEPENDENCE_NOT_ESTABLISHED。

必要區分：

對已見樣本一致；
雙方交換解釋後一致；
可跨情境重建同一重要不變量；
對未見、專門設計來區分候選的反例也一致；
排除了明示基準閉包內的等價解釋。

這五層不能簡化為一次一致率。

本篇不執行此實驗，特別不對 ADEL 已封存流程發送任何新測試。其作用僅是把 ADEL 已暴露的欠定性轉化為一套未來若經擁有者重新授權時可以檢驗的條件。

13.5 實驗 V：可模擬與可原生實現的交叉比較

研究問題：一個被稱為「新語義」的物理算子，能否同時由通用數位程式忠實模擬？若能，它還剩下哪些真正獨有的研究價值？

設定：選擇一個已明示的、可測的非確定或連續狀態任務。設計一個標準數位參考實現和一個候選物理原生實現；兩者共用符合任務型別的輸出或軌跡契約，但不強制要求內部微觀軌跡相同。

比較向量：

\mathbf C=(C_{\rm encode},C_{\rm prepare},C_{\rm evolve},C_{\rm read},C_{\rm verify},C_{\rm energy},C_{\rm maintain}).

可能結果：

語義等價、數位更便宜；
語義等價、原生更便宜；
在某條件下原生較好，其他條件數位較好；
只有近似等價，且偏差不可忽略；
目前無足夠證據比較。

每一項都是合法研究結果。這個實驗明確反對「非馮紐曼原生必然比較高等」，也反對「可由馮紐曼系統模擬，所以物理原生毫無意義」。

14. ADEL 歷史案例：保留紅燈比編造全綠更重要

14.1 此處引用的是封存裁決，不是新的 ADEL 工作

截至 2026-10-24，ADEL 私有研究曾驗證部分離線基礎功能與初步恢復路徑，但完整 fresh 互動 L2 沒有成功見證。封存聲明並未把失敗降格成成功，也未將 64 格的語義、綁定或撤銷閘門降低。[I-08]

因此任何 C-03 的作者、代理系統或後續模型都不得在未取得新的明確授權下：

改動 ADEL 的提示、代碼、設計或配置；
啟動被封存的模型實驗；
宣稱其已成功創造了不可還原的新原語；
以「新系列」名義繞過原本的研究停止決定。

本文只讀取了既有封存記錄，使用其中的失敗分類做研究方法上的修正。

14.2 為何共同錯誤特別危險

如果某個問題在目前可觀察資料下具有兩個以上相容解釋，兩個模型可能因共同先驗或交談協調，收斂到同一錯誤解釋。若缺少能區分候選的觀察，第三個相同答案也未必提供新的辨識資訊。

因此應增加的是區辨性證據，不是純粹再要求更多人同意。

14.3 不能把 oracle 權限藏在「自然學習」之下

如果候選提案者可以直接向一個知道真實規則的評分器查詢答案，那是可合法研究的帶監督或 oracle 輔助方法；但其成績不能被當成完全無外部教師的前符號自主學習。

正式紀錄須包括：

oracle 回傳了標籤、反例、提示還是分數；
oracle 是否知道全部隱藏目標；
試驗時可呼叫多少次；
回傳資訊是否已足以唯一識別答案；
反例是否依候選動態產生；
最終測試有無與開發階段隔離。

14.4 本篇的明確裁決

\boxed{ \text{ADEL archived failure}\not\Rightarrow\text{anti-definition impossible}; }

\boxed{ \text{ADEL partial observations}\not\Rightarrow\text{new semantics verified}. }

這兩個非蘊涵必須同時成立。若只保留前者會把未解研究神秘化；只保留後者又可能把尚未證偽的整個可能性空間不當關閉。

15. 物理—語義共構中的角色分工

15.1 定義與實現不必由同一系統完成

可以有：

一個智能系統提出語義候選；
一個形式檢查器判定型別與閉包；
一個編譯器尋找數位或物理實現；
一個控制器配置實際裝置；
一個觀察器量測結果；
一個獨立評估者提出反例；
一個具權限的世界系統決定哪些修改可以提交。

這些角色可以由一台計算機、多台計算機、Agent 與人類協作完成；不能因此把它們當成不同形上主體，也不能因它們位於同一硬體就把所有權限與責任合併。

15.2 可定址算子與可授權算子不是同一集合

令：

\mathcal O_{\rm addressable},\quad\mathcal O_{\rm authorized},\quad\mathcal O_{\rm physically\ executable}.

三者可能只有部分交集。即使系統知道如何編碼某操作，它也可能沒有執行權限，或缺少必要物理作動接口。可行性與授權性是不同的型別。

15.3 世界狀態不能由共同描述直接修改

當多個 AI 形成同一敘述，只表示它們生成或採納了相近的符號狀態。若該語句涉及外部檔案、設備、人類、虛擬居民或其他獨立權威世界，其真實效果仍需要：

\boxed{\text{Propose}\to\text{Authorize}\to\text{Execute}\to\text{Observe}\to\text{Verify}.}

在某些人工世界的設計中，這幾步可以被同一執行機制高度耦合，但仍必須避免把「描述成功」偷換為「外部世界已成功改變」。這一點將正式交給 C-04 深入研究。

15.4 反定義的權力邊界

允許某 Agent 重新界定符號含義，不自動賦予它撤銷他人權利、修改權威紀錄或重新定義外部主體身份的權力。語義開放性與治理授權正交。若系統開放使用者制定局部世界法則，該權限仍受世界契約、其他主體、版本與歷史證據約束。

16. C-03 的最小研究與驗證 Gate

本節提供建議規格，不是聲稱已有一套正在執行的 C-03 Runtime。它適用於未來研究者判定語義候選，未必要求每項工程都使用全部 Gate；但若缺少關鍵 Gate，不能提出相應強度的結論。

Gate	問題	允許失敗／未知
`G0 Scope`	任務、模型、版本、來源、比較域是否固定？	`SCOPE_UNKNOWN`
`G1 Referent`	候選究竟指向什麼？可否保存負條件與未知？	`UNDERDEFINED`
`G2 Baseline`	舊算子閉包與組合規則是否明示？	`NO_BASELINE`
`G3 Typing`	新操作的輸入、輸出、權限、時間及錯誤型別是否一致？	`TYPE_ERROR`
`G4 Distinction`	有無區別於既有候選的可觀察差異？	`NOT_DISTINGUISHED`
`G5 Reduction`	是否測試／證明能由舊原語組合重建？	`UNKNOWN_REDUCIBILITY`
`G6 Revision Bridge`	舊資料與舊語義哪些不變量要保留？	`BREAKING_CHANGE`
`G7 Realizer`	C-02 的編碼、準備、演化、讀出有無有效見證？	`MODEL_ONLY`
`G8 Counterexample`	測試能否真正區分至少兩個候選解釋？	`NONDISCRIMINATING_TEST`
`G9 Oracle`	外部教師、隱藏知識或答案表是否明確記帳？	`ORACLE_DEPENDENT`
`G10 Fresh`	有無未見資料與獨立重播；其獨立性有無證據？	`NOT_RUN`
`G11 Cost`	新能力的各段資源成本有無核對？	`COST_UNKNOWN`
`G12 Authority`	候選語義是否越過授權而修改外部世界？	`UNAUTHORIZED`

這不是聲稱 G0～G12 是世界上唯一有效的驗證程序，而是建立可檢查的最低責任分類。不同任務可自行選擇適用 Gate，但不得把 Gate 缺失解釋成已經通過。

16.1 新原語的「綠燈」需要更完整的理由

若只有 $G1$ 、 $G3$ 與 $G4$ 成功，最多是「有型別、能區分的新候選」。若 $G5$ 未完成，不能宣稱在既有閉包中不可還原。若 $G7$ 未完成，不能宣稱物理原生實現。若 $G10$ 未完成，不能宣稱跨情境 fresh 重播有效。

因此，報告可以同時是：

candidate_syntax: PASS
semantic_type_check: PASS
reducibility: UNKNOWN
physical_realization: NOT_RUN
counterexample_coverage: PARTIAL
novel_primitive_claim: NOT_VALIDATED

這並非退而求其次，而是對各層證據的真實呈現。

16.2 反例比重複正例重要的情況

若兩個候選在全部已觀察案例中一致，接下來有價值的研究通常不是再蒐集一百個同類正例，而是尋找符合模型假設、卻能區分它們的輸入或環境。

然而反例不是萬能：如果兩個候選在目前觀察接口下真正不可區分，則應報 OBSERVATION_LIMIT，不要虛構一個可測的差異。這將區分「世界目前不可判」與「研究者懶得做測試」。

17. 最小可保存研究紀錄：候選、撤銷和反例不可互相覆蓋

一個可持續研究系統應為每次語義修訂保存前後版本；否則模型在重複對話中可能把「後來對概念的重新解釋」誤當成當初就已成立的定義。

下列 YAML 是規格範本，不是測試成績或已實作的系統日誌：

record_type: "series-c.revisable-semantic-operator.v0.1"
paper: "C-03"
claim_id: "example-only"
status: "PROPOSAL"
semantics:
  referent_address: "candidate-address"
  definition_version: "0.1"
  symbol: "g"
  input_type: "DECLARED_OR_UNKNOWN"
  output_type: "DECLARED_OR_UNKNOWN"
  transition_law: "DECLARED_OR_UNKNOWN"
  scope: "EXPLICIT_DOMAIN_REQUIRED"
  positive_constraints: []
  negative_constraints: []
  unresolved: ["UNKNOWN"]
baseline:
  operator_set_version: "baseline-id"
  composition_rules: "DECLARED_OR_UNKNOWN"
  closure_characterization: "NOT_ESTABLISHED"
  relation_to_baseline: "UNKNOWN"
change:
  kind: "DEFINE_OR_DEDEFINE_OR_RETYPE_OR_COMPOSE_OR_REALIZER"
  invariants_to_preserve: []
  intentional_breaks: []
  migration_bridge: null
  dependencies_affected: []
realization:
  substrate_type: "UNKNOWN"
  encoding_and_preparation: null
  control_and_evolution: null
  readout_and_decoding: null
  observation_contract: "REQUIRED"
  physical_claim: "NONE_CLAIMED"
validation:
  discriminating_tests: []
  counterexamples: []
  fresh_replay: "NOT_RUN"
  oracle_dependency: "UNKNOWN"
  independent_model_status: "NOT_ESTABLISHED"
  reduction_proof: "NOT_RUN"
  realization_evidence: "NOT_RUN"
  semantic_novelty_result: "NOT_VALIDATED"
cost:
  compute: "UNKNOWN"
  preparation: "UNKNOWN"
  observation: "UNKNOWN"
  verification: "UNKNOWN"
  maintenance: "UNKNOWN"
authority:
  proposal_permission: "TO_BE_DECLARED"
  external_world_commit: "NOT_AUTHORIZED"
provenance:
  sources: []
  rejected_candidates: []
  withdrawn_claims: []
  prior_versions_retained: true

正式研究若要讓此種結構成為證據，仍須加入明確實驗原文、量測方法、執行結果與核驗者。單純填滿欄位，不會產生已通過的證書。

17.1 歷史應如何累積？

推薦保存的不是「最新解釋覆蓋全部舊解釋」，而是：

\boxed{L_{t+1}=L_t\mathbin{\|}\Delta L_t,}

其中 $\|$ 表示受版本管理的歷史追加；即使核心判斷被撤回，過去的錯誤、反例及導致錯誤的條件仍可查證。此式不是對資料庫必須採用某種特定技術的要求。

研究歷史可單調累積，接受的結論卻不必單調增加。 當新的反例推翻既有定義，撤回結論可能比加一個「符合所有資料」的補丁更精確。

17.2 修補、新版與重寫

局部修補適用於舊語義基本成立、失敗可定位為作用域或例外處理的情況。新版適用於有非平凡不變量可保留、但語義的控制、觀察或效應需要更新的情況。重寫適用於原先核心對象、量測或分類前提根本不足時。

因此「可修補」不是永遠正確，「必須重寫」也不是失敗羞辱。兩者應由依賴圖、版本橋成本、反例覆蓋與工程可維護性決定。無須因 C-03 名叫反定義，就先驗偏好頻繁推翻既有有效設計。

18. 重新對接 Series B：十維計算機型別與 24／72 動力字母

18.1 框架修訂是「對計算系統的操作」，不是新的機器種類

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

已能表達大部分 C-03 所討論的更新責任：算子變更屬 $\mathcal O$ ，狀態表示改變屬 $\mathcal X$ ，可用控制改變屬 $\mathcal K$ ，前符號／功能定位與尋址屬 $\mathcal A$ ，實驗讀出屬 $\mathcal R$ ，能源和其他可用資源屬 $\mathcal E$ 。[I-01][I-02]

C-03 提議的 $\mathfrak F_t$ 不新增第十一種計算機基本元素；它比較的是這些維度在不同版本間的重新配置，以及語義是否確實隨之改變。

18.2 24／72 描述的是被分類的事件，不是原語生成器

一個局部計算事件 $e$ 可在指定觀察語境 $\Gamma_Q$ 下投影到：

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

或包含最低充分轉移律 $L$ 的：

p_{72}(e,\Gamma_Q)=\langle B,U,O,L\rangle.

其中 $L$ 可按框架區分確定性函數、古典機率核與量子通道等。這些符號對當前事件的形態與動力解釋有用，但僅把一個未知操作丟進某格，不會提供新算子、物理實現或成功證書。[I-10]

18.3 若遇到 72 格之外的候選，應如何處理？

首先問：

目前的單一事件切分是否太粗？
是否需要拆成多個既有法則事件與橋接？
觀察語境改變後是否得到不同但相容的投影？
真正缺少的是新的轉移律分類，還是未定義的物理介面？
有沒有一個無法在原形式模型內被保真的反例？

若確實建立新的法則類別，應提出獨立修訂提案並留證據，不應自動宣布第 73 格、也不應斷言原 72 格被徹底推翻。反過來，舊分類沒有預留某名字，也不足以判定新物理不可能存在。

18.4 Runtime 接續不等於把每一步固定成單一時間順序

正式架構可能有多個並行候選、反身回饋和重構路徑。C-03 的最低接口是：

\boxed{ \text{Candidate}\to\text{Typed Frame}\to\text{Revision Proposal} \to\text{Realization and Tests}\to\text{Evidence-Aware Decision}. }

它並不要求真正的 AI 原生計算在物理內部以線性 token 串逐項執行。當物理設備、控制器、模型和驗證流程高度耦合時，這是一條責任投影而非唯一時間線。

這也避免重演另一個常見誤讀：把現代可組合經典計算與馮紐曼相關體系當成落後對象。它們可以提供基準模擬、抽象運算組合、編譯、可重播驗證與異構控制，是 Series C 的正面研究資源。

19. 可行性與證據成熟度：何時才有資格宣稱「新語義成立」？

沿用 Series B-03 的雙軸精神，不對整個專案名貼單一「可行／不可行」標籤。[I-11]

在 C-03 中，同一候選至少可能同時具有：

形式模型：已指定型別、規則和必要演化條件；
語義分辨：在少數測試上可以與某些既有候選區分；
閉包證據：已查或尚未查明對舊原語的可還原性；
物理能力：有或沒有有效 C-02 實現見證；
實際新奇性：相對基準條件已證／未證；
工程效益：成本與保真度是否真的較佳。

一個原語可以具有形式不可還原性證明，卻沒有物理裝置實現。也可能在硬體上已很好地實現某計算，卻很容易被既有經典語言描述與模擬。兩者沒有矛盾。

19.1 可觀察研究成果的五級建議

等級	允許說法	禁止偷換
`N0`	僅有直覺、哲學或命名	已有新算子
`N1`	有可檢查型別與局部語義候選	可用於所有情境
`N2`	在固定基準上證明／測試部分差異	已知全域不可還原
`N3`	指定作用域內有可重播實現與獨立反例驗證	超越全部經典計算
`N4`	跨情境、跨設備或跨環境取得可複驗證據，且閉包／成本聲稱分開建立	無條件終極普適

這只是 C-03 專用的報告慣例，不取代既有技術成熟度分級。不能只看最高通過等級，而忽略某個核心命題已被反例否決。

19.2 開放上界不需要被偽裝成當前成果

「無無極」系列允許研究者不預設所有計算可能性都已經被今日原語集合列盡，但這不等於任意新想像都具物理可行性。對於未知自由度、未知物理定律或不可操作的高階算子，正確狀態可以是 SPECULATIVE、F3/F4-CANDIDATE 或 UNKNOWN，並附前提；只有在指定形式模型真正出現矛盾或明確 no-go 時才考慮強不可行裁決。

20. 對本篇的九項自我批判

20.1 批評一：這和一般可擴展語言、巨集系統或動態型別有何不同？

差異尚未形成獨立且已驗證的學術新定理。本文把現有形式語義、可修訂規約、前符號被指與跨物理載體的實現見證連成一組可追溯問題。若未來無法證明這種整合帶來更好的錯位診斷或有效的實驗設計，則它可能只是有用的整理框架，而不是新計算理論。應接受此結果。

20.2 批評二：反定義是否必然導致任意解釋？

若任意撤銷排除條件而不保留來源、依賴及可觀察判準，確實會。本文因此要求 DEDEFINE 附帶作用域、撤銷原因與版本橋，而不賦予其無條件正確性。

20.3 批評三：如果連算子、型別與驗證規則都會改變，怎麼比較？

沒有共同比較語境時，可能就是不可直接比較。可以選擇有限的跨版本不變量、建立 partial bridge，或誠實標示 NOT_COMPARABLE。絕不可把無法比較裝扮成「新版本更高等」。

20.4 批評四：新奇性是否總是基準相對，因而沒有客觀意義？

相對不代表任意。只要基準閉包、等價準則與推導規則固定，就可以像第 8 節一樣得到可檢查的數學結論。真正需要避免的是把「相對於這組基準的新」跳躍成「對一切可能理論都是新」。

20.5 批評五：通用經典計算可以模擬大量算子，這是否令本系列失去目的？

沒有。模擬能力、可讀性、可證性、物理原生實現與總成本是不同指標。馮紐曼相關架構的持續吸納、外部設備整合及可重用性，使其成為重要參考平台。若某「新語義」只是改善實現效率，應坦率承認它是成本或承載改善，不必強行聲稱計算邊界已被突破。

20.6 批評六：若把物理系統的任何演化都叫新算子，是否會失去可反駁性？

會。因此 C-02 的輸入準備、可控演化、測量及驗證不可省略。僅有物理變化，不代表具有指定程式語義，更不代表可用作一般計算機。

20.7 批評七：是否以觀察者的語義為中心，忽略其他存在的計算方式？

框架中的「語義」首先是對某觀察、控制與驗證語境的操作性描述，不宣稱人類文字是唯一有效語義。非人類智能、多模態表徵及未來未知載體可使用不同地址與轉移表示；但只要要提出可公開檢查的比較命題，仍需指定某種可識別的差異和證據。這是一個研究方法要求，不是宣稱宇宙由人類語言建構。

20.8 批評八：為何需要強調 ADEL 的紅燈，會不會抹殺其研究價值？

不是。記錄失敗正是保留可回溯研究價值的方法。沒有完整 fresh 見證的結果仍可提供反例、欠定分析與研究停止判準；不需要偽造成功，也不應由局部失敗推出永遠不可行。

20.9 批評九：這一切是否又只是替「無念無無極自在全合一」換一套數學裝飾？

若只把「一念即全部」「世界即計算」改寫成 $\mathfrak F$ 、 $\Gamma$ 、 $\mathcal O$ 而不產生可失敗的區辨條件，批評成立。本篇的價值必須依第 8 節的相對原語模型、P1—P9 的假設邊界、反模型與第 16 節的 Gate 表來判斷。極限符號本體論可以保留為思維實驗的開放上界，卻不提供當前計算機制已成立的證據。

21. 從 C-03 到 C-04／C-05：哪些責任現在才正式移交？

21.1 C-04：世界、具身與持續存在

C-03 只建立當算子、規則、語義和觀察方式可改變時，如何分清「候選」和「已獲准的世界狀態」。下一篇 C-04 應專門討論：

一個人工世界中的運算狀態與權威世界狀態如何形成持續關係；
計算是否能成為該世界的實際構成過程，而不只是螢幕上的表示；
具身感測與行動如何跨接不同世界、物理載體與計算域；
世界切換、世界生成、觀察分配與多主體獨立性；
「計算即存在」的弱操作版本與強本體版本應如何分開。

本篇不提前宣稱數位世界與物理宇宙已具有完全同一本體，也不把多世界生成誤稱為免費宇宙創造。

21.2 C-05：可比較、可驗證的共構元計算機

C-05 可把 C-01 的十維計算型別、C-02 的物理實現見證和 C-03 的框架修訂紀錄合起來，研究：

\boxed{ \text{typed intent}\to \text{semantic candidates}\to \text{mechanism alternatives}\to \text{realizer verification}\to \text{versioned execution}.}

此處重點是有條件的自動選擇與重構，而不是要求每次都重建語言、硬體和世界。當既有數位編譯器足夠快、正確而可靠時，使用它便可能是全域最合理的選擇。

21.3 暫不啟動的工程工作

本篇不新增 GitHub repository，不修改原始碼，不推送分支，不部署服務，不重新開啟 ADEL、不進行物理或多模型實驗，也不假裝已建立驗證資料集。若後續研究需要本地端工程交接，應由新的明確任務再啟動。

22. 結論：反定義的價值不是反對定義，而是阻止過早宣告計算可能性的終局

Series C-01 問「物理計算機與程式語義如何共同設計？」；C-02 問「什麼叫某語義真的在物理載體上被實現？」。本文 C-03 把問題推到下一層：

若定義、運算原語、約束、可定址域與觀察方式本身會改變，我們憑什麼把某項變動稱為新的程式語義？

本篇的回答不靠宣稱一切都可被反定義創造，而是提供逐層檢查的比較方式：

\boxed{ \text{Pre-Symbolic Referent} \to\text{Definition} \to\text{Typed Operator} \to\text{Constraint and Revision} \to\text{Realization Witness} \to\text{Evidence-Indexed Claim}. }

這裡的箭頭表示可用的論證責任順序，不是全部智能、物理機制或世界演化都必須線性運作。真實系統可以反身更新、同時重構或由物理回饋直接改變定義；但被提出的科學結論仍須容許外界檢查其適用域與有效性。

「定義」的作用，是形成足夠穩定的區分；「反定義」的作用，是在理由充足時重新打開錯置或過早封閉的區分；「約束生成」的真正作用，是在另有合法設計與實現機制時，將選擇壓力轉成新的可用算子、控制接口或語義契約。三者並不互為替代，也不保證只要無限組合就必然取得新物理。

因此 C-03 最終保留兩條同時成立的原則：

\boxed{\text{No premature closure of computation's design space}.}

以及：

\boxed{\text{No promotion of unverified novelty into established capability}.}

第一條防止以當下系統、當下語言或當下物理控制手段不夠成熟，就對未來可能性下終局否定；第二條防止只因一句話、一次語義協商或若干漂亮輸出，就把尚未成功的研究包裝成已突破的普適能力。

對既有計算機，尤其馮紐曼相關的可程式化、可組合、可模擬、可吸納體系，本篇保留其正面位置；對未來物理原生計算，則保留與之共同設計、比較和修訂的空間。研究的終點不是替某種架構加冕，而是使各種計算語義的成立條件、能力邊界和生成方式，越來越可被精確辨識。

參考文獻、研究血統與證據範圍

下列 I 類為作者既有研究文件／封存紀錄，用來對齊理論名稱及研究狀態。它們不因被引用而成為已被第三方驗證的科學事實。E 類為公開學術或工程文獻，僅作為可確認的鄰近成果，不提供本篇 RODSF 整合框架已通過實驗的證據。

A. 作者既有研究與封存文件（I）

[I-01] Neo.K × GPT-5.6 Sol（2026-09-17）。Series B-01: A Computer Is Not One Kind of Machine；〈計算機不是一種機器：載體、狀態空間與算子的統一型別系統〉。原始檔：https://unboundedaxiom.org/p/lm-004680/
[I-02] Neo.K × GPT-5.6 Sol（2026-09-17）。Series B-02: Substrate Is Not Mechanism；〈載體不是機理〉。原始檔：https://unboundedaxiom.org/p/lm-004687/
[I-03] Neo.K × GPT-6（2026-10-27）。Series C-01〈從統一計算機型別到物理—語義共構：跨載體實現、可組合模擬與語義保真的共同設計基礎〉，v1.0。當前對話生成的 UTF-8 Markdown 正式原稿。
[I-04] Neo.K × GPT-6（2026-10-27）。Series C-02〈程式語義的物理實在化：自由度、狀態、算子、測量與實現見證〉，v1.0。當前對話生成的 UTF-8 Markdown 正式原稿。
[I-05] Neo.K × GPT-5.6 Sol（2026-08-21）。〈前符號語義定址：從被指候選、概念底空間到可投影語義狀態的中介層〉，Draft v0.1。原始檔：https://unboundedaxiom.org/p/lm-003314/
[I-06] Neo.K × Aletheia（2026-08）。〈展開算子的第二代定義：從概率候選到意圖條件計算域〉，v0.1。原始檔：https://unboundedaxiom.org/p/lm-002454/
[I-07] Neo.K × GPT-6（2026-10-27）。NNN-02〈無無極：前符號可區分性、約束生成與無界可能性域〉，v1.0。當前對話生成的 UTF-8 Markdown 正式原稿。
[I-08] EveMissLab／ADEL 私有 GitHub repository（2026-10-24）。docs/PAUSE_DECISION.md，封存與未驗證狀態裁決。私人檔案：https://github.com/kakon77777-commits/ADEL/blob/main/docs/PAUSE_DECISION.md （非公開閱讀權限不應假設存在）。
[I-09] Neo.K × GPT-5.6 Sol（2026-09-17）。Series B-05〈本徵態計算：從路徑求解到狀態選擇〉；尤其關於編碼洩漏、準備成本與複雜度位移。原始檔：https://unboundedaxiom.org/p/lm-004673/
[I-10] Neo.K × GPT-5.6 Sol（2026-09-17）。Computational Spine Closure 01–03，Series B 與 24／72 範式、PCMT、GIPE、Runtime 的接續研究。索引原始檔：https://unboundedaxiom.org/p/lm-004665/
[I-11] Neo.K × GPT-5.6 Sol（2026-09-17）。Series B-03〈從可行到不可成立：未來計算機的可行性與證據成熟度分級〉。原始檔：https://unboundedaxiom.org/p/lm-004663/

B. 公開學術與工程參照（E）

[E-01] José Meseguer（1992）。Conditional Rewriting Logic as a Unified Model of Concurrency。Theoretical Computer Science, 96(1), 73–155。https://doi.org/10.1016/0304-3975(92)90182-F 。說明條件重寫與語義／行動規則的既有理論背景；不證明本文任何新原語已生成。
[E-02] Patrick Cousot 與 Radhia Cousot（1977）。Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints。POPL 1977，238–252。作者文獻索引：https://pcousot.github.io/publications.html 。說明抽象域、保守近似與形式分析的成熟研究路線。
[E-03] Edmund M. Clarke、Orna Grumberg、Somesh Jha、Yuan Lu、Helmut Veith（2000）。Counterexample-Guided Abstraction Refinement。CAV 2000；後續期刊延伸。作者出版清單：https://www.cs.cmu.edu/~emc/papers.htm 。說明利用反例改善抽象／模型，不表示反例必然創造新物理或基本語義。
[E-04] Rajeev Alur 等（2013）。Syntax-Guided Synthesis。FMCAD 2013，DOI: 10.1109/FMCAD.2013.6679385。MIT 典藏：https://dspace.mit.edu/entities/publication/bf74e326-5c4c-4a29-867a-cb0bd67fcc9f 。使用既定文法與規格構造程式，適合作為「固定閉包內合成」對照。
[E-05] Imre Lakatos（1976）。Proofs and Refutations: The Logic of Mathematical Discovery。Cambridge University Press；學術書目：https://plato.stanford.edu/entries/lakatos/ 。為概念修訂與反例辯論提供哲學背景，而非 AI 自動創造算子的已證方法。
[E-06] Michael W. Hicks 與 Scott Nettles（2005）。Dynamic Software Updating。ACM Transactions on Programming Languages and Systems, 27(6), 1049–1096，DOI: 10.1145/1108970.1108971。學術資料：https://pldb.kirancodes.me/p/journals/toplas/HicksN05 。說明帶狀態轉換與安全條件的程式／資料／型別更新已有工程先例。
[E-07] Xavier Leroy（2006／2009）與 CompCert 專案。已驗證編譯的語義保留方法；官方說明（所讀版本）：https://compcert.org/doc/ 。用於對照「語義更新」與「語義保留」的驗證責任；不表示本文建立了已驗證的 RODSF 編譯器。

附錄 A：本篇與先前符號本體論三篇的準確關係

來源	本篇繼承的問題	本篇不主張
NNN-01〈從一念創世到無念〉	非階序意圖—生成關係可否被討論	無時間、零成本、全能的現實計算機已存在
NNN-02〈無無極〉	可修訂框架和開放可能性域	有限裝置真的實存無限訊息
NNN-03〈自在全合一〉	高整合與差異保存、他者與主客邊	合一即身份同一、權限吞併或世界自動物理化
Series B	計算機型別、可組合性與證據分級	「非馮紐曼」必然更高等
C-01	跨版本語義橋與共構見證	語義一改，物理定律便改變
C-02	物理準備、控制、量測與實現見證	物理狀態多即表示可用算子無限多
C-03（本篇）	定義、反定義、約束與語義形成的區分	已自動發明新原語，或 ADEL 已通過驗證

此表的作用是避免在系列往下走時，把較強、尚未證立的符號本體論命題倒灌成下游工程的既成事實。

附錄 B：概念類型快速判讀

「我給同一操作另一個名字」：RENAME。
「我把舊操作組成新的流程」：RECOMPOSE。
「我移除了不合理的舊限制」：DEDEFINE 或 RESTRICT/REDEFINE，需指明作用。
「我更換了可控制的物理連結」：REALIZER_CHANGE，須有端到端見證。
「我找到了舊算子閉包中無法表達的操作」：RELATIVE_PRIMITIVE_CANDIDATE；嚴格證明或明示未知。
「我目前分不出哪個解釋正確」：UNDERDETERMINED。
「我有一條新物理定律」：超過本篇範圍，必須提出自然科學專屬可反駁證據。
「我建立可持續人工世界」：先判定狀態與權威再進入 C-04。
「我想讓 AI 自行選擇計算機理」：先完成候選型別和證據，再交由 C-05 元計算機研究。

附錄 C：交接聲明、驗證狀態與限制

研究完成內容：此份 MD 具有工作定義、形式模型、九項附條件的模型命題、十個反模型、五組未執行思維實驗、驗證 Gate、來源帳本與 C-04／C-05 接口。
尚未進行：新原語 fresh 盲測、物理裝置實驗、程式編譯器構造、形式證明機檢、第三方複現及任何 ADEL repository 修改。
理論成果等級：FORMAL_CONCEPTUAL_FRAMEWORK，只對在明示假設下的簡單模型內命題主張推導有效；其餘開放假說均未獲實測驗證。
後續方向：Series C-04〈物理—數位世界共演化：計算存在、世界生成與具身作用〉。每輪一篇；不以本篇完成為理由提前合併 C-04 與 C-05。
研究者責任：若將此稿對外發布，須保留提案／已證／已實驗的區分，並使相關來源與封存負面結果有可追溯的合理說明。

Series C-03 完。

定義、反定義與約束生成：可修訂算子域中的語義形成

定義、反定義與約束生成：可修訂算子域中的語義形成

Definition, De-Definition, and Constraint Genesis: Semantic Formation over Revisable Operator Domains

摘要

Abstract

0. 研究定位：C-03 不等於新的「反定義語言」實作

0.1 本篇的命題層級

0.2 本篇真正要解的三問

1. 既有研究脈絡：不是從零發明語義變化

1.1 PSSA：被指、定址、概念與名稱分離

1.2 展開算子：搜尋內部路徑，還是構造計算域？

1.3 「無無極」：開放上界不能當作當下的物理資源

1.4 ADEL 的現況：保留研究史，不能把缺口改稱成果

1.5 公開已有的鄰近研究並不少

2. 五個最容易被混用的概念

2.1 定義（Definition）

2.2 反定義／解定義（De-Definition）

2.3 約束（Constraint）

2.4 展開（Expansion）

2.5 語義形成（Semantic Formation）

3. 「還沒有定義」不是同一種狀態

4. 可修訂算子域的形式框架（RODSF）

4.1 定義 C03-D1：帶版本的語義形成框架

4.2 定義 C03-D2：定義紀錄

4.3 定義 C03-D3：偏型別化算子

4.4 定義 C03-D4：框架修訂關係

4.5 定義 C03-D5：版本語義橋

4.6 定義 C03-D6：當前可用語義閉包

5. 六類變化：從搜尋到候選新原語

6. 固定約束與生成約束：兩條必須分開的路

6.1 固定宇宙中的過濾

6.2 約束作為重構誘因

6.3 一個不自相矛盾的例子

6.4 保留失敗的可能性

7. 真正核心問題：什麼叫「新的運算語義」？

7.1 定義 C03-D7：語義等價必須相對於觀察契約

7.2 定義 C03-D8：相對新原語候選

7.3 五個不能互相代理的「新」

7.4 原語資格的三種強度

7.5 為什麼不用單一「新奇分數」？

8. 一個可檢查的最小例子：相對不可還原，但並未超越經典計算

8.1 初始算子族

8.2 提出 reset0

8.3 若允許新的資源，結論會改變

8.4 工程與物理意義

8.5 反向教訓

9. 跨版本的語義保留、斷裂與反定義

9.1 不能要求所有版本完全同一

9.2 保守擴張與非保守擴張

9.3 以版本橋保留不變量

9.4 定義反覆修訂會產生「身份問題」

9.5 反定義不是不需要定義

10. 型別、作用域與觀察規則：三種常見偽新生

10.1 因型別錯誤而看似「新算子」

10.2 因觀察太粗而看似等價

10.3 因歷史或環境被隱藏而看似新生

10.4 因使用新材料而看似語義更新

11. 形式命題：可檢查的部分必須與猜想分開

命題 C03-P1：固定域約束強化的反單調性（M）

命題 C03-P2：既有雙射的合成不能表達非雙射 reset（M）

命題 C03-P3：保守命名不能獨自創造新的舊語言行為（M）

命題 C03-P4：有限樣本一致不蘊涵全域等價（M）

命題 C03-P5：可觀察保真依賴橋接有效域（M）

命題 C03-P6：共同一致可以與共同錯誤同時成立（M）

命題 C03-P7：資源有界的可用能力可增加，而抽象可計算函數集合不必增加（M）

命題 C03-P8：可用操作不是僅由物理載體決定（M）

命題 C03-P9：僅有反定義操作不蘊涵開放無界生成（M）

12. 十個反模型：新奇感最容易在哪裡被製造？

12.1 反模型 A：增加一百個名字

12.2 反模型 B：把程式合成誤認為新運算律

12.3 反模型 C：用新增約束宣稱候選增加

12.4 反模型 D：把不完全觀察當作等價證書

12.5 反模型 E：兩個 AI 的共識

12.6 反模型 F：測試題目的答案被藏進編碼器

12.7 反模型 G：物理態多但不可分辨

12.8 反模型 H：同一輸出，不同權限與歷史

12.9 反模型 I：宣稱「反定義」後任意答案皆真

12.10 反模型 J：改了硬體就自動改了語義

13. 五組思維實驗：先把上、下界打開，再看可驗證哪一層

13.1 實驗 I：固定文法與可增長文法，究竟差在哪裡？

8.2 提出 `reset0`