← AMRAL · PROGRAM-WSFC

WSFC：蟲序列自由度閉合

Worm Sequence Freedom Closure · 對 broadworm 寬度數列與 2007 年七個猜想的研究層級暫時閉合；不是 Moser 面積結果

WSFC（Worm Sequence Freedom Closure）把「蟲問題」重寫成一串有限自由度的可能性空間 Γ0 ⊆ Γ1 ⊆ …，要求四道閘門——自由度窮盡、有效逼近、任務穩定、價值擠壓——保證有限階段的答案收斂到連續的答案。它不是 Moser 面積結果。它唯一計算的對象是 broadworm 的寬度數列 t_n（長度為 1、至多 n 段的折線弧，其最小寬度的最大值；t_n 隨 n 上升，趨近已知常數 β ≈ 0.438925369），目標是 2007 年 Panraksa、Wetzel、Wichiramala 的論文中關於一般 n 的七個猜想。Moser 只在 R01 出現，而 R01 自己寫：「本輪得到的最重要結論不是一個新的 Moser worm area bound。」這裡的「閉合」是指有限階段的值收斂到已知的常數，不是一個新的常數。核心做法是把候選最優解限縮在「支撐切線類」（每條側邊都與以對端點為心的單位圓相切），使 2n − 2 個頂點自由度塌縮為一到兩個參數，並寫出封閉式。

2026-10-08 重建更新：依現存敘述補成明列來源的重建版，原件與新實作分列。六項重建總覽與下載包。

誠實的現況：支撐切線類內的封閉式 t_n（n ≥ 4）與 2007 年的表一致；新的 t₇ = 0.438754439、t₈ = 0.438816161 是簡化公式的浮點極小值，不是經認證的包絡。承重假設 G0——真正的最優解落在該類——只到「研究證明層級的暫時閉合」。R27 的校準說法：七條猜想的正確權威層級不是「WSFC 全解」，而是 2 條經典來源閉合（凸性與帷幕性，是 Adhikari–Pitman 1989 的推論）加 5 條 WSFC 暫時的研究閉合，其中多數以 G0 為條件。沒有證明助手、獨立審查或同行評審；十六個 Lean 檔沒有一個編譯過，後期的多半是 theorem …_TARGET : True := by trivial 的占位。本站整理時用自己的程式重算了原文印出的封閉式數值，全部重現；對全部頂點座標做的無模型差分進化搜尋，在 n = 4、5（兩個種子）與 n = 6（兩個種子中的一個）找到與簡化類相同的值，n = 3 到 8 從未超過它（n = 7、8 收斂不足）——這些都不證明 G0。

作者與出處：各輪主文件的標頭都寫「作者：Neo.K；AI 協力研究者：Aletheia / OpenAI GPT-5.6 Sol」（WSFC-00 另有機構 EveMissLab／一言諾科技有限公司）；Key Finding、State Crystal 與筆記沒有作者行。執行環境的痕跡（/mnt/data、artifact_tool 與 ChatGPT 引用標記）顯示各輪由 GPT 撰寫並執行，Neo 指導；不是 Claude 的產出。「Certificates」與「MACHINE-CHECKED」是作者的 AI 以 SymPy／Fraction／mpmath 做的檢查，多半在玩具案例上，不是證明助手。優先權從未被主張；R27 把外部審查與聯繫作者列為下一步。

R28「獨立驗證包」並未驗證任何數學：它是給未來審查者的協議；隨包腳本只檢查檔案雜湊與依賴圖，輸出由作者 AI 的執行環境記錄，沒有人類或第三方的證明。R28 自己寫「本輪不宣稱 independent review 完成；宣稱 novelty；宣稱 formal verification」，狀態是 NO AUTHORITY UPGRADE；R28 之後沒有第 29 輪的重放。

缺檔、找回與一個校準：R19 原稿未恢復，現已由 R18／R20 引用重建邏輯橋（R20 建立在它上面；找回包也列為 MISSING，只留下它預定的主題「Refinement Chain / Closure Algebra」，位於 R18 與 R20 之間）；R22 的獨立原檔也仍找不到，只以 R28 證據包內的副本存在（預定主題「G1 — Full-Domain Coverage」，位於 R21 與 R23 之間）。2026-10-07 由 GPT 從 ChatGPT Library／Drive 找回了 R12（含 State Crystal 12；R12 原始套件未找回，現有重建套件）與 R23 的原始套件（主文件與 R28 副本逐位元組相同；Key Finding、State Crystal、驗證腳本與證書現在都有了），並認定 R04 的正本是《Support-Class Necessity I》（較早的《有限段凸性與障礙化約》草稿保留並標為已被取代）；找回包的校驗和 27 項全部吻合（包 SHA-256 5532652b…）。WSFC-00 依賴五份不在本站、也不在這個資料夾的前置文件（SDRPC_00、MCC_OE_00／01、Projection_Possibility_Space_Paper_04、可序列化數學常數命題）。文中值界不一致一處：R01 的 1/(n − 1) 與 R22 的 1/⌊n/2⌋ 沒有對齊。Moser 蟲問題案例的基準（圓盤、30 度扇形、Wetzel 三角形）沒有包含 R01 所引的 Keller 2026-09-18 的界，建議對齊。

閱讀路徑：先讀 R27（權威帳）與 WSFC-00（不宣稱）；想看機制，讀 R01 → R03；想看一個真實的缺口怎麼被找到與修補，讀 R05 → R06；想看全域鏈的條件結構，讀 R21 → R24 → R25–R26；R28 說明目前沒有外部審查。R07–R18 是證書與 Lean 草稿基礎設施（多為玩具例），不另開頁面，列在下方表格並提供下載。

獨立閱讀頁 · 17 頁／20 份全文

全部 17 個閱讀頁現均提供中英雙語全文，共 20 份文字（R12、R22 各分列本文與重建套件說明；R25 與 R26 合為一頁；R04 早期草稿與正本分列）。原文或重建來源與譯本分開，翻譯不提升研究主張的證據層級；其他僅供下載的材料仍維持原件。

全部文件 · Files

有獨立頁面的文件與其餘文件的原始位元組，未經改寫；25 個原始 zip 另附；2026-10-07 找回的檔案放在 recovered/ 子目錄。其餘各輪附一句話主張與旗標（「無」＝沒有發現誇大；「輕微」＝措辭可能被過度解讀，或系列後面已更正）。完整封存保存在 AMRAL 的研究封存庫，依 SHA-256 逐檔驗證。原件保持原有位元組；2026-10-08 重建材料以 reconstructed 目錄與標籤區分。

WSFC_00_蟲問題的序列自由度與可能性空間極限閉包_綜合草稿_v0.1_2026-09-22.md — WSFC-00 · 綜合草稿與不宣稱
WSFC_Round01_Polygonal_Omega_Hierarchy_and_Breadth_Closure_v0.1_2026-09-22.md — WSFC R01 · 多邊形階層與寬度閉合
WSFC_Round02_Freedom_Birth_and_Breadth_Residual_Dynamics_v0.1_2026-09-22.md — WSFC R02 · 2007 猜想與 n = 4, 5, 6 再現
WSFC_Round03_Antipodal_Support_Tangent_Compression_v0.1_2026-09-23.md — WSFC R03 · 對蹠支撐切線壓縮
WSFC_Round04_Finite_Convexity_and_Obstacle_Reduction_v0.1_2026-09-23.md — WSFC R04 早期草稿 · 有限段凸性與障礙化約（已被取代）
WSFC_Round04_Support_Class_Necessity_I_v0.1_2026-09-23.md — WSFC R04 正本 · 支撐類必要性 I
WSFC_Round05_Boundary_Saturation_Closure_v0.1_2026-09-23.md — WSFC R05 · 邊界飽和（暫時）
WSFC_Round06_Adversarial_ReDerivation_v0.1_2026-09-23.md — WSFC R06 · 對抗式重新推導
recovered/WSFC_Round12_Generic_Point_to_Segment_Certificate_Compiler_v0.1_2026-09-23.md — WSFC R12 · 精確線段編譯器（套件重建）
reconstructed/WSFC_R12_Package_Reconstructed_2026-10-08.md — WSFC R12 · 精確線段編譯器（套件重建）
reconstructed/WSFC_Round19_Closure_Algebra_Reconstructed_2026-10-08.md — WSFC R19 · 閉合代數（重建）
WSFC_Round21_G0_Finite_Stage_Exactness_ReAudit_v0.1_2026-09-23.md — WSFC R21 · G0 的重新審計
WSFC_Round22_G1_Full_Domain_Coverage_v0.1_2026-09-23.md — WSFC R22 · 全域覆蓋與一致收斂
reconstructed/WSFC_R22_Standalone_Reconstructed_2026-10-08.md — WSFC R22 · 全域覆蓋與一致收斂
WSFC_Round23_Strict_Monotonicity_v0.1_2026-09-23.md — WSFC R23 · 嚴格單調（條件式）
WSFC_Round24_Finite_Stage_Uniqueness_v0.1_2026-09-24.md — WSFC R24 · 有限階段唯一性（條件式）
WSFC_Round25_Endpoint_Distance_Strictness_Reframed_v0.1_2026-09-24.md — WSFC R25–R26 · 端點距離的嚴格性與彈性核
WSFC_Round26_Elasticity_Kernel_Closure_v0.1_2026-09-24.md — WSFC R25–R26 · 端點距離的嚴格性與彈性核
WSFC_Round27_Conjecture_Ledger_Authority_Audit_v0.1_2026-09-24.md — WSFC R27 · 猜想帳與權威審計
WSFC_Round28_Independent_Verification_Pack_v0.1_2026-09-24.md — WSFC R28 · 外部審查包（尚無審查）
WSFC_Round07_Machine_Checkable_Lemma_Layer_v0.1_2026-09-23.md — WSFC R07 · 機器可檢查的引理層：SymPy 精確代數恆等式與 q = 0 餘裕的 80 位區間檢查在作者的執行環境內通過；Lean 原始碼是未編譯的草稿；幾何核心仍開放。旗標：輕微（「MACHINE-CHECKED」指 SymPy／mpmath，不是證明助手）。
WSFC_Round08_Geometry_Kernel_Reduction_v0.1_2026-09-23.md — WSFC R08 · 幾何核心化約：精確的有限支撐變分恆等式取代以導數為基礎的內部支撐論證；端點捷徑的圓盤可行性橋接仍開放。旗標：輕微（標籤風險；文中有 ChatGPT 的引用殘留記號）。
WSFC_Round09_Formal_Geometry_State_Model_v0.1_2026-09-23.md — WSFC R09 · 形式幾何狀態模型：定義「WSFC Geometry State IR v0.1」與精確有理數的 Python 參考執行時及事件多項式（玩具例 F(t) = 7t² − 20t + 12，第一個線切點 t = 6/7）。旗標：輕微（「first tangency」的說法被 R11 取代；文中有 ChatGPT 引用殘留記號）。
WSFC_Round10_Certificate_Soundness_v0.1_2026-09-23.md — WSFC R10 · 證書健全性：二維拉格朗日恆等式顯示 LINE_EXTERIOR 證書蘊含直線在開圓盤之外；精確算術的 Python 執行時 PASS；Lean 組合仍開放。旗標：輕微（標籤風險）。
WSFC_Round11_Formal_Certificate_Composition_v0.1_2026-09-23.md — WSFC R11 · 形式證書組合：更正 R09／R10 的讀法——支撐線的切點（t = 6/7）不是有限線段的接觸（切點在線段參數 7/5 > 1），第一個真正的事件是 t = 1；新增 SEGMENT_SAFE_INTERVAL 與 NEAREST_FEATURE_PHASE 證書。旗標：無（明確的自我更正，R21 之後重新定位）。
WSFC_Round13_Compiler_Soundness_Layer_v0.1_2026-09-23.md — WSFC R13 · 編譯器健全性層：獨立的（標準函式庫 Fraction 加 Sturm 序列）根覆蓋檢查器，把信任與 SymPy 的根宣稱分開；典範與無理數案例通過，150／150 個隨機案例通過。旗標：輕微（「獨立」是同一作者 AI 的另一份程式；建立在 R12 上，R12 於 2026-10-07 才找回；有 ChatGPT 引用殘留記號）。
WSFC_Round14_Phase_Safety_Formalization_v0.1_2026-09-23.md — WSFC R14 · 相位安全形式化：證明四種最近特徵相位的安全恆等式（固定端點、內部投影、移動端點、退化），在 12000 個有理幾何、72000 次比較上精確檢查；組合仍開放。旗標：輕微（標籤風險）。
WSFC_Round15_Whole_Domain_Certificate_Composition_v0.1_2026-09-23.md — WSFC R15 · 全域證書組合：多項式連續性閉合根邊界，使安全開格黏成閉的安全前綴（典範 [0,1]；無理前綴止於 2 − √3/2）；重疊的代數根盒不支援。旗標：輕微（標籤風險；有 ChatGPT 引用殘留記號）。
WSFC_Round16_Transition_Level_Integration_v0.1_2026-09-23.md — WSFC R16 · 轉移層級整合：玩具狀態上第一個經認證的階段內／階段間轉移迴圈（端點滑動 S2→S2→S1；支撐轉移 S3→S3），證書在作者的執行環境內 PASS。旗標：輕微（只有玩具的典範例子）。
WSFC_Round17_Generic_Transition_Algebra_v0.1_2026-09-23.md — WSFC R17 · 通用轉移代數：多足跡框架規則、運動／正規化原語與循序組合（WSFC-TALG-0.1）；10／10 個畸形證明物件被拒。旗標：輕微（標籤風險）。
WSFC_Round18_Refinement_Primitive_v0.1_2026-09-23.md — WSFC R18 · 細化原語：區分休眠（精確、零殘差）與主動（殘差有界）細化；例：長度殘差 √(1 + 4h²) − 1 ≤ 2h²；形式化「表示出生不等於主動自由度出生」。旗標：輕微（標籤風險）。
WSFC_Round20_Closure_Gate_Integration_v0.1_2026-09-23.md — WSFC R20 · 閉合閘門整合：整合全域閘門 G0–G4，證明抽象的「窮盡到擠壓」界 0 ≤ A_inf − A_n ≤ ω(r_n)（寬度：ω(δ) = 2δ），條件是真正的有限階段精確性與全域覆蓋；機器摘要記錄 global_target_closure = false。旗標：無（Crystal 稱 G2「CLOSED」而機器摘要列 G2 為 false，前者指內部鏈、後者指全域）。
WSFC_Future_Conjecture_Sequence_Freedom_Compression_Reconstruction_v0.1_2026-09-24.md — WSFC 未來猜想 · 序列自由度壓縮—重建猜想：猜想階段 n 的極值幾何可由低維典範狀態 (n, d, x, qL, qR, ΔL, ΔR) 以壓縮／重建往返 R_n ∘ C_n = id 精確還原，並且「展開→壓縮」動力學收斂到連續 broadworm；標為 FUTURE CONJECTURE。旗標：輕微（方框式口號「Infinite Freedom + Vanishing Responsibility Tail = Continuum Closure」脫離上下文像定理；原文標題與第 23 節寫「NOT YET A THEOREM」）。
WSFC_State_Crystal_00_v0.1_2026-09-22.md — WSFC State Crystal 00 · 初始狀態帳：四道閘門全部 OPEN、尚無 WSFC 計算；列出第一個基準（N = 4, 8, 16, …）、紅隊目標 R1–R6 與證明債清單。旗標：無。
recovered/WSFC_State_Crystal_12_v0.1_2026-09-23.md — WSFC State Crystal 12 · R12 的狀態帳（2026-10-07 找回）：新增的執行時元件（通用點到線段證書編譯器）、輸出格式 WSFC-SEGCOMP-0.1、根集合 A = S = N = L = H1 = 0 與兩個測試；下一步是編譯器健全性層（R13）。旗標：無。
recovered/WSFC_State_Crystal_04_v0.1_2026-09-23.md — WSFC State Crystal 04 · R04 的早期狀態帳（2026-10-07 找回，1,486 位元組；與 R04 套件 zip 內 1,843 位元組的版本不同）：七道閘門的狀態（偶 n 的平衡配置是簡化模型內的定理）、奇 n 與頂部線段的數值證據，並把「障礙支撐啟動（OBSTACLE-SUPPORT-ACTIVATION）」列為下一個主要證明目標。結論與《有限段凸性與障礙化約》草稿一致（都把偶 n 的對稱列為簡化模型內的定理）；找回包的說明判定它是草稿之後、正本之前的狀態快照。旗標：無。
WSFC_Round01_Package_2026-09-22.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round02_Package_2026-09-22.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round03_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round04_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round05_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round06_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round07_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round08_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round09_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round10_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round11_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round13_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round14_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round15_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round16_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round17_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round18_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round20_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round21_Package_2026-09-23.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
recovered/WSFC_Round23_Package_2026-09-23.zip — R23 原始 zip（2026-10-07 自 ChatGPT Library 找回）：主文件（與頁面上的副本逐位元組相同）、Key Finding 23、State Crystal 23、非同步風險備忘 23A、驗證腳本與其紀錄、Lean 草稿，以及 JSON／CSV 證書。本站重跑驗證腳本：PASS（只檢查符號代數與一個四次多項式的根計數，不是形式證明）。
WSFC_Round24_Package_2026-09-24.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round25_Package_2026-09-24.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round26_Package_2026-09-24.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round27_Package_2026-09-24.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
WSFC_Round28_Independent_Verification_Pack_2026-09-24.zip — 原始 zip（論文、Key Finding、State Crystal、驗證腳本、Lean 草稿與證據檔，依該輪而定）。
reconstructed/WSFC_Round12_Reconstructed_Package_2026-10-08.zip — R12 重建套件：找回本文、新編譯器、測試、結果及沿用的 R13 根覆蓋檢查器。
reconstructed/WSFC_Round22_Standalone_Reconstructed_2026-10-08.zip — R22 獨立重建包：R28 內的逐位元組副本、Packet D 與來源清單。