---
title: "GMDIS-09｜24／72 範式的物理語義映射：從計算分類到多尺度動力學模型的有型別橋接"
english_title: "Physical-Semantic Mapping of the 24/72 Paradigms: Typed Bridges from Computational Taxonomy to Multiscale Dynamical Models"
series: "GMDIS — Global Multiscale Dynamics and Informational Sufficiency Theory"
paper: "09 / 14"
version: "v0.1"
date: "2026-10-17"
timezone: "Asia/Taipei"
author: "Neo.K"
research_collaboration: "Aletheia / GPT-6"
institution: "EveMissLab／一言諾科技有限公司"
language: "zh-TW"
status: "Detailed research manuscript; definitions, model-conditional proofs, executable synthetic tests; physical validation pending"
canonical_format: "UTF-8 Markdown; inline math $...$ and display math $$...$$ only"
predecessors: ["GMDIS-01", "GMDIS-02", "GMDIS-03", "GMDIS-04", "GMDIS-05", "GMDIS-06", "GMDIS-07", "GMDIS-08"]
next_paper: "GMDIS-10｜動力學多不變量剖面與拒單測觀察"
license_note: "研究原稿；公開與開源授權由權利人另行決定"
---
# GMDIS-09｜24／72 範式的物理語義映射
## 從計算分類到多尺度動力學模型的有型別橋接、事件路徑與可反駁檢驗
*Physical-Semantic Mapping of the 24/72 Paradigms: Typed Bridges from Computational Taxonomy to Multiscale Dynamical Models, Event Paths, and Falsifiable Tests*
**系列：** 全域多尺度動力學與資訊充分性理論（GMDIS）09／14
**作者：** Neo.K｜**AI 研究協作：** Aletheia／GPT-6
**機構：** EveMissLab／一言諾科技有限公司
**版本：** v0.1｜**日期：** 2026 年 10 月 17 日（Asia/Taipei）
**文件定位：** 計算分類學與物理建模語義接口／多尺度模型組合／混合系統／觀察充分性／實驗規約。
**學術聲明：** 本文不宣稱 72 格是所有物理過程的完整本體分類；不宣稱能由四字母座標推導自然定律；不把有限模型的數值測試當成節拍器實物實驗；不把 GRST 的 Shi 等同能量或新基本力。所有「定理」均限定於其明列之數學模型與假設。
**日期：** 2026-10-17
---
## 摘要
《計算的二十四重範式》v4.0 以底空間（連續／離散）、更新組織（序列／選擇／並行／識別）與觀察模式（連續／離散／拒單測）形成二十四個候選計算形態座標；《從二十四重計算形態學到七十二格計算動力學》進一步新增「最低充分轉移律」軸（確定函數、古典機率核、量子通道），構成七十二格配置候選空間。這些分類起源於計算機科學及其世界模型分析，並未天然給出牛頓力學、連續介質力學或統計物理中的新定律。若直接說「節拍器是 C-P-X-F」、「空氣是 K」、「聲波相干所以是 Q」，便會把物理實在、模型表徵、數值更新及量測讀出混成同一層。此歧義不解除，24／72 的跨學科應用將不可重現，也無法被公平反駁。
本篇提出一套**有型別的物理語義映射規約**。首先完整保留既有四軸的 canonical 值域、版本與歷史編號，將 GMDIS 的新增工作明確限定在「何種物理模型事件、何種演化或求解程序、何種觀察任務，得在指定語境下被合法賦予某個計算分類座標」。其次建立五層不可混淆的對象：物理對象／候選自然規則、數學動力模型、空間時間離散化、演算法與 runtime、感測與推論。要求每一個 72 格標籤都具有對象層、解析尺度、時間窗、型別化輸入輸出、最低轉移律、觀察量族、介面及證據狀態，並允許一個完整世界拆為多個事件節點與具型別的因果、能量、資料、記憶及量測連結，而不是強迫整個世界只落入一格。
本文在形式上給出：（一）有限分類座標的條件式唯一性及其本體論非推論；（二）決定性投影閉合的充要判準；（三）有限 Markov 鏈的強可合併（strong lumpability）判準與可計算反例；（四）量子相干資訊不可被純古典讀出任意取代的初等反例；（五）port-Hamiltonian 功率互連的能量守恆契約；（六）混合機械事件之連續流—守衛—跳躍—重置分解。另建立節拍器／共同底座／彈性介質／聲腔／熱噪聲／感測／量子對照組的跨層標記案例，提供 24 與 72 個候選地址的完整對照表、標記判定規則、可執行 Python linter／數值反例、交付資料格式，以及與既有 Modelica、FMI 3.0.2、混合系統與多物理埠建模方法競爭的實驗設計。
本篇最重要的可反駁主張不是「24／72 可包辦物理學」，而是：**在清楚分離世界、模型、演算法與觀察後，四軸分類能否在不破壞物理守恆及演化語義的前提下，提高跨模型的可組合性、可稽核性、分類一致性，以及針對干預任務辨識充分／不充分表示的效率？** 若無法超過現有成熟型別、模型交換或能量接口方法，便應將此映射降級成輔助中繼資料，而不主張獨立科學貢獻。
**關鍵詞：** GMDIS、二十四重計算範式、七十二格計算動力學、物理語義映射、型別化模型事件、混合動力系統、最低充分轉移律、拒單測、觀察閉合、Markov lumpability、量子通道、能量埠、模型交換、跨尺度驗證。
---
# 0. 研究責任、前文接縫及證據分級
## 0.1 第九篇真正需要解決的缺口
GMDIS-01～08 已分別建立研究母論、相位／吸引子的任務相對充分性、GRST × SIO 的規則—自由—未來賦形、廣義張力的物理型別校準、多場函數分析底座、跨介質能量帳本、持續作用與動態穩定，以及投影後的記憶與隱藏自由度。這些工作自然引向大量彼此不同的局部方程、時間尺度、介質描述及推論工具。
新的風險不是分類太少，而是**相同名詞跨越了不同的對象層**。以「平行」為例，它可能表示：
1. 同一時刻數個物理自由度共同演化；
2. PDE 在多個位置存在局部演化；
3. 一個數值求解器並行更新網格；
4. CPU/GPU 同時執行工作；
5. 感測器平行讀出多個訊號。
這五者不能因為都叫 parallel 就推論同一物理機制、同一時間語義或同一效能。因此本篇**不是重寫 24／72，而是替「將它使用在物理學」建立型別檢查和證據契約**。
## 0.2 從八篇前文接收的約束
| 前篇 | 本篇必須保留的結果 | 禁止的跨層偷換 |
|---|---|---|
| GMDIS-01 | 世界、模型、觀察、干預與證據分離 | 給分類碼就宣稱世界被完整表示 |
| GMDIS-02 | 閉合與充分性須相對任務、時窗、表示類 | 把低維描述一律判為不充分 |
| GMDIS-03 | SIO 硬約束陰影、GRST 動態影響陰影有型別差異 | 把自由削減等同動態耦合 |
| GMDIS-04 | 力、能量、功率、應力、廣義影響不可任意相加 | 把物理力與語義權重混成同一數值 |
| GMDIS-05 | 泛函空間、演化解及離散求解須分離 | 能計算就當成模型適定 |
| GMDIS-06 | 多介質介面須進行功率對帳 | 將同一聲學／流體能量重複記帳 |
| GMDIS-07 | 長期驅動、穩定、吸引域與同步不是同義 | 把模式穩定當作自然界必然同步 |
| GMDIS-08 | 隱藏自由度可形成記憶項及有效噪聲 | 降維後沒有觀察到就當作不存在 |
## 0.3 證據標記及本篇結果範圍
- **D-09**：研究者明示之操作性定義或型別規約。其成立不等於自然現象被證實。
- **M-09**：在明示假設下具有推導或證明的數學命題。
- **N-09**：指定合成模型、參數與程式的有限精度數值一致性結果。
- **H-09**：尚待反事實、實體測試或盲測資料支持的研究假說。
- **F-09**：令對應假說需修正、降級或撤回的判敗情形。
- **B-09**：成熟既有理論、標準或競爭基線；不能被寫作 GMDIS 原創發現。
### 0.4 本篇的四項交付
1. 不改動 canonical 24／72 的**物理語義映射契約**。
2. 一個可追溯的**世界—模型—離散化—求解—量測事件圖**。
3. 至少四類數學反例，說明單一標籤何時不足或錯置。
4. 具備完整 72 地址、linter、示例及判敗條件的可重現研究介面。
---
# 1. 回收 canonical 24／72：分類形式與不能跨越的邊界
## 1.1 24 個計算形態座標
定義三個有限集合：
$$
\mathfrak B_2=\{\mathsf C,\mathsf D\},
\qquad
\mathfrak U_4=\{\mathsf S,\mathsf J,\mathsf P,\mathsf R\},
\qquad
\mathfrak O_3=\{\mathsf C,\mathsf D,\mathsf X\}.
$$
其笛卡兒積為：
$$
\mathfrak P_{24}=\mathfrak B_2\times\mathfrak U_4\times\mathfrak O_3.
$$
其中：
- 底空間 $\mathsf C$：指定語境下使用連續結構或連續狀態模型； $\mathsf D$：使用可尋址離散構成、格點、符號或事件索引。
- 更新 $\mathsf S$：序列／漸進； $\mathsf J$：選擇性／跳躍； $\mathsf P$：並行／共同更新； $\mathsf R$：已有結構之識別、存取及檢索。
- 觀察 $\mathsf C$：連續讀出； $\mathsf D$：離散讀出； $\mathsf X$：在明示的觀察語境、表示類及誤差門檻下，單一容許表示無法保留全部研究所需不變量。
必須保留 2026-07-19 v4.0 的修正： $\mathsf X$ 不是「本體不能測量」； $\mathsf R$ 不是零物理成本；本分類沒有固定 Big-O 對應；二十四格僅具有**受限語境下的形式閉合性**。[I-09-01]
## 1.2 72 格新增的是轉移律，不是新作用力
新增：
$$
\mathfrak L_3=\{\mathsf F,\mathsf K,\mathsf Q\}.
$$
定義：
$$
\mathfrak P_{72}=\mathfrak P_{24}\times\mathfrak L_3,
\qquad |\mathfrak P_{72}|=2\cdot4\cdot3\cdot3=72.
$$
其語義為：
- $\mathsf F$ （function-like）：在**給定該事件有效完整狀態、規則及輸入**後，下一狀態由確定映射生成。
- $\mathsf K$ （classical kernel-like）：在所選有效描述中，必須保留古典條件機率核，才能表示未來的不確定性或取樣規律。
- $\mathsf Q$ （quantum-channel-like）：任務所需的量子相干、非交換觀察代數、密度算子與完全正映射不能由指定的古典表示充分替代。
這裡的「最低充分」是**在指定模型、任務與容許表示族中的選擇規則**，不是物理世界的本體標籤。確定映射可形式上嵌入 Dirac 機率核；某些古典機率變換又可表示為限制在對角子代數的量子通道，但因此全部標為 Q 將使分類失去區辨力。[I-09-02]
## 1.3 不要錯把演算法更新當作自然界時間流
原始 $\mathsf U$ 軸是**computational update organization**，並非物理時間的四種基礎型態。牛頓方程的解 $x(t)$ 按物理時間連續演化，而數值求解器可以用序列、選擇或並行方式逼近同一個 $x(t)$。當我們把物理方程視為一項計算事件，才可對它的求解表示貼上 U 標籤；這個標籤不得逆推自然界具有該種 CPU 或 GPU 執行機制。
尤其 $\mathsf R$：**節拍器沒有認知上「檢索已儲存模態」的義務**。若機械裝置展現近似既有模式，這屬於其物理演化；只有分類器、查表式控制器、降階代理模型、實際測量讀出等計算事件才可直接使用 R 的原始語義。
## 1.4 Q 不能因為有「相位」「共振」「相干」就啟用
經典聲波、雷射所輸出的經典近似電磁場、普通節拍器的相位鎖定或機械共振，均不會僅因具有 coherence 一詞便自動要求量子通道語義。這些現象通常可由古典場方程或有效隨機模型處理。僅當**非交換量子觀察、相干疊加或糾纏等量子結構對指定任務不可約**時， $\mathsf Q$ 才成為候選。
## 1.5 分類的前提是指定觀察語境
沿用原始語境的核心分量，再補入 GMDIS 的物理要求：
$$
\Gamma=(\rho,\mathcal M,\varepsilon,\tau,\mathcal Q_{\rm adm},\mathcal I,\mathcal B).
$$
其中 $\rho$ 是解析度， $\mathcal M$ 是任務所需不變量族， $\varepsilon$ 是容差， $\tau$ 是時窗， $\mathcal Q_{\rm adm}$ 是容許表示類， $\mathcal I$ 是允許干預族， $\mathcal B$ 是物理邊界與守恆／供能假設。此處 $\mathcal Q_{\rm adm}$ 的字母 Q 與轉移律標籤 $\mathsf Q$ 不同，故實作時分別使用 `representation_family` 與 `transition_law`，絕不共用欄位名。
---
# 2. 五個對象層：世界、模型、網格、求解與觀察
## 2.1 D-09-01：五層不變結構
我們以有序集合 $\mathfrak L=\{L_0,L_1,L_2,L_3,L_4\}$ 區分研究對象：
| 層級 | 名稱 | 主要對象 | 能否直接賦予 72 格？ |
|---|---|---|---|
| $L_0$ | Physical referent | 真實物體、介質、環境與實際作用 | 不可無條件；需先選模型與語境 |
| $L_1$ | Mathematical model | ODE、PDE、DAE、SDE、量子主方程、混合轉移 | 可賦予**模型事件**的條件式座標 |
| $L_2$ | Discretization | 格點、有限元、事件表、時間積分及空間截斷 | 可賦予**離散化事件**座標 |
| $L_3$ | Algorithm / runtime | 序列、GPU、稀疏選擇、索引、代理模型 | 可賦予**演算法事件**座標 |
| $L_4$ | Observation / inference | 感測、閾值判定、延遲嵌入、估計、實驗輸出 | 可賦予**觀察／推論事件**座標 |
$L_0$ 不是由 $L_1$ 自動證成的終極物理描述。若真實介質的適用物理模型尚有爭論，映射的證據狀態必須明示為有效模型、假說或開放問題。
## 2.2 D-09-02：物理模型事件的最小規格
令一個可標記的事件為：
$$
e=\langle \ell, X, I, O, T, R, B,\Gamma, V\rangle.
$$
其分量為：
- $\ell\in\mathfrak L$：層級； $X$：事件有效狀態空間； $I$：合法輸入／干預；
- $O$：指定讀出及其值域； $T$：演化或執行轉移； $R$：條件與規則；
- $B$：邊界、供能、介面條件與約束； $\Gamma$：觀察語境； $V$：驗證證據與版本。
當定義 $T$ 時必須附有時間型別，例如連續時間微分流、離散步、碰撞重置、機率核或量子通道。同一個 $e$ 不允許未告知地在「物理時間」與「數值時間」之間切換。
定義分類映射：
$$
\lambda_{72}^{\Gamma}:\mathcal E_{\rm admissible}\longrightarrow\mathfrak P_{72}\cup\{\bot\}.
$$
$\bot$ 代表**證據不足、語境不完整、混合事件尚未適當拆分或現有分類不適用**；不是第七十三格。GMDIS 的 `abstain` 欄位用於這個情形。分類器有權拒絕猜測。
## 2.3 同一物體可以在多層被賦予不同座標
以彈性底座為例：
1. $L_1$ 使用連續位移場及確定性的彈性波方程，連續讀出。
2. $L_2$ 使用有限元節點與矩陣狀態，通常以離散單元為計算載體，讀出仍可為連續位移。
3. $L_3$ 以多核心平行求解內部單元；或以預建代理模型識別近似結果。
4. $L_4$ 將連續位移轉成二值超限警報。
這些事件的 B、U、O 可以不同，但並不意味著世界在各層「改換自己的物理本性」。**同一個世界具有不同的合法模型、表示及讀出**，正是既有 24 範式 v4.0 語境相對性的跨域運用。
## 2.4 B 軸與「離散載體承載連續數值」
在科學計算中，有限元格點的節點集合是離散的，但每個節點的速度、壓力或位移可為實數。若研究事件的主要載體是有限網格及其局部資料單位，可候選標記 $\mathsf D$ ；若研究的是未離散化的連續場方程，則可候選標記 $\mathsf C$。兩者不要求實數值突然變成二進位物理粒子，也不要求一個數值硬體必須是類比電路。**須在事件規格中寫明 $\mathsf D$ 是離散的索引底空間，而非宣稱數值值域有限。**
## 2.5 U 軸與「模擬步長不是物理同步」
若 $x'_{i}=F_i(x_1,\ldots,x_n)$ 在同一數值時間步批次計算，選擇 $\mathsf P$ 有用；若同一 PDE 用逐塊 Gauss–Seidel 更新，計算事件可能是 $\mathsf S$ ；若用自適應網格只更新需要加密的區塊，則可能是 $\mathsf J$。這些是**演算法事件**層次的不同組織。物理場的演化數學式並未隨 CPU 排程改變；若求解器的更新策略造成了不同近似誤差，則需在 $L_2/L_3\to L_1$ 的精度契約中明示。
## 2.6 混合事件不宜強迫單值
一個擒縱節拍器同時有連續運動、碰撞或卡合事件、驅動補能、材料損失、隨機擾動。若事件尚未分解，應先標記 `mixed_pending_split` 而非隨機挑一個格子。僅當目前尺度下拆分成本不合理或沒有清楚的事件邊界，才允許**複合標記**，其子標籤與失敗理由仍需記錄，並且不得將它算作新格。
---
# 3. 有型別橋接：什麼關係可跨層，什麼關係不可以？
## 3.1 D-09-03：世界—模型圖與事件圖
建立兩層有向／超圖：
$$
\mathcal G_{\rm model}=(V,E,H,\ell,\lambda_{72},\kappa),
$$
其中 $V$ 是事件節點， $E$ 是二元連結， $H$ 是必要時不可約的多元關係， $\ell$ 是對象層級， $\lambda_{72}$ 是合法的分類標記， $\kappa$ 是邊及節點的契約。**圖不是物理模型的充分條件**：圖節點還必須提供演化方程、參數、物理單位和邊界條件，才能形成可算的動力學世界。
## 3.2 至少八種邊型別
| 邊型別 | 必須攜帶什麼 | 禁止推論 |
|---|---|---|
| `physical_coupling` | 物理介面、幾何、作用及變數單位 | 有邊就表示能量守恆 |
| `power_port` | 成對 effort/flow、符號、功率帳本 | 任意數值加總等於功率 |
| `state_constraint` | 合法狀態、守衛／邊界與約束 | 約束必然是耗散 |
| `data_flow` | 資料類型、時間戳、取樣率、序列化誤差 | 資料傳輸等於物理作用 |
| `projection` | 原始狀態、投影、觀察量族及損失 | 沒看見就不存在 |
| `coarse_graining` | 映射、尺度、補償記憶／噪聲與閉合條件 | 降階必然 Markov 閉合 |
| `event_jump` | 觸發守衛、重置映射、碰撞能量差 | 事件就是量子跳躍 |
| `counterfactual` | 改狀態、規則、邊界或觀察的哪一項 | 相關性自然等於因果性 |
這些邊型別為 GMDIS 新提出的**研究中介格式**，並不聲稱標準物理學尚無類似工具。Modelica、port-Hamiltonian、多物理建模和 FMI 等成熟框架已提供大量可直接比較的接口。[E-09-01, E-09-02, E-09-03]
## 3.3 D-09-04：映射橋的合法性條件
對一條橋 $b:e_i\to e_j$，要求：
1. **型別相容：** 輸入／輸出空間及參數可合法轉換；
2. **時間相容：** 物理時刻、數值步和事件序關係有共同參照；
3. **量綱相容：** 若為物理功率埠，兩側乘積均具瓦特單位；
4. **守恆或耗散契約：** 若模型要求相消，數值能量殘差不得被忽略；
5. **觀察契約：** 轉換是否保持任務所需不變量應有證據；
6. **規則條件：** 不可將 $R_i\neq R_j$ 的差異誤認成單純狀態更新；
7. **來源追溯：** 邊必須記錄模型版本、參數與驗證證據。
對非物理邊（如純資料封包）不應硬要求物理功率守恆；對物理接觸邊也不可因它有資料描述就忽略能量交換。
## 3.4 不要混淆「同步」的四種意思
在此研究中，至少分別標記：
- `dynamical_locking`：振盪器形成共同頻率、相位關係或集體模式；
- `clock_synchronization`：不同時間基準建立校準映射；
- `solver_barrier`：演算法在一個時間步等待其他子計算；
- `measurement_alignment`：不同感測器資料對齊同一時間／因果事件。
它們可以耦合，但不能由其中一個自動推出其他三個。例如 GPU barrier 不會證明物理節拍器同步，節拍器同步也不會證明離散模型使用相同的物理時間步。
## 3.5 72 格不是數值運算效能表
同一 `C-P-C-F` 演算法可能在某 GPU 上比 CPU 快，但可能因資料搬運、收斂問題或介面成本而更慢。早期 24 範式已撤回把 S、J、P、R 綁定固定漸近複雜度的主張；GMDIS 不得重新引入「P 天然比 S 好」「R 不需要成本」等說法。
若涉及模型選擇，必須把**計算成本、預測誤差、穩定性、守恆殘差、可識別性與跨尺度損失**分開計量，並使用符合任務的 Pareto 比較。
---
# 4. 24／72 物理標記的操作性判定程序
## 4.1 D-09-05：十一步判定法
**步驟 0：指定任務。** 是分析力學能量？預測相位？辨識聲壓？還是比較未見過的邊界干預？任務不同可能改變「充分」的定義。
**步驟 1：選擇層級。** 記錄 $L_0$ ～ $L_4$ ；若對象是實物，先指定在何種模型事件語境下討論。
**步驟 2：明確事件邊界。** 把連續流、碰撞重置、採樣、求解、分類讀出分開。
**步驟 3：指定有效狀態與合法輸入。** 未定義的隱藏狀態不可自動當作零。
**步驟 4：核定 B。** 若主要載體是連續場／連續狀態，標記 C；若是格點、符號、事件索引等離散構成，標記 D；混合時先拆分。
**步驟 5：核定 U。** 指定演化表示或演算法組織是 S、J、P、R；**不能把自然物理時間直接當成執行緒數量**。
**步驟 6：核定 O。** 指定輸出是連續或離散；只有在明示表示類及不變量族下證明／具證據表明單一容許表示不充分時才標 X。
**步驟 7：核定最低充分 L。** 先測 F，再判斷任務是否需要 K，再判斷是否需要非交換量子通道 Q；若仍有根本歧義，標記 `abstain` 或混合拆分，而非「選數學上更一般的就好」。
**步驟 8：檢查接口。** 檢查跨模型的時間、量綱、功率與投影損失。
**步驟 9：指定證據等級。** 理論／數值／實驗／未驗證候選，並保留來源。
**步驟 10：反例及版本驗證。** 嘗試改變尺度、觀察或干預，若標籤改變，判斷是合理的語境換位，還是分類器不穩定。
## 4.2 為什麼拒絕單測 X 不能預設為所有「多場系統」
多場狀態可由一個向量或積空間合法表示，並不必然要求 X。X 的定義是：**在指定表示類 $\mathcal Q_{\rm adm}$ 、誤差容許和任務不變量族下，沒有被允許的單一表示可充分保留全部所需資訊**。若我們允許無限精度編碼及任意不可計算的一對一映射，甚至高維資訊可被形式上「包裝」成一個實數；因此 X 判準必須限制表示的可測性、正則性、編碼精度、成本或允許的形式。沒有這些限制，「拒單測」可能因語義含糊而無法反駁。
## 4.3 為什麼 Q 並非比 F 或 K 更高級的自然定律
定性排序 $\mathsf F<\mathsf K<\mathsf Q$ 不表示更先進的物理世界，也不表示相干量子態必定更難／更快求解。這三個符號標記的是**所選操作問題中最低充分的轉移語義**。對幾乎所有普通機械節拍器案例，用經典 F／K 語義建模是合理起點；Q 只用於真正需量子開放系統或量子觀察代數的獨立對照案例。
---
# 5. M-09-01：有限分類的唯一性不能自動升級成物理完備性
## 5.1 陳述
**命題 M-09-01（固定語境下的條件式類型唯一性）。** 給定一個已明確切分的計算／模型事件 $e$，其觀察語境 $\Gamma$ 、版本與四個軸的賦值判準已固定。若四軸各自且僅各自有一個合法值，則存在唯一的 $\lambda_{72}^{\Gamma}(e)\in\mathfrak P_{72}$。
**證明。** 各軸依定義分別屬於 $\mathfrak B_2,\mathfrak U_4,\mathfrak O_3,\mathfrak L_3$，而每一軸僅選定一個值，因此有唯一的有序四元組。證畢。
## 5.2 本命題沒有證明的事情
- 沒有證明所有實際物理世界都可以無歧義拆成單值事件。
- 沒有證明自然界一定只有這四種可用分類軸。
- 沒有證明各軸獨立、互斥或具有本體必然性。
- 沒有證明任一座標必然存在真實物理實現。
- 沒有證明同一座標足以反推唯一物理規則。
**反例形式。** 兩個不同的物理模型 $M_1,M_2$ 可以同時得到 `C-S-C-F`，但具有不同的阻尼、波速、接觸律與能量帳本。分類相同不推出方程同構；分類不同也不推出真實物理現象不同。
## 5.3 實驗判準
若一個分類報告只提供四個代碼而不提供至少一個具體物理方程、事件邊界或觀察任務，則其最多是**候選元資料**。將它寫成「已完整解釋物理系統」屬於本篇禁止的過度主張。
---
# 6. M-09-02：確定動力下的投影閉合——標籤不能代替充分性
## 6.1 定義：投影是否足以自主演化
令完整狀態空間為 $X$，確定下一步映射為 $F:X\to X$，研究投影 $\pi:X\to Y$ 為滿射。若存在自主有效轉移 $G:Y\to Y$，滿足：
$$
\pi\circ F=G\circ\pi,
$$
則稱 $\pi$ 對此模型具有**精確一步動力閉合性**。若為連續時間半群 $F_t$，則在所需時窗內要求相對應的 $G_t$ 與一致性，而不只驗證單一時間點。
## 6.2 命題與證明
**命題 M-09-02（纖維恆等判準）。** 存在上述 $G$，當且僅當所有 $x_1,x_2\in X$ 滿足：
$$
\pi(x_1)=\pi(x_2)
\quad\Longrightarrow\quad
\pi(F(x_1))=\pi(F(x_2)).
$$
**必要性。** 若 $G$ 存在，則 $\pi(F(x_i))=G(\pi(x_i))$ ；兩者的投影初值相同，故投影下一值相同。
**充分性。** 對每個 $y\in Y$，因 $\pi$ 滿射，可選任一 $x\in\pi^{-1}(y)$ 並定義 $G(y)=\pi(F(x))$。纖維恆等條件保證此定義與所選 $x$ 無關，因此 $G$ 具有良定性，且 $\pi F=G\pi$。證畢。
這是標準因子映射／動力閉合的初等性質，不主張為 GMDIS 新定理。**GMDIS 新增的是將其納入 24／72 物理語義標籤的驗證門檻。**
## 6.3 C-09-01：相同可見狀態但不同隱藏場造成不同未來
取：
$$
X=\mathbb R^2,
\qquad (a,b)\mapsto(a+b,b),
\qquad \pi(a,b)=a.
$$
兩個世界 $(a,b)=(0,1)$ 與 $(0,-1)$ 的可見投影都為零，但下一步可見值分別為 $+1$ 與 $-1$，故不存在僅以當下 $a$ 為狀態的精確自主 $G$。
這可被解讀為「可見機械位移 + 未解析的介質變數」之最小抽象。它不代表真實節拍器必然服從這個方程；它證明**即使兩個完整動力模型都可標成 F，對它們的某個低維觀察仍未必可自主閉合**。
## 6.4 層級與可行修補
若把 $(a,b)$ 當作有效完整狀態，轉移是 F；若只觀察 $a$ 而未知道 $b$，有效模型可能需要補充記憶、潛變數估計、條件分布或輸入。這時不能依靠「標籤 F」判斷「觀測值 a 足以完整預測」。
- **修補 A：** 將 $b$ 加回狀態，得到精確 Markov 形式。
- **修補 B：** 由足夠的延遲觀測辨識 $b$，若可觀測性條件成立。
- **修補 C：** 對 $b$ 指定初始分布，得到目標條件下的有效隨機預測；此時分類成 K 是**投影後的有效描述**，不是底層物理變成隨機。
- **修補 D：** 以 Mori–Zwanzig 記憶核及初始隱藏態項精確保留消元影響（GMDIS-08）。
此例表明，72 格**描述的是轉移語義類別，不是模型狀態是否足夠的自動證書**。
---
# 7. M-09-03：古典機率核下的強可合併判準
## 7.1 問題：兩個模型都標 K，粗粒化後不一定仍是 Markov
給定有限狀態集 $S=\{1,\ldots,n\}$ 與轉移矩陣 $P=(p_{ij})$，其中 $p_{ij}\ge0$ 、每列和為 $1$。對 $S$ 的分割 $\mathcal B=\{B_1,\ldots,B_m\}$，定義粗粒化狀態 $Y_t=r$ 當且僅當 $X_t\in B_r$。
問題是： $Y_t$ 是否對**任意初始分布**仍形成同一個 $m$ 狀態 Markov 鏈？
## 7.2 命題與證明
**命題 M-09-03（strong lumpability）。** 下列條件足以且在要求所有初始分布下共同轉移矩陣時亦必要：對任意同一區塊 $B_r$ 的 $i,i'$，以及任何目標區塊 $B_s$，
$$
\sum_{j\in B_s}p_{ij}
=
\sum_{j\in B_s}p_{i'j}.
$$
**充分性。** 定義 $\bar p_{rs}=\sum_{j\in B_s}p_{ij}$，其中可任選 $i\in B_r$。條件保證這是良定矩陣；對任意歷史，條件於粗粒化當前區塊後，下一步進入 $B_s$ 的機率皆為 $\bar p_{rs}$，因為任意 $i\in B_r$ 給出相同總概率。故粗粒化鏈對所有初始分布都是 Markov，且具有共同 $\bar P$。
**必要性。** 若某一 $B_r$ 中 $i,i'$ 對同一 $B_s$ 的加總機率不同，則取初始分布分別集中於 $i$ 與 $i'$。粗粒化初值同為 $r$，下一步到 $s$ 的機率卻不同；因此不存在獨立於細尺度初始組成、對所有初始分布有效的同一 $\bar P$。證畢。
強可合併是既有馬可夫鏈理論，不是本篇首次發現；它是我們對 72 格 $\mathsf K$ 的精確閉合測試之一。[E-09-07]
## 7.3 C-09-02：四狀態反例
取 $B_A=\{1,2\}$ 與 $B_B=\{3,4\}$，轉移矩陣：
$$
P=\begin{pmatrix}
0.6&0.2&0.2&0\\
0.2&0.4&0.2&0.2\\
0.3&0.2&0.3&0.2\\
0.1&0.2&0.5&0.2
\end{pmatrix}.
$$
由狀態 1 轉入 $B_B$ 的機率為 $0.2$ ；由狀態 2 轉入 $B_B$ 的機率為 $0.4$。因此即使粗粒化後兩者都叫 A，下一步 B 的機率依然不同，該分割對所有初始分布**不強可合併**。
若觀察者強行以一個平均機率替代，就隱含選擇了一個初始細尺度組成或條件分布；換一個初始分布，預測將失效。這恰好呼應 GMDIS-08 的「降維與條件選擇不能被藏起來」。
## 7.4 區分 weak lumpability、隱馬可夫與附加記憶
強可合併失敗不等於任何情況都不能有有效粗粒模型。對某些特殊初始分布，粗粒化可能具有更弱的 Markov 性質；或者可建立 Hidden Markov Model、半馬可夫核、非馬可夫記憶模型。這些修補必須明示其初始分布、時間窗與任務，不得再以同一四字母代碼掩蓋差別。
## 7.5 外部干預下的版本
若存在輸入 $u$，每個控制操作有自己的 $P^{(u)}$。若研究目標是**在所有允許干預下**保持粗粒化閉合，則上述區塊總機率條件必須對每個 $u\in\mathcal I$ 都成立。單憑無干預資料可合併，不代表施加外力、改變底座或改變流體邊界後仍然可合併。這是本系列「任務充分性與干預充分性分開」的直接實作。
---
# 8. M-09-04：量子通道的最低充分語義與相干反例
## 8.1 量子事件的狀態與轉移
有限維量子系統的狀態可由密度算子 $\rho$ 表示， $\rho\succeq0$ 且 $\operatorname{tr}(\rho)=1$。一個一般量子通道 $\mathcal E$ 是完全正、跡保持的線性映射，具有 Kraus 表示：
$$
\mathcal E(\rho)=\sum_k A_k\rho A_k^\dagger,
\qquad \sum_k A_k^\dagger A_k=I.
$$
這是已建立的量子資訊理論框架；若事件涉及量測結果，需再記錄 POVM 或量子 instrument 與結果分布，而不能僅憑一個 $\rho\to\rho'$ 隨意宣稱量測已充分描述。[E-09-05, E-09-06]
## 8.2 C-09-03：相同古典 Z 機率，量子干預後不同
取正規化態：
$$
|+\rangle=(|0\rangle+|1\rangle)/\sqrt2,
\qquad |-\rangle=(|0\rangle-|1\rangle)/\sqrt2.
$$
其密度矩陣為：
$$
\rho_+=\frac12\begin{pmatrix}1&1\\1&1\end{pmatrix},
\qquad
\rho_-=\frac12\begin{pmatrix}1&-1\\-1&1\end{pmatrix}.
$$
兩者沿 Z 基底測得的機率都為 $(1/2,1/2)$。若只保存這個古典機率向量，兩態便不可區分。然而，若測量 X 基底， $\rho_+$ 對 `+` 的機率為 $1$， $\rho_-$ 則為 $0$。因此**同一組對角機率不足以預測所有允許量子量測任務**。
這個反例證明「只看指定古典讀出不足」；它**不**證明「所有量子系統都不能被任何古典高維資料結構模擬」，也不代表量子計算優勢已由此證明。所需條件與代價必須另行比較。
## 8.3 量子 Q 與經典機械相位的界線
普通機械節拍器的 $\theta(t)$ 、相位鎖定、同向／反向模態與聲學共振，即使具有相干的週期結構，也不等於 $\rho$ 的非交換量子觀察資訊。對照實驗如將這些古典案例錯標 Q，必須直接判定為 `false_quantum_escalation`，而非容忍成哲學詮釋。
## 8.4 量子—古典混合路徑
量子態製備 $\to$ 開放量子通道 $\to$ POVM 量測 $\to$ 古典讀出 $\to$ 反饋控制，通常應拆成多個不同層級的事件；不能把整條流程僅標一個 Q，也不能因最後輸出是 bit 便否認前段的量子語義。跨量子—古典邊必須記錄量測 map、結果機率及條件回饋規則。計算 72 格在此提供可索引的**局部類別**，不是量子力學本身。
---
# 9. M-09-05：port-Hamiltonian 功率契約與 72 格的物理限制
## 9.1 成熟基線：能量流必須由物理方程產生
對具有儲能函數 $H(x)$ 的受控系統，考慮：
$$
\dot x=(J(x)-R(x))\nabla H(x)+B(x)u,
$$
其中 $J^\top=-J$， $R^\top=R\succeq0$，輸出定義 $y=B^\top\nabla H$。忽略顯式時間依賴的 $H$ 時：
$$
\dot H=-(\nabla H)^\top R\nabla H+y^\top u.
$$
**推導。** 利用鏈式法則：
$$
\dot H=(\nabla H)^\top\dot x
=(\nabla H)^\top J\nabla H-(\nabla H)^\top R\nabla H+(\nabla H)^\top Bu.
$$
由 $J$ 反對稱， $v^\top Jv=0$ ；最後一項等於 $y^\top u$，故得結果。這是 port-Hamiltonian 的標準能量平衡結構，不是 GMDIS 提出的新物理定律。[E-09-02]
## 9.2 M-09-05：兩子系統的功率相消
對兩個功率型別相容的子系統，選擇理想互連：
$$
u_1=y_2,
\qquad u_2=-y_1.
$$
則介面交換總功率：
$$
y_1^\top u_1+y_2^\top u_2
=y_1^\top y_2-y_2^\top y_1=0.
$$
因此理想互連的內部功率不能在總能量帳本上出現兩次，也不能無故新增功率。若介面有自身儲能或耗散，必須獨立引入介面狀態與能量／耗散項，而不能沿用零介面功率假設。
## 9.3 與 72 格的關係：分類不能替代功率證書
上述兩個子系統可都被標成某種 F 類模型事件，其求解器可能使用 S 或 P。但其能量平衡依靠**$J,R,B,H$ 與互連方程**，而不是依靠 F、S、P 的字母。若 GMDIS 構圖器只檢查同一格即可互連，卻忘記 effort/flow 的單位與符號，便可能構造出物理上自相矛盾的模型。此時 72 格不能稱為物理語義充分；必須追加本篇的物理接口驗證。
## 9.4 為什麼不能把「勢」誤認成 H
$H$ 是所選物理模型中的能量儲存函數；GRST 的 $\Sigma_R$ 則是規則對可行未來空間的結構性非均勻。前者有物理量綱與能量帳本，後者可包含可達性、恢復性、因果延遲、吸引域與反事實世界線結構。不能將二者普遍等同，也不能隨意定義 `Shi_power = y^T u`。在 GMDIS 中， $H$ 可作為態勢剖面的**一個受約束可觀測特徵**，但不擁有整個規則勢的定義權。
---
# 10. M-09-06：混合機械事件的流、守衛、跳躍與重置
## 10.1 為什麼擒縱與碰撞需要事件分解
節拍器的實際機械運動一般不只是光滑微分方程。它可能具有擒縱釋放、卡合、材料接觸、摩擦切換及其他局部非光滑事件。這裡至少存在兩種不同的數學物件：事件間的連續流，以及事件發生時的離散重置。
採用成熟混合動力系統的形式：
$$
\dot x=f(x,u),\quad x\in C;
\qquad
x^+=G(x),\quad x\in D,
$$
其中 $C$ 為流集合， $D$ 為跳躍集合， $G$ 為重置映射。在 GMDIS 標記時，將 event detection、reset map、time integration 分別視為事件，並記錄守衛檢測誤差和事件排序。[E-09-04]
## 10.2 初等碰撞模型與能量變化
令一個質點以質量 $m>0$ 沿單軸移動，碰到固定剛性牆面的瞬間，法向入射速度 $v^-<0$，碰撞恢復係數 $e\in[0,1]$：
$$
v^+=-e v^-.
$$
碰撞前後的動能差：
$$
\Delta K=\frac{m}{2}\bigl((v^+)^2-(v^-)^2\bigr)
=-\frac{m}{2}(1-e^2)(v^-)^2\le0.
$$
**命題 M-09-06。** 在上述理想固定牆、常質量、無額外碰撞瞬時供能與恢復係數限制下，單次碰撞的機械動能不增加；若 $0\le e<1$ 且 $v^-\neq0$，則嚴格減少。**證明**由所示平方代入立即得出。
這只是瞬時碰撞子事件，不能代表所有擒縱機構的供能。若有獨立彈簧、擺輪、電磁供能或牆面自身運動，則必須將相關儲能與外界功率納入，不能套用此理想公式宣稱總能量耗散。
## 10.3 24／72 標籤只是辨識工具
- `C-S-C-F`：連續運動方程的逐步求解事件（模型或演算法層，視具體契約）。
- `C-J-D-F`：連續狀態上的守衛／事件檢測後輸出離散事件標記。
- `C-J-C-F`：事件觸發的連續速度重置映射。
- `D-R-D-F`：由離散事件紀錄中辨識已知事件類別的確定性分類器。
標記不能代替 $C,D,f,G$ 、事件容差及撞擊耗散方程。兩個都叫 `C-J-C-F` 的碰撞器，可能一個採完全彈性，一個採非彈性恢復，物理結果不等價。
## 10.4 不允許 Zeno 問題被四個字母遮蔽
某些混合模型可能在有限物理時間內發生無限多事件（Zeno 行為）。若原始方程缺少適當的解概念或事件終止規則，分類器即使成功貼標仍不能宣稱模型適定。當事件檢測頻繁、時間解析度不足，必須獨立檢查非光滑解、數值事件累積與軌道存在性。
---
# 11. 節拍器、聲場、熱噪聲與量子對照：分層案例庫
## 11.1 D-09-06：每個案例必須給出七項聲明
每個標籤案例至少記錄：**研究任務、事件層級、有效狀態、主要方程／轉移、候選分類、觀察及物理帳本、失效邊界**。同一物理世界可產生多張卡，卻不能以一張卡涵蓋完整世界。
以下標籤均為指定事件語境中的**候選映射**，不表示已在節拍器實體完成資料驗證。代碼 `Pnn-L` 與原始 24 格的 Pnn 編號對應；例如 `C-S-C-F` 對應 P01 的 F 層。
## 11.2 案例 A：剛體共同底座、理想連續機械系統
**事件與任務：** $L_1$ 的常微分方程模型，在已知參數與完整狀態下預測未來軌跡。狀態可包含底座平移、速度、各擺角及其角速度。若模型採確定性牛頓—拉格朗日動力學，則最低轉移律為 F。當事件被定義為連續時間積分或逐步推進連續狀態，可候選 `C-S-C-F`。
**分層提醒：** 這不表示底座的物理世界本身只能以序列算法演化。若求解器換成 GPU 平行積分，可以讓 $L_3$ 事件取得另一個 U 標記，而不改變 $L_1$ 的物理方程。
**負向基線：** 如果底座只允許一維理想剛體平移，且全部機械參數和作用方向保持等效，單純將節拍器視覺排列換成 10×10、1×100，不能自動導入新的轉矩／彎曲模態。若模擬因此產生位置效應，優先查錯模型耦合與幾何接口。（銜接 GMDIS-03。）
## 11.3 案例 B：可轉動或可形變的平台
**事件與任務：** $L_1$ 的平面剛體或連續彈性場、求解平台旋轉角及位移場。連續彈性模型的局部演化可選 `C-S-C-F`；其 $L_3$ 平行場離散求解器可選 `D-P-C-F`。不同作用點與轉動中心的力臂，以及不同網格位置的形變響應，此時成為合法的物理差異。
**守恆要求：** 外力矩、反作用、介面功率及材料阻尼不可省略。若數值網格細化，模型標記 B 從 D 換成 C 並不代表物理質量消失，必須檢查能量一致性與網格收斂。
## 11.4 案例 C：可壓縮空氣中的線性聲場
**事件與任務：** $L_1$ 中等小振幅、一維或多維線性聲學方程；輸入為活塞或固體界面法向速度，輸出為壓力、聲速擾動。理想確定性模型的漸進演化可標 `C-S-C-F`。若用多核對聲場網格同時更新， $L_3$ 事件可標 `D-P-C-F`。
**關鍵邊界：** 聲學 $F$ 標籤不能保證物理聲場的簡化適用於大振幅、湍流或熱黏性邊界層；標籤更不能證明不存在流體對節拍器的反饋。
**數值負向基線：** 不得把完整可壓縮流體的總能量和其聲學線性擾動能當作兩個互不相干的儲能系統加總。（銜接 GMDIS-06。）
## 11.5 案例 D：熱場的確定性與隨機有效描述
- $L_1$ 的宏觀 Fourier 熱傳方程，指定連續初態與邊界：候選 `C-S-C-F`。
- 若模型顯式加入經典隨機熱擾動，需保留條件分布：候選 `C-S-C-K`。
- 若某些微觀噪聲僅因 coarse graining 顯現，而底層選擇的是確定動力學，應記錄「有效 K」而不是宣稱物理世界已被證明本質隨機。
**必要記錄：** 熱流方向、材料本構係數、熱容量、外界熱浴溫度、所選隨機積分解釋（若必要）、噪聲協方差與時間尺度。
## 11.6 案例 E：經典 Ornstein–Uhlenbeck 擾動
以：
$$
dX_t=-\gamma X_t\,dt+\sigma\,dW_t,
\qquad\gamma>0,\;\sigma>0,
$$
作為簡單古典隨機有效模型。取 $X_t$ 為連續狀態，對其隨時間漸進演化的預測與分布讀出，可選 `C-S-C-K`。噪聲不是「未來所有可能性沒有規則」，而是轉移機率族具有明確數學形式。
若 $\sigma=0$，有效轉移可以改標 F；若將特定一次數值生成的噪聲路徑固定作為額外輸入，則每條固定樣本軌跡的條件演化是確定的。這兩種描述必須清楚分離。
## 11.7 案例 F：非光滑擒縱機構
將其拆成 `C-S-C-F`（機械連續流）、`C-J-D-F`（事件守衛／類別輸出）、`C-J-C-F`（狀態重置），必要時再加入 `D-R-D-F` 的事件日誌分析。若碰撞模型存在未解析隨機恢復係數，重置子事件可升成條件 K；但不可因碰撞是突發事件就標 Q。
## 11.8 案例 G：有限元／有限體積場求解器
選擇 $L_2$ 的空間網格索引，主要事件為對離散區塊同步執行一個顯式格式，連續數值讀出：候選 `D-P-C-F`。若稀疏自適應加密，將「選擇哪些單元加密」分成 `D-J-D-F`，而其後仍可由 `D-P-C-F` 完成更新。
**物理一致性義務：** 量綱、CFL 或其他穩定限制、單步誤差、界面通量、總能量殘差及收斂率。代碼 D-P-C-F 完全不保證演算法數值穩定。
## 11.9 案例 H：單一感測器的連續—離散觀察
一個壓力感測器每固定時間步從連續聲場輸出有限精度數字。若研究「從連續場至離散採樣標記」事件，可候選 `C-S-D-F`。若只在超限時觸發取樣，可候選 `C-J-D-F`。若針對已取樣事件做查表分類，則可標 `D-R-D-F`。
**避免混淆：** 傳感器是否會改變被測物理世界是獨立問題。觀察事件本身可能有物理負載，但不能由 O 軸為 D 直接推論觀測者造成強物理擾動。
## 11.10 案例 I：單一序參量的任務不充分
若研究任務只是估計相位鎖定強度，某個序參量可能已充分。然而，若要求同一個單純相位指標同時預測結構應力、未來碰撞耗散、聲學回饋及干預恢復時間，則可以構造不同完整世界具有相同當下序參量卻不同後續結果（GMDIS-02、08）。
在此情形，應先標明被限制的**單一觀察表示類**及必保留的不變量，再測試 O 是否應為 X；不能只因這是一個多介質世界便自動貼 X。
## 11.11 案例 J：量子二能級通道及讀出
$L_1$ 的密度算子狀態透過完全正、跡保持通道演化，可候選 `C-S-C-Q`；若執行投影量測並輸出二值結果，可標記量測子事件為 `C-J-D-Q`（以實際量測／更新契約為準）。隨後純古典的 bit 紀錄與規則式分類可為 `D-R-D-F`。
關鍵差異是：量子 Q 的選擇來自有效任務需要非交換量子資訊，而不是「週期性」或「同步」本身。
## 11.12 案例 K：重建用代理模型與物理模型的邊界
對一組已事先訓練的神經網路，輸入聲場特徵並讀出一個預測聲壓，線上推理事件可能涉及連續底空間及識別／存取組織，候選 `C-R-C-F`（若前向傳播確定）。但物理原模型依然可能是 PDE 的 `C-S-C-F` 或含噪的 K。
**代理模型標籤不得宣稱代理結果就是物理本體。** 若觀察時間窗變長或邊界干預超出訓練分布，其預測誤差必須重新評估；不能靠 R 字母補上未辨識物理。
## 11.13 案例 L：共同外部時鐘與自主機械同步
有兩種外觀相似的結果：
- 兩振盪器被同一個外部週期力強迫而呈現同一週期。
- 兩自維持振盪器透過機械底座作用，形成自主集體鎖定。
兩者的局部模型事件都可能有相同 72 代碼，但其因果結構不同。必須保留**共同輸入節點是否存在、振盪器內部供能機制、耦合邊方向、反事實切斷共享力後的模式變化**。一個字母分類無法代替因果鑑別。
---
# 12. 原始 24 格與新增 72 格的定位：地址而非判決
## 12.1 保留原始 24 格順序
本篇沿用 2026-07-19 的四組，每組六格：
- **P01–P06**：S 序列，順序為 `C-S-C`、`C-S-D`、`C-S-X`、`D-S-C`、`D-S-D`、`D-S-X`。
- **P07–P12**：J 選擇，順序為 `C-J-C`、`C-J-D`、`C-J-X`、`D-J-C`、`D-J-D`、`D-J-X`。
- **P13–P18**：P 並行，順序為 `C-P-C`、`C-P-D`、`C-P-X`、`D-P-C`、`D-P-D`、`D-P-X`。
- **P19–P24**：R 識別／存取，順序為 `C-R-C`、`C-R-D`、`C-R-X`、`D-R-C`、`D-R-D`、`D-R-X`。
附錄 A 列出全部 24 個地址與三種轉移律的 72 個**候選座標**。此表是座標空間，不能把沒有成熟物理例子的格子憑空補成實際現象。
## 12.2 新增的只是一個 GMDIS 命名規約
原始 Pnn 是二十四重表的編號。本篇以 `Pnn-F`、`Pnn-K`、`Pnn-Q` 形成 72 個可讀地址。例如 `P13-F = C-P-C-F`。這是對原分類的**可追溯延伸標記**，不改動 canonical 軸；它亦不是宣稱原作者已在 2026 年 7 月使用了這套具體的 GMDIS 地址前綴。
## 12.3 座標全數存在，不代表物理格子全數可實現
72 格是集合笛卡兒積的數目。某些格可能在特定研究任務中沒有已知物理模型例子，某些格則依賴人為選擇的演算法事件，不能直接對應自然界的獨立現象。本篇禁止「因為表有 72 行，所以必有 72 種自然物理過程」。
---
# 13. 物理語義映射的版本、等價與換位
## 13.1 D-09-07：兩個不同的等價關係
**分類等價**：在固定語境下，兩個事件取得相同 72 座標。
**物理預測等價**：對指定初態族、干預族、時間窗及所需觀察量，兩個模型預測一致至指定容差內。
分類等價一般**不蘊含**物理預測等價；物理預測等價也未必需要分類等價。兩種不同的數值實作甚至可以在收斂後產生相同物理預測，卻具有不同的 U 軸。
## 13.2 合法換位：改變語境而不是改變世界
把未離散化波動 PDE 換成能量相容的有限元模擬，B 可能由 C 變 D；把精確確定模型投影成帶未知隱藏分布的有效模型，最低充分 L 可能由 F 變 K；將連續感測訊號改成閾值觸發結果，O 可能從 C 變 D。
上述改變可以是合法**描述換位**。要檢查：是否保留任務相關物理量，是否改變近似成本，是否新增了不合理的守恆誤差。
## 13.3 不合法換位：沒有證據的標籤升格
- 因為聲波相位穩定，所以從 F 升 Q；**錯誤**。
- 因為某段計算在 GPU 上運行，所以其世界本體從 C 變 D；**錯誤**。
- 因為只量測到少量參數，所以所有物理系統都必須 X；**錯誤**。
- 因為噪聲尚未測出來源，所以自然界必然 K；**過度主張**。
- 因為整體模式可被辨識，所以機械系統具有 R 型物理意圖；**範疇錯置**。
## 13.4 24／72 與 GRST 的真正接口
GRST 可比較相同或不同規則之下的未來可達性、局部恢復率、轉移成本、分岔與吸引域等指標；24／72 只標記**所使用的局部模型／求解／觀察方式**。因此可記錄：
$$
\mathcal V=(R_{\rm phys},\Gamma,\lambda_{72},\Phi_{\rm Shi},\mathcal C_{\rm audit}),
$$
其中 $R_{\rm phys}$ 是具體物理規則， $\Phi_{\rm Shi}$ 為研究者操作化的未來結構剖面， $\mathcal C_{\rm audit}$ 記錄能量、因果、誤差與證據。**不同的 $\lambda_{72}$ 不必然導致不同的 $\Phi_{\rm Shi}$，相同的分類也不意味未來態勢相同。**
## 13.5 24／72 與 SIO 的真正接口
SIO 提供幾何佔據、構成位、剩餘自由、硬約束陰影及由關係引起的全域可行組態變化。24／72 的 B 軸描述的是**所選模型事件採何種表示底空間**，不是替 SIO 的所有局部纖維或物理幾何下總定義。兩者必須由顯式映射相連；不能因為 SIO 容器中有可尋址位，就一律選 B=D。
---
# 14. 可反駁的比較試驗：分類比成熟強基線多了什麼？
## 14.1 H-09-01：型別化 72 格是否改善跨領域標註一致性？
**研究假說。** 若提供固定事件粒度、對象層、觀察語境與分類決策樹，受過相同訓練的獨立標註者，其一致性可能高於僅以自然語言標記「動力、相位、訊號、量子、同步」等多義標籤。
**測試設計。** 建立 48 個互不重複的可重現事件案例，涵蓋：光滑機械 ODE、碰撞、線性／非線性波動 PDE、聲學、熱傳、流體、時變邊界、SDE、馬可夫鏈、量子通道及感測推論。每個原始案例再取三個粒度（物理模型、數值事件、觀察事件）及兩個觀察任務，形成至多 $48\times3\times2=288$ 個**候選標註任務**；實際任務須排除不合法或同義重複項，公布篩選流程與最終樣本數。
**比較組。** 純自然語言分類；不附語境的 24 格；不附語境的 72 格；附完整事件／層級／語境的 72 格。每組至少兩名獨立標註者；報告 Cohen's kappa 或 Krippendorff's alpha、絕對一致率、棄權率及標註時間。若標註者之間歧義仍高，應修訂映射規約，而非提高規則強度去迫使一致。
**判敗 F-09-01。** 若有型別 72 格的標註一致性沒有實質改善，或改善只來自更長訓練和更多任務特定提示，而其他成熟型別系統以同等成本也能達成，則其獨立工程價值下降。
## 14.2 H-09-02：是否改善多模型組合的錯誤預防？
以可組合的聲腔＋活塞、彈性底座＋節拍器、熱交換節點及帶接觸事件的振子為資料集，分別要求工程者在以下方案中組合：
- B0：非形式化文字規格與原始資料交換；
- B1：原始四軸分類元資料；
- B2：72 格與模型層級；
- B3：72 格＋本篇功率、時間、資料、投影、因果邊契約；
- B4：成熟 Modelica／FMI／port-Hamiltonian 或同級的正規組合接口。
比較：錯誤功率符號、界面重複計算、時間步錯位、模型初始態遺失、量子 Q 誤標、隱藏噪聲錯歸因及發生事件後仍套平滑求解。**B4 是必需的強基線，不是用來當作襯托的弱組。** 如果 B3 無法給 B4 提供額外可測的效益，則它較合理的位置是文件標籤或資料血緣輔助層。[E-09-01, E-09-02, E-09-03]
**判敗 F-09-02。** 72 格所新增的標籤若無法降低跨模型組合錯誤、又增加分類與維護成本，則不得宣稱方法改善。
## 14.3 H-09-03：對干預後的預測是否真的較準確？
選擇同一物理世界，固定擺長、質量、驅動、底座彈性與阻尼等參數，將幾何位置、底座是否固定、聲腔邊界與環境壓力作為干預因子，設立基線：完整機械模型、相位模型、相位—振幅模型、帶記憶的有效模型、多場模型。
24／72 可以用來**標記每項模型如何產生、如何求解與如何觀察**；但分類本身不會產生更準確的預測。真正的新研究假說是：經過明確的模型事件拆分、邊型別驗證與觀察充分性檢查後，能否更少遺失關鍵介面或更快發現錯誤模型？
**判敗 F-09-03。** 若分類後的模型在未見干預資料上並未較無分類但物理方程相同的模型改善，便不應將任何新準確度歸功於分類本身。
## 14.4 H-09-04：跨尺度重標記是否可稽核？
固定連續波動模型並由多種空間網格、時間步與演算法求解。對同一組物理讀出，檢查：
1. B 與 U 的變化能否由 `layer` 和 `representation` 合理解釋；
2. 聲場／固體能量在收斂極限下是否維持所需一致性；
3. 若有效模型由 F 改為 K，是否有明示的隱變數條件、噪聲模型或資訊省略；
4. 觀察由 C 改 D 時，額外取樣／量化誤差能否對帳；
5. 不同格之間切換是否引入未記載的狀態拋棄或時序錯位。
**判敗 F-09-04。** 若換求解器便被當作真實物理相變，或同一表示切換可造成未察覺的能量錯誤，該映射不具充分性。
## 14.5 H-09-05：「拒單測 X」能否被實驗反駁？
第一步，選定任務量族，例如：節拍器運動序參量、平台旋轉與形變、聲學功率、能量帳本、擾動回復時間。
第二步，明列容許單一表示族，例如固定通道數、指定解析度與誤差預算的相位、位移或功率觀測。
第三步，構造或者搜尋兩個完整狀態，使單一觀測相同而在任務讀出／未來干預方面不同；此時 X 有具體理由。
第四步，讓延遲座標、狀態估計、Koopman 特徵、有限維充分統計量及更大觀測向量等**強反方方法**競爭。若某個允許的單一表示（包括已允許的歷史編碼）足以在誤差門檻內保留所有所需不變量，便應撤回 X 的標記，而不是聲稱物體天生拒絕任何測量。
**判敗 F-09-05。** 在固定任務及容許表示類下找到充分單一表示，則該事件的 X 分類必須解除；若任意修改表示類才能維持 X，則該分類可能不可驗證。
## 14.6 五種不能混用的成果指標
| 指標 | 數學／工程定義要點 | 不等於 |
|---|---|---|
| `label_agreement` | 獨立標記者在相同語境的一致率／kappa | 物理正確性 |
| `physics_residual` | 能量、質量、動量、界面通量等指定殘差 | 新理論獲證 |
| `prediction_error` | 對保留集及未見干預的預測差 | 模型可識別性 |
| `representation_loss` | 目標觀察量族與干預的保留損失 | 複雜度單一純量 |
| `resource_cost` | CPU/GPU 時間、記憶體、資料傳輸、建模成本 | 模型真實性 |
不建立這些分離，則「使用 72 格後變得更好」是一個無法判斷真假的口號。
---
# 15. 與成熟標準的相容性：不要假裝這些問題無人研究
## 15.1 Modelica 已有跨物理的連接語義
Modelica 連接器有跨分量一致、flow 守恆等設計原則。它適合處理某些物理多域的能量與訊號連接，具體使用仍須遵守其語言規範。[E-09-01] 本篇所增加的不是「第一次想到多物理接口」，而是**將跨模型求解與觀察的事件分層、24／72 類型座標、投影充分性及 GRST／SIO 反事實語義放進同一研究報告**。這個新增資訊是否實用必須另測。
## 15.2 FMI 3.0.2 已處理模型交換、協同模擬與排程執行
FMI 3.0.2 明確區分 Model Exchange、Co-Simulation、Scheduled Execution，並含事件、變數依賴、時間推進與物理單位的規格。[E-09-03] 24／72 不應取代 FMI 的二進位傳輸格式、API 或求解介面。若未來要實作 GMDIS，可把分類資訊、層級、觀察充分性證據及 GRST／SIO 研究標記放入**額外、版本化元資料層**，並實際檢查是否可與現有 FMU 一同使用。
## 15.3 Port-Hamiltonian 提供物理功率型別的成熟框架
本篇的能量交換證明可作為 Modelica／FMI 型別系統之外的物理一致性測試。它不能由單純的分類表取代。若未來 72 格映射不能和被動性、功率埠、物理守恆交互操作，應將它退回為描述性標記。[E-09-02]
## 15.4 混合系統處理切換與非光滑動力已非常成熟
Goebel、Sanfelice、Teel 等的混合系統研究，以及 Alur 等人的 hybrid automata，已提供流集合、跳躍集合、事件重置與可驗證性工具。本篇僅提出與 24／72 的型別橋接，不能把這些既有數學成果當作新創建的「物理跳躍定律」。[E-09-04, E-09-09]
## 15.5 Quantum channel 是已有嚴格定義的數學類別
Lindblad 與 Gorini–Kossakowski–Sudarshan 的 1976 年工作對開放量子系統 Markovian 生成元建立成熟結構；GMDIS 的 Q 軸是借用最低充分轉移律的類別，而不是建立超越 GKSL 的新量子力學。[E-09-05, E-09-06]
---
# 16. 本篇的資料契約與可審計交付物
## 16.1 D-09-08：事件描述欄位
為每個事件建議一個資料記錄，至少包含：
- `event_id`：局部事件的穩定識別；`scope`：`L1_model`、`L2_discretization`、`L3_algorithm`、`L4_observation`；
- `model_version`、`world_ref`、`evidence_status`、`physical_equations` 或其唯一引用；
- `representation`：`continuous` 或 `discrete`，並明示離散的是空間單元、狀態值或事件索引；
- `update_mode`：`S/J/P/R`；`observation_mode`：`C/D/X`；`transition_law`：`F/K/Q`；
- `task`、`time_window`、`resolution`、`tolerances`、`representation_family`、`intervention_family`；
- `physical_units`、`energy_contract`、`boundary_contract`、`port_contract`、`provenance`；
- `observation_sufficiency_evidence`、`quantum_algebra_required` 與 `stochasticity_required`；
- `parent_event_ids`、`bridge_ids`、`classification_conflicts`；
- `classification_status`：`accepted`、`abstain` 或 `needs_split`。
**注意：** 這是 GMDIS 研究中介格式的最低建議，不是 FMI、Modelica、JSON Schema 或其他外部標準的既有官方欄位名稱。發布時不得聲稱外部工具原生支援這些欄位，除非已有實作證據。
## 16.2 一份簡化的事件資料示例
```json
{
"event_id": "cavity-field-time-step-01",
"scope": "L3_algorithm",
"world_ref": "synthetic-acoustic-cavity-v1",
"model_version": "v1",
"representation": "D",
"representation_meaning": "finite-volume spatial cells with real-valued fields",
"update_mode": "P",
"observation_mode": "C",
"transition_law": "F",
"classification_status": "accepted",
"coordinates": "D-P-C-F",
"task": "one-step finite-volume state update",
"resolution": "12 cells",
"time_window": "one numerical step",
"tolerances": {"energy": 1e-10},
"physical_equations": "GMDIS-06 discrete acoustic piston model",
"physical_units": "SI",
"energy_contract": "power-compatible interface, model-specific",
"boundary_contract": "fixed far wall, moving piston at near wall",
"port_contract": "normal speed and pressure traction",
"representation_family": ["finite-volume 12-cell scheme"],
"intervention_family": ["piston displacement perturbation"],
"observation_sufficiency_evidence": "not assessed for full world prediction",
"quantum_algebra_required": false,
"stochasticity_required": false,
"evidence_status": "model-derived; synthetic",
"provenance": ["GMDIS-06"]
}
```
此示例的 `accepted` 只表示**分類座標在該事件粒度下暫可接受**，不表示分類本身證明數值方法收斂、真實世界正確，或多介質模型已通過物理實驗。
## 16.3 與後續 GMDIS-10 的接口
GMDIS-10 將專門研究多不變量觀察剖面與 X 的充分性判定，因此本篇**只制定 X 的使用條件和可撤回規則**，不預先宣布已得到最終的充分觀測集合。GMDIS-11 再處理 GRST 規則干預與態勢換位；GMDIS-12 以實際的節拍器世界建立多尺度基準；GMDIS-13 將有型別模型與成熟強基線競爭；GMDIS-14 才決定本系列能收束到何種科學結論。
---
# 17. 新研究命題、失敗邊界與最終結論
## 17.1 不宜高估的理論層級
本篇**沒有**證明 24／72 是所有物理系統的本體分類，也沒有證明每格皆可實現、所有模型皆可無損投影至四字母、X 永遠不可消除、任何轉移律都能無條件歸為 F/K/Q，或 72 格能代替完整動力學方程。
此外，原分類的第二軸來自計算組織，與物理時間及自然演化沒有完全同構；若未來實證顯示物理模型通常須將「求解器更新組織」與「物理動力轉移」額外分層，正確結論是明確揭露這項限制，而不是任意改寫 canonical 24 格。
## 17.2 五項候選研究貢獻
**H-09-A：** 有型別的多層模型事件描述可以減少跨領域術語碰撞。
**H-09-B：** 將 72 格與能量、時間、投影、因果橋契約整合，可改善混合世界模型的可審計性。
**H-09-C：** 將 X 從直覺標籤變成任務／表示類相對之可撤回結論，有助辨識降階模型何時需要增加狀態、歷史或感測維度。
**H-09-D：** F、K、Q 的最低充分語義判定，可避免有效隨機模型與量子機制的範疇混淆。
**H-09-E：** 分類換位的原因若被記錄為模型、網格、演算法或觀察改變，便可改善 GMDIS-11～13 的反事實模型比較流程。
這些目前均是**方法論／工程假說**，不包含任何未證成的自然律。
## 17.3 五項最重要的判敗情形
1. 同類問題的獨立標註者無法在充分規則說明下穩定取得一致結果。
2. 模型已具正確物理接口與因果規格後，24／72 標記不能帶來額外的錯誤檢出、文件精簡或選型增益。
3. X 的判定在改變任務表示範圍後任意漂移，且缺乏固定、可重現的觀察充分性測試。
4. F／K／Q 的分類無法處理實際混合事件，又不肯使用有型別拆分與棄權機制。
5. 新標記被用來遮蔽能量殘差、量綱錯誤、數值不適定、物理不可識別或實驗負結果。
## 17.4 本篇最終主張
> **24／72 能為多尺度物理研究提供一個可索引、可組合、可比較的模型事件詞彙；但只有當它同完整物理方程、介面功率、投影充分性、時間語義與可反駁實驗結合後，才可能成為有價值的物理語義工具。分類不是動力學；分類可以協助我們辨識動力學的哪一部分被表示、哪一部分仍被省略。**
這個結論與前八篇一致：相位與吸引子不是錯誤方法；同樣地，24／72 也不是新的萬用動力方程。研究者的責任是在世界與模型之間，保持可追溯、可驗證和可修正的接縫。
---
# 附錄 A｜canonical 24 格與 72 個轉移律候選地址對照表
本表按照《計算的二十四重範式》v4.0 的 P01–P24 順序產生；每個原始計算形態加上 F／K／Q 三個候選最低充分轉移律。原始來源沒有主張每個格子都有物理本體對應。本表只有**形式地址**，不是已驗證的 72 個自然現象，也不代表 72 類物理基本力。
| 24 格編號 | 原始三軸 | 候選 F 地址 | 候選 K 地址 | 候選 Q 地址 | 應審核的主要界線 |
|---|---|---|---|---|---|
| P01 | `C-S-C` | `P01-F` / `C-S-C-F` | `P01-K` / `C-S-C-K` | `P01-Q` / `C-S-C-Q` | 連續進程／逐步求解不等於自然界只會順序更新 |
| P02 | `C-S-D` | `P02-F` / `C-S-D-F` | `P02-K` / `C-S-D-K` | `P02-Q` / `C-S-D-Q` | 連續進程／逐步求解不等於自然界只會順序更新 |
| P03 | `C-S-X` | `P03-F` / `C-S-X-F` | `P03-K` / `C-S-X-K` | `P03-Q` / `C-S-X-Q` | X 須附充分性證據；連續進程／逐步求解不等於自然界只會順序更新 |
| P04 | `D-S-C` | `P04-F` / `D-S-C-F` | `P04-K` / `D-S-C-K` | `P04-Q` / `D-S-C-Q` | 連續進程／逐步求解不等於自然界只會順序更新 |
| P05 | `D-S-D` | `P05-F` / `D-S-D-F` | `P05-K` / `D-S-D-K` | `P05-Q` / `D-S-D-Q` | 連續進程／逐步求解不等於自然界只會順序更新 |
| P06 | `D-S-X` | `P06-F` / `D-S-X-F` | `P06-K` / `D-S-X-K` | `P06-Q` / `D-S-X-Q` | X 須附充分性證據；連續進程／逐步求解不等於自然界只會順序更新 |
| P07 | `C-J-C` | `P07-F` / `C-J-C-F` | `P07-K` / `C-J-C-K` | `P07-Q` / `C-J-C-Q` | 事件觸發與選擇更新不必然是量子跳躍 |
| P08 | `C-J-D` | `P08-F` / `C-J-D-F` | `P08-K` / `C-J-D-K` | `P08-Q` / `C-J-D-Q` | 事件觸發與選擇更新不必然是量子跳躍 |
| P09 | `C-J-X` | `P09-F` / `C-J-X-F` | `P09-K` / `C-J-X-K` | `P09-Q` / `C-J-X-Q` | X 須附充分性證據；事件觸發與選擇更新不必然是量子跳躍 |
| P10 | `D-J-C` | `P10-F` / `D-J-C-F` | `P10-K` / `D-J-C-K` | `P10-Q` / `D-J-C-Q` | 事件觸發與選擇更新不必然是量子跳躍 |
| P11 | `D-J-D` | `P11-F` / `D-J-D-F` | `P11-K` / `D-J-D-K` | `P11-Q` / `D-J-D-Q` | 事件觸發與選擇更新不必然是量子跳躍 |
| P12 | `D-J-X` | `P12-F` / `D-J-X-F` | `P12-K` / `D-J-X-K` | `P12-Q` / `D-J-X-Q` | X 須附充分性證據；事件觸發與選擇更新不必然是量子跳躍 |
| P13 | `C-P-C` | `P13-F` / `C-P-C-F` | `P13-K` / `C-P-C-K` | `P13-Q` / `C-P-C-Q` | 並行計算不等於物理世界同步 |
| P14 | `C-P-D` | `P14-F` / `C-P-D-F` | `P14-K` / `C-P-D-K` | `P14-Q` / `C-P-D-Q` | 並行計算不等於物理世界同步 |
| P15 | `C-P-X` | `P15-F` / `C-P-X-F` | `P15-K` / `C-P-X-K` | `P15-Q` / `C-P-X-Q` | X 須附充分性證據；並行計算不等於物理世界同步 |
| P16 | `D-P-C` | `P16-F` / `D-P-C-F` | `P16-K` / `D-P-C-K` | `P16-Q` / `D-P-C-Q` | 並行計算不等於物理世界同步 |
| P17 | `D-P-D` | `P17-F` / `D-P-D-F` | `P17-K` / `D-P-D-K` | `P17-Q` / `D-P-D-Q` | 並行計算不等於物理世界同步 |
| P18 | `D-P-X` | `P18-F` / `D-P-X-F` | `P18-K` / `D-P-X-K` | `P18-Q` / `D-P-X-Q` | X 須附充分性證據；並行計算不等於物理世界同步 |
| P19 | `C-R-C` | `P19-F` / `C-R-C-F` | `P19-K` / `C-R-C-K` | `P19-Q` / `C-R-C-Q` | 識別／檢索通常屬模型、演算法或觀察事件而非自然物理意圖 |
| P20 | `C-R-D` | `P20-F` / `C-R-D-F` | `P20-K` / `C-R-D-K` | `P20-Q` / `C-R-D-Q` | 識別／檢索通常屬模型、演算法或觀察事件而非自然物理意圖 |
| P21 | `C-R-X` | `P21-F` / `C-R-X-F` | `P21-K` / `C-R-X-K` | `P21-Q` / `C-R-X-Q` | X 須附充分性證據；識別／檢索通常屬模型、演算法或觀察事件而非自然物理意圖 |
| P22 | `D-R-C` | `P22-F` / `D-R-C-F` | `P22-K` / `D-R-C-K` | `P22-Q` / `D-R-C-Q` | 識別／檢索通常屬模型、演算法或觀察事件而非自然物理意圖 |
| P23 | `D-R-D` | `P23-F` / `D-R-D-F` | `P23-K` / `D-R-D-K` | `P23-Q` / `D-R-D-Q` | 識別／檢索通常屬模型、演算法或觀察事件而非自然物理意圖 |
| P24 | `D-R-X` | `P24-F` / `D-R-X-F` | `P24-K` / `D-R-X-K` | `P24-Q` / `D-R-X-Q` | X 須附充分性證據；識別／檢索通常屬模型、演算法或觀察事件而非自然物理意圖 |
各表格的 F／K／Q 地址均須再依**最低充分轉移語義**及事件層級選擇；不宜直接用其中任何一欄宣稱真實物理支持該分類。
---
# 附錄 B｜可獨立執行的 24／72 座標及數學反例測試
## B.1 測試範圍
下列程式僅需 Python 3.10+ 與 NumPy。它**不會**模擬真實流體、材料或節拍器，也不是 FMI／Modelica 的正式整合測試；它的測試目的為：
- 保證原始 P01–P24 順序可生成 72 個且沒有重複的地址；
- 對決定性投影不閉合反例進行實際數值檢查；
- 驗證四狀態 Markov 鏈的 strong lumpability 失敗；
- 檢查同 Z 分布但不同 X 量測之量子相干反例；
- 對兩個以理想功率埠互連的線性哈密頓振子，檢查隱式中點的能量守恆；
- 測試碰撞重置的耗散量；
- 避免無條件把古典相位案例標記 Q 或把 L1 物理模型直接標 R。
**N-09-01：** 測試通過僅證明指定數值及分類器合乎此原稿的規格；不構成真實物理實驗。
## B.2 完整執行程式
```python
"""GMDIS-09: address, type, and model-counterexample checks.
Python 3.10+, numpy. No internet/files required.
No laboratory measurements and no physical reality claims.
"""
from itertools import product
import numpy as np
BASIS = ("C", "D")
UPDATES = ("S", "J", "P", "R")
OBS = ("C", "D", "X")
LAW = ("F", "K", "Q")
def make_catalogue():
"""Preserve v4.0 P01..P24 indexing, then append F/K/Q."""
rows = []
number = 0
for u in UPDATES:
for b, o in product(BASIS, OBS):
number += 1
p = f"P{number:02d}"
base = f"{b}-{u}-{o}"
for l in LAW:
rows.append((p, f"{p}-{l}", f"{base}-{l}"))
return rows
def classify(record):
"""Minimal, conservative GMDIS-09 semantic linter."""
required = ("scope", "representation", "update_mode",
"observation_mode", "transition_law", "task")
missing = [k for k in required if k not in record]
if missing:
return "abstain", f"missing:{','.join(missing)}"
layer = record["scope"]
b, u = record["representation"], record["update_mode"]
o, l = record["observation_mode"], record["transition_law"]
if layer not in {"L1_model", "L2_discretization", "L3_algorithm",
"L4_observation"}:
return "abstain", "physical referent or unrecognized scope"
if b not in BASIS or u not in UPDATES or o not in OBS or l not in LAW:
return "abstain", "noncanonical axis value"
if record.get("is_mixed", False):
return "needs_split", "event spans multiple incompatible forms"
if l == "Q" and not record.get("quantum_algebra_required", False):
return "abstain", "quantum escalation without quantum contract"
if l == "K" and not record.get("stochasticity_required", False):
return "abstain", "stochastic law without distribution contract"
if u == "R" and layer in {"L1_model", "L2_discretization"}:
return "abstain", "recognition requires an identified computation/readout"
if o == "X" and not record.get("x_sufficiency_witness"):
return "abstain", "X requires context-relative evidence"
return "accepted", f"{b}-{u}-{o}-{l}"
def test_catalogue():
catalogue = make_catalogue()
assert len(catalogue) == 72
assert len(set(x[1] for x in catalogue)) == 72
assert len(set(x[2] for x in catalogue)) == 72
assert catalogue[0] == ("P01", "P01-F", "C-S-C-F")
assert catalogue[1] == ("P01", "P01-K", "C-S-C-K")
assert catalogue[18] == ("P07", "P07-F", "C-J-C-F")
assert catalogue[36] == ("P13", "P13-F", "C-P-C-F")
assert catalogue[54] == ("P19", "P19-F", "C-R-C-F")
assert catalogue[-1] == ("P24", "P24-Q", "D-R-X-Q")
return catalogue
def test_deterministic_nonclosure():
# Full transition F(a,b)=(a+b,b); pi(a,b)=a.
def step(z):
a, b = z
return np.array([a+b, b], dtype=float)
x1, x2 = np.array([0., 1.]), np.array([0., -1.])
assert x1[0] == x2[0]
y1, y2 = step(x1)[0], step(x2)[0]
assert y1 == 1. and y2 == -1.
return y1, y2
def test_markov_nonlumpability():
P = np.array([[.6, .2, .2, 0.],
[.2, .4, .2, .2],
[.3, .2, .3, .2],
[.1, .2, .5, .2]])
assert np.allclose(P.sum(axis=1), 1.)
assert np.min(P) >= 0.
group_B = [2, 3]
p_B_from_1 = P[0, group_B].sum()
p_B_from_2 = P[1, group_B].sum()
assert np.isclose(p_B_from_1, .2)
assert np.isclose(p_B_from_2, .4)
return p_B_from_1, p_B_from_2
def test_quantum_classical_projection_loss():
rho_plus = .5*np.array([[1., 1.], [1., 1.]])
rho_minus = .5*np.array([[1., -1.], [-1., 1.]])
sx = np.array([[0., 1.], [1., 0.]])
assert np.allclose(np.diag(rho_plus), np.diag(rho_minus))
x_plus = np.trace(sx@rho_plus)
x_minus = np.trace(sx@rho_minus)
assert np.isclose(x_plus, 1.)
assert np.isclose(x_minus, -1.)
return x_plus, x_minus
def test_port_energy_balance():
# Two 2D Hamiltonian oscillators with skew, lossless port coupling.
J = np.array([[0., 1.], [-1., 0.]])
B = np.array([[1.], [0.]])
C = B@B.T
A = np.block([[J, C], [-C, J]])
assert np.allclose(A+A.T, 0.)
x = np.array([1., .25, -.4, .7], dtype=float)
H0 = .5*np.dot(x, x)
h = .04
ident = np.eye(4)
mid = np.linalg.solve(ident - h*A/2., ident+h*A/2.)
max_resid = 0.
for _ in range(300):
nx = mid@x
H1 = .5*np.dot(nx, nx)
max_resid = max(max_resid, abs(H1-H0))
x = nx
assert max_resid < 1e-11
return max_resid
def test_impact_loss():
m, vminus, restitution = 2., -3., .4
vplus = -restitution*vminus
observed_delta = .5*m*(vplus*vplus-vminus*vminus)
predicted_delta = -.5*m*(1-restitution**2)*(vminus**2)
assert np.isclose(observed_delta, predicted_delta)
assert observed_delta < 0.
return observed_delta
def test_typed_linter():
classical = dict(scope="L1_model", representation="C",
update_mode="S", observation_mode="C",
transition_law="F", task="ideal oscillator")
status, code = classify(classical)
assert (status, code) == ("accepted", "C-S-C-F")
wrong_quantum = dict(classical, transition_law="Q",
quantum_algebra_required=False)
assert classify(wrong_quantum)[0] == "abstain"
wrong_recognition = dict(classical, update_mode="R")
assert classify(wrong_recognition)[0] == "abstain"
no_x_evidence = dict(classical, observation_mode="X")
assert classify(no_x_evidence)[0] == "abstain"
valid_x = dict(classical, observation_mode="X",
x_sufficiency_witness="fixed q=phase is not task sufficient")
assert classify(valid_x)[0] == "accepted"
unresolved = dict(classical, is_mixed=True)
assert classify(unresolved)[0] == "needs_split"
return "six linter assertions passed"
def main():
addresses = test_catalogue()
projection = test_deterministic_nonclosure()
markov = test_markov_nonlumpability()
quantum = test_quantum_classical_projection_loss()
energy = test_port_energy_balance()
collision = test_impact_loss()
linter = test_typed_linter()
print(f"72-address catalogue verified: {len(addresses)}")
print(f"F projection difference: {projection}")
print(f"K group-B probabilities: {markov}")
print(f"Q X expectations: {quantum}")
print(f"port-H max energy drift: {energy:.3e}")
print(f"impact kinetic change: {collision:.6f}")
print(linter)
print("PASS all GMDIS-09 synthetic checks")
if __name__ == "__main__":
main()
```
## B.3 程式沒有測量的物理問題
上述測試沒有包含真實感測器校準、聲腔反射、材料非線性、節拍器擒縱機構的複雜接觸、空氣與固體兩種介質的真實幾何網格，也沒有形成從 1000 個振盪器到真實多尺度 PDE 的端到端實驗。若要發表自然科學結論，至少還需要 GMDIS-12／13 的獨立實驗或具可重現基線的模型比較。
---
# 附錄 C｜文獻對照、原始理論來源與來源審計
本清單區分**EveMissLab 自有前置原稿**與**外部成熟學術成果及工程標準**。內部來源支持作者原始定義與系列連續性，不能用來替尚未實測之自然物理命題提供外部實證。外部文獻只用於支持其已建立方法與參考實驗的存在，亦不直接證明 GMDIS 新分類的獨立增益。相關文獻的書目、發布機構、主要研究對象及 DOI／官方規範頁面已做來源交叉檢查。
## C.1 內部前置原稿
**[I-09-01]** Neo.K × AI 研究協作（2026-07-19）。《計算的二十四重範式》v4.0。三軸 2×4×3、P01–P24、X 的語境相對定義、混合路徑、非固定 Big-O。原稿：。
**[I-09-02]** Neo.K × Aletheia（2026-07-19）。《從二十四重計算形態學到七十二格計算動力學》v0.1。新增 F/K/Q 轉移律候選第四軸，明列相對完備性與混合事件限制。原稿：。
**[I-09-03]** EveMissLab（2026-07-19）。《計算七十二格候選空間的操作性驗證》v0.1。有限案例庫、最低充分分類及暫定操作完備性，不代表自然物理的宇宙級完備。原稿：。
**[I-09-04]** EveMissLab（2026-07-19）。《計算七十二格候選空間的極端案例壓力測試與暫定操作完備性》v0.1。混合事件拆分、圖／超圖及反例邊界。原稿：。**注意：** 若原稿連結於後續 Drive 搬移後失效，應以明確檔名在工作區搜尋；不得改寫研究定義以適應暫時失聯的副本。
**[I-09-05]** EveMissLab（2026-09-17）。《從二十四重形態到七十二格動力學：最低充分轉移律、混合格與計算路徑》。以局部事件路徑取代整體唯一格，描述 F/K/Q 的操作最小性。原稿：。
**[I-09-06]** Neo.K × Aletheia（2026-09-22）。《GCCF 06：計算 24 範式與 72 格作為全域計算路由文法》。
**[I-09-07]** Neo.K（2026-10-05）。《全域規則勢論 12：全域規則勢統合理論》。定義規則作用於可行未來的非均勻結構，而非新物理力。原稿：。
**[I-09-08]** Neo.K × Aletheia（2026-10-02）。《空間資訊佔據、構成纖維與容器自由度》。自由、幾何、容器及觀察分離。原稿：。
**[I-09-09]** GMDIS-01～08（2026-10-16～17），EveMissLab 的本系列連續研究原稿。第 09 篇沿用前述數學與物理型別契約；特別以 GMDIS-02（投影閉合）、GMDIS-03（規則勢／SIO）、GMDIS-05（演化適定性）、GMDIS-06（跨介質功率）、GMDIS-07（持續驅動／穩定）及 GMDIS-08（Mori–Zwanzig 記憶）作前提。文件名稱以同工作區 canonical UTF-8 MD 為準。
## C.2 外部物理、數學、量子與工程來源
**[E-09-01]** Modelica Association. *Modelica Language Specification 3.6*, Chapter 9, Connectors and Connections. 。成熟多物理組件、flow 與連接方程語義。
**[E-09-02]** van der Schaft, A., & Jeltsema, D. (2014). *Port-Hamiltonian Systems Theory: An Introductory Overview.* *Foundations and Trends in Systems and Control*, 1(2–3), 173–378. DOI: 。多物理互連與能量／功率契約之成熟基線。
**[E-09-03]** Modelica Association, Functional Mock-up Interface Project. *FMI 3.0.2 Specification*, 2024-11-27. 。分離 Model Exchange、Co-Simulation 與 Scheduled Execution；規範模型交換、事件與物理單位。
**[E-09-04]** Goebel, R., Sanfelice, R. G., & Teel, A. R. (2012). *Hybrid Dynamical Systems: Modeling, Stability, and Robustness.* Princeton University Press. DOI: 。混合流／跳躍模型、穩定與魯棒性。
**[E-09-05]** Lindblad, G. (1976). “On the Generators of Quantum Dynamical Semigroups.” *Communications in Mathematical Physics*, 48(2), 119–130. DOI: 。開放量子 Markov 演化生成元的經典結果。
**[E-09-06]** Gorini, V., Kossakowski, A., & Sudarshan, E. C. G. (1976). “Completely positive dynamical semigroups of N-level systems.” *Journal of Mathematical Physics*, 17, 821–825. DOI: 。完全正動力半群的成熟量子框架。
**[E-09-07]** Kemeny, J. G., & Snell, J. L. (1976 reprint; original 1960). *Finite Markov Chains*. Springer. ；Buchholz, P. (1994). “Exact and Ordinary Lumpability in Finite Markov Chains.” *Journal of Applied Probability*, 31(1), 59–75. DOI: 。有限馬可夫鏈粗粒化與可合併性的成熟數學基線。
**[E-09-08]** Mori, H. (1965). “Transport, Collective Motion, and Brownian Motion.” *Progress of Theoretical Physics*, 33(3), 423–455. DOI: ；Zwanzig, R. (1961). “Memory Effects in Irreversible Thermodynamics.” *Physical Review*, 124, 983–992. DOI: 。消去自由度後的記憶及有效非馬可夫動力參照；具體更正與適用域參見 GMDIS-08 的文獻審計。
**[E-09-09]** Alur, R., Courcoubetis, C., Henzinger, T. A., & Ho, P.-H. (1993). *Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.* Cornell University Technical Report 93-1343. 。將連續流與事件模式結合的形式化工具。
**[E-09-10]** Hoogesteger, M. M., Pogromsky, A. Y., & Nijmeijer, H. (2026). “Huygens' synchrony: Emergent modes of planar symmetrically coupled pendula.” *Chaos*, 36(9), 093135. DOI: ；。共同平面平台的排列與集體模式研究；為節拍器幾何作用的既有實證強基線。
**[E-09-11]** Koopman, B. O. (1931). “Hamiltonian Systems and Transformation in Hilbert Space.” *PNAS*, 17(5), 315–318. DOI: ；Otto, S. E., & Rowley, C. W. (2021). “Koopman Operators for Estimation and Control of Dynamical Systems.” *Annual Review of Control, Robotics, and Autonomous Systems*, 4, 59–87. DOI: 。觀測演化與狀態估計的成熟反方工具。
**[E-09-12]** Shalizi, C. R., & Crutchfield, J. P. (2002). “Information Bottlenecks, Causal States, and Statistical Relevance Bases: How to Represent Relevant Information in Memoryless Transduction.” *Advances in Complex Systems*. DOI: 。關於預測相關變數與充分表示的跨領域參考；不可將文章存在直接當成 GMDIS 類型系統已證有增益。
## C.3 參考來源的特別審計規則
1. 原始 24／72 的 A、B、C 軸及 F/K/Q 定義，以 [I-09-01]～[I-09-05] 為版本來源；不得將 GMDIS 的新物理映射規約反寫成原作已證明的結論。
2. 物理功率與守恆以 [E-09-01]～[E-09-03] 等成熟介面及實際方程為獨立基線；不能只憑四字母分類背書。
3. 混合及 Markov 粗粒化定理是現有成熟數學，本文提供的是接入 72 格判定程序的工作假說與測試方式。
4. 外部文獻證明研究主題已有成果，不證明 GMDIS 對所有物理領域具有新預測能力；任何新增性需在同成本、同任務、同資料及具體可證偽條件下單獨評價。
5. 在重做公開版或將研究交付其他 AI 時，引用本篇的章節號與案例號，而非僅依中文摘要或聊天畫面中的渲染公式。若客戶端無法正常顯示 LaTeX，**應保留本 UTF-8 Markdown 中的 ` $...$ `／`$$...$$` 原始碼**，不可為了畫面而刪減必要數學定義。
---
# 附錄 D｜對審稿與下一篇研究的交付門檻
## D.1 數學校對
- 若引用 M-09-02，檢查投影滿射、函數 $G$ 的良定性及同投影纖維上的後態一致。
- 若引用 M-09-03，檢查矩陣列和為一、每個區塊的行聚合機率及初始分布量詞。
- 若引用 M-09-04，檢查密度算子正定、跡為一及使用不同量測基底所得的不同機率。
- 若引用 M-09-05，檢查功率埠的單位、符號、反對稱 J 與非負耗散 R 的條件。
- 若引用 M-09-06，檢查固定牆、恢復係數與沒有額外衝量供能等假設。
## D.2 方法論校對
- 72 格標籤附 `layer` 與 `task`，不能只有裸代碼。
- F/K/Q 標記必須交代**有效狀態是否完整、隨機性是否必要、量子非交換性是否必要**。
- U 軸在物理應用中需說明其**計算事件層**，不能與物理時間等同。
- O=X 必須有相對明確的表示族與充分性反例或量化依據。
- `abstain` 與 `needs_split` 是合法研究結果，不是分類失敗時可隱藏的錯誤。
## D.3 真實物理實驗上線之前的必要條件
- 獨立設備與感測器校準；原始時間戳與同步方案；
- 所選物理初態與可重複干預；符合量綱的能量／功率項及介面符號；
- 基線求解器的收斂與穩定性；未見干預外樣本；
- 對 Modelica／FMI 等標準方法的公平比較；
- 實驗失敗、分類歧義、無法閉合或無新增價值的負向結果需保留。
## D.4 對 GMDIS-10 的正式交接
下篇《動力學多不變量剖面與拒單測觀察》應在本篇事件與邊型別架構上，進一步明確回答：
1. 對一個多介質物理世界，哪些觀測量與不變量構成目標任務的候選充分集合？
2. 如何用反例、可觀測性、延遲嵌入及記憶模型，判斷低維投影何時失去干預預測能力？
3. X 在什麼條件下應被解除，或以具有已證誤差界的有限多維表示取代？
4. 新增觀測通道、歷史與模型複雜度的成本，如何和反事實預測收益共同評估？
5. GRST 的局部態勢剖面哪些分量可被既有可測量量完整吸收，哪些仍只是待證候選？
**下一篇不得以「所有多尺度系統都需要 X」作為無條件起點。** 恰恰相反，必須把 X 當成一個有證明責任、能被成熟降維理論反駁的任務相對命題。
---
*GMDIS-09 v0.1 完。下一篇：GMDIS-10《動力學多不變量剖面與拒單測觀察》。本 UTF-8 Markdown 為本次交付之 canonical 原稿；正式論證與公式須以檔案內容為準。*