# WSFC Round 06
## Adversarial Re-Derivation：找到一個 Plateau Gap、完成一般修復，並重建 Support-Class Necessity

**English Title:** *Adversarial Re-Derivation of the Finite-$n$ Support-Tangent Reduction: A Plateau Gap, Its General Repair, and a Source-First Proof Chain*  
**文件代號：** `WSFC-R06-v0.1`  
**版本：** v0.1  
**日期：** 2026-09-23  
**作者：** Neo.K  
**AI 協力研究者：** Aletheia / OpenAI GPT-5.6 Sol  
**系列：** Worm Sequence Freedom Closure  
**前置：** `WSFC-R05-v0.1`  
**狀態：** `ADVERSARIAL VERIFICATION / GAP FOUND AND REPAIRED / SOURCE-FIRST RE-DERIVATION`  
**Canonical Source：** UTF-8 Markdown

---

# 摘要

Round 05 形成一條 provisional global reduction：

$$
\Gamma_n^\star
\in
\mathcal T_n,
\qquad
n\ge4,
$$

並明確要求下一輪停止擴張，專門嘗試推翻它。

Round 06 因此不增加新的 $n$，不以產生更多候選為目標，而執行：

1. external-source re-check；
2. source-first independent proof decomposition；
3. symbolic / CAS audit；
4. interval arithmetic audit；
5. omitted-boundary-family search；
6. formalization decomposition。

本輪得到一個重要而健康的結果：

$$
\boxed{
\text{Round 05 的 proof chain 確實有一個遺漏邊界族。}
}
$$

Round 05 對 positive plateau 的 $n\ge5$ proof 使用：

$$
q_L,q_R\ge1,
$$

但這並不涵蓋：

> 一側只有一條 direct segment，即 $q=0$；另一側有 $q\ge1$ 個 angular gaps；同時存在 positive top plateau。

這是一個真實 proof gap。

然而，該 gap 可以一般化修復。

對 one-direct-side positive-plateau branch，固定另一側 gap count：

$$
q\ge1,
$$

interior stationarity 給：

$$
x_\star
=
\tan
\frac{c}{2(q+1)}.
$$

branch total length 化為：

$$
\boxed{
T_q(c)
=
\csc c
+
2(q+1)
\tan
\frac{c}{2(q+1)}.
}
$$

而：

$$
\boxed{
T_q'(c)
=
-\csc c\cot c
+
\sec^2
\frac{c}{2(q+1)}.
}
$$

對 admissible：

$$
c\in[\pi/3,\pi/2]
$$

有：

$$
\csc c\cot c
\le
\frac23,
$$

以及：

$$
\sec^2
\frac{c}{2(q+1)}
>1.
$$

所以對所有：

$$
q\ge1,
$$

均有：

$$
\boxed{
T_q'(c)
>
\frac13
>0.
}
$$

因此 every one-sided positive-plateau branch 的 minimum 都發生在 branch birth boundary，而該 boundary 正是：

$$
\boxed{
p=0.
}
$$

所以 Round 05 的 plateau conclusion survives，但 proof 必須替換為這個 general lemma，而不能沿用原本「$n\ge5$ 即兩側 $q>0$」的表述。

本輪也重新檢查 Adhikari–Pitman 原始來源。其 indexed text 明確包含：

$$
\boxed{
\text{LEMMA 7. A minimal arc with at most }M\text{ segments is convex.}
}
$$

並且在 convex case 中明確給出 endpoint-strip reduction 以及 three-condition two-disc criterion。

這使 Round 05 最危險的「interior support shift 是否可能創造新的 narrower width direction」可以被重新表述並避開：

> 不在完整 width functional 中移動 support line；先使用 two-disc criterion，把每一側變成 single-disc obstacle path，再在 fixed normal-order obstacle problem中做 support-radius reduction。

在 single-disc problem 中，只要每一條 segment supporting line 對 disc 的 distance 仍：

$$
h_i\ge1,
$$

整條 polygonal path 就仍在 obstacle 外。

對 interior support line，fixed-normal polygonal length 對 support number 的 derivative 為：

$$
\boxed{
\frac{\partial\ell}{\partial h_i}
=
\tan\frac{\delta_{i-1}}2
+
\tan\frac{\delta_i}2
>0.
}
$$

因此：

$$
h_i>1
$$

可安全 inward shift，直到：

$$
h_i=1
$$

或 support-angle collision / lower-stage degeneration。

這提供比 Round 05 原文更乾淨的 independent justification。

CAS audit 亦確認：

- $g(q,s)=2q\tan(s/(2q))$ 的 Hessian determinant 為 $0$；
- $g$ 是 convex perspective；
- $\Delta_d''(a)>0$；
- composed one-side functional 的 Hessian determinant factorization：
  $$
  \boxed{
  \det\nabla^2J_d
  =
  g_{qq}g_s\Delta_d''(a)
  >0
  }
  $$
  正確；
- Round 04 balanced allocation argument 沒有在此 symbolic audit 中出現 algebraic mismatch。

$q=0$ global exclusion 亦以 60-digit interval arithmetic 重算。continuous one-side lower envelope 與 explicit four-segment competitor 之差得到 strictly positive interval，因此 Round 05 的 numerical separation 不只是 floating-point sign。

Round 06 的最終 verdict 是：

```text
ROUND 05 GLOBAL REDUCTION:
    NOT REFUTED

ONE REAL GAP:
    FOUND

THE GAP:
    REPAIRED BY A STRICTLY MORE GENERAL LEMMA

THEOREM STATUS:
    SURVIVES AS A RESEARCH PROOF CHAIN
    NOT YET FORMALLY VERIFIED
    NOT PEER REVIEWED
```

---

# 1. Verification 原則

Round 06 的任務不是：

> 幫 Round 05 找理由。

而是：

> 哪一個最小位置可以讓整條 reduction 失敗？

因此採取：

$$
\boxed{
\text{source anchor}
\rightarrow
\text{local lemma}
\rightarrow
\text{boundary family}
\rightarrow
\text{counterexample attempt}.
}
$$

任何一層失敗，都必須降低 global theorem status。

---

# 2. External Source Audit

Adhikari–Pitman 的原 technical report / 1989 paper indexed text 明確寫：

> `LEMMA 7. A minimal arc with at most M segments is convex.`

因此：

$$
\boxed{
\text{finite-segment convexity}
}
$$

不是 Round 05 自創前提。

其 convex-arc section 亦明確說明：

- 若 arc 伸出 endpoints 左右，perpendicular reduction 產生 shorter arc with greater width；
- 所以可限制在 endpoint strip；
- 對 strip-confined convex arc，width condition 等價於：
  1. intersect unit-height horizontal segment；
  2. left subarc avoids the open unit disc at $B$；
  3. right subarc avoids the open unit disc at $A$。

因此 Round 06 將這三個 external pieces 固定成 proof API。

---

# 3. Finite-budget Strip Compatibility

外部 perpendicular reduction 是以一般 convex arc 敘述。

Round 06 額外檢查 finite-segment compatibility。

該 reduction 是把一段非必要 convex subarc 替換成一條 perpendicular straight segment。

對 polygonal arc：

$$
\boxed{
\text{replace a nontrivial subpath by one segment}
}
$$

不可能增加 segment count。

因此：

$$
\boxed{
\text{endpoint-strip reduction is compatible with an at-most-}M\text{ budget}.
}
$$

此步屬 source theorem + direct finite-budget observation。

---

# 4. Independent One-Disc Polygonal Geodesic Re-Derivation

固定 endpoints 與 split point $F$。

left side 的問題是：

> 在不進入 $D(B,1)$ 的條件下，用有限 segments 從 $A$ 到 $F$，最短 polygonal path 是什麼？

right side 對 $D(A,1)$ 對稱。

這一步使 full-width coupling 暫時消失。

---

# 5. Interior Support Radius Monotonicity

考慮一個 convex ordered polygonal path around a unit disc。

令 segment supporting lines：

$$
L_i:
\langle n_i,x\rangle=h_i,
$$

其中：

$$
h_i\ge1.
$$

相鄰 outward-normal angle gaps：

$$
\delta_i\in(0,\pi).
$$

在 fixed normal-order cell 中，對 interior line $L_i$：

$$
\boxed{
\frac{\partial\ell}{\partial h_i}
=
\tan\frac{\delta_{i-1}}2
+
\tan\frac{\delta_i}2.
}
$$

因此：

$$
\boxed{
\frac{\partial\ell}{\partial h_i}>0.
}
$$

所以若：

$$
h_i>1,
$$

可令：

$$
h_i\downarrow
$$

直到：

1. $h_i=1$；
2. $\delta_{i-1}=0$ 或 $\delta_i=0$，進入 lower-stage collision。

這個 argument 不依賴「其他 full-width directions 不變」。

其 feasibility 只依賴：

$$
h_j\ge1
$$

保證每一條 segment line 都不切入該 unit disc。

因此 Round 05 的 interior saturation conclusion 保留，但 proof 語言應改成：

$$
\boxed{
\text{single-disc obstacle support reduction}.
}
$$

---

# 6. Endpoint Shortcut Re-check

endpoint-adjacent line不能做自由平移，因為它必須通過固定 endpoint。

對 path：

$$
P_0P_1P_2\cdots,
$$

把：

$$
P_1
$$

沿：

$$
P_1P_2
$$

往 $P_2$ 滑。

第一個事件若是：

$$
P_0P_1'
$$

的 line tangent to disc，得到 endpoint tangency。

若：

$$
P_1'=P_2,
$$

segment count下降。

停止前，新的 first line 還沒有穿入 disc；第二 segment 是舊合法 segment 的子段。

triangle inequality 保證 two-edge length nonincrease。

因此：

$$
\boxed{
\text{endpoint shortcut}
}
$$

在 one-disc formulation 中 survives audit。

---

# 7. 真正找到的 Gap：Plateau $q=0$ Family

Round 05 的 $n\ge5$ plateau proof 明確假設：

$$
q_L,q_R\ge1.
$$

但：

$$
n\ge5
$$

並不自動推出此條件。

例如總 segment budget 可分成：

```text
one direct left segment
+
one positive horizontal plateau segment
+
multiple right tangent segments
```

此時：

$$
q_L=0,
\qquad
q_R\ge1.
$$

Round 05 的一般 $n\ge5$ convexity proof不涵蓋這個 family。

雖然 Round 05 另有 q=0 no-plateau exclusion，但文字上沒有完成：

$$
\boxed{
q=0
+
p>0
}
$$

的全體解析 closure。

所以：

$$
\boxed{
\text{ROUND 05 HAD A REAL PROOF GAP HERE.}
}
$$

---

# 8. General One-Sided Plateau Repair

考慮：

- 一側 direct segment；
- 另一側 $q\ge1$ angular gaps；
- positive plateau $p>0$。

令：

$$
c
=
\arcsin\frac1d.
$$

把 direct side 先由 monotonic shortcut 推至 unit-disc tangency。

在 positive-plateau branch 中，令另一側 top coordinate parameter 為 $x$。

總長可化成：

$$
T(c,x)
=
\csc c
+
2x
+
2q
\tan
\left(
\frac{
c-2\arctan x
}{
2q
}
\right).
$$

interior stationarity：

$$
\frac{\partial T}{\partial x}=0
$$

等價於：

$$
\tan
\left(
\frac{
c-2\arctan x
}{
2q
}
\right)
=
x.
$$

因 relevant angles lie in the principal interval：

$$
\frac{
c-2\arctan x
}{
2q
}
=
\arctan x.
$$

故：

$$
\boxed{
c
=
2(q+1)\arctan x.
}
$$

即：

$$
\boxed{
x_\star
=
\tan
\frac{c}{2(q+1)}.
}
$$

代回：

$$
\boxed{
T_q(c)
=
\csc c
+
2(q+1)
\tan
\frac{c}{2(q+1)}.
}
$$

這是 Round 05 $q=1$ 特殊式：

$$
\csc c+4\tan(c/4)
$$

的完整 generalization。

---

# 9. General Plateau Branch Strict Monotonicity

微分：

$$
\boxed{
T_q'(c)
=
-\csc c\cot c
+
\sec^2
\frac{c}{2(q+1)}.
}
$$

在：

$$
c\in[\pi/3,\pi/2]
$$

有：

$$
\csc c\cot c
=
\frac{\cos c}{\sin^2c}
\le
\frac23.
$$

而：

$$
\sec^2
\frac{c}{2(q+1)}
>1.
$$

所以對 every integer：

$$
q\ge1,
$$

都有 uniform bound：

$$
\boxed{
T_q'(c)
>
\frac13.
}
$$

因此 positive plateau interior branch 隨 $c$ strictly increasing。

---

# 10. Branch Birth Boundary = $p=0$

positive plateau branch 的存在條件是：

$$
x_\star
>
\cot c.
$$

birth boundary：

$$
\tan
\frac{c}{2(q+1)}
=
\cot c.
$$

在此：

$$
p=0.
$$

既然：

$$
T_q'(c)>0,
$$

branch minimum 必在最小 admissible $c$，即 birth boundary。

所以：

$$
\boxed{
\min_{\text{one-sided }q=0,\;p>0}
T
\text{ occurs at }
p=0.
}
$$

這一次對所有：

$$
q\ge1
$$

同時成立。

因此 Round 05 的 plateau conclusion 被修復。

---

# 11. CAS Audit

Round 04 使用：

$$
g(q,s)
=
2q\tan\frac{s}{2q}.
$$

CAS 重新計算得到：

$$
g_s
=
\sec^2\frac{s}{2q},
$$

$$
g_{ss}
=
\frac{
\sec^2(s/(2q))
\tan(s/(2q))
}{
q
},
$$

且：

$$
\boxed{
g_{qq}g_{ss}-g_{qs}^2=0.
}
$$

所以 perspective Hessian 是 rank-one semidefinite。

另一方面：

$$
\Delta_d(a)
=
\frac\pi2
-
\arccos\frac1d
-
2\arctan a,
$$

$$
\Delta_d''(a)
=
\frac{4a}{(1+a^2)^2}
>0.
$$

因此 composed one-side functional：

$$
J_d(q,a)
=
\text{const}
+
a
+
g(q,\Delta_d(a))
$$

有：

$$
\boxed{
\det\nabla^2J_d
=
g_{qq}
g_s
\Delta_d''(a)
>0.
}
$$

Round 04 的 joint strict convexity factorization 通過 symbolic audit。

---

# 12. q=0 Separation Interval Audit

Round 05 使用：

$$
B_\infty(c)
=
\csc c
+
2\cot c
+
3c-\pi.
$$

stationary equation：

$$
3\cos^2c+\cos c-1=0.
$$

令：

$$
z_\star
=
\frac{\sqrt{13}-1}{6}.
$$

Round 06 使用 60-decimal interval arithmetic 直接評估：

- $B_\infty(c_\star)$；
- explicit competitor $L_4(53/50)$；
- 兩者之差。

得到 strictly positive margin interval。

因此：

$$
\boxed{
\min B_\infty
>
L_4(53/50)
}
$$

在本 interval runtime 中被 certified，而不是只依普通 float sign。

完整 interval endpoints 保存於：

```text
WSFC_R06_q0_interval_certificate.json
```

---

# 13. Lower-Stage Degeneration Re-check

以下 reductions 沒有發現邏輯缺口：

$$
\text{zero segment}
\rightarrow
\text{delete},
$$

$$
\text{same-line consecutive segments}
\rightarrow
\text{merge},
$$

$$
\delta_i=0
\rightarrow
\text{support-line collision}
\rightarrow
\text{merge}.
$$

對 convex ordered normals，support-order swap 必先通過：

$$
\delta_i=0.
$$

因此在目前 finite convex-chain model 中，Round 05 的 lower-stage absorption survives。

需保留 scope：

> 這不是所有可能拓撲變化的一般 theorem；它只針對目前 convex polygonal normal-order state space。

---

# 14. External Novelty Re-check

本輪再做 targeted search：

- `"broadest n-segment unit arc"`；
- `"broadest polygonal arc" unit breadth n segment`；
- specific `four-/five-/six-segment` searches。

結果仍主要回到 2007 Panraksa–Wetzel–Wichiramala 的 three-segment theorem與 general-$n$ conjectures，未在此 targeted search 中發現一篇明確宣稱 general-$n$ conjectures 已全部解決的後續工作。

作者／合作者公開 publication lists 也仍顯示 2007 的兩篇相關文章，而未顯示 obvious general-$n$ completion。

這只支持：

```text
NO OBVIOUS PRIOR GENERAL-n COMPLETION FOUND IN TARGETED SEARCH
```

不支持：

```text
NOVELTY PROVED
```

---

# 15. Round 06 Audit Matrix 結果

最重要的狀態變化：

```text
FINITE-M CONVEXITY
    PASS / SOURCE

ENDPOINT STRIP
    PASS-WITH-FINITE-BUDGET NOTE

TWO-DISC CRITERION
    PASS / SOURCE

INTERIOR SUPPORT SATURATION
    PASS AFTER SAFER ONE-DISC REPROOF

ENDPOINT SHORTCUT
    PASS AT RESEARCH-PROOF LEVEL

PLATEAU qL,qR>0
    PASS

PLATEAU q=0 + p>0
    GAP FOUND
    GENERAL REPAIR DERIVED
    PASS AFTER REPAIR

q=0 GLOBAL EXCLUSION
    PASS / INTERVAL CERTIFIED

LOWER-STAGE ABSORPTION
    PASS WITH EXPLICIT SCOPE

EQUAL-ANGLE PARTITION
    PASS

BALANCED ALLOCATION
    PASS / CAS

GLOBAL SUPPORT-CLASS REDUCTION
    SURVIVES WITH REPAIRED LEMMA
```

---

# 16. Theorem Status

Round 06 不把 theorem 升到 `PROVED`。

更精確狀態：

$$
\boxed{
\texttt{INDEPENDENTLY RE-DERIVED RESEARCH THEOREM CHAIN}
}
$$

且：

```text
ONE GAP FOUND AND REPAIRED
NO REFUTATION FOUND
FORMAL CHECK STILL OPEN
PEER REVIEW STILL OPEN
```

這比 Round 05 的 `PROVISIONAL GLOBAL REDUCTION` 強，但仍不是 publication-level finality。

---

# 17. 下一步

下一輪應從「人類／同一 AI 再想一次」提升成：

1. machine-checkable symbolic lemmas；
2. interval arithmetic around every non-symbolic separation；
3. formal statement of finite polygonal arc state space；
4. independent solver search for a convex strip path outside $\mathcal T_n$；
5. Lean / Isabelle / Coq formalization skeleton；
6. only after that, derive general-$n$ corollaries as theorem candidates.

尤其應優先形式化：

$$
\boxed{
\text{single-disc finite-segment shortest-path tangent reduction}.
}
$$

因為它現在是整條 support-class necessity 最核心的 reusable lemma。

---

# 結論

Round 06 的結果不是「我們又相信 Round 05 了」。

而是：

$$
\boxed{
\text{真的找到一個 Round 05 漏掉的 boundary family。}
}
$$

接著把該 family 完整解析化：

$$
\boxed{
T_q(c)
=
\csc c
+
2(q+1)
\tan\frac{c}{2(q+1)}
}
$$

並證：

$$
\boxed{
T_q'(c)>\frac13
}
$$

對所有：

$$
q\ge1.
$$

所以 gap 被一般化修復，而不是用數值補丁遮掉。

同時，最危險的 interior support concern 被 two-disc criterion 重新拆成 single-disc obstacle geometry，使 tangent necessity 的 proof責任更局部、更乾淨。

因此目前最合理的結論是：

$$
\boxed{
\text{Round 05 global reduction survives adversarial re-derivation,}
}
$$

但：

$$
\boxed{
\text{the next required authority is machine verification, not more intuition.}
}
$$

===END===