# WSFC Round 15
## Whole-Domain Certificate Composition：從 Atomic Cells 到 Closed Safe Prefix

**English Title:** *Whole-Domain Certificate Composition: From Atomic Cells to Closed Safe Prefixes*  
**文件代號：** `WSFC-R15-v0.1`  
**版本：** v0.1  
**日期：** 2026-09-23  
**作者：** Neo.K  
**AI 協力研究者：** Aletheia / OpenAI GPT-5.6 Sol  
**系列：** Worm Sequence Freedom Closure  
**前置：** `WSFC-R13-v0.1`；`WSFC-R14-v0.1`  
**狀態：** `WHOLE-DOMAIN COMPOSITION MVP / CLOSED SAFE PREFIX / FORMAL FINITE-PARTITION THEOREM OPEN`  
**Canonical Source：** UTF-8 Markdown

---

# 摘要

Round 13 建立：

$$
\boxed{
\text{complete root cover}
\rightarrow
\text{root-free atomic cells}
\rightarrow
\text{sign invariance}.
}
$$

Round 14 建立：

$$
\boxed{
\text{phase guards}
+
\text{active safety}\ge0
\rightarrow
\text{finite-segment safety}.
}
$$

Round 15 將兩者第一次真正 glue 成 closed parameter-domain safety。

核心問題是：

> open atomic cells 已安全，但 algebraic / rational root boundaries 怎麼補上？

本輪的主要 simplification 是：

$$
\boxed{
\text{boundary safety 不必重新做 phase optimization}.
}
$$

因對 affine motion：

$$
H(t,\lambda)
=
\|w+\lambda v(t)\|^2-r^2
$$

對固定：

$$
\lambda
$$

是 $t$ 的 polynomial，因此 continuous。

若：

$$
t_n\rightarrow t_\star
$$

且：

$$
H(t_n,\lambda)\ge0
$$

對所有 $n$，則：

$$
\boxed{
H(t_\star,\lambda)\ge0.
}
$$

因：

$$
[0,\infty)
$$

是 closed set。

所以整個 whole-domain proof 可以拆成：

### Open Cells

Round 13 + 14：

$$
\boxed{
\text{root-free}
\rightarrow
\text{sign invariant}
\rightarrow
\text{phase invariant}
\rightarrow
\text{phase safe}.
}
$$

### Finite Root Boundaries

continuity glue：

$$
\boxed{
\text{safe adjacent open cell}
\rightarrow
\text{safe boundary}.
}
$$

因此 internal feature-switch root、inactive line-tangency root、algebraic root 本身，不需要再各自求一次 point-to-segment minimum。

本輪建立 `WSFC-WHOLE-DOMAIN-0.1` composition runtime。

對 canonical case：

$$
t\in[0,1],
$$

runtime得到：

$$
\boxed{
\forall t\in[0,1],
\quad
\forall\lambda\in[0,1],
\quad
H_t(\lambda)\ge0.
}
$$

first actual event：

$$
\boxed{
t=1.
}
$$

對 irrational example：

$$
P_0=(3,0),
$$

$$
Q(t)=
\left(
2-t,\frac12
\right),
$$

compiler找到 maximal certified safe prefix終點為：

$$
\boxed{
\alpha
=
2-\frac{\sqrt3}{2},
}
$$

即 moving-endpoint clearance：

$$
H_1(\alpha)=0.
$$

Round 15 不要求 trusted checker理解 radical expression。

其 endpoint仍以：

```text
ROOT REF
source polynomial = H1
rational isolating interval
unique root by Sturm count
```

作 certificate authority。

所以 closed safe prefix的語義是：

$$
\boxed{
[0,\alpha]
\text{ safe},
}
$$

其中 $\alpha$ 被定義為 isolating interval 中的 unique $H_1$ root。

這使 whole-domain composition第一次能自然處理 irrational event endpoint。

---

# 1. Whole-Domain Responsibility

完整目標：

$$
\boxed{
\forall t\in I,
\quad
\forall\lambda\in[0,1],
\quad
H(t,\lambda)\ge0.
}
$$

parameter interval $I$ 被 finite root set拆成：

- open root-free cells；
- finite root boundaries。

兩類分開證。

---

# 2. Open Cells

對 atomic cell：

$$
J=(\rho_i,\rho_{i+1}),
$$

Round 13證：

- relevant polynomial無 root；
- sign vector不變。

所以 nearest feature固定。

Round 14再由 active safety sign：

$$
\ge0
$$

推出：

$$
\forall t\in J,
\quad
\forall\lambda\in[0,1],
\quad
H(t,\lambda)\ge0.
$$

---

# 3. Boundary Continuity Glue

取 internal boundary：

$$
t_\star.
$$

對固定：

$$
\lambda\in[0,1].
$$

因：

$$
H(\cdot,\lambda)
$$

為 polynomial：

$$
\boxed{
H
\text{ continuous in }t.
}
$$

取 adjacent safe cell 中 sequence：

$$
t_n\rightarrow t_\star.
$$

有：

$$
H(t_n,\lambda)\ge0.
$$

由 continuity：

$$
H(t_n,\lambda)
\rightarrow
H(t_\star,\lambda).
$$

而：

$$
[0,\infty)
$$

closed，所以：

$$
\boxed{
H(t_\star,\lambda)\ge0.
}
$$

對所有 $\lambda$ 成立。

因此：

$$
\boxed{
\text{internal root safety}
}
$$

可以由 topology glue，而不需要 root-specific phase proof。

---

# 4. Phase Boundary Compatibility 的角色

Round 14 已證：

$$
A=0
\Rightarrow
L=NH_0,
$$

$$
A+N=0
\Rightarrow
L=NH_1.
$$

這仍然重要，因它說明 phase semantics沒有跳變。

但 whole-domain nonnegative safety本身，可以直接由 continuity完成。

所以：

$$
\boxed{
\text{Boundary Compatibility}
}
$$

變成 semantic consistency certificate，而不是 domain-safety 唯一橋樑。

---

# 5. Algebraic RootRef

對 irrational root：

$$
\alpha,
$$

runtime不必把：

$$
2-\frac{\sqrt3}{2}
$$

視為 trusted scalar expression。

trusted representation：

```text
polynomial = H1
isolating interval = (a,b)
Sturm root count = 1
RootRef = unique root of H1 in (a,b)
```

所以 theorem可以寫：

> 令 $\alpha$ 為該 isolating interval 中 $H_1$ 的唯一實根。

再證：

$$
[0,\alpha]
$$

safe。

這比要求 proof assistant先 canonicalize radical expression更一般。

---

# 6. Boundary Ordering

`WSFC-WHOLE-DOMAIN-0.1` 第一版要求：

- algebraic isolating boxes跨不同 polynomials pairwise disjoint；
- rational roots不可落在 algebraic box內。

如此 root ordering可直接由 rational box endpoints決定。

若兩個 polynomials共享同一 irrational root，boxes可能重疊。

此情況第一版明確拒絕，而不是猜兩個 roots是否相同。

未來需：

```text
COMMON_ROOT_CERTIFICATE
RESULTANT / GCD CERTIFICATE
SHARED ROOTREF
```

---

# 7. First Actual Event

whole-domain safety與 first-event semantics是兩個 claim。

runtime先找到 boundary root sources。

actual event只有：

```text
N root
  -> VERTEX_COLLAPSE

H1 root + adjacent MOVING_ENDPOINT phase
  -> MOVING_ENDPOINT_CONTACT

L root + adjacent INTERIOR_PROJECTION phase
  -> INTERIOR_SEGMENT_CONTACT
```

而：

```text
A/S root
  -> NEAREST_FEATURE_SWITCH

L root outside interior phase
  -> SUPPORTING_LINE_TANGENCY_ONLY
```

所以 Round 11 的 semantic distinction保持。

---

# 8. Canonical Composition

canonical boundaries包括：

$$
\frac12,
\qquad
\frac67,
\qquad
1.
$$

composition得到：

```text
0 -> 1/2
  INTERIOR_PROJECTION
  safe

1/2
  continuity glue / feature switch

1/2 -> 6/7
  MOVING_ENDPOINT
  safe

6/7
  continuity glue
  SUPPORTING_LINE_TANGENCY_ONLY

6/7 -> 1
  MOVING_ENDPOINT
  safe

1
  MOVING_ENDPOINT_CONTACT
  first actual event
```

因此：

$$
\boxed{
[0,1]
\text{ closed-safe}.
}
$$

---

# 9. Irrational Maximal Safe Prefix

irrational example：

$$
H_1(t)
=
t^2-4t+\frac{13}{4}.
$$

first active moving-endpoint contact root：

$$
\alpha
=
2-\frac{\sqrt3}{2}.
$$

trusted checker只需要：

- $\alpha$ isolating box；
- box有 exactly one $H_1$ root；
- earlier gaps root-free；
- moving-endpoint phase active on prefix cells。

因此：

$$
\boxed{
[0,\alpha]
\text{ closed-safe}.
}
$$

並：

$$
\boxed{
H_1(\alpha)=0
}
$$

給 first actual contact。

---

# 10. Runtime Result

本輪建立：

```text
WSFC_R15_canonical_whole_domain_certificate.json
WSFC_R15_irrational_safe_prefix_certificate.json
```

獨立 composition verifier輸出：

```text
WSFC-R15 WHOLE-DOMAIN COMPOSITION: PASS
```

---

# 11. Stress

本輪另對 random rational affine inputs執行 composition。

`WSCOMP-0.1` 明確拒絕：

```text
overlapping algebraic root boxes across different polynomials
```

因這需要 shared-root semantics。

其餘 supported cases進行 safe-prefix composition與 event classification。

這是 runtime stress，不是 theorem。

---

# 12. Lean Topological Glue

本輪 Lean draft把核心 boundary theorem寫成：

```text
safe_boundary_of_tendsto_TARGET
```

形式：

若：

$$
t_n\rightarrow t_\star,
$$

每個：

$$
t_n
$$

皆 safe，

而：

$$
H(\cdot,\lambda)
$$

在：

$$
t_\star
$$

continuous，

則：

$$
t_\star
$$

safe。

mathlib目前已有 finite set / interval與一般拓撲工具，可支援後續有限 partition composition。citeturn795524search0turn795524search2

---

# 13. Generic Whole-Domain Theorem Skeleton

目標可以正式寫成：

$$
\boxed{
\begin{aligned}
&\text{Finite Complete Boundary Set}\\
&+
\text{Every Open Cell Safe}\\
&+
\text{Continuity of }H\\
&+
\text{Safe Domain Endpoints}\\
&\Downarrow\\
&\forall t\in[t_0,t_1],\
\forall\lambda\in[0,1],\
H(t,\lambda)\ge0.
\end{aligned}
}
$$

這與 polynomial degree無關。

所以 future higher-degree compiler也可以重用此 composition theorem。

---

# 14. Point-to-Segment Compiler Core Status

經 Round 12–15：

```text
GEOMETRY -> POLYNOMIALS              DONE
ROOT GENERATION                       DONE
INDEPENDENT ROOT COVER CHECK          DONE
ROOT-FREE SIGN INVARIANCE             THEOREM-BACKED
NEAREST FEATURE CLASSIFICATION        DONE
PHASE SAFETY                          CLOSED
BOUNDARY SAFETY                       CLOSED BY CONTINUITY
WHOLE SAFE PREFIX COMPOSITION         IMPLEMENTED
FIRST-EVENT SEMANTICS                 IMPLEMENTED
FORMAL PROOF-ASSISTANT COMPOSITION    OPEN
```

這代表 Point-to-Segment Compiler 的 mathematical core 已基本閉合。

---

# 15. 下一步

Round 16 不應繼續新增 point-to-segment mathematics。

較合理的是：

$$
\boxed{
\textbf{Transition-Level Integration}.
}
$$

把 whole-domain point-to-segment certificate重新接回：

- Endpoint Shortcut；
- Interior Support Shift；
- Lower-Stage Merge；
- WSFC Geometry State IR。

也就是從：

$$
\boxed{
\text{one moving segment safe}
}
$$

升成：

$$
\boxed{
\text{one complete geometry-state transition sound}.
}
$$

這會重新回到 WSFC 的真正 state machine。

---

# 結論

Round 15 完成的是 Point-to-Segment Compiler 的 global composition：

$$
\boxed{
\text{Root Cover}
\rightarrow
\text{Safe Open Cells}
\rightarrow
\text{Continuity Glue}
\rightarrow
\text{Closed Safe Prefix}.
}
$$

internal roots不再是 proof burden爆炸點。

irrational event endpoint也不需要先轉成 radical normal form；unique-root reference + isolating interval即可。

所以 Generic Point-to-Segment Certificate Compiler現在第一次具有完整的 whole-domain safety語義。

===END===