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 不得擅自提升的主張

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

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

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

7.3 最小未知例

{
  "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，添加新維度：

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 最小重播

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. 驗證結果如何解讀

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

場資料在本地合約下具有明確型別與座標，且能拒絕非法輸入；
UNKNOWN、NOT_APPLICABLE、實測零和已觀測 NEITHER 具有不同合法表示；
支持併合的有限代數性質與反例可重播；
人工比例測度可以保留偏序不可比較，而不自動構造普遍總分；
新增維度的歷史版本不必重寫舊觀測；
同一來源可在不同只讀鏡頭中產生不同視圖，並保留原始場權威；
精確 radix 轉碼與高層語義型別可以共存而不相等；
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 版本為準；引用研究稿不代表每個命題已被外部同行驗證。

本系列 Paper 00：TCGQT_AMOCF_XOST_Paper00_From_Binary_Truth_to_Infinite_Dimensional_Truth_False_Fields_v0.1_2026-11-01.md；其參考程式作為未編輯的來源副本納入本篇封包。
XOST Paper 01：XOST_Paper01_Typed_Realization_Correspondence_and_Effects_v0.1_2026-10-31.md。
XOST Paper 02：XOST_Paper02_Open_Dimensions_Heterogeneous_Measures_and_Incommensurable_Tension_v0.1_2026-10-31.md。
XOST Paper 03：XOST_Paper03_Infinite_Dimensional_Reflexive_Tension_and_Dynamic_Projection_v0.1_2026-10-31.md。
TCGCT README：https://github.com/kakon77777-commits/TCGCT/blob/main/README.md；精確有限算術與表示研究脈絡。
TCGQT README：https://github.com/kakon77777-commits/TCGQT/blob/main/README.md；獨立數值驗證及觀察器分工。
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。
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。
XOST-TM-STR Paper 06：XOST_TM_STR_Paper06_Capability_Engine_API_and_Cross_Technology_Mapping_v0.1_2026-11-01.md；後續渲染 adapter 的候選接口。
Many-Valued Logic, Stanford Encyclopedia of Philosophy, 2026-09-29 修訂版：https://plato.stanford.edu/entries/logic-manyvalued/，尤其 Belnap–Dunn 的多資訊來源與不完整／衝突證據語義。
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；名義、序數、區間及比率測度分離之歷史基礎。
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 的本體」。

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

TCGQT-AMOCF × XOST｜Paper 01：無限維真假場的基本型別、座標與最小 IR