# Projection Possibility Space Series
## Paper 06 — Adversarial Geometric Closure
### 反例生成、未知類搜尋、停止條件與有限幾何閉合
### Adversarial Geometric Closure: Counterexample Generation, Unknown-Class Search, Stopping Conditions, and Finite Geometric Closure

**文件代號：** `PPS-AGC-06-v0.1`  
**版本：** v0.1  
**日期：** 2026-09-21  
**作者：** Neo.K  
**AI 協力研究者：** Aletheia / ChatGPT, GPT-5.6 Sol  
**機構：** EveMissLab／一言諾科技有限公司  
**系列：** Projection Possibility Space / 投影可能性空間系列  
**前置：** Paper 01–05  
**狀態：** `ADVERSARIAL CLOSURE FRAMEWORK / COUNTER-CERTIFICATE RUNTIME / FINAL STRESS-TEST ARCHITECTURE`

---

# 摘要

當一個幾何研究進入「看起來只剩有限幾種可能性」的階段時，最危險的錯誤之一，是把：

$$
\boxed{
\text{目前已知 branch 都驗過}
}
$$

誤寫成：

$$
\boxed{
\text{所有可能 branch 都已完備。}
}
$$

本文提出：

$$
\boxed{
\textbf{Adversarial Geometric Closure}
}
$$

簡稱：

$$
\boxed{
\textbf{AGC}.
}
$$

其基本原則不是繼續支持已知結論，而是反過來把整個幾何 runtime 轉成：

$$
\boxed{
\textbf{unknown-case generator}.
}
$$

亦即：

$$
\boxed{
\text{Do not validate the known cases; try to generate an unknown case.}
}
$$

本文將前五篇的框架統合：

$$
\boxed{
\text{3D Carrier}
\rightarrow
\text{Dynamic Projection}
\rightarrow
\text{Subject–Object–Boundary}
\rightarrow
\text{Flexible Perturbation}
\rightarrow
\text{Hidden Geometry}
\rightarrow
\text{Adversarial Closure}.
}
$$

完整幾何狀態寫成：

$$
\Gamma
=
\langle
S,
O,
\partial
\rangle,
$$

其中 Object 可具有高內部自由度，並透過 projection / reduction operator：

$$
\Pi
$$

生成低維 observable：

$$
Y
=
\Pi(\Gamma).
$$

若目前已知 class set 為：

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

則 adversarial runtime 的主要目標不是最大化既有 class coverage，而是主動搜尋：

$$
\boxed{
\Gamma^\star
\in
\mathcal X_{\rm adm}
}
$$

使：

$$
\boxed{
C(\Pi(\Gamma^\star))
=
\texttt{UNKNOWN}.
}
$$

一旦找到，系統輸出：

$$
\boxed{
\textbf{Counter-Certificate Candidate}.
}
$$

本文進一步定義：

- Adversarial Search Space；
- Unknown-Class Gate；
- Counter-Certificate；
- Event-Path Attack；
- Subject / Object / Boundary Attack Matrix；
- Flexible Freedom Escalation；
- Hidden-Geometry Attack；
- Mutation Attack；
- Coverage Ledger；
- Residual Obligation Set；
- Counterexample Resistance；
- Closure Ladder；
- Honest Stopping Rule。

最重要的 epistemic distinction 是：

$$
\boxed{
\text{No counterexample found}
\neq
\text{No counterexample exists}.
}
$$

只有在：

1. admissible state space 被形式化；
2. gauge / symmetry 被正確 quotient；
3. class atlas 被證完備；
4. residual obligations 為空；
5. verifier 可獨立重播；
6. attack runtime 已確認沒有未覆蓋 state；

時，才允許升級為：

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

否則應使用更弱狀態：

$$
\boxed{
\texttt{COUNTEREXAMPLE-RESISTANT},
}
$$

而不是過度宣稱。

---

# 關鍵詞

adversarial geometry、geometric closure、counterexample search、counter-certificate、unknown class、finite closure、attack runtime、hidden geometry、stress test、coverage ledger、closure certificate、false closure prevention

---

# 0. 研究定位

前五篇回答：

1. 如何用高維 carrier 展開低維 possibilities；
2. 如何用 animation 連續掃描幾何狀態；
3. 如何把 Subject、Object、Boundary 都納入；
4. 如何增加 Object 內部自由度；
5. 如何尋找 direct atlas 看不到的 hidden geometry。

但這些還沒有回答：

> 最後怎麼知道可以停？

這就是本文的核心。

---

# 1. Closure 的真正敵人不是「錯誤答案」

更危險的是：

$$
\boxed{
\text{false closure}.
}
$$

也就是：

$$
\text{residual possibilities still exist}
$$

但研究流程因為：

- sampling saturation；
- model bias；
- classifier forcing；
- representation incompleteness；
- runtime timeout；

錯誤宣布：

$$
\boxed{
\text{DONE}.
}
$$

---

# 2. Closure 不是 Confidence

即使 confidence：

$$
0.999999
$$

也不是：

$$
\boxed{
\text{mathematical completeness}.
}
$$

所以：

$$
\boxed{
\text{confidence}
\neq
\text{closure}.
}
$$

---

# 3. Closure 不是 Sample Exhaustion

測試：

$$
10^{12}
$$

個 states 沒出錯，

仍然只能支持：

$$
\boxed{
\text{strong empirical resistance}.
}
$$

不能直接推出：

$$
\forall x\in\mathcal X_{\rm adm},
P(x).
$$

---

# 4. Adversarial Closure 的哲學

普通驗證問：

> 已知答案能不能重播？

Adversarial Closure 問：

$$
\boxed{
\text{What would have to exist for our closure to be false?}
}
$$

然後直接搜尋它。

---

# 5. Known Class Set

令：

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

classification function：

$$
C:
\mathcal Y
\rightarrow
\mathcal K
\cup
\{
\texttt{UNKNOWN}
\}.
$$

---

# 6. UNKNOWN 必須是一等公民

如果 classifier 不確定，

必須輸出：

$$
\boxed{
\texttt{UNKNOWN}.
}
$$

不能自動塞進：

$$
K_i.
$$

---

# 7. Unknown-Class Gate

定義：

$$
\boxed{
G_U(Y)
=
\begin{cases}
0,&Y\in\mathcal K\\
1,&Y=\texttt{UNKNOWN}.
\end{cases}
}
$$

adversarial search 的核心目標：

$$
\boxed{
\max_{\Gamma\in\mathcal X_{\rm adm}}
G_U(\Pi(\Gamma)).
}
$$

---

# 8. 更實用的 Novelty Score

binary UNKNOWN 太粗。

可以定義：

$$
N(Y)
$$

綜合：

- shape distance；
- graph distance；
- support sequence；
- event topology；
- provenance difference。

---

# 9. Adversarial Search Objective

例如：

$$
\boxed{
J_{\rm attack}
=
w_U G_U
+
w_NN
+
w_EE
+
w_SS
-
w_CC.
}
$$

其中：

- $G_U$：unknown；
- $N$：novelty；
- $E$：critical-event density；
- $S$：singularity score；
- $C$：search cost。

---

# 10. Attack Space

完整 attack 不只 Object。

由 Paper 03：

$$
\Gamma
=
\langle
S,O,\partial
\rangle.
$$

因此 attack variable：

$$
\boxed{
a
=
(
a^S,
a^O,
a^\partial
).
}
$$

---

# 11. Subject Attack

可擾動：

- camera；
- projection；
- observation direction；
- sampling phase；
- resolution；
- query convention；
- handedness。

---

# 12. Object Attack

可擾動：

- rigid pose；
- articulation；
- deformation；
- local bend；
- worm-like internal state；
- self-contact configuration。

---

# 13. Boundary Attack

可擾動：

- container；
- contact boundary；
- clipping；
- projection surface；
- visibility aperture；
- support surface。

---

# 14. Subject–Object Pair Attack

只單變量有時找不到 coupled event。

所以要測：

$$
(\Delta S,\Delta O,0).
$$

---

# 15. Subject–Boundary Pair Attack

測：

$$
(\Delta S,0,\Delta\partial).
$$

---

# 16. Object–Boundary Pair Attack

測：

$$
(0,\Delta O,\Delta\partial).
$$

---

# 17. Full Triadic Attack

最強：

$$
\boxed{
(\Delta S,\Delta O,\Delta\partial).
}
$$

---

# 18. SOB Attack Matrix

可以建立：

| Attack | $S$ | $O$ | $\partial$ |
|---|---:|---:|---:|
| S | ✓ |  |  |
| O |  | ✓ |  |
| B |  |  | ✓ |
| SO | ✓ | ✓ |  |
| SB | ✓ |  | ✓ |
| OB |  | ✓ | ✓ |
| SOB | ✓ | ✓ | ✓ |

只有全部被覆蓋，才可說 triadic stress 做過。

---

# 19. Freedom Escalation Attack

Object 再分：

$$
O_0
\rightarrow
O_1
\rightarrow
O_2
\rightarrow
O_3
\rightarrow
O_4.
$$

所以 attack matrix 還要乘上 Object Freedom Ladder。

---

# 20. Attack Space 爆炸

完整 state space：

$$
\mathcal X
=
\mathcal S
\times
\mathcal O
\times
\mathcal B
$$

可能極大甚至無限維。

所以 AGC 不採 brute-force。

---

# 21. Global-First Adversarial Strategy

先攻擊最可能漏 branch 的地方：

1. singular sets；
2. class boundaries；
3. thin slivers；
4. topology walls；
5. high sensitivity regions；
6. unmatched provenance；
7. unresolved residual cells。

---

# 22. Residual Obligation Set

定義：

$$
\boxed{
\mathcal R
=
\{
R_1,\ldots,R_m
\}.
}
$$

每個：

$$
R_i
$$

是一個尚未被 closure certificate 消掉的 obligation。

---

# 23. Closure 的真正停止條件

不是：

$$
\text{search budget exhausted}.
$$

而是：

$$
\boxed{
\mathcal R
=
\varnothing.
}
$$

---

# 24. Search Budget Exhausted 的正確狀態

如果：

$$
\mathcal R\ne\varnothing
$$

但 budget 用完，

應標：

```text
OPEN — BUDGET EXHAUSTED
```

不是：

```text
CLOSED
```

---

# 25. Residual Type

可分類：

```text
UNCLASSIFIED_STATE
UNRESOLVED_EVENT
MISSING_ATLAS_MAP
MISSING_MIRROR_MAP
FLEXIBILITY_GAP
BOUNDARY_GAP
SUBJECT_GAP
INTERVAL_GAP
FORMALIZATION_GAP
REPLAY_GAP
```

---

# 26. Counter-Certificate

如果 attack 找到：

$$
\Gamma^\star
$$

使：

$$
C(\Pi(\Gamma^\star))
=
\texttt{UNKNOWN},
$$

輸出：

$$
\boxed{
C_{\rm x}
}
$$

Counter-Certificate Candidate。

---

# 27. Counter-Certificate 最低內容

```text
canonical source state
subject state
object state
boundary state
projection operator
event history
known-atlas version
unknown-class result
numerical precision
replay instructions
hashes
```

---

# 28. 強 Counter-Certificate

若還能證：

$$
\boxed{
Y^\star
\notin
\bigcup_i K_i,
}
$$

則由 candidate 升：

$$
\boxed{
\texttt{CERTIFIED-COUNTEREXAMPLE}.
}
$$

---

# 29. Counter-Certificate Candidate 不等於反例

因為還要排除：

- gauge duplicate；
- numerical artefact；
- out-of-domain；
- renderer artefact；
- mislabeled state；
- verifier bug。

---

# 30. Counter-Certificate Validation Ladder

```text
VISUAL_ANOMALY
REPLAYABLE_ANOMALY
NUMERIC_UNKNOWN
GAUGE-REDUCED_UNKNOWN
IN-DOMAIN_UNKNOWN
CERTIFIED_NEW_CLASS
FORMAL_COUNTEREXAMPLE
```

---

# 31. Attack Failure 的含義

某輪 attack 沒找到新類，

只表示：

$$
\boxed{
\text{this attack family failed to break the closure}.
}
$$

不能推出：

$$
\boxed{
\text{closure is true}.
}
$$

---

# 32. Counterexample Resistance

定義：

$$
\boxed{
R_C
}
$$

作為「經歷哪些 attack family 仍未破」的 profile。

例如：

```text
RIGID_ATTACK: PASS
ARTICULATED_ATTACK: PASS
FLEX_ATTACK: PASS
SOB_ATTACK: PARTIAL
HIDDEN_GEOMETRY_ATTACK: PASS
INTERVAL_ATTACK: OPEN
```

---

# 33. Resistance Profile 不是單一分數

最好保存 vector：

$$
\boxed{
R_C
=
(
r_S,
r_O,
r_B,
r_F,
r_H,
r_E,
r_V
).
}
$$

避免把一個弱點平均掉。

---

# 34. Attack Ledger

建立：

$$
\boxed{
\mathcal L_A.
}
$$

每輪記錄：

```text
attack id
parent state
perturbation type
search domain
budget
unknown count
new class count
counter-certificate ids
verifier status
```

---

# 35. Coverage Ledger

建立：

$$
\boxed{
\mathcal L_C.
}
$$

記錄目前已覆蓋：

- Subject classes；
- Object classes；
- Boundary classes；
- pairwise couplings；
- triadic couplings；
- event types；
- singular sets；
- projection modes。

---

# 36. Attack Coverage 不等於 State Coverage

即使每種 attack type 都跑過，

也可能只跑很小區域。

所以還要保存：

$$
\boxed{
\text{domain coverage}.
}
$$

---

# 37. Domain Partition

將 admissible domain：

$$
\mathcal X_{\rm adm}
$$

切成：

$$
\boxed{
\mathcal X_{\rm adm}
=
\bigcup_{i=1}^{N}
X_i.
}
$$

每個：

$$
X_i
$$

有 status。

---

# 38. Cell Status

```text
OPEN
ATTACKED
CERTIFIED-KNOWN
CERTIFIED-EMPTY
COUNTEREXAMPLE
UNKNOWN
```

---

# 39. Finite Closure Ideal Form

如果能建立有限 partition：

$$
X_1,\ldots,X_N
$$

並對每個證：

$$
\Pi(X_i)
\subseteq
K_{j(i)},
$$

或：

$$
X_i
=
\varnothing,
$$

則：

$$
\boxed{
\mathcal X_{\rm adm}
\text{ is finitely closed relative to }\mathcal K.
}
$$

---

# 40. Finite Event Quotient

不一定要 partition every microstate。

可以建 quotient：

$$
\boxed{
q:
\mathcal X_{\rm adm}
\rightarrow
\mathcal Q
}
$$

其中：

$$
\mathcal Q
=
\{Q_1,\ldots,Q_N\}
$$

是有限 event / branch classes。

---

# 41. State Closure vs Path Closure

只分類 state 還不夠。

因為 hidden event 可能只存在 transition。

因此還需：

$$
\boxed{
q_{\rm path}.
}
$$

---

# 42. Path-Class Quotient

對：

$$
\Gamma(t)
$$

分類：

$$
q_{\rm path}(\Gamma).
$$

例如：

- no event；
- tangency；
- split；
- merge；
- visibility swap；
- support exchange。

---

# 43. Missing Transition

即使所有 nodes 已知，

若 edge 未分類，

closure 仍不完整。

所以：

$$
\boxed{
\text{node closure}
\neq
\text{graph closure}.
}
$$

---

# 44. Closure Graph

建立：

$$
\boxed{
\mathcal G_C
=
(V_C,E_C).
}
$$

其中：

- node = geometry class；
- edge = certified transition。

---

# 45. Graph Closure

需要：

1. node complete；
2. edge complete；
3. critical-event complete；
4. gauge quotient complete。

---

# 46. Attack Critical Sets

最優先攻擊：

$$
\boxed{
\partial K_i
}
$$

而不是 class interior。

因為新 branch 往往從 boundary birth。

---

# 47. Boundary Attack Density

可提高：

$$
p_{\rm attack}
$$

在：

- low margin；
- near tie；
- near tangency；
- near degeneracy。

---

# 48. Slack-Weighted Attack

若 verifier 給 margin：

$$
s(x),
$$

可設：

$$
\boxed{
P_{\rm attack}(x)
\propto
\frac{1}{s(x)+\varepsilon}.
}
$$

越接近零越值得攻擊。

---

# 49. Novelty-Weighted Attack

同時：

$$
P_{\rm attack}(x)
\propto
N(\Pi(x)).
$$

---

# 50. Combined Priority

$$
\boxed{
\operatorname{Priority}(x)
=
\frac{
N(\Pi(x))
+
\lambda E(x)
}{
s(x)+\varepsilon
}.
}
$$

---

# 51. Flexible Attack

對 worm-like object：

$$
\gamma(s,t),
$$

attack 不應 uniform random curvature。

應優先：

- contact-rich region；
- projection-sensitive region；
- curvature-boundary region。

---

# 52. Subject Attack

camera path 也可 adversarial。

搜尋：

$$
\boxed{
\max_S
N(
\Pi_S(O,\partial)
).
}
$$

---

# 53. Boundary Attack

搜尋：

$$
\boxed{
\max_\partial
N(
\Pi(S,O,\partial)
).
}
$$

---

# 54. Coupled Attack

真正高價值：

$$
\boxed{
\max_{S,O,\partial}
N(
\Pi(S,O,\partial)
).
}
$$

---

# 55. Mutation Attack

除了尋找未知 geometry，

還要攻擊 verifier 本身。

故意修改：

- sign；
- label；
- event time；
- projection；
- source hash；
- constraint；
- branch id。

---

# 56. Mutation Survival = Danger

如果被 mutation 的 certificate 還 PASS：

$$
\boxed{
\text{verifier is not sensitive enough}.
}
$$

---

# 57. Verifier Attack

所以 AGC 不只攻擊 theorem candidate。

也攻擊：

$$
\boxed{
\text{proof runtime}.
}
$$

---

# 58. False Positive Attack

植入假的 counterexample。

verifier 應拒絕。

---

# 59. False Negative Attack

植入已知合法新 branch。

classifier 應輸出 UNKNOWN / NEW，

不能硬分類。

---

# 60. Symmetry Attack

故意做：

- mirror；
- rotate；
- relabel；
- coordinate gauge。

看系統是否錯誤當新 class。

---

# 61. Gauge Attack

如果只是 gauge transformation，

應被 quotient。

否則會產生：

$$
\boxed{
\text{false novelty}.
}
$$

---

# 62. Label Attack

交換：

$$
B_3\leftrightarrow B_5
$$

等 labels，

確認 marked / unmarked classifier 行為一致。

---

# 63. Runtime Attack

測：

- timeout；
- missing shard；
- corrupted checkpoint；
- stale cache；
- non-deterministic replay。

這些都可能造成 false closure。

---

# 64. Timeout 不得自動視為 PASS

正確：

```text
TIMEOUT
```

而不是：

```text
NO COUNTEREXAMPLE
```

---

# 65. Missing Data 不得補猜

如果：

$$
z_{\rm candidate}
$$

缺失，

status：

```text
PENDING
```

不能用 area value 猜座標。

---

# 66. Closure Authority Ladder

本文定義：

## Level 0 — Candidate

有一個看似閉合的 class list。

## Level 1 — Internally Consistent

已知 classes 自己一致。

## Level 2 — Counterexample-Tested

多種 attack 尚未打破。

## Level 3 — Counterexample-Resistant

廣泛 adversarial search 尚未找到新類。

## Level 4 — Finite-Branch Certified

admissible domain 已被有限 classes 證覆蓋。

## Level 5 — Formally Closed

closure theorem / formal proof 完成。

---

# 67. 不應跳級

特別是：

$$
\boxed{
\text{Level 3}
\not\Rightarrow
\text{Level 4}.
}
$$

---

# 68. Counterexample-Resistant 的正式含義

可以寫：

> Under the declared attack families, domains, precision contracts, and verifier versions, no admissible state outside the current class atlas was found.

這是強但誠實的陳述。

---

# 69. Globally Closed 的正式含義

需要：

$$
\boxed{
\forall
\Gamma
\in
\mathcal X_{\rm adm},
\quad
C(\Pi(\Gamma))
\in
\mathcal K.
}
$$

並有 proof。

---

# 70. Stop Rule A — Residual Empty

最強：

$$
\boxed{
\mathcal R
=
\varnothing.
}
$$

---

# 71. Stop Rule B — Finite Quotient Complete

若已證：

$$
q(\mathcal X_{\rm adm})
=
\mathcal Q,
$$

且：

$$
|\mathcal Q|<\infty,
$$

每一 class 都處理完。

---

# 72. Stop Rule C — Budget Stop

只是工程 stop。

狀態：

$$
\boxed{
\texttt{OPEN-BUT-PAUSED}.
}
$$

---

# 73. Stop Rule D — No New Class for N Rounds

只能標：

$$
\boxed{
\texttt{EMPIRICALLY-SATURATED}.
}
$$

不能標 global closure。

---

# 74. Saturation Window

例如：

$$
N_{\rm new}(k)=0
$$

連續：

$$
k_0,\ldots,k_0+M.
$$

這只是 exploration saturation。

---

# 75. Coverage Saturation

更強的是：

$$
\text{all declared attack cells visited}.
$$

仍然不是 theorem，

除非 attack cells 已證 partition admissible domain。

---

# 76. Honest Stopping Rule

本文建議：

```text
IF residual set empty by proof:
    CLOSED
ELIF attack space exhausted but coverage proof incomplete:
    COUNTEREXAMPLE-RESISTANT
ELIF budget exhausted:
    OPEN-PAUSED
ELSE:
    OPEN
```

---

# 77. Closure Debt

對未完成 obligation 建：

$$
\boxed{
D_C
}
$$

closure debt ledger。

---

# 78. Debt Entry

```text
debt_id
claim
missing proof
missing computation
domain
priority
attack relation
status
```

---

# 79. Debt 不得被摘要消失

如果 summary 沒寫某 gap，

不代表 gap 關掉。

所以：

$$
\boxed{
\text{summary omission}
\neq
\text{debt discharge}.
}
$$

---

# 80. Closure Certificate

最終：

$$
\boxed{
C_{\rm closure}
}
$$

至少包含：

```text
theorem / claim
admissible domain
quotient / gauge
class atlas
transition graph
all discharged obligations
remaining obligations = empty
counterexample search summary
verifier identities
artifact hashes
precision contracts
known assumptions
```

---

# 81. Counter-Certificate Queue

所有 adversarial anomaly 都進：

$$
\boxed{
\mathcal Q_X.
}
$$

status：

```text
NEW
REPLAYED
GAUGE_DUPLICATE
OUT_OF_DOMAIN
NUMERIC_ARTEFACT
KNOWN_CLASS
CERTIFIED_NEW_CLASS
FORMAL_COUNTEREXAMPLE
```

---

# 82. 不要刪 Counterexample History

即使 anomaly 最後證明是假，

也保存 provenance。

因為它能：

- 測 verifier；
- 避免重複探索；
- 說明 atlas 邊界。

---

# 83. Negative Results 也是 Research Object

例如：

> worm-like attack class 4B 在 curvature bound K 下沒有產生新 support topology。

這不是 theorem，

但可以成 durable evidence。

---

# 84. Attack Reproducibility

每個 attack 必須可 replay：

$$
\boxed{
\text{state}
+
\text{action}
+
\text{runtime}
+
\text{seed}
}
$$

---

# 85. Random Seed 不是完整 provenance

還要保存：

- code version；
- solver；
- precision；
- initial state；
- constraints。

---

# 86. Cross-Runtime Verification

重要 counterexample 應在：

$$
R_1,
R_2
$$

兩個 independent runtime 重播。

---

# 87. Cross-Backend Disagreement

如果：

$$
R_1\ne R_2,
$$

status：

```text
BACKEND-DISAGREEMENT
```

優先處理。

---

# 88. Renderer 與 Verifier 分離

Blender / game engine 可當：

$$
\boxed{
\text{adversarial geometry interface}.
}
$$

但不能當 theorem authority。

---

# 89. Canonical Flow

$$
\boxed{
\text{Canonical State}
\rightarrow
\text{Attack Runtime}
\rightarrow
\text{Projection}
\rightarrow
\text{Classifier}
\rightarrow
\text{Verifier}
\rightarrow
\text{Ledger}.
}
$$

---

# 90. UI Flow

視覺層可以顯示：

```text
KNOWN
UNKNOWN
NEAR-SINGULAR
COUNTER-CERTIFICATE
CERTIFIED
```

---

# 91. 左 3D / 右 2D

可使用：

```text
Left:
3D / 2.5D adversarial source

Right:
2D projected class + certificate status
```

---

# 92. Critical Event Freeze

一旦：

$$
N(Y_t)
$$

或：

$$
G_U(Y_t)
$$

超 threshold，

自動：

```text
FREEZE
SNAPSHOT
BRACKET
VERIFY
EXPORT
```

---

# 93. Automatic Counter-Certificate Export

輸出：

```text
countercase.json
source_state.json
path.json
projection.json
event.json
render.png
replay.py
```

---

# 94. Why Animation Matters Again

未知 branch 可能只存在：

$$
t^\star.
$$

所以 runtime 必須 attack：

$$
\boxed{
\text{paths}
}
$$

而不是只 attack states。

---

# 95. Path Mutation

故意改一小段 control path：

$$
\Gamma(t)
\rightarrow
\Gamma(t)+\delta\Gamma(t).
$$

看 event graph 是否改變。

---

# 96. Transition Robustness

若 edge：

$$
K_i\rightarrow K_j
$$

只在極細 path set 出現，

則是 fragile transition。

仍然需要納入 completeness。

---

# 97. Event Graph Coverage

記錄：

$$
\boxed{
E_{\rm known}
}
$$

與 attack 見過的：

$$
E_{\rm observed}.
$$

如果：

$$
E_{\rm observed}
\setminus
E_{\rm known}
\ne
\varnothing,
$$

closure 重開。

---

# 98. Hidden Node / Hidden Edge 統一

任何：

$$
V_{\rm new}
$$

或：

$$
E_{\rm new}
$$

都產生 counter-certificate。

---

# 99. Attack Scheduling

可用 priority queue：

$$
\boxed{
P(R_i)
}
$$

對 residual obligations 排序。

---

# 100. Priority Factors

- low margin；
- high novelty；
- high singularity；
- unresolved provenance；
- cross-runtime disagreement；
- high freedom；
- theorem criticality。

---

# 101. Minimum Disturbance Attack

有時最有效不是大改。

而是找：

$$
\boxed{
\min
\|\delta\Gamma\|
}
$$

使 class 改變。

---

# 102. Adversarial Radius

定義：

$$
\boxed{
r_{\rm adv}(\Gamma)
=
\inf
\{
\|\delta\Gamma\|:
C(\Pi(\Gamma+\delta\Gamma))
\ne
C(\Pi(\Gamma))
\}.
}
$$

---

# 103. Small Adversarial Radius

表示：

$$
\boxed{
\text{fragile classification}.
}
$$

---

# 104. Large Adversarial Radius

表示 local robustness。

但仍不是 global completeness。

---

# 105. Closure Margin

可把：

$$
r_{\rm adv}
$$

當作 closure margin 的一部分。

---

# 106. Geometry Attack vs Theorem Attack

Geometry attack 找：

$$
\text{new configuration}.
$$

Theorem attack 找：

$$
\text{configuration violating claim}.
$$

兩者不同。

---

# 107. New Class 不一定推翻 Theorem

如果 theorem 對新 class 仍成立，

只表示 atlas 要擴張。

---

# 108. Counterexample 必須對 Claim 有效

要有：

$$
\boxed{
P(\Gamma^\star)=\text{false}.
}
$$

才能推翻 claim。

---

# 109. Unknown-Class 只是 Closure Counterexample

它推翻的是：

$$
\boxed{
\text{class completeness claim}.
}
$$

不一定推翻原始數學 inequality。

---

# 110. Claim Layering

至少分：

```text
CLASSIFICATION_CLAIM
COVERAGE_CLAIM
VALUE_CLAIM
OPTIMALITY_CLAIM
UNIQUENESS_CLAIM
```

---

# 111. Counter-Certificate 要標 Target Claim

避免一個 anomaly 被錯誤解讀成整個 theorem 失敗。

---

# 112. Lebesgue 類問題中的 AGC

若目前 finite branches：

$$
B_1,\ldots,B_n
$$

已接近閉合，

AGC 會：

1. mirror；
2. perturb；
3. project；
4. bend；
5. change observer；
6. change boundary；
7. search transitions。

---

# 113. 圓角盾牌類候選的壓測

例如可問：

- mirror 是否只是 gauge；
-尖端是否必要；
- flat segment 是否 exact；
- support order 是否穩定；
- flexible witness 是否產生新 contact；
- 3D projection 是否生成未列 branch。

---

# 114. Root / Germ 類問題的壓測

如果某 local germ：

$$
G^\star
$$

被認為 isolated，

AGC 可以 attack：

- tangent direction；
- higher-order mode；
- mirror map；
- neighboring chart；
- boundary perturbation。

---

# 115. 第二階分析也可被 AGC 攻擊

若：

$$
\Phi_2>0
$$

只在某 chart 證明，

必須 attack：

$$
\boxed{
\text{missing neighboring charts}.
}
$$

---

# 116. Formal Proof 與 AGC 的關係

AGC 不是 formal proof 的替代品。

它最有價值的地方是：

$$
\boxed{
\text{find what the formal proof forgot to quantify over}.
}
$$

---

# 117. AGC 在 Formalization 前

先找漏洞，

避免形式化一個不完整 theorem。

---

# 118. AGC 在 Formalization 後

對 formal assumptions 做 mutation / boundary stress，

確認 theorem statement 沒漏 domain。

---

# 119. Final Closure Stack

完整 stack：

$$
\boxed{
\text{Analytic Closure}
\rightarrow
\text{Finite Branch Closure}
\rightarrow
\text{Counterexample Closure}
\rightarrow
\text{Geometric Realization Closure}.
}
$$

---

# 120. Counterexample Closure 的正確含義

不是：

> 我們沒找到反例。

而是：

$$
\boxed{
\text{the declared residual counterexample space has been formally exhausted or reduced to certified empty classes}.
}
$$

---

# 121. Geometric Realization Closure

要求：

- canonical states 可重建；
- projection 可重播；
- event 可重播；
- certificate 可驗；
- visualization 與 verifier 不混淆。

---

# 122. Closure Provenance Graph

建立：

$$
\boxed{
\mathcal G_P
}
$$

把每個 closure claim 連到：

- proof；
- certificate；
- attack；
- counterexample；
- repair。

---

# 123. Repair After Counterexample

如果找到新 class：

$$
K_{n+1},
$$

流程不是重頭來。

而是：

$$
\boxed{
\text{Localize}
\rightarrow
\text{Classify}
\rightarrow
\text{Repair Atlas}
\rightarrow
\text{Re-Attack}.
}
$$

---

# 124. Minimum Global Disturbance

repair 應盡量：

$$
\boxed{
\text{Maximum Local Precision}
+
\text{Minimum Global Disturbance}.
}
$$

也就是只修真正漏掉的 responsibility layer。

---

# 125. Counterexample Repair Loop

$$
\boxed{
\text{Attack}
\rightarrow
\text{Break}
\rightarrow
\text{Repair}
\rightarrow
\text{Re-Attack}.
}
$$

直到：

$$
\mathcal R=\varnothing.
$$

---

# 126. Closure Versioning

每次 repair：

```text
Atlas v0.1
Atlas v0.2
Atlas v0.3
```

舊 counterexamples 保留。

---

# 127. Supersession

新的 closure certificate 必須明示：

```text
supersedes
depends_on
invalidates
preserves
```

---

# 128. Public Language

若只是 Level 3：

> No counterexample was found under the declared adversarial search regime.

若 Level 4：

> The admissible state space was reduced to finitely many certified classes.

若 Level 5：

> The closure statement is formally proved under the stated assumptions.

---

# 129. 不要把 Resistance 寫成 Proof

$$
\boxed{
\text{resistant}
\neq
\text{proved}.
}
$$

---

# 130. 不要把 Proof 寫成 Physical Uniqueness

即使 theorem closure，

仍要看 claim 是：

- value；
- shape；
- mechanism；
- uniqueness；
- attainment。

---

# 131. Closure Dimensions

建議 dashboard：

```text
VALUE
FEASIBILITY
GLOBAL OPTIMALITY
SHAPE
ATTAINMENT
UNIQUENESS
MECHANISM
PROJECTION
COUNTEREXAMPLE
FORMALIZATION
```

---

# 132. 每個維度獨立標 Status

例如：

```text
VALUE: CERTIFIED
SHAPE: CANDIDATE
UNIQUENESS: OPEN
COUNTEREXAMPLE: RESISTANT
FORMALIZATION: PARTIAL
```

這比一句：

```text
SOLVED
```

更準確。

---

# 133. Final Open-Question Queue

即使 closure 主線完成，

仍可保留：

$$
\boxed{
\mathcal Q_{\rm post}
}
$$

處理：

- interpretation；
- uniqueness；
- chirality；
- mechanism；
- physical realization。

---

# 134. Adversarial Geometry Runtime

完整 runtime 可以寫：

$$
\boxed{
\mathfrak A
=
(
\mathcal X,
\Pi,
C,
\mathcal A,
V,
\mathcal L
).
}
$$

其中：

- $\mathcal X$：state space；
- $\Pi$：projection；
- $C$：classifier；
- $\mathcal A$：attack policy；
- $V$：verifier；
- $\mathcal L$：ledger。

---

# 135. Iteration

第：

$$
k
$$

輪：

$$
\Gamma_k
\xrightarrow{\mathcal A}
\Gamma_k'
\xrightarrow{\Pi}
Y_k
\xrightarrow{C}
c_k
\xrightarrow{V}
v_k.
$$

---

# 136. 如果 $c_k=\texttt{UNKNOWN}$

生成：

$$
\boxed{
C_{{\rm x},k}.
}
$$

---

# 137. 如果 $v_k=\texttt{FAIL}$

代表：

- counterexample；
- certificate bug；
- atlas bug；
- domain mismatch。

進 repair queue。

---

# 138. 如果全部 PASS

仍只更新 attack coverage。

不自動宣告 closure。

---

# 139. Closure Commit Gate

只有：

$$
\boxed{
\mathcal R=\varnothing
}
$$

且 all required verifiers PASS，

才能：

```text
COMMIT_CLOSURE
```

---

# 140. False Closure Guard

若任一：

```text
UNKNOWN
PENDING
TIMEOUT
MISSING
DISAGREEMENT
```

存在，

closure commit 應 fail closed。

---

# 141. Fail-Closed Principle

$$
\boxed{
\text{uncertainty}
\rightarrow
\text{OPEN},
}
$$

而不是：

$$
\boxed{
\text{uncertainty}
\rightarrow
\text{PASS}.
}
$$

---

# 142. AGC 的核心方法論句

$$
\boxed{
\text{Do not reward the system for confirming the atlas.}
}
$$

要獎勵：

$$
\boxed{
\text{breaking the atlas if it can be broken.}
}
$$

---

# 143. 第二個核心句

$$
\boxed{
\text{A closure system should be optimized to discover its own missing cases.}
}
$$

---

# 144. 第三個核心句

$$
\boxed{
\text{The absence of discovered unknowns is evidence; the exhaustion of admissible unknowns is closure.}
}
$$

---

# 145. 與 Paper 01 的統合

Paper 01：

$$
\text{3D carrier expands possibilities}.
$$

AGC：

$$
\boxed{
\text{use that expansion adversarially}.
}
$$

---

# 146. 與 Paper 02 的統合

Paper 02：

$$
\text{animation is continuous geometric experiment}.
$$

AGC：

$$
\boxed{
\text{attack paths, not only static states}.
}
$$

---

# 147. 與 Paper 03 的統合

Paper 03：

$$
\Gamma=\langle S,O,\partial\rangle.
$$

AGC：

$$
\boxed{
\text{attack all three components and their couplings}.
}
$$

---

# 148. 與 Paper 04 的統合

Paper 04：

$$
O_0\rightarrow O_4.
$$

AGC：

$$
\boxed{
\text{escalate internal freedom until the closure either breaks or is structurally dominated}.
}
$$

---

# 149. 與 Paper 05 的統合

Paper 05：

$$
\mathfrak H
=
\Pi(\mathcal X)
\setminus
\mathfrak P_{\rm direct}.
$$

AGC：

$$
\boxed{
\text{actively maximize the chance of finding }\mathfrak H.
}
$$

---

# 150. 整個系列的統一方程

令：

$$
\mathcal X_{\rm adv}
=
\mathcal S
\times
\mathcal O
\times
\mathcal B.
$$

投影：

$$
\Pi.
$$

known atlas：

$$
\mathcal K.
$$

則最終 adversarial query 是：

$$
\boxed{
\exists
\Gamma^\star
\in
\mathcal X_{\rm adv}
\text{ such that }
\Pi(\Gamma^\star)
\notin
\bigcup_{K\in\mathcal K}K
\ ?
}
$$

---

# 151. 如果 Yes

closure false / incomplete。

---

# 152. 如果 No，但只是 Search Result

status：

$$
\boxed{
\texttt{COUNTEREXAMPLE-RESISTANT}.
}
$$

---

# 153. 如果 No，而且有 Completeness Proof

status：

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

---

# 154. 本文主要命題

## 命題 A

$$
\boxed{
\text{A geometric closure claim should be attacked by searching for unknown admissible classes, not only by replaying known classes.}
}
$$

## 命題 B

$$
\boxed{
\text{No discovered counterexample is weaker than exhausted counterexample space.}
}
$$

## 命題 C

$$
\boxed{
\text{Closure must include states, transitions, gauges, and residual obligations.}
}
$$

## 命題 D

$$
\boxed{
\text{Subject, Object, Boundary, flexible freedom, and hidden geometry should all be included in the adversarial attack surface when relevant.}
}
$$

## 命題 E

$$
\boxed{
\text{UNKNOWN, TIMEOUT, and MISSING must fail closure open rather than be silently converted to PASS.}
}
$$

## 命題 F

$$
\boxed{
\text{A valid final closure certificate requires an empty residual obligation set or an equivalent completeness theorem.}
}
$$

---

# 155. 非主張範圍

本文不主張：

1. adversarial search 可以取代 mathematical proof；
2. 沒找到反例就等於 proof；
3. 所有幾何問題都需要 Blender / animation；
4. 所有 attack family 都應平均分配資源；
5. worm-like attack 永遠必要；
6. every UNKNOWN 都是真新 class；
7. finite budget 可以證 global closure；
8. classifier confidence 可以取代 class-membership proof；
9. counterexample resistance 等同 theorem truth；
10. 本系列本身已經解決任何特定未解幾何問題。

---

# 156. 結論

本文將整個 Projection Possibility Space 系列收束成一個最終研究原則：

$$
\boxed{
\textbf{Do not merely verify the geometry you already know.}
}
$$

而要：

$$
\boxed{
\textbf{construct a system whose job is to generate a geometry you did not know existed.}
}
$$

因此最後壓測不是：

$$
\text{Known Class Replay}.
$$

而是：

$$
\boxed{
\text{Unknown-Class Search}.
}
$$

完整流程：

$$
\boxed{
\text{Carrier}
\rightarrow
\text{Motion}
\rightarrow
\text{Subject–Object–Boundary}
\rightarrow
\text{Flexible Perturbation}
\rightarrow
\text{Projection}
\rightarrow
\text{Unknown Detection}
\rightarrow
\text{Counter-Certificate}
\rightarrow
\text{Repair}
\rightarrow
\text{Re-Attack}.
}
$$

只有當：

$$
\boxed{
\mathcal R
=
\varnothing
}
$$

或存在等價的 completeness theorem，

才允許：

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

在那之前，最誠實且仍然很強的狀態是：

$$
\boxed{
\texttt{COUNTEREXAMPLE-RESISTANT}.
}
$$

這使「最後閉合」不再依賴研究者覺得：

> 應該差不多了。

而是改成一個可以被 machine、human、multiple runtimes 與 formal verifier 共同審計的 closure protocol。

最終，真正值得信任的幾何閉合不是：

> 系統很會證明自己是對的。

而是：

$$
\boxed{
\text{系統已經被設計成非常努力地證明自己可能是錯的，卻仍無法打破，而且剩餘可能性已被形式化耗盡。}
}
$$

---

# Canonical Source Declaration

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

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

本文嚴格區分：

- known-class replay；
- unknown-class search；
- counter-certificate；
- counterexample resistance；
- finite branch closure；
- global closure；
- residual obligation；
- budget exhaustion；
- formal completeness。

===END===