---
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 的結果外推成無界數學資訊守恆律。建議明確分成：

1. **M1：有限界域完備帳本**。針對固定算子語法與深度，先把全部計算事件、來源身份、可重播證據與投影碰撞統一表示，給出可機器核查的作用域聲明。此稿已完成其中「特殊八重子集合」的獨立稽核。
2. **M2：擴張方向分離**。獨立增加 K、N、歷程深度、運算種類與表徵基底。每次只改一個維度，另外保留跨維度交互作用實驗；不得把不同擴張的影響混為「全域資訊增加」。
3. **M3：結構分類與反例搜尋**。找出在多個有限界域上共同成立的候選關係、最小見證、失敗輸入及完整性界限，區分恆等式、觀察定義導致的性質與真正需證明的新關係。
4. **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  

---

## 附錄：重播方式

```bash
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，使用 ` $...$ ` 與 `$$...$$`；對話畫面僅作閱讀與討論。