# WSFC Round 11
## Formal Certificate Composition：從 Supporting-Line Certificate 修正為 Piecewise Segment-Safety Certificate

**English Title:** *Formal Certificate Composition: From Supporting-Line Safety to Piecewise Finite-Segment Safety*  
**文件代號：** `WSFC-R11-v0.1`  
**版本：** v0.1  
**日期：** 2026-09-23  
**作者：** Neo.K  
**AI 協力研究者：** Aletheia / OpenAI GPT-5.6 Sol  
**系列：** Worm Sequence Freedom Closure  
**前置：** `WSFC-R10-v0.1`  
**狀態：** `END-TO-END CANONICAL SEGMENT CERTIFICATE / LINE-EVENT INTERPRETATION CORRECTED`  
**Canonical Source：** UTF-8 Markdown

---

# 摘要

Round 10 建立：

$$
\boxed{
\text{Polynomial Sign}
\rightarrow
\text{Line Exterior}
\rightarrow
\text{Segment Safety}
\rightarrow
\text{Transition Soundness}
}
$$

的初步 responsibility chain。

Round 11 在真正執行 certificate composition 時發現：

$$
\boxed{
\text{supporting-line safety is sufficient but not necessary for finite-segment safety}.
}
$$

canonical endpoint example：

$$
P_0=(2,1),
\qquad
P_1=(2,-1),
\qquad
P_2=(1,0),
$$

$$
P_1(t)
=
(2-t,-1+t).
$$

supporting-line event polynomial：

$$
F_{\rm line}(t)
=
7t^2-20t+12
=
(t-2)(7t-6)
$$

在：

$$
t=\frac67
$$

達到 $0$。

但 exact calculation顯示 tangency point：

$$
\left(
\frac45,-\frac35
\right)
$$

在 finite segment 的 affine parameter：

$$
\boxed{
\mu=\frac75>1.
}
$$

所以：

$$
\boxed{
\text{LINE TANGENCY at }6/7
\neq
\text{SEGMENT CONTACT at }6/7.
}
$$

finite segment 在 $6/7$ 之後仍安全。

真正 first geometric event 是：

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

此時：

$$
P_1(1)=P_2=(1,0),
$$

所以同時：

```text
VERTEX_COLLAPSE
SEGMENT_ENDPOINT_CONTACT
```

這迫使 certificate architecture 從 line-only model 升級為：

$$
\boxed{
\textbf{Piecewise Point-to-Segment Certificate}.
}
$$

對一般 finite segment：

$$
X(\lambda,t)
=
P_0+\lambda v(t),
\qquad
0\le\lambda\le1,
$$

令：

$$
w=P_0-C.
$$

squared clearance：

$$
H_t(\lambda)
=
\|w+\lambda v(t)\|^2-r^2.
$$

unconstrained minimizer：

$$
\lambda_\star
=
-\frac{w\cdot v}{\|v\|^2}.
$$

所以 finite-segment minimum分成三種 nearest-feature phases：

$$
w\cdot v\ge0
\Rightarrow
\lambda=0,
$$

$$
-\|v\|^2
\le
w\cdot v
\le0
\Rightarrow
\lambda=\lambda_\star,
$$

$$
w\cdot v
\le
-\|v\|^2
\Rightarrow
\lambda=1.
$$

interior phase 有 exact identity：

$$
\boxed{
\|v\|^2H_t(\lambda)
=
F_{\rm line}(t)
+
\left(
\|v\|^2\lambda+w\cdot v
\right)^2.
}
$$

因此 supporting-line clearance只在 interior-projection phase承擔 segment-safety responsibility。

對 canonical example：

$$
w=(2,1),
$$

$$
v(t)=(-t,t-2).
$$

有：

$$
w\cdot v
=
-t-2,
$$

$$
\|v\|^2
=
2t^2-4t+4.
$$

feature-switch polynomial：

$$
w\cdot v+\|v\|^2
=
2t^2-5t+2
=
\boxed{
(t-2)(2t-1).
}
$$

所以 nearest feature 在：

$$
\boxed{
t=\frac12
}
$$

從 interior projection 切換成 moving endpoint。

在：

$$
0\le t\le\frac12,
$$

supporting-line clearance：

$$
(t-2)(7t-6)\ge0.
$$

在：

$$
\frac12\le t\le1,
$$

moving endpoint clearance：

$$
\boxed{
2t^2-6t+4
=
2(t-2)(t-1)
\ge0.
}
$$

終點：

$$
t=1
$$

才接觸 unit circle。

因此 canonical Endpoint Slide 正確 certificate 為：

$$
\boxed{
[0,1/2]
\text{ interior-projection safe}
}
$$

接：

$$
\boxed{
[1/2,1]
\text{ endpoint-safe}.
}
$$

而：

$$
t=\frac67
$$

只是：

```text
SUPPORTING_LINE_TANGENCY_ONLY
```

不是 state event。

Round 11 新增 `WSFC Certificate v0.3`：

```text
SEGMENT_SAFE_INTERVAL
NEAREST_FEATURE_PHASE
```

並將 certificate phase boundary 與 geometric event正式分離。

exact runtime輸出：

```text
WSFC-R11 END-TO-END SEGMENT CERTIFICATE: PASS
projection switch = 1/2
supporting-line tangency = 6/7 (outside segment)
first actual contact/collapse = 1
```

所以 Round 11 不只是「把 Round 10 接起來」。

它反而利用 Formal Composition 抓到一個 semantic scope error：

$$
\boxed{
\text{正確 arithmetic}
\not\Rightarrow
\text{正確 claim scope}.
}
$$

這是 certificate system 必須處理的核心問題。

---

# 1. Point-to-Segment Clearance

令：

$$
X(\lambda)
=
P_0+\lambda v,
\qquad
0\le\lambda\le1.
$$

令：

$$
w=P_0-C.
$$

則：

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

展開：

$$
H(\lambda)
=
\|v\|^2\lambda^2
+
2(w\cdot v)\lambda
+
\|w\|^2-r^2.
$$

當 $v\neq0$，這是 strict convex quadratic。

---

# 2. Complete-Square Identity

定義：

$$
F_{\rm line}
=
\operatorname{cross}(v,w)^2
-r^2\|v\|^2.
$$

二維 exact identity：

$$
\boxed{
\|v\|^2H(\lambda)
=
F_{\rm line}
+
\left(
\|v\|^2\lambda+w\cdot v
\right)^2.
}
$$

Round 11 exact machine check residual為 $0$。

---

# 3. Nearest Feature Partition

$$
\lambda_\star
=
-\frac{w\cdot v}{\|v\|^2}.
$$

所以：

### Fixed endpoint $P_0$

$$
w\cdot v\ge0.
$$

### Interior projection

$$
-\|v\|^2
\le
w\cdot v
\le0.
$$

### Moving endpoint $P_1$

$$
w\cdot v
\le
-\|v\|^2.
$$

這三段給 finite-segment exact semantics。

---

# 4. Canonical Projection Switch

canonical：

$$
w\cdot v+\|v\|^2
=
(t-2)(2t-1).
$$

在：

$$
0\le t\le\frac12
$$

為 nonnegative。

在：

$$
\frac12\le t\le1
$$

為 nonpositive。

所以：

$$
\boxed{
t=\frac12
}
$$

是 nearest-feature switch。

這是 certificate phase boundary，不是 geometry event。

---

# 5. Phase 1 Safety

$$
F_{\rm line}(t)
=
(t-2)(7t-6).
$$

對：

$$
0\le t\le\frac12,
$$

兩 factors均 nonpositive：

$$
\boxed{
F_{\rm line}(t)\ge0.
}
$$

故 interior-projection minimum safe。

---

# 6. Phase 2 Safety

moving endpoint clearance：

$$
E(t)
=
2(t-2)(t-1).
$$

對：

$$
\frac12\le t\le1,
$$

兩 factors均 nonpositive：

$$
\boxed{
E(t)\ge0.
}
$$

且：

$$
E(1)=0.
$$

---

# 7. Why $6/7$ Is Not a Segment Event

supporting-line tangent point：

$$
T=
\left(
\frac45,-\frac35
\right).
$$

若：

$$
T
=
P_0+\mu
\left(
P_1(6/7)-P_0
\right),
$$

則：

$$
\boxed{
\mu=\frac75.
}
$$

因 $\mu>1$：

$$
T
$$

不在 finite segment。

所以：

$$
\boxed{
\text{LINE_TANGENCY}
\neq
\text{SEGMENT_CONTACT}.
}
$$

---

# 8. First Actual Event

$$
P_1(1)
=
(1,0)
=
P_2.
$$

所以 vertex collapse。

同時：

$$
1^2+0^2=1,
$$

因此 endpoint contact unit circle。

所以：

$$
\boxed{
t_{\rm first}=1.
}
$$

---

# 9. Certificate Phase vs. State Event

canonical timeline：

```text
0
|
| interior-projection certificate
|
1/2
NEAREST_FEATURE_SWITCH
|
| endpoint certificate
|
6/7
SUPPORTING_LINE_TANGENCY_ONLY
|
|
1
VERTEX_COLLAPSE
SEGMENT_ENDPOINT_CONTACT
```

Round 11 正式區分：

$$
\boxed{
\text{certificate representation change}
\neq
\text{state transition event}.
}
$$

---

# 10. Certificate v0.3

新增 certificate types：

```text
SEGMENT_SAFE_INTERVAL
NEAREST_FEATURE_PHASE
```

Endpoint Slide certificate必須能描述：

```text
phase interval
nearest feature
feature guards
phase safety polynomial
certificate-only phase boundaries
actual geometry event
```

---

# 11. Formal Proof DAG

本輪建立：

```text
WSFC_R11_certificate_dependency_dag.json
```

其 root claim：

> finite segment safe on $[0,1]$ and first actual event at $t=1$.

依賴：

- point-to-segment quadratic；
- complete square；
- phase-1 guards；
- phase-1 safety；
- phase-2 guards；
- phase-2 safety；
- line tangency outside segment；
- actual collapse/contact at $1$。

---

# 12. Lean Draft v3

新增：

```text
WSFC_R11_Formal_Certificate_Composition_DRAFT.lean
```

其中 exact scalar targets包括：

```text
segment_clearance_complete_square
projection_parameter_mem_unit_interval_TARGET
canonical_dot
canonical_norm
canonical_switch
canonical_line_clearance
canonical_endpoint_clearance
canonical_phase1_signs_TARGET
canonical_phase2_signs_TARGET
canonical_line_tangency_outside_segment_TARGET
canonical_actual_event_at_one_TARGET
```

真正剩下：

```text
canonical_endpoint_slide_segment_safe_TARGET
```

以及兩個 generic nearest-feature minimization wrapper。

---

# 13. 對 Round 09–10 的修正

需要修正：

```text
OLD:
  first event / first tangency = 6/7
```

為：

```text
NEW:
  nearest-feature switch = 1/2
  supporting-line tangency only = 6/7
  first actual finite-segment event = 1
```

line-certificate arithmetic 本身沒錯。

錯的是把 certificate boundary claim得太強。

---

# 14. 對 Endpoint Shortcut 的影響

若 supporting line變成 tangent，但 tangency point不在 finite segment：

$$
\boxed{
\text{不要停止 transition}.
}
$$

必須切換 certificate phase，繼續至真正 geometry/combinatorial event。

canonical example最後走向：

$$
\boxed{
\text{lower-stage collapse}.
}
$$

這使 Round 05 的 lower-stage absorption第一次在 canonical certificate runtime裡真正 activation。

---

# 15. 下一步

Round 12 應做：

$$
\boxed{
\textbf{Generic Point-to-Segment Certificate Compiler}.
}
$$

輸入：

$$
P_0,
P_1(t),
C,
r
$$

自動生成：

1. nearest-feature switch polynomials；
2. phase intervals；
3. safety polynomial per phase；
4. roots / isolating intervals；
5. first actual segment event；
6. proof DAG；
7. Certificate v0.3 object。

這樣 Round 11 的 semantic correction 才會成為一般 protocol。

---

# 結論

Round 11 最大成果是 formal composition 主動抓到：

$$
\boxed{
\text{Line Safety}
\text{ 與 }
\text{Finite-Segment Safety}
}
$$

不能混同。

真正正確的 certificate semantics 是：

$$
\boxed{
\text{Nearest Feature}
\rightarrow
\text{Phase-Specific Polynomial}
\rightarrow
\text{Finite-Segment Safety}.
}
$$

canonical transition現在完整為：

$$
\boxed{
[0,1/2]
\rightarrow
[1/2,1]
\rightarrow
t=1.
}
$$

所以 WSFC certificate system開始從 arithmetic soundness進入：

$$
\boxed{
\textbf{semantic soundness}.
}
$$

===END===