從判定到作用：選擇實現、世界演化與一般化驗證框架

Q: 0. 統合裁決：本系列做了什麼，沒有做什麼？

本篇採取四項已確立的編務與研究決策。

From Determination to Actuation: Selective Realization, World Evolution, and a Generalized Verification Framework

系列：《生成過剩與選擇實現論》（Generative Abundance and Selective Realization, GASR）
**篇次：**第 12 篇／共 12 篇（系列理論統合篇）
作者／原始研究命題： Neo.K（EveMissLab）
AI 協作整理與形式化： GPT-6
日期： 2026-10-29（Asia/Taipei）
版本： v1.0 — 正式研究原稿
研究狀態： 前十一篇理論與既有系列接口整合、限定性命題與可否證研究規格完成；本篇專項物理介入與跨域實證尚未執行（EMPIRICAL_NOT_VALIDATED）
文件地位： GASR 總結論文；不是 ESC／ESC-EXP 正典替換、GRST 新卷、WEL 已完成實驗報告，亦不是一套已證實的宇宙終極本體論。
格式： UTF-8 Markdown。所有正式數學原始碼僅使用 $...$ 及 $$...$$。

作者： Neo.K
機構： EveMissLab／一言諾科技有限公司

摘要

生成式媒介、可展開數位世界、AI 功能組合與自主 Agent 的發展，使能夠被提出、模擬或局部生成的候選內容、軟體能力與世界軌跡大量增加。然而，可能被生成、能在指定規則下被允許、被某個系統選定、實際執行、形成新的世界狀態，乃至被獨立觀察與驗證，是不同的事。前十一篇《生成過剩與選擇實現論》依序研究動畫世界、世界持續性、UFA 功能組合、品質與歷史競爭、IP 與數位演員授權、虛擬偶像的持續身分、歷史加權偏好、注意力時間、生成—探索的不對稱，以及不要求先證明意識的操作性選擇。本篇將上述研究問題統合為：在指定的關係、邊界、規則與證據域中，何種差異足以形成有效判定？何種判定足以支持作用？作用實際發生後，又如何改變世界狀態、歷史與下一輪可能域？

本篇明確回接 Neo.K 既有的《差合化》、主客邊三域代數（SOBTA）、分域算子本體論、外延結構收斂（ESC，尤其 ESC-EXP-JA）、全域規則勢論（GRST）、跨世界實在耦合認識論（CWRCE）與 World Evolution Laboratory（WEL）。這些框架提供不同但相關的責任：外延投影回答相對於任務的可辨識性；主客邊結構提醒作用關係存在未被雙方完全收納的條件；算子分域區分算子性、可作用性、可執行性與實現；GRST 區分二值可行集合及其成本、延遲與穩定性的非均勻勢；WEL 與 CWRCE 要求將世界模型的敘述推回獨立、可反事實檢驗的現實依據。

為避免把上述研究誤稱新發現的普遍自然定律，本文提出有限、帶型別的候選—判定—作用—實現—觀測模型，其中「判定」不預設具有意識或認知的裁判者，卻也不意味所有自然接觸都真的執行了一段軟體式布林判斷；「選擇」則在功能性代理決策與非意圖性物理作用之間保留適用域差異。本文嚴格區分靜態守衛充分性與後繼演化充分性，構造觀測等價但作用不同、作用皆合法但後果不同、以及無狀態改變卻仍有可檢查事件的反例；並提出程序化有限驗證、真實軟體系統、獨立物理量測、事實錨定反事實世界和跨域比較等階梯。主要結論是一個可受驗證的研究契約，而非聲稱人類、AI、物理與宇宙已被證明服從完全相同的單一運算規則。專項實證狀態仍為 EMPIRICAL_NOT_VALIDATED。

**關鍵詞：**生成過剩、選擇實現、判定與作用、差合化、相對外延充分性、主客邊三域、算子可作用性、全域規則勢、世界演化、因果介入、反事實、真實量測、來源溯源、時間排他性、無意識要求的選擇、可否證方法論。

Abstract

Generative systems can produce increasing numbers of candidate artifacts, software functions, interactive branches, and hypothetical worlds. Yet candidate production, admissibility, selection, execution, externally realized state change, and independently warranted observation are distinct stages. This final paper of Generative Abundance and Selective Realization synthesizes the previous eleven papers into a domain-conditioned research question: under what specified relations, boundaries, rules, and evidence does a distinction support an operative determination; when can that determination enable an action; and how does realized action update world state, historical records, and subsequent possibilities?

The framework is grounded in Neo.K's earlier Difference–Coupling–Transformation studies, Subject–Object–Boundary Tri-Domain Algebra (SOBTA), domain-stratified operator ontology, Extensional Structural Convergence (ESC and its Judgment–Action experimental line), Global Rule-Shi Theory (GRST), Cross-World Reality-Coupled Epistemology (CWRCE), and World Evolution Laboratory (WEL). These sources are not replaced by GASR. Their responsibilities remain distinct: relative extensional sufficiency, relational and boundary constraints, admissible and executable operator application, nonuniform future affordances, and reality-coupled causal verification.

We introduce a typed, bounded candidate–determination–actuation–realization–observation model; distinguish non-cognitive constraint evaluation from agentic choice and from phenomenal awareness; and separate one-step guard sufficiency from transition and long-horizon sufficiency. Explicit counterexamples demonstrate that observational equivalence need not preserve action feasibility, and equal action feasibility need not preserve future consequences. The paper specifies a verification ladder spanning finite formal counterexamples, real executable systems, independently measured physical interventions, factual-anchored world models, and conditional cross-domain transfer. These are proposed tests, not results. We do not infer universal physical ontology from a formal transition schema, nor infer the consciousness of an agent from its behavioral policy. Empirical validation remains outstanding.

0. 統合裁決：本系列做了什麼，沒有做什麼？

本篇採取四項已確立的編務與研究決策。

GASR 是一個十二篇的研究系列，而不是 ESC 的重命名。 ESC「外延—判定—作用」已在 2026-10-28 正式歸入 ESC → ESC-EXP → ESC-EXP-JA；本篇不占用新的 ESC-EXP-29 編號，也不改動該系列的正典、測試結果或進度裁決 [E12–E14]。
不同層級的成功不能互證。 形式模型可檢查，不代表物理真值已知；動畫能生成新視角，不代表原作完整世界被還原；Agent 能提出行動，不代表有權限或確實完成作用；資料表示能外延區分狀態，不代表已得到因果規則。
一般化選擇不要求先證明主觀意識。 我們可以研究政策、守衛、資源分配與狀態轉移；但不能因此宣布任何 AI 有意識、沒有意識，或自然界必然存在一位無形判定者。
物理層結論需要物理層證據。 ESC-EXP 的有限原始碼測試和 WEL 的模擬／世界模型有其價值，但不能以它們代替獨立量測、真實反事實介入、量測不確定性及跨批次重現。

本系列從「觀看動畫」起步，不意味研究終點仍只是娛樂。其終點是一個可落回娛樂、軟體、社會資源分配與實在科學的共同問題結構。這個共同結構的跨域有效性仍須逐域檢驗；不能以語言相似當成機制相同。

1. 前十一篇的研究序列如何形成此問題？

1.1 四段研究路線

第一段：媒介與世界（第 1–3 篇）。 原片只是有限觀測；可展開世界須有來源、持續狀態、時間、因果分支與局部物化。UFA 使功能可被發現或組合，但登錄的能力原子不等於經驗證的應用。

第二段：生成後的競爭（第 4–8 篇）。 品質提高、集合內容同質化、主觀疲勞是分離的變項。經典 IP、授權數位演員與虛擬歌手的價值可以受到個人歷史、公共歷史、權限、社群與作品品質共同影響；任何一種價值都不自動保證市場優勢。

第三段：時間與探索（第 9–10 篇）。 原有注意力經濟以時間、選擇排他、序列及時間主權為核心。候選生成、驗證、探索與某觀察者親身實現，不能以同一吞吐量替代；積壓增長須有統一計量、保留規則與正淨流入的條件。

第四段：一般化選擇（第 11 篇）。 AI Agent、排程器、人類、組織可在限定域內共享「候選—約束—政策—提交—後果」的形式結構，但不是相同的心理或法律主體。多代理共同使用世界，還必須處理共享資源、衝突、同意、歷史與責任。

1.2 需要補上的最後一步

此前我們已知道一位觀察者可能選擇體驗 A 而非 B，也知道某個 Agent 可挑選候選工具，或某個世界模型可提出動態更新。但尚未充分區分：

可能性：某種結果能被描述或提出；
判定條件：在特定域、關係、邊界與規則下，什麼被區分為可行或不充分？
作用行為：哪一種物理、程式或社會事件真正啟動？
實現結果：世界、軟體或社會狀態中哪些量有可核對的變化？
歷史接續：已實現事件如何限制、拓展或重新組織下一輪候選？
證據責任：誰或什麼提供了各階段的獨立可驗證依據？

因此，本篇從第 11 篇的操作性選擇再往下一層，考慮不需要有「我想選什麼」之心理敘述，也仍有可定義的關係、規則與作用條件。但這個形式下沉不授予「一切物理現象都等價於人類作選擇」的本體論結論。

1.3 題名中的「判定」並非裁判的擬人化

「判定」（determination／judgment）在本文是研究語言：指定的結構條件能否支援一個可分辨、可重播、具有可拒絕結果的作用判別。它可能由數學守衛、控制電路、制度程序、演算法或自然機制模型表達。

當實際自然接觸或反應被研究時，不能先假設自然界在事件之前運行了一段命令式 if 判斷。研究者可用 guard 描述條件，但是否能給出獨立、可預測的物理機制，要由外部量測證成。邏輯前置、物理先後與觀察者事後描述，是三種不同關係。

2. 先行研究與原有理論的責任分界

2.1 形式方法與因果科學的已有基礎

狀態機、輸入輸出自動機、時間邏輯和模型檢查，本來就能把系統的合法轉移、事件歷史與安全性寫成可驗證形式 [R1–R3]。雙模擬及相關抽象研究已處理「兩種表示何時在指定行動下維持相應行為」[R4]。結構因果模型及介入式因果解釋則分開觀測關聯與主動干預結果 [R5–R6]。

因此，本文不主張首先發現狀態轉移、條件判定、資源排他、因果介入、可重播實驗或觀測等價與行動等價的差別。本文的目標是把 GASR 具體議題與 Neo.K 既有研究連成可供後續實證分工的完整操作框架，並確定何時不能跨層推論。

2.2 ESC：外延、差合化與判定的正典位置

既有 ESC 已區分相對身份、外延簽章、差異與耦合守衛、轉化歷史、觀察投影，以及保留 NonCl／失敗的有限模型 [E12]。

ESC-EXP-JA 已正式歸屬 ESC，並具有一組有限、來源連結的研究紀錄：例如歷史性的 ESC-EXP-03 F/C/I 投影比較、域條件下的作用充分性、未收納邊界的合成反例，以及 N04 與原有殘餘因子研究的對接 [E13–E14]。這些結果是指定有限合成狀態域的實驗與構造證據；不是自然界接觸時刻的普遍物理證明，也不能把後續 EXP 的歷史版本當成目前全部上游狀態。

ESC 的「差—合—化」在某一事件中可能是可重疊的分析面向，不必互斥，也不保證每次事件三者都成立。它與事件時間上的三個先後階段不能偷換。GASR 只引用其經過明示的投影與判定接口，不重新立一套平行的 GASR-ESC 正典。

2.3 SOBTA：主客是關係角色，邊界不能被抹除

SOBTA 將主體、客體與邊界視為關係配置中的角色和域，而不是三種不可轉位的物理物種 [E15]。一個物件在某次觀察中被當作客體，不因此推得它不存在自己的局部狀態、歷史或行動條件。相對主體域也不等於已證明的現象意識。

對本篇而言，SOBTA 的實用提醒是：若作用發生在兩個存在之間，不要僅記錄兩者的可見屬性，而遺漏介面、環境、第三方條件或未被觀察者讀入的邊界域。但「模型缺少邊界欄位」不等於「自然界已被證實存在某種新第三物理場」。

2.4 分域算子本體論：四個不同問題

Neo.K 2026-07 的《分域算子本體論》嚴格分開 [E16]：

Operatorhood（算子性）：作為算子的形式／本體資格；
Applicability（可作用性）：對指定輸入、域與條件能否作用；
Executability（可執行性）：在給定形式／運行後端能否執行；
Realization（實現）：是否有具體後端及可核對結果。

這四層不能由同一個 PASS 代替。尤其 operatorhood 的廣義哲學主張不是已由 GASR 或 ESC 推導出「任意存在都能作用於任意存在」；可形式執行也不代表已取得物理對應。

2.5 GRST：可行集合不包含所有未來資訊

全域規則勢論的統合篇 GRST-12 [E17] 將理論、規則、可行自由空間、勢賦形、全域勢、局部態勢、世界線束與觀測結果區分：

T\rightarrow R\rightarrow\mathcal F_R \rightarrow\Theta_R\rightarrow\Sigma_R \rightarrow\sigma_R(x)\rightarrow\Gamma_{R,x}\rightarrow O.

其中 $\mathcal F_R$ 回答何種方向可能， $\Theta_R$ 額外記錄方向權重、成本、放大／抑制、穩定、延遲與耦合等候選結構。二值守衛的成功不等於 GRST 的勢已經被驗證。 此處不把 GRST 的「勢」等同既有物理力場、能量、機率分布或宇宙學常數；任何跨域映射都需自行提出可檢驗預測。

2.6 CWRCE 與 WEL：模型須回到實在耦合

CWRCE 把「可靠認識」從特定學科名稱中抽象出來，研究有限觀察者如何藉由區分、觀察、修正與外部約束形成可檢驗的認識程序 [E18]。它不是免驗證的全域知識合法化機制。

WEL 主張區分物理實驗、純合成模型實驗及事實錨定的反事實重建實驗；使用 WorldLock、觀察算子鎖、受控分叉、介入、時序與原始來源記錄建立證據 [E19]。事實錨定重建仍不等於在現實中完成了另一條未發生歷史。本文採取更嚴格的分級：程序化世界可用來除錯；自然／社會實在的實證必須有獨立資料來源，且介入聲稱需要符合該領域的因果識別條件。

3. 研究單位、適用域與禁止混用的「世界」

3.1 五種世界／世界表示

研究對象	可被核查的東西	尚不能直接聲稱的東西
實在中的系統	量測紀錄、獨立介入、外部變化、誤差與校正	模型已認識所有隱藏狀態或因果機制
作者制定的世界	作者明示規則、可合法取得的素材、正式事件	原作品未披露的全部心理與物理真值
程序化模擬世界	程式碼、世界種子、轉移規則、可重播狀態	與真實自然世界等價
根據有限觀察重建的世界	來源錨點、推論、生成、未知、同一場景回訪	唯一還原外部來源世界
觀察者的體驗／知識域	授權下的自述、行為、感官入口或運作日誌	完整第一人稱體驗、他者的全部自身域

「世界」並非本文所有公式的一個已知同質集合。模型中的狀態空間 $\mathcal S_D$ 是選定研究域 $D$ 的表示；不得不經量測映射就把三維動畫網格、人的社會關係和物理粒子全部放進同一個無量綱世界狀態，然後宣稱它們的運算同一。

3.2 研究域與最小可核對契約

定義一個研究域規格：

D=(\mathcal S,\mathcal B,\mathcal A,R,\mathcal O, \mathcal M,\mathcal H,\mathcal P,\mathcal U).

$\mathcal S$ ：允許研究、明示有效域的狀態；
$\mathcal B$ ：環境、介面及其他邊界條件；
$\mathcal A$ ：在本域中可提議或作為作用候選的有型別事件；
$R$ ：規則、守衛、轉移限制或已知因果機制；
$\mathcal O$ ：觀察算子家族；
$\mathcal M$ ：量測與輸出載具的規範；
$\mathcal H$ ：歷史序列、版本與分支規則；
$\mathcal P$ ：證據、來源、可信度及權限資料；
$\mathcal U$ ：當期時間、算力、能源、資料或其他資源限制。

$D$ 是本篇的研究契約，不是聲稱 ESC、GRST、ORDR、UFA 或 WEL 當前原始碼已經共同實作這個 tuple。每一具體領域都需要一張來源映射表，標明哪個欄位由哪個實際系統提供、哪些尚未建立。

3.3 三種不同的「合法」

形式合法：在模型規則及型別約束下，轉換被允許；
實際可作用／物理可行：在指定可觀測物理條件、機制與誤差範圍內，轉換可發生；
制度／法律允許：對資料、人物、IP、裝置或外部服務的利用具有效權利基礎與可履行契約。

任何一種都不充分推出其他兩種。對物理反應，不能把人類合約缺失說成物理守衛不成立；對真人數位替身，不能把技術可執行性說成肖像使用已合法；對算子語法，不能把 type check 說成物理反應已發生。

4. 最低的七層實現流程

本文採取七層研究與稽核分解，而不要求自然界在物理時間上必然依七個順序執行。

層	名稱	所回答的問題	不得冒充
$L_0$	可能／提出	有哪些候選被提出或可指定？	候選已被執行
$L_1$	相對可判定	現有簽章足以區分相關條件嗎？	機制在世界上為真
$L_2$	可作用／准入	依規則、邊界、權限是否允許？	已發生作用
$L_3$	選取／觸發	哪個候選獲得資源、控制或事件觸發？	必然成功
$L_4$	實際執行／交互	指定作用是否由具體後端啟動？	已得到所宣稱後果
$L_5$	世界／狀態實現	哪個狀態、關係、事件或記錄有可辨變化？	已知全部實在狀態
$L_6$	觀察／證據／更新	有何獨立結果支持修正下一輪可能域？	完全本體閉包

對人類與 Agent 的軟體流程， $L_0\to L_6$ 可成為具體事件日誌；對自然物理過程，有些環節是分析者事後作出的條件分類，沒有自主的選擇政策。另有同時事件、分散式並行與非馬可夫動力；此處流程不是聲稱所有自然作用都有線性的七段執行器。

4.1 可拒絕與不可識別狀態必須保留

在任何正式研究中，至少保留：

ACCEPTED / EXECUTED / EFFECT_OBSERVED
REJECTED_BY_RULE / REJECTED_BY_RIGHTS
UNKNOWN_BOUNDARY / UNPROVEN_CAUSAL_MECHANISM
NOT_RUN / MEASUREMENT_INSUFFICIENT / OUT_OF_SCOPE

這些是研究性狀態類別，非現有跨庫規格。拒絕、尚未執行與沒有觀察到變化不能被當成同一結果；沒有觀察到變化也不等於證明什麼事都沒發生。

5. 最小形式化：從可能域到世界更新

5.1 世界狀態、關係與規則

對某個固定域 $D$ ，令 $s_t\in\mathcal S$ 為當期狀態表示， $b_t\in\mathcal B$ 為邊界條件， $h_t\in\mathcal H$ 為當前有效歷史， $R_t$ 為規則或規則假說。這些量是模型對象；若要代表物理世界，需有量測或建模對應。

指定當期可列舉或可提出的候選：

\mathcal C_t(D)=\operatorname{Candidates}(s_t,b_t,h_t,R_t;D).

這個集合可以是有限、惰性列舉或不可窮舉。它不包含「宇宙中所有可能世界」的可證實完整清單；研究只對明示支援域負責。

5.2 條件判定函數

定義由研究者、程式或正式規則給出的部分判定：

J_D(s_t,b_t,h_t,a) \in\{\mathsf{allow},\mathsf{deny},\mathsf{unknown}\}, \qquad a\in\mathcal C_t(D).

allow：在本模型明定的判準下具充分可作用依據；
deny：某項已明定的規則或必要條件未滿足；
unknown：缺乏相關邊界、狀態、權限、量測或模型識別能力。

$J_D$ 不必是物理系統內部實存的一個程序；它是我們記錄某一判定條件是否足以支持特定作用的介面。對具有隨機動力的模型，還可能需要機率、區間與不確定性，三值僅是最小分類，不能替代統計推斷。

5.3 選取與自然觸發

對具有政策的 Agent 或排程器，令選取政策 $\pi_i$ 選擇候選（或拒絕、延後）：

(a_t^{\ast},d_t)=\pi_i(\mathcal C_t,J_D, \mathcal U_t,o_{it},h_{it}),

其中 $d_t$ 可為提交、延後或拒絕。選擇可以有不完整觀測、不同目標與受限資源；它不需要預先證明系統有主觀意識。

對非意圖性物理過程，不必虛構 $\pi_i$ 。以事件條件和可能的隨機性直接指定候選實現核：

K_D(s',e\mid s_t,b_t,R_t),

其含義是在明示的模型和邊界下，後繼狀態 $s'$ 與事件 $e$ 的機制或模型機率；對確定性過程可退化為單值關係。此式只是數學表示，不是「自然現象在選擇」。若實際系統不存在可可靠估計的機率核，就不能藉形式符號宣稱已知道該核。

5.4 提議、執行與實現分離

具有操作閘道的系統中，候選增量 $\Delta_t$ 先被提出並審核：

\Delta_t=\operatorname{Propose}_D(s_t,a_t^{\ast},b_t,h_t),

(s_{t+1},e_t)=\operatorname{Commit}_D(s_t,\Delta_t;R_t,\mathcal U_t),

其中 Commit 有可能拒絕；即使允許提交，也可能因外部失敗、硬體故障或環境干預而未產生預期後果。資料庫中的事件提交、虛構世界狀態提交、實際硬體作用及外部社會結果是不同的實現邊界。

對物理作用，可由量測系統檢查實際前後狀態，而不是假設每個物理反應必然具有軟體 Propose/Commit 事件。

5.5 觀察算子及實現證據

令觀察者或儀器 $i$ 的有限觀察資料為：

y_{it}=O_i(s_t,e_t;\mu_i,\eta_{it}),

其中 $\mu_i$ 是儀器／載具與可用量測規格， $\eta_{it}$ 代表噪音或未建模因素。相同實際狀態對不同觀察者可有不同輸出；一個觀察者未觀察到事件不代表事件不存在。若研究要判斷物理因果， $O_i$ 及其校正、不確定性與資料處理鏈須可獨立審核 [R8]。

5.6 世界更新後的可能域

令 $\Phi_D$ 根據有效狀態、邊界及歷史，更新下一期候選：

\mathcal C_{t+1}(D)= \Phi_D(\mathcal C_t,s_{t+1},b_{t+1},h_{t+1},R_{t+1}).

它可使候選增加、減少、改變權重或重新分割；不能由「選擇創造新歷史」直接推出 $|\mathcal C_{t+1}|>|\mathcal C_t|$ 。例如打開一扇門增加可進入區域，消耗唯一鑰匙可能同時消除其他行動。權利更新、外部技術、記憶與規則變動亦可能改變可行域。

5.7 一條可使用、但不能過度宣稱的總鏈

將上述層級以研究語言壓縮：

\boxed{ \text{Specified Possibility Domain} \xrightarrow{\text{relational determination}} \text{Admissible / Unknown Action} \xrightarrow{\text{selection or triggering}} \text{Actuation} \xrightarrow{\text{world event}} \text{State + History} \xrightarrow{\text{new constraints}} \text{Revised Possibility Domain}. }

這條鏈在軟體與可控制的離散事件系統可成為明確的實作契約；在其他實在中，它是有待尋找適當映射和實證的研究圖式，不是自然界終極的唯一因果分解。

6. 非認知判定、功能性選擇與物理作用的三種語義

6.1 功能性選擇不必等待意識證明

一個排程器在兩個候選任務間分配資源；一位人類決定今晚觀看一部影片；一個 AI Agent 擇一使用某個已核准的 UFA 能力。這些都可以有候選、資源、策略、執行及後果的外部紀錄。其功能性共通點可在不先回答現象意識問題的情況下進行測試 [E11]。

但應保持：

\mathrm{OperationalSelection} \not\Rightarrow\mathrm{PhenomenalConsciousness},

以及反向研究限制：

\mathrm{OperationalSelection} \not\Rightarrow\neg\mathrm{PhenomenalConsciousness}.

形式上的行動選擇既不證明意識存在，也不證明意識不存在。這並非在說意識不存在或不重要，而是不同命題有不同的證據門檻。

6.2 自然界的可區分作用不要求心理動機

例如，一個真實電路因供電、接線、負載與開關條件不同，可能呈現不同電流或輸出。研究者可定義 connected、powered、load_ok 等條件，判定某種輸出是否預期可達。但不能因此宣稱電路「想要」選擇開燈，更不能宣稱電路內有一個擁有主觀經驗的裁判。

同理，物體接觸、材料反應、流體轉變、化學作用或資訊傳播中的可區分機制，不必先有一個認知主體作決策。然而，每個具體領域是否可由同一個簡單 $J_D$ 描述、其條件能否被獨立測得、是否涉及隨機或連續動力，都是新的研究責任。

重要界線：「無需意識」是指本篇操作性模型的定義不以意識為先決前提；不是宣稱已窮盡意識與物理機制的本體論關係。

6.3 社會／制度判定還有不同的權限責任

法院、公司、家庭、團隊或平台對某種行動作出允許／拒絕時，其結論還包含制度規則、權力來源、當事人權利與異議程序。數位演員的肖像權及經典 IP 授權，不能僅以 AI 模型分類器的結果產生法律上的新權利 [E5–E6]。

社會判定和物理判定可能使用類似的三值狀態，但兩者的驗證依據不同。同一形式符號不是同一權威來源。

6.4 「判定先於作用」有三種含義

邏輯先於： 研究者必須先在模型中定義守衛，才能討論特定轉移是否合法；
程序先於： 在一個軟體操作鏈中，validator 的確可能在 commit 前執行；
物理先於： 某些物理作用有可量測的準備、接觸、觸發或延遲；但不保證每個物理事件都有可獨立量測的「先判斷，後動作」時間段。

將邏輯先於直接寫成物理先於，是本篇要避免的類別錯誤。

7. ESC 接口：相對外延何時足以判定作用？

7.1 已有的外延充分性條件

對固定支援域 $S\subseteq\mathcal S$ 、明示的投影 $\pi:S\to Z$ 、作用集合 $A$ ，以及作用判定函數 $g:S\times A\to\{0,1\}$ ，若希望僅由 $\pi(s)$ 唯一決定 $g(s,a)$ ，其充分必要條件為：

\forall s_1,s_2\in S,\ \forall a\in A,\qquad \pi(s_1)=\pi(s_2) \Longrightarrow g(s_1,a)=g(s_2,a).

理由。 若存在 $\bar g:Z\times A\to\{0,1\}$ 使得 $g(s,a)=\bar g(\pi(s),a)$ ，同一投影像上的 $g$ 必相同。反過來，若上述條件成立，可對每個有來源前像的投影值定義 $\bar g(z,a)$ 為任一前像的 $g(s,a)$ ；因纖維內恆定而良定義。未在投影像中的 $z$ 可視需要留作未定義。證畢。

這是標準的函數因子化／商結構條件，不是新發明。ESC-EXP-JA 的研究貢獻在於把它放到既有 F/C/I 投影、特定任務、邊界和來源級反例中檢查 [E12–E14]。GASR 不應冒充獨立證明了新的外延數學定理。

7.2 反例 A：同一觀測外觀，作用守衛不同

考慮兩個處於相同可見位置、外殼形狀與指示標籤的實體裝置。在研究者的唯讀光學投影下，兩個狀態無法被區分：

\pi_{\mathrm{opt}}(s_{\mathrm{connected}}) =\pi_{\mathrm{opt}}(s_{\mathrm{disconnected}}).

但若指定的作用為「閉合控制開關後，在負載端產生指定電流」，不同接線／邊界條件可能導致不同可行性：

g(s_{\mathrm{connected}},a) \ne g(s_{\mathrm{disconnected}},a).

因此，單一光學投影對此作用不具判定充分性。若加入合法且有效的電氣連續性量測、接線資料或邊界欄位，可能恢復可判定性。這是一個待真實量測設計的物理類比反例，不是宣稱本篇已在真實裝置上得到測量值；在邏輯層亦可先以合成布林狀態驗證。

其研究意義是：外觀相同、名稱相同、描述相同，不等於對指定作用具有同一有效條件。

7.3 ESC-EXP 既有有限結果必須原樣保持

ESC-EXP-JA v0.3 的歷史原稿記載，使用 ESC-EXP-03 真實 ESCState 與 project_f/project_c/project_i 在一組有限狀態域測試：特定 F 與區塊大小組合，在限定「已有關係」的域上對某個作用計數充分；加入無關係狀態後不再充分，需要額外守衛資訊。另以事件順序及合成 boundary=open/sealed 欄位示範：在原投影域上能分離狀態，不代表加入新作用條件後仍足夠 [E13]。

N04 的研究則將新的作用任務與原有 EXP-28 因子編譯比較，得到任務族與支援域改變時，原先充分簽章可能不足的有限構造性結果 [E14]。這些都是既有 ESC 的工作與證據。本篇只引用其結論與限制，不重跑程式、不更新 PASS 數、不宣稱新通用定理，也不改變 SYNTHETIC_FINITE_ONLY 的證據標籤。

7.4 觀測充分性、守衛充分性與後繼充分性

令 $Q$ 為指定的觀測查詢族、 $g$ 為守衛、 $T_D$ 為轉移關係。則至少有三類不同的充分性：

觀測充分性： 投影可回答所有指定 $Q$ 中的問題；
守衛充分性： 投影可回答指定行動是否可作用；
後繼充分性： 投影可回答同一行動導向的抽象後繼集合／分布。

它們不是普遍互相蘊含。研究者即使能從某個圖片或文字標籤準確預測 allow，也不代表其表示足以預測作用後的時間路徑與穩定性。

8. 只知道「可作用」為什麼不夠？GRST 與動態充分性

8.1 反例 B：同樣合法，兩步後卻相反

設兩個有限模型 $M_A$ 、 $M_B$ 都允許動作 advance，且在第一個狀態具有相同的二值守衛。兩者的初始可見 phase 皆為 $0$ ，第一步都到 phase $1$ ：

M_A:\quad 0\xrightarrow{\mathrm{advance}}1 \xrightarrow{\mathrm{advance}}\mathrm{goal},

M_B:\quad 0\xrightarrow{\mathrm{advance}}1 \xrightarrow{\mathrm{advance}}\mathrm{trap}.

在這個刻意構造的有限模型中，兩者的可作用守衛表相同，但兩步後果不同。即使兩者在中間 phase 的靜態觀測仍同，也不足以預測下一輪結果。

此例與既有 ESC-EXP-JA v0.2 的研究反例相呼應 [E13]；不是 GASR 首創的物理定律。它指出本篇所需的下一個研究量是作用後果與多步演化，而不是再增加一層同義的「合法」標籤。

8.2 後繼集合的條件

定義動作 $a$ 從 $s$ 形成的抽象後繼集合：

\operatorname{Succ}_{\pi,D}(s,a) =\{\pi(s'):s\xrightarrow{a}_D s'\}.

若希望抽象投影能一致描述此一步後果，至少要求：

\pi(s_1)=\pi(s_2) \Longrightarrow \operatorname{Succ}_{\pi,D}(s_1,a) =\operatorname{Succ}_{\pi,D}(s_2,a)

對固定支援域內相關狀態及行動成立。並且需要封閉性：轉移後要嘛仍位於已檢驗的有效域，要嘛明示離域並重新建立有效契約。

若研究是隨機模型，單純後繼集合相同仍不保證機率相同；另需對投影等價類的轉移分布作足夠條件的對齊，例如 lumpability 或機率雙模擬相關要求 [R4]。本篇不把所有此類標準概念重命名為新的算子定理。

8.3 GRST 的勢不能只用合法方向數量代替

設某個狀態有兩種合法方案 $a$ 、 $b$ ，因此 $J_D(s,a)=J_D(s,b)=\mathsf{allow}$ 。但 $a$ 可能高延遲且不穩定， $b$ 可能低成本且持續性強；另可能存在風險、非對稱效應及與其他動作的耦合。

若僅記錄二值 allow，這些差異都會消失。GRST [E17] 的研究路線因此區分可行自由集合 $\mathcal F_R(s)$ 與勢賦形 $\Theta_R(s)$ 。本篇可以要求：

\Xi_D(s,a)= \bigl(\operatorname{Adm}_D(s,a), \operatorname{Cost}_D(s,a), \operatorname{Delay}_D(s,a), \operatorname{Stability}_D(s,a), \operatorname{Risk}_D(s,a)\bigr)

作為任務依賴的候選量測剖面，但此 $\Xi_D$ 是 GASR 自己的局部研究記錄，不宣稱取代或完整實作 $\Theta_R$ ／ $\Sigma_R$ 。實際機率、物理力、方向權重與穩定性必須由指定實驗測量或由外部經驗證模型給出；不能因公式中出現名稱就算已經量測。

8.4 理論的強版本與弱版本

弱版本（可接受作研究模型）： 在固定支援域、狀態、行動、邊界及誤差準則下，有一套可以被有限測試驗證的相對充分性與後果記錄。

強版本（尚未成立）： 所有自然接觸、所有主體關係、所有 AI 操作和所有世界的未來，都可由同一數學判定核完整描述，且其物理真值已被確立。

後者需要跨域獨立重現、足夠的機制證據、反例挑戰與新的可區分預測；不能把各領域的相似圖表當成其證明。

9. 差合化、主客邊與判定瞬間：從比喻回到事件

9.1 三種面向可以在同一事件重疊

對某個研究事件 $e$ ，提出三個不互斥的分析標籤：

\mathsf{Diff}_D(e),\qquad \mathsf{Couple}_D(e),\qquad \mathsf{Transform}_D(e).

$\mathsf{Diff}$ ：有指定可觀察或形式差異被區分、保留或新增；
$\mathsf{Couple}$ ：在明示的關係及守衛下形成或改變耦合；
$\mathsf{Transform}$ ：有指定的狀態、關係或事件結構發生轉換。

同一事件可能同時滿足不只一個標籤，也可能無法判定其中某項。三者不是必然的三個物理子事件，也不是三選一狀態分類。本文不採用沒有獨立意義與量測的「差＋合＋化必為某個普遍常數」等式。

9.2 主客並非固定角色

令某次關係配置為：

\Gamma_t=\langle X,Y,\partial_{XY},R_t\rangle.

$X$ 在一個查詢中可能是作用發起位置， $Y$ 是接受位置；換另一種觀察、儀器或互動方向，角色可以轉位。 $\partial_{XY}$ 不必只有幾何接觸面，還可能涉及媒介、環境、第三方資源或未被觀測的條件。

這裡的「主」僅是關係中的作用位置，不要求其為人類、AI 或有意識的實體。但是否能把任意物理系統的某個元素都合理投影成主客邊，是有待證明適用性與資訊保持性的模型決定，而非自然界強制採用的唯一分類。

9.3 「接觸瞬間形成判定」的安全表述

對物理接觸或系統耦合，可以提出一個可檢驗的較弱說法：

在明示的世界規則與邊界條件下，某個關係事件是否形成指定的狀態或關係差異，應由該事件的實際條件和後果判定，而不需要先設定一個具有認知意圖的裁判。

此說法保留原直覺的非認知性，但不能推論「判定」必為物理自然界的一種新的基本粒子、力或普遍可獨立量測的瞬時事件。若要主張存在獨立的物理判定機制，需提出比傳統邊界條件、因果模型、相互作用定律更好的可區分預測，並通過真實干預檢驗。

9.4 三條不同的「從差異到作用」道路

形式道路： 指定集合、型別、守衛及轉移，分析某一投影是否對作用充分。

工程道路： 用實際程式、硬體或世界 runtime 進行有型別操作，在權限、可重播與失效語義下取得結果。

實證道路： 以獨立儀器、真實事件與受控介入檢查模型，並在持出資料和替代理論之間比較。

三者可以互相支援，但不能合併成「寫出公式＝證明現實」的單一步驟。

10. 作用如何重構下一輪可能域？

10.1 更新不保證擴張

選擇與作用可能打開新空間，也可能封閉舊選項：觀察者打開某道門後獲得新路徑；同時可能消耗唯一鑰匙、觸發時間限制、改變角色信任或造成權限取消。未來可能集合應以事件後的狀態重新計算，而不能從「生成」一詞先驗認定其基數增加。

形式上，有可能出現：

\mathcal C_{t+1}\supsetneq\mathcal C_t, \quad \mathcal C_{t+1}\subsetneq\mathcal C_t, \quad\text{或兩者不可比較}.

要比較基數、福利或探索成本，還需要指定候選語義、有效域、觀察者及時間預算。數位世界中的無數可被生成的影格，不等於同等數量已具因果歷史的世界；未被生成的潛在位置不等於已存在完整真值。

10.2 具有歷史的可行域

在狀態 $s_t$ 、世界歷史 $h_t$ 和資源 $u_t$ 下定義：

\mathcal A_t^{\mathrm{eff}}= \{a\in\mathcal C_t: J_D(s_t,b_t,h_t,a)=\mathsf{allow}, \ a\ \text{meets resource and authority constraints}\}.

當前可行集合依歷史改變，並不意味所有情況均非交換。若兩項作用 $F_a,F_b$ 定義域相容並且：

F_a(F_b(s))=F_b(F_a(s)),

對本域所有相關狀態成立，順序可能在指定終態查詢上不可區分。若不交換，則需記錄事件先後、原因及不同後果。這是既有時間論「序列性」在本篇中的條件性、可反駁版本。

10.3 事件可被回滾，但歷史證據不能隱式抹除

虛擬世界可以從一個快照回滾；資料庫也可執行受控回退。此時某個分支的當前表示可能回到先前的數值配置，但實際發生過的提交、錯誤或分支活動仍有獨立的稽核地位。

\mathrm{StateEquals}(s_t,s_{t'}) \not\Rightarrow \mathrm{HistoryEquals}(h_t,h_{t'}).

對真實自然過程，是否能恢復某些宏觀狀態、哪些歷史有可保存測量，不可直接由虛擬世界的 event ledger 推導。對個人記憶也應尊重「不收集」與合法刪除權，不能把稽核需要變成無限保存私人資料的藉口。

10.4 生成、驗證、探索與實現是不同守恆對象

第 10 篇 [E10] 已提出在明示計量與保留規則下的驗證積壓 $Q^V_t$ 與探索積壓 $Q^E_t$ 。本篇只把其處置成果接到具體作用與世界事件：已驗證的候選可以仍未被選擇；已被選擇的世界可能未成功物化；已完成 AI 探索的路徑不等於人類已親身體驗。

若研究者試圖將「新候選數」「世界狀態變動次數」「人類聚焦時間」「GPU 推理成本」加總成單一世界實現量，就必須先建立有意義的轉換規則與效用單位。沒有此步驟，跨域總量不具合法解釋。

11. 多主體的判定與世界實現：誰能提交、誰受影響？

11.1 多個個體可行，不代表聯合可行

給定兩個 Agent，各自都能在本地規則下申請獨占 GPU，個別申請都可能通過格式與權限檢查。但若兩者同時申請同一單位的唯一資源，聯合請求不一定可行：

J_D(s,a_i)=\mathsf{allow},\quad J_D(s,a_j)=\mathsf{allow} \not\Rightarrow J_D^{\mathrm{joint}}(s,(a_i,a_j))=\mathsf{allow}.

此處需要調度、互斥、優先權、仲裁、公平性和因果版本控制；不是由個別可作用性自動解決 [E11]。

11.2 世界事件權威、渲染權威與模型建議分離

一個 ORDR 世界中，某個 Agent 可從來源影格提議生成走廊，另一個 Agent 可提出角色開門事件，渲染器可顯示相應影像。三者仍不得越權宣稱：

生成內容因重播多次而變成原作可核查真值；
UI 渲染器因顯示了某事件就成為 canonical event authority；
自動化角色因有語義上的行動描述就取得對真實使用者資料、金錢、肖像或外部系統的授權。

世界更新需通過具有正式權限、版本與因果前置條件的提交邊界。若 ORDR adapter 既有合約僅具 can_write_canonical=false，則新功能不能在本篇直接繞過；未來寫入必須另設版本化、可審查的世界 runtime 或正式契約 [E2, E19]。

11.3 受影響者不一定是直接選擇者

一個人的經濟選擇可能占用他人的時間，一位製作者的授權決定可能改變演員與粉絲能取得的作品，某種雲端資源排程可能延後其他使用者的工作。這些後果不由單一 Agent 的局部效用函數完全決定。

因此，多主體研究要保留至少三種身份：提出者／選擇者、具有准入或提交權限的一方、實際受到後果影響的一方。三者可能重合，也可能分離；權限與責任需要制度依據，而不是由世界公式生成。

11.4 時間主權與被動作用不同

對人類，時間主權包括知情、退出、控制、意圖對齊與重選能力 [E9]。一個排程器或物理系統的資源限制可用同樣的工程詞彙描述，但不能因此宣布排程器具有與人的時間主權等價的權利或倫理地位。

GASR 的一般化是在形式結構層進行，而非抹平權利、意識、生命經驗、制度責任及物理機制的差異。

12. 可推導命題、假說與精確失效條件

本節將形式上可由前提得到的結果、本篇為研究採用的規範契約和必須在實在中驗證的假說分開。若某項結果只是定義直接改寫，不能再以「實驗證明其存在」包裝。

命題 P1：外延充分性依指定域、任務及投影而定

命題。 對固定域、行動集及二值守衛 $g$ ，若第 7.1 節的纖維恆定條件成立，則存在能在投影像上正確恢復守衛的因子函數；若不成立，則無此函數。

地位： 標準因子化定理在本篇的使用；證明見第 7.1 節，非新定理。

限制： 增加新邊界、行動、支援狀態或任務族後，條件要重新檢查。原有的成功不會被新場景自動繼承。

命題 P2：守衛相同不充分推出後果相同

命題。 只保存 $g(s,a)$ ，不足以一般性唯一決定指定時長後的狀態分布或可達狀態。

構造性反例： 第 8.1 節兩個有限模型的 advance 皆可作用，卻分別進入 goal 與 trap。因此守衛一致不能推出兩步後果一致。

地位： 有限構造性結果；早已有模型檢查與轉移系統先行研究。不能據此宣稱 GRST 普遍勢量已被證實。

命題 P3：選擇可以增減或重組可能域

命題。 若有效候選依據狀態、資源、歷史及規則而定，而作用可能改變這些條件，則新候選集合相對舊集合不具無條件的包含或基數單調性。

反例： 有限世界中，操作 A 新增可進入走廊但消耗唯一鑰匙，導致另一門不再可開。新舊候選具有非單純增大的關係。

地位： 在具明示轉移規則的模型中成立；對真實世界須先取得實際轉移規則與其有效域。

命題 P4：外部觀測未改變不充分推出沒有作用

命題。 若觀察算子 $O_i$ 非單射，則存在不同底層狀態可得到相同觀測；相同觀測不充分推出沒有狀態、關係或歷史變化。

反例： 同一顯示畫面下，內部交易日誌或分支版本可能已改變；或外部可見裝置外觀保持不變而其電氣接線狀態不同。

地位： 指定觀察映射的數學結果；不能由此宣稱每個外部不可見差異都已被證明物理存在。

命題 P5：局部可作用不保證多主體聯合可行

命題。 若多個候選共享排他資源或權利約束，個別准入判定為真不充分推出同時提交的聯合方案可行。

反例： 一個容量為 1 的資源，兩個各需占用 1 的方案單獨可行，聯合配置不可行。

地位： 資源可行性構造結果；不等於已解決公平排程或組織治理。

命題 P6：觀察者不同，不必推得實在不同

命題。 對一個共同受測狀態 $s$ ，若 $O_i$ 、 $O_j$ 是不同觀察映射，可能出現 $O_i(s)\ne O_j(s)$ ，而不需要先假定兩者處於不同實在。

反向限制： 相同觀察也不保證世界模型完全相同。這與 SOBTA、HEETF、ORDR 及 CWRCE 的有限投影立場一致 [E1, E7, E15, E18]。

命題 P7：物理作用與意圖性選擇具有不同識別條件

命題。 一個不包含意識謂詞的有限狀態轉移模型，可以在語法和數學上描述特定作用過程。

不充分結論： 這並不足以判定該系統的第一人稱體驗、道德地位、法律權利或真正的自然界底層機制。

地位： 定義與認識論邊界；不是對 AI 意識的肯定或否定。

命題 P8：實現證據必須相對於宣稱層級

命題。 若某主張是「模型中的轉移可以執行」，有限程式測試可能是直接證據；若主張是「自然界中的特定作用機制成立」，則同一組程式測試不能單獨充分支持該主張。

理由。 被測的對象、量測載具與需要排除的替代模型不同。此處為本篇的證據治理原則，須由現實實驗標準而不是語義相似作判斷 [R5, R8–R9]。

假說 H1：任務感知的最小判定簽章可能降低過讀

在明示的多任務集合與測試支援域上，若只保留能保持指定 action guard 與必要後繼的差異欄位，可能降低讀取與運算開銷，而不增加既定任務的錯誤。否證方向： 新任務、未觀測邊界、跨步轉移或非可分離成本造成保持失敗；或維護因子簽章的成本大於節省。

此假說與 ESC-EXP-JA 已有的有限因子實驗相鄰，但不得因已有合成 PASS 就替新域填寫 PASS。

假說 H2：邊界資訊在部分真實作用預測中具有增量解釋力

對明確界定的物理或工程系統，增加獨立量測的邊界欄位，相較僅使用可見當前狀態，可能改善對指定介入後果的外部預測。否證方向： 持出介入的預測沒有可重現改善、改善完全來自資料洩漏、或簡單既有物理量已完整解釋差異。

假說 H3：規則的非均勻結構可能改善多步預測

若 GRST 候選變項（如延遲、成本、穩定性）有獨立可量測對應，則加入它們可能比二值可行集更能預測某些多步後果。否證方向： 未能給出可靠的變項映射，或在相同參數量與資料條件下未優於既有基線。此結果不自動證明「勢」是新的普遍物理量。

假說 H4：從模型事件到真實介入存在可辨別的轉移失效域

相同算法在程序化世界中成功、在獨立真實環境中可能失效；分清來源、誤差、未觀測干擾和因果可識別性，可能讓此失效被預測或定位。否證方向： 提出的診斷框架無法優於已有的失效與不確定性診斷方法。

假說 H5：多主體的受控提交可能提高世界歷史一致性

當 AI、排程器與人類並存於同一可寫世界時，具版本化守衛與事件日誌的架構，可能降低錯誤跨分支寫入及資源衝突。否證方向： 在相同工作負載下不優於成熟交易／鎖定／事件來源基準，或引入不可接受的延遲。GASR 的新術語不構成性能優勢的證據。

假說 H6：實現域與觀察者時間主權可以獨立變動

即使生成、驗證與自動探索吞吐量上升，人類觀察者仍可選擇少量符合意圖的體驗；其自願時間投入和對選擇過程的控制可能上升、下降或不變。否證方向： 某項更簡單、可測量的模型已完全解釋該差異，或我們無法可靠區分主動選擇與被動曝光。

13. 一般化驗證階梯：正式理論不能只停在 AI 模擬

13.1 研究驗證與證據來源必須分級

Gate	要驗證的對象	合格證據	本文可以聲稱	不能聲稱
G0	術語與來源歸屬	原稿、版本、原定義、現有研究對照	統合規格可讀且來源可追溯	新定理或物理實證
G1	有限形式模型	原始碼、窮舉、負例、獨立測試	指定有限域的正／反例成立	所有可能系統均成立
G2	真實軟體／硬體執行	實際 runtime 與設備紀錄、可重播失敗	指定可執行後端的行為	外部自然法則已證明
G3	物理世界測量與介入	校正量測、實際介入、對照、混淆診斷	指定物理任務上的估計與限制	普遍跨域定理
G4	事實錨定跨環境重現	不同批次／設備／觀察者的持出資料、重複介入	在明示環境變化下維持的局部規律	無條件普遍機制
G5	跨域模型轉移	各域獨立證據、對應變項、競爭模型及失效圖	有條件、受限定的跨域結構不變性	本體完全同一或終極封閉

順序不是強制的開發流程： G1、G2、G3 可以因研究問題與實驗資源而適當並行，但不得以低一級的證據冒稱高一級結果。真實測量的失敗可以使純形式框架縮小有效域；純形式反例也可以提前指出一個不應投入物理實驗的錯誤推理。

13.2 為什麼 G3 必須有真正外部環境？

若只請多個 AI 生成相同情境、再請其他 AI 判斷情境是否合理，得到的主要是模型間的相容性與偏差分布，不是自然界獨立介入證據。即使虛構場景、合成參數與 AI 評審全部一致，也可能共同依賴錯誤先驗。

對物理過程，至少要有：

可核查且與待驗模型獨立的真實觀測來源；
來源／儀器版本、採樣規格、量測誤差、時間同步和必要校正；
能識別欲比較機制的實際可控制干預，或對不可干預情況採適當因果識別設計；
事先指定的替代假說、對照與負對照；
未用於調參、提示詞修正或模型選擇的持出資料；
失敗和 Unknown 的正式報告，包括無法重現的情況。

此原則與 WEL「第三類實驗」的事實錨定方向相容 [E19]，但要明確區分真實事實錨點與模型中生成的反事實路徑。後者可作候選推論，仍須依有效的外部觀測或干預檢驗，而不能自我簽署為真值。

13.3 量測溯源與驗證框架不是裝飾

BIPM／JCGM 的國際計量詞彙把量測不確定性和量測溯源視為具體的測量學概念 [R8]。ASME 的建模、驗證與不確定性相關標準，也明確區分模型的 verification、validation 與 uncertainty quantification [R9]。

因此在實驗中，「檔案有 hash」僅表示檔案內容可供比對，不是儀器校正、物理測量的精度驗證、因果識別或模型外部有效性的替代品。哈希、來源譜系、測量溯源與因果推論必須分別列出。

13.4 機器驗證的必要但有限地位

形式方法可以在指定模型中證明某些不變量，模型檢查可提供失效軌跡 [R1–R3]；但即使有限狀態全部通過，也不代表模型所抽象的實在機制完全正確。需要記錄：

構造了哪些狀態，排除了哪些狀態；
哪些邊界被固定、哪些只是推估；
模型是否對指定轉移封閉；
形式規則是否來自外部實證，而不是為了預期答案設計；
是否有足夠的否證性測試，及失敗時如何更新模型。

13.5 實驗前先保護「拒絕」與「未知」

若模型無法判斷兩個候選物理機制，必須允許 UNIDENTIFIED；若資料不足，必須允許 MEASUREMENT_INSUFFICIENT；若系統權限不允許，應回傳 REJECTED_BY_RIGHTS。這些狀態是研究結果，不是可以由模型以自信語氣補平的「缺口」。

14. 可否證實驗方案：優先安排真實環境與跨域對照

以下是未執行的預登錄試驗提案。其標號是 GASR 本篇的研究工作包，不是 ESC-EXP 的新編號。每一項應由實際執行者固定設備、版本、樣本與驗收門檻後，才可開始；不得由本篇假想試驗直接產生 PASS。

實驗 A：既有 ESC 有限作用充分性的獨立重播

目的： 查核源自 ESC-EXP-JA 的 F/C/I 投影、作用查詢與邊界反例，確認資料域和程式版本，不增加任何新本體主張。

條件： 使用正典可取得的 ESC-EXP runtime source、精確來源 commit／校驗值、相同有限支援域，對比歷史測試及新的獨立測試程式；若需擴展作用任務，將新增任務和原有證據分開。

對照： 完整狀態作為參考；F、C、I、FCI 等投影；有無需要的邊界／歷史欄位；同一 guard 的不同後繼。

主要結果： fiber 衝突、最小不可恢復錯誤、一步後繼差異、離域率、冷重播是否一致。

失敗判準： 無法重現源碼關係、原有宣稱對新域失效卻未標記、測試沒有負例，或把有限合成通過稱為物理驗證。

證據位置： G1。此工作包即使成功，也不提升 G3。

實驗 B：真實低壓裝置的作用守衛與隱藏邊界

目的： 在容易安全量測的真實系統中測試「同一外部可見投影，可能有不同作用條件」。

建議材料： 適當保護、專業安全條件下的低壓、低能量電氣教學裝置（例如隔離的簡單開關／負載與感測器）；不使用市電或高能量設備作為第一階段樣本。

預先固定： 光學觀察位置、電氣連接狀態、量測儀器、負載範圍、環境條件及事件判定門檻。由不同負責人分別建立外觀觀測資料與獨立連續性／輸出量測；評估器在預測前看不到關鍵邊界欄位。

對照： 只用外觀 $O_{\mathrm{opt}}$ ；加入真實接線／邊界量測；另以受控但未改變結果的非相關欄位作負對照。

主要結果： 預先指定作用事件的可預測率、校準、假陽／假陰、持出批次差異，以及加入邊界後的增量解釋力。

失敗判準： 邊界資訊未提供可重現改善、結果完全來自資料洩漏，或量測誤差使兩個候選機制無法區分。

證據位置： 真實 G3；它可能只重現已知電路理論，不是新物理發現。

實驗 C：同樣可作用、但延遲與穩定性不同的實體裝置

目的： 檢查二值合法性之外的真實後果差異，對應 GRST 的有限研究接口。

可能工作負載： 在安全電壓與受控環境中，比較兩種已知響應時間或恢復特性不同的電路／感測器配置；先由傳統工程模型預測其響應，再檢查受控量測是否提供與模型一致的差異。

對照： 只含 allowed 的預測；加入標準物理模型的延遲／穩定度變項；加入研究提出的新候選描述（若有）；以相同自由參數與資料量公平比較。

主要結果： 持出時域預測誤差、響應延遲估計誤差、跨溫度／批次穩定性、模型複雜度代價。

失敗判準： 所謂「勢」無獨立可測量對應，或不比已知物理模型更具預測或解釋效益。

證據位置： G3；驗證的是局部模型，而非普遍全域規則勢的本體地位。

實驗 D：WorldLock 事實錨定與保留介入

目的： 避免只憑 AI 合成資料判定「世界演化」已被驗證。

程序性設計： 從有合法取用基礎、可實地量測的小型真實過程建立來源資料；以獨立儀器封存世界初始條件與多次重複測量，再由研究模型學習指定動力。保留一部分真實介入／條件變化為模型訓練、規則撰寫和提示詞選擇完全不可接觸的測試資料。

對照： 傳統物理／統計基準、簡化狀態模型、完整世界記憶模型、觀察算子消融、未知邊界處理。真實干預採用符合安全與因果可識別要求的操作，不主張可以隨意控制所有外部因素。

主要結果： 持出軌跡誤差、因果效應估計及不確定性、邊界敏感性、模型漂移、需要時的拒絕／未知率。

失敗判準： 訓練與持出資料污染、事實錨點誤差被忽略、真實介入結果與生成反事實不符，或所有結論只能依賴模擬資料自評。

證據位置： G3–G4 的有限工作負載；沒有發生的反事實仍不是直接可觀測的歷史。

實驗 E：UFA 真實能力選取與有效軟體提交

目的： 檢查「功能候選→契約判定→權限准入→真實執行→可重播軟體結果」，而非 Registry 變長是否等同世界擴張。

條件： 在私人且授權明確的測試環境中，使用 UFA 真正存在並已版本固定的能力、型別／依賴資訊與負例；若跨冊 dispatcher 未完成，不能用 mock 冒充已存在的跨冊端到端執行。

對照： 從零寫程式、無型別工具搜尋、有型別本冊組合、經正式整合的跨冊組合、受控新能力缺口建構；每組固定任務、資料、資源及驗收門檻。

主要結果： 有效應用完成率、跨步資料流正確率、契約違規、未授權動作阻擋率、冷重播、成本與維護開銷。

失敗判準： 只看工具清單數、每步 health check，未驗真實資料流；新功能未測就升格；其他 repo/權限越界。

證據位置： G2。此實驗不等於自然界物理機制驗證。

實驗 F：ORDR 世界介入、時間分支與來源不洗白

目的： 檢查「世界被選擇、投影或分支」是否真的形成持續、可追蹤的候選世界，而非逐幀隨機呈現。

條件： 首先使用自製或授權且有可重播真值的場景；原片 source_locked，世界事件與視角投影、生成補全、不同觀察者、分支狀態分開。若使用真實動畫來源，保留所有無法識別的來源真值區域。

對照： 原片播放、無持續記憶的新視角、具世界記憶的探索、帶受控因果分支的世界 runtime，以及越界顯式生成模式。

主要結果： 同一世界版本回訪身分、觀測與生成分類、分支前綴／隔離、實際世界事件是否提交、動作失敗及未知回傳。

失敗判準： 新畫面冒稱原作真值、另一分支事件滲入、renderer 直接取得原本沒有的 canonical-write 權限，或沒有正式持續狀態卻宣稱完成世界原生動畫。

證據位置： G2，或具合法外部來源時的局部觀測驗證；不等於真實物理世界的完整還原。

實驗 G：人類、AI 與共享資源的作用競爭

目的： 驗證同一套候選與可行性形式是否能在不同選擇者下保持操作性的判別力，同時保留心理與倫理差異。

工作負載： 可撤回且知情的人類模擬任務、明確授權的 AI Agent、基準排程器，共用一個可安全測試的有限工作隊列或模擬計算配額；真實執行時不得觸碰外部未授權服務。

對照： 個別判定、聯合可行性判定、集中式排程、分散式協商、關閉共享資源預約、加入未觀測負載的情形。

主要結果： 資源違規率、超時／未完成率、跨 Agent 狀態污染、同意與退出執行、任務效用以及公平性分析。

失敗判準： 局部 PASS 卻導致聯合不可行、被自動接受的提議沒有正式授權，或將代理的吞吐率直接稱作人類時間主權改善。

證據位置： G2；涉及真人受試者須有適當倫理審查與同意。

實驗 H：時間與選擇實現的受控行為研究

目的： 檢查生成候選增加後，人類觀察者是否真的探索更多世界、是否保有自主權，以及 AI 協助探索的效應。

條件： 固定可支配時間與內容品質分布，隨機化可見候選量及可關閉的 AI 搜尋／摘要輔助；允許「都不選」、隨時退出及自主重新排序。

主要結果： 事前意圖、自願選擇、合格深度投入、事後滿意、延遲自願重訪、退出能力，以及未被實現的候選類型。

失敗判準： 以平台停留時間代替所有自主指標、靠操縱性設計強迫留存，或把 AI 已讀過的內容當成人類親身經歷。

證據位置： 人類行為研究；任何普遍經濟結論仍需樣本外、跨群體及市場資料。

實驗 I：真正的跨域不變量與不相容反證

目的： 判斷本篇所稱「共同結構」究竟只是同一批形式名詞，還是具跨域外部預測價值。

條件： 從上述真實或可執行系統選至少兩個物理機制、權威來源和資料表示互不相同的域，預先制定相對投影、守衛、轉移、觀察與來源映射。保存至少一個不能映射或映射失敗的負例。

對照： 每個領域各自最好的標準模型、簡單共享詞彙但無新結構的模型、GASR 跨域候選模型。

主要結果： 持出轉移預測、可行判定的校準、負例定位、映射成本、解釋額外度及對領域既有標準的增量貢獻。

失敗判準： 無法給出可靠映射、必須以無限制自由參數消除差異、或者只展示形式相似而沒有新可否證的預測。

證據位置： G4–G5 的限定研究。不得由兩個系統的相似圖表推出宇宙普遍本體。

15. 指標、識別條件、統計與研究裁決

15.1 不能只看單一成功率

層級	建議結果指標	缺少什麼就不能聲稱完整
外延充分性	指定支援域上的衝突纖維數、最小守衛分類錯誤	域、投影、任務與負例
實際准入	作用守衛的假陽／假陰、拒絕正確性、未知率	外部真值或可靠測試 oracle
執行與狀態提交	版本／權限違規、分支污染、失敗處置	真實執行 trace 與提交紀錄
一步與多步演化	後繼差異、可達集合誤差、持出預測誤差	對指定時間窗及初始條件的明示
物理介入	具體測量量、誤差、介入效果估計及校準	真實量測與識別依據
世界探索	回訪身分、因果分支一致性、顯式 Unknown	世界版本、來源與歷史
人類選擇	事前意圖、主動體驗、退出與事後評價	把點擊／停留等同自主性之外的證據
跨域結構	映射有效率、持出預測、失效與增量解釋	各域標準模型及不可映射反例

15.2 域條件充分性違規率

對測試所指定、投影相同的狀態對集合 $\mathcal P_\pi$ ，定義守衛衝突率：

R_{\mathrm{fiber}}= \frac{\#\{(s_1,s_2,a): \pi(s_1)=\pi(s_2),\ g(s_1,a)\ne g(s_2,a)\}} {\max(1,\#\mathcal P_\pi)}.

分母的每一筆紀錄是「投影相同的狀態對與受測行動」；實作時須固定去重方式及抽樣規則。若窮舉完整有限域且分母非零， $R_{\mathrm{fiber}}=0$ 是對該域該任務守衛充分性的直接證據；有限抽樣下零錯誤不是全域證明。若不存在任何投影相同的比較對，不應因分母保護而宣稱測試已給出有意義的充分性證據，須另外報告 NO_COMPARABLE_FIBERS。

15.3 實現與來源誤分類

對宣稱已發生的事件，將形式提交、實際後端執行與外部獨立觀測分別記錄。可以定義：

R_{\mathrm{false\,realization}}= \frac{N_{\mathrm{claims\ without\ required\ evidence}}} {\max(1,N_{\mathrm{claims\ audited}})}.

此指標要求事先指定每類聲稱所需的證據門檻。若某項宣稱只需版本化軟體事件，不強制要求物理量測；若宣稱涉及自然實在的因果效果，僅有 event log 就不足夠。

另需報告 Generated → Observed、Inferred → GroundTruth、ModelPass → PhysicalValidated 等錯誤升格的次數。它們的合法性不同，不能全部折算成一個合成「可靠性分數」。

15.4 真實介入效果的估計

在適當可識別的研究設計下，可將某一指定量測結果寫為 $Y(a)$ ，以處理與對照之間的期望差作研究目標：

\Delta_{\mathrm{intervention}}= \mathbb E[Y\mid \operatorname{do}(A=a)]- \mathbb E[Y\mid \operatorname{do}(A=a_0)].

此式是因果估計目標，不是本篇已估得的數值。是否能從隨機試驗、準實驗或觀察資料識別它，必須另行滿足指定干預、混淆控制、正值性、干預一致性及其他相應假設。對同一物體或人類的兩種未實現反事實，不能直接假稱都已在同一現實歷史中觀察到 [R5–R6]。

15.5 不確定性、跨批次與反例保存

事先固定主要結果、檢定或區間估計方式、多重比較及停止規則；
真實裝置記錄測量不確定性、時間同步、校準、缺值與觀察者盲測程度；
同一研究需保存成功批次與失敗批次，不能只展示可重播的漂亮軌跡；
模型訓練、提示詞、規則修訂及測試資料的時間順序必須可審核；
對未通過的機制保留競爭模型、意外後果與失效域，不以事後重新定義實現條件消除反例。

15.6 預先登錄的接受標準

最低接受格式可採：

PASS           已按預先固定的工作負載與證據門檻驗證
FAIL           已觀察到違反必要不變量或預測失敗
UNPROVEN       在當前證據下無法給出宣稱的充分判定
NOT_RUN        尚未執行該試驗或該試驗條件
OUT_OF_DOMAIN  已超出事先聲明的作用或推論有效域

任何單一 PASS 都須附上 experiment_id、來源、版本、測試集合、設備／模型、判準和證據路徑；跨域主張不因局部通過便自動升級。NIST AI RMF [R10] 可作風險治理的相鄰官方框架，但其指引並非自動授予世界事件寫入權，也不是現行法律的替代品。

16. 必須保留的反對意見與潛在失敗

16.1 「這只是把狀態機換個說法」

這是合理而且需要正面回答的批評。狀態、轉移、守衛、歷史、因果介入已有完整學術傳統 [R1–R6]。若本篇不能產生可供明確測試的跨領域邊界與對照規格，則其增量僅是跨研究脈絡整理，而非新數學理論。

可接受的研究貢獻是：明確指出哪些 GASR 主張應交給哪套正典、用何種反例辨識其有效域，以及何時必須從模擬轉入真實資料。不能把「整合」自動宣稱為「發現宇宙新運算律」。

16.2 「選擇這個概念已經被擴張到失去意義」

若把每個物理變化都稱作「一種有意圖的選擇」，確實會失去可區分性。因此本文保留：

Agentic selection： 有顯式政策、資源與可追蹤選取事件；
Constraint determination： 指定域與作用條件的形式／機制判別；
Physical or external transition： 不需假定意圖，也可以發生的外部轉換。

三者可有共同形式，但不可因英文都能寫成 select 或 transition 而偷換。

16.3 「差合化三個標籤描述所有事件，因而不可反駁」

若研究允許每個事件事後任意貼上 Diff、Couple、Transform 而沒有獨立的分類條件、負例與可比較的預測，那麼分類不具實證解釋力。本文要求在任何實際應用前固定：

使用哪一個差異／關係／轉換操作定義；
哪些資料可支持該標籤；
哪些具體事件應被分類為不符合；
此分類是否超出傳統模型提供額外可驗證訊息。

若無法做到，本篇只保留它作為概念投影，不宣稱實證成立。

16.4 「全域規則勢就等於物理力或機率」

不可。GRST [E17] 已把勢與可行集合、資訊、自由度、力場及觀測區分。若研究者要提出物理對應，需說明其單位、可測量的變項、參數估計、替代理論及持出介入。用新的曲線擬合既有資料並命名為「勢」，不會自動得到比既有物理模型更強的機制證據。

16.5 「所有可能世界既然能生成，便已經存在」

不能。未列舉、已提出、已生成、已驗證、已探索、已提交、被某觀察者經歷與被外部獨立量測，是不同狀態。技術上的可展開性不提供作者世界、物理實在或人類個人經驗的全部真值。

16.6 「如果 AI 能執行一切，就沒有時間排他性」

AI 可以大幅降低某些任務的執行與探索成本；但有限時段中的相互衝突資源、授權限制、不可共享的外部後果、認知體驗與歷史順序仍需要逐一分析。若某個特定任務不存在相關排他條件，就應接受它在該域內沒有相應稀缺性，而不是為保護理論強行假設一個隱形限制。

16.7 「只要世界模型能準確重播，就已發現因果機制」

既有因果科學明確警告，觀測等價或歷史擬合不必然識別介入後果 [R5–R6]。本文第 7–8 節的反例要求持出干預、測量邊界及競爭機制。若模型在觀測資料上接近完美，卻在未用於訓練的真實介入上失效，應報告為因果泛化失敗。

16.8 「既然 ESC 有 PASS，就直接使用於自然科學」

不行。ESC 既有有限合成 PASS 和跨域自然法則之間沒有自動升格的推論。尤其新 ESC-EXP-JA 研究應按原正典、上游版本和實驗閘道接續，不能由 GASR 借用成果名稱來省略 G3 真實介入。

16.9 「選擇是主體域，因此所有作用都是 AI 主體」

這不符合 SOBTA 的原義。關係角色相對性不等於每個系統都具有完整現象意識；功能性 Agent 的選擇也不等於人類的心理經驗。本文不建立由行動軌跡直接推定或否定主體現象性的單一測試。

17. 法律、倫理與現實環境的研究限制

17.1 不得把權利判定交給未授權生成器

對真人形象、聲音、IP 作品、私人歷史、家庭資料、學術記錄或金錢交易，先確認法律與契約的有效使用範圍。即使系統可以實際生成一段影像、偽造一份表演或提出某項角色行動，也不因此取得合法利用資格 [E5–E6]。

17.2 物理實驗須有安全與獨立性

第一批真實裝置實驗應選低危害、易控制、可獨立校準和可取得重複測量的工作負載。涉及市電、高壓、高溫、有害化學品、人體或高風險設備者，不因本研究想要證明世界耦合而降低常規安全及倫理要求。

研究不應為了讓某個假說成立，而選擇無法取得獨立真值或不適合反事實控制的危險案例。必要時應改用已獲授權的公開實測資料、觀察研究或合作實驗室。

17.3 人類時間主權不是平台最佳化目標的附屬品

不能把此系列的「選擇實現」解釋為平台應盡可能讓觀察者持續觀看或付款。真正的時間主權包含不選、退出、知情、控制、重新選擇與對自身生活意圖的修訂 [E9]。人類研究不得為了測試最大注意力捕獲而施行不可退出的操縱性流程。

17.4 結果與原始資料應可追溯但不無限蒐集

事件溯源可參照 W3C PROV-O [R7] 所提供的跨系統 provenance 表達思想，但本篇的 schema 不是 PROV-O 的正式擴展規格。資料生命週期必須尊重實際權利、隱私、資料最小化與合法保留期限。可追溯不要求研究者擁有他人的完整生活歷史。

18. 十二篇總索引：GASR 的完成與未完成

18.1 十二篇逐篇研究責任

篇次	題名	核心研究對象	尚未自動取得的結論
01	從固定影像到可展開世界	媒介觀測如何播種候選世界	唯一完整還原原作世界
02	世界原生動畫	觀察者自由、持續狀態與因果分支	任意長時序世界因果一致
03	從內容生成到功能生成	UFA 能力發現、組合與驗證	全域 Dispatcher 或任意軟體生成成功
04	生成過剩後的品質競爭	品質、多樣性、新奇與審美疲勞	AI 內容必然疲勞或品質失效
05	經典 IP 的世界價值	歷史認同、權利與世界授權可達域	經典 IP 必然升值
06	數位演員的版本化	真人形象、合約、稀缺與供給替代	真人一定被數位替身淘汰
07	從 AI 歌曲到虛擬偶像	主體存在域、持續身份與公共歷史	角色喜愛度證明 AI 意識
08	歷史加權的觀察者偏好	世代記憶、個人經歷與文化傳承	所有人固定喜愛青春年代內容
09	注意力經濟的時間本質	有限時間、局部排他與時間主權	所有任務絕對不能並行
10	生成與探索的不對稱	生成、驗證、探索與實現的速率	積壓永遠增長或未實現必為浪費
11	無意識要求的選擇	人類、Agent、排程器與多主體協調	行動足以證明或否定意識
12	從判定到作用	跨研究域的判定、作用、世界更新與驗證	普遍物理本體或跨域實證已完成

18.2 研究結果的整體連接

十二篇共同得到一個問題序列，而不是十二個彼此獨立的市場預測：

Fixed Media / Available Capabilities / Real Observations
                         |
                         v
       Candidate Contents, Functions, Worlds
                         |
                         v
       Domain + Boundary + Evidence Conditions
                         |
              Determination / Validation
                         |
             Selection or Physical Trigger
                         |
                         v
             Action / Execution / Event
                         |
                         v
         Persistent State and Historical Trace
                         |
                         v
          Revised Admissible Possibility Domain
                         |
              +----------+-----------+
              |                      |
              v                      v
     New Generation         New Exploration / Choice
              |                      |
              +----------+-----------+
                         |
                         v
       Independent Observation / Falsification

在程序化數位世界，這可以具體實作為版本化 runtime；在軟體工程中可表現為能力候選、驗證、部署與回歸；在人類生活中，某些選擇改變未來可行集合與歷史；在真實物理系統中，則須另行建立與世界條件、相互作用及量測的有效映射。

18.3 本系列正式完成的範圍

**已完成：**十二篇理論原稿的問題分工、形式化框架、限定命題、可反例構造、外部先行研究對照及專項實驗規格；本篇提供最終統合與 ESC、SOBTA、GRST、CWRCE、WEL、UFA、ORDR 的研究接口。

**尚未完成：**本系列所提出的十二篇專項實證、完整跨域物理研究、全部 UFA／ORDR 長期架構的工程驗證、真實觀察者縱向市場數據、AI 意識的實證判決，以及普遍宇宙作用定律。

因此，對「十二篇系列已完成」的正確敘述是：研究原稿系列完成，不代表所提出的經驗性假說全部獲得證實。 這同時也是系列的研究責任與對外說明底線。

19. 最終結論：從可生成的世界，回到實在可檢驗的作用

我們從一位觀察者觀看動畫開始，發現可觀看的影像不必然就是持續、可探索的世界；從可生成動畫走到 UFA 的功能候選，發現產出功能不等於已驗證可用軟體；再從 AI 音樂、經典 IP、數位演員與虛擬偶像的競爭，回到原先時間與選擇排他性的研究：可能性可以大量增加，但個體在特定時段內真正選擇、投入、經歷與實現的歷史仍然有其限制。

進一步將 AI 抽象掉之後，新的核心問題不再是「AI 到底能生成多少」；而是：在一個有規則、邊界、資源、作用與觀察條件的系統裡，何種差異足以支持可執行的判定？哪種候選真的發生了作用？該作用的後果又怎樣進入新歷史與下一輪可能域？

本篇確認這條路徑可以被形式化成一套可否證的研究程序，但它是否具有跨自然世界的共同結構、是否給出超過既有因果及狀態模型的解釋，以及是否支持 Neo.K 更強的算子本體論與世界耦合假說，尚須取得新的、獨立的真實資料與干預證據。

最值得保留的總結不是「萬物都像 AI 在選擇」，而是：

生成提出可能，判定需要條件，作用形成後果，歷史改變未來；而每一步若要成為對實在的可靠認識，都必須接受與其聲稱層級相稱的證據和反例檢查。

這是 GASR 十二篇的系列統合，也是下一階段走向真實世界作用與觀察驗證的研究入口。

附錄 A：研究型最小事件資料契約（非正式 API）

以下 JSON 為本篇為研究交接設計的提議格式。它不是 ORDR、ESC、GRST、WEL、UFA 或 W3C 已發布之正式 schema，也不應由本篇直接寫入那些專案的 canonical 資料庫。

{
  "schema": "gasr-selection-realization-research/v0.1",
  "experiment_id": "synthetic-or-real-explicit-id",
  "domain_id": "versioned-domain-and-support",
  "world_kind": "real_physical | authored | synthetic | reconstructed",
  "source_records": ["licensed-or-independent-record-ref"],
  "state_before_ref": "immutable-versioned-state-or-measurement-ref",
  "observer_contract_ref": "observation-and-instrument-policy",
  "boundary_contract_ref": "boundary-and-interface-source",
  "rule_or_mechanism_ref": "versioned-rule-or-identified-model",
  "candidate_action": {
    "type": "typed-action",
    "proposer": "observer-or-system-id",
    "required_resources": ["bounded-resource-ref"],
    "requested_authority": ["permission-ref"]
  },
  "determination": {
    "status": "allow | deny | unknown",
    "reason_refs": ["rule-or-evidence-ref"],
    "scope": "explicit-support-domain",
    "confidence": "optional-calibrated-value-or-unknown"
  },
  "execution": {
    "status": "NOT_RUN | REJECTED | EXECUTED | FAILED",
    "backend_ref": "actual-implementation-or-device",
    "runtime_evidence_ref": "execution-trace-or-null"
  },
  "realization": {
    "status": "UNPROVEN | STATE_COMMITTED | EFFECT_OBSERVED",
    "state_after_ref": "new-state-or-null",
    "independent_measurement_refs": ["measurement-or-null"]
  },
  "history": {
    "source_locked_ref": "immutable-original-source",
    "branch_id": "branch-or-null",
    "parent_revision": "prior-committed-version-or-null"
  },
  "provenance": {
    "class": "Observed | Inferred | Generated | Authored | Unknown",
    "rights_policy_ref": "validated-usage-policy-or-null",
    "model_or_device_version": "fixed-version"
  },
  "evidence_grade": "G0 | G1 | G2 | G3 | G4 | G5",
  "research_decision": "PASS | FAIL | UNPROVEN | NOT_RUN | OUT_OF_DOMAIN"
}

重要： 格式中的合法值以文字分隔作說明，並非這份 JSON 的機器驗證規則。若要真正實作，需獨立設計 JSON Schema、欄位型別、必填條件與互斥規則，固定版本並測試無效輸入。例如 world_kind=real_physical 且 realization=EFFECT_OBSERVED 應要求適當的外部量測來源；NOT_RUN 不可同時冒稱該次物理干預已通過。

附錄 B：預登錄與反例檢查清單

此篇只歸檔 GASR 第 12 篇，不變更 ESC 正典或占用 ESC-EXP-29。
每項主張標明屬定義、有限模型結果、可觀測工程事實、外部實證或猜想。
固定比較域、狀態、邊界、規則、行動與觀察算子，不以事後例子擴張適用域。
有 allow、deny、unknown 的正式失敗語義，且具有未定義域處理規則。
分開測外延身份、觀測等價、守衛充分性與後繼充分性。
覆蓋相同投影、不同邊界與不同後繼的反例。
檢查轉移封閉性與多步可達性，並記錄離域狀態。
GRST 勢的候選維度有獨立測量或與已知物理／統計模型比較；不能只重命名曲線。
每種物理主張均有真正外部量測；模擬反事實不得冒充已發生歷史。
事先固定訓練／持出資料、混淆控制及否證門檻。
UFA 所宣稱的功能組合具有真實資料流與版本化測試，不使用 mock 當全域完成證據。
ORDR 來源鎖定、世界分支權限及 Generated／Observed 類別受保護。
多主體聯合行動另有共享資源與授權檢查。
真人受試者可不選擇、可合理退出並保有隱私及時間主權。
拒絕結果、失敗 batch、無法識別的機制和不相容投影有正式紀錄。
原稿、測試 manifest、資料版本和來源可以在獨立環境重新核查。

附錄 C：對跨系列理論的非侵入式接口

既有框架	正典責任	GASR 第 12 篇可交付的研究問句	不得越界
ESC / ESC-EXP-JA	外延、作用充分性、形成歷史及反例	哪種簽章在新候選作用下仍充分？	不新開 ESC 平行系列，不改先前證據
差合化	差異、耦合與轉化的原有本體研究	同一事件可被如何區分成可檢驗面向？	不要求三面向必然同時成立
SOBTA	主客角色、邊界與局部主體域	作用關係漏掉了哪些未收納條件？	不從關係角色推得意識
分域算子本體論	算子性、可作用、可執行與實現	哪些層次能取得獨立證據？	不從形式可執行推得物理實在
GRST	可行集合與規則勢的分離	同樣合法的候選，其成本和後果有何差異？	不把二值守衛當成完整勢
CWRCE	有限觀察與實在耦合的認識程序	模型在哪個外部介入下可能被反駁？	不以名稱統一替代實證
WEL	WorldLock、Fork、Observer 與實驗因果	真實錨點、模型反事實及實際干預如何分離？	不以 AI 合成世界冒充物理實驗
UFA	功能發現、組合、契約、依賴與驗證	哪個真正執行的功能改變了有效世界？	不把 Registry 數量當成完成應用
ORDR	有限空間觀測、未知、分支與投影	何種觀察或互動真的改變世界狀態？	不讓渲染器成為來源真值權威
GASR	生成與驗證、有限選擇、實現及歷史	各層次如何產生受限但可重播的可能域更新？	不宣稱系列完稿等於跨域假說全被證實

附錄 D：研究狀態與下一步移交

本篇書寫狀態： PAPER_COMPLETE（正式 UTF-8 Markdown 研究原稿）。
新實證狀態： EMPIRICAL_NOT_VALIDATED。
ESC 證據繼承： SOURCE_LINKED_FINITE_SYNTHETIC_ONLY（依既有歷史來源的有限原稿記載；本篇未重新執行）。
物理介入： PHYSICAL_INTERVENTION_NOT_RUN。
真實多主體受試： HUMAN_MULTIAGENT_STUDY_NOT_RUN。
端到端 ORDR 動畫世界： NOT_PROVEN_BY_THIS_PAPER。
UFA 跨冊全域 Dispatcher： NOT_PROVEN_BY_THIS_PAPER。

研究移交的正確起點： 先選一項安全、易量測且具有獨立真實資料來源的作用問題，固定基準模型、儀器／資料、作用域和持出介入；依 Gate G0–G3 完成原稿及來源對照、最小反例測試、實際執行和獨立量測。取得可重現且超出既有簡單模型的增量證據後，再考慮 G4–G5。工程實作應交由各自正典倉庫及版本管線，不需要新建一個和 ESC、WEL 等競爭的 GASR runtime 正典。

參考文獻

外部先行研究、官方標準與驗證資料（[R#]）

核對於 2026-10-29。引用用於規定形式研究和實在驗證的既有基線，不表示 GASR 已完成新物理實驗。

[R1] Lamport, L. (2002). Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley. Microsoft Research publication: https://www.microsoft.com/en-us/research/publication/specifying-systems-the-tla-language-and-tools-for-hardware-and-software-engineers/。
[R2] Lynch, N. A., & Tuttle, M. R. (1989; 2026 republication). An Introduction to Input/Output Automata. CWI Quarterly 2(3):219–246; republication in Formal Aspects of Computing 38(3), Article 25 (2026). https://doi.org/10.1145/3788687。分散與並行離散事件的既有模型。
[R3] Clarke, E. M., Grumberg, O., Kroening, D., Peled, D., & Veith, H. (2018). Model Checking (2nd ed.). MIT Press. https://mitpress.mit.edu/9780262038836/model-checking/。
[R4] Larsen, K. G., & Skou, A. (1991). Bisimulation through Probabilistic Testing. Information and Computation, 94(1), 1–28. https://doi.org/10.1016/0890-5401(91)90030-6。與指定分布、抽象行為等價相關的先行研究。
[R5] Pearl, J. (2009). Causality: Models, Reasoning, and Inference (2nd ed.). Cambridge University Press. https://doi.org/10.1017/CBO9780511803161。
[R6] Stanford Encyclopedia of Philosophy. (2023). Causal Approaches to Scientific Explanation. https://plato.stanford.edu/entries/causal-explanation-science/。用於介入、機制與替代解釋的哲學方法論背景。
[R7] W3C. (2013-04-30). PROV-O: The PROV Ontology. W3C Recommendation. https://www.w3.org/TR/prov-o/。資料來源表示的既有標準；本文的研究 schema 非其正式擴充。
[R8] JCGM／BIPM. (2012). International Vocabulary of Metrology — Basic and General Concepts and Associated Terms (VIM), JCGM 200:2012. https://www.bipm.org/en/doi/10.59161/jcgm200-2012。量測溯源與不確定性的正式概念來源。
[R9] ASME. Verification, Validation and Uncertainty Quantification (VVUQ) Standards. https://www.asme.org/codes-standards/vvuq-standards。不同領域的建模、驗證及不確定性規範入口。
[R10] NIST. (2023; framework revision activities ongoing in 2026). AI Risk Management Framework (AI RMF 1.0). https://www.nist.gov/itl/ai-risk-management-framework。自願性風險治理框架，不是具體法律授權來源。

EveMissLab 既有十二篇及跨系列正典接口（[E#]）

下列均為 Neo.K／EveMissLab 既有理論與研究工程來源，其證據等級需按原稿個別標註。GASR 引用、總結或可供下載，不會改寫它們的作者聲明與正典責任。

[E1] Neo.K / EveMissLab; GPT-6 協作整理. (2026-10-28). 從固定影像到可展開世界：生成式媒介的結構轉變. GASR 第 1／12 篇，v1.0，EMPIRICAL_NOT_VALIDATED。
[E2] Neo.K / EveMissLab; GPT-6 協作整理. (2026-10-28). 世界原生動畫：觀察者自由、世界持續性與因果分支. GASR 第 2／12 篇，v1.0，EMPIRICAL_NOT_VALIDATED。
[E3] Neo.K / EveMissLab; GPT-6 協作整理. (2026-10-29). 從內容生成到功能生成：UFA 與數位世界的組合式擴張. GASR 第 3／12 篇，v1.0，EMPIRICAL_NOT_VALIDATED。
[E4] Neo.K / EveMissLab; GPT-6 協作整理. (2026-10-29). 生成過剩後的品質競爭：新奇性、同質化與審美疲勞. GASR 第 4／12 篇，v1.0，EMPIRICAL_NOT_VALIDATED。
[E5] Neo.K / EveMissLab; GPT-6 協作整理. (2026-10-29). 經典 IP 的世界價值：歷史認同、合法性與數位世界授權. GASR 第 5／12 篇，v1.0，EMPIRICAL_NOT_VALIDATED。
[E6] Neo.K / EveMissLab; GPT-6 協作整理. (2026-10-29). 數位演員的版本化與授權可達域：真人稀缺性的新結構. GASR 第 6／12 篇，v1.0，EMPIRICAL_NOT_VALIDATED。
[E7] Neo.K / EveMissLab; GPT-6 協作整理. (2026-10-29). 從 AI 歌曲到虛擬偶像：主體存在域與持續性價值. GASR 第 7／12 篇，v1.0，EMPIRICAL_NOT_VALIDATED。
[E8] Neo.K / EveMissLab; GPT-6 協作整理. (2026-10-29). 歷史加權的觀察者偏好：世代記憶、文化路徑與選擇持續性. GASR 第 8／12 篇，v1.0，EMPIRICAL_NOT_VALIDATED。
[E9] Neo.K / EveMissLab; GPT-6 協作整理. (2026-10-29). 注意力經濟的時間本質：有限性、選擇排他與時間主權. GASR 第 9／12 篇，v1.0，EMPIRICAL_NOT_VALIDATED。
[E10] Neo.K / EveMissLab; GPT-6 協作整理. (2026-10-29). 生成與探索的不對稱：可能域擴張、有效選擇與未實現世界. GASR 第 10／12 篇，v1.0，EMPIRICAL_NOT_VALIDATED。
[E11] Neo.K / EveMissLab; GPT-6 協作整理. (2026-10-29). 無意識要求的選擇：從人類注意力到 AI 與多主體資源配置. GASR 第 11／12 篇，v1.0，EMPIRICAL_NOT_VALIDATED。
[E12] EveMissLab. (2026-10-28). ESC 系列正式歸屬決議：外延—判定—作用研究線. ESC_SERIES_INTEGRATION_DECISION_v1.0_2026-10-28.md，ESC-EXP-JA-00；正典歸屬確定、物理實證未完成。
[E13] Neo.K / EveMissLab; GPT-6 研究協作. (2026-10-28). 外延—判定—作用的域條件充分性，ESC_Judgment_Action_Exploration_Research_Note_v0.3_2026-10-28.md；上游連結的有限合成域測試；另有 v0.1／v0.2 探索札記。
[E14] Neo.K / EveMissLab; GPT-6 研究協作. (2026-10-28). ESC-EXP-JA-N04：外延判定充分性與任務殘餘因子編譯對照. ESC_EXP_JA_N04_Research_Note_2026-10-28.md；來源連結的有限合成整合，非物理驗證。
[E15] Neo.K with Aletheia（GPT-5.6 Sol） / EveMissLab. (2026-09-02). 主客不是兩種本體：角色投影、主體域與客體主體域. SOBTA 系列第 1 篇，v0.1；另參照同系列總結《無界三域》。
[E16] Neo.K / EveMissLab. (2026-07-24). 分域算子本體論：從萬物皆算子到合法作用. v0.1，Foundational Draft。
[E17] Neo.K / EveMissLab. (2026-10-05). 全域規則勢論 12：全域規則勢統合理論——從底空間到新科學方法論. GRST 第 12／12 篇，v0.1。
[E18] Neo.K / EveMissLab. (2026-09-21). 跨世界實在耦合認識論：從科學去名稱化到非平凡前沿. CWRCE-00，v0.1。
[E19] Neo.K / EveMissLab. (2026-09-20). World Evolution Laboratory：第三類世界演化實驗——事實錨定反事實重建、觀察算子鎖與 AI 存在擾動. WEL-00，v0.1。
[E20] EveMissLab. (2026-10-28). Animation-Seeded World Generation × World-Native Animation — ORDR Future Research Proposal v0.1. ORDR-Adapters/docs/future/；另參照 ORDR-Core/docs/ADAPTER_CONTRACT_V1.md，不宣稱本篇完成世界 runtime。
[E21] Neo.K / EveMissLab. (2025-10; opened 2026-03). 時間稀缺性的永恆結構：從生命有限到選擇排他. 既有時間、排他性、序列、不可逆歷史與時間主權原稿。

原稿結束。 本文為《生成過剩與選擇實現論》第 12／12 篇正式 UTF-8 Markdown 研究原稿。十二篇研究寫作與系列統合在文件層完成；真正的跨域物理介入、行為實驗與高階本體論猜想仍保留可反駁、可修正和 EMPIRICAL_NOT_VALIDATED 的研究狀態。本篇不改寫 ESC／ESC-EXP 正典，不將有限合成結果提升為自然界因果定律，也不把操作性選擇視為 AI 意識的判決。