---
title: "TCGQT-AMOCF × XOST Paper 05｜合成真假場世界、反事實基準與可視化實驗"
english_title: "Synthetic Truth–False Worlds, Counterfactual Benchmarks, and Visualization Experiments"
series: "TCGQT-AMOCF × XOST: Infinite-Dimensional Truth–False Fields and Heterogeneous-Radix Computation"
paper: "05"
version: "v0.1 / finite executable benchmark"
date: "2026-11-01"
author: "Neo.K / EveMissLab"
research_collaboration: "GPT-6"
status: "RESEARCH DRAFT / LOCALLY TESTED / NOT PHYSICAL VALIDATION / NOT SUBMITTED"
canonical_source: "UTF-8 Markdown, LF; math only $...$ and $$...$$"
artifact_authority: "Canonical source file and accompanying reproducible source ZIP; rendered chat is not canonical"
repository_write: "NONE"
license: "NO LICENSE DECLARED; NOT AN OPEN SOURCE GRANT"
predecessor: "TCGQT-AMOCF × XOST Papers 00–04"
---

# Paper 05｜合成真假場世界、反事實基準與可視化實驗

## Synthetic Truth–False Worlds, Counterfactual Benchmarks, and Visualization Experiments

**研究者：Neo.K / EveMissLab；協作：GPT-6。**

> 核心命題：保留異質真假場的語義，可以避免特定降階投影的資訊損失；但這不意味二進位計算在本質上不適合表示多值語義，更不意味多尺度資料索引必然節省端到端成本。是否有效，必須由任務、來源結構、版本與成本條件共同決定。

**作者：** Neo.K / EveMissLab  
**機構：** EveMissLab／一言諾科技有限公司  
**日期：** 2026-11-01  
**版本：** v0.1 / finite executable benchmark  
**原稿狀態：** RESEARCH DRAFT / LOCALLY TESTED / NOT PHYSICAL VALIDATION / NOT SUBMITTED  

## 摘要

本篇將 Paper 00 的「二元表示非唯一計算本體」原則、Paper 01 的開放維度型別化場、Paper 02 的異質進位精確表示、Paper 03 的非二元算子，以及 Paper 04 的局部判定與投影殘差，帶入**具有已知生成規則的有限人工真假場**。研究問題從「是否能表示、計算與投影」進一步成為：「在相同任務及資料下，什麼表示與取值策略保留判定語義？什麼觀察策略降低特定操作成本？什麼情況反而得不償失？」

我們建立四個人工分佈族，各四個確定性來源種子，共 16 個有版本場世界。每個世界含八個型別同質的群組、每群十筆觀測，共 1,280 筆來源記錄；每世界提出 32 項有明確精確判定規則的查詢，共 512 項配對查詢。研究對照四條處理路徑：刻意有損的單 bit 政策、**無損二進位承載**、完整型別逐項判定、以及具有來源釘選證明的群組索引與需求式展開。

在這個封閉人工任務中，刻意有損單 bit 政策與預先宣告的任務 oracle 相符 266/512；無損二進位、完整型別判定、多尺度索引三者各為 512/512。多尺度索引通過群組證書回答 256/512 問題，另 256/512 必須回退微觀來源。然而，若計入建立索引必須掃描的 1,280 筆來源記錄，單批 JSON 資料長度代理成本為索引策略 216,053 bytes，逐筆完整型別為 61,612 bytes。即使單看上線查詢的 JSON 代理，索引策略 62,138 bytes 亦略高於逐筆 61,612 bytes。**因此本輪沒有得到一般性的資料量、運算加速或 Token 節省結論。**

另外完成在固定人工來源上的反事實操作：一個證據節點由 `SUPPORT_ONLY` 改為 `BOTH` 或 `REFUTE_ONLY`，導致指定查詢依序對應 `ACCEPT`、`DEFERRED`、`REJECT`；舊版索引及查詢皆被拒絕，未受修改的對照節點維持原判定。三套 Paper 02 精確進位承載對 60 個有理數純量成功轉碼；使用 Paper 04 既有判定算子對 320 筆有限觀測完成相容比對。

**這些是有限人工資料上的技術與語義實驗，不是自然真值的抽樣、宇宙本體論證明、原生 TCGCT 運算效能證明或 AI 模型訓練實驗。**

**關鍵詞：**真假場；四態支持；異質進位；來源版本；有界判定；局部觀察；合成基準；需求式展開；反事實；負面對照；成本分離。

---

# 0. 問題意識與研究邊界

## 0.1 本系列的原始立場

本系列反對把 0 與 1 當作所有計算、真值與世界結構唯一的預設本體，但不否認二進位硬體、二進位資訊編碼與布林算術的工程進步。二進位既可以表達一個 bit，也可以以多個 bit 完整編碼四態支持、有理數、圖與任意有限 typed record。**資料以 bit 編碼與資料語義只有兩態，是兩個邏輯上不同的命題。**

我們因此至少區分：物理狀態、儲存編碼、位值進位、判定語義、觀察鏡頭與操作授權。任何單層表現不能在缺乏證據時升格為所有層的唯一解釋。

## 0.2 Paper 05 的核心問題

- **RQ05-1**：當觀測資料含 `BOTH`、`NEITHER`、`UNKNOWN` 或 `NOT_APPLICABLE`，故意降成單一判定 bit，可能產生哪些可定位且可重播的誤判？
- **RQ05-2**：若改用完整二進位編碼，是否能保留與型別化資料相同的有限任務語義？
- **RQ05-3**：一個由來源全量建立、可查證且鎖定版本的宏觀索引，何時能合法代替微觀展開？
- **RQ05-4**：在完整計入索引建立與元資料讀取時，節省微觀讀取是否真的節省資料傳送量或計算成本？
- **RQ05-5**：人工世界來源發生干預時，查詢、索引、局部收束與拒絕結果如何保持可追溯？
- **RQ05-6**：不同進位承載是否影響同一個精確來源及同一個任務的判定？

## 0.3 研究假設不是已證結論

**H1（降階可能失真）**：若單 bit 投影對指定查詢不充分，強制二元判定可能產生錯誤或不當確定回答。

**H2（編碼可守恆）**：完整的二進位型別承載與完整 typed 承載，可對同一人工任務保持相同結果。

**H3（群組證書有條件有效）**：在有界、已核查的群組內，若存在足以回答指定查詢的聚合證書，則可不要求展開個別來源記錄而取得相同的計算語義。

**H4（效率不是自動出現）**：索引建構、維護、失效、跨版本驗證及觀察資料都可能高於省下的微觀讀取成本。

**H5（局部結論須受修訂約束）**：來源更動後，舊版鏡頭、索引與查詢不可假設繼續適用。

這些假設只能對本文宣告的有限分佈、指定策略和測度口徑得到實驗結果。

## 0.4 與既有研究工作的分界

Paper 01–04 的現有型別與算子構成研究脈絡；本篇沒有重新發明 Belnap 式四態證據，也沒有聲稱四態即為無限維真假場的最終公理。TCGCT 混合進位與 TCGQT-AMOCF 分別是精確計算及多尺度觀察的相容參照，本篇不改寫這些上游來源。

四態支持是**示範真值語義可異於單一 bool 的最小有限子域**。要研究任意更多或開放成長的維度，仍須後續資料結構、算子與測度契約；不得藉此篇有限樣本宣稱已枚舉、執行或驗證實際無限個維度。

---

# 1. 型別化人工真假場：來源、版本與局部世界

## 1.1 [DEFINITION] 有限人工來源快照

定義由生成族 $f$ 、種子 $s$ 、修訂 $r$ 所指定的人工來源：

$$
W_{f,s,r}=(D_{f,s,r},G_{f,s,r},R_{f,s,r},\nu_{f,s,r})
$$

其中 $D$ 為來源 typed record， $G$ 為群組及成員關係， $R$ 為生成規則及型別約束， $\nu$ 為來源修訂及相應的內容承諾。這是一個**有限且人工構造**的世界，不是自然世界的抽樣統計。

每個來源記錄記為：

$$
 x=(id,group,kind,status,value)
$$

其 `kind` 限於 `SUPPORT_PAIR`、`RATIO`、`INTERVAL`；`status` 限於 `OBSERVED`、`UNKNOWN`、`NOT_APPLICABLE`。後兩者不提供數值本體。資料單位是**帶型別、具有來源的記錄**，而非「所有值都是同一浮點數」。

## 1.2 四態支持與缺測是不同坐標

當 `kind=SUPPORT_PAIR` 且已觀測，使用一對正反支持旗標：

$$
 e=(e^+,e^-)\in\{0,1\}^2
$$

四態為 `(0,0)` 即 `NEITHER`、`(1,0)` 即 `SUPPORT_ONLY`、`(0,1)` 即 `REFUTE_ONLY`、`(1,1)` 即 `BOTH`。它們屬於**證據支持配置**，並非對命題外部對應真值的直接測量。

`NEITHER` 表示已經觀察並取得一個合法的「無正反支持」配置；`UNKNOWN` 表示尚未有合法觀測。兩者在資料型別、來源與判定策略上不得混同。`BOTH` 表示雙向支持同時出現，不可直接當成經典命題同時真且假的物理發現。

## 1.3 有理比例與區間

`RATIO` 使用非負且不超過一的精確有理數，`INTERVAL` 使用兩個精確有理端點：

$$
 x\in\mathbb{Q}\cap[0,1],\qquad I=[\ell,u],\quad 0\leq\ell\leq u\leq1
$$

本文所有判定門檻以 `Fraction` 精確比較，不以浮點近似冒充精確值。資料可能只用有限分子分母位元進行封裝，但這和它在形式上的有理數值身分屬不同層次。

## 1.4 16 個人工世界

四個生成族使用種子 `1,2,3,4`：

| 生成族 | 設計目的 | 主要特徵 |
|---|---|---|
| `clean_margin` | 讓合法宏觀證書可大量成立 | 成組一致支持狀態、比例及區間均遠離任務門檻 |
| `conflict_rich` | 使群組摘要不足以直接代替微觀 | 四態混雜、比例門檻附近混合、區間跨度不同 |
| `missing_rich` | 測試未知、不適用及混合狀態 | 全組未知、全組不適用與部分群組缺測 |
| `boundary_shift` | 測試門檻與局部例外 | 有些群組可由界限證明，有些必須精確展開 |

每個世界恰有八個群組，其中四組支持記錄、兩組比例、兩組區間。每群十個記錄，每世界 80 個記錄；總計 1,280 個記錄。來源以 SHA-256 驅動的固定規則產生，不使用外部 API 或大型模型。**種子不同是確定性樣本變化，不等於自然隨機抽樣。**

## 1.5 可重建與來源身份

`world_sha256` 使用以排序鍵序列化之來源 JSON 的 SHA-256，`revision` 明示版本。這只為本地一致性與重播服務；若沒有簽章、外部信任根與防回滾機制，不得把普通 SHA-256 當作獨立來源認證。

同一語義在不同進位下可能形成不同 wire bytes；反之，不同來源也可能在某個有損觀察鏡頭下得到相同畫面或相同判定。這幾個「相同」必須分別標示。

---

# 2. [DEFINITION] 有限查詢與獨立人工 oracle

## 2.1 查詢形式與一致比較

每個查詢固定來源 `world_id`、`world_sha256`、`source_revision`、`record_id`、`group_id`、任務算子、門檻和唯讀預算：

$$
 q=(W_r,L_r,x,op,t,b)
$$

其中 $L_r$ 是可定位來源成員的群組鏡頭； $b$ 是允許的微觀與群組讀取次數。此處的「群組」是 AMOCF 式相對操作單元，不能誤認為資料在物理位元層變成一個字節。

每世界提出 32 項查詢：對每個群組取位置 `0,3,6,9`，總共 $8\times4=32$，16 世界共 512 項。四個策略處理**同一個版本的同一個查詢**；沒有替不同策略重新選擇資料、變更門檻或刪除困難案例。

## 2.2 嚴格證據判定

定義有限人工任務 oracle：

$$
 O_s(e)=\begin{cases}
\mathrm{ACCEPT}&e=(1,0)\\
\mathrm{REJECT}&e=(0,1)\\
\mathrm{DEFERRED}&e\in\{(0,0),(1,1)\}
\end{cases}
$$

此處的 `ACCEPT/REJECT` 僅是**目前查詢契約的局部判定**，不得解讀為全域、本體或永恆的真假結論。若來源 `UNKNOWN`，回傳 `DEFERRED`；若 `NOT_APPLICABLE`，回傳 `EXCLUDED`。

## 2.3 比例門檻與區間門檻

對比例 $x$，任務是判斷 $x\geq4/5$，可由精確值做出二元 `ACCEPT/REJECT`。

對區間 $[\ell,u]$，任務是判斷其所有合法值是否不低於 $3/4$：

$$
 O_i([\ell,u],t)=\begin{cases}
\mathrm{ACCEPT}&\ell\geq t\\
\mathrm{REJECT}&u<t\\
\mathrm{DEFERRED}&\ell<t\leq u
\end{cases}
$$

如此定義的 `DEFERRED` 是**區間保證不足**，不是演算法無法計算、不是把它當成假，也不是某個必須填補的魔法數值。區間跨過門檻時，不能用中點隨意代替完整區間來冒稱精確答案。

## 2.4 正確性、覆蓋率與拒答

在任務 oracle 已定義的有限範圍內，令 $\hat O_p(q)$ 為策略 $p$ 的結果。**完全任務一致**包括 `DEFERRED` 與 `EXCLUDED` 的正確回報：

$$
 A_p=\frac{1}{|Q|}\sum_{q\in Q}\mathbf{1}[\hat O_p(q)=O(q)]
$$

另外獨立計算「不當強制回答」：當 oracle 為 `DEFERRED/EXCLUDED`，策略卻報 `ACCEPT/REJECT` 時，另計一次錯誤。不得只報已決定樣本的表面準確率，忽略錯誤拒答或過度自信的風險。

**可決定率**、**完整任務一致率**、**不當強制率**與**判定成本**分開報告。這些和既有選擇性分類／abstention 的一般研究問題相容，但本篇不是神經網路分類器的訓練實驗。

---

# 3. [DEFINITION] 四種對照策略

## 3.1 A：刻意有損單 bit 政策（負面對照）

`lossy_1bit` 把 `SUPPORT_ONLY` 投影成 True，其餘三種已觀測支持狀態映射為 False，並將 `UNKNOWN`、`NOT_APPLICABLE` 也強行回傳 `REJECT`。比例使用**與查詢門檻不一致的固定 $1/2$ 分界**，區間使用固定 $1/2$ 中點投影。

這是刻意設計得會丟失資訊的**負面對照**，目的在提供可定位、可反證的錯誤案例；它不是合理優化的二進位計算對照，也不代表所有 Bool 演算法都必然犯這些錯。該策略任何失利都只能歸因於其公開宣告的降階政策，而**不能歸因於二進位的物理本性**。

## 3.2 B：無損二進位承載

`binary_lossless` 以兩個 evidence bit 無損保留四態；對分子、分母使用二進位整數位串，對區間則分別保存兩個精確有理端點。`status`、`kind`、來源身份與群組身份仍明示保存。

在解碼後，對指定任務使用與完整型別政策相同的精確決策契約。這一策略目的是**排除「二進位必然只能承載兩態」這項錯誤假設**，而不是建立最快或最省空間的 binary codec。其 JSON 包裝與位串有額外可測成本，不代表實際 CPU 記憶體最優封裝。

## 3.3 C：完整型別逐筆判定

`typed_eager` 依查詢定位個別來源記錄，檢查已觀測狀態、型別及精確值，再執行對應判定。對未知、衝突、區間跨界等情況保留暫緩。它是本輪公平任務基線之一，不使用群組索引捷徑。

## 3.4 D：有版本的宏觀證書＋需求式展開

`typed_indexed` 先取得由完整來源建立、來源雜湊釘選、已在建構時接受獨立核對的群組證書。當證書能保證群組中每個成員得到相同合法判定，直接回覆；否則退回精確來源記錄。

只允許下列有限且可稽核的捷徑：

- **整組相同正反支持**：若成員均已觀測且完全相同，可直接執行指定 `SUPPORT_STRICT`。
- **整組全未知或全不適用**：可直接回傳 `DEFERRED` 或 `EXCLUDED`；不強迫產生假的數值。
- **比例界限**：若所有成員最小比例不低於門檻，可全數 `ACCEPT`；若最大比例低於門檻，可全數 `REJECT`。
- **區間界限**：若所有下界不低於門檻，可全數 `ACCEPT`；若所有上界低於門檻，可全數 `REJECT`。

沒有證書就必須展開；預算不足就拒絕；來源修訂不符就重建或拒絕。**觀察鏡頭不能自行成為數值計算權威。**

## 3.5 本輪不包含的競爭性實作

我們沒有將優化資料庫索引、bit-packed 原生陣列、C++／Rust／GPU SIMD、實際 LLM Token 消耗、多進程快取或物理資料載入加入本輪比較。這些缺口會直接限制效能結論，不應被隱藏在程式產物之外。

---

# 4. [PROPOSITION] 群組證書的有限充分性

## 4.1 比例群組的保證

設所有群組成員皆為 `OBSERVED`，且其精確比例集合為 $X_G$。定義：

$$
 m_G=\min_{x\in X_G}x,\qquad M_G=\max_{x\in X_G}x
$$

**命題 P05-1**：對同一固定門檻 $t$，若 $m_G\geq t$，則群組所有成員均可 `ACCEPT`；若 $M_G<t$，則全部可 `REJECT`。

**證明**：依最小與最大定義，任一 $x\in X_G$ 均滿足 $m_G\leq x\leq M_G$。前者直接推出 $x\geq t$，後者推出 $x<t$。證畢。

此命題只在**群組已完整、來源版本固定、聚合資訊正確、所有成員型別與觀測狀態合格**的條件下成立。不能把未列出的來源成員、未知量或新修訂偷渡進同一證書。

## 4.2 區間群組的保證

對群組中的區間 $I_i=[\ell_i,u_i]$，令

$$
 L_G=\min_i\ell_i,\qquad U_G=\max_i u_i.
$$

**命題 P05-2**：若 $L_G\geq t$，群組成員的所有下界均不低於 $t$，因此均可 `ACCEPT`；若 $U_G<t$，所有上界均低於 $t$，因此均可 `REJECT`。其他情況，該簡單證書**不具有充分性**，必須展開或使用其他經驗證證書。

這不表示其他情況皆為 `DEFERRED`；因為不同成員可能具有不同答案。沒有充分群組界限時，**必須讀回當前被詢問的成員**，這是宏觀能力的邊界。

## 4.3 支持狀態相同不等於來源相同

整組支持值相同，可證明指定 `SUPPORT_STRICT` 得到一致結果；但不同來源的同值記錄仍有不同 `id`、版本與來源相依性。宏觀相同**不是合併精確身份的授權**，也不代表未來所有查詢都可以共享同一判定。

## 4.4 [COUNTEREXAMPLE] 不同任務不保證交換

如果先對證據資料執行有損 `TRUE_ONLY` 投影，再以布林方式處理群組，就可能與保留完整四態後才依任務求值的結果不同。Paper 03 已有具體不交換反例；Paper 05 的 `lossy_1bit` 直接把這類失真納入可量測負面對照。

**命題 P05-3**：如果某投影把兩個在任務 $q$ 下需要不同結果的合法來源狀態映為同一輸出，則不存在只依該投影結果決定、且對兩者都完全正確的確定性決策函數。

**證明概要**：設 $x\ne y$，投影 $P(x)=P(y)$，而 $O_q(x)\ne O_q(y)$。任何只依 $P(x)$ 的確定性函數在兩個輸入上相同，無法同時等於兩個相異的 oracle 結果。這是**指定投影與任務的非單射限制**，並非二進位碼無法保存這些原始狀態。

---

# 5. 實驗流程、驗證權威與資料流

## 5.1 全部策略讀取相同來源

流程為 `GENERATE → VALIDATE → PIN → BUILD INDEX → GENERATE QUERIES → INDEPENDENT ORACLE → POLICY EXECUTE → COMPARE → RECEIPT`。

不同策略均以同一 `world_sha256`、`query_id`、`revision` 為基準。生成器不事先知道策略選擇；查詢不按策略結果挑選。比較時保留所有困難資料與不利樣本。

## 5.2 Oracle 與政策分開

`src/oracle.py` 從人工任務規則獨立計算標籤；`src/policies.py` 分別實作四種策略。`src/bridge_controls.py` 另外讀取原始釘選的 Paper 04 `evaluate_one` 進行有限相容比對。這能降低單一實作函數同時當「受測者」與「裁判」造成的循環驗證，但**不能消除人工世界規則與 oracle 由同一研究設計者定義的共同假設**。

## 5.3 跨進位比較的角色

數值承載的更換，不得改變 `Fraction` 的精確算術值，也不得改寫證據支持、未知、不可比較或來源身份。本輪以 Paper 02 參考 `encode_fraction/decode_fraction` 對 60 個純量，在三套進位配置下執行 180 次精確轉碼。這是**參考承載語義**的一致性檢查，尚未運行原生 TCGCT 算術核心。

## 5.4 索引建立時的合法性

群組索引從全部 80 筆來源記錄建立，生成 source SHA、revision 與群組證書；基準測試在每世界執行獨立重建核對。查詢期間的實驗政策假定先前已核查索引，並檢查所處版本與來源指向。

這項前提極為重要：**我們沒有證明從不可信摘要直接讀取就能得到正確答案**。若有人可任意更改索引、重新計算普通 SHA 且沒有外部信任根，則本地雜湊不能構成對敵對作者的安全認證。未來需獨立 verifier、能力／授權框架及持久可靠的來源身分。

## 5.5 預算與拒絕

查詢明示微觀與群組讀取上界。若群組資訊不足而微觀讀取預算為零，則必須拒絕 `BUDGET_EXHAUSTED`。當群組讀取預算為零，不能透過觀察鏡頭暗中取用宏觀證書。除示範性可機器判讀的例外與拒絕外，本篇沒有任何寫入、外部資料變動、跨代理交易或權限提升。

---

# 6. [TESTED] 配對基準的主要結果

## 6.1 512 個相同查詢 × 四種策略

| 策略 | 完全任務一致 | 不當強制回答 | 錯誤確定回答 | 線上微觀讀取代理 |
|---|---:|---:|---:|---:|
| 有損單 bit | 266 / 512 | 209 | 37 | 512 |
| 無損二進位 | 512 / 512 | 0 | 0 | 512 |
| 完整型別逐筆 | 512 / 512 | 0 | 0 | 512 |
| 多尺度索引＋需求式 | 512 / 512 | 0 | 0 | 256 |

`lossy_1bit` 共有 246 項與 oracle 不一致，其中 209 項為對未決／不適用事項強行作出結論，37 項為決定性結果極性錯誤。**這是刻意有損策略的失敗，不是二進位的失敗。**

其餘三種策略在本輪既定有限任務下全部正確；這是**條件性的人工規則相符**，不是訓練模型的一般化成效，也不代表在未知新世界中沒有失敗風險。

## 6.2 結構不同，宏觀證書適用度不同

| 世界族 | 配對查詢數 | 宏觀直接回答 | 需微觀展開 |
|---|---:|---:|---:|
| `clean_margin` | 128 | 128 | 0 |
| `conflict_rich` | 128 | 0 | 128 |
| `missing_rich` | 128 | 48 | 80 |
| `boundary_shift` | 128 | 80 | 48 |
| **合計** | **512** | **256** | **256** |

因此不能單憑「資料存在群組」就宣稱能節省操作。若群組內部足以使答案分歧，理論上就必須展開或提出更強的新證書。本輪索引器選擇保守回退，沒有以猜測填補不足。

## 6.3 不可混淆的三種成本

本輪提供三組**確定性的 JSON 序列化 byte 長度與邏輯存取代理**：

| 策略 | 查詢階段資料 byte 代理 | 首次索引建立 byte 代理 | 單批合計 byte 代理 |
|---|---:|---:|---:|
| `lossy_1bit` | 61,612 | 0 | 61,612 |
| `binary_lossless` | 61,612 | 0 | 61,612 |
| `typed_eager` | 61,612 | 0 | 61,612 |
| `typed_indexed` | 62,138 | 153,915 | **216,053** |

`binary_lossless` 在此以來源 JSON 的讀取代理列出；二進位位串轉碼產生的**額外封裝 bytes**另列於機器可讀 summary，不得因為表中相同便稱各策略實際儲存量相同。

最重要的負面結果：即使索引策略使微觀來源存取數從 512 下降到 256，**查詢階段加計群組元資料後，byte 代理仍略高 526 bytes**；首次建立索引更需額外掃描所有 1,280 筆來源。這說明「減少某一類存取」與「系統端到端變快」是不同命題。

## 6.4 此代理不是 CPU、I/O 或 Token 實測

參考 Python 程式使用**已載入記憶體的 JSON 物件**，且 `validate_world`、`record_index` 的實際程式路徑可能檢查整個來源快照；`micro_source_reads_online` 指的是策略層在獨立索引儲存系統中**需要展開哪些成員的邏輯數量**，不是對作業系統 I/O、實體 RAM 觸碰或 CPU cycle 的追蹤。本文沒有控制 CPU 排程、磁碟、快取層或 Tokenizer，也沒有公平的跨實作速度實驗。**不得把代理存取數當成真實加速倍率。**

## 6.5 分佈特異的成本分界

四種人工世界在每四個種子的 128 項查詢中，逐筆與索引策略的 byte 代理如下：

| 世界族 | 逐筆線上 bytes | 索引線上 bytes | 一次索引建立 bytes |
|---|---:|---:|---:|
| `clean_margin` | 16,102 | 8,148 | 40,243 |
| `conflict_rich` | 16,048 | 23,808 | 40,164 |
| `missing_rich` | 13,382 | 15,833 | 33,297 |
| `boundary_shift` | 16,080 | 14,349 | 40,211 |

對固定來源、固定版本、固定一批查詢，若索引預算只建立一次並能跨輪重用，且每輪的新增成本相同，估計使用 $k$ 輪後的 JSON byte 代理：

$$
 C_{\mathrm{index}}(k)=B+kI,\qquad C_{\mathrm{eager}}(k)=kE
$$

只有在 $I<E$ 時，才可能存在有限的重用次數滿足：

$$
 k>\frac{B}{E-I}.
$$

依本輪指定 byte 代理估算，`clean_margin` 需要至少 6 個相同批次，`boundary_shift` 需要至少 24 個批次；`conflict_rich` 與 `missing_rich` 的索引線上成本本就不低於逐筆，故依此相同成本模型**不存在有限批次的 break-even**。這是條件性算術，尚未計入來源失效、真實執行緒、CPU、記憶體與模型 Token；若資料更動、群組緩存無法重用，結論還會不同。

## 6.6 已驗證的跨篇相容性

`src/bridge_controls.py` 以逐位元組保留的 Paper 04 `evaluate_one`，檢查四種人工世界族各一個種子的全部 80 筆來源，共 320 筆記錄，相容結果一致；以 Paper 02 精確有理數承載，對 60 個 scalar × 三套進位配置完成精確回讀。這是局部合約對照，不是互相獨立研究團隊的盲測驗證。

---

# 7. [TESTED] 反事實干預、版本失效與負面控制

## 7.1 干預定義

從 `w-clean_margin-01` 的 `r0` 快照出發，選擇來源記錄 `s0-n00`。在不改寫其他記錄的條件下，各自建立兩個新的 `r1` 快照：

- `MAKE_BOTH`：將 `(1,0)` 改為 `(1,1)`。
- `MAKE_REFUTED`：將 `(1,0)` 改為 `(0,1)`。

不同後繼快照內容雜湊不同，即使它們使用同一字面修訂標籤 `r1` 也不能被視為同一來源。

## 7.2 已執行的結果

| 來源狀態 | 人工支持配置 | 嚴格支持判定 | 索引路徑 |
|---|---|---|---|
| 原始 `r0` | `SUPPORT_ONLY` | `ACCEPT` | 群組證書 |
| 干預後 `r1` | `BOTH` | `DEFERRED` | 微觀展開 |
| 另一干預 `r1` | `REFUTE_ONLY` | `REJECT` | 微觀展開 |

原先 `s0` 群組中的十個來源均相同，宏觀證書可直接回答；只改其中一個節點後，原均一性證書不再充分，新索引保守要求展開。**修改單一來源，也可能改變宏觀證書能否代替微觀計算的合法性。**

## 7.3 舊索引與舊查詢的拒絕

在新來源上強行使用舊 `r0` 索引，得到 `STALE_INDEX`；強行使用舊 `r0` 查詢，得到 `STALE_QUERY`。這是版本化操作契約的有限示例：**具有來源釘選不代表具有永久的操作授權或永遠可重用的觀察證書**。

## 7.4 負面控制

`g=s1` 中的 `s1-n00` 沒有被干預。實驗確認它在來源更動前後仍保持相同的查詢判定，且新世界重新建立對應的有效索引。對未受影響的成員不應人為製造不同的語義結果；但當全域來源 SHA 改變時，舊索引即使某些群組局部內容相同，仍不能無驗證地當成新快照的正式索引。

## 7.5 不能由此推出自然因果定律

上述 `do` 類干預是由人工來源生成器執行、可直接觀察來源變動的模擬操作；不包含自然世界混雜因子辨識、隨機對照實驗、物理因果圖、統計識別或介入外推。因此本篇稱之為**人工反事實差異實驗**，不是現實宇宙的因果證明。

---

# 8. [PROPOSITION] 有損判定、局部充分與成本的三個不同真問題

## 8.1 資料型別完整性

是否能保留原始 `SUPPORT_PAIR`、`RATIO`、`INTERVAL`、`UNKNOWN` 與版本身分，取決於實際資料契約。完整二進位可以做到；未經授權把它們壓為一個真假 bit 則可能做不到。此處的失敗原因是**指定投影不可逆**，而不是 bit 這種儲存單位不具表徵能力。

## 8.2 任務相對充分性

即使一個投影無法還原全部來源，也可能足夠回答某個具體問題。例如對精確比例的指定門檻，最終布林結果可以對該問題完全充分；但不能據此宣稱該布林結果足以回答其他門檻、來源查詢、反事實更動或非數值問題。

形式上，若 $P$ 是觀察投影， $O_q$ 是指定問題的 oracle，稱 $P$ 對 $q$ 充分，若存在 $F_q$ 使得：

$$
 O_q(x)=F_q(P(x))
$$

對其**宣告的全部合法來源域**成立，而不是只在挑選的有限成功例上碰巧成立。何時能提出證書，以及證書本身的成本，仍須另行驗證。

## 8.3 跨批次資源效益

在完整成本模型下，是否省時省空間由索引建立、維護、失效、實際資料存取、快取、序列化、編碼、外部運算與驗證共同決定。合法的宏觀證書即使存在，也不保證有成本優勢；反之，某一局部策略沒有本輪優勢，也不表示未來其他資料分佈或實作一定失敗。

**三者不可互相替代**：可無損表示、對任務充分、工程上划算，是三個不同的可檢驗命題。

---

# 9. 圖形渲染的技術定位

## 9.1 圖像是實驗讀取接口，不是真值來源

本輪依實際 `summary.json`、干預收據生成四幅 SVG 與 PNG：

1. `Exact_Concordance`：四種策略與 oracle 的完全任務一致率。
2. `Access_Cost`：微觀邏輯讀取及索引首次建立負擔。
3. `World_Structure`：四種人工分佈下宏觀證書的適用度。
4. `Counterfactual`：同一來源節點在三個快照中的局部判定與版本失效。

此外提供四圖概覽。圖中比例、數量和字詞均以結構化結果驅動；不是根據理論敘述臆造的美術場景。若結構化來源改變且未更新驗收證據，圖形重播與 checksum 會出現差異。

## 9.2 與 XOST-TM-STR 的連結

前一子系列已構造可讀取 Typed Field IR、投影與 SVG 的圖形參考引擎。本輪為了隔離真值判定與圖像渲染，使用**獨立的、確定性 SVG 圖表後端**；沒有假稱已把 Paper 05 全部資料直接接入 XOST-TM-STR Engine API，也沒有改寫先前引擎。

下一階段可將四種策略收據轉為有版本的場事件、局部鏡頭及視覺算子。但圖形美觀度與可讀性不能代替數值 oracle、來源版本、證書與反例驗證。

---

# 10. 驗收、失敗測試與發行契約

## 10.1 本輪可重播的檔案

正式封裝包含：研究 Markdown 原稿、純 Python 標準函式庫核心、Paper 02／04 來源釘選、16 份人工世界、16 份索引、16 份查詢集合、16 份四策略運算收據、數據 summary、反事實與無損進位控制、JSON Schema、SVG／PNG 預覽、測試與正式 manifest。

每一個世界、索引、查詢及策略收據都含內容 SHA-256；其完整性與來源綁定由本地驗證器核查。所有寫入限制在本輪輸出目錄，**不變更 TCGCT、TCGQT-AMOCF、XOST 的原始研究文件與 GitHub**。

## 10.2 測試項目

測試覆蓋 deterministic seed、typed source、分數規範式、四態判定、未知／不適用、索引充分性、來源版本、查詢範圍、預算、二進位精確編解碼、偽造索引獨立審查、三狀態干預、保留負面對照、跨進位算子及全文固定基準結果。

正面測試不能取代負面測試；尤其故意竄改索引來源、超越預算、讓已知區間反轉或以非合法 bool 值冒充支持旗標，必須被拒絕而非自動修復成一個「看起來合理」的結果。

## 10.3 JSON Schema 不等於語義驗證

本輪提供五份 Draft 2020-12 Schema，用於封裝結構驗收。`source_sha256` 的真正對照、群組是否覆蓋完整來源、分數是否為規範式、門檻可否由群組證書充分支持等，需要 Python runtime 檢查及來源審查；不能只因 JSON 通過 Schema 就視作研究證據已認證。

## 10.4 可重播與 byte-exact

`python -m scripts.demo` 不需要任何遠端網路，根據固定生成規則重建全部原始人工資料及渲染；`python -m scripts.validate_release` 稽核來源釘選、Schema、測試、公式 delimiter、產物與正式檔案 manifest。乾淨目錄重新執行應比較確定性衍生 JSON／SVG／PNG 的 bytes；本機執行時間或跨硬體自動圖形渲染差異不能未經檢查就當成跨平台 bit-exact 的通用保證。

## 10.5 未驗證的外推

本輪沒有：真實 AI 模型訓練、自然物理取樣、量子／連續硬體驗證、無限維實體執行、GPU 加速對比、一般 AI Token 使用量、原生混合進位效能優勢、產業級多尺度資料庫穩定性、多代理寫入及外部獨立同行審查。這些均應保留為**明示未完成的後續問題**。

---

# 11. 侷限、反證與修正條件

## 11.1 人工分佈選擇偏差

四個世界族由研究者專門構造，包含特意有利及不利於索引策略的條件。這有助於建立機制反例，但沒有代表性取樣意義；若要聲稱真實世界中的常見收益，必須對未參與設計的來源分佈進行資料分割、外部測試及相關統計不確定性分析。

## 11.2 有損單 bit 不是強競爭對照

將 `UNKNOWN` 強制當 False，對比例忽視問題門檻，並不屬於有能力的完整二進位算法。它的價值是**顯示犯錯的具體條件**。任何試圖利用其低分宣稱「新理論在所有情境都勝過 0/1」的敘述都應直接拒絕。本輪已把無損二進位編碼放進同一試驗，呈現其完全相符的結果。

## 11.3 索引成本與公平性

本輪為索引顯式收費全部來源掃描，但沒有估算可在外部持久存取的真實索引儲存、冷熱快取與實際資料庫成本。也沒有為索引建立時間、更新與驗證加入 CPU 微觀計時。因此只可報告有限的**邏輯操作代理**，不可推成端到端加速。

## 11.4 來源權威仍受信任假設約束

本地 SHA-256 對修改痕跡敏感，卻不代表權限治理、歷史不可竄改或第三方來源證明。若攻擊者能修改來源並重製所有雜湊，單靠本輪資料封裝不能辨識其真正來源權威。可信執行要另外設計外部版控、簽章、權限與審計邊界。

## 11.5 「無限維」仍是研究方向

本文實作僅含支持對、比例、區間及少數群組和版本。將來即使增加更多維度，也只能證明**對某個有限活躍子域具備開放擴張機制**；不能把任意有限演算法執行說成已經算完數學上的實際無限維對象。

---

# 12. 下一階段：引擎接口與跨技術耦合

## 12.1 Paper 06 的建議定位

後續可將世界生成、型別驗證、獨立 oracle、進位承載、AMOCF 觀察鏡頭、成本模型、選擇策略及可視化輸出整理為各自可替換的模組。執行器不應單憑觀察器說「這一組可當作一個」就立即接受宏觀運算，應先審查來源、版本、型別、證書、預算與讀寫授權。

## 12.2 更有價值的下一輪反證

- 讓實際外部資料庫或記憶體提供者負責載入／索引，量測真實 CPU／RAM／I/O，並用精確 trace 驗證微觀讀取的節省是否成立。
- 對照最佳化二進位位封裝、完整型別封裝、常見索引及資料庫，確保比較的是方法本身而非刻意劣化的基線。
- 在同等任務正確率下比較多輪查詢、索引更新、來源修訂、冷啟動與來源不可得情境。
- 測試帶惡意或誤導性宏觀摘要的來源，驗證來源權威、外部 permission gate 與拒絕流程。
- 使用獨立外部世界規則與未見來源，測量可泛化程度；不能只在本文人工分佈中尋找支持案例。
- 只有在真實 AI 模型接入後，才開始討論 Token 成本與模型對多尺度語義的理解質量。

## 12.3 跨技術領域的重要性

圖形渲染提供可視化；真假場型別與算子提供可運算結構；混合進位承載提供表示自由度；AMOCF 式鏡頭提供按任務調整的觀察／操作域。**它們可以研究性地耦合，但不能未經證據直接宣稱已成為一個通用新計算機架構。**

未來可以逐步接入資料庫、人工世界、遊戲程序生成、AI 原生知識系統、計算語義學及其他合法技術，不應把本體論的可行性寄託於任何單一渲染後端或單一進位制。

---

# 13. 結論

本文的有限實驗展示一個應當嚴格保留的三層區分：

**第一，語義保留不取決於是否使用 bit。** 單 bit 有損投影可以造成誤判；使用多個 bit 的無損二進位完整承載可以保存同一種有限四態與有理數判定。

**第二，局部宏觀證書可以提供正確的任務相對簡化，但其合法性取決於來源完整、版本釘選與已驗證的判定充分條件。** 當來源分佈複雜時，保守回退是技術正確性的一部分。

**第三，減少邏輯微觀讀取不等於降低完整工程成本。** 本輪的 aggregate 成本恰好提供一個負面結果：已驗證的多尺度索引沒有在指定一批 JSON bytes 代理中取得整體優勢。這項反例不該被消除，而應作為下一階段研究選擇演算法、索引與觀察鏡頭的重要基礎。

因此，我們不必否定 0/1 的成就，也不必把 0/1 當成本質；不必事先證明宇宙符合無限維真假場，亦可以嚴格研究這套理論是否導出有用途、可驗證、可失敗的計算與觀察方法。**局部驗證可以成立；總體本體論結論仍保持開放。**

---

# 附錄 A：最小執行命令

解壓完整 ZIP 後，在其根目錄使用 Python 3.11+：

~~~bash
python -m pip install -r requirements-optional.txt
python -m scripts.build_schemas
python -m scripts.demo
python -m unittest discover -s tests -v
python -m scripts.validate_release
~~~

若只測純 Python 核心，可不安裝視覺轉檔及 Schema 依賴；完整發行驗收則須安裝所列依賴，或在具備相同套件的環境中進行。

# 附錄 B：研究檔案索引

| 路徑 | 功能 |
|---|---|
| `src/finite_world.py` | 版本化人工場、typed source、群組及生成規則 |
| `src/oracle.py` | 指定有限任務的獨立人工 oracle |
| `src/policies.py` | 四種策略、精確二進位承載與安全宏觀證書 |
| `src/benchmark.py` | 配對執行、成本統計、干預及負面控制 |
| `src/bridge_controls.py` | Paper 02／04 原始來源相容性對照 |
| `src/viz.py` | 以實驗收據產生 SVG／PNG |
| `examples/worlds/` | 16 個原始人工世界 |
| `examples/indexes/` | 16 個來源釘選索引 |
| `examples/queries/` | 16 組完整查詢集合 |
| `examples/runs/` | 16 份四策略執行收據 |
| `examples/summary.json` | 總表與按分佈切片的完整數據 |
| `examples/interventions/` | 反事實及跨進位／算子相容控制 |
| `previews/` | 四幅 SVG、PNG 與概覽圖 |
| `schemas/` | 五份 Draft 2020-12 結構規格 |
| `reference/` | 未修改的上游原始碼和 Paper 04 原稿 |
| `docs/SOURCE_MAP.json` | 上游逐位元組 SHA-256 指紋 |
| `docs/CLAIM_LEDGER.md` | 已驗證、不成立與未驗證主張分類 |
| `docs/EXPERIMENT_PROTOCOL.md` | 公平比較與成本測度的具體程序 |
| `docs/LOCAL_HANDOFF.md` | 本地端後續工作及權限界線 |
| `MANIFEST.sha256` | 發行包內各檔案完整性清單 |

# 附錄 C：可追溯的研究來源

以下原始碼與研究文本之實際副本以 SHA-256 釘選保存在本發行包的 `reference/`，並未改寫。從它們引用的命題只在原文件宣告的研究邊界內有效。

1. **TCGQT-AMOCF × XOST Paper 01–04**：Open-Dimensional IR、Heterogeneous Radix、Typed Operator Graph、Local Closure。
2. **TCGQT AMOCF v0.1／v0.2**：查詢相對觀察鏡頭、來源與 overlay 分離、虛擬操作域和拒絕優先設計。https://github.com/kakon77777-commits/TCGQT
3. **TCGCT × TCGQT Bridge Contract v0.1**：來源、觀察鏡頭、算子計畫與執行收據的權威分離。https://github.com/kakon77777-commits/TCGCT
4. **TCGCT 混合進位研究**：精確位值、跨基底、分數與資料來源。此處僅使用已釘選 Paper 02 參考模組，不主張原生計算核心已融合。
5. **Belnap／Dunn 式四值邏輯的公開學術背景**：Stanford Encyclopedia of Philosophy, “Truth Values,” https://plato.stanford.edu/entries/truth-values/ 。本篇將證據支持四態視為受限型別，並非這項既有邏輯的新發明。
6. **Selective classification 與拒答評估背景**：Pugnana et al., “Deep Neural Network Benchmarks for Selective Classification,” DMLR 2024, https://mlanthology.org/dmlr/2024/pugnana2024dmlr-deep/ 。本篇只借用對覆蓋率、拒答與錯誤分開評估的研究問題，不使用該研究的資料集或神經網路。

---

**正式研究狀態：**有限人工域的可重播基準初版，尚未正式投稿、外部獨立審查、物理驗證或取得任何通用工程效能優勢。任何未來版本必須另存新的 UTF-8 source artifact，完成測試與驗證後才提交；聊天渲染畫面不是 canonical source。