Finite Certificate Frontier：Collatz 有限精確覆蓋與全域鴻溝

——從 Local Affine Atlas、Descent Sieve 到 Integer-Anchored Hard Branch 的系列封頂

English Title: Finite Certificate Frontiers for the Collatz Map: Exact Finite Coverage, Hard Prefix Domains, and the Remaining Global Quantifier Gap

作者： Neo.K
機構： 一言諾科技有限公司（EveMissLab）
系列： Collatz Operation Translation Series — Paper 09
版本： v0.1.1
日期： 2026-08-11
修訂日期： 2026-08-14

摘要

本系列前八篇已將 modified Collatz map

T(n)= \begin{cases} n/2,&n\equiv0\pmod2,\\[2mm] (3n+1)/2,&n\equiv1\pmod2 \end{cases}

的有限局部動力分解為：

\boxed{ \text{finite parity word} \longleftrightarrow \text{unique residue cylinder} \longrightarrow \text{exact affine operator} \longrightarrow \text{local identity chart} }

並建立：

T^k(r_w+2^ka)=m_w+3^{u(w)}a,

T^k(n)<n \iff b_w<(2^k-3^{u(w)})n,

以及 exact inverse recovery、valuation language、generalized $mx+r$ 與 RCOT algebraic boundary。

本文完成最後一步：將上述局部結構整理為有限精確證書系統，並明確標示 finite verification 與 Collatz 全域猜想之間最後不能被跨越的量詞鴻溝。

本文首先採用 coefficient stopping-time 形式。對 $n>1$ ，定義：

\boxed{ \sigma(n) = \inf\{j\ge1:T^j(n)<n\}. }

若所有 $n>1$ 都有有限 $\sigma(n)$ ，則由 strong induction 可推出所有正整數最終進入 $1\leftrightarrow2$ cycle。因此：

\boxed{ \text{Collatz conjecture} \iff \forall n>1,\ \sigma(n)<\infty. }

對 finite parity word

w=w_1\cdots w_k

及其每個 prefix $w_{\le j}$ ，令：

u_j=u(w_{\le j}), \qquad b_j=b_{w_{\le j}}, \qquad \Delta_j=2^j-3^{u_j}.

由前文 exact affine formula：

T^j(n)-n = \frac{b_j-\Delta_jn}{2^j}.

因此一個輸入在前 $k$ 步內尚未下降的條件可以完全 exact 化。定義 hard-prefix domain：

\boxed{ H_w = \left\{ n\in\Omega_w: T^j(n)\ge n,\ 1\le j\le k \right\}. }

若 prefix $w_{\le j}$ 為 expanding-skeleton：

\Delta_j<0,

則 $T^j(n)>n$ 對所有 positive admissible $n$ 自動成立，不對 hard domain 加任何上界。

若：

\Delta_j>0,

則：

T^j(n)\ge n \iff n\le \left\lfloor \frac{b_j}{\Delta_j} \right\rfloor.

因此：

\boxed{ H_w = \Omega_w \cap [1,h(w)] }

其中：

\boxed{ h(w) = \min_{ 1\le j\le k,\ \Delta_j>0 } \left\lfloor \frac{b_j}{\Delta_j} \right\rfloor }

若沒有 contracting prefix，定義：

h(w)=+\infty.

這是本文的第一個核心結果：一個有限 parity prefix 的「尚未下降集合」不是模糊的動力集合，而是 unique residue cylinder 與一個 exact integer height bound 的交集。

接著對有限驗證域：

I_N=[2,N]\cap\mathbb Z

定義 depth- $k$ hard frontier：

\boxed{ \mathfrak F_k(N) = \{ w\in\{D,U\}^k: H_w\cap I_N\neq\varnothing \}. }

本文證明：

\boxed{ \mathfrak F_k(N)=\varnothing }

當且僅當：

\boxed{ \sigma(n)\le k \quad \forall\,2\le n\le N. }

因此，對固定有限 $N$ ，Collatz verification 可完全重寫為：

持續 refine residue cylinders，直到 finite hard frontier 為空。

這使 finite verification 成為一個 exact set-cover / frontier-extinction problem，而不必把每個完整 trajectory 當作獨立 proof object。

本文定義五類 finite certificates：

Terminal Certificate：直接到達 $1$ 或 $2$ ；
Descent Certificate：某 finite prefix 滿足 $T^j(n)<n$ ；
Cylinder Threshold Certificate：一整個 residue cylinder 在某 exact threshold 以上都下降；
Merge Certificate：軌跡在有限時間與一個已由較小起點證明的 trajectory 合流；
Inverse/Preimage Certificate：利用 exact inverse fiber 證明某 state 位於已證明較小起點的 path 上。

一個 finite certificate family：

\boxed{ \mathcal C_N }

稱為 coverage-complete，若：

\boxed{ I_N \subseteq \bigcup_{\gamma\in\mathcal C_N}D_\gamma }

且每個 certificate 都可由有限整數算術、有限 word recurrence、congruence、transport identity 或明確 dependency graph 檢查。

在最簡 strong-induction 版本中，只需 descent / terminal certificates。若：

T^j(n)<n,

則 $T^j(n)$ 已由較小起點假設證明收斂，所以 $n$ 收斂。Merge / preimage certificates 則進一步允許：

T^j(n)=T^\ell(n_0), \qquad n_0<n,

即使共同 merge state 本身未小於 $n$ ，仍可由 $n_0$ 的已知軌跡繼承收斂。

本文把早期 BCCP 修正成：

\boxed{ \text{finite bidirectional coverage-complete certification}. }

其合理目標不是直接宣稱「全體自然數已被雙向構造覆蓋」，而是對每個有限 $N$ 建立一個 exact proof-object family：

\mathcal C_N.

本文亦將先前實驗中的 residue threshold compiler 納入純數學框架。對：

n=r+2^ka,

若：

T^k(n)=m_r+3^ua,

則：

T^k(n)<n

等價於：

\boxed{ (2^k-3^u)a>m_r-r. }

所以每張 contracting chart 可預先編譯成 exact integer quotient threshold：

\boxed{ a> \frac{m_r-r}{2^k-3^u}. }

這就是 earlier $k=16$ threshold certificates 的數學本體。先前對 $1\le n<2^{20}$ 的 prototype 中， $k=16$ 直接 strict-descent certificate 數為：

938413,

並可由 Paper 05 的 $58651$ 個 contracting residue classes 加 finite boundary corrections 完整解釋。

本文進一步處理最容易被誤用的「無限 hard tree」。對每個 formal infinite parity sequence，其 nested residues：

r_k\bmod2^k

自然定義一個 $2$ -adic integer；但該 $2$ -adic integer 不一定是 ordinary positive integer。因此：

\boxed{ \text{infinite formal hard branch} \not\Rightarrow \text{positive-integer Collatz counterexample}. }

為了精確對應普通正整數，本文定義 integer-anchored branch。若一條 nested branch 的 canonical residues：

0\le r_k<2^k

存在某個固定：

n\in\mathbb Z_{>0}

使：

\boxed{ r_k=n }

對所有 sufficiently large $k$ 成立，則稱該 branch anchored at $n$ 。這一 eventual stabilization 條件恰好刻畫 ordinary positive integer embedded in $\mathbb Z_2$ 。

本文證明：

\boxed{ \sigma(n)=\infty }

當且僅當 $n$ 的 parity-prefix chain 構成一條 anchored hard branch，亦即：

\boxed{ n\in H_{w_{\le k}(n)} \quad \forall k. }

因此：

\boxed{ \text{Collatz conjecture} \iff \text{there exists no integer-anchored infinite hard branch for }n>1. }

這個表述比「hard-prefix tree well-founded」更精確。若要求所有 formal $2$ -adic hard branches 都消失，則會得到一個過強條件；Collatz 只需排除由 ordinary positive integer anchor 的無限 obstruction。

本文同時得到另一個 exact 全域形式：

\boxed{ \forall N\ge2,\ \exists K(N)<\infty: \mathfrak F_{K(N)}(N)=\varnothing. }

這與：

\forall n>1,\ \sigma(n)<\infty

等價，但不能一般交換成：

\boxed{ \exists K\ \forall N: \mathfrak F_K(N)=\varnothing. }

後者等價於所有 stopping times 有一個全域 uniform bound，遠強於 Collatz，而且與已知／觀察到的 unbounded stopping-time behavior 不相容。

這正是本系列最後的量詞邊界：

\boxed{ \forall N\,\exists K(N) \not\Rightarrow \exists K\,\forall N. }

2026 年 Angeltveit 的 finite verification algorithm 與本文的 certificate viewpoint 高度一致：其演算法按最低 $k$ bits 遞迴分裂，使用 descent sieve、preimage sieve 與 path-merging sieve，且明確指出需要 explicit checking 的比例可趨近 0，但實際待檢整數數量仍趨向無限。Barina 的公開驗證則已將完整 verification frontier 推進至 $2^{71}$ 。這些成果都支持本文最後的定位：有限 residue-class pruning 可以極強，甚至讓 survivor density 趨零，但 finite computational completeness 與 infinite universal proof 仍是不同命題。

本文因此以以下句子封頂整個九篇系列：

\boxed{ \textbf{Collatz dynamics is locally affine-trivializable, finitely certificate-compressible, but globally itinerary-unresolved.} }

中文：

考拉茲動力在固定有限判定域內可被精確仿射化甚至局部平凡化；任意有限範圍可被組織成可機器檢查的有限證書覆蓋問題；但全域猜想仍等價於排除所有普通正整數所錨定的無限未下降 itinerary。

本文不宣稱完成 Collatz 猜想。它完成的是：把本系列可以 exact 化的部分全部 exact 化，並把不能由這些局部定理自動推出的最後全稱義務明確隔離。

關鍵詞： Collatz conjecture、finite certificate、stopping time、residue cylinder、descent sieve、path merging、hard frontier、2-adic parity、strong induction、operation translation

1. 系列最後的 Proof Obligation

Collatz 猜想可以寫成：

\forall n>0,\quad T^j(n)\in\{1,2\}

對某個 $j$ 。

但對 strong induction，更方便使用 stopping-time form。

2. Coefficient Stopping Time

對：

n>1,

定義：

\boxed{ \sigma(n) = \inf\{j\ge1:T^j(n)<n\}. }

若不存在，令：

\sigma(n)=\infty.

注意：

\sigma(1)

不需要定義成 finite，因 $1$ 是 induction base / terminal cycle 成員。

3. Finite Stopping Time $\Rightarrow$ Collatz

Theorem 3.1

若：

\boxed{ \sigma(n)<\infty \quad \forall n>1, }

則 Collatz conjecture 成立。

證明

對 $n$ strong induction。

base：

1

已在 terminal cycle。

對：

n>1,

存在：

j

使：

T^j(n)<n.

由 induction hypothesis：

T^j(n)

最終到 1。

故 $n$ 亦最終到 1。

證畢。

4. Collatz $\Rightarrow$ Finite Stopping Time

若 $n>1$ 最終到：

1<n,

則沿途第一次落到 $n$ 以下即給：

\sigma(n)<\infty.

所以：

Theorem 4.1

\boxed{ \text{Collatz} \iff \forall n>1,\ \sigma(n)<\infty. }

這是本文 global equivalence 的基礎。

5. Prefix Affine Data

對 length- $k$ word：

w=w_1\cdots w_k,

令 prefix：

w_{\le j}=w_1\cdots w_j.

記：

u_j=u(w_{\le j}),

b_j=b_{w_{\le j}}.

則 Paper 02：

\boxed{ T^j(n) = \frac{3^{u_j}n+b_j}{2^j} }

對：

n\in\Omega_w

及：

1\le j\le k

成立。

6. Prefix Drift Gap

定義：

\boxed{ \Delta_j = 2^j-3^{u_j}. }

所以：

\boxed{ T^j(n)-n = \frac{b_j-\Delta_jn}{2^j}. }

每個 prefix 是否已經 strict descent 因而是一個 exact linear inequality。

7. Hard Prefix Domain

Definition 7.1

\boxed{ H_w = \left\{ n\in\Omega_w: T^j(n)\ge n \quad \forall\,1\le j\le k \right\}. }

也就是：

所有具有 prefix $w$ ，但到 depth $k$ 仍沒有取得 strong-induction descent certificate 的正整數。

8. Expanding Prefix 對 Hard Domain 不加限制

若：

\Delta_j<0,

即：

3^{u_j}>2^j,

則：

b_j-\Delta_jn = b_j+(3^{u_j}-2^j)n>0.

所以：

\boxed{ T^j(n)>n }

對所有 positive admissible $n$ 。

因此此 prefix 不可能提供 descent certificate。

9. Contracting Prefix 給 Hard Height

若：

\Delta_j>0,

則：

T^j(n)\ge n

iff：

b_j\ge\Delta_jn.

所以：

\boxed{ n \le \left\lfloor \frac{b_j}{\Delta_j} \right\rfloor. }

因此 contracting prefix 對仍未下降者產生一個 exact upper bound。

10. Hard Height Theorem

定義：

\boxed{ h(w) = \min_{ j\le k,\ \Delta_j>0 } \left\lfloor \frac{b_j}{\Delta_j} \right\rfloor }

若沒有：

\Delta_j>0,

令：

h(w)=+\infty.

則：

Theorem 10.1

\boxed{ H_w = \Omega_w \cap [1,h(w)]. }

若：

h(w)=+\infty,

即：

H_w=\Omega_w.

11. 證明

$n\in H_w$ iff 對所有 prefix：

T^j(n)\ge n.

expanding prefix 自動成立。

contracting prefix 要求：

n\le \left\lfloor b_j/\Delta_j\right\rfloor.

所以全部條件的交集就是最小 upper bound。

證畢。

12. 這個結果的重要性

一個 hard domain 不需要保存：

T(n),T^2(n),\ldots,T^k(n)

的整條 numerical path。

只需保存：

\boxed{ (r_w,2^k,h(w)). }

即：

\boxed{ \text{one residue cylinder} \cap \text{one height cap}. }

這是 finite obstruction 的高度壓縮形式。

13. Hard Domain 可能是有限的，也可能是無限的

若 word 到目前為止至少出現一個 contracting prefix：

h(w)<\infty,

則：

H_w

是 finite set。

若所有 prefixes 都在 expanding-skeleton side：

h(w)=\infty,

則：

H_w=\Omega_w

仍是一個 infinite arithmetic progression。

所以 hard-prefix analysis 同時區分：

finite correction obstruction；
pure skeleton obstruction。

14. Finite Verification Interval

固定：

N\ge2.

定義：

\boxed{ I_N = \{2,3,\ldots,N\}. }

我們只問：

$I_N$ 內每個 starting value 是否已取得 finite stopping-time certificate？

15. Depth- $k$ Hard Frontier

定義：

\boxed{ \mathfrak F_k(N) = \left\{ w\in\{D,U\}^k: H_w\cap I_N\neq\varnothing \right\}. }

每個 element 是：

到 depth $k$ 仍至少含一個未下降 starting value 的 parity cylinder。

16. Frontier Extinction Theorem

Theorem 16.1

\boxed{ \mathfrak F_k(N)=\varnothing }

iff：

\boxed{ \sigma(n)\le k \quad \forall n\in I_N. }

證明

如果 frontier 為空，則任意 $n\le N$ 的 length- $k$ parity word $w_k(n)$ 不含 $n$ 於 $H_w$ ，所以存在 $j\le k$ ：

T^j(n)<n.

反之，若所有 $n\le N$ 在 $k$ 步內下降，則沒有任何 hard domain 能和 $I_N$ 相交。

證畢。

17. Finite Verification 的 Frontier Form

所以對 fixed $N$ ：

\boxed{ \text{verify Collatz on }[2,N] }

等價於：

\boxed{ \text{refine hard cylinders until }\mathfrak F_k(N)=\varnothing. }

這不是 heuristic。

是 exact finite equivalence。

18. Finite Certificate 的基本定義

一個 finite certificate：

\gamma

包含：

source domain $D_\gamma$ ；
finite word / affine data；
claim type；
exact target relation；
若需要，dependency on previously certified objects。

並要求：

\boxed{ \text{all checks terminate in finite exact arithmetic}. }

19. Terminal Certificate

若：

T^j(n)\in\{1,2\},

則：

\boxed{ \gamma_T(n,j) }

直接證明收斂。

其 dependency rank 為 0。

20. Descent Certificate

若：

T^j(n)<n,

則：

\boxed{ \gamma_D(n,j) }

透過 strong induction 證明 $n$ 收斂。

這是最基本 finite certificate。

21. Cylinder Threshold Certificate

對 word $w$ ：

T^k(n) = \frac{3^un+b_w}{2^k}.

若：

3^u<2^k,

定義：

\theta_w = \left\lfloor \frac{b_w}{2^k-3^u} \right\rfloor+1.

則：

\boxed{ D_{\gamma_w} = \{ n\in\Omega_w:n\ge\theta_w \} }

中的全部 starting values 共享同一 descent proof。

所以一個 certificate 可以覆蓋 infinite arithmetic subset。

22. Quotient-Threshold Compiler

寫：

n=r_w+2^ka,

以及：

T^k(n)=m_w+3^ua.

則：

T^k(n)<n

iff：

m_w+3^ua < r_w+2^ka.

所以：

\boxed{ (2^k-3^u)a > m_w-r_w. }

若：

2^k>3^u,

可以預先編譯：

\boxed{ a > \frac{m_w-r_w}{2^k-3^u}. }

這是 integer hot-loop certificate，而不是 floating log approximation。

23. Exact Quotient Threshold

可定義：

\boxed{ q_w = \left\lfloor \frac{m_w-r_w} {2^k-3^u} \right\rfloor+1. }

則：

\boxed{ a\ge q_w \Rightarrow T^k(r_w+2^ka) < r_w+2^ka. }

所以 certificate payload 可縮成：

\boxed{ (r_w,k,u,m_w,q_w). }

24. 與 Earlier $k=16$ Prototype 的對接

先前 prototype 對：

1\le n<2^{20}

使用：

k=16.

Paper 05 已證 length-16 contracting residue classes：

\boxed{ 58651 }

個。

經 finite positive-domain 與 strict-equality corrections，

實際 direct strict-descent certificate：

\boxed{ 938413 }

個 starting values。

因此早期 benchmark 的「pruning」可以完全重新解讀為：

\boxed{ \text{finite certificate coverage ratio}. }

25. Merge Certificate

descent 不是唯一可用 strong-induction information。

若：

T^j(n) = T^\ell(n_0)

且：

n_0<n,

則由 induction hypothesis：

n_0

收斂。

因此其後續 state：

T^\ell(n_0)

收斂。

所以 $n$ 也收斂。

定義：

\boxed{ \gamma_M = (n,n_0,j,\ell) }

為 merge certificate。

26. Path Merging 不要求 Merge State 小於 $n$

重要的是：

n_0<n,

而不是：

T^j(n)<n.

所以 merge sieve 可以比單純 descent sieve 排除更多 starting values。

這和 2026 年 Angeltveit 的 path-merging sieve 完全相容。

27. Preimage / Inverse-Fiber Certificate

如果可證：

n=T^\ell(n_0)

對某：

n_0<n,

則 $n$ 本身位於已證明較小 starting value 的 trajectory 上。

例如 modified inverse：

n\equiv2\pmod3

時：

n=T\left(\frac{2n-1}{3}\right).

若：

\frac{2n-1}{3}<n,

則可直接排除 $n$ 作為新 starting case。

這是 preimage certificate。

28. Paper 04 的 Inverse Fiber 進入 Certificate System

accelerated odd map：

R_\kappa(t) = \frac{2^\kappa t-1}{3}.

若：

2^\kappa t\equiv1\pmod3,

則 $R_\kappa(t)$ 是 $t$ 的 exact odd predecessor。

所以 inverse-fiber data 可以作：

merge proof；
preimage sieve；
known terminal basin certificate。

29. Certificate Dependency Graph

若只用 descent certificates，

strong induction 本身提供 dependency：

n\to m<n.

如果加入 merge / preimage，

可建立 directed dependency graph：

\gamma_i\to\gamma_j.

要求存在 rank：

\rho:\mathcal C_N\to\mathbb N

使每條 dependency edge：

\boxed{ \rho(\gamma_j)<\rho(\gamma_i). }

則 finite dependency graph 無 cycle，

所有 certificates 最終落到 terminal objects。

30. Coverage-Complete Certificate Family

Definition 30.1

對：

I_N=[2,N],

finite family：

\mathcal C_N

若滿足：

\boxed{ I_N \subseteq \bigcup_{\gamma\in\mathcal C_N}D_\gamma }

且所有 certificate claims / dependencies 都 exact-valid，

則稱：

\boxed{ \mathcal C_N \text{ coverage-complete}. }

31. Finite Certificate Completeness Theorem

若：

\mathcal C_N

coverage-complete，

且 dependency graph well-ranked to terminal cases，

則：

\boxed{ \text{Collatz is verified for every }2\le n\le N. }

這是 finite theorem。

32. BCCP 的正式修正版

舊 BCCP：

\text{Forward} + \text{Backward} + \text{Coverage}.

現在可以重寫為：

Forward certificate

finite word / affine descent。

Backward certificate

preimage / inverse fiber / merge。

Coverage completeness

I_N \subseteq \cup D_\gamma.

所以：

\boxed{ \text{BCCP}_{\mathrm{finite}} = \text{bidirectional finite proof-object coverage}. }

33. 為什麼 Finite BCCP 是嚴格的？

因為對固定：

N,

所有：

source values；
words；
congruences；
inequalities；
dependency graph；

都是 finite。

因此可以由 independent checker 重算。

不需要：

probabilistic extrapolation；
decimal digit heuristic；
infinite tree assertion。

34. Machine-Checkable Certificate Schema

概念上，一個 chart certificate 可以保存：

\boxed{ \gamma= ( \text{type}, w,k,u,b,r,m, L,U, \theta, \text{dependencies} ). }

其中：

$w$ ：parity word；
$k$ ：depth；
$u$ ：odd-step count；
$b$ ：affine correction；
$r$ ：source residue；
$m$ ：target base；
$[L,U]$ ：有限 coverage range；
$\theta$ ：descent threshold；
dependencies：merge/preimage reference。

checker 只需驗：

F_w(x) = \frac{3^ux+b}{2^k},

r\equiv-b3^{-u}\pmod{2^k},

及對應 inequality / merge identity。

35. Proof Object 與 Trajectory Log 的差異

trajectory log 保存：

n,T(n),T^2(n),\ldots.

certificate 保存：

\boxed{ \text{an entire congruence family plus a finite proof rule}. }

所以：

\boxed{ \text{trajectory enumeration} \to \text{structural proof compression}. }

這是 operation translation 對 finite verification 的核心價值。

36. 與 Angeltveit 2026 Algorithm 的對照

Angeltveit 的 2026 verification algorithm：

按 least significant bits recursive split；
對同 residue family 同時處理；
使用 descent sieve；
使用 mod- $9$ preimage sieve；
使用 path-merging sieve；
對剩餘 survivors 再 explicit iterate。

這與本文：

\boxed{ \text{residue frontier} + \text{descent certificates} + \text{inverse/merge certificates} }

高度一致。

37. 但本文不是宣稱該 Verification Idea 是新發現

low-bit parity grouping、lookup-table sieve、descent sieve、preimage sieve 都有既有 computational Collatz 傳統。

Angeltveit 亦明確說明其中多項 sieve 是 standard ideas，而其新點主要在遞迴加 bits 與整體 algorithmic scaling。

本文的工作是：

\boxed{ \text{把前八篇 local algebra 統一成 certificate semantics}. }

38. Finite Frontier 的 Current Computational Context

Barina 已公開報告：

\boxed{ n<2^{71} }

的完整 convergence verification。

Angeltveit 2026 則提出：

從 $2^N$ 擴張到 $2^{N+1}$ 所需時間成長可壓到小於 factor 2，

並估計其方法可能用近似資源推到更高範圍。

這些都是：

\boxed{ \text{finite certificate / computation frontier} }

的進展，

而非 infinite proof。

39. Survivor Fraction $\to0$ 仍不等於 Proof

Angeltveit 指出：

隨：

N\to\infty,

需要 explicit checking 的 fraction 可趨近：

0.

但他同時明確指出：

\boxed{ \text{the number of integers to check still goes to infinity}. }

這一句幾乎就是本文 global quantifier gap 的 computational version。

40. 為什麼不能從「比例趨零」推全稱？

因為：

\boxed{ \frac{|E_N|}{N}\to0 }

不代表：

\boxed{ E_N=\varnothing }

對 sufficiently large $N$ 。

甚至可能：

|E_N|\to\infty

同時：

|E_N|/N\to0.

所以：

\boxed{ \text{density-zero survivors} \neq \text{no survivors}. }

這和 Paper 05：

P_k\to1

的量詞警告完全一致。

41. Infinite Hard Branch 的誘惑

自然會想：

如果 hard-prefix tree 沒有 infinite branch，不就證明 Collatz？

作為 sufficient condition 是對的。

但若把它當成 equivalent condition，會過強。

原因在 $2$ -adic completion。

42. Infinite Parity Prefix Defines a $2$ -adic Integer

Paper 03：

每個 finite parity prefix對應：

r_k\bmod2^k.

nested prefixes：

r_{k+1}\equiv r_k\pmod{2^k}.

所以：

(r_k)

定義一個 inverse-limit point：

\boxed{ x\in\mathbb Z_2. }

但：

x

未必在：

\mathbb Z_{>0}.

43. Formal Infinite Branch 不是普通整數反例

因此可能存在：

\boxed{ \text{an infinite formal parity/hard branch} }

但其 $2$ -adic limit：

x

是：

negative integer；
nonordinary $2$ -adic integer；
或其他不在 positive naturals 的點。

所以：

\boxed{ \text{formal branch existence} \not\Rightarrow \text{positive-integer counterexample}. }

44. Canonical Residues

每個 modulo：

2^k

class 選 canonical representative：

\boxed{ 0\le r_k<2^k. }

若 branch 來自固定普通正整數 $n$ ，

則當：

2^k>n,

有：

\boxed{ r_k=n. }

所以 canonical residues 會 eventually stabilize。

45. Integer-Anchored Branch

Definition 45.1

一條 infinite nested parity branch：

w_1\prec w_2\prec\cdots

稱為 anchored at：

n\in\mathbb Z_{>0}

若存在：

K

使：

\boxed{ r_{w_k}=n \quad \forall k\ge K. }

這等價於其 $2$ -adic point正好是 ordinary positive integer $n$ 。

46. Anchored Hard Branch

若進一步：

\boxed{ n\in H_{w_k} \quad \forall k, }

則稱為：

\boxed{ \text{integer-anchored infinite hard branch}. }

也就是：

同一個 ordinary positive integer $n$ 在所有 finite depths 都沒有取得 descent certificate。

47. Counterexample Equivalence Theorem

Theorem 47.1

對：

n>1,

以下等價：

$\sigma(n)=\infty$ ；
對所有 $k$ ： $T^j(n)\ge n \quad 1\le j\le k;$
$n$ 的 parity-prefix chain 是 integer-anchored infinite hard branch。

證明

(1) $\Rightarrow$ (2)：stopping time infinite 的定義。

(2) $\Rightarrow$ (3)： $n$ 的 canonical residue 在 $2^k>n$ 後等於 $n$ ，且每個 prefix hard。

(3) $\Rightarrow$ (1)：若某 finite $j$ descent，則所有更長 prefix 不再 hard，矛盾。

證畢。

48. Global Collatz 的最小 Obstruction Form

所以：

Theorem 48.1

\boxed{ \text{Collatz conjecture} }

等價於：

\boxed{ \text{不存在 anchored at }n>1 \text{ 的 infinite hard branch}. }

這是本文認為最乾淨的 global remainder statement。

49. 為什麼不是「整棵 Hard Tree Well-Founded」？

如果要求：

\boxed{ \text{no infinite formal hard branch in }\mathbb Z_2, }

那會排除所有 nonordinary $2$ -adic obstruction。

Collatz 猜想本身沒有要求這一點。

因此：

\boxed{ \text{2-adic global well-foundedness} }

是更強命題。

本文只保留：

\boxed{ \text{positive-integer anchored well-foundedness}. }

50. Finite Frontier Function

若 Collatz 對：

[2,N]

已驗證，

定義：

\boxed{ K(N) = \min \{ k: \mathfrak F_k(N)=\varnothing \}. }

它就是：

\boxed{ K(N)=\max_{2\le n\le N}\sigma(n) }

在 strict stopping-time 定義下。

因此 finite certificate depth 是一個自然的 frontier complexity statistic。

51. Global Conjecture 的 Quantifier Form

Collatz 等價：

\boxed{ \forall N\ge2,\ \exists K(N)<\infty: \mathfrak F_{K(N)}(N)=\varnothing. }

注意量詞順序：

\boxed{ \forall N\,\exists K(N). }

52. 不可偷換成 Uniform Depth

更強命題：

\exists K\ \forall N: \mathfrak F_K(N)=\varnothing.

等價於：

\boxed{ \sigma(n)\le K \quad \forall n>1. }

即所有 stopping times 有 uniform global bound。

Collatz 不需要這件事。

所以：

\boxed{ \forall N\,\exists K(N) \not\equiv \exists K\,\forall N. }

53. 這就是本系列最後的量詞鴻溝

前八篇可以：

對 fixed $w$ exact；
對 fixed $k$ exact；
對 fixed $N$ exact；
對 finite family exact。

但 Collatz 是：

\boxed{ \forall n }

的無界 statement。

因此任何 finite certificate framework 若沒有額外 theorem 控制：

K(N)

或 anchored hard branches，

都不能單靠「對每個已測 $N$ 成功」升級成 global proof。

54. Finite Certificate Frontier

本文最終把：

\boxed{ \mathfrak F_k(N) }

稱為 Finite Certificate Frontier 的 hard side。

相對地，已被：

descent；
merge；
preimage；
terminal；

certified 的 domains 構成 certified side。

因此：

I_N = \boxed{ \text{Certified Region} \sqcup \text{Hard Frontier}. }

55. Frontier Refinement

從 depth：

k

到：

k+1,

只需展開：

\mathfrak F_k(N)

中的 cylinders。

已 certified charts 不需再展開。

所以 algorithmic search tree 是：

\boxed{ \text{expand only surviving proof obligations}. }

這是 certificate-oriented computation 的自然形式。

56. Hard Frontier 的 Monotonicity

對 fixed $N$ ，考慮未證明 starting-value set：

E_k(N) = \{ n\in I_N: \sigma(n)>k \}.

則：

\boxed{ E_{k+1}(N)\subseteq E_k(N). }

而：

\mathfrak F_k(N)

只是 $E_k(N)$ 在 level- $k$ residue atlas 中的 compressed representation。

所以：

\boxed{ \text{frontier refinement is monotone in obligations}. }

57. Certificate Compression Ratio

可定義：

\boxed{ \eta_k(N) = 1- \frac{|E_k(N)|}{N-1}. }

表示 depth- $k$ 已取得 descent certificate 的 starting-value fraction。

也可定義 chart-level：

\boxed{ \eta_k^{\mathrm{chart}} = 1- \frac{|\mathfrak F_k(N)|}{2^k} }

但兩者不應混淆。

Paper 05 已展示：

\boxed{ \text{chart density} \neq \text{finite strict certificate density} }

在 finite boundary 下會有小差異。

58. Certificate Minimality 不是必要條件

一個 finite range 可能有很多不同 certificate families：

\mathcal C_N.

可以追求：

minimum certificate count；
minimum total word length；
minimum verifier work；
maximum cylinder coverage；
maximum merge reuse。

但這些是 proof compression optimization，

不影響 logical validity。

59. Proof Complexity 與 Truth 分離

Collatz 對：

[2,N]

為真，

只代表存在某種 finite brute-force proof。

RCOT certificate framework 關心的是：

\boxed{ \text{能否用更結構化、更小、更可重用的 proof objects 表達}. }

因此：

\boxed{ \text{verification complexity} \neq \text{mathematical truth}. }

60. 本系列最終結構圖

Paper 01：

\text{舊研究證據校正}.

Paper 02：

\text{finite word}\to\text{affine operator}.

Paper 03：

\text{word}\leftrightarrow2^k\text{ cylinder}\to\text{identity chart}.

Paper 04：

2^k\text{ source}\leftrightarrow3^u\text{ target}.

Paper 05：

\text{exact contraction boundary}.

Paper 06：

\text{valuation-language compression}.

Paper 07：

mx+r\text{ generalization}.

Paper 08：

\text{algebraic domain / breakage ladder}.

Paper 09：

\boxed{ \text{all local results} \to \text{finite proof-object frontier} \to \text{global quantifier boundary}. }

61. 本文主要定理總結

Theorem A — Collatz / Finite Stopping-Time Equivalence

\boxed{ \text{Collatz} \iff \forall n>1,\sigma(n)<\infty. }

Theorem B — Hard Height Formula

\boxed{ H_w = \Omega_w\cap[1,h(w)]. }

Theorem C — Frontier Extinction

\boxed{ \mathfrak F_k(N)=\varnothing \iff \sigma(n)\le k \quad\forall2\le n\le N. }

Theorem D — Cylinder Quotient Certificate

\boxed{ (2^k-3^u)a>m_w-r_w \Rightarrow T^k(n)<n. }

Theorem E — Finite Coverage Completeness

\boxed{ I_N \subseteq \bigcup_{\gamma\in\mathcal C_N}D_\gamma }

plus valid ranked dependencies implies convergence for all $n\le N$ .

Theorem F — Anchored Hard Branch Equivalence

\boxed{ \sigma(n)=\infty \iff n\text{ anchors an infinite hard branch}. }

Theorem G — Global Frontier Form

\boxed{ \text{Collatz} \iff \forall N\ge2,\exists K(N): \mathfrak F_{K(N)}(N)=\varnothing. }

62. 本文不證明什麼？

本文沒有證明：

\mathfrak F_k(N)

對所有 $N$ 具有 uniform extinction depth。

沒有證明：

K(N)

的 closed asymptotic upper bound。

沒有排除 integer-anchored infinite hard branch。

沒有把：

P_k\to1

或 survivor density $\to0$ 轉換成 emptiness。

沒有因為 finite verification 已達 $2^{71}$ 就推斷 infinite domain。

因此本文不是 Collatz proof。

63. 系列最終結論

經九篇後，可以非常精確地說：

已完成

\boxed{ \text{finite-word arithmetic} }

可 exact affine compression。

\boxed{ \text{finite itinerary legality} }

可 exact residue coding。

\boxed{ \text{fixed-chart dynamics} }

可 identity trivialization。

\boxed{ \text{forward / inverse local transport} }

可 exact recovery。

\boxed{ \text{finite contraction} }

有 exact threshold。

\boxed{ \text{finite range verification} }

可重寫成 certificate coverage / frontier extinction。

尚未完成

\boxed{ \text{all ordinary positive-integer itineraries} }

是否都在有限時間取得 descent / merge / terminal certificate。

64. 最終母句

本系列最終核心句為：

\boxed{ \textbf{Collatz dynamics is locally affine-trivializable, finitely certificate-compressible, but globally itinerary-unresolved.} }

中文：

考拉茲動力在有限合法判定域內可以被精確仿射化甚至局部平凡化；任意有限驗證域可以被壓縮成可機器檢查的證書覆蓋問題；但全域猜想仍要求排除所有由普通正整數錨定的無限未下降 itinerary。

因此真正未解的不是：

\boxed{ \text{how to compute one finite Collatz block}. }

而是：

\boxed{ \text{whether every positive-integer anchored itinerary eventually leaves the hard frontier}. }

至此，本系列封頂。

參考文獻

Vigleik Angeltveit, An improved algorithm for checking the Collatz conjecture for all $n<2^N$ , arXiv:2602.10466 (2026).
David Barina, Improved verification limit for the convergence of the Collatz conjecture, The Journal of Supercomputing 81, 810 (2025).
David Barina, Convergence verification of the Collatz problem, The Journal of Supercomputing 77 (2021).
Terence Tao, Almost all orbits of the Collatz map attain almost bounded values, Forum of Mathematics, Pi 10 (2022), arXiv:1909.03562.
Olivier Rozier, Claude Terracol, Paradoxical behavior in Collatz sequences, arXiv:2502.00948.
Tong Niu, Parity vectors and paradoxical sequences in the accelerated Collatz map, arXiv:2605.13886.
Mike Winkler, Deterministic Structures in the Stopping Time Dynamics of the $3x+1$ Problem (2026 preprint).
Collatz Operation Translation Series — Papers 01–08.
Operation Translation Series A — Papers 01–07.

系列封頂聲明

Collatz Operation Translation Series — Papers 01–09：完成。

後續若繼續研究，應另立新系列，而不再無限制擴張本系列。

可延伸但未納入本系列的方向包括：

hard-frontier asymptotics；
certificate minimization complexity；
formal proof assistant verification；
accelerated valuation-code frontier；
generalized $mx+r$ certificate phase diagrams；
RCOT in noncommutative/state-machine systems。

上述皆屬新系列，而非本文未完成章節。

Collatz_OT_Series_Paper_09_Finite_Certificate_Frontier_v0.1.1

Finite Certificate Frontier：Collatz 有限精確覆蓋與全域鴻溝

——從 Local Affine Atlas、Descent Sieve 到 Integer-Anchored Hard Branch 的系列封頂

摘要

1. 系列最後的 Proof Obligation

2. Coefficient Stopping Time

3. Finite Stopping Time ⇒\Rightarrow⇒ Collatz

Theorem 3.1

證明

4. Collatz ⇒\Rightarrow⇒ Finite Stopping Time

Theorem 4.1

5. Prefix Affine Data

6. Prefix Drift Gap

7. Hard Prefix Domain

Definition 7.1

8. Expanding Prefix 對 Hard Domain 不加限制

9. Contracting Prefix 給 Hard Height

10. Hard Height Theorem

Theorem 10.1

11. 證明

12. 這個結果的重要性

13. Hard Domain 可能是有限的，也可能是無限的

14. Finite Verification Interval

15. Depth- kkk Hard Frontier

16. Frontier Extinction Theorem

Theorem 16.1

證明

17. Finite Verification 的 Frontier Form

18. Finite Certificate 的基本定義

19. Terminal Certificate

20. Descent Certificate

21. Cylinder Threshold Certificate

22. Quotient-Threshold Compiler

23. Exact Quotient Threshold

24. 與 Earlier k=16k=16k=16 Prototype 的對接

25. Merge Certificate

26. Path Merging 不要求 Merge State 小於 nnn

27. Preimage / Inverse-Fiber Certificate

28. Paper 04 的 Inverse Fiber 進入 Certificate System

29. Certificate Dependency Graph

30. Coverage-Complete Certificate Family

Definition 30.1

31. Finite Certificate Completeness Theorem

32. BCCP 的正式修正版

Forward certificate

Backward certificate

Coverage completeness

33. 為什麼 Finite BCCP 是嚴格的？

34. Machine-Checkable Certificate Schema

35. Proof Object 與 Trajectory Log 的差異

36. 與 Angeltveit 2026 Algorithm 的對照

37. 但本文不是宣稱該 Verification Idea 是新發現

38. Finite Frontier 的 Current Computational Context

39. Survivor Fraction →0\to0→0 仍不等於 Proof

40. 為什麼不能從「比例趨零」推全稱？

41. Infinite Hard Branch 的誘惑

42. Infinite Parity Prefix Defines a 222 -adic Integer

43. Formal Infinite Branch 不是普通整數反例

44. Canonical Residues

45. Integer-Anchored Branch

Definition 45.1

46. Anchored Hard Branch

47. Counterexample Equivalence Theorem

Theorem 47.1

證明

48. Global Collatz 的最小 Obstruction Form

Theorem 48.1

49. 為什麼不是「整棵 Hard Tree Well-Founded」？

50. Finite Frontier Function

51. Global Conjecture 的 Quantifier Form

52. 不可偷換成 Uniform Depth

53. 這就是本系列最後的量詞鴻溝

54. Finite Certificate Frontier

55. Frontier Refinement

56. Hard Frontier 的 Monotonicity

57. Certificate Compression Ratio

58. Certificate Minimality 不是必要條件

59. Proof Complexity 與 Truth 分離

60. 本系列最終結構圖

61. 本文主要定理總結

3. Finite Stopping Time $\Rightarrow$ Collatz

4. Collatz $\Rightarrow$ Finite Stopping Time

15. Depth- $k$ Hard Frontier

24. 與 Earlier $k=16$ Prototype 的對接

26. Path Merging 不要求 Merge State 小於 $n$

39. Survivor Fraction $\to0$ 仍不等於 Proof

42. Infinite Parity Prefix Defines a $2$ -adic Integer