UESFCM v0.1（無界展開—自指有限閉包方法論）：以強制 LinkBack 分類與有限 closure state 循環，將無界方法搜尋錨定在單一固定命題 Q* 上

UESFCM v0.1（無界展開—自指有限閉包方法論）由文件自身第 1 節的封裝方程定義：先以語義消歧算子將自然語言猜想 Q0 固定成 canonical symbolic target Q*＝(D,V,Q,P,E,S,C)（第 2 節），任何後續修正一律建立 Q*,v2 而非悄悄覆寫舊版本（Target Versioning Rule，第 2.2 節）。核心循環為 Q* → Expand → LinkBack → FiniteClose → Recenter(Q*) → ⋯（第 3、12–13 節）：Expand 階段容許方法、表示、外部文獻、資料庫、計算與 meta-method 無預設有限終界地展開（第 5 節），但任何新產物 x 都必須經 LinkBack 算子 Λ_Q*(x) 分類為 PROVES、REFUTES、REDUCES、ELIMINATES、REPRESENTS、CERTIFIES、BOUNDS、CONNECTS、OPENS、META、NULL 十一型之一（第 6 節），只有非 NULL 者能進入主線 proof graph（Mainline Admission Rule），並據此定義可判定的 Research Drift 形式判準（第 7 節）。每輪展開後強制壓成有限、可恢復、可重播的 closure state C_t＝(G_t,O_t,B_t,R_t,D_t,V_t,P_t,K_t)（第 9 節），再由 Recenter 算子萃取下一輪 priority obligations（第 11 節），構成 Finite Working Field Principle：研究歷史可無界累積，但 active working state 恆為 (Q*,C_t) 加必要 archive retrieval（第 10 節）。文件明文維持七個 invariant（第 41 節）、列舉七種 failure mode（第 42–48 節），並只在 ProofClosed(Q*)=1、CounterexampleClosed(Q*)=1、scope 相對的 IndependenceClosed_T(Q*)=1（第 58 節）、TARGET-FAILURE（第 21.3 節）或連續多輪無變化觸發的 SEARCH-STALLED（第 49 節）五態之一成立時停止，並明文區分 Problem Closure 與 Knowledge Terminality。第 33、35–37 節將自身定位為既有 AMRAL 框架之一：UBE 提供一般化展開語意，UESFCM 加上 target anchor 成為 target-anchored proof-search topology；RCHM 負責 closure legality，UESFCM 負責 closure-search cycle topology；SREG／PEC 是 FiniteClose 的一種可能實作而非唯一；DLMVC 可與其並行嵌套為 frontier（持續攻 Q*）與 lagged line（重新驗證 C_{t-k}）。UESFCM 方法論本身由 Neo.K 設計提出，本文件之形式化與整理由 Aletheia／ChatGPT, GPT-5.6 Sol 執行完成，非 Claude。