---
title: "TCGQT-AMOCF × XOST｜Paper 01：無限維真假場的基本型別、座標與最小 IR"
english_title: "Open-Dimensional Truth–False Fields: Typed Coordinates, Evidence States, Partial Orders, and a Minimal Intermediate Representation"
series: "TCGQT-AMOCF × XOST：無限維真假場與異質進位計算系列"
series_id: "TCGQT-AMOCF-XOST"
paper_id: "TCGQT-AMOCF-XOST-01"
version: "v0.1"
date: "2026-11-01"
language: "zh-TW"
organization: "EveMissLab／一言諾科技有限公司"
author: "Neo.K（研究方向、歷史理論與核心立場）／GPT-6（分型、草稿、有限參考程式與驗收）"
status: "CANONICAL UTF-8 RESEARCH DRAFT — BOUNDED FORMAL/PROGRAM TESTS; NO PHYSICS OR AI TRAINING CLAIM"
canonical_source: "UTF-8 Markdown"
math_source_rule: "inline $...$ ; display $$...$$; sole canonical delimiter"
predecessor: "TCGQT-AMOCF-XOST-00"
next_candidate: "TCGQT-AMOCF-XOST-02 — Heterogeneous Radix Domains"
---

# 無限維真假場的基本型別、座標與最小 IR

## 開放維度、證據支持、未知狀態、異質測度與相對觀察的有限可執行入口

### Open-Dimensional Truth–False Fields: Typed Coordinates, Evidence States, Partial Orders, and a Minimal Intermediate Representation

**系列：** TCGQT-AMOCF × XOST：無限維真假場與異質進位計算系列  
**篇次：** Paper 01 / 研究草稿 v0.1  
**研究型別：** 計算表示／認識論型別／有限形式構造／異質測度／AI 原生可操作資料結構  
**局部完成狀態：** 已提供有限人工資料的可執行 IR、測試、Schema、SVG 及圖形重播；未宣稱自然本體、無限維實體計算或真實 AI 學習已獲驗證。

---

**作者：** Neo.K（研究方向、歷史理論與核心立場）／GPT-6（分型、草稿、有限參考程式與驗收）  
**機構：** EveMissLab／一言諾科技有限公司  
**日期：** 2026-11-01  
**版本：** v0.1  

## 摘要

本系列 Paper 00 已建立基本立場：二進位是成熟且重要的工程實現，但「可以用二進位編碼」並不推出「被編碼對象的完整真值、存在、認識、觀察與作用結構都只有 0 和 1」。本文把這個立場推進成一種**有型別的、有限活躍的開放維度真假場中介表示**（Typed Open-Dimensional Truth–False Field IR，以下簡稱 TF-Field IR）。

本文並不嘗試直接為宇宙指定一個全域真值函數，也不將支持／反駁、真假對應、可信度、作用效果、測量尺度及不可知狀態壓為同一個數。對任何一份由已知來源構造的局部研究對象，先給出觀察座標、維度測度合約與型別；再保存資料是否已觀測、觀測後的數值或證據支持、來源指標及操作權限。不同維度可以使用支持對、比例、區間、帶號描述性差值、序數類別及名義類別，不要求有共同的加法、大小或單位。

為了避免「未見到資料」被偷換成「已確認沒有證據」，本文區分至少三種觀測狀態：`OBSERVED`、`UNKNOWN`、`NOT_APPLICABLE`；只有 `OBSERVED` 才能攜帶該維度的值。即使在觀測狀態內，四種支持對 `NEITHER`、`SUPPORT_ONLY`、`REFUTE_ONLY`、`BOTH` 也不是物理真值，而是特定證據帳本的支持型別。本篇只引入同一判定域內的支持併合（布林逐分量或運算），不宣稱因此完成完整的多值邏輯推論系統。

本文構造三個人工案例，在「覆蓋率」與「重播穩定代理值」兩個明示比例測度上，展示偏序中的嚴格優越與不可比較；在新維度追加實驗中，展示**維度可以先被定義，但尚未被量測**；在 AMOCF 式只讀鏡頭中，展示相同來源和相同場雜湊能產生不同的有限觀察視圖。最後，以前篇所使用的有限混合進位 `(2,3,5)` 與 `(3,2,5)` 做獨立數值保持對照，確立**位值編碼契約不等於真假場語義契約**。

可執行範圍涵蓋 Python 參考實作、JSON Schema 2020-12 結構驗收、負例拒絕、版本／雜湊收據、三種 SVG／PNG 視覺化。所有資料均為構造案例；本文的成果是型別架構可表達、可檢驗、可重播，並不是對自然宇宙「無限維真假場」已存在的物理證明。

**關鍵詞：** Truth–False Field、異質測度、Belnap–Dunn 式支持對、未知與不適用、偏序、不可通約、開放維度、TCGQT、AMOCF、XOST、來源版本、Typed IR、人工世界、反二元本質化。

---

# 0. 來源、研究立場與命題分級

## 0.1 承接與不承接

本篇直接承接：

- 前篇 Paper 00 的五層分離：物理實作 $P$ 、資料編碼 $E$ 、位值運算 $R$ 、判定語義 $J$ 、觀察與操作 $L$。
- XOST Paper 01 的存在實現／內容對應／作用分型。
- XOST Paper 02 的開放維度與異質測度合約，以及 XOST Paper 03 的投影與歷史不可逆性。
- TCGQT-AMOCF v0.2 的來源權威、鏡頭 overlay、多尺度群組、操作權限與確定性來源版本限制。
- TCGCT／TCGQT 的精確數值與多進位觀察之分工；本篇不重建其原生混合進位核心。

本篇**不**沿用早期《多維真與假》（MTF）中「微觀所有判定必然二元」作為新系列的母公理。其歷史模型可被比較、映射及研究，但不能免審查地變成當代形式基底。

## 0.2 五種主張地位

| 標籤 | 本文使用方式 |
|---|---|
| `[SRC]` | 來自既有研究與可查外部基礎的概念，保留其原有適用域 |
| `[DEF]` | 本篇提出的工程／研究工作性定義，不預設自然界必然採用 |
| `[PROP]` | 由明確前提可以推導的有限數學命題或反例 |
| `[DEMO]` | 人工資料及可重播程式觀測，不等於物理實驗 |
| `[OPEN]` | 仍需理論、實驗、跨域證據或硬體驗證的問題 |

## 0.3 不得擅自提升的主張

1. `CONSTRUCTED` 來源表示有一個已構造的資料檔案，不表示模型描述自然界已成立。
2. 有型別表示成功不等於資訊完整、無損、真實、可信或有普遍作用能力。
3. 兩個 bit 無損編碼四種支持狀態，不等於四種證據狀態必須使用二元本體。
4. 「同時有支持與反駁」不是經典邏輯下兩個相矛盾命題都已被證明為真。
5. 場維度可擴充，不表示已實際儲存或運算無限多個維度。
6. 同源的不同觀察視圖，不能被當成不同權威來源，也不能直接取得寫入權。
7. 本篇的 `SIGNED_EFFECT` 只是人工前後差值，不是已辨識的因果效應。
8. 高維資料圖像及偏序比較，不代表 XOST 具有普遍性能優勢。

---

# 1. 為什麼不直接把所有值寫成一個「真度」？

考慮一份人工生成資料 $d$。它可以同時具有下列性質：

- 被確實生成、保存與重播；
- 在原始模擬世界具有良好模型符合度；
- 在另一個世界的對應程度未知；
- 被某個 AI／演算法讀過，但尚不知是否改變其策略；
- 對某個輸出指標具有描述性差異；
- 關於「應如何分類」仍有相反證據。

如果把它投影成一個數 $T(d)=0.73$，則必須先回答： $0.73$ 是正確率、信心、對應比例、影響程度、風險、價值，還是某種人工加權總分？

如果這些問題沒有答案，數值本身並未形成合法測度。更重要的是，同一個對象可能在兩個合法測度上互有優劣。硬把它們加總並不會自動產生唯一、無條件正確的比較次序。

本文因此建立：

$$
\mathrm{Measurable}(x,\alpha,c)
\not\Rightarrow
\mathrm{Commensurable}(x,\alpha,\beta,c).
$$

這是**方法論區分**：某維度可在指定契約下被測度，不代表它和另一維度具有同一尺度，也不代表兩者存在自然而然的總分。

---

# 2. [DEF] 局部座標與觀察條件

## 2.1 場座標

定義一個有限研究快照的座標：

$$
\chi=(x,p,c,t,o,r),
$$

其中：

- $x$：被研究對象的明確身份；
- $p$：正在評估的命題／問題身份；
- $c$：參照世界、任務及判定域；
- $t$：時間或案例內的狀態標籤；
- $o$：觀察者或測量／分析器身份；
- $r$：來源與規則所使用的版本。

此座標不宣稱所有觀察者必須是有意識主體。它只提供資料來源、模型及操作對象的區分位置。

## 2.2 座標不是單一數值位置

同一個 $x$ 可以在不同 $p$ 、 $c$ 、 $t$ 或 $o$ 下得到不同的觀察結果。這可能是參照範圍不同、測量政策改變、來源資料修改，也可能是觀察誤差，不能直接稱為「真理本身改變」。

因此任何跨座標比較：

$$
\chi_a\rightarrow\chi_b
$$

必須檢查哪些欄位同一、哪些改版、哪些需要外部轉移依據。Paper 01 的可執行比較器採取保守策略：只在命題、參照域、時間與觀察者一致、且測度合約完全相容時，提供局部比例測度的偏序比較。

---

# 3. [DEF] 不預設固定全域維度數

## 3.1 開放維度索引族

對座標 $\chi$，定義候選維度索引族：

$$
A_\chi=\{\alpha_1,\alpha_2,\ldots\}.
$$

本篇**不要求**該族在自然界中已被證明具有無限基數；這裡的「開放維度」表示設計上不把一套固定的、宇宙級的欄位清單當作全部可能維度。

某一輪真實運算使用：

$$
A_{\chi}^{\mathrm{active}}\subseteq A_\chi,
\qquad |A_{\chi}^{\mathrm{active}}|<\infty.
$$

其有限活躍範圍與硬體及任務預算有關。參考實作 v0.1 人為設置最多 256 個活躍維度作為驗收護欄，並不是理論上的全域上限。

## 3.2 維度的有型別合約

每個維度記錄：

$$
D_\alpha=(id_\alpha,k_\alpha,r_\alpha,u_\alpha,s_\alpha,v_\alpha),
$$

其中：

- $id_\alpha$：穩定識別符；
- $k_\alpha$：值域型別；
- $r_\alpha$：解釋角色，例如證據支持、模型符合度、描述性輸出差值；
- $u_\alpha$：單位或標記單位；
- $s_\alpha$：允許比較的作用域；
- $v_\alpha$：測度／解釋政策版本。

例如 `operation.risk` 可以是序數類別 `low < medium < high`，但這**沒有**授權執行 `high / low` 或將 `high` 當作真理權重 3。

## 3.3 未註冊與未知不能混為一談

若 $\alpha\notin A_{\chi}^{\mathrm{active}}$，表示當前場規格**尚未註冊這個維度**。若 $\alpha\in A_{\chi}^{\mathrm{active}}$ 但資料尚未取得，才可將該維度標為 `UNKNOWN`。

因此：

$$
\alpha\notin A_{\chi}^{\mathrm{active}}
\quad\neq\quad
\bigl(\alpha\in A_{\chi}^{\mathrm{active}}\land o_\alpha=\mathrm{UNKNOWN}\bigr).
$$

這是後續維度自動發現、版本修訂和反身式研究非常重要的界線。

---

# 4. [DEF] 真假場的觀測狀態

## 4.1 最低狀態

定義：

$$
O_\alpha\in\{\mathrm{OBSERVED},\mathrm{UNKNOWN},\mathrm{NOT\_APPLICABLE}\}.
$$

- `OBSERVED`：按照指定量測／證據政策確實有一份合法值；此處「確實」只就記錄程序而言，仍可能是人工資料或錯誤量測。
- `UNKNOWN`：維度已知，但目前缺少可用資料或合法讀取依據。
- `NOT_APPLICABLE`：該維度在這個對象、條件或版本下不具定義，而不是暫時沒查到。

在編碼中：

$$
O_\alpha\neq\mathrm{OBSERVED}
\quad\Rightarrow\quad
v_\alpha\text{ 不得出現}.
$$

此規則防止把缺測值無聲補為 0，也防止當前查不到資料時被冒稱「已觀測且未發現正向支持」。

## 4.2 `NEITHER` 不等於 `UNKNOWN`

對某一個明示的證據帳本，若已完成資料觀察，而正、反向支持標記皆未成立，得到 `OBSERVED` + `NEITHER`。

若整份帳本尚未被讀取，則應是 `UNKNOWN`，而不是 `NEITHER`。二者對未來 AI 的行動指示不同：前者可能需要新的反例、額外實驗；後者甚至尚未完成最低限度的來源觀察。

## 4.3 實測零也不是未知

例如本篇人工案例 B 的 `output.delta = 0.00` 是明確存在的值。案例 C 的同一欄標為 `NOT_APPLICABLE`，因此二者不可在沒有新假設下合併。

「測得零」「未知」「不適用」「未註冊」至少是四個不同的研究狀態。

---

# 5. [DEF] 證據支持對的有限代數

## 5.1 兩個支持標記

承接 Paper 00，對局部命題 $p$，考慮：

$$
S(p)=(e^+(p),e^-(p)),
\qquad e^+,e^-\in\{0,1\}.
$$

此處兩個分量是**支持的存在性標記**，不是「宇宙的兩個原始真值粒子」，也不是固定進位基底。

| 支持對 | 記錄狀態 | 不能直接推出的事情 |
|---|---|---|
| $(0,0)$ | `NEITHER` | 未來不可能找到任何證據 |
| $(1,0)$ | `SUPPORT_ONLY` | 命題在所有世界必然為真 |
| $(0,1)$ | `REFUTE_ONLY` | 命題在任何合法修訂中都無意義 |
| $(1,1)$ | `BOTH` | 經典邏輯可因此推出任意命題 |

這類結構與 Belnap–Dunn 證據語義有可辨識的關係；本篇只建立資料型別，不聲稱已建成其全部連接詞、後承關係或完整證明系統。

## 5.2 [DEF] 相同判定域內的支持併合

對兩份**已經觀測**、且指向**同一命題、同一證據解釋政策**的支持對，定義：

$$
(a,b)\sqcup(c,d)=(a\lor c,b\lor d).
$$

其作用是保留是否出現過正向與反向支持，而非直接計算兩份來源共同的真值。

程式中 `support_join` 只是對兩個支持值的最小代數操作；呼叫者須先確定外部來源、命題和政策的對齊。**不能把不同命題的支持對直接合成為一個命題的證據。**

## 5.3 [PROP] 支持併合的三項有限性質

由布林 `OR` 的結合律、交換律與冪等律可知：

$$
S_1\sqcup S_2=S_2\sqcup S_1,
$$

$$
(S_1\sqcup S_2)\sqcup S_3=S_1\sqcup(S_2\sqcup S_3),
$$

$$
S\sqcup S=S.
$$

這是四支持狀態有限集合上的已知代數結構，不構成新邏輯定理。本文的程式測試遍歷所有四狀態組合及其三元組合，確認實作遵循此有限規則。

## 5.4 [PROP] 支持衝突不會因併合自動消失

令：

$$
S_1=(1,0),\qquad S_2=(0,1).
$$

則：

$$
S_1\sqcup S_2=(1,1).
$$

若程式把這個結果直接解釋成單一 `True` 或 `False`，就已經另外施加了某種可能有損的決策政策。該政策必須被記錄，不是證據合併的自然結果。

---

# 6. [DEF] 六種最低測度型別

本輪設計不是將所有異質測度都歸納為六種，而是先提供可以被嚴格驗收的最小有限子集。

| 型別 | 範例 | 合法的最低運算 | 不得無證據進行 |
|---|---|---|---|
| `SUPPORT_PAIR` | 支持／反駁標記 | 同命題條件下併合 | 當作實在真值或因果概率 |
| `RATIO` | 案例覆蓋率 | 比較、有限比例運算 | 把數值直接叫作真度 |
| `INTERVAL` | 人工模型符合度區間 | 端點比較、區間包含 | 沒有分布模型就叫置信區間 |
| `SIGNED_EFFECT` | 人工輸出前後差值 | 相同單位下的差值 | 當作已辨識的因果效果 |
| `ORDINAL` | 低／中／高 | 次序比較 | 乘除、比率、自然等距加總 |
| `NOMINAL` | 來源類別 | 同類與異類 | 大小與倍數比較 |

本輪比例與區間使用十進位**字串**承載有限精度數值，以免 JSON 浮點重新序列化造成不必要的位元差異。這是編碼政策，不宣稱十進位字串比二進位浮點本體更真。

## 6.1 測度契約與運算前置條件

`RATIO` 值域被本篇有限示例限制在 `[0,1]`；`INTERVAL` 使用兩端均在 `[0,1]`、且下端不高於上端的區間。`SIGNED_EFFECT` 不被限制為正數，因為描述性變化可以為零或負。

跨資料比較時，不只要對齊數字，還必須對齊：

$$
\mathrm{CompareContract}=(id,k,r,u,s,v).
$$

如果只是數字相等，但角色、單位、尺度或版本不同，不能直接視為測度等價。

---

# 7. [DEF] 最小 TF-Field IR

## 7.1 封裝與型別

定義快照中的有限活躍場：

$$
\mathfrak F_\chi
=\bigl\{(D_\alpha,O_\alpha,V_\alpha,\Pi_\alpha)\bigr\}_{\alpha\in A_\chi^{\mathrm{active}}},
$$

其中 $D_\alpha$ 是維度測度合約、 $O_\alpha$ 是觀測狀態、 $V_\alpha$ 是有值時才存在的型別化資料、 $\Pi_\alpha$ 是來源參照族。

此式是**研究用資料結構**。它不假設數值、圖、語言和物理場在未經映射的條件下可無損互相轉換。

在程式中，每個場包含：

- `schema`、`field_id`、`revision`、`registry_revision`；
- 來源類別、來源版本、位元組 SHA-256 與聲明性的 authority；
- 對象、命題、參照域、時間及觀察者座標；
- 維度登錄表 `dimensions`；
- 逐維觀測 `observations`；
- 前一個版本內容雜湊 `parent_sha256`（若有）；
- 本版 canonical JSON 內容雜湊 `content_sha256`。

所有 `OBSERVED` 的值必須符合對應維度的型別。`UNKNOWN` 與 `NOT_APPLICABLE` 只記錄原因及來源，不允許藏入零或任意數值。

## 7.2 最小有效例

以下為欄位形狀示例，非完整檔案；完整可驗收 JSON 位於 `examples/field_r0_case-a.json`。

```json
{
  "dimension_id": "evidence.support",
  "status": "OBSERVED",
  "value": {"for": true, "against": true},
  "provenance_refs": ["constructed:seed:case-a:evidence.support"]
}
```

`for`、`against` 是證據支持標記。這份紀錄的存在不能當作命題內容已由自然世界證實。

## 7.3 最小未知例

```json
{
  "dimension_id": "latent.unobserved",
  "status": "UNKNOWN",
  "reason": "no_measurement_available",
  "provenance_refs": ["constructed:seed:case-a:latent.unobserved"]
}
```

把此紀錄改成 `value: 0`，即使其他欄位不變，也構成不合法的型別改寫。

## 7.4 來源與內文雜湊

來源 `source.sha256` 綁定本篇的 `synthetic_world_seed.json` **實際檔案位元組**；`content_sha256` 則是移除雜湊欄位後，對序列化為 sorted-key canonical JSON 的資料結構計算的摘要。二者意義不同。

SHA-256 能檢查相同內容或發現意外修改，但若沒有可信外部簽章、時間與授權證據，不能推出資料產生者身份或不可回滾性。

---

# 8. [PROP] 單一二值投影不能保留所有支持與觀測狀態

在本篇，四個已觀測支持狀態可用兩個 bit 無損編碼：

$$
\{0,1\}^{2}\longleftrightarrow
\{\mathrm{NEITHER},\mathrm{SUPPORT\_ONLY},\mathrm{REFUTE\_ONLY},\mathrm{BOTH}\}.
$$

但若還要分別保留 `UNKNOWN` 及 `NOT_APPLICABLE`，便至少出現六個彼此不同的局部狀態。由有限集合基數：

$$
6>4>2,
$$

可知一個 bit 不可能單射地保存六態，兩個 bit 也不可能保存全部六態。至少需要另外的標記或更大的編碼空間；使用三個 bit 當然可以提供八種可區分碼位。

**這不反對二進位。** 這個命題恰恰展示了二進位透過足夠的位元及明確解碼政策，可以承載更複雜的觀測型別；但**位元數量不是命題本體的真值個數**。

---

# 9. [PROP] 偏序不可比較不能由無聲總分保留

## 9.1 人工案例

從 `synthetic_world_seed.json` 取得三組人工比例值：

| 案例 | 資料覆蓋率 | 重播穩定代理值 |
|---|---:|---:|
| A | 0.82 | 0.42 |
| B | 0.58 | 0.79 |
| C | 0.71 | 0.84 |

定義只在兩個合約相同的比例維度上比較的乘積偏序：

$$
(x_1,x_2)\succeq(y_1,y_2)
\iff x_1\geq y_1\land x_2\geq y_2.
$$

則 C 支配 B，因為兩個座標都嚴格較高；但 A 與 B 互有優劣，因此不可比較。A 與 C 同理不可比較。

這是特定兩個人工指標上的偏序結果，**不代表 C 在全部科學、倫理或工程目的下絕對優於 B**。

## 9.2 [PROP] 不可比較性不能與實數自然全序同構

在包含 A、B 的上述偏序上，若存在保持並反映偏序關係的映射 $f$，且其目標是實數的一般全序，則實數中必定有：

$$
f(A)\leq f(B)\quad\lor\quad f(B)\leq f(A).
$$

若此映射同時反映原偏序，就必須有 $A\preceq B$ 或 $B\preceq A$，與二者不可比較矛盾。故**不能**在完全保持原偏序可比性結構的要求下，把它同構成單一實數的通常全序。

這不意味不能設計某個任務加權分數；只表示**加權、字典序或其他線性排序需要額外明示政策，不能冒稱原偏序自然含有那個總排名**。

## 9.3 缺測不是偏序的不可比較

當兩個對象的兩項指標均已知，而彼此互有優劣，輸出 `INCOMPARABLE`。

當指定指標中有一項根本未知或不適用，則返回 `UNDETERMINED`，而不是假裝數值已知後得出的不可比較。這兩種狀態對研究規劃的下一步不同。

---

# 10. [DEF] 維度追加的不可靜默規則

## 10.1 從 `r0` 到 `r1`

對人工案例 A，添加新維度：

```text
candidate.new_projection
kind: RATIO
role: UNTESTED_CANDIDATE
status at creation: UNKNOWN
```

其含義是：研究者提出一個新的可問或可測度方向，但目前尚未有合法資料填入。**不能因為維度已經命名，就宣稱 AI 已經學會量測它。**

## 10.2 [DEF] 追加而非重寫

設：

$$
A_{r_1}^{\mathrm{active}}=A_{r_0}^{\mathrm{active}}\cup\{\alpha_{\mathrm{new}}\}.
$$

追加操作的最低契約為：

- 原有維度與觀測內容保持位元等價；
- 原來源版本及來源雜湊不變；
- 新維度的初始狀態是 `UNKNOWN`；
- 新舊場各有自己的內容 SHA-256；
- 新場指向舊場雜湊，並有獨立事件收據；
- 未附合格證據時，禁止將舊指標重新命名為新指標後冒稱已完成測度。

## 10.3 [PROP] 追加的局部歷史保持

若操作遵守上述複製／追加合約，則所有舊維度的觀測紀錄可從新版本中按其原序列精確恢復。這只是由資料結構及操作定義保證的性質；若之後允許拆分、合併、刪除或語義改版，必須另建轉移見證，不能套用本篇追加命題。

本篇參考程式對改寫舊觀測、變動來源、雜湊不一致或偽造收據均執行拒絕測試。

---

# 11. [DEF] AMOCF 式雙鏡頭

## 11.1 觀察視圖是派生 overlay

針對同一份人工案例 A，建立兩個唯讀鏡頭：

- `macro.coverage`：證據支持、覆蓋率及重播穩定代理值。
- `micro.effect`：證據支持、描述性輸出差值及風險類別。

兩個鏡頭都綁定完全相同的來源 SHA-256 與完整場內容 SHA-256；但選取的維度不同，所以視圖本身的內容雜湊不同。

$$
\mathrm{SourceHash}(V_1)=\mathrm{SourceHash}(V_2),
$$

$$
V_1\neq V_2.
$$

這兩件事可以同時成立，並非矛盾。

## 11.2 完整性不是觀察者的主觀宣稱

兩個鏡頭各只選出八個活躍維度中的三個。其 `omitted_dimension_count=5`，且 `exhaustive=false`。如若把視圖標記改成完全涵蓋所有維度，即使重新計算本地內容雜湊，仍必須因宣告不實而被拒絕。

## 11.3 來源舊版與授權

若來源 SHA-256 不符合預期，停止展開；若視圖被手動變更成可寫入，拒絕其權限宣告。本篇鏡頭只是從固定場中取出有限資料，沒有接入 EML-ADDR、HDSRC 或任何真實外部資料庫的受權寫入。

這是 AMOCF 概念的**小型、獨立、唯讀技術見證**，不是聲稱已有完整的 AMOCF v0.2 runtime。

---

# 12. [DEF] 與進位契約的最小接點

本篇從 Paper 00 的原始 Python 參考實作以**逐位元組未改動的副本**載入有限 `MixedRadix` 類型，檢查：

$$
\mathrm{Val}_{(2,3,5)}(1,2,4)
=29
=\mathrm{Val}_{(3,2,5)}(2,1,4).
$$

這個驗證與證據支持類型的四態表示無關。兩者可以共同存在於一個研究封包，但**不能**將四種支持標記直接稱為「四進位真理」，也不能把精確混合進位數值相等直接推成兩個觀察場語義完全相同。

TCGCT 原生進位／帶號分數算術的更廣泛課題保留給 Paper 02；本篇只提供有限值保持的回歸連接點。

---

# 13. 參考實作、測試與工程邊界

## 13.1 代碼分工

| 檔案 | 角色 |
|---|---|
| `src/field_ir.py` | 有型別驗證、來源及內容雜湊、追加收據、支持併合、偏序比較、只讀鏡頭 |
| `src/example_factory.py` | 將固定人工來源生成三個場案例與同源雙鏡頭 |
| `src/field_renderer.py` | 從有限場生成帶明確註記的 SVG 視圖 |
| `upstream/paper00/typed_radix_field.py` | 未編輯的前篇混合進位參考實作副本 |
| `schemas/field.json` | IR 外觀及局部狀態的 JSON Schema 2020-12 |
| `schemas/view.json` | 唯讀觀察鏡頭的 JSON Schema |
| `schemas/dimension_add.json` | 追加維度收據的 JSON Schema |
| `examples/synthetic_world_seed.json` | 人為構造世界的原始輸入 |
| `tests/` | 正面、反例、重播、來源及型別拒絕測試 |

## 13.2 Schema 與 Python 驗證職責分開

JSON Schema 負責欄位結構、必要性、類別與合法局部值型別等檢查。Python 參考驗證器負責跨 `dimensions` 和 `observations` 的動態 ID 對齊、測度政策一致性、數值範圍、雜湊，以及視圖與來源的關聯條件。**通過一份結構 Schema 不能替代所有跨紀錄語義驗證。**

## 13.3 最小重播

```bash
python -m unittest discover -s tests -v
python -m scripts.demo
python scripts/validate_release.py
```

執行 `scripts.demo` 會依固定 JSON seed 重新生成三份 `r0` 場、追加維度的 `r1` 場、雙鏡頭、收據、合成比較結果及三組 SVG。若安裝 CairoSVG，還會輸出 PNG 預覽。此程式不下載外部資料、不呼叫 AI 模型，也不修改任何第三方儲存庫。

## 13.4 人工實驗規模

- **3** 個人工案例；
- **8** 個初始活躍維度；
- **1** 項追加候選維度（初值 UNKNOWN）；
- **2** 個相同來源、不同作用域的唯讀鏡頭；
- **3** 項成對偏序比較；
- **3** 組 SVG／PNG 視覺示例；
- 程式測試與具體通過數量，以封裝內的 `evidence/VALIDATION_REPORT.md` 為準。

這些是人工輸入的有限合約測試，不是人類或 AI 真實知識更新的測量樣本。

---

# 14. 驗證結果如何解讀

本篇可被局部驗證的成果包含：

1. 場資料在本地合約下具有明確型別與座標，且能拒絕非法輸入；
2. `UNKNOWN`、`NOT_APPLICABLE`、實測零和已觀測 `NEITHER` 具有不同合法表示；
3. 支持併合的有限代數性質與反例可重播；
4. 人工比例測度可以保留偏序不可比較，而不自動構造普遍總分；
5. 新增維度的歷史版本不必重寫舊觀測；
6. 同一來源可在不同只讀鏡頭中產生不同視圖，並保留原始場權威；
7. 精確 radix 轉碼與高層語義型別可以共存而不相等；
8. SVG 所顯示的數字與狀態能回溯至固定人工來源。

本篇尚未驗證：無限維自然真假場的存在、AI 的自主維度發現、自然物理對應、通用模型效能優勢、真正的多值硬體或 TCGQT-AMOCF 正式 runtime 整合。

---

# 15. 四個容易被誤判的研究邊界

## 15.1 「有更多可編碼狀態」不是「有更真實的本體論」

二值系統可以用多個 bit 編碼大量離散結構。四態、六態乃至連續近似的資料結構可運作，不代表已經發現自然宇宙的底層態數量。

## 15.2 「不同資料不能比較」不是「永遠不能建立比較方法」

在特定任務、測度及已宣告的政策下，可以產生比較分數甚至完整排名。但若該排序不保留原偏序中的不可比較關係，就必須把它明示為新的**決策投影**。

## 15.3 「可以定義未知」不是「未知已經被量化完成」

本篇的 `UNKNOWN` 能保留知識缺口的位置及原因；它不會憑空提供未知狀態的真值、機率分布或物理量。開放維度是研究空間，不是已完成量測的空間。

## 15.4 「畫得出來」不是「推理已成立」

本篇 SVG 可以顯示支持對、人工區間、比例和缺測區域；它們首先證明的是編碼、型別、展示與部分操作合約的可實行性，不能推論演算法已發現自然規律。後續渲染系列可以使用這份 IR，但必須透過版本化 adapter 及來源證明。

---

# 16. 後續問題與 Paper 02 的接口

下一篇《異質進位域：局部基底、可變基數與混合表示》可直接重用本篇場座標、測度型別、未知狀態、來源與鏡頭合約，但必須新增自己的精確數值、表示、轉碼及運算契約。

**[OPEN-1]** 如何在不丟棄原位值身份的條件下，將數值載體接入不同 radix profile？

**[OPEN-2]** 哪些測度可做 exact re-encoding，哪些只能建立帶明示誤差界的投影？

**[OPEN-3]** 進位策略、觀察鏡頭和真值測度是否可能由同一個 AI 自主提出候選，但又不互相混成單一權威？

**[OPEN-4]** 不同 radix 及表示是否真的降低某些人工世界／AI 任務的端到端成本？需公平實測，而不是用位數變少當作速度證明。

**[OPEN-5]** 在 X 階反身性下，AI 閱讀並修改測度規則後，如何保留舊場、舊結論、舊視圖及轉移見證？

**[OPEN-6]** 如何從有限活躍集合擴張到更一般的可數、非可數、非拓撲或圖式維度，並建立相應的可計算性條件？

---

# 17. 來源定位

內部來源的名稱、時間與角色以下列既有檔案及 Git 版本為準；引用研究稿不代表每個命題已被外部同行驗證。

1. **本系列 Paper 00**：`TCGQT_AMOCF_XOST_Paper00_From_Binary_Truth_to_Infinite_Dimensional_Truth_False_Fields_v0.1_2026-11-01.md`；其參考程式作為未編輯的來源副本納入本篇封包。
2. **XOST Paper 01**：`XOST_Paper01_Typed_Realization_Correspondence_and_Effects_v0.1_2026-10-31.md`。
3. **XOST Paper 02**：`XOST_Paper02_Open_Dimensions_Heterogeneous_Measures_and_Incommensurable_Tension_v0.1_2026-10-31.md`。
4. **XOST Paper 03**：`XOST_Paper03_Infinite_Dimensional_Reflexive_Tension_and_Dynamic_Projection_v0.1_2026-10-31.md`。
5. **TCGCT README**：`https://github.com/kakon77777-commits/TCGCT/blob/main/README.md`；精確有限算術與表示研究脈絡。
6. **TCGQT README**：`https://github.com/kakon77777-commits/TCGQT/blob/main/README.md`；獨立數值驗證及觀察器分工。
7. **TCGQT-AMOCF v0.1**：`https://github.com/kakon77777-commits/TCGQT/blob/main/docs/papers/TCGQT_Adaptive_Multiscale_Observer_Compute_Format_v0.1_DRAFT_2026-10-31.md`。
8. **TCGQT-AMOCF v0.2**：`https://github.com/kakon77777-commits/TCGQT/blob/main/docs/papers/TCGQT_AMOCF_v0.2_Query_Relative_Lens_and_Operation_Domain_DRAFT_2026-10-31.md`。
9. **XOST-TM-STR Paper 06**：`XOST_TM_STR_Paper06_Capability_Engine_API_and_Cross_Technology_Mapping_v0.1_2026-11-01.md`；後續渲染 adapter 的候選接口。
10. **Many-Valued Logic**, *Stanford Encyclopedia of Philosophy*, 2026-09-29 修訂版：`https://plato.stanford.edu/entries/logic-manyvalued/`，尤其 Belnap–Dunn 的多資訊來源與不完整／衝突證據語義。
11. **Stevens, S. S. (1946)**，*On the Theory of Scales of Measurement*, *Science* 103(2684): 677–680，`https://doi.org/10.1126/science.103.2684.677`；名義、序數、區間及比率測度分離之歷史基礎。
12. **Stanford AI Measurement Science**, Chapter 3, `https://aims.stanford.edu/textbook/src/chap3.html`；數值外觀不等於合法測度尺度及運算的當代研究說明。

本篇封包 `docs/SOURCE_MAP.json` 保存已核對來源的 SHA-256 或 Git blob SHA（可得時）。這些是**來源定位與完整性參照**，不是第三方簽署的研究正確性證書。

---

# 18. 結語：使真假場可運算，不把真假場當成終極裁決器

本文並不要求將現代計算機的 0/1 推翻；相反，我們要把它放回真正重要的位置：它是有用的編碼、運算及硬體實現選項，而不是被賦予對其他真值型別、異質測度與自然本體的無條件定義權。

在這套最低 IR 中，研究者和 AI 可以明確看到：某項資料確實被構造，但它未必對現實有獨立對應；某個命題有正反兩向支持，但不能因此產生任意推論；某項結果已觀測為零，但這不表示所有缺測都是零；某兩項技術在多個維度上互有優劣，不必因缺少總排名就判定研究失敗。

**有限完成不是全域封閉。** 現階段完成的是可擴展、可驗證、可重播的型別化場原型。新維度可以被提出，但必須坦率保留未知、來源版本、合法觀察鏡頭與尚未完成的轉移義務。

下一輪可以把這個已明確分型的場接入真正的異質進位運算，而不必再把「0/1 能編碼萬物」誤寫成「萬物的真、假及作用只能具有 0/1 的本體」。

**研究承諾：允許多種計算表示，保留被表示者的差異；讓技術能夠接受驗證，而不讓技術實作對宇宙本體僭越發言。**