# WSFC Round 19 重建版
## Refinement Chain / Closure Algebra：Transition History 與 Freedom Tail Certificate

**版本：** reconstructed-v1 · 2026-10-08  
**性質：** 從 R18 的下一步提案與 R20 對 R19 的摘要引用重建。原始 R19 本文、程式與對話未恢復；本文的記號、帳格式與例子是本次整理。

## 1. 承接三種 transition

R18 已分出 MOTION、NORMALIZATION 和 REFINEMENT，並區分 representation birth 與 active freedom birth。R19 的工作是把這些單步記錄串為

\[
S_0\xrightarrow{\tau_0}S_1\xrightarrow{\tau_1}\cdots.
\]

每個 \(S_k\) 保存 stage、geometry、task value Q、已用假設及證書 ancestry。每個 \(\tau_k\) 保存 operation、輸入／輸出引用、active birth、幾何與任務殘差，及其權威。

## 2. 三種殘差不能混用

本重建採用

\[
d(S_k,S_{k+1})\le g_k,
\qquad |Q(S_k)-Q(S_{k+1})|\le q_k.
\]

g_k 是幾何殘差，q_k 是任務殘差。新增的表示段數或 active birth 另記為 b_k。段數增加沒有自動給出 g_k 或 q_k 的界；normalization 刪段也沒有自動證明 task semantics 不劣化。

## 3. 有限鏈的合成規則

對 M>N，三角不等式給出

\[
d(S_N,S_M)\le\sum_{k=N}^{M-1}g_k,
\qquad |Q(S_N)-Q(S_M)|\le\sum_{k=N}^{M-1}q_k.
\]

這個規則只合成已成立且共享同一 metric、Q 與參數規範的單步契約。不同 task targets 的 q_k、只有抽樣支持的殘差，不能換標籤後進入同一個證書。

## 4. Freedom Tail Certificate

若有可核對的尾界

\[
G_N\ge\sum_{k\ge N}g_k\to0,
\qquad R_N^Q\ge\sum_{k\ge N}q_k\to0,
\]

則 geometry chain 是 Cauchy，task values 也是 Cauchy。若 ambient state metric 空間完備且限制域對極限封閉，便有合法的極限狀態；若 Q 的延拓具有相容連續性，极限 task 值也由其極限決定。

這是條件式的 closure algebra。有限前綴的輸出不能自行證明所有未来步驟满足同一尾界。

## 5. 自由度出生與殘差收束可以同時發生

在抽象殘差帳例子中，可令每一步 b_k=1 而 q_k=2^-k。於是出生總數隨 N 無界增加，任務尾界卻為一個收斂幾何級數。這只說明兩種指標可以相容，不是某條真正 broadworm 最優鏈的構造。

另有 exact dormant refinement：把同一條線段不斷細分，表示段數增加，而 trace、Q 和殘差保持不變。它不該被記成 active geometric freedom 的新證據。

## 6. 最小 proof DAG

```text
single-step preconditions
→ operation semantics
→ g_k / q_k bound
→ finite composition
→ uniformly valid tail bound
→ Cauchy property
→ admissible limit
```

每個節點保存依賴、證據、範圍及 OPEN 狀態。失敗步驟不從圖中刪掉，而是保留 failed edge 與替代路線。

## 7. R20 為何還要新增 Gate 0

以上只閉合一條給定 chain。要把它接到

\[
A_n=\sup_{\gamma\in\Gamma_n}Q(\gamma),\qquad
A_\infty=\sup_{\gamma\in\Gamma}Q(\gamma),
\]

還須知道手中的候選值確是 A_n，有限階段 \(\Gamma_n\) 足夠逼近整個 \(\Gamma\)，以及 Q 的 stability modulus。R20 指出的 Gate 0 正是 finite-stage exactness；不能從內部 Cauchy closure 推出真正有限階段最優性。

## 8. 下一個交接點

把 ancestry、representation stage、active birth、g_k、q_k、tail modulus、normalization 的語義保持為不同欄位。再由 R20 的 G0–G4、R21 的有限階段審計及 R22 的逼近界，逐一接續全域義務。

本版恢復 R18→R20 中間缺失的可讀邏輯橋。broadworm 的 G0、後續條件式單調性與唯一性，以及全域蟲問題，沒有由此被提升為已完成。

===END OF RECONSTRUCTED EDITION===