# Projection Possibility Space Series
## Paper 02 — Dynamic Projection Geometry
### 動畫交互作為連續幾何實驗：從 3D 運動、2.5D 中間態到 2D 投影事件閉合
### Animation Interaction as a Continuous Geometric Experiment: From 3D Motion and 2.5D Intermediate States to 2D Projection-Event Closure

**文件代號：** `PPS-DPG-02-v0.1`  
**版本：** v0.1  
**日期：** 2026-09-21  
**作者：** Neo.K  
**AI 協力研究者：** Aletheia / ChatGPT, GPT-5.6 Sol  
**機構：** EveMissLab／一言諾科技有限公司  
**系列：** Projection Possibility Space / 投影可能性空間系列  
**前置：** Paper 01 — 3D Projection Possibility Space  
**狀態：** `FOUNDATIONAL THEORY / INTERACTIVE GEOMETRIC EXPERIMENT FRAMEWORK`

---

# 摘要

平面幾何問題通常直接在二維座標、邊界曲線、support function、有限參數族或離散圖形上研究。然而，一個二維配置族未必最自然地由二維本身生成。對大量幾何問題而言，三維物體、三維相對姿態、三維切面、三維遮擋與投影方向可以天然生成一個連續的二維配置族。

本文提出：

$$
\boxed{
\textbf{Dynamic Projection Geometry}
}
$$

其核心不是把二維問題「畫成立體圖」，而是把三維空間視為二維可能性空間的生成器。

令三維母體為：

$$
M,
$$

時間相關變換為：

$$
T_t,
$$

投影算子為：

$$
\Pi_t.
$$

則動態二維幾何族寫為：

$$
\boxed{
G_t
=
\Pi_t(T_tM).
}
$$

因此動畫不只是視覺化，而是一條穿越配置空間的連續路徑：

$$
\gamma:
t
\mapsto
G_t.
$$

真正重要的研究對象不只是一系列 frames，而是：

1. 哪些投影幾何型在路徑中出現；
2. 哪些臨界事件使 combinatorial / contact / visibility topology 改變；
3. 哪些幾何態只存在於極短 transition window；
4. 一個有限靜態採樣是否會漏掉這些事件；
5. 如何把動畫交互升級為可審計、可重播、可輸出反例證書的連續幾何實驗。

本文進一步定義：

$$
3D
\rightarrow
2.5D
\rightarrow
2D
$$

三層投影架構。其中 2.5D 不是視覺風格名稱，而是保留 depth、layer order、occlusion、visibility provenance 與局部投影來源的中間幾何狀態。這使最終二維結果可以保留足夠資訊，追溯：

$$
\boxed{
\text{某個 2D 邊界事件究竟由哪一個 3D 結構與哪一次運動生成。}
}
$$

本文最後提出 Dynamic Projection Certificate、Projection Event Ledger、Adaptive Critical-Event Sampling 與 Interactive Counterexample Loop，使動畫交互可從展示層提升為幾何閉合與壓力測試的一部分。

---

# 關鍵詞

dynamic projection geometry、3D-to-2D projection、2.5D state、interactive geometry、continuous geometric experiment、projection event、critical frame、configuration space、counterexample search、geometric closure、animation interaction、visibility topology

---

# 0. 研究定位

本文研究的不是一般電腦動畫。

也不是：

$$
\boxed{
\text{把數學圖形做成漂亮的 3D 動畫。}
}
$$

真正的問題是：

> 如果一個二維幾何配置可以由更高自由度的三維空間生成，那麼是否應該直接在三維中建立母體，讓三維運動連續展開二維可能性，而不是只在二維中手工枚舉有限情形？

本文回答：

$$
\boxed{
\text{是，而且動畫本身可以成為幾何搜尋算子。}
}
$$

因此：

$$
\text{Animation}
\neq
\text{Presentation only}.
$$

更合理的是：

$$
\boxed{
\text{Animation}
=
\text{continuous traversal of a geometric state space}.
}
$$

---

# 1. 三維母體不是結果，而是生成器

令：

$$
M\subset\mathbb R^3
$$

為三維母體。

它可以是：

- rigid body；
- convex body；
- polyhedral body；
- smooth surface；
- articulated system；
- curve / tube；
- deformable mesh；
- implicit field；
- multiple-body assembly。

若只將 $M$ 固定後投影一次，得到：

$$
G
=
\Pi(M).
$$

這只是單張二維結果。

Dynamic Projection Geometry 關心的是一族變換：

$$
T_t,
\qquad
t\in I,
$$

以及可能也隨時間變化的投影：

$$
\Pi_t.
$$

因此：

$$
\boxed{
G_t
=
\Pi_t(T_tM).
}
$$

整個研究物件是：

$$
\boxed{
\mathcal G_\gamma
=
\{G_t:t\in I\}.
}
$$

其中：

$$
\gamma
$$

代表這條動態投影路徑。

---

# 2. 配置空間觀點

令三維系統配置空間為：

$$
\mathcal C_{3D}.
$$

若 $M$ 是剛體，最基本部分可包含：

$$
SE(3).
$$

若再加入 deformation parameters：

$$
\lambda
=
(\lambda_1,\ldots,\lambda_k),
$$

則：

$$
\mathcal C_{3D}
\supset
SE(3)\times\Lambda.
$$

投影設定另形成：

$$
\mathcal P.
$$

因此完整生成空間可以寫成：

$$
\boxed{
\mathcal C
=
\mathcal C_{3D}
\times
\mathcal P.
}
$$

動畫是一條：

$$
\boxed{
\Gamma:
I
\rightarrow
\mathcal C.
}
$$

而二維幾何是 projection map：

$$
\mathscr P:
\mathcal C
\rightarrow
\mathcal G_{2D}.
$$

所以：

$$
\boxed{
G_t
=
\mathscr P(\Gamma(t)).
}
$$

此形式化將「動畫」重新解讀成：

$$
\boxed{
\text{a path through the preimage space of 2D geometries}.
}
$$

---

# 3. 為什麼 3D 能展開 2D 可能性

若只在平面直接構造：

$$
G(\alpha_1,\ldots,\alpha_n),
$$

我們通常必須事先知道：

- 哪些參數重要；
- 哪些 branch 存在；
- 哪些 contact topology 可能發生；
- 哪些退化態值得枚舉。

但三維母體可透過自然運動產生一族投影：

$$
\Pi(T_tM).
$$

其中某些平面現象不必事先被顯式編碼。

例如：

- projected edge 出現；
- projected edge 消失；
- two projected vertices merge；
- apparent cusp formation；
- occlusion swap；
- support direction switching；
- silhouette topology change；
- contact ordering reversal。

所以三維不是增加一個「視覺維度」。

它增加的是：

$$
\boxed{
\text{生成二維狀態的自由度。}
}
$$

---

# 4. 動畫與靜態枚舉的根本差異

靜態枚舉通常得到：

$$
G_{t_1},
G_{t_2},
\ldots,
G_{t_N}.
$$

動畫研究則關心：

$$
\{G_t\}_{t\in I}.
$$

這兩者不同。

因為可能存在：

$$
t^\star
\in
(t_i,t_{i+1})
$$

使：

$$
G_{t^\star}
$$

具有完全不同的臨界結構，而兩端：

$$
G_{t_i},
\qquad
G_{t_{i+1}}
$$

都看不出它。

因此：

$$
\boxed{
\text{finite frame sampling}
\not\Rightarrow
\text{continuous event coverage}.
}
$$

---

# 5. Projection Event

定義：

$$
E
$$

為一個 projection event，若某個投影結構量在：

$$
t=t^\star
$$

發生 qualitative change。

例：

$$
\boxed{
E_{\rm contact}
}
$$

接觸數量改變；

$$
\boxed{
E_{\rm visibility}
}
$$

可見性順序改變；

$$
\boxed{
E_{\rm support}
}
$$

support winner 改變；

$$
\boxed{
E_{\rm topology}
}
$$

projected boundary topology 改變；

$$
\boxed{
E_{\rm degeneracy}
}
$$

出現退化接觸、重根或共線；

$$
\boxed{
E_{\rm branch}
}
$$

投影配置由一個 branch 切換到另一個 branch。

---

# 6. 事件函數

一個事件通常可以由：

$$
f_j(t)
$$

描述。

臨界事件發生在：

$$
\boxed{
f_j(t^\star)=0.
}
$$

例如：

## Contact

$$
f_{\rm c}(t)
=
d(A_t,B_t).
$$

若：

$$
f_{\rm c}(t^\star)=0,
$$

則為接觸。

## Support switch

$$
f_{\rm s}(t)
=
h_A(\theta,t)
-
h_B(\theta,t).
$$

若：

$$
f_{\rm s}(t^\star)=0,
$$

可能發生 support winner exchange。

## Visibility swap

若兩個 surface points 投影到同一像素方向，而深度差：

$$
f_{\rm z}(t)
=
z_1(t)-z_2(t),
$$

則：

$$
f_{\rm z}(t^\star)=0
$$

是 visibility-order event。

---

# 7. Critical Frame 不是普通 Frame

一般動畫 frame：

$$
F_k
$$

只是時間採樣。

Critical frame 則由事件條件定義：

$$
\boxed{
F^\star
=
G_{t^\star},
\qquad
f_j(t^\star)=0.
}
$$

因此 critical frame 應該由：

$$
\text{event isolation}
$$

產生，而不是單純：

$$
\text{FPS sampling}.
$$

---

# 8. 有限取樣可能永久漏掉事件

考慮：

$$
f(t)
=
(t-a)(t-b),
$$

其中：

$$
t_i<a<b<t_{i+1}.
$$

如果只檢查：

$$
f(t_i)>0,
$$

以及：

$$
f(t_{i+1})>0,
$$

就可能錯過：

$$
f(t)<0
$$

在中間整個區間。

所以：

$$
\boxed{
\text{same endpoint classification}
\not\Rightarrow
\text{same classification throughout the interval}.
}
$$

這是動畫交互必須搭配 event-aware sampling 的原因。

---

# 9. 動態投影的三層狀態

本文將投影分成：

$$
\boxed{
3D
\rightarrow
2.5D
\rightarrow
2D.
}
$$

這不是渲染品質分級。

而是資訊保留層級。

---

# 10. 3D Source State

三維 source state 記為：

$$
X_t^{(3)}.
$$

它至少可以包含：

$$
\boxed{
X_t^{(3)}
=
(
M_t,
T_t,
C_t,
L_t
)
}
$$

其中：

- $M_t$：幾何母體；
- $T_t$：transform state；
- $C_t$：camera / projection state；
- $L_t$：layer / object provenance。

三維層保存完整生成資訊。

---

# 11. 2.5D Intermediate State

定義：

$$
X_t^{(2.5)}.
$$

它保留平面位置：

$$
(x,y),
$$

但不立即丟掉：

- depth；
- layer identity；
- source primitive；
- occlusion ordering；
- visible / hidden flag；
- local normal；
- source-body label。

因此可寫：

$$
\boxed{
X_t^{(2.5)}
=
\{
(x_i,y_i,d_i,\ell_i,v_i,p_i)
\}_i.
}
$$

其中：

- $d_i$：depth；
- $\ell_i$：layer；
- $v_i$：visibility；
- $p_i$：provenance。

---

# 12. 為什麼不能直接 3D→2D

如果直接：

$$
3D
\rightarrow
2D,
$$

可能得到同一平面輪廓，但失去：

$$
\boxed{
\text{which 3D configuration produced it}.
}
$$

例如兩個完全不同的三維配置：

$$
X_A^{(3)}
\neq
X_B^{(3)}
$$

可能滿足：

$$
\Pi(X_A^{(3)})
=
\Pi(X_B^{(3)}).
$$

如果最終只保存 2D：

$$
G,
$$

則無法區分其生成歷史。

2.5D 層因此保存：

$$
\boxed{
\text{projection provenance}.
}
$$

---

# 13. Projection Fiber

對一個二維配置：

$$
G,
$$

定義其投影纖維：

$$
\boxed{
\mathcal F_G
=
\{
X\in\mathcal C:
\mathscr P(X)=G
\}.
}
$$

同一個：

$$
G
$$

可能有大量不同三維 preimages。

因此 Dynamic Projection Geometry 不只研究：

$$
G.
$$

還研究：

$$
\boxed{
\mathcal F_G.
}
$$

這使「同樣二維結果」可以被區分成不同生成原因。

---

# 14. 動畫其實在掃 Projection Fiber 的鄰域

若：

$$
G_t
$$

在短時間內幾乎不變，

並不表示三維狀態沒有大幅改變。

可能：

$$
\Gamma(t)
$$

沿著：

$$
\mathcal F_G
$$

中的方向移動。

直到某個臨界時刻：

$$
t^\star,
$$

它離開 fiber-stable region。

此時二維結果突然發生：

$$
\boxed{
\text{projection bifurcation}.
}
$$

---

# 15. Projection-Stratum

將配置空間：

$$
\mathcal C
$$

按投影 combinatorial type 分層：

$$
\boxed{
\mathcal C
=
\bigcup_\alpha
\mathcal S_\alpha.
}
$$

在同一 stratum：

$$
\mathcal S_\alpha,
$$

投影保持相同的基本拓撲／winner ordering／visibility ordering。

stratum 邊界：

$$
\partial\mathcal S_\alpha
$$

則包含 projection events。

---

# 16. 動畫是一條跨 strata 的路徑

動畫：

$$
\Gamma(t)
$$

可以依序穿越：

$$
\mathcal S_{\alpha_1}
\rightarrow
\mathcal S_{\alpha_2}
\rightarrow
\cdots
\rightarrow
\mathcal S_{\alpha_m}.
$$

因此動畫真正的研究輸出之一是：

$$
\boxed{
\text{stratum itinerary}.
}
$$

例如：

```text
S12
→ tangency event
→ S18
→ visibility swap
→ S21
→ contact merge
→ S9
```

這比單純保存影片更接近數學證書。

---

# 17. Generic Finite-Event Proposition

若：

1. 時間區間：
   $$
   I=[a,b]
   $$
   為 compact；
2. event functions：
   $$
   f_1,\ldots,f_N
   $$
   在各 local chart 上 real analytic；
3. 沒有某個：
   $$
   f_j
   $$
   在非空時間區間上 identically zero；
4. event zeros 在 chart-switch 附近沒有無限聚點；

則每個 local chart 中 event times 為離散集合。

在 compact interval 上，若再假設有限 chart cover 與無 event accumulation，可得到：

$$
\boxed{
\text{finite projection-event decomposition}.
}
$$

也就是存在：

$$
a=t_0<t_1<\cdots<t_m=b
$$

使每個 open interval：

$$
(t_i,t_{i+1})
$$

內投影類型穩定。

---

# 18. 為什麼這不是全域無條件定理

若存在：

- fractal motion；
- infinite oscillation；
- Zeno switching；
- nonanalytic deformation；
- infinite contact accumulation；

則 event set 可能不是有限。

所以本文不主張：

$$
\boxed{
\text{所有動畫必有有限事件數。}
}
$$

我們只在明示 regularity / nonaccumulation contract 下使用 finite-event decomposition。

---

# 19. Interaction 是對路徑的即時修改

若使用者拖曳物體、相機或 deformation handle，

其實是在修改：

$$
\Gamma(t).
$$

因此 interaction 不只是：

$$
\text{UI event}.
$$

而是：

$$
\boxed{
\text{configuration-space path editing}.
}
$$

例如使用者拖動旋轉軸：

$$
\omega
\rightarrow
\omega+\delta\omega.
$$

整條未來路徑可能變成：

$$
\Gamma
\rightarrow
\Gamma'.
$$

然後：

$$
G_t
\rightarrow
G_t'.
$$

---

# 20. Interactive Geometry 的真正研究價值

傳統 optimizer 搜尋：

$$
\min_x F(x).
$$

互動幾何則允許人或 AI 直接在幾何結構上施加：

- rotate；
- translate；
- bend；
- stretch；
- change camera；
- change slice；
- change projection；
- change object ordering。

這些操作可能比直接調整抽象參數更容易暴露：

$$
\boxed{
\text{new qualitative configurations}.
}
$$

---

# 21. Human / AI 作為 Counterexample Driver

Interaction driver 可以是：

$$
H
$$

人類；

$$
A
$$

AI Agent；

$$
R
$$

random / algorithmic search。

因此：

$$
\boxed{
\Gamma_{n+1}
=
\mathcal U(
\Gamma_n,
D_n
)
}
$$

其中：

$$
D_n
$$

是 driver 的下一次擾動決策。

若 driver 的目標是找新類型，可以最大化：

$$
\boxed{
\operatorname{Novelty}(G_t)
}
$$

而不是只最小化 objective。

---

# 22. 動畫交互作為反例搜尋

假設現有分類：

$$
\mathcal B
=
\{B_1,\ldots,B_n\}.
$$

對每個新投影：

$$
G_t,
$$

classifier 計算：

$$
C(G_t).
$$

如果：

$$
C(G_t)
\notin
\mathcal B,
$$

則立即標記：

$$
\boxed{
\texttt{UNKNOWN-PROJECTION-CLASS}.
}
$$

此時系統應：

1. freeze current state；
2. bracket event time；
3. 保存 3D source；
4. 保存 2.5D provenance；
5. 保存 2D result；
6. 輸出可重播 counterexample candidate。

---

# 23. 事件優先，不是畫面優先

研究模式下，不應以：

$$
\text{render quality}
$$

作主排序。

更重要的是：

$$
\boxed{
\text{event information density}.
}
$$

例如可定義：

$$
I(t)
=
w_1N_{\rm switches}
+
w_2N_{\rm contacts}
+
w_3N_{\rm degeneracies}
+
w_4N_{\rm unknown}.
$$

高：

$$
I(t)
$$

時間窗優先做：

- slow motion；
- adaptive resampling；
- exact verification；
- snapshot；
- branch extraction。

---

# 24. Adaptive Critical-Event Sampling

固定 FPS：

$$
t_k
=
a+k\Delta t
$$

只是渲染策略。

幾何驗證應使用 adaptive sampling。

若 event monitor 發現：

$$
|f_j(t)|
$$

快速接近零，

則縮小步長：

$$
\Delta t
\rightarrow
\frac12\Delta t.
$$

直到得到：

$$
t_L<t^\star<t_R
$$

且：

$$
|t_R-t_L|
\le
\varepsilon_t.
$$

---

# 25. Event Bracketing Certificate

對 event：

$$
f(t^\star)=0,
$$

可以輸出：

```text
event_type
time_interval
left_sign
right_sign
source_state_hash
projection_operator_hash
local_geometry_hash
```

若：

$$
f(t_L)f(t_R)<0,
$$

且 $f$ 連續，

則：

$$
\exists
t^\star\in(t_L,t_R):
f(t^\star)=0.
$$

這是一個比「影片看起來好像發生切換」更強的證書。

---

# 26. Tangency Event 要更小心

如果：

$$
f(t^\star)=0
$$

但：

$$
f'(t^\star)=0,
$$

則可能沒有 sign change。

因此只用：

$$
f(t_L)f(t_R)<0
$$

會漏掉 tangency。

需要額外監控：

$$
\min_{t\in[t_L,t_R]}
|f(t)|.
$$

或者使用：

- derivative interval；
- root isolation；
- local polynomial model；
- interval Newton；
- certified minimization。

---

# 27. Topology Event 與 Metric Event 不同

Metric event：

$$
d(t)=0.
$$

Topology event 則可能是：

$$
\boxed{
\text{ordering / incidence relation changes}.
}
$$

例如三個 projected edges 的 cyclic ordering：

$$
e_1,e_2,e_3
$$

變成：

$$
e_1,e_3,e_2.
$$

這可能在一個 determinant 為零時發生：

$$
\det(v_1,v_2)=0.
$$

所以 event system 不能只監控距離。

---

# 28. Visibility Event

2.5D 層特別重要的事件是：

$$
\boxed{
\text{visibility swap}.
}
$$

若兩個 source primitives：

$$
P_i,
P_j
$$

投影重疊，

且：

$$
d_i(t)-d_j(t)
$$

變號，

則：

$$
\boxed{
\text{front/back ordering changes}.
}
$$

若直接 3D→2D 丟棄 depth，

此事件可能無法被正確解釋。

---

# 29. Silhouette Event

物體 silhouette 是 projection 最常見的幾何對象之一。

對 smooth surface：

$$
S,
$$

silhouette points 滿足：

$$
n(p)\cdot v=0,
$$

其中：

- $n(p)$：surface normal；
- $v$：view direction。

當：

$$
v=v(t)
$$

移動時，

silhouette curve 在 surface 上也移動。

因此：

$$
\boxed{
\text{camera animation itself generates a family of boundary geometries}.
}
$$

---

# 30. Slice Animation

除了 projection，也可令切面：

$$
H_t
$$

移動。

得到：

$$
\boxed{
G_t
=
M\cap H_t.
}
$$

這是 section family，而不是 ordinary projection。

但在 Dynamic Projection Geometry 中可作為同一大框架的另一種 reduction operator：

$$
\mathscr R_t.
$$

因此一般寫：

$$
\boxed{
G_t
=
\mathscr R_t(T_tM),
}
$$

其中：

$$
\mathscr R_t
$$

可以是：

- projection；
- slice；
- shadow；
- depth reduction；
- silhouette extraction；
- visible-boundary extraction。

---

# 31. 2.5D Layer as a Mathematical Carrier

2.5D 不應只保存 pixel depth。

更完整可寫：

$$
\boxed{
Y_t
=
(
G_t,
D_t,
V_t,
P_t,
L_t
).
}
$$

其中：

- $G_t$：2D geometry；
- $D_t$：depth field；
- $V_t$：visibility relation；
- $P_t$：provenance map；
- $L_t$：layer / source labeling。

因此 2.5D 是：

$$
\boxed{
\text{a provenance-preserving projection state}.
}
$$

---

# 32. Dynamic Projection Graph

每個 stable projection stratum 建成 node：

$$
N_\alpha.
$$

每個 projection event 建成 edge：

$$
E_{\alpha\beta}.
$$

得到：

$$
\boxed{
\mathcal G_{\rm DP}
=
(V,E).
}
$$

其中：

$$
V
=
\{
\text{stable projection classes}
\},
$$

$$
E
=
\{
\text{critical transitions}
\}.
$$

動畫路徑就是 graph walk：

$$
N_{\alpha_1}
\rightarrow
N_{\alpha_2}
\rightarrow
\cdots.
$$

---

# 33. 動態閉合不是「影片播完」

一個 animation clip 結束不代表 possibility space closed。

Dynamic closure 應至少區分：

## Path closure

特定路徑：

$$
\Gamma
$$

已被完整 event-decomposed。

## Family closure

一族路徑：

$$
\{\Gamma_\lambda\}
$$

的事件類型已完整分類。

## Configuration closure

整個 admissible：

$$
\mathcal C_{\rm adm}
$$

的 projection classes 已被涵蓋。

所以：

$$
\boxed{
\text{one animation}
\not\Rightarrow
\text{global closure}.
}
$$

---

# 34. Dynamic Projection Certificate

定義：

$$
\boxed{
C_{\rm DP}
}
$$

為一條動畫路徑的動態投影證書。

最低包含：

```text
source_geometry_hash
source_state_schema
transform_path
projection_operator
time_domain
event_functions
event_intervals
stable_strata
critical_frames
2.5D provenance snapshots
2D outputs
verifier_version
numerical_policy
known_unresolved_intervals
```

---

# 35. Certificate Authority 分層

## Level 0 — Visual Animation

只可觀看。

## Level 1 — Replayable Animation

可重播相同 motion。

## Level 2 — Event-Logged Animation

保存 critical events。

## Level 3 — Numerically Verified Event Path

每個 event 有 bracket / residual。

## Level 4 — Interval-Certified Event Path

critical times 與 inequalities 使用 interval arithmetic。

## Level 5 — Formally Connected Dynamic Certificate

event decomposition 與 theorem layer 接上 formal proof。

---

# 36. Blender / Game Engine 的正確角色

Blender、Unity、Unreal、Godot 等工具非常適合：

- scene construction；
- rigging；
- motion；
- camera；
- interactive manipulation；
- animation；
- shader / visibility；
- real-time UI。

但：

$$
\boxed{
\text{renderer}
\neq
\text{proof authority}.
}
$$

最合理架構是：

$$
\boxed{
\text{Canonical Geometry Runtime}
\rightarrow
\text{Scene Adapter}
\rightarrow
\text{Blender / Engine}
}
$$

而不是：

$$
\text{mesh render}
\rightarrow
\text{mathematical truth}.
$$

---

# 37. Canonical State 與 Render State 必須分離

定義：

$$
X_{\rm canonical}
$$

與：

$$
X_{\rm render}.
$$

render state 可以包含：

- triangulation；
- LOD；
- smoothing；
- shader；
- antialiasing；
- approximate mesh。

canonical state 則保存：

- exact / high-precision coordinates；
- analytic primitives；
- interval bounds；
- provenance；
- topology relations。

因此：

$$
\boxed{
X_{\rm render}
=
R(X_{\rm canonical}),
}
$$

但：

$$
\boxed{
X_{\rm render}
\text{ 不得反過來成為唯一真值來源。}
}
$$

---

# 38. 動畫中的數值誤差

動畫系統常使用 floating-point。

因此可能發生：

- z-fighting；
- epsilon contact；
- topology flicker；
- unstable normal；
- mesh self-intersection；
- Boolean tolerance artefact。

所以 visual event：

$$
E_{\rm visual}
$$

必須與 mathematical event：

$$
E_{\rm math}
$$

分開。

若兩者不一致，優先標記：

```text
RENDER/MATH DISAGREEMENT
```

而不是自動選一邊。

---

# 39. Event Mutation Test

為避免 verifier 只會「同意 emitter」，

可以故意修改：

- event time；
- transform；
- projection matrix；
- source object；
- support label；
- depth ordering。

若 verifier 仍 PASS，

代表 dynamic certificate 不可信。

因此每個成熟系統都應有：

$$
\boxed{
\text{event mutation testing}.
}
$$

---

# 40. 連續幾何實驗

本文因此定義：

$$
\boxed{
\textbf{Continuous Geometric Experiment}
}
$$

為一個 tuple：

$$
\boxed{
\mathfrak E
=
(
M,
\Gamma,
\mathscr R,
\mathcal E,
\mathcal V
).
}
$$

其中：

- $M$：source geometry；
- $\Gamma$：configuration path；
- $\mathscr R$：reduction / projection operator；
- $\mathcal E$：event detector；
- $\mathcal V$：verifier。

---

# 41. Experiment Output 不只是影片

輸出至少分：

$$
\boxed{
O_{\rm visual}
}
$$

影片／互動畫面；

$$
\boxed{
O_{\rm event}
}
$$

event ledger；

$$
\boxed{
O_{\rm geometry}
}
$$

critical geometry states；

$$
\boxed{
O_{\rm certificate}
}
$$

可重播證書；

$$
\boxed{
O_{\rm counterexample}
}
$$

新未知類或反例候選。

---

# 42. Projection Novelty

令已知類型：

$$
\mathcal K
=
\{K_1,\ldots,K_n\}.
$$

新狀態：

$$
G_t
$$

的 novelty 可寫成：

$$
\boxed{
N(G_t)
=
\min_i
d_{\rm class}(G_t,K_i).
}
$$

高 novelty：

$$
N(G_t)\gg0
$$

代表值得：

- freeze；
- isolate；
- classify；
- verify。

---

# 43. Interaction Policy 可以被最佳化

如果目標不是最小 area，而是最大化未知類發現率，可以設定：

$$
\boxed{
\max_{\Gamma}
\int_I
N(G_t)
\,dt.
}
$$

或者：

$$
\boxed{
\max_{\Gamma}
\#\{
\text{new event classes encountered}
\}.
}
$$

這就是：

$$
\boxed{
\text{adversarial animation search}.
}
$$

---

# 44. 由人類拖曳到 AI 自動探索

人類 interaction：

$$
u_H(t)
$$

可被記錄成 control sequence。

AI 可以學習：

$$
\pi_A:
X_t
\mapsto
u_A(t).
$$

目標可以是：

$$
\boxed{
\text{maximize counterexample discovery}.
}
$$

因此動畫工作台可以從：

```text
human visualization tool
```

逐步升成：

```text
agentic geometric exploration runtime
```

---

# 45. 與一般數值模擬的差異

一般 simulation 常問：

> 給定方程後，狀態如何隨時間演化？

Dynamic Projection Geometry 可以沒有任何物理時間。

這裡：

$$
t
$$

只需要是 path parameter。

所以：

$$
\boxed{
t
\text{ 不必等於 physical time}.
}
$$

它可以表示：

- interpolation；
- homotopy；
- sweep parameter；
- camera angle；
- deformation magnitude；
- search trajectory。

---

# 46. 與 Homotopy 的關係

一條 animation path：

$$
G_t
$$

本質上可視為某種幾何 homotopy。

但 Dynamic Projection Geometry 額外強調：

1. 高維 source provenance；
2. 2.5D intermediate state；
3. projection event detection；
4. interactive path editing；
5. certificate / counterexample output。

所以：

$$
\boxed{
\text{Dynamic Projection Geometry}
\supset
\text{visual homotopy use case}.
}
$$

---

# 47. 與 Motion Planning 的關係

motion planning 通常研究：

$$
\Gamma:
[0,1]
\rightarrow
\mathcal C_{\rm free}
$$

避免 collision。

本文反而可能故意尋找：

$$
\partial\mathcal C_{\rm free}.
$$

因為 contact / degeneracy 正是高資訊區。

因此：

$$
\boxed{
\text{motion planning avoids critical sets;}
}
$$

而：

$$
\boxed{
\text{projection stress testing seeks critical sets.}
}
$$

---

# 48. 與 Computational Geometry 的關係

Computational geometry 已大量研究：

- arrangements；
- visibility；
- convex hull；
- Voronoi；
- kinetic data structures。

Dynamic Projection Geometry 與 kinetic geometry 特別接近。

但本文的額外重點是：

$$
\boxed{
\text{higher-dimensional source}
\rightarrow
\text{interactive projected possibility space}
\rightarrow
\text{certificate closure}.
}
$$

因此不是替代現有 computational geometry，而是把多種工具統合到一個可交互的 projection-search runtime。

---

# 49. Kinetic Certificate View

可借用 kinetic data structure 的思想。

對每個穩定狀態維持一組 certificates：

$$
c_1(t)>0,
\ldots,
c_m(t)>0.
$$

當某個：

$$
c_j(t^\star)=0
$$

時觸發 event。

因此一個 animation interval 內不需要每幀重新推理全部 topology。

只要維持：

$$
\boxed{
\text{event certificates}.
}
$$

---

# 50. Dynamic Projection Closure 的最小目標

對一條固定 path：

$$
\Gamma,
$$

如果能得到：

1. finite stable intervals；
2. all critical event brackets；
3. each interval classification；
4. exact / certified transition types；
5. no unresolved time interval；

則可標記：

$$
\boxed{
\texttt{PATH-CLOSED}.
}
$$

---

# 51. Family Closure

若一族路徑：

$$
\Gamma_\lambda,
\qquad
\lambda\in\Lambda
$$

都有 path certificates，

仍不等於 family closed。

還需證明：

$$
\boxed{
\Lambda
=
\bigcup_{i=1}^{N}\Lambda_i
}
$$

且每個 parameter cell：

$$
\Lambda_i
$$

的 event graph 都被控制。

這才是：

$$
\boxed{
\texttt{FAMILY-CLOSED}.
}
$$

---

# 52. 為什麼這對幾何問題特別重要

很多幾何 conjecture 的漏洞不在普通狀態，

而在：

$$
\boxed{
\text{transition states}.
}
$$

例如：

- exactly tangent；
- exactly coplanar；
- exactly collinear；
- exactly support-tied；
- exactly visibility-tied；
- exactly at topology switch。

如果只看穩態，

這些狀態很容易被忽略。

---

# 53. Lebesgue 幾何作為未來 Case Study

Lebesgue universal covering 類問題具有：

- rotation；
- translation；
- support function；
- contact sequence；
- convex hull；
- witness placement；
- topology wall；

因此天然適合 Dynamic Projection Geometry。

但本文不依賴 Lebesgue。

更一般地，只要問題含：

$$
\boxed{
\text{continuous geometric degrees of freedom}
}
$$

與：

$$
\boxed{
\text{projection / reduction to lower-dimensional observable states},
}
$$

就可以使用本文框架。

---

# 54. Lebesgue 中可以如何使用

未來可以建立三維母體：

$$
M
$$

讓：

- witness；
- container；
- support plane；
- projection plane；
- camera；

可相對運動。

每一時刻投影：

$$
G_t
$$

回二維。

系統同步計算：

- convexity；
- width；
- support signature；
- contact graph；
- area；
- covering status；
- branch label。

動畫中任何：

$$
\texttt{UNKNOWN}
$$

都立即變成反例候選。

---

# 55. 但三維投影不能替代平面證明

這一點必須明確。

即使：

$$
10^{12}
$$

條動畫路徑都沒有找到反例，

仍然不直接推出：

$$
\boxed{
\forall G\in\mathcal A,
P(G).
}
$$

動畫壓測提供的是：

$$
\boxed{
\text{adversarial evidence}
}
$$

而不是無條件全域 theorem。

真正 global closure 仍需：

- exhaustive parameter cover；
- analytic reduction；
- interval certificate；
- formal argument；
- 或其他可證明的 completeness mechanism。

---

# 56. 動畫真正能補的是哪一層

它最強的地方是：

$$
\boxed{
\text{discovering missing branches}
}
$$

以及：

$$
\boxed{
\text{exposing transition geometries}.
}
$$

所以它特別適合放在：

$$
\text{near-closure}
$$

階段。

當數學已認為：

$$
\mathcal B
=
\{B_1,\ldots,B_n\}
$$

接近完備，

就用 Dynamic Projection Geometry 故意嘗試生成：

$$
B_{n+1}.
$$

---

# 57. Failure Is Success

在最後壓力測試中，

如果 animation 找到：

$$
G^\star
\notin
\bigcup_iB_i,
$$

這不是系統失敗。

而是：

$$
\boxed{
\text{the stress test succeeded}.
}
$$

因為它阻止了 false closure。

---

# 58. Replayability

每個重要 animation 不應只存：

```text
.mp4
```

而要存：

```text
source geometry
initial state
control path
projection settings
event ledger
critical states
certificate
```

即：

$$
\boxed{
\text{video is evidence rendering, not canonical experiment state}.
}
$$

---

# 59. Canonical Animation Source

正式研究 artifact 可以使用：

```text
scene.json
motion.json
projection.json
events.jsonl
certificate.json
```

加上：

```text
README.md
```

Blender project：

```text
.blend
```

可以是工作載體，

但不應是唯一 canonical mathematical source。

---

# 60. Cross-Runtime Replay

成熟系統應允許：

$$
\boxed{
\text{Blender}
\rightarrow
\text{independent geometry runtime}
}
$$

重播同一：

$$
\Gamma.
$$

或者：

$$
\boxed{
\text{Runtime A}
\leftrightarrow
\text{Runtime B}.
}
$$

若兩個 runtime 對 event ordering 不一致，

應標記：

```text
CROSS-RUNTIME DISAGREEMENT
```

---

# 61. 動畫交互與證書義務

動畫交互的 certificate obligation 不應是：

> 畫面看起來連續。

而應是：

1. source state 可重播；
2. transform path 明示；
3. projection operator 明示；
4. event functions 明示；
5. event intervals 可驗證；
6. unresolved intervals 明示；
7. critical state 可重建。

---

# 62. Dynamic Projection Research Loop

本文建議完整循環：

$$
\boxed{
\text{Build}
\rightarrow
\text{Move}
\rightarrow
\text{Project}
\rightarrow
\text{Observe}
\rightarrow
\text{Detect}
\rightarrow
\text{Freeze}
\rightarrow
\text{Verify}
\rightarrow
\text{Classify}
\rightarrow
\text{Continue}.
}
$$

---

# 63. 與 Paper 01 的關係

Paper 01 建立核心主張：

$$
\boxed{
3D
\text{ can serve as an expansion space for 2D possibilities}.
}
$$

Paper 02 進一步回答：

> 這個 expansion space 應該如何被連續地掃描？

答案是：

$$
\boxed{
\text{animation interaction}.
}
$$

---

# 64. 與下一篇的關係

本文目前仍把：

- 誰在觀察；
- 什麼是客體；
- 哪一個 boundary / interface 決定投影；

保持在較抽象的 operator 內。

下一篇將正式拆開：

$$
\boxed{
S
=
\text{Subject},
}
$$

$$
\boxed{
O
=
\text{Object},
}
$$

$$
\boxed{
\partial
=
\text{Boundary / Interface}.
}
$$

因此下一篇為：

$$
\boxed{
\textbf{Paper 03 — Subject–Object–Boundary Geometry}.
}
$$

---

# 65. 本文主要命題總結

## 命題 A

$$
\boxed{
\text{Animation can be treated as a continuous path in geometric configuration space.}
}
$$

## 命題 B

$$
\boxed{
\text{3D motion can generate 2D configurations not naturally exposed by direct static 2D enumeration.}
}
$$

## 命題 C

$$
\boxed{
\text{2.5D is a provenance-preserving intermediate state, not merely a rendering style.}
}
$$

## 命題 D

$$
\boxed{
\text{critical projection events must be isolated independently of ordinary frame sampling.}
}
$$

## 命題 E

$$
\boxed{
\text{interactive animation can operate as a counterexample-search interface.}
}
$$

## 命題 F

$$
\boxed{
\text{visual replay is weaker than a Dynamic Projection Certificate.}
}
$$

---

# 66. 非主張範圍

本文不主張：

1. 所有二維幾何問題都應升到三維；
2. 所有三維投影都比直接二維分析有效；
3. 一條動畫可以證明無限配置空間閉合；
4. Blender 或遊戲引擎可以直接充當 theorem prover；
5. finite FPS 足以保證 critical events 不遺漏；
6. 所有 event set 都必然有限；
7. 2.5D 是唯一中間表示；
8. 動畫沒有找到反例就等於 theorem 成立；
9. interaction 可取代 interval arithmetic 或 formal proof；
10. 目前 Lebesgue 問題已被此框架閉合。

---

# 67. 結論

本文把「動畫」從視覺表現重新定義為：

$$
\boxed{
\textbf{continuous geometric experimentation}.
}
$$

三維母體：

$$
M
$$

不是最終研究對象。

它是一個更高自由度的 configuration generator。

經由：

$$
T_t
$$

與：

$$
\Pi_t,
$$

得到：

$$
\boxed{
G_t
=
\Pi_t(T_tM).
}
$$

而真正重要的是：

$$
\boxed{
\text{整條 }G_t\text{ 路徑穿越了哪些幾何型、哪些臨界事件，以及是否生成了未知類。}
}
$$

因此：

$$
3D
\rightarrow
2.5D
\rightarrow
2D
$$

不是單向降維而已。

它是一個：

$$
\boxed{
\text{possibility generation}
+
\text{provenance retention}
+
\text{event detection}
+
\text{counterexample search}
}
$$

架構。

最終，動畫交互的研究價值不在：

> 我們能不能把幾何問題做成動畫？

而在：

$$
\boxed{
\text{我們能不能利用連續動畫，把靜態數學枚舉看不到的可能性真正逼出來？}
}
$$

若答案是肯定的，那麼動畫不再只是數學結果的最後展示。

它可以成為：

$$
\boxed{
\text{最後閉合之前的幾何攻擊層。}
}
$$

---

# Canonical Source Declaration

本檔為 `PPS-DPG-02-v0.1` 的 UTF-8 Markdown canonical source。

數學 delimiter 僅使用 `$...$` 與 `$$...$$`。

不使用其他 LaTeX display / inline delimiter 作 canonical source delimiter。

本文將動畫交互定義為連續幾何實驗，並嚴格區分：

- 3D source state；
- 2.5D provenance state；
- 2D projection state；
- render output；
- event certificate；
- global mathematical closure。

===END===