---
title: "XOST 技術映射與人工世界實作系列｜光譜真與無限維張力場圖形渲染子系列 Paper 01：光譜真渲染的基本型別與最小管線"
english_title: "Typed Spectral Field IR and Minimal Render Pipeline: Heterogeneous Measures, Explicit Unknowns, and Source-Bound Projection"
series: "XOST 技術映射與人工世界實作系列"
series_english: "XOST Technical Mapping and Artificial-World Implementation"
series_id: "XOST-TM"
subseries: "光譜真與無限維張力場圖形渲染系列"
subseries_english: "Spectral Truth and Infinite-Dimensional Tension Rendering"
subseries_id: "XOST-TM-STR"
paper_id: "XOST-TM-STR-01"
version: "v0.1"
date: "2026-10-31"
language: "zh-TW"
authorship: "Neo.K（理論方向、技術映射研究目標與先行理論）；GPT-6（來源對照、操作性形式化、參考程式及研究草稿）"
affiliation: "EveMissLab／一言諾科技有限公司"
status: "CANONICAL UTF-8 RESEARCH DRAFT; FINITE EXECUTABLE TECHNICAL WITNESS; NO ONTOLOGICAL OR PHYSICAL VALIDATION"
predecessor: "XOST-TM-STR-00 v0.1; XOST 00–07 v0.1"
canonical_source: "UTF-8 Markdown; LF; no BOM; original bytes authoritative"
math_source_rule: "inline math $...$ ; display math $$...$$ only"
release_scope: "local-only; no GitHub write; no upstream engine integration"
---

# XOST 技術映射與人工世界實作系列

## 光譜真與無限維張力場圖形渲染系列｜Paper 01

### 光譜真渲染的基本型別與最小管線

*Typed Spectral Field IR and Minimal Render Pipeline*

**研究日期：** 2026-10-31  
**作者／AI 協作：** Neo.K × GPT-6  
**機構：** EveMissLab／一言諾科技有限公司  
**研究狀態：** 技術構造、型別合約、可重播人工資料、局部形式命題；非物理驗證、非 AI 模型訓練、非引擎性能優勢證明。

---

**作者：** Neo.K（理論方向、技術映射研究目標與先行理論）；GPT-6（來源對照、操作性形式化、參考程式及研究草稿）  
**日期：** 2026-10-31  
**版本：** v0.1  

# 摘要

《XOST 技術映射與人工世界實作系列》Paper 00 已建立「理論語義—受約束映射—可執行技術—相稱證據」研究順序，並提供有限 2D 人工場到 SVG 的首個技術見證。然而，該示例的欄位仍受固定型別及固定投影策略約束；若直接擴大到程序世界、跨領域測度或既有渲染引擎，就可能讓「發生」「對應」「作用」「張力」「未知」「不同尺度」被無意間混成幾個沒有來源的浮點數。本文的目的，是將這個風險轉成可以由程式拒絕的型別錯誤。

本文提出 **Typed Spectral Field Intermediate Representation（TSF-IR）v0.1**，將有界人工世界明確區分為維度註冊表、格點、逐維觀測、定向關係、來源譜系及顯示政策；把 `boolean`、`numeric`、`interval`、`category` 視為彼此不等價的測量種類，並將 `observed`、`unknown`、`not_applicable` 設為不可默默互換的狀態。任意呈現政策都必須宣告它引用哪些來源維度，且資料型別與顯示通道相容，才允許生成繪圖中介物件，再交由 SVG 輸出端執行。本文亦區分人工場的語義來源雜湊、政策雜湊、投影雜湊及最終 SVG 工件雜湊，以阻止顯示改版冒充底層資料改變。

本文提出四項限定條件下的構造性結果：（1）單一標量平均在給定多維域上可能非單射，因此無法普遍無損恢復分量；（2）若將未知與實測零映射為同一結果，狀態資訊即遭刪除；（3）若投影略去某維度，則不同底層狀態可能具有相同畫面，故無法由畫面一般性地逆推完整來源；（4）若先將來源資料作明示規範化，來源欄位或格點排列次序的非語義差異可以不影響資料指紋。它們是定義與有限集合上的構造結論，**不是全域無限維度或自然本體論的證明**。

研究包包含只依賴 Python 標準函式庫的 TSF-IR 驗證、投影及 SVG 輸出實作，三種新場顯示政策、一份 Paper 00 遺留場景的顯式轉接、人工生成資料、獨立的投影 IR 和外部收據、JSON Schema 2020-12、可執行反例、可選 PNG 預覽及本地測試。測試只確認有限源資料上的合約、型別排斥、未知保留、定向關係與位元重播；沒有測試真實 LLM 學習、物理定律、WebGPU 性能或既有 EveMissLab 工程倉庫的相容性。

本文主張的成果是：**在不先接受光譜真為自然界終極本體的前提下，已能把其「分型、異質測度、未知保留、定向張力與動態可投影性」轉成一套可操作、可失敗、可回查的圖形技術合約。**

**關鍵詞：** XOST、TSF-IR、光譜真、萬物皆真、異質量化、無限維張力、型別化場、未知狀態、定向關係、SVG、可重播圖形管線、不可逆投影、技術映射。

---

# 0. 本篇的繼承、方法與邊界

## 0.1 先行研究不是可被直接替代的命名表

本文與 XOST Paper 00–07 的關係如下：

| 來源 | 接收的結構 | 本篇不可越界的主張 |
|---|---|---|
| XOST-01 | 存在實現、內容對應、信心、作用及價值分型 | `realization=true` 不代表 `correspondence=1` |
| XOST-02 | 開放維度、量化合約、異質尺度及缺測 | 將任意編號視為可測真度 |
| XOST-03 | 底層場變化與投影政策變化分離 | 圖像有變即聲稱來源狀態改變 |
| XOST-04 | 問題階、認知階、傳播階及因果階非等價 | 渲染運算次數即為認知階數 |
| XOST-05 | 合成資料回流的學習通道分型 | 規則式顯示回饋即為權重訓練 |
| XOST-06 | 干預、干擾與負對照 | 從輸出相關性直接推論自然因果 |
| XOST-07 | 局部閉合、歷史保留與重開 | 一次程式測試即為理論永久完成 |
| XOST-TM-STR-00 | 有限 2D SVG 見證、技術證據分級 L0–L5 | 重命名既有 SVG 技術就宣稱演算法優勢 |

本篇既有原稿來源由交付包 `docs/source_lineage.json` 記錄檔名、大小與 SHA-256。讀者應將這些視為**研究譜系**，而非自然實在的支持證據。

## 0.2 來源、定義、命題、假說與實作

本文沿用以下標記：

- **[SRC]** 來源論文或標準已明示之內容，標記不額外提高其證據地位。
- **[DEF]** 為指定技術任務引入的操作性定義及軟體合約。
- **[PROP]** 在明確前提下可論證或以反例證明的數學性質。
- **[DEMO]** 由作者設定的人工場、算法及驗收結果。
- **[HYP]** 需要未來實驗才能確認的工程效益或跨域價值。
- **[OPEN]** 尚未解決的技術或哲學問題。

SVG 2 以 XML 語法規範二維向量圖形，為本篇選用的**輸出格式參考**；本文不把 SVG 本身當成新理論的發明。W3C 的 SVG 2 於 2026-10-06 發布 Candidate Recommendation Snapshot，該時點尚非最終 Recommendation [E01]。JSON Schema 使用 Draft 2020-12 [E02]，其靜態結構驗證不自動取代跨欄位及來源語義檢查。

## 0.3 本篇與 Paper 00 的真正差異

Paper 00 的人工格點直接攜帶 `realized`、`correspondence`、`effect`、`tension.difference`、`tension.coupling`，渲染器由固定政策讀取欄位。本文不推翻其有效示例，而將它視為 **legacy input**：需要明示轉接到維度登錄與逐軸觀測，不能因舊資料沒有某個欄位就假裝新版本已測得該欄位。

本篇相對前篇新增四種技術能力：

1. 合約化的異質維度註冊與逐維狀態；
2. 獨立、可變更、可驗證的顯示政策物件；
3. 先生成繪圖中介物件（projection IR），再以 SVG backend 輸出；
4. 來源、政策、投影、最終工件四個不同的版本／雜湊層。

---

# 1. 為何光譜真不是一個顏色或單一數字

## 1.1 [DEF STR01.1] 具有來源身份的有限人工世界

固定一個有限格點域：

$$
G=\{0,\ldots,W-1\}\times\{0,\ldots,H-1\}.
$$

其中 $W,H$ 是本篇示例的正整數。人工世界為：

$$
\mathfrak F_v=(G,A_v,M_v,R_v,\Pi_v).
$$

 $A_v$ 是版本化維度登錄表， $M_v$ 是每個格點上的逐維觀測， $R_v$ 是有向關係， $\Pi_v$ 是來源及譜系資訊。該定義**未規定所有可能維度已被列舉**，也未主張格點外的世界不存在。

本篇運行時限於 $1\leq W\leq40$ 、 $1\leq H\leq30$ 、 $2\leq|A_v|\leq32$，係為可重播、安全及審查便利而設的人為上限。它不是理論上的無限維界線。

## 1.2 [DEF STR01.2] 維度是具有值域與尺度的合約

對每個維度 $\alpha\in A_v$，定義：

$$
D_\alpha=(id_\alpha,k_\alpha,s_\alpha,u_\alpha,V_\alpha,\mu_\alpha).
$$

其中：

- $id_\alpha$：維度識別與版本位置；
- $k_\alpha$：資料種類，例如布林、數字、區間或類別；
- $s_\alpha$：尺度語義，例如名義、區間或比率；
- $u_\alpha$：明示單位／構造性索引名稱；
- $V_\alpha$：合法值域、類別集合或上下界；
- $\mu_\alpha$：此維度量測或構造的意義。

本篇允許 `numeric`、`boolean`、`category` 與 `interval` 四種資料種類。`numeric` 與 `interval` 都要求有界域，但單獨的區間值必須保留兩端點，不能未經政策聲明就轉為中點；`category` 只許用明示標籤；`boolean` 不接受數字 `0` 或 `1` 冒充型別。

這些限制是為了讓錯誤的跨型別映射直接失敗，而不是讓任意混合值順利生成一張外觀漂亮、實際語義錯誤的圖。

## 1.3 [DEF STR01.3] 觀測不等於值本身

令某格點 $g$ 上的維度觀測為：

$$
m_{g,\alpha}=(\sigma_{g,\alpha},v_{g,\alpha},e_{g,\alpha}).
$$

本篇把 $\sigma$ 限為三種狀態：

$$
\sigma\in\{\mathsf{observed},\mathsf{unknown},\mathsf{not\_applicable}\}.
$$

對 `observed`，要求合法值與來源標籤；對 `unknown`、`not_applicable`，要求理由但**禁止**同時提供數值。若某欄位有確定零，必須是 `observed(value=0)`；不能默默重寫為未知。這是一項可執行的有損資訊防線，而非對所有認識論狀態的終極分類。

`observed` 一詞在此指**本人工世界中已被構造及保存**，不表示實驗室儀器測得。若將來接入物理測量或現實資料，應引入不同來源合約和獨立校準證據，不能直接把本篇狀態重命名為 `PHYSICS_VERIFIED`。

## 1.4 [DEF STR01.4] 關係方向與單點場分量不同

對人工世界中的兩格點，定義：

$$
r_{i\rightarrow j}^{\alpha}=(i,j,\alpha,m_{ij}).
$$

這裡 $r_{i\rightarrow j}^{\alpha}$ 和 $r_{j\rightarrow i}^{\alpha}$ 是**不同記錄**；不能預設雙向作用相等。本篇以分離的有向 `links` 保存來源、目標、數值或缺測。繪製成箭頭只是顯示一條**已由作者構造的有向資料關係**，不能推論物理因果箭頭或自然張力張量已被發現。

---

# 2. 四層最小渲染管線

## 2.1 [DEF STR01.5] 先驗證來源，再作投影

本文的最小形式鏈條為：

$$
\mathfrak F_v\xrightarrow{V_F}\widehat{\mathfrak F}_v
\xrightarrow{P_{q,p}}I_{q,p}
\xrightarrow{B_{svg}}S_{svg}.
$$

此處 $V_F$ 驗證場、格點覆蓋、逐軸觀測、資料種類、關係與來源合約； $P_{q,p}$ 由任務 $q$ 的顯示政策 $p$ 產生繪圖中介物件 $I_{q,p}$ ； $B_{svg}$ 才實際產生 SVG。**SVG 是輸出工件，不是原始場本體。**

更詳細的工程責任：

| 層 | 主要入口 | 必須完成 | 不能自動成立 |
|---|---|---|---|
| Scene validation | `validate_scene` | 有界、完整、無重複、異質型別合法 | 外部物理已校準 |
| Policy validation | `validate_policy` | 通道所指軸存在，且種類相容 | 所有政策都無損 |
| Projection | `project` | 固定來源＋政策 → 命令與缺測診斷 | 圖像可逆回完整來源 |
| SVG backend | `draw_svg` | 繪圖、XML、metadata、外部 receipt | 性能優於 GPU／現有引擎 |
| Replayer | `render_cli.py` | JSON 輸入可獨立重播 SVG | 模型權重被更新 |

## 2.2 [DEF STR01.6] 顯示政策是可版本化的獨立對象

本篇的政策 $p$ 至少宣告：

$$
p=(id,\alpha_{fill},\alpha_{size},\alpha_{border},
\alpha_{symbol},\alpha_{interval},\alpha_{edge},\kappa).
$$

 $\kappa$ 是具有兩個端點的明示色盤。政策物件不改寫來源值；它必須先通過資料種類檢查，例如色彩填充選擇一個有界數字軸，類別符號選擇名義類別軸，區間線選擇區間軸。若有欄位在政策中指定為不相容用途，系統應拒絕，而不是猜測它是「差不多可用」的數值。

顏色是政策效果，不是「真」本身；亮度也不是世界的本體測量。

## 2.3 [DEF STR01.7] 數值通道的局部規範化

對具有合法域 $[a,b]$ 且 $a<b$ 的數字軸，在本篇**作者聲明的顯示政策**中使用：

$$
N_\alpha(x)=\frac{x-a}{b-a}.
$$

此處 $N_\alpha$ 只是將一個已有明確值域的人工指標映射成局部顯示位置。若兩個軸分別以 $N_\alpha,N_\beta$ 規範化到 $[0,1]$，並不表示它們已具有相同語義、相同單位或可合法作物理加總。可比較性仍取決於任務與合法測度映射。

## 2.4 Unknown 保留與區間端點

若一個填色用軸為 `unknown`，本篇輸出灰藍底色加斜線網紋；實測最小值則使用合法色盤端點，不帶未知網紋。若區間是 `observed([l,u])`，底部短線以兩端點表示區間，並非單純顯示中點值。若區間未定，系統不擅自畫出虛假的置信區間。

## 2.5 [DEF STR01.8] 來源、政策、投影及工件四重指紋

本篇明示四個不同 SHA-256 對象：

$$
h_F=H(\operatorname{Canon}(\mathfrak F)),
\qquad h_p=H(\operatorname{Canon}(p)).
$$

$$
h_I=H(\operatorname{Canon}(I)),
\qquad h_S=H(\operatorname{SVGBytes}(I)).
$$

`Canon` 在本篇限定為已驗證 JSON 的 UTF-8、字典鍵排序，以及**已明示無語義順序**的軸、格點與觀測列表的規範化。若兩個值只因軸宣告順序不同，`h_F` 可以保持相同；若值、缺測狀態、來源意義或政策改變，相應雜湊就應改變。

SVG 本身包含前三者與來源政策身份的 metadata，但 `h_S` 放進**外部** render receipt，避免為記錄 SVG 自己的雜湊而反覆修改同一檔案。SHA-256 是工件一致性工具，不是獨立物理證據或可信第三方時間戳。

---

# 3. 四個基本形式命題及其界線

## 3.1 [PROP STR01.P1] 特定加權標量映射不具單射性

令人工輸入域為 $[0,1]^2$，定義：

$$
f(c,e)=\frac{c+e}{2}.
$$

取 $x=(1,0)$ 、 $y=(0,1)$，則：

$$
x\neq y,\qquad f(x)=f(y)=\frac12.
$$

因此該具體標量政策無法由輸出唯一恢復兩個分量。**證畢。** 這不是對所有可能編碼的非單射性聲明，也不否定在限定任務中使用充分統計量或單一評分的合理性；它只給出一個不能被偷偷假設為無損的簡單例子。

## 3.2 [PROP STR01.P2] 未知與零共像會失去缺測識別性

令型別化觀測域包含兩個不同元素：

$$
u=(\mathsf{unknown},\varnothing),\qquad z=(\mathsf{observed},0).
$$

若顯示編碼 $g$ 同時令 $g(u)=g(z)$，就不存在一個僅由該編碼值**精確區分** $u$ 與 $z$ 的逆函數。這是二元素集合映射失去單射性的直接結果，不需要物理假設。本篇以斜線網紋與來源狀態保留兩者可辨識性。

## 3.3 [PROP STR01.P3] 投影忽略欄位時不能一般性地反推完整來源

設來源場至少有兩個相互獨立的合法分量 $a,b$ ；投影僅依 $a$：

$$
P(a,b)=F(a).
$$

對任意固定 $a$ 與兩個不同合法 $b_1,b_2$，有：

$$
(a,b_1)\neq(a,b_2),\qquad P(a,b_1)=P(a,b_2).
$$

所以在此定義域上 $P$ 非單射，不能保證逆推完整來源。這說明**肉眼看起來相同的圖片，不是相同底層世界的充分證據**。即使多通道顯示，只要某個維度未用或被有損編碼，仍可能存在類似非唯一性。

## 3.4 [PROP STR01.P4] 規範化後的列表排列不改變語義來源指紋

假設來源的軸列表、格點列表與每格觀測列表都被**定義為以 ID／座標索引的無序集合表示**；設 $\sigma$ 是這些列表的任何合法重排， $C$ 是依 ID／座標排序的規範化函數。則：

$$
C(\sigma(F))=C(F).
$$

故：

$$
H(C(\sigma(F)))=H(C(F)).
$$

這只適用於事先聲明列表順序**無語義**的來源契約。對有時序、算子作用次序或非交換更新的列表，不可直接使用此排序規則。本篇有一項測試將軸、格點、觀測和鏈接的輸入順序打亂，確認此有限假設下語義指紋保持不變。

---

# 4. 人工場示例：可看見但不能憑視覺證明自然真理

## 4.1 [DEMO D1] 人工世界與資料生成

主要示例名為 `constructed_spectral_atlas`，格點為 $12\times8$ ；採用多個互不聲稱物理等價的解析式，建構人工 `correspondence`、`effect`、`tension_difference` 與 `tension_coupling`。下述函數是展示資料構造示意，其中 $\operatorname{clip}$ 表示截到 $[0,1]$：

$$
C(x,y)=\operatorname{clip}\left(0.08+0.84e^{-15(c_x^2+c_y^2)}+0.08\sin(0.65x+0.31y)\right).
$$

$$
E(x,y)=\operatorname{clip}\left(|\sin(0.49(x+1))\cos(0.44(y+1))|\right).
$$

$$
D(x,y)=\operatorname{clip}\left(|\sin(0.48x-0.61y)|\right).
$$

$$
K(x,y)=\operatorname{clip}\left(0.15+0.63\frac{x+1}{W+1}\frac{H-y}{H+1}\right).
$$

其中 $c_x=(x-(W-1)/2)/W$ 、 $c_y=(y-(H-1)/2)/H$。程式另以明示規則建立一組 nominal 的 `epistemic` 標籤、某些區間端點、固定未測格點與有向鏈接。精確規則、座標例外和四捨五入方式均由 `scripts/generate_demo.py` 給出，**程式與輸出 JSON 才是可重播資料的正式依據**。

注意：`effect` 是作者設定的數值欄位，並非由干預設計估計出的因果效果；`uncertainty_band` 只是作者設定的區間端點，並非從實驗樣本估算的統計置信區間；`epistemic` 是分類標籤而非知識可信度。

## 4.2 [DEMO D2] 三種政策，同源不同視覺

相同人工世界支援以下三種政策：

| 顯示政策 | 填色主軸 | 保持獨立的其他通道 | 合法結論 |
|---|---|---|---|
| `correspondence` | 人工對應指標 | `effect` 圓半徑、`tension_coupling` 邊框、`epistemic` 符號、`uncertainty_band` 區間 | 可構造分型視覺 |
| `tension` | 人工張力差異 | 同上，且可顯示作者設定的有向鏈接 | 同源政策切換可見 |
| `effect` | 人工作用指標 | 其他欄位及缺測語義仍獨立 | 變更顯示重點不更改來源 |

全部政策都指向同一個場資料 `source_sha256`，並分別產生自己的政策與 SVG 雜湊。若只是切換政策而未修改來源，**不得宣稱底層人工場發生變化**。產物在 `evidence/atlas_*.svg`；`previews/atlas_*.png` 是以 CairoSVG 從 SVG 轉出的輔助預覽，不是 canonical 計算來源。

## 4.3 [DEMO D3] 三種容易誤判的零、未知和不可用

示例中一個已觀測的 `correspondence=0.0` 是在構造域內的**確定零**；另有格點 `correspondence` 明確為 `unknown`；還有一處 `epistemic` 為 `not_applicable`。三者的輸入狀態不同，因此在 IR 中的 `status`、證據／理由與渲染顯示均不應混同。若用單純 `float` 或 JSON 的可選欄位全部容納，極容易讓未知資料不經說明就變成「未填 = 0」。

## 4.4 [DEMO D4] 已知區間保留端點而非中點

`uncertainty_band=[l,u]` 僅在兩端點明確建構、位於同一測度域且順序合法時顯示短線段。若只有單一 `unknown`，就不產生偽區間。區間在圖上看起來可能很短、很長，但不能因此推論其真實世界風險或機率。

## 4.5 [DEMO D5] 有向人工關係可見但不等於自然因果

數個格點對帶有明示 `source` 和 `target`，繪製為具有方向箭頭的局部鏈接。反向鏈接不會因為圖形看似相近而自動產生。缺測的定向關係以虛線表示。這些箭頭僅證明 SVG 可根據有向的人工 IR 繪製關係，不能代替動態系統的 causal identification。

## 4.6 [DEMO D6] 前篇資料的顯式升版

本篇的 `upgrade_p00` 只接受 Paper 00 格式 `xost.tm.str.scene.v0.1`：

- `realized` 成為 `realization` 布林觀測；
- `correspondence=null` 成為 `unknown`，不轉成 `0`；
- `effect` 維持前篇人工 [0,1] 指標，不冒稱已取得真實因果量；
- `tension.difference` 與 `tension.coupling` 拆成兩個獨立數字軸；
- 輸入來源語義 SHA-256 必須與實際檔案對齊；
- 不能由轉接器捏造舊場景未曾測得的 `epistemic` 或 `uncertainty_band`。

此轉接保留有來源的資料，不自稱「完全無損的所有語義等價」。若未來要把新 IR 回寫前篇格式，需要另立**顯式逆向映射**及版本合約；本篇不假定其存在。

---

# 5. 可重播性、資料治理與防混淆設計

## 5.1 具名契約與明確的拒絕條件

本篇 Python 驗證至少拒絕：重複軸 ID、格點重複或不足、來源超過設計容量、非法型別與非有限值、越界觀測、缺少來源或缺測理由、不相容政策、未經量化的類別當作數值、觀測區間上下界顛倒、偽造來源 digest，以及將觀測缺失靜默視為零。

這些拒絕測試的目的，是讓不正確技術映射**可被判敗**，而不是讓每一條路徑都產生某張圖片。

## 5.2 分離測度合約與渲染政策

如果下一版需要更換色盤、線寬、圓點半徑或後端格式，首先應更新**政策或 backend 版本**，而不是自動重寫來源測度。若換了測量範圍、單位或量綱，則屬於來源契約變更，不能偷渡為單純顯示皮膚切換。

## 5.3 經驗證據與技術證據的界限

為本篇的證據強度採 Paper 00 的等級：

- **L1：** 指定人工場、型別與 SVG 工件具有可重播構造見證；
- **局部 L2 性質：** 對指定輸入做明示干預時，通道或缺測表示按預期變化；
- **尚無 L3：** 未進行與傳統 heatmap／場著色器的同條件效能、品質、認知使用性對照；
- **尚無 L4–L5：** 未完成既有引擎跨專案移植、真實物理對應或外部研究者獨立驗證。

通過程式測試、具有看起來很美的預覽圖、以及成功生成 SVG，是可構造性的證據；**不是演算法超越既有技術的證據**。

## 5.4 技術映射中的自指邊界

本文所產生的 SVG、論文與驗收報告，可能再成為未來 AI 學習與研究的資料。這是潛在的知識傳播關係，而不是本篇已觀察到的學習事件。即使日後 AI 根據本篇修改顯示政策，也必須進一步區分檢索、上下文採用、持久記憶、策略更新與參數訓練。本篇沒有執行這些實驗。

---

# 6. 實作與程式驗收摘要

## 6.1 可執行目錄與主要入口

本篇所有可執行程式均可於一般 Python 3.10+ 標準函式庫環境下執行（PNG 預覽與 JSON Schema 外部驗證為可選依賴）：

| 路徑 | 用途 |
|---|---|
| `src/typed_field.py` | 場、異質軸、逐格觀測、關係、政策與投影驗證；來源語義 digest；P00 轉接 |
| `src/svg_backend.py` | SVG 繪製、meta 與外部 receipt |
| `scripts/generate_demo.py` | 產生人工世界、三種政策、P00 升版及示例 SVG／PNG |
| `scripts/render_cli.py` | 接受外部合法 JSON 輸入的最小命令列入口 |
| `scripts/validate_schema.py` | JSON Schema 2020-12 靜態與 Python 語義交叉檢查 |
| `scripts/validate_source.py` | UTF-8 原稿、LF、數學 delimiter 與文稿來源檢查 |
| `tests/test_typed_field.py` | 源資料／政策錯誤、缺測、來源不變、投影非等價及 P00 轉接測試 |
| `samples/` | 新人工場及保留的前篇原始例子 |
| `policies/` | 三種新場政策及 P00 專用政策 |
| `evidence/` | 投影 IR、SVG、收據、構造反例與驗收紀錄 |
| `previews/` | SVG 衍生的 PNG 視覺參考，不是 source of truth |
| `schemas/` | JSON Schema 2020-12 文件 |
| `docs/` | 來源譜系、主張狀態與下一篇交接 |

## 6.2 最小重播指令

```bash
python -m unittest discover -s tests -v
python scripts/generate_demo.py
python scripts/render_cli.py --scene samples/constructed_atlas_v0.1.json --policy policies/tension.json --svg evidence/manual_replay.svg --receipt evidence/manual_replay_receipt.json
python scripts/validate_source.py
python scripts/validate_schema.py
```

前兩項與 SVG CLI 不需要第三方 Python 依賴；PNG 預覽需要 CairoSVG，Schema 驗證需要 `jsonschema>=4.21,<5`。如無可選依賴，程式仍應可以提供 SVG 核心結果，而不可冒稱 PNG 或 Schema 驗證已執行。

## 6.3 本地測試範圍

本地人工場及轉接示例的核心測試覆蓋：

- 缺測必須有理由，不能兼帶數值；實測零不得混成未知；
- `bool` 不能被視為數值；觀測不可超出該軸聲明的域；
- 名義類別或區間對象不能不經聲明映射為純量填色；
- 同一來源的不同政策保持來源指紋而改變視覺；
- 來源變更、缺測狀態變更或來源參照變更會影響指紋；
- 有向鏈接不因圖上接近而自動對稱化；
- 原始 Paper 00 場景可被轉換但保留未知與張力雙軸；
- SVG 可解析、metadata 與外部 receipt 可對應；
- 輸入排列的非語義變動不更改規範化來源指紋。

報告的 `PASS` 僅適用於這些已執行的檢查。文件中的有限命題則須各自以明示的前提判斷，不可把整份論文的成立性簡化成測試通過數字。

---

# 7. 與現有渲染技術的公平關係

## 7.1 本篇不是新光柵化定理

本篇使用既有 SVG、XML、十六進位顏色插值、圖元與可選 CairoSVG，沒有發明新型 rasterizer、GPU shader 或全域視覺理解能力。`TSF-IR` 的候選工程價值位於**來源語義保留、異質測度與可版本化投影**，而不是聲稱矩形或箭頭是新的圖學基礎。

## 7.2 對照基線的必要性

後續必須與至少以下工作流比較：

1. 普通單純 heatmap：用一個 `float` 陣列與色盤輸出；
2. 多通道一般資料視覺化：多個 layer 保留數值；
3. Typed Field IR：在相同資料與視覺目標下加入型別、未知、來源、政策與外部收據。

評估項至少包含：違法轉換偵測率、缺測誤判率、資料—政策變更歸因、記憶體與渲染延遲、圖檔大小、機器可解析性、認知清晰度和接入現有系統的成本。若普通可重用技術同樣可達標，應誠實記錄，而不是維護理論名稱。

## 7.3 對既有 EveMissLab 引擎的定位

EVOE/EML-SC、EveVisual-Foundry、ORDR、GlyphWorld、Fabric-Field 等已有各自的目標與資料閉包；NOVA／EML-ADDR 則關涉其他層級的計算及記憶域。本篇**未讀寫這些倉庫中的正式分支、未建立可宣稱已通過的 adapter，也未測量各自效能**。未來可先建立規格映射、來源模式、降級／拒絕案例及契約測試，再決定是否以 TSF-IR 作為某一個可選資料界面，而非強迫所有引擎採用它。

---

# 8. 失敗模式、已知限制與拒絕條件

## 8.1 機制失敗

若 TSF-IR 未能保留原本標示的來源型別、非法政策仍可執行、未知被當成最小值、關係被無理由轉為對稱、或相同原始資料的語義指紋因無關排列次序波動，則本篇的**局部構造主張應拒絕或降級**。

## 8.2 視覺表達失敗

即使型別合約正確，畫面也可能不可讀：色差不足、符號互相遮擋、區間太短、關係過多或未知樣式看似真正的數值。這些屬於設計及可讀性問題，需要後續對照、使用者觀察或其他量測，而不是靠型別檢查自動排除。

## 8.3 尺度失敗

目前實作是有界網格、CPU 上的 Python 標準函式庫及 SVG。它尚不支援任意高維動態拓撲、真正的連續場、數十億格點、GPU 增量繪圖或每毫秒高頻渲染。若提出這些要求，應使用下一篇或現有引擎的專門算法與公平效能測試。

## 8.4 認識論越界

一套人工世界在自己的生成規則下成立，不等於外部自然世界相同；一次繪圖成功，不等於萬物皆可量化全域命題獲證；多個圖元能在同一份 SVG 中呈現，不等於異質測度已經數學上完全通約；顏色相近，不等於來源世界等價。

---

# 9. 未來研究接口：Paper 02 與後續子系列

Paper 02 將不只是再增加兩三個欄位。它應處理：

- 能否使維度 registry 隨時間增加、分裂、退役和重新命名而保持來源相容？
- 異質關係能否脫離目前的 2D 格點，表達圖、鄰域、層、流、權重與非交換更新？
- 不可通約的張力分量是否可以保留為偏序與分層約束，而非硬性加總？
- 當不同版本缺乏可驗證橋接時，如何正式標記 `NO_TRANSPORT_WITNESS`？
- 如何與 EVOE、EVF 或其他現有圖形框架訂立 adapters，使技術映射真正產生可觀察效益？

Paper 03 才適合深入研究更複雜的多通道著色、空間形變、材質與渲染後端；Paper 04 才適合研究輸出回流及政策修改；Paper 05 才適合測試程序世界與跨場景消融；Paper 06 再處理真實引擎移植和跨技術應用。這些是研究規劃，不是已獲驗收的成果。

---

# 10. 結論：先做「能拒絕錯誤映射」的圖形基礎

本篇真正建立的不是一張新的「真理圖片」，而是一條**不因圖像需要而抹平來源差異**的渲染管線。它把「萬物皆真」轉成事件實現與內容對應的工程分型，把「萬物皆可量化」轉成明示值域與量測義務的欄位合約，把「無限維張力」的開放理念轉成有限活動維度、異質欄位與定向關係的可擴張接口，再將「反身性」所需的來源／政策版本分離保留給後續工作。

本篇的成功標準不是有人相信自然宇宙已經被我們解釋，而是：**研究者可以交給系統一個合法的人工場，得到可追溯且有型別的視覺產物；也可以故意輸入非法或有損的條件，看到系統明確拒絕。**

這是足以繼續進行技術研究的有限成果；它保留對未來、對不同任務和對外部世界的認識論開放性。圖形演算法只是技術映射母系列的第一個可見入口，不是它的終點。

---

# 附錄 A｜人工示例可重播登錄

| 類別 | 工件 | 說明 |
|---|---|---|
| 新世界原稿 | `samples/constructed_atlas_v0.1.json` | $12\times8$ 有限人工世界，八種維度，其中一種刻意全未測 |
| 前篇來源 | `samples/p00_scene_v0.1.json` | Paper 00 保留的舊來源格點，檔案來源另記錄 SHA-256 |
| 前篇轉接 | `samples/p00_explicit_upgrade_v0.1.json` | 未捏造新測量；張力差異及耦合分開 |
| 政策 | `policies/{correspondence,tension,effect,p00_legacy}.json` | 明示不同通道與顯示色盤 |
| SVG | `evidence/{atlas_correspondence,atlas_tension,atlas_effect,p00_explicit_upgrade}.svg` | 原生向量圖及來源 metadata |
| 投影紀錄 | `evidence/*_projection.json` | SVG 之前的繪圖中介物件 |
| 渲染收據 | `evidence/*_receipt.json` | 來源、政策、投影及 SVG 的 SHA-256 |
| 反例 | `evidence/scalar_alias_witness.json` | 特定加權標量非單射的實例 |
| 預覽 | `previews/*.png` | 從 SVG 衍生；不取代原始來源 |
| 測試與驗收 | `tests/`、`evidence/*validation*`、`SHA256SUMS.txt` | 本地程式測試、Schema、原始碼及 ZIP 完整性 |

# 附錄 B｜論文與程式主張對應表

| 主張 | 最低證據 | 本篇階段 |
|---|---|---|
| 異質欄位能進入可檢查 IR | 合法場及非法合約拒絕案例 | 構造完成 |
| 未知不等於實測零 | 不同源狀態及不同 SVG 描繪 | 構造完成 |
| 同源異投影 | 相同來源雜湊與不同政策／SVG 雜湊 | 構造完成 |
| 有向關係未被強制對稱 | 有向鏈接保存與反向不存在測試 | 構造完成 |
| 區間保持端點 | 區間 JSON、IR 端點與 SVG 短線 | 構造完成 |
| 通用渲染引擎具工程優勢 | 公平基線、效能、品質、跨場景對照 | 未執行 |
| 無限維自然張力本體成立 | 外部自然科學的獨立證據 | 未執行 |
| AI 閱讀／學習本篇造成能力變化 | 實際模型、可識別的干預及評測 | 未執行 |

# 參考文獻與資料來源

## 內部研究及本地來源

- [I01] Neo.K × GPT-6，*XOST Paper 00–07*，v0.1，2026-10-31。各篇實際來源路徑、SHA-256 及相對用途記錄於 `docs/source_lineage.json`。
- [I02] Neo.K × GPT-6，*XOST-TM-STR-00: Research Charter, Technical Mapping, and Artificial-World Validation*，v0.1，2026-10-31，本文直接前篇；原始交付物 `XOST_TM_STR_Paper00_...md`。
- [I03] Neo.K，*多維真與假：從向量到無限場的本體論革命*，2025-08，作為歷史候選版本，不預設微觀二元模型必然對應本篇全部人工場。
- [I04] Neo.K × AI 協作，*萬物皆真：存在平面與差異測度*，2026-08-17；*差合化—萬物皆真—無限維張力—全域知識收斂統合論*，2026-07-26；以及《可不可論 3.0》等先行工作。

## 外部格式規格，非本體論證據

- [E01] W3C, *Scalable Vector Graphics (SVG) 2*, Candidate Recommendation Snapshot (2026-10-06), https://www.w3.org/TR/2026/CR-SVG2-20261006/ 。本篇只使用可解析的基本 XML/SVG 圖元，尚未宣稱通過所有 SVG2 功能或瀏覽器相容測試。
- [E02] JSON Schema, *Draft 2020-12*, https://json-schema.org/draft/2020-12 。Python 程式的語義型別檢查需與 Schema 靜態檢查並行。

**最終提交範圍：** 本篇正式 UTF-8 原稿、有限參考實作、人工場及可重播驗收。未修改其他研究系列、未推送 GitHub、未進行真實 AI 訓練、第三類實驗或物理測量。