--- title: "進位制塔樓有限界域研究 II：雙軸窮盡、首次出現閾值與中間態觀察界限" english_title: "Radix Tower Finite-Boundary Study II: Two-Axis Exhaustion, Exact Birth Thresholds, and Intermediate-State Window Semantics" series: "EveMissLab / Radix Tower / Finite Boundary Exhaustion" research_id: "RT-FBE-02" version: "v0.1" date: "2026-11-05" author: "Neo.K（有限界域窮盡研究方向與理論脈絡）／GPT-6（有限模型、條件性證明、程式與原稿）" status: "EXACT FINITE ENUMERATION; ELEMENTARY CONDITIONAL PROOFS; NO UNIVERSAL INFORMATION-CONSERVATION CLAIM" predecessor: "RT-FBE-01 v0.1; Radix Tower Paper XII v0.1" source: "User-supplied Radix_Tower.zip; original artifact SHA-256 72f844cde3df43913eb01b577dfd7ba5fcb4fc92cc6412ba22a890fc1e212059" canonical_source: "UTF-8 / LF / no BOM; mathematics only with $...$ and $$...$$" peer_review: "NOT PEER REVIEWED" formal_proof_assistant: "NOT LEAN VERIFIED" --- # 進位制塔樓有限界域研究 II ## 雙軸窮盡、首次出現閾值與中間態觀察界限 **RT-FBE-02 · v0.1 · 2026-11-05** > **核心發現。** 在相同的三階段八重交會語法下，**固定運算元界限 $K$，只放大最終輸出界限 $N$，會在 $N=2K$ 精確飽和；但只固定最終輸出 $N$，再無限放大 $K$，則永遠不會飽和，即使 $N=1$。** 若改成三個精確狀態全部受 $N$ 限制，便可證明 $K\ge N$ 後完全穩定。這三種主張的差別，直接決定一張有限計算驗證收據究竟能保證什麼。 證據類型：**[DEF]** 可操作定義、**[PROP]** 在明示語法中的初等命題、**[PROOF]** 推導、**[AUDIT]** 實際完整有限窮盡、**[COUNTER]** 反例、**[OPEN]** 尚未處理的全域延伸。 --- **作者：** Neo.K（有限界域窮盡研究方向與理論脈絡）／GPT-6（有限模型、條件性證明、程式與原稿） **機構：** EveMissLab／一言諾科技有限公司 **日期：** 2026-11-05 **版本：** v0.1 **原稿狀態：** EXACT FINITE ENUMERATION; ELEMENTARY CONDITIONAL PROOFS; NO UNIVERSAL INFORMATION-CONSERVATION CLAIM ## 摘要 RT-FBE-01 已重新核對《進位制塔樓與全域運算關係幾何》第十二篇的精確三階段八重交會：在 $K=40$ 下共有 $2488$ 個不同的 $(m,u,z)$ 位置，且在 $N=80$ 完整飽和。但「完整」仍是一個需要指定**所有作用域軸**的語詞：固定最後結果 $z\le N$ 不代表兩個中間值 $m,u$ 也受限於 $N$，更不代表當運算元上限 $K$ 繼續增長時，完整集合依然不變。 本文將相同的運算語法延伸成兩參數集合 $E_{K,N}^{\mathrm{out}}$ （只限制最終輸出）與 $E_{K,N}^{\mathrm{all}}$ （三個精確狀態全限制），給出每個八重三元組**首次可出現的最小運算元上界** $\kappa(m,u,z)$ 的明確整數公式，並將所有三元組編成可重播的「雙軸出現帳本」。在該公式下，雙參數集合可用有限二維前綴和精確重建，不需逐一重新生成每個 $K,N$ 的所有四輸入歷史。 在 $2\le K\le160$ 的 **159 個連續輸入界域**中，以運算元／標籤直接枚舉與閾值公式的兩套不同整數程序逐級比對，全部相符； $K=2$ 至 $8$ 另以四個原始輸入加全部 $32$ 種模板直接窮舉。 $K=40$ 再與使用者提供的第十二篇原始 CSV 全集合比對，並重新核對其 20 筆雜湊清單。 $K=160$ 取得 $40212$ 個精確八重三元組， $N=1$ 時已有 $873$ 個；當 $N=40$ 時，結果界域版本有 $12008$ 個，但三個狀態全限制版本固定為 $2074$ 個。此差異具有精確反例與一般性的條件證明，非統計誤差。 本文只建立**特定三步、八重交會語法**下的數學結論；不主張已窮盡所有計算語法、全體整數／實數、物理量子計算，或已證明通用全域資訊不變量。 **關鍵詞：** 有限界域、窮盡驗證、雙參數濾過、運算成本閾值、精確歷程、首次出現、視窗語義、非飽和、輸出裁切、中間態保真、FELRA、TCGCT、TCGQT。 --- ## 1. 研究對象：兩種「限制 N」不是一回事 [DEF 1.1] 對每個整數 $K\ge2$，固定原始運算元域： $$ A_K=\{2,3,\ldots,K\}. $$ 三步歷程由四個有序原始運算元構成： $$ m=a\,o_0\,b,\qquad u=m\,o_1\,c,\qquad z=u\,o_2\,d. $$ 第一個操作標籤 $o_0$ 取加法 $A$ 或乘法 $M$ ；後兩個標籤 $o_1,o_2$ 取加法 $A$ 、正值減法 $S$ 、乘法 $M$ 、精確整除 $D$。所有輸入均屬 $A_K$，所有中間結果均為正整數；除法結果必須為正整數且沒有餘數。不同的運算標籤可有不同見證，不能把兩個標籤偷當成同一次操作。 沿用原第十二篇：若固定 $(m,u,z)$，第一階段同時有 $A,M$ 來源，第二與第三階段各有兩種不同且都合法的操作標籤，即構成**八重交會**。它恰有八種不同操作**模板**；同一模板可能還有多個有序第一步來源，因此八不等於原始歷程總數。 [DEF 1.2] 設 $E_K$ 為固定 $K$ 、不額外設最終上界時的所有八重精確三元組。定義兩種界限語義： $$ E_{K,N}^{\mathrm{out}}=\{(m,u,z)\in E_K:1\le z\le N\}, $$ $$ E_{K,N}^{\mathrm{all}}=\{(m,u,z)\in E_K:1\le m,u,z\le N\}. $$ 兩者皆不限制四個原始運算元的值小於 $N$ ；它們一直由 $K$ 限制。第二種只額外限制三個精確狀態的範圍。特別地， $E_{K,N}^{\mathrm{all}}\subseteq E_{K,N}^{\mathrm{out}}$。本篇不把任何一個集合冒稱為所有合法的三步歷程：研究對象始終是**八重交會三元組的集合**。 --- ## 2. 最小來源與最小雙標籤作用閾值 [DEF 2.1] 第一階段要同時用加法和乘法產生整數 $m$。若 $m$ 不是大於等於 $4$ 的合數，這種雙標籤來源不存在。若 $m\ge4$ 為合數，定義： $$ \kappa_0(m)=\max\left\{\left\lceil\frac m2\right\rceil,\ \min_{\substack{d\mid m\\2\le d\le\sqrt m}}\frac md\right\}. $$ **[PROP 2.1]** $\kappa_0(m)$ 恰好是第一步同時能由加法及乘法生成 $m$ 的最小整數 $K$。 **[PROOF]** 若 $a+b=m$ 且 $2\le a,b\le K$，則 $K\ge\lceil m/2\rceil$，而取最接近等分的兩個整數時可達到此下界（ $m\ge4$ 保證雙方至少為 $2$ ）。若 $ab=m$ 且 $a,b\ge2$，較小因數不大於 $\sqrt m$ ；對每組因數，所需的最小上限等於較大因數 $m/d$，再取全部可行因數對中的最小值。兩種來源必須同時存在，故取兩個最小上限的最大值。證畢。 [DEF 2.2] 對兩個不同的正整數 $x,y$，設 $l=\min(x,y)$ 、 $h=\max(x,y)$。若 $l\mid h$ 且 $h-l\ge2$，定義： $$ \kappa_1(x,y)=\max\left\{\frac hl,\ h-l\right\}. $$ 否則令 $\kappa_1(x,y)$ 未定義。 **[PROP 2.2]** $\kappa_1(x,y)$ 恰好是同一精確轉移 $x\to y$ 能由兩種不同標籤實現的最小 $K$。 **[PROOF]** 若 $xy$，同理減法與整除所需的右運算元為 $x-y$ 和 $x/y$。因而方向可以改變操作標籤的類型，卻不改變最低界限的數值。證畢。 [DEF 2.3] 若前述三個來源與作用閾值全部存在，定義**精確八重三元組首次出現閾值**： $$ \kappa(m,u,z)=\max\{\kappa_0(m),\kappa_1(m,u),\kappa_1(u,z)\}. $$ 否則 $\kappa(m,u,z)$ 未定義。 **[PROP 2.3：首次出現判準]** 對任意正整數三元組， $$ (m,u,z)\in E_K\quad\Longleftrightarrow\quad \kappa(m,u,z)\ \text{有定義且}\ \kappa(m,u,z)\le K. $$ **[PROOF]** 由 [PROP 2.1] 及 [PROP 2.2]，三個階段的每一種合法標籤見證都存在，當且僅當三個最低界限不超過 $K$。原第十二篇的運算種類因子化定理又保證：一旦固定精確中間態，每階段見證可依序自由串接，故能形成全部八種模板。反之，如果八種模板都存在，則每個階段的最低界限都必須被滿足。證畢。 **重要限制。** 這個簡潔的最大閾值公式依賴**各階段可獨立選擇原始運算元**。若要求跨步共用同一個運算元、禁止重複、限制來源身份，或讓操作帶狀態依賴副作用，此公式便不保證成立。 --- ## 3. 雙軸精確出生帳本及前綴重建 [PROP 3.1] 根據 [PROP 2.3]，對所有 $K,N\ge1$， $$ E_{K,N}^{\mathrm{out}}=\{(m,u,z):\kappa(m,u,z)\le K,\ z\le N\}, $$ $$ E_{K,N}^{\mathrm{all}}=\{(m,u,z):\kappa(m,u,z)\le K,\ \max(m,u,z)\le N\}. $$ 未定義的閾值不納入上述集合。故每個精確三元組在**輸入界域軸**有唯一最小出現值 $K_*=\kappa(m,u,z)$ ；在兩種觀察規則下，分別有 $N_*^{\mathrm{out}}=z$ 和 $N_*^{\mathrm{all}}=\max(m,u,z)$。 因此 $(K,N)$ 同時增大時，兩種集合均單調不減。每一個三元組各自擁有一個二維「向右上方持續存在」的合法區域；這是**整數偏序上的雙參數濾過**，而不是宣稱已計算多參數持續同調群。 [DEF 3.2] 記 $B_{k,n}^{\mathrm{out}}$ 為所有首次出現在 $K=k$ 且最終輸出恰等於 $n$ 的三元組數； $B_{k,n}^{\mathrm{all}}$ 則以三個狀態的最大值等於 $n$ 計數。令 $C_{K,N}$ 為對應累積計數，便有可精確計算的二維前綴求和： $$ C_{K,N}=C_{K-1,N}+C_{K,N-1}-C_{K-1,N-1}+B_{K,N}, $$ 兩軸在零的基例均為零。這是有限離散累積和的恆等式，沒有近似、浮點誤差或統計推估。 **實作意義。** 對固定的有限最大 $K_{\max}$，只要先取得所有三元組及其首次出現閾值，就可以在同一張出生帳本上重建不同 $K,N$ 的集合大小，無需在每個網格點重新執行四個原始運算元的完整排列。任何這種節省都只在目前的完整性及閾值定理成立範圍內有保障；換語法必須重新建證書。 --- ## 4. 兩個方向的飽和性並不對稱 ### 4.1 固定 K，最終輸出界域具有銳利飽和 **[PROP 4.1]** 對每個 $K\ge2$，都有： $$ E_{K,N}^{\mathrm{out}}=E_K\qquad(N\ge2K). $$ 且此上限對一般 $K$ 不能降低： $N=2K-1$ 仍缺少八重三元組 $(2K,K,2K)$。 **[PROOF]** 第十二篇已在明示語法下證明每個八重三元組滿足 $m,u,z\le2K$，並給出 $(2K,K,2K)$ 為銳利見證。本輪重新由獨立演算法檢查其有限實例，但不將此已知證明宣稱為本篇首次發現。證畢。 ### 4.2 固定 N，只限制最終輸出的集合不會隨 K 飽和 **[PROP 4.2]** 對任何固定整數 $N\ge1$，當 $K$ 在全體正整數上無界增大時，集合 $E_{K,N}^{\mathrm{out}}$ 不會在某個有限 $K$ 之後停止新增三元組。 **[PROOF]** 對每個 $K\ge3$，構造： $$ (m,u,z)=(2K,K,1). $$ 第一階段可用 $K+K$ 與 $2\times K$ 產生 $m=2K$ ；第二階段可用 $(2K)-K=K$ 與 $(2K)/2=K$ ；第三階段可用 $K-(K-1)=1$ 與 $K/K=1$。各步右運算元均屬 $\{2,\ldots,K\}$，恰好形成八種不同操作模板。其最終輸出 $z=1\le N$。由於第一階段的加法來源要得到 $m=2K$，任何界限小於 $K$ 的系統都無法生成這個三元組。故它在 $K$ 首次出現，而對每個 $K\ge3$ 都有新元素，證畢。 **這個結果對「1」的研究尤其重要：** 最終數值固定為 $1$，不代表已經枚舉完所有合法生成歷程；但此結論是特定三步八重模型的精確定理，不是對通常乘方極限 $1^n=1$ 的改寫，也不能藉此宣稱實際執行了無窮次計算。 ### 4.3 若 N 限制全部中間態，K>=N 後反而會飽和 **[PROP 4.3]** 對每個固定 $N\ge1$ 和所有 $K\ge N$ （在原始研究需 $K\ge2$ ）， $$ E_{K,N}^{\mathrm{all}}=E_{\max(2,N),N}^{\mathrm{all}}. $$ **[PROOF]** 設一個合法三元組滿足 $m,u,z\le N$。任何生成 $m$ 的加法或乘法第一步見證，其兩個正整數運算元都不大於 $m$，故不大於 $N$。任何合法 $x\to y$ 的雙標籤見證，其兩個可選右運算元為絕對差 $|x-y|$ 與大值除以小值，二者也都不大於 $\max(x,y)\le N$。因此，無論它最初在多大的 $K$ 下出現，在 $K=\max(2,N)$ 已可完整實現。再由集合的單調性，較大的 $K$ 不會改變該受限集合。證畢。 **[PROP 4.4：界限 K=N 在無窮多個 N 上是銳利的]** 取任意 $N=4r$ 且 $r\ge2$，則三元組： $$ (m,u,z)=(N/2,N,1) $$ 滿足 $m,u,z\le N$，而它最早在 $K=N$ 才能出現。 **[PROOF]** 令 $m=2r$。第一階段 $m=r+r=2\times r$ ；第二階段 $u=N=m+m=m\times2$ ；第三階段 $1=N-(N-1)=N/N$。全部運算元在 $K=N$ 內合法。但第三步的精確整除需要右運算元 $N$，因此任何 $K **有限界域不是畫面上的一道邊線，而是一份明示了哪些運算來源、中間狀態與合法延伸仍被保留的數學契約。** --- ## 附錄 A：重播命令 專案根目錄執行： ```bash python -m unittest discover -s tests -v python src/two_axis.py --kmax 160 --output results python src/two_axis.py --kmax 160 --archive /path/to/Radix_Tower.zip --output results python validate_release.py ``` 第三個命令需要使用者原始 `Radix_Tower.zip`，用來比對第十二篇原始資料。即使原始 ZIP 不在新包中，前兩個命令仍可完成全部獨立整數窮盡，並可核對本包的數值成果。報告中的原始來源檢查只對本輪確實讀取的指定快照成立。 附屬 CSV 是資料表而不是 Markdown 數學原始碼。正式數學稿為本檔 UTF-8 Markdown；所有公式使用 ` $...$ ` 及 `$$...$$`，沒有用渲染介面反向產生原始碼。 ## 附錄 B：來源與學術定位 1. Neo.K / AI 研究協作，《進位制塔樓與全域運算關係幾何 XII：三階段軌跡的八重運算對偶、精確中間態保留與語法擾動穩健性》，v0.1，2026-11-05；由本輪使用者提供之 `Radix_Tower.zip` 的第十二篇來源快照讀取。 2. Neo.K / GPT-6，《進位制塔樓：有限界域窮盡、運算正確性與跨表示投影稽核》，RT-FBE-01 v0.1，2026-11-05；隨本包保存該版原稿與核心參考程式的唯讀快照。 3. EveMissLab，TCGCT、TCGQT 多尺度計算橋接契約（2026-10-31）；本篇只提出 FELRA 接口建議，未直接修改實際倉庫。 4. 來源與思想背景：GCTI-01～07 的證據沿用、相容性及有限計算系統，SIO 的跨表示商與 GRST 的規則誘導可行結構。它們不是本文初等算術證明的外部公理。 5. 使用的算術工具：整數因數分解、精確整除、有限集合與前綴求和。這些是成熟方法；不將它們誤稱成新發現的普適數學定理。 **End of RT-FBE-02 v0.1 — exact finite two-axis exhaustion / conditional mathematical research.**