---
title: "TCGQT-AMOCF × XOST Paper 06｜唯讀能力引擎、API、成本路由與跨技術映射"
english_title: "Read-Only Capability Engine, API, Cost-Aware Routing, and Cross-Technology Mapping"
series: "TCGQT-AMOCF × XOST: Infinite-Dimensional Truth–False Fields and Heterogeneous-Radix Computation"
paper: "06"
version: "v0.1 / finite executable reference engine"
date: "2026-11-01"
author: "Neo.K / EveMissLab"
research_collaboration: "GPT-6"
status: "RESEARCH DRAFT / LOCAL FINITE VALIDATION / NOT SUBMITTED / NOT PHYSICALLY VERIFIED"
canonical_source: "UTF-8 Markdown; LF; math delimiters $...$ and $$...$$ only"
repo_write: "NONE; local archival artifact only"
license: "NO LICENSE DECLARED; NOT AN OPEN-SOURCE GRANT"
predecessor: "TCGQT-AMOCF × XOST Papers 00–05"
---

# Paper 06｜唯讀能力引擎、API、成本路由與跨技術映射

## Read-Only Capability Engine, API, Cost-Aware Routing, and Cross-Technology Mapping

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

> 核心主張：真值語義、數值表示、觀察鏡頭、計算策略與來源權威必須分離；讓多尺度與異質進位成為可調用的計算能力，不代表可以略過精確性、成本、權限及版本證據。本篇的研究引擎保留二進位作為正當且可無損的承載方式，並以拒絕優先的介面治理宏觀候選算子。

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

## 摘要

本篇在 Papers 00–05 的可執行有限基線上，建立具有版本化 JSON 請求／回應、明示能力登錄、型別化來源解析、查詢相對觀察鏡頭、精確判定、成本感知路由、合成世界基準、反事實唯讀快照與異質進位精確重編碼的**研究參考引擎**。研究不再只詢問「多值真假場能否被描述」，而是詢問「外部程式如何以可追溯、可失敗且有限成本的契約操作這些表示」。

實作直接逐位元組保留 Paper 05 的人工世界及策略核心，亦逐位元組保存 Paper 02 的 `radix_domains.py` 及其依賴的 Paper 01 `field_ir.py`；新程式僅作協調、來源驗證、API 封裝與路由，不冒稱改寫既有 TCGCT 原生混合進位運算核心。引擎目前提供八個唯讀操作：`capabilities`、`inspect`、`observe`、`route`、`decide`、`benchmark`、`intervene` 和 `radix_recode`。其中 `intervene` 所產生的修改快照，僅是具有新修訂與來源承諾的衍生人工世界，不具正式持久來源提交效力。

為維持負面對照，本篇重播 Paper 05 的 **16 個世界、每世界 32 個查詢、四種策略，合計 2,048 次有限任務判定**。刻意有損的單 bit 策略正確對應 266/512；無損二進位、型別逐項判定及具條件證書的索引策略均為 512/512。索引策略可在宣告的**邏輯微觀讀取代理模型**中將 512 次單筆讀取減至 256 次，但一次性索引建立後的總 JSON byte 成本在該測試下反而更高。這不證明模型真值的宇宙本體，也不證明任何 CPU、記憶體、Token 或 GPU 的普遍效率優勢。

新的路由器提供兩種模式：`CONSERVATIVE_EXACT` 不因缺乏硬體證據而冒險選用索引；`JSON_BYTES_PROXY_ONLY` 僅在指定、**來源不變**的 32 查詢完整批次重用條件下，以索引建立成本加上上線 JSON byte 代理總成本比較是否值得選用索引。單次任意查詢、來源更新、跨語義域或跨硬體的效能主張不從此模型推出。

**本稿成果分類：**已實作的局部工程能力與明確的有限反例；非通用 AMOCF 執行器、非 AI 訓練、非自然物理證明、非 TCGCT 原生內核整合、非可授權寫入的分散式運算系統。

**關鍵詞：**無限維真假場；型別化證據；混合進位；AMOCF；能力登錄；來源快照；動態作用域；保守成本路由；反事實；可稽核收據；可重播研究引擎。

---

# 0. 研究定位與工程邊界

## 0.1 本系列持續維持的立場

以二進位編碼四種支持狀態、精確有理數或有限圖資料是完全合法的；反對的是將「可用 bit 編碼」直接當作「被編碼的對象只有二元語義」的證據。相同地，混合進位不是宇宙本體已被驗證為特定進位制度的證據。異質進位計算的真問題是跨表示的值保持、型別守恆與可測的適用域。

把多個位元組在 AMOCF 鏡頭中當成一個宏觀操作單元，也不代表它們在物理記憶體中收斂成單一 byte，或已無須底層運算。**宏觀觀察的合法性與宏觀算子的精確性不是同一個命題。**

## 0.2 本篇的研究問題

- **RQ06-1**：如何為真假場的操作提供有限且可稽核的能力登錄與調用介面？
- **RQ06-2**：如何讓不同來源版本、觀察鏡頭與查詢範圍不被默默合併？
- **RQ06-3**：何時能合法使用前篇的群組證書代替對指定節點的微觀求值？
- **RQ06-4**：如何把索引建立成本及實際在線代理成本同時計入路由，而不宣稱普遍加速？
- **RQ06-5**：如何讓混合進位的分子分母數位列改變時，原始精確數值與證據語義保持不變？
- **RQ06-6**：如何從人工干預導出新來源修訂，並拒絕跨修訂復用舊查詢及舊索引？
- **RQ06-7**：如何界定可移植到資料庫、AI 系統或圖形渲染的能力，以及尚未實作的未來 adapter？

## 0.3 不等價命題

此研究至少嚴格區分以下關係：

| 觀察／現象 | 可承認的意義 | 禁止直接推論 |
|---|---|---|
| 多值支持用多個 bit 承載 | 存在有限無損二進位編碼 | 語義本體只有單一真假 bit |
| 源值可在混合基底下重編碼 | 指定容量內精確數值不變 | 兩份位元組或運算成本相同 |
| 來源群組可宏觀觀察 | 有來源和關係的虛擬單元 | 底層來源無須保存或驗證 |
| 群組證書回答特定查詢 | 宣告適用域上的局部求值充分性 | 任意宏觀操作都與微觀同態 |
| 結構上的讀取計數下降 | 特定邏輯讀取模型減少 | 真實 CPU、GPU、I/O 或 Token 必定更省 |
| 來源與收據雜湊一致 | 本地明示位元組未改變 | 作者認證、ACL、可信時間或抗回滾 |
| 反事實人工快照有新修訂 | 可比較兩個有版本的合成世界 | 物理世界已建立因果識別 |

---

# 1. 從理論到資料／能力的分層

## 1.1 五個互不偷換的層面

**A. 來源權威層：**保存真實位元組、型別資料、來源修訂與來源處理政策；本篇由固定人工世界代表，不將 SHA-256 當作簽署者身份。

**B. 值與表示層：**保留 `RATIO`、`INTERVAL` 等精確有理數的數值內容；`SUPPORT_PAIR` 是不同的支持語義型別，不能直接轉成有理比例。

**C. 觀察鏡頭層：**AMOCF 式關係 profile 描述成員與聚合統計，不因此授予寫入權、也不因此宣稱原始值已全部載入模型上下文。

**D. 算子選擇層：**只從已存在的精確方法、索引候選與無損編碼中選擇，並明示策略、正確性門檻、成本代理及回退。

**E. 收據與歷史層：**請求、來源、執行選擇、回答、局部路徑及必要側錄分開雜湊；來源變更後不得沿用錯誤的舊引用。

## 1.2 人工來源快照

令固定生成族、種子、修訂指定一個有限來源：

$$
W_{f,s,r}=(D,G,R,\nu)
$$

其中 $D$ 為型別化紀錄、 $G$ 為群組與成員、 $R$ 為生成規則、 $\nu$ 為來源版本與完整性承諾。本次實驗有 16 個不同 $f,s$ 組合，初始修訂均為 `r0`。每個世界含 80 筆 typed record、八個群組、每群十筆來源記錄；它們不是物理測量。

對應的可辨識快照內容承諾為：

$$
h_W=H(\operatorname{CanonicalJSON}(W))
$$

本篇使用 JSON 欄位排序、固定分隔符及 UTF-8 的 SHA-256。這只能支援本地資料的一致性核查，不自動提供信任根。

## 1.3 AMOCF 的查詢相對鏡頭

前置研究 AMOCF v0.2 把觀察鏡頭拆為任務、相對尺度、關係 profile、精度、時間、權限與資源預算。在本篇有限實作中，鏡頭縮限為：

$$
L=(\rho,\pi,\kappa)
$$

其中 $\rho$ 固定為 `p05.group-membership@v0.1`， $\pi$ 為 `STRUCTURAL` 或 `EXACT_TASK`， $\kappa$ 必須是 `READ_ONLY`。這是一個刻意有界的測試子集，**不是已完成完整 AMOCF 自適應鏡頭選擇**。

同一份來源可提供群組結構觀察，亦可在具合法精度及成員範圍時展開指定原始記錄。精確記錄必須有 source pin，不用摘要猜測。

## 1.4 真值判定的能力界線

指定有限查詢 $q$ 、來源 $W$ 與合法算子 $F$，得到：

$$
D(W,q,F)\in\{\mathrm{ACCEPT},\mathrm{REJECT},\mathrm{DEFERRED},\mathrm{EXCLUDED}\}
$$

`DEFERRED` 可以來自未知、證據衝突或區間跨門檻，`EXCLUDED` 可來自不適用。`ACCEPT`、`REJECT` 是**特定人工任務規則的結果**，不是對宇宙任意命題的本體裁決。

---

# 2. 唯讀能力登錄與可調用 API

## 2.1 八種已實作操作

| 操作名稱 | 可執行功能 | 非宣稱內容 |
|---|---|---|
| `capabilities` | 回報可用操作、版本和不可用能力 | 並非自動發現所有外部插件 |
| `inspect` | 查看來源基本結構、版本及群組 | 並非完整來源資料外流或來源壓縮 |
| `observe` | 產生來源索引之唯讀群組視圖；必要時指定成員展開 | 不等於 AI 已理解全部細節 |
| `route` | 有界重複查詢下估算兩種精確策略的 JSON byte 代理 | 不等於 CPU／Token 最優規劃器 |
| `decide` | 明示 exact typed、已核查群組或無損二進位策略求值 | 不允許故意有損策略作正式決策 |
| `benchmark` | 重播前篇四種策略的 32 題有限對照 | 非真實硬體 Benchmark |
| `intervene` | 建立反事實人工新快照與前後判定 | 非權威來源 COMMIT 或物理因果證明 |
| `radix_recode` | 使用 Paper 02 精確有理數承載進行跨基底轉碼 | 非 TCGCT 原生進位硬體核心 |

`lossy_1bit` **仍保留在基準實驗中**，但不被允許成為 `decide` 的合法正式策略。這樣既能追蹤它的有限任務失真，又避免把明知有損的負面對照偷偷升格為一般執行器。

## 2.2 請求封裝

本篇的機器請求為：

$$
Q=(id,op,source,L,objective,budget,params)
$$

其中 `source` 釘選來源 digest 與修訂；`L` 表示觀察鏡頭；`objective` 只有明示的保守精確路徑與 JSON byte 代理路徑；`budget` 限制回應 bytes；`params` 提供 operation-specific 領域參數。各操作有固定 allowlist，未知欄位必須拒絕。

JSON 的最小示例如下，具體 source sha 由示例產生器填入，不能人工隨意虛構：

~~~json
{
  "schema":"eml.tcgqt-amocf-xost.engine-request.v0.1",
  "request_id":"q-demo",
  "operation":"decide",
  "effect":"READ_ONLY",
  "source":{
    "schema":"eml.tcgqt-amocf-xost.engine-source-ref.v0.1",
    "kind":"GENERATED",
    "family":"clean_margin",
    "seed":1,
    "expected_sha256":"be10e03892c70ca29f7a19a837a5c08ac603844a400b099b9d1d18ce42fe39ec",
    "revision":"r0"
  },
  "lens":{
    "relation_profile":"p05.group-membership@v0.1",
    "precision":"STRUCTURAL",
    "permission":"READ_ONLY"
  },
  "objective":"CONSERVATIVE_EXACT",
  "budget":{"max_response_bytes":1000000},
  "params":{"query_id":"q-s0-00"}
}
~~~

外部 API 只能接受 JSON 物件；程式不把自然語言描述當成執行指令。請求來源有 `GENERATED`（以明確生成規則、種子及修訂重建）與 `INLINE_SNAPSHOT`（具自身 seal 的人工衍生來源）兩型。由使用者帶入的 INLINE 來源仍是**未經外部信任根認證**的研究資料。

## 2.3 回應與拒絕

成功回應具有 `status=OK`、操作、來源雜湊、結果及 `no_canonical_write=true`。失敗回應為 `status=REFUSED`，只回報機器可解的代碼與重建合法請求的說明，不回顯來源文字；不保證其足以取代生產級安全閘道。

若請求要寫入、鏡頭企圖取得寫入權、來源版本不符、查詢超界、進位容量不足或回應超過預算，預設拒絕。示例保留明確的 `PERMISSION_DENIED`、`STALE_OR_TAMPERED_SOURCE`、`SCOPE_VIOLATION`、`EXACT_CAPACITY_EXCEEDED`、`RESPONSE_BUDGET_EXHAUSTED` 等反例。

## 2.4 來源與型別不得偷換

- `SUPPORT_PAIR` 是獨立證據支持型別，不可進位轉碼成「真度百分比」。
- `RATIO` 可在容量足夠時重編碼其精確分子與分母。
- `INTERVAL` 必須保留上下界及原始區間秩序。
- `UNKNOWN`、`NOT_APPLICABLE` 不得在轉換過程被補零或假裝已有數值。
- 來源相同不等於 wire 一樣；不同 wire 也不代表真值語義不同。
- digest-only 不能重建失去的原始內容；精確來源或等價側錄仍然必要。

---

# 3. 跨進位的精確性與資料承載

## 3.1 局部混合進位配置

使用一個**有限**局部進位列：

$$
B=(b_0,b_1,\ldots,b_{k-1}),\qquad b_i\ge 2
$$

取正負整數 $n$，在所宣告的進位列下取得符號與數位。此處低位在前，各位之權重為：

$$
w_0=1,\qquad w_i=\prod_{j=0}^{i-1}b_j
$$

有限容量為：

$$
C(B)=\prod_{i=0}^{k-1}b_i
$$

目前參考轉碼器只在 $|n|<C(B)$ 範圍內無損承載。若數值超出容量，必須拒絕，不得截斷後聲稱與原值一致。

## 3.2 有理數守恆的可測契約

對已約分精確有理數：

$$
x=\frac{p}{q},\qquad q>0
$$

使用來源進位 $B_a$ 與目標進位 $B_b$ 的操作：

$$
\operatorname{Decode}_{B_a}(\operatorname{Encode}_{B_a}(x))=x
$$

並檢查：

$$
\operatorname{Decode}_{B_b}(\operatorname{Encode}_{B_b}(x))=x
$$

兩個數位列可以不同，但被承載的精確數值保持相同。這是 Paper 02 的既有有限參考算法；**不是本篇新發明的混合進位定理，也不是 TCGCT P20 原生 DAG 算術已整合**。

## 3.3 無損二進位負面對照

不能只用刻意有損的 `lossy_1bit` 來批評二進位。前篇已提供 `binary_lossless`，本篇保持該路徑，將支持對、分數的分子分母、來源狀態與類別資訊放入可精確解碼的有限 bit 字串。實驗中，二進位承載與型別化逐項路徑在全部指定人工任務上得到相同判定。

因此目前能支持的精確結論是：**本篇使用的有損單 bit 投影不足以保存任務資訊，而不是二進位物理硬體無法保存多值語義。**

## 3.4 綁定來源與版本

任何 `radix_recode` 必須先確認來源 world hash、修訂、record ID、狀態與型別。外部只指定不同的進位數位列，不得藉此改寫原始證據旗標或來源 revision。另提供來源數值、目標數位列、精確重新解碼的檢驗收據。

---

# 4. 宏觀算子與局部精確判定

## 4.1 局部證書不等於全域真理

對來源快照 $W$ 、群組 $g$ 、指定查詢 $q$，若群組索引 $I(W)$ 的已驗證摘要包含足以回答 $q$ 的嚴格邊界／一致性資訊，才允許使用群組證書。例如所有組員在指定支持判定上同態，或精確有理數的全群下界已超過門檻。

合法的群組求值需滿足宣告定義域上的一致性條件：

$$
D_{macro}(I(W),q)=D_{micro}(W,q)
$$

這是本篇在特定人工世界與已核查索引上的**條件式任務契約**，不是任意群組與任意算子已被證明交換。

## 4.2 必須退回微觀的情況

如果摘要不能支持指定問題，不能直接把整個群組的平均數當作成員值。必須讀取該 record 的實際型別內容；若讀取預算為零，回報 `BUDGET_EXHAUSTED`。

如同前篇，正反證據同時支持的 `BOTH` 會導致特定嚴格支持算子下的 `DEFERRED`；區間跨過門檻也是合法的未決結果，不可因為宏觀操作較方便而改寫為確定接受。

## 4.3 固定證書與來源修訂

索引在生成時完整掃描人工來源。本篇會在使用索引前，對同一來源獨立重建並核對索引內容。來源更新後，舊版查詢與索引必須拒絕。研究程式每次重建及核對的 CPU 成本**沒有被計入 Paper 05 的邏輯線上讀取節省代理**，因此不對運算時間作優勢宣稱。

## 4.4 局部收束

若對指定查詢得到合法的 `ACCEPT`、`REJECT`、`DEFERRED` 或 `EXCLUDED`，只代表該**有限問題的處理流程**得到有型別的結果，不代表整個無限維真假場達到不可變、不可擴展的固定點。新增維度、來源改動、不同查詢或新的觀察政策，可使先前的局部結論需要重新評估。

---

# 5. 成本模型與動態路由

## 5.1 不能只計算線上微觀讀取

取每次重複的固定 32 查詢批次。令 $N$ 為預期重複批次數、 $B$ 為一次索引建立所須掃描的來源 JSON byte 代理、 $E$ 為一批逐筆 typed eager 查詢的在線 JSON byte 代理、 $I$ 為一批 indexed 查詢的在線 JSON byte 代理。定義：

$$
C_{eager}(N)=NE
$$

$$
C_{indexed}(N)=B+NI
$$

僅當來源不變、同一索引可跨批次重用、任務正確性已通過當前有限 oracle、成本模型適用於宣告操作、且：

$$
C_{indexed}(N)<C_{eager}(N)
$$

才在 `JSON_BYTES_PROXY_ONLY` 目標下允許把 `typed_indexed` 選為候選。**這個不等式比較的是指定 JSON bytes 模型，不是時間、電力、RAM、Token 或真實網路 I/O。**

## 5.2 保守精確模式

`CONSERVATIVE_EXACT` 是預設模式。它一律選擇 `typed_eager`，直到使用者明確選擇同意限定代理模型後，才容許按已測條件啟用索引。此設計讓「候選成本優勢」不會被誤讀為「實測整體效率優勢」。

## 5.3 可重播路由表

以下數字取四個人工世界族的第一個固定種子，每世界完整查詢批次為 32 項。數值從本篇實際運行 Paper 05 測試核心而得：

| 世界族 | $B$ 建構代理 bytes | $E$ 線上 bytes／批 | $I$ 線上 bytes／批 | 首次更省的重複批數 |
|---|---:|---:|---:|---|
| `clean_margin` | 10,056 | 4,028 | 2,036 | **6** |
| `conflict_rich` | 10,032 | 4,005 | 5,945 | 無有限正效益交點 |
| `missing_rich` | 8,372 | 3,362 | 4,023 | 無有限正效益交點 |
| `boundary_shift` | 10,042 | 4,022 | 3,588 | **24** |

這個表格表明：**同一種多尺度索引，在不同人工世界結構下可以有利、無利或需要很長重用週期。** 若來源有任何修訂、索引必須重新建構，則上述攤銷模型須重新計算。

## 5.4 對照實驗的原始結果

16 個人工世界、四種政策的總計：

| 政策 | 與人工 oracle 一致 | 線上邏輯微觀讀取 | 單批群組 JSON byte 代理（含索引建構） |
|---|---:|---:|---:|
| `lossy_1bit` | 266/512 | 512 | 61,612 |
| `binary_lossless` | 512/512 | 512 | 61,612 |
| `typed_eager` | 512/512 | 512 | 61,612 |
| `typed_indexed` | 512/512 | 256 | 216,053 |

表格中的 byte 指標**不計 binary wire 的額外序列化成本**，這部分另有側錄；也不計 source validation、索引獨立稽核、Python 函式呼叫、查詢排程、記憶體與維護成本。因此單批 216,053 vs 61,612 的比較只在原宣告模型下有效。

## 5.5 誤導性成本推論的排除

- 資料宏觀化後「看到的單元數下降」，不等於來源運算工作量下降。
- group summary 可直接判定，不等於原始索引無須建立。
- 某次查詢只回傳一個摘要，不等於 AI 已經理解所有隱藏微觀資料。
- 對照組必須包括無損二進位，而不是只展示有損單 bit 的失敗。
- 重複批次假設若不成立，不能把攤銷優勢寫成實際生產效能。

---

# 6. 反事實世界、版本治理與唯讀衍生

## 6.1 干預不是權威來源更新

`intervene` 在 `r0` 上指定一個人工支持節點，生成 `r1` 的衍生快照。它可選擇 `MAKE_BOTH`、`MAKE_REFUTED` 或 `MAKE_UNKNOWN`，並產生 before/after 決策及舊查詢必須拒絕的證據。

令人工干預算子為 $I_k$，有：

$$
W_{r+1}=I_k(W_r)
$$

在這裡它只是**人工世界的局部明示變換**；不改寫磁碟上的前篇 canonical source，不宣稱存在外部授權的來源 COMMIT，也不構成自然因果效應的識別。

## 6.2 可實際觀察的版本反例

初始 `clean_margin` 第一個支持節點，在固定 `SUPPORT_STRICT` 查詢下結果為 `ACCEPT`。改為 `BOTH` 後變成 `DEFERRED`；改為純反支持後變成 `REJECT`。新的查詢必須綁定新的來源 SHA 與 revision。

**舊索引不能查新快照；舊查詢也不能直接套用新快照。** 程式保留錯誤代碼 `STALE_INDEX` 和 `STALE_QUERY` 供測試。

## 6.3 來源變動與維度延伸

Paper 05 的人工實驗只有有限八群與固定已知型別；這不是對所有動態無限維場的完整實作。未來擴展新的型別、維度與關係時，仍需新的 schema 版本及保守的失效閉包分析，不能直接把本次 80-row 世界模型泛化為任意大型資料庫。

---

# 7. 封裝、執行、來源譜系與可重播性

## 7.1 封裝的基本結構

~~~text
TCGQT_AMOCF_XOST_Paper06_v0.1_2026-11-01/
  TCGQT_AMOCF_XOST_Paper06_...md
  README.md
  MANIFEST.sha256
  src/
    engine.py                # eight read-only operations, source/routing checks
    cli.py                   # JSON file/stdin to JSON stdout
    viz.py                   # evidence-driven charts
  upstream/
    p05/src/                # untouched P05 generator, oracle, policies and benchmark
    p02/radix_domains.py    # untouched P02 exact rational carrier
    paper01/field_ir.py     # untouched P01 dependency
    docs/                   # byte-exact P02, P04, P05 Markdown sources
  schemas/                  # draft 2020-12 API contracts
  examples/
    requests/               # executable request fixtures
    responses/              # corresponding sealed response fixtures
    benchmark_summary.json  # full 16-world control replay
    routing_and_rendering_receipt.json
  previews/                 # programmatically generated SVG and PNG
  tests/
  scripts/
  docs/                     # source pins, methodology, claim ledger, handoff
  evidence/                 # local acceptance evidence
~~~

## 7.2 直接執行的方法

在 ZIP 解壓後根目錄、Python 3.10+：

~~~sh
python -m src.cli --input examples/requests/07_decide.json
python -m src.cli --input examples/requests/05_route_repeated.json
python -m src.cli --input examples/requests/11_radix_recode.json
python -m src.cli --input examples/requests/12_intervene.json
python -m unittest discover -s tests -v
python -m scripts.validate_release
~~~

`src.cli` 可直接從 stdin 讀取 JSON，回傳一份 JSON 到 stdout；`src.engine.handle()` 本身無磁碟、網路或來源寫入。只有開發者明確執行 `scripts.demo` 才會在研究包內再生成範例與圖片。請求不能藉 `effect` 欄位要求 COMMIT。

## 7.3 封存來源的原始 bytes

本篇保留 Paper 02、Paper 04、Paper 05 研究原稿；並把 Paper 05 的 `finite_world.py`、`oracle.py`、`policies.py`、`benchmark.py` 等程式，及 Paper 02 的 `radix_domains.py`、Paper 01 的 `field_ir.py` 作為 frozen upstream reference。每份原始 bytes 的 SHA-256 與大小都列於 `docs/UPSTREAM_PINS.json`。

這種封裝維持研究歷史的一致性，卻不等於已取得外部來源認證或第三方授權。正式轉移至 GitHub 時，需另處理原始版本、分支策略與授權確認。

## 7.4 JSON Schema 的角色

四份 JSON Schema 2020-12 文件定義來源參照、請求、成功回應及拒絕回應的**結構檢查**。它們不能取代 runtime 中的精確算術、來源雜湊、來源版本、參照完整性、群組證書及結果重播檢查。

故意破壞來源 SHA、請求寫入、偽造數位、越界群組、非法非數值換基、容量不足及限制回應 bytes，都應觸發拒絕；不依賴使用者是否使用 AI 介面。

## 7.5 可重播的完整性定義

對固定輸入與被封存的參考程式、固定 Python 依賴、同一版本的圖形環境，期望：

$$
H(\operatorname{Replay}(Q,W))=H(\operatorname{ArchivedResponse}(Q,W))
$$

此外，資料 JSON 與圖像須分別比較，因為跨 Matplotlib／字型版本的繪圖輸出 bytes 未必相同。**本地逐位元組重播通過，是指定環境及固定 source 下的可再現性，不是任何硬體、任何版本的永久保證。**

---

# 8. 形式命題、反例與主張等級

## 8.1 命題 P06-1：固定容量條件下的值保持

**條件：**輸入為精確有理數，分子與分母各在兩套有限進位列的合法容量內，且來源與目標編解碼遵守同一帶號與數位位序契約。則往返編解碼保持精確數值；不同 wire 的身份不必相等。這是已有混合進位位置表示的有限性質；本篇實作提供測試見證，非重新提出新的數學定理。

## 8.2 命題 P06-2：有損投影不等價於二進位限制

對四種支持對的宣告集合，`TRUE_ONLY` 單 bit 將至少三個不同來源支持狀態映成 `False`，因而不存在從該輸出到全部來源支持狀態的左逆。但是兩個 bit 足以承載四種支持對，因此**該投影的不可逆性不代表二進位編碼不可逆或無力表示多值語義**。

## 8.3 命題 P06-3：索引策略的模型條件式優勢

只在 $E>I$ 且：

$$
N>\frac{B}{E-I}
$$

時，指定重複批次的線上 JSON byte 代理加上一次索引建立費用，才可能低於逐筆求值。若 $E\le I$ 且 $B>0$，則不存在正整數 $N$ 使該索引方案在這個代理模型下更省。這只需由算術重排推出，並不推導真實硬體的時間複雜度。

## 8.4 命題 P06-4：具來源版本的有限局部判定

若來源固定、索引被精確核對、查詢在已驗證範圍內、群組證書對該算子有足夠資訊，則本篇的群組判定與原始逐筆判定在所列有限人工案例一致。這是**有限樣本與特定算子的驗收結果**，非所有世界、所有鏡頭、所有動態類型上的形式完備性。

## 8.5 命題 P06-5：衍生快照的版本不等價

人工干預可保留邏輯 record ID，卻使其來源 revision 與內容承諾改變。若以舊 SHA 釘選的新查詢企圖用於新快照，系統拒絕是合法且必要的保守行為。雜湊一致本身不提供外部信任根；此命題不包含數位簽章或抗回滾保證。

## 8.6 反例 C06-1：索引沒有任何在線 byte 優勢

`conflict_rich` 和 `missing_rich` 分佈下，索引每批在線 JSON byte 代理已高於逐筆來源讀取；即使一次性建構成本完全攤銷，仍無優勢。不能為了讓結果看起來有利而捨棄這兩個世界。

## 8.7 反例 C06-2：局部精確與全域無限不是等價概念

某次指定查詢得到 `ACCEPT` 不代表所有後續新維度都支持該結論；有限八群的引擎亦不代表已經在記憶體內實際承載無限維場。開放維度是一種可擴充的資料與算法研究方向，單次實驗仍受有限資源限制。

---

# 9. 研究設計限制與後續跨技術映射

## 9.1 已實作的技術底座

已提供本機 Python API、CLI、JSON Schema、固定來源解析、八種唯讀操作、精確有理數換基、前篇實驗重播、來源鎖定、有限成本路由、收據與圖形。任一能力不能在沒有測試的情況下自動升級為跨進程 API、硬體優化或 AI 原生上下文機制。

## 9.2 可研究的跨技術接口

| 技術領域 | 候選接點 | 完成狀態 |
|---|---|---|
| TCGCT 原生計算內核 | 原生混合進位、exact DAG、精確算子證書 | **未整合**；本篇為 P02 Python Fraction 參考 |
| TCGQT-AMOCF 完整鏡頭 | 任務相對尺度、跨群組關係、擴展／收束 | **未整合**；本篇固定單一關係 profile |
| XOST-TM-STR 圖形渲染 | Typed Field IR 與多通道場渲染 | **未整合**；本篇圖形為研究證據圖表 |
| ISQL／EML-ADDR | 語義地址、精確地址與來源 resolver | **未整合**；無法直接使用其私有記憶體域 |
| AI Agent 工具 | 讀取能力登錄、建議操作、局部展開 | **候選**；未量測模型 Token、品質與安全 |
| DB／知識圖 | 多視角群組、索引及來源版本 | **候選**；未做現有資料庫比較 |
| GPU／WebGPU／Godot | 場算子與跨表示 shader/backend | **候選**；未完成 CPU/GPU Bench |
| 具身／自然物理 | 對物理資料建立可檢驗映射 | **未實驗**；沒有宇宙本體證據 |

## 9.3 未來模型與形式的擴張

下一階段應研究：自適應鏡頭切換與相對尺度的多視角圖；多作用域複合算子；可檢查的 EXACT／BOUNDED／STRUCTURAL／HEURISTIC 分級；長期來源更新與局部失效；跨進位原生 arithmetic kernel 的真實效能；大規模資料庫及 AI Agent 的 Token／I/O／準確率權衡。

不能因紙面有能力登錄便宣稱模型已獲得真正全域理解能力，也不能把來源圖的可導覽性與細節內容已被模型知悉等同。

## 9.4 功能不是價值判斷

在某一任務中，`typed_eager` 可能比 indexed 更值得使用；在另一個固定來源、長期批次任務中，indexed 在宣告 JSON byte 模型內可能逐漸攤平。這與「哪個進位制更高級」不是一個問題。工程上的正確選擇可以依任務、數據與驗證成本改變。

---

# 10. 最終研究成果與下一篇的銜接

第一子系列目前完成的技術鏈條如下：

**Paper 00：**二進位非本質化、研究邊界與反例入口。  
**Paper 01：**型別化真／假／未知、有限場 IR 與偏序。  
**Paper 02：**跨進位數值保持與型別化表示契約。  
**Paper 03：**支持算子、非交換投影及異質計算 DAG。  
**Paper 04：**局部判定、投影不可逆及側錄殘差。  
**Paper 05：**人工世界、負面對照、反事實及成本基準。  
**Paper 06：**唯讀能力引擎、API、成本路由、版本與跨技術接口。

**本篇可成立的核心結論是：**不需要把二進位視為唯一真值本體，也不需要否定二進位的工程成功，就能將非二元證據語義、異質數值表示與多尺度觀察整合成一套有來源、受型別和證據限制、可重播且可拒絕的有限研究引擎。

接續的 **Paper 07〈局部完成、可重開研究與跨領域擴張〉**，適合以整體第一輪驗收、尚未解決的問題、相容性地圖與未來實驗階梯為主。它應是第一輪的局部收束而非宇宙本體的終局結論。

**最終限制：本篇目前不存在任何已驗證的通用無限維實體計算、AI 權重訓練、可自行授權寫入、物理本體證明或硬體加速優勢。**

---

# 附錄 A｜完整源與驗收入口

- `README.md`：環境、示例與執行方式。
- `docs/UPSTREAM_PINS.json`：上游參考程式及原稿的逐位元組釘選。
- `docs/CLAIM_LEDGER.md`：已實作／已測／候選／未完成主張分級。
- `docs/API_CONTRACT.md`：請求、回應、來源、能力、錯誤代碼及限制。
- `docs/LOCAL_HANDOFF.md`：未來本地 Agent 交接和 GitHub 發布前檢查。
- `schemas/*.schema.json`：JSON Schema 2020-12。
- `examples/requests` 及 `examples/responses`：相同輸入的固定收據。
- `examples/benchmark_summary.json`：Paper 05 完整 16 世界基準重播。
- `previews`：直接由實驗數據生成的圖。
- `tests`：單元、相容性、負面拒絕、反事實與重播測試。
- `scripts/validate_release.py`：格式、來源、Schema、收據及全新目錄重播。
- `MANIFEST.sha256`：研究包內所有受稽核檔案的 byte hash。

# 附錄 B｜相關既有研究來源（研究身份與權限分離）

- TCGQT-AMOCF v0.1：多尺度觀察與操作單元研究設計（2026-10-31）。
- TCGQT-AMOCF v0.2：查詢相對鏡頭、操作域與 M0 合規測試設計（2026-10-31）。
- TCGCT–TCGQT 多尺度計算橋接契約 v0.1（2026-10-31）。
- TCGQT-AMOCF × XOST Papers 00–05 的正式 UTF-8 Markdown 原稿與各自有限測試報告。
- 本包逐位元組保存的 P02／P04／P05 原始研究稿和相容參考模組。

**發布狀態：**本篇是研究草稿，尚未對外投稿；本輪沒有 GitHub 推送、沒有建立授權宣告、沒有覆寫先前 canonical source。聊天渲染不構成正式原稿，UTF-8 Markdown bytes 才是提交前的唯一數學來源。
