# 觀測約束殘差重建理論 v0.2  
## Observation-Constrained Residual Reconstruction Theory v0.2  
### ——本體殘差、認識殘差集合、候選世界與精度證明資料的統一框架

**作者：** Neo.K；Aletheia（GPT-5.6 Thinking）  
**版本：** v0.2  
**日期：** 2026-07-20  
**文件性質：** 修訂理論論文／數學基礎稿

---

## 摘要

有限精度通常被視為資訊不足、計算誤差或測量噪聲的結果；小數點後未被保留的部分，則經常被直接歸入「可以忽略」的尾項。然而，對於高敏感動態系統、逆問題、數值模擬、觀測重建、數位分身與跨尺度建模而言，有限精度以下的資訊並不必然等於無效資訊。它可能構成尚未被目前觀測尺度解析的狀態、候選集合、分支來源與未決世界。

本論文提出並修訂「觀測約束殘差重建理論」（Observation-Constrained Residual Reconstruction Theory, OCRRT）。v0.2 不再把殘差僅視為一個已知數值，而正式區分：

1. **本體殘差**：真實狀態已指定時所具有的尺度尾部；
2. **認識殘差集合**：在有限觀測下仍可能成立的殘差集合；
3. **候選狀態集合**：所有與觀測、模型、誤差界及動態條件相容的潛在世界；
4. **精度證明資料**：數值型別、來源精度、捨入規則、有效位數與轉換歷史。

本論文同時修正四個核心問題：固定跨度差異趨零不能保證跨精度收斂；候選集合縮小需要投影相容性與累積交集條件；一般狀態空間不能直接假設向量加法分解；有限計算支持區域不得無條件稱為已證區域。

OCRRT v0.2 的中心命題是：

> 重建系統不是現實的副本，而是由有限觀測、殘差可能性、模型條件與數值表示共同約束的一族候選世界。

本理論的目標不是宣稱可以由有限小數恢復唯一真實世界，而是建立一套能夠描述「哪些世界仍可能成立、哪些殘差已被排除、哪些結論只在特定精度下可靠、哪些微小差異會在何時放大」的統一數學框架。

---

## 關鍵詞

觀測約束；資訊殘差；有限精度；逆問題；候選集合；數位分身；動態重建；區間分析；跨精度穩定性；數值證明資料

---

# 一、理論動機

傳統有限精度表示通常採取下列觀點：

$$
x \approx T_n(x),
$$

其中 $T_n(x)$ 是保留至第 $n$ 位的近似值，而：

$$
x-T_n(x)
$$

被稱為截斷誤差。

這種語言在工程計算中有其合理性，但它隱含了一個過早的判斷：

> 未被保留的部分只具有誤差意義，而不具有狀態意義。

OCRRT 拒絕這一單一解釋。

在本理論中，有限投影以下的資訊可能同時具有五種不同地位：

1. 數值截斷誤差；
2. 尚未觀測的狀態；
3. 多個候選世界之間的區分資訊；
4. 動態系統中的未來放大來源；
5. 逆問題中的不可識別自由度。

因此，我們不再只問：

$$
\text{近似值與真值相差多少？}
$$

而要問：

$$
\text{目前觀測仍允許哪些尾部、哪些狀態、哪些世界與哪些未來？}
$$

---

# 二、基數投影與本體殘差

## 2.1 基數投影

對基數 $b\ge 2$ ，定義第 $n$ 層有限投影：

$$
T_n^{(b)}(x)
=
\frac{\lfloor b^n x\rfloor}{b^n}.
$$

定義未正規化截斷差：

$$
e_n^{(b)}(x)
=
x-T_n^{(b)}(x).
$$

則：

$$
0\le e_n^{(b)}(x)<b^{-n}.
$$

## 2.2 本體殘差

定義第 $n$ 層的**本體殘差**：

$$
R_n^{\mathrm{ontic},(b)}(x)
=
b^n\left(x-T_n^{(b)}(x)\right)
=
\{b^n x\}.
$$

因此：

$$
0\le R_n^{\mathrm{ontic},(b)}(x)<1.
$$

並有精確分解：

$$
x
=
T_n^{(b)}(x)
+
b^{-n}R_n^{\mathrm{ontic},(b)}(x).
$$

此式在 $\mathbb R$ 中是精確恆等式，而不是近似式。

## 2.3 殘差移位動力學

本體殘差滿足：

$$
R_{n+1}^{\mathrm{ontic},(b)}(x)
=
\left\{
bR_n^{\mathrm{ontic},(b)}(x)
\right\}.
$$

因此，基數展開的尾部可以被理解為映射：

$$
S_b(r)=\{br\}
$$

下的一條軌道。

在十進位中：

$$
R_{n+1}^{\mathrm{ontic},(10)}(x)
=
\{10R_n^{\mathrm{ontic},(10)}(x)\}.
$$

若：

$$
x=d_0.d_1d_2d_3\cdots,
$$

則：

$$
R_n^{\mathrm{ontic},(10)}(x)
=
0.d_{n+1}d_{n+2}d_{n+3}\cdots.
$$

因此，小數尾部並非無結構的剩餘物，而是一個可迭代、可比較、可分類的尺度狀態。

---

# 三、本體殘差與認識殘差集合

## 3.1 為何必須分離

若精確狀態 $x$ 已知，則 $R_n^{\mathrm{ontic}}(x)$ 可以被計算。

但若觀測者只知道：

$$
y=T_n(x),
$$

則一般不能由 $y$ 唯一恢復 $R_n^{\mathrm{ontic}}(x)$ 。

因為所有：

$$
x'\in
\left[
y,
y+b^{-n}
\right)
$$

都具有相同的有限投影 $y$ 。

因此，有限觀測對應的不是一個唯一殘差，而是一個殘差可能集合。

## 3.2 認識殘差集合

定義：

$$
\mathfrak R_n^{\mathrm{epistemic},(b)}(y)
=
\left\{
R_n^{\mathrm{ontic},(b)}(x):
T_n^{(b)}(x)=y
\right\}.
$$

若沒有其他限制，則：

$$
\mathfrak R_n^{\mathrm{epistemic},(b)}(y)
=
[0,1).
$$

若加入先驗條件 $x\in A$ ，則：

$$
\mathfrak R_n^{\mathrm{epistemic},(b)}(y\mid A)
=
\left\{
R_n^{\mathrm{ontic},(b)}(x):
T_n^{(b)}(x)=y,\ x\in A
\right\}.
$$

若加入動態條件、歷史觀測、物理約束或結構模型，該集合可以進一步縮小。

## 3.3 理論上的重要轉向

OCRRT v0.1 仍容易被理解為：

> 從有限值中恢復被截斷的小數尾部。

OCRRT v0.2 改寫為：

> 描述有限觀測下仍可能成立的殘差集合，並研究該集合如何被新觀測、動態條件與模型限制逐步收縮。

這使理論從「尾部恢復」轉向「尾部可識別性」。

---

# 四、一般狀態空間中的殘差結構

## 4.1 為何不能總是使用加法

在 $\mathbb R$ 或向量空間中，可以寫：

$$
x=T_n(x)+s_nR_n(x).
$$

但對一般狀態空間 $X$ ，例如：

- 流形；
- 圖結構；
- 字串空間；
- 機率分布空間；
- 狀態機；
- 類別結構；
- 世界模型；

加法運算未必有定義。

因此，一般 OCRRT 不能預設：

$$
X
$$

必然具有線性結構。

## 4.2 投影—纖維—重建形式

令：

$$
T_n:X\to X_n
$$

為第 $n$ 層投影。

對每個 $y\in X_n$ ，定義投影纖維：

$$
\mathcal F_n(y)
=
T_n^{-1}(y)
=
\{x\in X:T_n(x)=y\}.
$$

殘差不再必須是一個數字，而可以是一個纖維座標：

$$
R_n:X\to\mathcal R_n.
$$

若存在重建映射：

$$
\mathcal J_n:
X_n\times\mathcal R_n
\to X,
$$

且滿足：

$$
\mathcal J_n(T_n(x),R_n(x))=x,
$$

則稱：

$$
(T_n,R_n,\mathcal J_n)
$$

構成第 $n$ 層的殘差分解系統。

在實數中：

$$
\mathcal J_n(y,r)=y+b^{-n}r.
$$

在非線性空間中， $\mathcal J_n$ 可以是：

- 局部座標重建；
- 圖擴張；
- 字串拼接；
- 測度更新；
- 狀態機細化；
- 生成模型解碼。

---

# 五、觀測、潛在狀態與重建空間

OCRRT v0.2 明確分離三個空間：

$$
X\neq Y\neq Z.
$$

其中：

- $X$ ：潛在狀態空間；
- $Y$ ：觀測空間；
- $Z$ ：重建或模型空間。

令真實狀態為：

$$
x_t\in X.
$$

觀測算子為：

$$
\mathcal O_{t,n}:X\to Y_n.
$$

有限精度觀測為：

$$
y_{t,n}
=
\mathcal O_{t,n}(x_t)
+
\eta_{t,n},
$$

其中 $\eta_{t,n}$ 表示測量誤差、量化誤差或資料處理誤差。

重建器為：

$$
\mathcal E_{t,n}:
Y_{0:t,n}
\to Z.
$$

重建結果：

$$
z_{t,n}
=
\mathcal E_{t,n}(y_{0:t,n}).
$$

但 OCRRT 不預設：

$$
z_{t,n}=x_t.
$$

更安全的表述是：

$$
z_{t,n}
$$

是由特定觀測、模型與精度條件所產生的一個表徵。

---

# 六、候選狀態集合

## 6.1 定義

令模型演化算子為：

$$
F_t:X\to X.
$$

定義第 $t$ 時刻、第 $n$ 精度下的候選狀態集合：

$$
\Gamma_{t,n}
=
\left\{
x\in X:
d_Y\left(
\mathcal O_{s,n}(F_{s:t}(x)),
y_{s,n}
\right)
\le
\varepsilon_{s,n},
\quad
0\le s\le t
\right\}.
$$

其中：

$$
F_{s:t}
$$

表示從候選初始狀態演化至第 $s$ 時刻的動態組合。

$\Gamma_{t,n}$ 不是「真實世界」，而是：

> 在目前觀測、動態模型與誤差界下仍未被排除的世界集合。

## 6.2 累積交集更新

若新觀測到來，應使用：

$$
\Gamma_{t+1,n}
=
F_t(\Gamma_{t,n})
\cap
\left\{
x:
d_Y(\mathcal O_{t+1,n}(x),y_{t+1,n})
\le
\varepsilon_{t+1,n}
\right\}.
$$

這比每次重新獨立建構候選集合更穩健，因為它保留歷史相容性。

## 6.3 嵌套定理

若對精度層級有：

$$
T_n\circ T_{n+m}=T_n,
$$

且觀測誤差集合滿足：

$$
U_{n+m}\subseteq U_n,
$$

並且候選集合由累積交集定義，則：

$$
\Gamma_{t,n+m}
\subseteq
\Gamma_{t,n}.
$$

### 證明概略

高精度觀測包含低精度觀測所要求的資訊，且誤差容許集合不擴張。任何滿足高精度約束的候選狀態，必然也滿足低精度約束，因此包含關係成立。

### 注意

若下列任一條件改變：

- 模型類；
- 觀測算子；
- 誤差定義；
- 資料來源；
- 先驗分布；
- 重建器；

則候選集合可能不再嵌套。

---

# 七、精度證明資料

## 7.1 數值表示不是實作細節

若原始數值具有 100 位小數，但在載入時被轉為 float64，則第 16 位以後的資訊已經被破壞。

此時後續分析所研究的是：

$$
Q_{\mathrm{float64}}(x),
$$

而不再是原始 $x$ 。

因此，每個 OCRRT 計算結果都必須附帶精度證明資料：

$$
\mathcal P_n
=
\left(
p_{\mathrm{source}},
\tau_{\mathrm{numeric}},
\rho_{\mathrm{round}},
p_{\mathrm{effective}},
\mathcal H_{\mathrm{convert}}
\right).
$$

其中：

- $p_{\mathrm{source}}$ ：來源精度；
- $\tau_{\mathrm{numeric}}$ ：數值型別；
- $\rho_{\mathrm{round}}$ ：捨入模式；
- $p_{\mathrm{effective}}$ ：有效位數；
- $\mathcal H_{\mathrm{convert}}$ ：轉換歷史。

## 7.2 精度相容性條件

若研究目標需要解析至第 $n$ 位，至少要求：

$$
p_{\mathrm{effective}}\ge n+\kappa,
$$

其中 $\kappa$ 是為動態放大、中間運算與消去誤差保留的安全位數。

若：

$$
p_{\mathrm{effective}}<n,
$$

則任何第 $n$ 層殘差結論都只能被標記為：

> 表示層不可識別。

---

# 八、跨精度穩定性的修訂

## 8.1 局部跨精度差異

令：

$$
z_{t}^{(n)}
=
\mathcal E_{t,n}(y_{0:t,n}).
$$

定義局部跨度 $m$ 下的跨精度差異：

$$
\Xi_{n,m}(t)
=
d_Z\left(
z_t^{(n)},
z_t^{(n+m)}
\right).
$$

$\Xi_{n,m}(t)$ 可以描述從第 $n$ 層提升至第 $n+m$ 層時，重建結果改變多少。

但：

$$
\Xi_{n,m}(t)\to0
$$

對固定 $m$ 成立，不足以保證整體收斂。

## 8.2 Cauchy 精度穩定性

定義重建序列在時刻 $t$ 上具有**Cauchy 精度穩定性**，若：

$$
\forall\varepsilon>0,
\exists N,
\forall p,q\ge N:
d_Z\left(
z_t^{(p)},
z_t^{(q)}
\right)
<
\varepsilon.
$$

若 $Z$ 完備，則存在：

$$
z_t^{(\infty)}\in Z
$$

使：

$$
z_t^{(n)}
\to
z_t^{(\infty)}.
$$

## 8.3 集合值重建的穩定性

若重建輸出是集合：

$$
\Gamma_{t,n}\subseteq X,
$$

則可使用 Hausdorff 距離：

$$
d_H(\Gamma_{t,p},\Gamma_{t,q}).
$$

定義集合值精度穩定性：

$$
\forall\varepsilon>0,
\exists N,
\forall p,q\ge N:
d_H(\Gamma_{t,p},\Gamma_{t,q})
<
\varepsilon.
$$

這比單點重建更符合逆問題與有限觀測的本質。

---

# 九、動態放大與可信時間窗

令：

$$
x_{t+1}=F(x_t).
$$

有限精度初值為：

$$
\tilde x_0
=
T_n(x_0).
$$

初始差異：

$$
\delta_0
=
x_0-\tilde x_0
=
b^{-n}R_n^{\mathrm{ontic}}(x_0).
$$

若 $F$ 可微，則局部線性化給出：

$$
\delta_t
\approx
DF^t_{x_0}[\delta_0].
$$

在一維中：

$$
|\delta_t|
\approx
|\delta_0|
\prod_{k=0}^{t-1}|F'(x_k)|.
$$

若存在平均 Lyapunov 指數 $\lambda>0$ ，則統計上：

$$
|\delta_t|
\sim
b^{-n}|R_n(x_0)|e^{\lambda t}.
$$

令可接受誤差閾值為 $\theta$ ，則可信時間窗近似為：

$$
t_{n,\theta}
\approx
\frac{
n\ln b
+
\ln\theta
-
\ln|R_n(x_0)|
}{
\lambda
}.
$$

因此，每增加一位基數 $b$ 的精度，可信時間平均增加：

$$
\Delta t
\approx
\frac{\ln b}{\lambda}.
$$

### 注意

此式是局部或漸近近似，不是每條有限軌道上的精確等式。當：

- 誤差接近宏觀尺度；
- 軌道穿越臨界點；
- 非線性飽和；
- 導數接近零；
- 模型本身失配；

線性化將逐漸失效。

---

# 十、動態正向—逆向一致性

## 10.1 正向預測一致性

由重建狀態：

$$
z_t
$$

產生下一步預測：

$$
\widehat z_{t+1}
=
F_t(z_t).
$$

再映射回觀測空間：

$$
\widehat y_{t+1}
=
H_{t+1}(\widehat z_{t+1}).
$$

定義正向殘差：

$$
\varepsilon_{t+1}^{\rightarrow}
=
d_Y(y_{t+1},\widehat y_{t+1}).
$$

## 10.2 逆向可行性

定義與完整觀測歷史相容的重建候選集合：

$$
\Gamma_t(y_{0:t})
=
\left\{
z\in Z:
d_Y\left(
H_s(F_{s:t}(z)),
y_s
\right)
\le
\varepsilon_s,
\quad
0\le s\le t
\right\}.
$$

逆向結果一般是集合，而非唯一點。

## 10.3 循環一致性

對觀測 $y$ ：

$$
\varepsilon_{\mathrm{cyc}}(y)
=
d_Y(H(\mathcal E(y)),y).
$$

對重建 $z$ ：

$$
\delta_{\mathrm{cyc}}(z)
=
d_Z(\mathcal E(H(z)),z).
$$

但低循環殘差只表示編碼器與解碼器彼此一致，不保證它們與真實世界一致。

因此還需要：

- 獨立資料；
- 跨儀器觀測；
- 跨尺度驗證；
- 跨模型比較；
- 外部約束；
- 反事實測試。

---

# 十一、區域分類：支持、驗證與已證

OCRRT v0.2 將狀態區域分成三層。

## 11.1 有限證據支持區域

$$
\mathcal S_t
=
\left\{
z:
\Delta_t(z)\le\varepsilon_t
\right\}.
$$

此區域表示目前計算或資料支持，尚不具有嚴格覆蓋證明。

## 11.2 計算驗證區域

$$
\mathcal V_t
=
\left\{
z:
\Delta_t(z)\le\varepsilon_t,
\quad
\text{且通過指定有限驗證流程}
\right\}.
$$

例如：

- 完整宣告網格；
- 邊界測試；
- 反例搜索；
- 重複種子測試；
- 殘差閾值；
- 敏感度檢驗。

## 11.3 已證區域

只有當存在可機器檢查的嚴格證書時，才定義：

$$
\mathcal C_t.
$$

可接受的證書包括：

- 區間算術包絡；
- SMT 證明；
- Lean／Coq 證明；
- 形式化不變量；
- 嚴格誤差界；
- 完整有限域枚舉證書。

因此：

$$
\mathcal C_t
\subseteq
\mathcal V_t
\subseteq
\mathcal S_t.
$$

未決區域為：

$$
\mathcal U_t
=
\mathcal A_t\setminus\mathcal C_t.
$$

---

# 十二、區間、機率與模糊集合

OCRRT 不應把所有不確定性都稱為「模糊」。

## 12.1 可容許區間

若只知道：

$$
x\in[a,b],
$$

則稱為可容許區間或保證區間。

## 12.2 信賴區間與可信區間

若存在抽樣模型，可使用：

- 頻率學派信賴區間；
- 貝葉斯可信區間；
- 預測區間。

## 12.3 模糊可行域

只有在明確定義隸屬函數：

$$
\mu(x)\in[0,1]
$$

時，才使用模糊集合：

$$
\widetilde A
=
\{(x,\mu(x))\}.
$$

因此，OCRRT 建議優先使用：

- 可容許；
- 未決；
- 機率；
- 已證；
- 支持；

而不是把不同來源的不確定性全部混稱為模糊。

---

# 十三、觀測—重建對應量

## 13.1 觀測誘導指標

令：

$$
I_t^{\mathrm{obs}}
=
\Phi_t(y_{0:t}).
$$

它是由真實觀測資料所誘導的指標。

## 13.2 重建誘導指標

令：

$$
I_t^{\mathrm{rec}}
=
\Psi_t(z_t).
$$

它是由模型或重建狀態所誘導的指標。

兩者可能位於不同空間：

$$
I_t^{\mathrm{obs}}\in K_{\mathrm{obs}},
\qquad
I_t^{\mathrm{rec}}\in K_{\mathrm{rec}}.
$$

因此不能直接相減。

引入對齊映射：

$$
A_{\mathrm{obs}}:
K_{\mathrm{obs}}\to K,
$$

$$
A_{\mathrm{rec}}:
K_{\mathrm{rec}}\to K.
$$

定義跨表徵指標殘差：

$$
\Delta_t^{\mathrm{cross}}
=
d_K\left(
A_{\mathrm{obs}}(I_t^{\mathrm{obs}}),
A_{\mathrm{rec}}(I_t^{\mathrm{rec}})
\right).
$$

此量衡量的是：

> 觀測表徵與重建表徵在共同比較空間中的不一致程度。

它不等於「虛擬與現實的距離」，因為現實本身並未被完整映射成單一數值。

---

# 十四、數位分身的重新定義

傳統數位分身容易被誤解為：

> 在虛擬空間中複製一個現實實體。

OCRRT v0.2 將其改寫為：

## 觀測約束動態重建系統  
### Observation-Constrained Dynamical Reconstruction System

其核心不是複製，而是：

1. 接收有限觀測；
2. 維持候選狀態集合；
3. 根據動態模型推進候選；
4. 使用新觀測排除不相容候選；
5. 追蹤精度與表示歷史；
6. 輸出支持區域、未決區域與風險界。

因此，數位分身的合理形式不是：

$$
z_t=x_t,
$$

而是：

$$
x_t\in\Gamma_t,
$$

以及：

$$
z_t
=
\operatorname{Rep}(\Gamma_t).
$$

其中 $\operatorname{Rep}$ 可以是：

- 中心估計；
- 最大後驗狀態；
- 區間包絡；
- 候選集合摘要；
- 多模型集成；
- 生成式代表狀態。

---

# 十五、OCRRT v0.2 核心結構

OCRRT v0.2 定義為：

$$
\mathfrak O
=
\left(
X,
Y,
Z,
\{T_n\},
\{R_n^{\mathrm{ontic}}\},
\{\mathfrak R_n^{\mathrm{epistemic}}\},
\mathcal O,
\mathcal E,
F,
H,
\{\Gamma_{t,n}\},
\{\mathcal P_n\},
\mathcal S,
\mathcal V,
\mathcal C,
\mathcal U
\right).
$$

其中：

- $X$ ：潛在狀態空間；
- $Y$ ：觀測空間；
- $Z$ ：重建空間；
- $T_n$ ：有限投影；
- $R_n^{\mathrm{ontic}}$ ：本體殘差；
- $\mathfrak R_n^{\mathrm{epistemic}}$ ：認識殘差集合；
- $\mathcal O$ ：觀測算子；
- $\mathcal E$ ：重建算子；
- $F$ ：動態演化；
- $H$ ：重建到觀測空間的映射；
- $\Gamma_{t,n}$ ：候選狀態集合；
- $\mathcal P_n$ ：精度證明資料；
- $\mathcal S$ ：有限證據支持區域；
- $\mathcal V$ ：計算驗證區域；
- $\mathcal C$ ：已證區域；
- $\mathcal U$ ：未決區域。

---

# 十六、四元核心

OCRRT v0.2 最重要的新核心是：

$$
\boxed{
\left(
R_n^{\mathrm{ontic}},
\mathfrak R_n^{\mathrm{epistemic}},
\Gamma_{t,n},
\mathcal P_n
\right)
}
$$

它們分別回答：

### 1. 本體殘差

真實狀態在第 $n$ 層以下實際具有什麼尾部？

### 2. 認識殘差集合

有限觀測下，哪些尾部仍可能成立？

### 3. 候選狀態集合

哪些完整世界仍與目前資料、模型與誤差界相容？

### 4. 精度證明資料

這些結論建立在何種數值型別、來源精度、捨入規則與轉換歷史上？

任何缺少其中一項的殘差重建結論，都是不完整的。

---

# 十七、可識別性層級

OCRRT 將重建能力分成五層。

## 第一層：數值可識別

可以縮小某個數值範圍。

## 第二層：符號可識別

可以判定某些數位、符號或離散狀態。

## 第三層：結構可識別

可以恢復生成規則、圖結構或約束關係。

## 第四層：動態可識別

可以恢復演化規則、敏感方向或可信時間窗。

## 第五層：世界模型可識別

可以維持一族與觀測相容的世界模型，並隨新觀測持續收縮。

OCRRT 不預設高層可識別性能由低層自動推出。

即使數值尾部不可唯一恢復，某些結構或動態參數仍可能可以識別。

反之，即使某些小數位已知，也不代表完整世界模型可以唯一確定。

---

# 十八、FELRA 實作建議

FELRA 現有功能可承載：

- 有限域命題驗證；
- 邊界測試；
- 反例搜索；
- 殘差統計；
- 局部有限差分敏感度；
- 外部資料；
- 重複實驗；
- 證據包。

但 OCRRT v0.2 建議新增五種分析類型。

## 18.1 `precision_ladder`

輸入不同精度層級：

$$
n_1<n_2<\cdots<n_k.
$$

輸出：

- 跨精度差異；
- Cauchy 指標；
- 候選集合直徑；
- 收斂或發散診斷；
- 數值型別與有效位數警告。

## 18.2 `trajectory_divergence`

比較：

$$
F^t(x_0)
$$

與：

$$
F^t(T_n(x_0)).
$$

輸出：

- 誤差軌道；
- 閾值穿越時間；
- 局部導數乘積；
- Lyapunov 估計；
- 可信時間窗。

## 18.3 `inverse_set`

輸出集合值逆解：

$$
\Gamma_{t,n}.
$$

可支援：

- 區間；
- 多面體；
- 粒子集合；
- 網格集合；
- 符號約束；
- SMT 可行域。

## 18.4 `candidate_contraction`

計算：

$$
\operatorname{diam}(\Gamma_{t,n}),
$$

以及：

$$
\frac{
\operatorname{diam}(\Gamma_{t,n+1})
}{
\operatorname{diam}(\Gamma_{t,n})
}.
$$

用以衡量新精度或新觀測提供多少辨識力。

## 18.5 `interval_certificate`

使用：

- 區間算術；
- 有向捨入；
- 嚴格上下界；
- 可驗證證書；

將有限支持區域提升為已證區域。

---

# 十九、命題、定理與猜想

## 命題一：實數基數殘差分解

對任意 $x\in\mathbb R$ 、 $b\ge2$ 與 $n\ge0$ ：

$$
x
=
T_n^{(b)}(x)
+
b^{-n}R_n^{\mathrm{ontic},(b)}(x).
$$

此式為精確恆等式。

## 命題二：殘差移位

$$
R_{n+1}^{\mathrm{ontic},(b)}(x)
=
\{bR_n^{\mathrm{ontic},(b)}(x)\}.
$$

因此，基數尾部形成一個 Bernoulli 型移位動力系統。

## 命題三：有限投影的非唯一性

若：

$$
T_n(x_1)=T_n(x_2),
$$

則不必有：

$$
x_1=x_2.
$$

因此有限投影的逆映射一般為集合值。

## 定理一：相容精度下的候選集合嵌套

若投影相容、誤差集合嵌套，且候選集合以累積交集更新，則：

$$
\Gamma_{t,n+1}\subseteq\Gamma_{t,n}.
$$

## 定理二：Cauchy 精度穩定性

若 $Z$ 完備且：

$$
\{z_t^{(n)}\}
$$

為 Cauchy 序列，則存在唯一：

$$
z_t^{(\infty)}\in Z
$$

使：

$$
z_t^{(n)}\to z_t^{(\infty)}.
$$

## 猜想一：殘差可識別性相變

對某些逆問題，存在臨界精度 $n^\ast$ ，使：

$$
n<n^\ast
$$

時候選集合仍高度多重，而：

$$
n\ge n^\ast
$$

時其直徑快速收縮。

## 猜想二：殘差價值非單調性

更多小數位不必然總是提高實際預測能力。當模型誤差、觀測噪聲或數值不穩定超過新增資訊價值時，存在最佳有效精度：

$$
n_{\mathrm{opt}}<\infty.
$$

## 猜想三：跨表徵殘差下界

當觀測表徵與重建表徵之間存在不可逆範疇差異時，跨表徵指標殘差可能具有非零下界：

$$
\inf_z
\Delta_t^{\mathrm{cross}}(z)
>
0.
$$

這代表某些現實特徵不能被目前重建範疇完全等價表示。

---

# 二十、理論邊界

OCRRT 不主張：

1. 任意有限小數都可以恢復唯一真值；
2. AI 可以由有限資料憑空推知不存在的尾部；
3. 更高精度必然等於更高真實性；
4. 低殘差模型必然具有正確因果結構；
5. 數位分身等同現實本體；
6. float64 足以處理任意深度的小數殘差；
7. 所有殘差都具有預測價值；
8. 所有候選集合最終都會收縮為單點。

OCRRT 所建立的是：

> 對有限觀測、未決殘差、候選世界、動態放大、精度條件與可識別性的統一描述框架。

---

# 二十一、結論

小數點不是資訊的終點。

但小數點後的世界也不能被浪漫化為一個已知而等待恢復的唯一真相。

更嚴格的說法是：

> 有限投影切斷了觀測者對狀態的辨識能力；殘差理論的任務，是描述被切斷之後仍可能存在的狀態、尾部、分支與世界集合。

OCRRT v0.2 因此完成了三個根本轉向。

第一，從「誤差」轉向「狀態與可能集合」。

第二，從「恢復唯一尾部」轉向「研究可識別性與候選集合收縮」。

第三，從「數值結果」轉向「數值結果＋精度證明資料」。

其最終核心不再只是：

$$
x=T_n(x)+b^{-n}R_n(x),
$$

而是：

$$
\boxed{
\text{有限投影}
+
\text{本體殘差}
+
\text{認識殘差集合}
+
\text{候選世界}
+
\text{精度證明資料}
}
$$

由此，有限精度以下的世界不再只是誤差欄中的剩餘物，而成為一個具有自身狀態空間、集合結構、動力學、可識別性、證據層級與重建條件的正式研究領域。

---

# 附錄 A：v0.1 至 v0.2 修訂摘要

| v0.1 問題 | v0.2 修訂 |
|---|---|
| 殘差被理解為單一值 | 區分本體殘差與認識殘差集合 |
| 固定跨度差異趨零被視為穩定 | 改用 Cauchy 精度穩定性 |
| 候選集合被預設自然縮小 | 補上投影相容、誤差嵌套與累積交集條件 |
| 一般空間直接使用加法分解 | 改用投影、纖維與重建映射 |
| 計算支持區域稱為已證區域 | 分為支持、驗證與已證三層 |
| 數值型別未進入理論 | 新增精度證明資料 $\mathcal P_n$ |
| 數位分身被視為現實副本 | 改為觀測約束動態重建系統 |
| 逆向重建預設單點輸出 | 改為集合值候選世界 |

---

# 附錄 B：最小形式規格

一個最小 OCRRT v0.2 系統至少需要：

$$
\left(
X,
Y,
\{T_n\},
R_n^{\mathrm{ontic}},
\mathfrak R_n^{\mathrm{epistemic}},
\Gamma_n,
\mathcal P_n
\right).
$$

並滿足：

1. $T_n$ 可定義有限投影；
2. $R_n^{\mathrm{ontic}}$ 描述已指定狀態的殘差；
3. $\mathfrak R_n^{\mathrm{epistemic}}$ 描述有限觀測下的殘差可能集合；
4. $\Gamma_n$ 描述完整候選狀態；
5. $\mathcal P_n$ 描述數值表示與精度來源；
6. 任何收斂宣稱必須使用 Cauchy 或等價完備性條件；
7. 任何已證宣稱必須附帶可驗證證書。

---

# 附錄 C：核心句

> 重建系統不是現實的副本，而是由有限觀測所約束的一個跨表徵候選結構。

> 小數尾部不是必然可知的真相，而是有限觀測下仍未被排除的世界集合。

> 數值精度不是計算後設資訊，而是重建結論的一部分。

> 真正的殘差研究，不只是計算差多少，而是研究哪些世界仍可能成立。