title: 進位制塔樓：有限界域窮盡、運算正確性與跨表示投影稽核
english_title: Radix Tower: Bounded Exhaustion, Computation-First Correctness, and Cross-Radix Projection Audit
series: EveMissLab Radix Tower / Follow-up Verification Note
id: RT-FBE-01
version: v0.1
date: 2026-11-05
author: Neo.K（研究方向與有限界域窮盡原則）／GPT-6（獨立稽核、參考程式與研究筆記）
status: FINITE EXACT AUDIT / NOT A UNIVERSAL INVARIANT PROOF / NOT LEAN VERIFIED
source: Radix_Tower.zip (user supplied); exact SHA-256 pinned in results/finite_audit.json
canonical_source: UTF-8 LF without BOM; mathematical delimiters $...$ and $$...$$ only

進位制塔樓：有限界域窮盡、運算正確性與跨表示投影稽核

研究定位

本稿接續《進位制塔樓與全域運算關係幾何》第一至十二篇，重點不在立刻證明「任何數學運算都擁有共同全域資訊不變量」，而在固定有限界域，建立完整可重算的運算事件集合，先比較其精確計算正確性，再觀察改變界域與表示時，哪些關係得到保留、哪些只是在特定投影下被合併。

本稿是一份可執行的有限界域稽核與下一輪實驗基線，不是第十三篇已被外部審查的正式數學定理。所用算術事實與雙重見證條件繼承前述第十二篇；本稿新增 K=2–40 的連續梯度、跨基底碰撞帳本、獨立再計算與原始檔精確比對。研究中將 [DEF] 工作定義、[FACT] 具前提的有限算術事實、[AUDIT] 實際完整稽核、[COUNTER] 控制反例及 [OPEN] 尚未成立的廣域猜想分開。

最重要的分離： 「數學算式算對了」、「指定語法中的合法歷程已全部覆蓋」、「觀察投影保真」，以及「能對無界全域聲稱同一結論」是四個不同的證據級別。

一、回查原始研究及資料來源

使用者提供的 Radix_Tower.zip 含單獨第一篇 Markdown、第二至十二篇各自壓縮包，以及 Radix_Tower_1-1000_Observation_v0.1.zip、Radix_Tower_Coupling_1-1000_v0.2.zip。在本輪中，直接從第十二篇壓縮包讀入其 paper12_eightfold_triplets.csv、paper12_stats.json 和 SHA256_MANIFEST.json；對清單的 20 個成員逐項驗證位元組長度與 SHA-256，一致後才將原始 CSV 視為可比較的固定來源快照。全包雜湊記載於 results/finite_audit.json。

前置研究所用的可比語法：第七至第九篇定義五種兩步模板，第十篇擴成八種，第十一篇改為三步 32 模板，第十二篇在三個精確狀態 $(m,u,z)$ 上尋找三階段八重交會。本文嚴格承接第十二篇的這一特殊性質，並未重新完整窮盡所有 32 模板在 K=40 下的每一條四輸入歷史。

二、封閉的數學語法

[DEF 2.1] 對整數 $K\ge 2$ ，固定輸入集合：

A_K=\{2,3,\ldots,K\}.

第一步操作集合為 $\{A,M\}$ （正整數加法、乘法），後兩步操作集合為 $\{A,S,M,D\}$ （加、正值減、乘、精確整除）。一條合法三步歷程由四個有序輸入 $a,b,c,d\in A_K$ ，以及操作標籤 $o_0,o_1,o_2$ 確定：

m=a\,o_0\,b,\qquad u=m\,o_1\,c,\qquad z=u\,o_2\,d.

「減法」要求結果嚴格大於零，「除法」要求除數非零且整除成立；中間值 $m,u$ 保留精確整數，不先投影到進位格子；最終結果範圍為 $1\le z\le N$ 。不同輸入或操作標籤形成不同運算歷程，即使數值三元組相同也不在原始證據中默默刪除。

[DEF 2.2] 三階段八重交會：在同一個 $(m,u,z)$ 上，第一步有兩種標籤 $A,M$ 皆可用某個合法原始輸入對實現；第二步有兩種不同操作標籤皆可用合法輸入實現；第三步亦然。因此最多形成八種分別具見證的操作模板。這是「模板種類」而不是同一模板下的歷程數，更不是全部合法運算。

記 $E_K(N)$ 為滿足前述條件及輸出界限 $z\le N$ 的所有精確三元組集合；記 $E_K$ 為不加額外 $N$ 截斷、在本固定語法下的完整八重集合。

三、有限界域結果與封閉性

[FACT 3.1] 對這個特殊八重條件，原第十二篇已給出：

E_K=E_K(2K),

且所有八重三元組的三個數值均滿足不大於 $2K$ 。對每個 $K\ge2$ ， $(2K,K,2K)$ 是達到界限的有效見證。因此 $N=2K$ 對八重交會是銳利的結果界限。本輪不是重新聲稱發現此定理，而是以兩種精確演算法及連續有限界域全面回查。

[FACT 3.2] 在 $K$ 擴大為 $K+1$ 而不刪除舊操作時，有 $E_K\subseteq E_{K+1}$ 。因為原有全部輸入和歷程見證在新界域中仍然合法。此結論僅涉及本固定語法的八重集合；改寫運算語法、型別或合法性條件時不能直接沿用。

[FACT 3.3] 任一基底 $b\ge2$ 的位階投影，只要不修改底層整數及運算規則，就不改變 $E_K$ 的精確成員資格。它會改變觀察等價類與視覺碰撞，但不是新的整數運算正本。

四、重做方法：兩套精確獨立程序

[AUDIT 4.1] 演算法 A 不使用第十二篇 verify_paper12.py：先窮舉第一步所有 $(a,b)$ 的加法與乘法值，對每個可能的中間值枚舉第二、第三步所有合法操作與運算元，尋找各階段至少兩種標籤的三元組。

[AUDIT 4.2] 演算法 B 改用整數條件重建：某個 $m$ 必須同時位於兩輸入的加法值集合與乘法值集合；對每條相鄰轉移 $x\to y$ ，上升雙標籤須滿足一個合法整數 $r$ 使 $y=xr$ 且 $x(r-1)$ 是合法加數；下降雙標籤須滿足精確整除與合法正值減數。所有運算均為 Python 整數，無浮點對數或近似判定。

[AUDIT 4.3] K=2–8 再以演算法 C 完整窮舉四個原始輸入及全部 32 種操作標籤組合，分別形成實際的 (m,u,z) → 模板集合，與 A/B 逐個三元組比對。K=9–40 的這個直接四層迴圈未執行，不應將 A/B 與原始 CSV 的相符冒稱為第三套 K40 直接窮舉。

[AUDIT 4.4] K=40 的演算法 A/B 結果與原始第十二篇 CSV 的精確三元組集合逐筆比對，確認不存在缺項或額外項；同時核對原第十二篇的 20 項 SHA-256 清單。來源的 SHA-256 保證對指定檔案內容未變，不等於外部作者、創作過程或學術正確性的證明。

五、連續 K 梯度結果

下表只列部分節點，完整 K=2–40 共 39 列在 results/K_ladder.csv。其中 N=K、N=2K-1 和 N=2K 均是對同一套完整精確三元組施加的最終值截斷。

K	N=K	N=2K-1	N=2K（完整）	相異 $(u,z)$ 位置
2	0	0	1	1
4	8	11	12	10
8	56	67	69	32
12	168	191	194	61
16	321	357	360	93
20	507	559	562	120
30	1265	1361	1365	209
40	2339	2483	2488	306

本輪全部 39 個 K 值的 A/B 精確三元組均相符；K=2–8 的 C 直接窮舉亦全部相符；K 相鄰擴張無回退；每個 K 都找到銳利端點 $(2K,K,2K)$ 。這些是完整指定有限語法下的核對結果，不是無界全域法則的統計證明。

特別地 K=40 時，在 N=79 下只取得 2,483 個八重三元組，而 N=80 取得 2,488 個；最後 5 個三元組正好提醒我們：有限界域中的「看似飽和」不能僅憑幾次無變化的掃描判定。此處 $2K$ 是藉明確條件而來的銳利界限，而不是靠肉眼觀察數值曲線。

六、跨進位觀察的精確資訊碰撞帳本

[DEF 6.1] 對任意正整數 $x$ 、基底 $b\ge2$ ，定義整數位階 $\ell_b(x)$ 為唯一整數 $j$ 使得 $b^j\le x < b^{j+1}$ 。計算時使用整數連續整除，不使用浮點對數。

將每個精確八重三元組 $(m,u,z)$ 投影到 $(\ell_b(m),\ell_b(u),\ell_b(z))$ 。下表中的「配對碰撞」是所有落在同一觀察格，但具有不同精確三元組的無序配對數。它不包含來源權重，也不是 Shannon 資訊量。

基底	精確三元組	位階格子數	配對碰撞數
2	2488	110	68,248
3	2488	45	184,146
5	2488	27	336,437
8	2488	14	1,234,952
10	2488	8	1,055,337
12	2488	8	954,976
16	2488	8	732,752

這組資料提供一個新的負對照：八進位的位階格子數（14）多於十進位（8），但同格不同三元組的配對碰撞卻更多。因為兩種基底的位階分割不是單純的「前者精細化後者」，所以格子數本身不足以保證碰撞負載單調下降。只有當觀察分割真的形成精化偏序時，才能由分割性質推出相應的單調性。

這不否定進位制幾何的價值，反而指出：未來 TCGQT 在調整鏡頭時，應保存精確來源參照並計算真實的投影碰撞，不可由某一個「解析度數字」自動判斷資訊保持。

七、計算優先的 FELRA／TCGCT／TCGQT 介面建議

建議將有限界域窮盡正式接入未來 FELRA 計算正確性閘門，必要欄位至少包含：

source_digest：原始資料的位元組快照與版本（摘要不等於來源真實身分）。
domain_contract：K、N、允許運算元、正整數／有理數型別、整除及正值減法限制。
grammar_contract：運算序列型別、步數、能否暫時越出結果界域。
coverage_certificate：窮舉方法、被覆蓋的全部合法運算類型、獨立 oracle、已覆蓋／未覆蓋級別。
exact_trace：輸入、操作、精確中間狀態、輸出、依賴圖與獨立重播收據。
observation_lens：基底、尺度、投影、精確值可恢復性、同格碰撞統計。
status：明確區分 EXACT_FINITE_CHECKED、FINITE_SAMPLE_ONLY、UNRESOLVED、REJECTED、GLOBAL_PROOF_OPEN。

權限分工： TCGCT 或另一個具可信算術合約的內核執行或核對數值；FELRA 以獨立檢驗器簽發有限作用域的計算驗證收據；TCGQT 僅產生衍生觀察，不得改動 canonical 計算正本；Lean／SMT 若需要可再用於證明規則界限、等價性及命題，但不被誤當成唯一數值驗證方式。

本包提供的是標準函式庫獨立參考程式，尚未與 FELRA、TCGCT、TCGQT 直接整合，也沒有執行這些專案的完整回歸測試。

八、三類必須保留的反例

[COUNTER 8.1] 算術錯誤：明知 2+2=4 卻宣稱輸出 5，精確重算須拒絕；來源形式再漂亮也不會使這一步通過。

[COUNTER 8.2] 越出合法界限：K=40 的八重銳利見證 (80,40,80) 可通過；將最後結果誤改為 81，已超出八重交會的 $2K$ 全域上界，須拒絕。這裡的「全域」只指該有限操作語法的完整八重集合。

[COUNTER 8.3] 觀察假交會：二條不同精確三元組落在同一進位位階格，只是觀察投影的碰撞，不能轉成「共享相同運算過程」的認證。

九、接下來真正應該做的有限研究

不要直接將 K=40,N=1000 的結果外推成無界數學資訊守恆律。建議明確分成：

M1：有限界域完備帳本。針對固定算子語法與深度，先把全部計算事件、來源身份、可重播證據與投影碰撞統一表示，給出可機器核查的作用域聲明。此稿已完成其中「特殊八重子集合」的獨立稽核。
M2：擴張方向分離。獨立增加 K、N、歷程深度、運算種類與表徵基底。每次只改一個維度，另外保留跨維度交互作用實驗；不得把不同擴張的影響混為「全域資訊增加」。
M3：結構分類與反例搜尋。找出在多個有限界域上共同成立的候選關係、最小見證、失敗輸入及完整性界限，區分恆等式、觀察定義導致的性質與真正需證明的新關係。
M4：歸納與一般化。只有當有限表現具有可證的遞推機制、完備封閉條件或已知的定理工具時，才提出超出當前界域的命題。沒有這些條件，正確狀態必須是 GLOBAL_PROOF_OPEN。

十、結論與證據等級

[AUDIT] 本輪完成 K=2–40 共 39 個有限界域的八重交會再計算；兩套整數方法相符，七個最小 K 值又通過實際四運算元全模板窮舉；K=40 的精確三元組與原第十二篇 CSV 全集合一致，原有 20 個 manifest 記錄逐位元組核對有效；跨基底的碰撞帳本完全由該精確集合重算。

[LIMIT] 本輪沒有重跑原第十一篇 K=40 的 25,595,725 條全部三步歷史，沒有驗證所有 K=40 四輸入來源的完整 32 模板列表，也沒有將這些實驗外推為 TCGCT/TCGQT 的物理、量子或全實數定理。正確的有限計算能提供逐級延伸的研究基準，但有限個例子本身永遠不能代替沒有有限封閉證書的無界全稱證明。

核心判準：先讓有限世界的每一步可被核對，再談跨有限世界的相容傳輸；最後才有資格討論無界全域。

作者： Neo.K（研究方向與有限界域窮盡原則）／GPT-6（獨立稽核、參考程式與研究筆記）
機構： EveMissLab／一言諾科技有限公司
日期： 2026-11-05
版本： v0.1
原稿狀態： FINITE EXACT AUDIT / NOT A UNIVERSAL INVARIANT PROOF / NOT LEAN VERIFIED

附錄：重播方式

python -m unittest discover -s tests -v
python src/finite_audit.py --output results
python src/finite_audit.py --archive /path/to/Radix_Tower.zip --output results

第三條命令會另外讀取第十二篇固定來源資料及 SHA-256 清單；若未提供原始壓縮檔，前兩條仍能獨立完成有限算術稽核。

本稿不宣稱已經跑過使用者未提供的其他硬體、工具鏈或證明系統。原始公式保存為 UTF-8 Markdown，使用 $...$ 與 $$...$$；對話畫面僅作閱讀與討論。