# 進位制塔樓與全域運算關係幾何（第十二篇）

## 三階段軌跡的八重運算對偶、精確中間態保留與語法擾動穩健性

**英文題名：** *Radix Towers and Global Operational Relation Geometry XII: Eightfold Operational Duality in Three-Stage Traces, Exact Intermediate-State Preservation, and Grammar-Perturbation Robustness*  
**版本：** v0.1（精確算術命題、完整有限域枚舉與反例對照）  
**日期：** 2026-11-05  
**研究系列：** EveMissLab／進位制塔樓與全域運算關係幾何  
**研究構想：** Neo.K；形式化、程式枚舉及驗收：AI 輔助協作  
**直接承接：** 第一至第十一篇，尤其第九至第十一篇的運算見證、八種兩步語法與三十二種三步語法  
**Canonical source：** UTF-8 Markdown；數學原始碼一律使用 ` $...$ ` 與 `$$...$$`  
**證據性質：** 固定正整數運算語法下的可證命題與完整有限枚舉；不主張發現新的物理因果律或一般實數定理

---

**作者：** Neo.K；形式化、程式枚舉及驗收：AI 輔助協作  
**機構：** EveMissLab／一言諾科技有限公司  

## 摘要

本系列由 $9\times99$ 與 $n\times99=9\times(11n)$ 出發，逐步建立能夠同時保留數值、運算事件、中間歷史及進位制觀察方式的「數量級塔樓」。第七至第九篇指出，不同運算可以在精確中間值與結果上合流，但若把多條歷史投影到過粗的樓層格子，容易產生視覺上的假交會。第十、十一篇將語法由兩步擴充為三步，證實歷史數量、精確關係位置與進位觀察分布會隨語法改變，且三步運算不能在一般情形下被視為沒有意義的前綴。

本文不再只比較最後的中間值與結果 $(u,z)$，而是保留**兩個中間數值和最終結果的完整三階段狀態** $(m,u,z)$。針對第十一篇相同的輸入域 $A_K=\{2,\ldots,K\}$ 、第一步運算 $\{A,M\}$ 、後兩步運算 $\{A,S,M,D\}$，定義「第一步來源種類」「第二步可能作用種類」「第三步可能作用種類」三個精確集合。證明在固定 $(m,u,z)$ 後，其所有合法運算模板形成這三個集合的笛卡兒積，因此模板數最多為 $2\times2\times2=8$。

本篇將八種模板同時存在的狀態稱為**完整三階段八重運算交會**。該條件不僅要求多條歷史抵達相同結果，還要求每一個階段都能以兩種不同、可驗算的算術運算實現相同的精確數值轉移。全文證明：只要此類八重交會成立，就必有 $m\le2K$ 、 $u\le2K$ 、 $z\le2K$ ；並對每個 $K\ge2$ 構造 $(m,u,z)=(2K,K,2K)$ 作為達到上界的見證。故對此特定交會條件，結果上限 $N=2K$ 是**精確且銳利的飽和界線**。這比第十一篇對一般三步強合流得到的 $N=2K^3$ 界線嚴格得多，但二者所限定的數學對象不同，不能混為一談。

在 $K=40$ 、最終結果 $1\le z\le1000$ 的完整有限枚舉中，得到 **3,530,526 個不同的精確 $(m,u,z)$ 三元位置**，其中 **2,488 個**具有八種運算模板；這 2,488 個位置投影到倒數第二個中間值與結果 $(u,z)$ 時，共落在 **306 個精確位置**。所有八重交會的三個數值皆不超過 $80$，因此在結果上限 $N=80$ 時便已完整出現。相對地， $z=891$ 雖在第十一篇具有 84 個跨三步模板的強合流 $(u,z)$ 位置，卻不存在任何八重交會；原因不是未搜尋到，而是 $891>2K$ 已被一般上界排除。

本篇進一步以十種「刪除一個運算階段中的某種操作」作為語法擾動對照，觀察哪些既有強合流仍然存在；並比較二、三、五、八、十、十二、十六進位對八重交會樓層軌跡的投影。精確運算事件與八重交會集合在固定整數語義下不受基底影響，而樓層升降、同層與視覺交會則可能明顯改變。

本文的核心結論不是「三階段八重交會」代表未知的自然力，而是：**當中間數值全部保留時，可以精確區分算術作用的多種實現、同值軌跡的耦合強度、語法造成的來源冗餘，以及進位表示造成的可見差異。**

**關鍵詞：** 全域運算關係、進位制塔樓、精確運算軌跡、三階段耦合、算術對偶、八重交會、語法因子化、飽和界、運算模板穩健性、進位表示不變性。

---

## 1. 問題：為何只保留 $(u,z)$ 還不夠

第十一篇將三步歷史寫成：

$$
m=a\mathbin{o_0}b,\qquad
u=m\mathbin{o_1}c,\qquad
z=u\mathbin{o_2}d.
$$

其中 $o_0\in\{A,M\}$ 、 $o_1,o_2\in\{A,S,M,D\}$。原始歷史記錄 $(F,a,b,c,d,m,u,z)$，而主合流觀察位置為 $(u,z)$。

若只看 $(u,z)$，可能把兩種不同情況混合：

1. 不同來源先到達不同的第一中間值 $m$，再各自經過第二步到達相同 $u$ ；
2. 不同運算方法實際共享同一個 $m$，甚至共享同一個 $m\to u$ 與 $u\to z$ 的數值轉移。

兩者都是合法的多來源運算，但第二種額外保存了**較早階段的共同資訊**。本篇因此固定精確三元位置 $(m,u,z)$，將每一階段的運算種類視為可辨識且可逐一重算的標記，不以單純的三段線條交叉作為證據。

值得注意的是，這裡「三階段」指**第一步、第二步、第三步的數值作用階段**；並不暗示這些算術事件在物理世界具有獨立時間、能量或因果本體。

---

## 2. 有限域、合法運算與三階段模板

### 2.1 研究範圍

令：

$$
A_K=\{2,3,\ldots,K\},\qquad S_N=\{1,2,\ldots,N\}.
$$

實驗主參數為 $K=40$ 、 $N=1000$。最初四個運算元皆取自 $A_K$ ；兩個中間數值 $m,u$ 只需為正整數，**允許超過 $N$**；最終結果 $z$ 必須屬於 $S_N$。

四種第二、第三步運算採以下明確定義：

- $A$：正整數加法， $x+c$ ；
- $S$：正值減法，要求 $x-c\ge1$ ；
- $M$：正整數乘法， $xc$ ；
- $D$：精確除法，要求 $c\mid x$，結果 $x/c$ 為正整數。

因每個右側運算元 $c\ge2$， $A,M$ 嚴格增加數值， $S,D$ 嚴格降低數值。每個具體歷史的運算符與有序輸入必須保留。

### 2.2 第一階段的來源集合

定義第一步可以生成 $m$ 的不同**運算種類**：

$$
P_K(m)=\{o_0\in\{A,M\}:\exists a,b\in A_K,\ a\mathbin{o_0}b=m\}.
$$

注意 $P_K(m)$ 計的是**不同運算種類**，不是全部有序運算元配對的數量。即使某個 $m$ 有十種加法分拆，它在 $P_K(m)$ 中也只貢獻一個 $A$ 標記。

因此：

$$
0\le |P_K(m)|\le2.
$$

### 2.3 兩個相鄰數值之間的作用集合

對任意正整數 $x,y$，定義：

$$
T_K(x,y)=\{o\in\{A,S,M,D\}:\exists c\in A_K,\ x\mathbin{o}c=y\}.
$$

我們可以直接從 $x,y$ 決定是否存在一個合法運算。例如 $T_{40}(4,8)=\{A,M\}$，因為 $4+4=8$ 且 $4\times2=8$ ；而 $T_{40}(8,4)=\{S,D\}$，因為 $8-4=4$ 且 $8/2=4$。

在本語法內，若 $x,y$ 與運算種類都固定，右運算元 $c$ 由等式**唯一**決定；因而不會有兩個不同的 $c$ 產生相同 $x\mathbin{o}c=y$，但第一步 $m$ 的有序來源可以有多筆。

### 2.4 完整三階段位置與模板集合

本文的精確觀察位置為：

$$
t=(m,u,z).
$$

令 $\mathcal F_K(t)$ 為所有能生成此三元位置的不同三字母模板 $F=o_0o_1o_2$。模板種類的相同與否，不以其最終結果判斷，而由三步的運算符標籤逐位比較。

若只保留 $(u,z)$，則會把不同的 $m$ 投影到同一位置；若更進一步只保留進位樓層，則又會發生第八篇分析過的視覺別名與假交會。因此本篇的驗證以**精確三元位置**為主，塔樓圖形僅作額外觀察。

---

## 3. 第一個定理：完整模板集合具有精確因子化

### 定理 3.1（三階段運算種類的笛卡兒積因子化）

對任意正整數 $m,u,z$，本文語法中的合法運算模板集合滿足：

$$
\mathcal F_K(m,u,z)
=P_K(m)\times T_K(m,u)\times T_K(u,z).
$$

因此：

$$
|\mathcal F_K(m,u,z)|
=|P_K(m)|\,|T_K(m,u)|\,|T_K(u,z)|.
$$

**證明。** 如果一個完整三步歷史經過 $(m,u,z)$，則其第一步運算種類必能從原始運算元得到 $m$，即屬於 $P_K(m)$ ；第二、三步種類亦分別屬於 $T_K(m,u)$ 及 $T_K(u,z)$。故左側必包含於右側。

反過來，任取右側三個集合的一個合法運算種類：第一集合保證存在 $a,b\in A_K$ 可得到 $m$ ；第二集合保證存在 $c\in A_K$ 可從 $m$ 得到 $u$ ；第三集合保證存在 $d\in A_K$ 可從 $u$ 得到 $z$。三組存在見證可依序串接成完整合法歷史，因此右側亦包含於左側。證畢。

**重要解讀。** 此因子化依賴三個階段的運算可獨立選擇，且每個階段只以前一個精確數值為輸入。如果未來語法加入跨步記憶、共享參數、狀態相依的操作限制，三個集合不一定還能自由組合；因此不能把這個笛卡兒積形式誤當成所有演算法的普適定理。

### 推論 3.1.1（完整模板數的上界）

對任何合法三元位置：

$$
|\mathcal F_K(m,u,z)|\le8.
$$

因第一步最多兩種運算，且在第 4 節將證明對固定且不同的正整數 $x,y$，第二、第三步各最多兩種運算種類，故乘積最多為 $2\times2\times2=8$。

這裡的「八」是**運算符標籤模板數上限**，不是八個不同整數結果，也不是八條互不重疊的幾何曲線。每個模板仍可能具有多個不同的有序第一步運算元見證。

---

## 4. 第二個定理：相鄰數值的運算對偶判準

### 4.1 增長與下降必須分開

對正整數 $x,y$，由第二運算元至少為 $2$：

- 若 $y>x$，只有加法 $A$ 與乘法 $M$ 可能合法；
- 若 $y<x$，只有減法 $S$ 與精確除法 $D$ 可能合法；
- 若 $y=x$，四種運算皆不合法。

因此：

$$
|T_K(x,y)|\le2.
$$

### 定理 4.1（上升對偶的算術充要條件）

令 $y>x\ge1$。同時存在加法與乘法兩種合法作用的充要條件為：存在整數 $r$ 使：

$$
2\le r\le K,\qquad y=xr,\qquad 2\le x(r-1)\le K.
$$

**證明。** 若 $x+c=y=xr$ 同時成立，則乘法因子 $r=y/x$ 必為 $[2,K]$ 內的整數，加法增量 $c=y-x=x(r-1)$ 亦須位於 $[2,K]$。反向若上述條件成立，取乘法右運算元 $r$ 與加法右運算元 $x(r-1)$，即可分別得到相同 $y$。證畢。

### 定理 4.2（下降對偶的算術充要條件）

令 $1\le y<x$。同時存在減法與精確除法兩種合法作用的充要條件為：存在整數 $r$ 使：

$$
2\le r\le K,\qquad x=yr,\qquad 2\le y(r-1)\le K.
$$

**證明。** 若 $x-c=y=x/r$ 同時成立，則 $r=x/y$ 為合法整數除數，且減量 $c=x-y=y(r-1)$ 也是合法運算元。反向代入即可。證畢。

### 4.2 對偶與反向約束的研究語義

這裡使用「對偶」一詞，是指兩種運算經由不同作用規則，卻同時滿足**同一精確輸入—輸出約束**；不是單純的 $a\times b=b\times a$，也不要求兩種運算互為通常意義下的逆函數。

對同一個 $x\to y$，只有當定理 4.1 或 4.2 成立，才存在兩個不同運算標籤的合法見證。換句話說，可見的並非純粹幾何對稱，而是**因數條件、界限條件與代數作用共同篩選出的精確關係**。

---

## 5. 三階段八重交會的定義與緊湊核心定理

### 5.1 定義：完整三階段八重交會

若：

$$
|P_K(m)|=2,\qquad
|T_K(m,u)|=2,\qquad
|T_K(u,z)|=2,
$$

則稱 $t=(m,u,z)$ 為**完整三階段八重運算交會**。由定理 3.1，此時恰好有八個不同的三字母運算模板可在同一組精確數值上成立。

這比第十一篇的「至少兩種模板共用 $(u,z)$ 」嚴格：八重交會要求兩個中間值都固定，而且每一個階段都有兩種不同合法作用方法。

### 定理 5.1（八重交會的三數值上界）

若 $t=(m,u,z)$ 為八重交會，則：

$$
1\le m,u,z\le2K.
$$

**證明。** 由 $|P_K(m)|=2$，第一步必有加法來源 $a+b=m$，而 $a,b\le K$，故 $m\le2K$。

第二步若是上升對偶，依定理 4.1 可寫 $u=mr=m+m(r-1)$，而 $r\ge2$ 及 $m(r-1)\le K$，故 $m\le K$，且 $u\le2K$。若第二步是下降對偶，則 $u<m\le2K$。所以必有 $u\le2K$。

第三步若是上升對偶，同理 $u\le K$ 且 $z=u+u(r-1)\le2K$ ；若是下降對偶，則 $z<u\le2K$。由正值限制三者皆至少為 $1$。證畢。

### 定理 5.2（上界銳利且對所有 $K\ge2$ 成立）

對每個整數 $K\ge2$，三元位置：

$$
(m,u,z)=(2K,K,2K)
$$

必為八重交會。

**證明。** 依序選取下列不同運算的見證：

第一步：

$$
K+K=2K,\qquad2\times K=2K.
$$

第二步：

$$
2K-K=K,\qquad (2K)/2=K.
$$

第三步：

$$
K+K=2K,\qquad K\times2=2K.
$$

每一步所使用的原始右運算元皆在 $A_K$ 中，第一步的兩個原始輸入亦合法。八種彼此獨立的運算標籤組合都能依序完成，因此八重交會存在，且 $m=z=2K$ 達到上界。證畢。

### 推論 5.2.1（銳利的結果飽和界）

固定 $K$ 及本文語法，只考察八重交會時：

$$
N\ge2K
$$

已足以包含所有可能八重交會。若 $N<2K$，定理 5.2 的極端見證不會被納入。因此 **$2K$ 是八重交會集合的最小完整結果上限**。

不可把本推論改寫成「一般三步合流在 $2K$ 飽和」。第十一篇的一般強合流含大量只有一種末段運算的來源，具有不同的上界 $2K^3$ ；兩種結構的判準和規模不同。

---

## 6. 從可核驗的八種歷史觀看關係塔樓

### 6.1 最小直觀見證： $4\to8\to16$

以 $K\ge8$ 為例，令精確三元位置為：

$$
(m,u,z)=(4,8,16).
$$

第一步可選 $2+2=4$ 或 $2\times2=4$ ；第二步可選 $4+4=8$ 或 $4\times2=8$ ；第三步可選 $8+8=16$ 或 $8\times2=16$。因此存在下列八個模板：

| 模板 | 第一步得到 $4$ | 第二步得到 $8$ | 第三步得到 $16$ |
|---|---|---|---|
| AAA | $2+2$ | $4+4$ | $8+8$ |
| AAM | $2+2$ | $4+4$ | $8\times2$ |
| AMA | $2+2$ | $4\times2$ | $8+8$ |
| AMM | $2+2$ | $4\times2$ | $8\times2$ |
| MAA | $2\times2$ | $4+4$ | $8+8$ |
| MAM | $2\times2$ | $4+4$ | $8\times2$ |
| MMA | $2\times2$ | $4\times2$ | $8+8$ |
| MMM | $2\times2$ | $4\times2$ | $8\times2$ |

這是**相同兩個中間數值**下的八種合法運算歷史。其共同性不是靠圖形置中製造；圖式只是讓這些有標籤的共同關係容易被一眼看見。

![圖 1：八重運算的三階段示意](figures/paper12_eightfold_trace_4_8_16.png)

**圖 1。** 每個箭頭代表不同的合法算術作用，所有箭頭共享精確數值軌跡；完整見證以本文上方八列表為準。

### 6.2 K=40 的邊界見證

取：

$$
(m,u,z)=(80,40,80).
$$

其八種運算標籤由三對選擇構成：第一步為 $40+40$ 或 $2\times40$ ；第二步為 $80-40$ 或 $80/2$ ；第三步為 $40+40$ 或 $40\times2$。

這個例子不只是與 $4\to8\to16$ 類似；它同時證明八重交會可以達到結果上限 $z=80$，所以沒有把 $N$ 從 $80$ 往上增加的必要。

### 6.3 為何 891 反而不是八重交會

第十一篇顯示， $z=891$ 在三步語法下有 **84 個不同的強合流 $(u,z)$ 位置**。但本篇定理 5.1 保證，任意八重交會的結果必須 $z\le2K$。對 $K=40$：

$$
891>80.
$$

故對任何第一中間值 $m$ 及第二中間值 $u$， $z=891$ 都**不可能**構成本文的八重交會。這不是 891 沒有複雜數學關係，而是**多來源強合流**與**三個階段皆有雙作用**本來就是兩種不同強度的結構。

這個負對照也阻止我們用「某個數字附近連線很多」直接推斷「它滿足所有可能的局部對偶條件」。

---

## 7. 精確全域枚舉：1–1000 的三階段軌跡

### 7.1 枚舉口徑

對每個 $m$，先建立第一階段來源 $P_K(m)$ 以及保留有序輸入的來源多重度。對每個合法的第二步結果 $u$，建立 $T_K(m,u)$ ；再對每個合法最終結果 $z\le N$ 建立 $T_K(u,z)$。

對每個三元位置 $(m,u,z)$，使用定理 3.1 計算模板數；只有三組集合都非空，才記為一個精確合法三元位置。這不是把不同輸入排列合併成同一條原始歷史：程式另以來源多重度重新組合全部帶標籤運算歷史，檢查與第十一篇 **25,595,725 條**的數字完全一致。

另外使用獨立的整除式對偶判準直接構造八重交會集合，並以較小 $K$ 進行四個運算元逐筆窮舉，核對全部三步模板入射及八重交會集合。

### 7.2 三元位置的模板數分布

| 同一 $(m,u,z)$ 的模板數 | 精確三元位置數 |
|---:|---:|
| 1 | 3,012,380 |
| 2 | 491,351 |
| 4 | 24,307 |
| **8** | **2,488** |
| **合計** | **3,530,526** |

本語法的模板數只可能是 $1,2,4,8$，因為它們由三個最多為 2 的非零整數因子相乘而來。這是**運算種類的計數**，不是一般算術歷史有序見證數的分布。

![圖 2：三階段精確數值位置的模板數分布](figures/paper12_template_multiplicity.png)

**圖 2。** 縱軸採對數尺度；四類數量來自完整枚舉，而非視覺估算。

進一步分解成三個階段的來源簽名：

| 第一／第二／第三階段可選操作數 | 三元位置數 |
|---|---:|
| 1 / 1 / 1 | 3,012,380 |
| 2 / 1 / 1 | 476,781 |
| 1 / 2 / 1 | 2,515 |
| 1 / 1 / 2 | 12,055 |
| 2 / 2 / 1 | 13,447 |
| 2 / 1 / 2 | 10,375 |
| 1 / 2 / 2 | 485 |
| **2 / 2 / 2** | **2,488** |

其中八重交會形成 **306 個不同的 $(u,z)$**，但必須保留完整 $m$ 才能重建 2,488 個三階段位置；若把這些 $m$ 合併刪除，便會丟失前段耦合資訊。

### 7.3 與第十一篇原始資料的逐項核對

以不依賴第十一篇輸出表的程式重新生成運算關係後，得到：

| 第十一篇原本的指標 | 第十二篇重算結果 |
|---|---:|
| 三步有序歷史總數 | 25,595,725 |
| 帶模板的 $(F,u,z)$ 入射位置 | 326,459 |
| 不帶模板的 $(u,z)$ 精確位置 | 99,740 |
| 跨模板強合流 $(u,z)$ 位置 | 87,131 |
| $z=891$ 的三步強合流中間位置 | 84 |

這五項全部符合第十一篇的基準。程式另將全部 **326,459 筆帶模板入射**與原始 CSV 逐筆比較，並驗證 **70,153 筆前兩步來源記錄**；來源權重與標籤完全一致。這能排除「改寫實驗定義後才碰巧得到新圖形」的疑慮。

### 7.4 輸入上限的獨立敏感度檢查

只考察八重交會；對每個 $K$ 的結果上限直接設為 $N=2K$，並另以 $N=2K-1$ 做銳利性對照：

| $K$ | 完整結果上限 $2K$ | 八重三元位置 | 八重 $(u,z)$ 位置 | 若上限降低 1，損失的位置數 |
|---:|---:|---:|---:|---:|
| 2 | 4 | 1 | 1 | 1 |
| 4 | 8 | 12 | 10 | 1 |
| 8 | 16 | 69 | 32 | 2 |
| 12 | 24 | 194 | 61 | 3 |
| 20 | 40 | 562 | 120 | 3 |
| 40 | 80 | 2,488 | 306 | 5 |

這張表沒有宣稱八重交會個數隨 $K$ 遵循某個尚未證明的簡單冪律；真正跨各列成立的是定理 5.1、5.2 的精確界線與獨立整除判準。

---

## 8. 從語法擴張到語法擾動：穩健性不能只有一種定義

### 8.1 三種不同的穩健性

**第一種：數值見證穩健性。** 在固定語法與數值集合下，只改寫為不同進位制，已核驗的整數運算歷史仍然成立。

**第二種：模板刪除後的強合流穩健性。** 刪去少數運算模板，只要同一位置仍有兩種不同模板，該位置便保有「跨模板強合流」資格。

**第三種：完整八重性。** 必須同時保留三個階段各兩種作用種類。若刪去某個實際參與的階段運算選項，該位置可能由八重降成四重，卻仍是合法強合流。

這三種性質不可互稱。特別是「八重模板數下降」不代表相關數值關係消失。

### 8.2 定理：八重交會的單一階段操作刪除餘裕

設 $(m,u,z)$ 是八重交會。若在**某一個固定運算階段**刪除一種操作標籤，則：

- 若被刪除的操作本來不屬於該階段兩種合法選項，仍有 8 種模板；
- 若被刪除的操作恰是該階段的合法選項之一，仍有 4 種模板。

**證明。** 由定理 3.1，合法模板集合是三個二元素集合的笛卡兒積。單階段刪除若未命中元素，乘積不變；若命中一個元素，三個因子大小由 $(2,2,2)$ 變成 $(1,2,2)$ 或其置換，因此模板數為 4。證畢。

這說明八重交會在**只要求至少兩種模板存在**的判準下具有操作刪除餘裕；但在**完整八重**判準下不具備刪除後完全不變的性質。

### 8.3 對全部三步強合流位置進行操作階段消融

以下以第十一篇相同的 87,131 個三步強合流 $(u,z)$ 位置為母集合。每次刪除指定階段的一個運算種類，重新計算至少兩種模板仍存在的位置數：

| 被刪除的運算種類 | 仍保有跨模板強合流的位置 |
|---|---:|
| 第一步：加法 A | 85,434 |
| 第一步：乘法 M | 10,216 |
| 第二步：加法 A | 57,261 |
| 第二步：正值減法 S | 58,070 |
| 第二步：乘法 M | 85,353 |
| 第二步：精確除法 D | 87,131 |
| 第三步：加法 A | 49,106 |
| 第三步：正值減法 S | 48,287 |
| 第三步：乘法 M | 84,024 |
| 第三步：精確除法 D | 80,288 |

這些不是一般算術的因果重要度排名，而是**本次固定語法、 $K=40,N=1000$ 與「兩模板以上」判準**下的精確消融計數。某一運算刪除後交會數下降，不表示該運算在任何更廣泛的代數世界中不可替代。

例如「刪除第二步 D 後位置數仍然是 87,131」，只代表每個原有強合流位置都另有足夠的不同模板留下；不代表第二步除法在所有個別歷史中毫無作用。

### 8.4 語法穩健性與底層算術不變性不同

只更換觀察基底而保持原始整數與演算法不變，屬於**無損表示轉換**，它理應保留精確見證。移除一整類可用算術操作則修改了研究世界的規則，故交會集合縮小是合理的。若不區分這兩種改變，很容易把**語法敏感性**誤說成**進位制破壞了數學關係**。

---

## 9. 不同進位制下的雙步軌跡觀察

### 9.1 先固定精確三元位置，再改變表示

對任何整數基底 $q\ge2$，令 $R_q(x)$ 是正整數的標準 $q$ 進位字串，令：

$$
\ell_q(x)=\lfloor\log_q x\rfloor.
$$

對固定八重三元位置，定義兩段樓層差：

$$
\delta_{1,q}=\ell_q(u)-\ell_q(m),\qquad
\delta_{2,q}=\ell_q(z)-\ell_q(u).
$$

圖上的兩個數量級差可能為正、負或零；但它們只是進位數量級投影，不是直式演算法的逐位 carry stream。判斷樓層時使用精確整數除法，避免浮點邊界問題。

### 9.2 二進位不能讓八重交會的相鄰兩段同層

**命題 9.1。** 對任何八重交會，在二進位中：

$$
\delta_{1,2}\ne0,\qquad\delta_{2,2}\ne0.
$$

**證明。** 八重交會的每一段轉移都有兩種作用，因此必為 $A/M$ 的上升對偶或 $S/D$ 的下降對偶。上升對偶 $y=xr$ 有 $r\ge2$，故 $y\ge2x$，二進位樓層至少增加一；下降對偶有 $x=yr$ 、 $r\ge2$，故樓層至少降低一。證畢。

對十進位不能做相同斷言：例如 $4\to8$ 已由加法與乘法共同實現，但 4 與 8 仍位於同一個十進位數量級樓層。

### 9.3 七種進位制的完整對照

對同一批 **2,488** 個八重精確三元位置，計算兩段樓層差。這裡只列出「兩段都同層」的數量：

| 進位基底 $q$ | 兩段樓層差都為 0 的八重位置 |
|---:|---:|
| 2 | 0 |
| 3 | 36 |
| 5 | 82 |
| 8 | 241 |
| 10 | 223 |
| 12 | 203 |
| 16 | 269 |

完整的兩段樓層差分布保存在 `data/paper12_eightfold_radix_profiles.csv`，並由 2,488 個精確三元位置逐項再生。即使某些基底把多個數值放到同一樓層，**八重交會的集合、運算符集合、可逆向重算的整數見證均不改變**。

![圖 3：跨進位制的雙段同層外觀](figures/paper12_cross_radix_same_level.png)

**圖 3。** 這張圖只比較數量級投影產生的「兩段都同層」外觀，不是比較底層運算能否成立。

### 9.4 兩個案例的視角差異

對 $(m,u,z)=(4,8,16)$：

- 二進位數量級為 $(2,3,4)$，兩段都是上升；
- 十進位數量級為 $(0,0,1)$，第一段同層、第二段上升；
- 十六進位數量級亦為 $(0,0,1)$。

對 $(m,u,z)=(80,40,80)$：

- 二進位數量級為 $(6,5,6)$，先下降再上升；
- 十進位數量級為 $(1,1,1)$，兩段都同層。

兩個案例在代數上完全不需要因基底不同而重新定義。**改變的是塔樓觀察座標，不是原始整數世界。**

---

## 10. 反例檢查與證據界線

### 10.1 「有大量合流」不推出「每階段都雙作用」

最直接的反例是 $891$。第十一篇的 84 個強合流位置可以由多個不同三步模板到達，但沒有一個能滿足本文八重判準，因為結果已超出 $2K$。

### 10.2 「全部運算歷史」不等於「全部實數演算法」

本篇雖然枚舉了此語法下的 25,595,725 條有序歷史，卻仍然只研究有限整數輸入、指定運算符、精確整除、三步運算及最終結果上限。若引入負數、零、實數、無窮展開、分支程式或任意長的代數重寫，定理的條件需要重新檢查。

### 10.3 不能用圖形的八條線取代數學見證

八種模板必須能逐條解出合法原始運算元，且三階段都必須返回同一個精確 $(m,u,z)$。若只是把八條線畫在同一格，卻無法還原其事件，則是第八篇的投影別名問題，而非本文的八重交會。

### 10.4 不能把算術依賴直接稱為物理因果

本文可以證明指定輸入作用與反向可解條件、兩個中間狀態的共享，以及不同模板在有限語法中的關聯；不能因此推導真實物理力、物理時間或動力學作用反作用律。

### 10.5 八重交會不是神秘的新算術定律

其 $2\times2\times2$ 結構來自合法運算種類的獨立選擇與已有算術恆等式；新的研究工作在於**選擇觀察對象、建立可重算的分層資料、提出更嚴格的耦合判準並量化語法與進位投影的差別**。它不是對既有加減乘除定律提出否定，也不把有限語法內的因子化稱為超越既有代數的普適新律。

---

## 11. 再現實驗、驗證層級與正式資料

### 11.1 主程式

核心程式 `verify_paper12.py` 只需 Python 3 標準函式庫。由第一步有序來源的加法分拆、乘法因數來源出發，建立第二步及第三步的所有合法精確轉移；在每個 $(m,u,z)$ 上統計模板種類和完整歷史的來源權重。

```bash
python verify_paper12.py --output .
```

若持有第十一篇原始 `paper11_prefixes.csv` 與 `paper11_three_step_incidence.csv`，可加入其資料夾路徑執行逐筆核對：

```bash
python verify_paper12.py --output . --reference reference
```

這項核對不依賴圖像。研究套件內的 `reference/` 附有第十一篇兩份必要原始表，以確保本篇能離線再現。

### 11.2 獨立驗證的四道防線

1. **三階段來源因子化重算：** 對所有 $(m,u,z)$ 同時計算運算模板數及完整有序歷史數。
2. **獨立整除式對偶枚舉：** 不依賴第一種轉移生成法，使用第 4 節的整數條件直接構造全部八重交會，要求集合逐筆相等。
3. **小尺度完整四輸入窮舉：** 對 $K=5,8$ 直接逐筆執行所有有序輸入及三步模板，要求每個帶模板入射的加權歷史數完全一致。
4. **第十一篇原始資料逐筆核對：** 比對全部 326,459 個三步模板入射與 70,153 個前兩步來源權重，排除資料世界被悄悄更換。

另外以精確整數比較驗證 $2K$ 上界、極端見證、 $N=2K-1$ 的負對照及跨進位樓層簽名；正式原稿提交前執行編碼、delimiter、數據、圖表、雜湊與 ZIP 解壓驗收。

### 11.3 檔案清單與證據等級

- `EveMissLab_Radix_Tower_Global_Operational_Geometry_12_v0.1.md`：本文正式 UTF-8 Markdown 原稿。
- `verify_paper12.py`：完整枚舉、精確定理判準及來源核對程式。
- `make_figures.py`：從已驗證資料再生 PNG/SVG 圖表。
- `data/paper12_stats.json`：全域計數、語法消融與驗證摘要。
- `data/paper12_eightfold_triplets.csv`：全部 2,488 個八重三階段精確位置。
- `data/paper12_signature_distribution.csv`：完整 3,530,526 個位置的八種來源簽名統計。
- `data/paper12_eightfold_radix_profiles.csv`：同一批八重位置在七種進位制的雙段樓層變化。
- `data/paper12_sensitivity.csv`：六個 $K$ 對 $2K$ 飽和上界的獨立對照。
- `data/paper12_all_site_support_distribution.csv`：全部精確 $(u,z)$ 位置的模板支援度分布。
- `reference/`：第十一篇兩份原始來源表的未修改副本，用於逐筆比對。
- `figures/`：由本篇驗證資料產生的兩組 PNG/SVG 圖。
- `SHA256_MANIFEST.json`：正式 ZIP 發行內容的校驗清單。

請區分：2,488 是**精確三元位置數**、306 是其 $(u,z)$ **投影位置數**、87,131 是另一個更寬鬆判準下的**三步跨模板強合流位置數**、25,595,725 則是**保留原始輸入多重性的有序歷史數**。它們不可相互取代。

---

## 12. 結論：從「線條變多」走到「運算關係的可辨識層級」

第十一篇確立了三步運算能真正擴張原本的關係空間，但僅以最後中間值與結果 $(u,z)$ 為觀察位置時，仍會把更早的歷史差異合併。第十二篇把 $m$ 重新納入精確位置，並以運算種類的因子化、算術雙作用判準與三階段八重交會，建立一個更嚴格、可逐條重算的耦合層級。

本篇得到四個可稽核的結論。其一，固定 $(m,u,z)$ 後，運算模板集合可以精確分解為第一步來源與兩次數值轉移的笛卡兒積，每個階段最多兩種合法操作。其二，八種模板同時存在必然把三個數值限制在 $1$ 至 $2K$ 的緊湊核心中，而 $2K$ 的上界對全部 $K\ge2$ 都可由明確見證達成。其三，在 $K=40,N=1000$ 的完整枚舉中，3,530,526 個三階段位置中有 2,488 個八重交會，且所有這類位置在結果上限 80 便已飽和。其四，語法操作刪除會改變可用的運算來源，而進位基底的無損替換不改變原始整數運算見證；二者必須分開分析。

因此，數值塔樓的研究價值並非宣稱每一個漂亮的圖案都是未知定律，而在於提供一種可檢驗的觀察機制：讓數值、運算作用、反向可解條件、共同中間歷史與進位制觀察之間的資訊關係，逐層顯現而不失去來源證據。

**本篇核心結語：數字可以在同一格相遇；只有保留它們如何抵達每一層，才能知道那些相遇究竟共享了多少運算關係。**

---

## 參考文獻與研究銜接

1. EveMissLab，《進位制塔樓與全域運算關係幾何（第一至第九篇）》，2026-11-03 至 2026-11-05；數值域、進位觀察、運算見證、假合流及有限語法飽和。
2. EveMissLab，《進位制塔樓與全域運算關係幾何（第十篇）：有限運算語法的保真擴張、雙側耦合重分類與三步歷史的投影不變性》，2026-11-05。
3. EveMissLab，《進位制塔樓與全域運算關係幾何（第十一篇）：非保守三步運算的動態中間態、跨深度合流與塔外折返的精確界線》，2026-11-05。
4. Baader, F. and Nipkow, T., *Term Rewriting and All That*, Cambridge University Press, 1998；提供一般項重寫與合流的既有概念背景，本文有限數值合流不自動等於 Church–Rosser 性質。
5. Shpilka, A. and Yehudayoff, A., “Arithmetic Circuits: A Survey of Recent Results and Open Questions,” *Foundations and Trends in Theoretical Computer Science*, 2010；用於辨別既有算術電路與本文的特定有限歷史觀察協定。

**End of Paper XII (v0.1).**