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

局部雙側事件耦合、最小正向運算見證與有界語法的全域飽和

英文題名： Radix Towers and Global Operational Relation Geometry IX: Dual-Sided Event Coupling, Minimal Positive Certificates, and Saturation of Bounded Arithmetic Grammars
版本： v0.1（獨立枚舉驗證、形式化命題、可重現資料稿）
日期： 2026-11-05
研究系列： EveMissLab／進位制塔樓與全域運算關係幾何
研究構想： Neo.K；形式化、程式與數據驗證：AI 協作
前置研究： 第一至第八篇，尤其是第七篇的跨演算法強合流與第八篇的投影假合流
正式原稿： UTF-8 Markdown；數學僅使用 $...$ 與 $$...$$ 作為 canonical delimiters
資料狀態： 正整數、有限語法、精確窮舉；不主張已證明一般實數的普適運算幾何

作者： Neo.K；形式化、程式與數據驗證：AI 協作
機構： EveMissLab／一言諾科技有限公司

摘要

第八篇顯示，若把有限算術歷史投影成數量級格子，許多彼此沒有共享精確數值的運算可能落入同一畫面位置，產生「視覺假合流」。單純將塔樓置中可以改善辨識，卻不足以從圖形推出哪兩條歷史實際共享了運算事件。第九篇因此將研究對象由關係位置再提升一層：如何以少量、可逐步重算的運算見證，證明一個位置真的含有兩種以上運算來源？又如何區分共享前段事件、共享後段事件與兩側耦合？

沿用第七、八篇完全相同的資料世界：結果上限 $N=1000$ ，輸入運算元 $a,b,c\in\{2,\ldots,K\}$ 且 $K=40$ ，五種二步模板 AM、MA、MS、MM、MD。每條歷史保留六元組 $(F,a,b,c,m,z)$ ；超過 $N$ 的中間值 $m$ 可以存在，但最後結果 $z$ 必須在觀察域內。本篇使用直接三元組枚舉和按中間值來源因式分解的獨立方法逐入射比對，得到原有的 161,582 條歷史、38,506 個精確 $(m,z)$ 位置、1,547 個跨模板強合流位置。此處沒有改動前篇的樣本或重定義強合流。

本篇把強合流再細分為共享第一步事件、共享第二步事件與雙側共享位置。在 1,547 個強合流位置中，203 個至少有兩種模板可共享完整第一步事件；1,402 個至少有兩種模板可共享完整第二步事件；其交集恰有 58 個雙側共享位置。這 58 個位置屬 AM、MA、MM 三模板合流：MA 與 MM 可共享最初的乘法事件，AM 與 MM 則共享最後的乘法事件。兩種共享發生在不同的歷史配對上，不能錯稱同一條歷史與另一條歷史從頭至尾完全相同。

本篇構造確定性的正向見證選擇法：對每個強合流位置取不同模板的兩條合法歷史，總共需要 3,094 條見證歷史，即可逐點證明「至少兩種模板存在」；若每個位置都要為觀察到的每一種模板提供一條見證，共需 3,152 條。這些紀錄僅占完整歷史數約 1.951%。必須強調，正向見證只能證明存在；若要證明某位置恰好只有所列模板，仍需封閉語法下的完備計數，不能以缺少其他紀錄推斷不存在。

本篇再證明，在固定輸入上限 $K$ 與五種模板下，所有強合流位置滿足 $m\le2K$ 、 $z\le2K^2$ ；上界 $z=2K^2$ 可由明確的 AM/MM 雙模板歷史達成。因而固定 $K$ 時，將結果觀察上限 $N$ 增大至 $2K^2$ 後，新的強合流位置不再增加。以 $K=40$ 為例， $N=1000$ 時是 1,547 個位置；增加至 $N=3200$ 時為 2,368 個，之後在此語法下飽和。這是有限語法的精確飽和結果，不是整數全域運算的普遍上限。

文章最後以 891 的兩個見證位置、三重交會的局部事件圖、進位制轉換，以及假合流負對照，提出一套可逆向核驗的塔樓觀察協定。其研究重點不在重新發明分配律、因數分解或算術電路，而在於為「數值、關係、事件、觀察投影」之間建立不混淆的、可驗證的資訊連結。

關鍵詞： 進位制塔樓、全域運算、局部雙側耦合、計算歷史、強合流、事件證書、正向見證、封閉世界、投影假合流、進位不變性、有限語法飽和。

1. 研究問題與必要的分層

1.1 為何單純「看見交會」還不夠

對不同的運算歷史 $H_1,H_2$ ，以下三種判斷逐漸變強，不能互換：

結果一致： $z(H_1)=z(H_2)$ 。
中間—結果一致： $(m(H_1),z(H_1))=(m(H_2),z(H_2))$ 。
運算事件一致： 兩條歷史不只共享數值，還真的共享某一步的運算種類、兩個有序輸入和輸出。

第七篇完整枚舉第二種交會；第八篇證明，若畫面只保留數量級或粗略的置中格子，則第一、二、三種差異可能被投影壓縮。本篇要回答更精確的問題：在不保存全部 161,582 條歷史於螢幕上的前提下，要提供什麼可檢查的運算來源，才能從塔樓格子返回合法數學關係？

1.2 「作用與反作用耦合」的最低形式化語義

本研究中的「作用」是具有明確輸入、運算符和輸出的事件；「反向約束」是由後續結果反查前面的合法運算歷史，而非必然具有時間可逆性。此處的「雙側」表示同一數值交會位置，分別具有前段共享與後段共享的運算見證。

這些用語不預設物理力學中的作用反作用定律，也不主張所有代數關係都是實在世界中的因果機制。

1.3 本篇不改變第七篇的研究世界

固定：

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

主實驗取 $N=1000$ 、 $K=40$ 。所有原始輸入 $a,b,c\in A_K$ ，最終結果 $1\le z\le N$ ；中間值 $m$ 必須是正整數，但允許 $m>N$ ，並且以真實整數識別。

沿用五類運算：

\begin{aligned} \mathrm{AM}:&\quad m=a+b,\quad z=m c;\\ \mathrm{MA}:&\quad m=ab,\quad z=m+c;\\ \mathrm{MS}:&\quad m=ab,\quad z=m-c;\\ \mathrm{MM}:&\quad m=ab,\quad z=mc;\\ \mathrm{MD}:&\quad m=ab,\quad z=m/c. \end{aligned}

其中 MS 要求 $m-c\ge1$ ，MD 必須精確整除，另外三類也須滿足 $1\le z\le N$ 。記一條帶方向歷史為：

H=(F,a,b,c,m,z).

若運算歷史的兩個輸入順序不同，原始紀錄仍視為不同，即使算術交換律使結果相等。下文提到的「模板來源數」都以此口徑計算。

2. 嚴格區分數值交會與事件共享

2.1 二步事件編碼

把歷史 $H$ 分解為兩個帶標記的有序事件：

E_0(H)=(o_0,a,b,m),

E_1(H)=(o_1,m,c,z).

其中 $o_0,o_1$ 為運算符。AM 的 $o_0=+$ ；其餘模板的 $o_0=\times$ 。對第二步，AM 與 MM 使用乘法，MA 使用加法，MS 使用減法，MD 使用精確除法。

注意： 數值 $m$ 相同，只能推出兩條歷史共享中間節點；要稱為共享事件，必須連同運算符、兩個輸入角色與輸出一起相同。只因畫面上的線交叉，不構成事件級證據。

2.2 定義：前段事件共享

固定一個位置 $(m,z)$ ，若存在兩種不同模板的合法歷史 $H_1,H_2$ ，使：

E_0(H_1)=E_0(H_2),

則稱此位置具有前段事件共享見證，記為 $U(m,z)=1$ 。否則為 $0$ 。

這是存在性定義，不要求所有到達該位置的歷史第一步都相同。兩種模板可以透過不同的後續運算到達相同結果。

2.3 定義：後段事件共享

若存在兩種不同模板歷史，滿足：

E_1(H_1)=E_1(H_2),

則稱此位置具有後段事件共享見證，記為 $D(m,z)=1$ 。

2.4 定義：局部雙側耦合

若同一位置滿足：

U(m,z)=D(m,z)=1,

就稱它為局部雙側事件耦合位置。

這不表示前段共享與後段共享必須由相同的一對歷史共同實現。研究的重點正是不同運算路徑可以藉由共享前段、共享後段的交錯配置，形成非單線性的局部關係結構。

3. 定理：共享事件的完整分類

3.1 定理 3.1：後段共享只能由 AM 與 MM 提供

在本篇五種模板中，若兩條不同模板歷史共享完整第二步事件，則其模板必為 AM 與 MM。

證明。 第二步的運算種類依次為：AM 使用乘法、MA 使用加法、MS 使用減法、MM 使用乘法、MD 使用除法。不同模板中僅 AM、MM 具有相同的第二步運算符。若兩者共用同一 $(m,z)$ 且各自存在合法歷史，則均有 $z=mc$ ；因 $m>0$ ，乘數 $c=z/m$ 唯一，故第二步事件完全相同。反之，其他兩模板的運算符不同，無法共享帶運算種類的事件。證畢。

推論。 在第七篇的分類下，所有 AM+MM 的雙模板位置以及 AM+MA+MM 的三模板位置均具有 $D=1$ ；總數為：

1344+58=1402.

3.2 定理 3.2：前段共享只可能來自具有相同乘法前綴的模板

在本篇已發生強合流的模板配置中， $U=1$ 恰在以下兩類位置成立：

AM+MA+MM 三模板位置：其中 MA、MM 的第一步都是同一個可選的 $a\times b=m$ 。
MS+MD 雙模板位置：其中 MS、MD 的第一步都是同一個可選的 $a\times b=m$ 。

證明。 AM 的第一步運算符為加法，其他四類為乘法，因此 AM 不可能與其他類共享第一步事件。第七篇已在本語法下完整分類強合流模板集合，只有 AM+MM、AM+MA+MM、MS+MD 三類。AM+MM 的兩種模板第一步運算種類不同，故不能共享。若 MA、MM 或 MS、MD 同處一個交會位置，均要求 $m=ab$ 且有至少一組合法因數來源；選擇同一組有序因數 $(a,b)$ ，便能在兩種模板下實現完全相同的第一步乘法事件。證畢。

因此：

\#\{U=1\}=58+145=203.

3.3 定理 3.3：雙側耦合位置恰為三模板交會

因為 $U$ 的成立來源是三模板位置或 MS+MD，而 $D$ 的成立來源是 AM+MM 或三模板位置，兩者交集恰為 AM+MA+MM 類型。

因此：

\#\{U=D=1\}=58.

在本篇的固定語法與主實驗中，全部 1,547 個強合流位置可分成三種互斥的局部結構：

結構	位置數	具有前段事件共享	具有後段事件共享
AM+MM	1,344	否	是
AM+MA+MM	58	是	是
MS+MD	145	是	否
合計	1,547	203	1,402

這是本篇最直接的關係方向分化。它不只是把兩條乘法寫成相同答案，而是明確指定共享的是哪一段運算事件。

3.4 具體例子：三條歷史在 $m=4,z=8$ 交會

(2+2)\times2=4\times2=8,

(2\times2)\times2=4\times2=8,

(2\times2)+4=4+4=8.

AM 和 MM 共享後段事件 $4\times2=8$ ；MM 和 MA 共享前段事件 $2\times2=4$ 。在同一個中心位置形成兩種不同來源的共享，符合 $U=D=1$ 。

局部雙側事件示意

圖 1。 圖中保留三個不同模板的兩步事件，避免把所有箭頭直接壓縮成一條 $4\to8$ 。這是事件共享的見證圖，而不是一般數值圖上的巧合交叉。

4. 正向運算見證與最小條目數

4.1 定義：強合流的正向見證證書

固定數值位置 $(m,z)$ 。一張正向見證證書至少提供兩筆完整合法歷史：

C(m,z)=\{H_F,H_G\},\qquad F\ne G,

並要求每筆都經過完整重算，且共同滿足：

\operatorname{mid}(H_F)=\operatorname{mid}(H_G)=m,

\operatorname{val}(H_F)=\operatorname{val}(H_G)=z.

若兩筆歷史合法、模板種類不同，就能證明該位置具有至少兩種模板的強合流。與純圖像的交會不同，證書可以不依賴畫面座標自行核驗。

4.2 定理 4.1：在「逐條完整歷史」見證格式下，兩筆是最小正向數量

一筆歷史只具有一個模板標記，無法單獨證明至少兩種不同模板存在；兩筆具有不同模板的完整歷史則足以證明。故在這種明確限定的記錄格式下，最少需要兩筆。

重要限制： 這不是任何可能數學證明或任何壓縮編碼的資訊理論最小位元數。若允許存放符號證明、計數公式或程式，可能使用不同的資料量；本定理只比較正向見證紀錄條數。

4.3 全域證書記錄數

本篇有 1,547 個強合流位置，每個位置選擇兩筆不同模板歷史，因此需：

2\times1547=3094

筆正向歷史。演算法以 $(a,b,c)$ 的字典序，為每個 $(F,m,z)$ 選擇一筆確定性的見證，確保不同機器能得到相同輸出。

若要為某位置的每個已存在模板種類都附上一筆見證，則 1,489 個雙模板位置需要兩筆，58 個三模板位置需要三筆：

1489\times2+58\times3=3152.

相對於全部 161,582 條歷史：

\frac{3152}{161582}\approx0.019507.

因此，在正向見證這個限定目的下，僅需約 1.951% 的原始歷史條目，就可以為全部強合流位置列出其已觀察到的各模板來源。

4.4 正向存在證明不等於完整性證明

兩條有效見證能證明「至少兩種」，卻不能證明「沒有第三種」。即使 58 個三模板位置各附上三條見證，也無法單靠見證的有限列舉排除第四、第五類來源。

要驗證「恰好有哪些模板」，必須使用明確的封閉語法和窮舉或獨立的完備公式。沿用第七篇的來源計數：

A_K(m)=\#\{(a,b)\in A_K^2:a+b=m\},

P_K(m)=\#\{(a,b)\in A_K^2:ab=m\}.

固定 $m,z$ 後，每個模板的完整歷史數為：

\begin{aligned} h_{AM}&=A_K(m)\mathbf1[z/m\in A_K],\\ h_{MA}&=P_K(m)\mathbf1[z-m\in A_K],\\ h_{MS}&=P_K(m)\mathbf1[m-z\in A_K],\\ h_{MM}&=P_K(m)\mathbf1[z/m\in A_K],\\ h_{MD}&=P_K(m)\mathbf1[m/z\in A_K]. \end{aligned}

其中符號 $x\in A_K$ 代表 $x$ 恰為範圍內的整數，不是浮點近似或截尾。程式對主實驗每個位置逐一以這套獨立來源公式核對全部五個模板，才能主張其家族集合已列全。

5. 位置數、模板配對數與歷史配對量不可混同

5.1 三種統計量

固定 $(m,z)$ 時，令存在的模板數為：

r(m,z)=\#\{F:h_F(m,z)>0\}.

至少有兩種模板的位置數為：

B=\sum_{m,z}\mathbf1[r(m,z)\ge2].

該位置的模板配對數為：

Q=\sum_{m,z}\binom{r(m,z)}2.

如果每一條原始輸入歷史也保留，則跨模板歷史配對總量為：

W=\sum_{m,z}\sum_{F<G}h_F(m,z)h_G(m,z).

$B,Q,W$ 分別回答三個不同的問題：有多少精確交會位置？有多少模板種類之間的交會？有多少對具體運算來源能在該位置配成一組？

5.2 第七、八篇數據的結構恆等式

主實驗有 38,506 個精確數值位置、40,111 個帶模板的入射位置，故多出：

40111-38506=1605.

其中 1,489 個強合流位置只有兩種模板、58 個具有三種模板。因此：

1489+58=1547,

1489\times1+58\times2=1605,

1489\times1+58\times3=1663.

這三條等式分別恢復強合流位置數、多出的一般模板入射以及全部模板配對數；其互相吻合，是驗證資料欄位未被混同的交叉檢查。

5.3 具體運算歷史配對：103,996 組

將全部來源多重度帶入 $W$ ，得到：

模板配對	精確位置數	跨模板歷史配對數
AM–MM	1,402	98,314
AM–MA	58	2,185
MA–MM	58	446
MD–MS	145	3,051
合計	1,663 個模板配對位置	103,996

請注意，103,996 不表示有 103,996 個不同的數值位置，更不是 103,996 項未知數論定理。這些配對大量來自同一 $(m,z)$ 的有序加法分拆、因數來源和輸入重排；其角色在於量化局部歷史來源的多重性。

5.4 局部高權重交會： $m=36,z=72$

這個三模板位置有：

A_{40}(36)=33,

P_{40}(36)=7.

因此 AM 有 33 筆、MA 有 7 筆、MM 有 7 筆來源，合計 47 條歷史。跨模板歷史配對數為：

33\times7+33\times7+7\times7=511.

三筆最小字典序見證分別是：

(2+34)\times2=72,

(2\times18)+36=72,

(2\times18)\times2=72.

第二、第三條共享第一步 $2\times18=36$ ；第一、第三條共享第二步 $36\times2=72$ 。因此這個高來源權重的位置，也是可核驗的雙側事件耦合，而不是僅因數字排列置中後才出現的對稱。

6. 從 891 回到「兩條乘法族」的研究起點

最初研究關係為：

n\times99=9\times(11n),\qquad1\le n\le9.

這是由 $99=9\times11$ 導出的既有代數恆等式。本篇不把它誤當成尚未被證明的新規律，而是將同一結果可由不同運算結構生成的問題接入可回溯的兩步事件模型。

在 $z=891$ ，至少有兩個跨模板強合流位置：

(2+25)\times33=27\times33=891,

(3\times9)\times33=27\times33=891;

以及：

(2+31)\times27=33\times27=891,

(3\times11)\times27=33\times27=891.

位置 $(27,891)$ 在 AM 模板有 24 條來源、在 MM 模板有 2 條，因此產生 $24\times2=48$ 組跨模板歷史配對； $(33,891)$ 則有 30 與 2 條來源，產生 60 組配對。合計為 108 組來源配對，但要證明這兩個位置各有跨模板交會，四條正向見證就足夠。

第九篇強合流位置

圖 2。 主實驗全部 1,547 個強合流位置的精確數值圖。圖示是索引和閱讀輔助，正式檢驗以 paper09_bridge_sites.csv 的 $m,z$ 和原始運算見證為準。

7. 置中視角、假合流與負對照

考慮兩條不同模板的合法歷史：

(29\times30)+21=870+21=891,

(30\times30)-9=900-9=891.

第一條的中間值是 870，第二條是 900；兩者結果都是 891。在十進位下，它們的中間值都落在 $[100,1000)$ 數量級樓層，結果也同層。即使先把結果 891 置中、再把中間值只按樓層放置，兩條路徑仍可能看似共用一個中間格子。

但是：

870\ne900.

因此它們沒有共享精確中間值，更談不上共享完整運算事件。本篇把這兩條歷史保留為負對照，驗證器明確拒絕由粗略樓層位置直接推論強合流。

另設故意竄改的見證，例如把第一條的末段加數從 21 換為 20，必須被逐步重算檢查拒絕。這項測試的意義是：證書依賴運算合法性，而不是一個任意標上的圖形連線。

8. 有限語法的巢狀性與結果上限飽和

8.1 定理 8.1：上限擴張不會移除既存強合流

固定五種運算模板，若：

K_1\le K_2,\qquad N_1\le N_2,

則：

\mathcal B(N_1,K_1)\subseteq\mathcal B(N_2,K_2),

其中 $\mathcal B(N,K)$ 表示在輸入上限 $K$ 、結果上限 $N$ 下的精確強合流位置集合。

證明。 任一在較小上限下合法的完整歷史，在放寬輸入與結果上限後仍合法，原先兩種不同模板的見證不會消失。因此所有既存強合流位置保留。證畢。

注意，此處是精確關係集合的包含；不同 $K,N$ 下的視覺密度、比率、相似度、中心排列及最佳圖像縮放，都不需要隨參數單調變化。

8.2 定理 8.2：所有強合流位置滿足 $z\le2K^2$

由第七篇的模板分類，強合流位置只能屬於 AM+MM、AM+MA+MM 或 MS+MD。

對前兩類，必有 AM 的第一步加法來源，因此 $m=a+b\le2K$ ；第二步乘法結果為 $z=mc$ ，其中 $c\le K$ ，故：

z\le2K^2.

對 MS+MD，第二步下降，因此 $z<m$ ；第七篇的精確條件亦給出 $m\le2K$ ，所以：

z<2K\le2K^2.

由此所有強合流位置滿足 $m\le2K$ 且 $z\le2K^2$ 。證畢。

8.3 定理 8.3：飽和結果上限 $2K^2$ 是可達的

對任意整數 $K\ge2$ ，選擇：

\begin{aligned} \mathrm{AM}:&\quad (K+K)\times K=2K^2,\\ \mathrm{MM}:&\quad (2\times K)\times K=2K^2. \end{aligned}

兩條歷史的每個原始運算元都在 $A_K$ ，共享同一中間值 $m=2K$ 、同一結果 $z=2K^2$ ，且模板不同。因此最大可能的強合流結果確實能達到 $2K^2$ 。

結合上界定理，得到：對固定的 $K$ 與本篇語法，若觀察上限：

N\ge2K^2,

則再增加 $N$ 不會帶來新的強合流位置；而 $N<2K^2$ 時仍無法包含那個明確的極端位置，所以 $2K^2$ 是精確、且對所有 $K\ge2$ 都銳利的飽和門檻。

這是固定有界語法下的數學事實。若增加運算類型、允許更長歷史、放寬原始輸入範圍或轉入其他數域，飽和門檻都可能改變或不再存在。

8.4 完整參數對照

輸入上限 $K$	結果上限 $N$	強合流位置	對應飽和上限 $2K^2$
12	1,000	183	288，已飽和
20	1,000	570	800，已飽和
40	500	982	3,200，未飽和
40	1,000	1,547	3,200，未飽和
40	1,500	1,914	3,200，未飽和
40	3,200	2,368	3,200，已飽和
50	1,000	1,879	5,000，未飽和
50	5,000	3,817	5,000，已飽和

參數擴張不等於發現新的數學定律：若改變實驗範圍，觀察到的強合流集合必然擴張，這是有限語法的結構和基本包含關係所致。值得研究的是擴張過程中的哪些局部事件類型保持、哪些開始出現新交會，並利用這種已知包含性作為圖形驗證的基準。

第九篇 K40 飽和曲線

圖 3。 固定 $K=40$ ，改變 $N$ 時的強合流位置數。圖上的理論界線是由模板代數直接證明的 $N=3200$ ，不是回歸擬合或對數值資料的任意猜測。

9. 跨進位制的見證可移植性

9.1 不改變原始整數時，歷史見證跨基底不變

取基底：

q\in\{2,3,5,8,10,12,16\}.

對每個整數值使用其標準 $q$ 進位字串表示，並且保留精確可還原的整數識別。這是一種無損數值編碼；任何 $(F,a,b,c,m,z)$ 的整數算術真值不會改變。因此，第九篇的正向見證在七個基底中均保持合法，1,547 個強合流位置、3,152 條模板覆蓋見證及 58 個局部雙側耦合位置都不會改變。

此處保持不變的是同一批數值和同一種語法，而不是固定「9、99」等字串然後更換其數值含義。如果改變進位制時也改變了字串對應的數值，就必須建立新的底層算術實驗，不能直接聲稱同一個整數事件保持不變。

9.2 數量級軌跡仍然改變

令：

\ell_q(n)=\lfloor\log_q n\rfloor,

並定義中間值到結果的樓層變化：

\Delta_q(m,z)=\ell_q(z)-\ell_q(m).

對同一批 1,547 個強合流位置，部分基底得到：

基底	上升	同層	下降	總數
2	1,402	0	145	1,547
3	1,387	36	124	1,547
10	1,328	131	88	1,547
16	1,160	296	91	1,547

即使同一張見證在所有基底下仍被驗證器接受，視覺上可能跨層、同層或下降。第八篇關注的是這種投影如何引入假合流；第九篇補上的是：每條線都必須能從畫面返回一筆可重算的原始運算見證，否則不能直接當成數學關係。

10. 實驗程式、原始資料與驗證協定

10.1 兩條獨立的計數途徑

核心程式 verify_paper09.py 同時執行：

直接歷史枚舉： 對所有 $a,b,c\in A_K$ 、五種模板逐筆執行兩步運算，記錄完整有序歷史。
來源分解計數： 先計算 $A_K(m)$ 、 $P_K(m)$ ，再對每個可用的第二步運算元重建所有 (模板, m, z) 來源多重度。

程式逐個 (m,z,F) 比較兩套資料；只要任一模板來源多重度不一致就直接報錯，而非只比對總數。此外另驗證符號上界、參數巢狀性、極端飽和見證、跨基底整數字串往返與故意失敗的反例。

10.2 主要檔案

verify_paper09.py：完整可重現枚舉、正向見證、反例與參數敏感度驗證。
make_figures.py：由已驗證 CSV/JSON 再生三組 PNG/SVG 圖表。
paper09_all_histories.csv：161,582 條原始六元組歷史。
paper09_bridge_sites.csv：1,547 個強合流位置、完整模板種類、來源配對權重及前後段共享標記。
paper09_positive_two_witnesses.csv：每個強合流位置兩條不同模板的正向見證，共 3,094 列。
paper09_full_family_certificates.csv：每個強合流位置所觀察到的每個模板一條正向見證，共 3,152 列。
paper09_891_certificates.csv：891 個案的兩個強合流位置及四條正向見證。
paper09_parameter_sensitivity.csv： $K\in\{12,20,40,50\}$ 下的多組 $N$ 對照。
paper09_stats.json：完整機器可讀統計、跨進位訊號、驗證狀態及主要高來源位置。
figures/：三張從精確資料生成的 PNG 圖及相同內容 SVG。
SHA256_MANIFEST.json：正式發行檔案的 SHA-256 校驗清單。

10.3 執行方式

只需 Python 3，驗證核心不需要第三方函式庫：

python verify_paper09.py

若已安裝 Matplotlib，可另外產生圖表：

python make_figures.py

正式輸出需在執行與驗證通過後，對每個檔案計算內容雜湊，最後再封裝 ZIP。數學內容的 canonical source 始終是 UTF-8 Markdown 原始檔，不以聊天視窗或渲染圖片代替。

11. 邊界與反例：哪些事情尚未得到證明

本研究至少具有以下六項明確限制。

不是全體實數。 本篇的數值資料僅包含有界正整數輸入與正整數結果，不代表任何實數都必然能在有限塔樓中得到可辨識的唯一運算軌跡。
不是全部演算法。 五種二步運算模板無法代表任意長度的計算、有迴圈的程式、分支、符號微積分或任意代數重寫。
不是信息理論的最短證明。 3,094 與 3,152 的最小性只限於「每個位置逐筆提供完整可檢驗歷史」這一種明定的正向見證格式。
不是由圖像產生數學真值。 樓層置中、線段相交或畫面密度可以影響可見性與混淆，但不能改變原始整數等式真假。
不是時間或物理的因果律。 前段與後段事件共享揭示的是有向計算依賴；若要討論物理作用反作用，還需要物理狀態、時間參數及可獨立驗證的動力學假設。
飽和上界依賴語法。 $2K^2$ 的精確飽和門檻只對本文選定的五類二步歷史成立；加入其他語法可能產生新的上界或完全不同的增長形態。

因此，這篇最可靠的貢獻是建立了可逐條重算的運算關係見證制度，並以完備枚舉檢查局部耦合類型，而不是以較華麗的可視化替代數學驗證。

12. 結論：從數值格子，到能夠證明連線的運算塔樓

第七篇把算術歷史展開為具有中間位置的多重關係網路；第八篇指出粗糙的進位塔樓投影會混淆許多不存在精確共同數值的歷史。第九篇則建立了一個重要的補足：真正的連線應當具有可以驗算的事件見證，而不只是圖像上的相遇。

在和第七、八篇完全相同的 161,582 條兩步歷史中，本篇確認 1,547 個強合流位置、1,402 個後段事件共享位置、203 個前段事件共享位置，以及 58 個同時具備兩類事件見證的局部雙側耦合位置。使用 3,094 條不同模板的正向見證，即可逐點證明強合流存在；若要對所有已出現模板各提供一筆，需 3,152 條見證。再配合獨立來源計數，就能同時處理存在性與封閉世界的排除要求。

更重要的是，我們找到了有限語法的精確飽和界線：固定 $K$ 時，全部強合流的結果必須位於 $z\le2K^2$ ，並且能達到上界。在 $K=40$ 的實驗中， $N=1000$ 的 1,547 個交會點並不是所有可能交會的終點；增至 $N=3200$ 後，飽和為 2,368 個。這提醒我們，任何「全域」都必須先清楚說明它究竟是對哪個有限世界而言。

本篇的核心結語：一條能被看見的關係線，未必是真實的數學耦合；一條能從數值、事件與歷史逐層重建的關係線，才具有可驗證的資訊內容。

系列引用與研究脈絡

EveMissLab，《進位制塔樓與全域運算關係幾何（第一至第六篇）》，2026-11-03 至 2026-11-04。關聯：數值域、作用與反向約束、位值觀察、置中、內外部路徑與補償對偶。
EveMissLab，《進位制塔樓與全域運算關係幾何（第七篇）：跨演算法數值合流、共享中間節點、算術入射分解與塔樓觀察不變量》，2026-11-04。關聯：五種模板、1,547 個強合流位置、來源分解公式及其有限定理。
EveMissLab，《進位制塔樓與全域運算關係幾何（第八篇）：進位觀察投影的假合流、精確結果置中、跨演算法配對負載與可驗證資訊恢復》，2026-11-05。關聯：畫面投影會產生假合流；精確識別與真實算術見證不能被畫面格子取代。
Baader, F. and Nipkow, T. Term Rewriting and All That. Cambridge University Press, 1998。用於術語分界：本文的有限數值交會不自動等於一般項重寫系統的 Church–Rosser 合流。
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 IX (v0.1).

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

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

局部雙側事件耦合、最小正向運算見證與有界語法的全域飽和

摘要

1. 研究問題與必要的分層

1.1 為何單純「看見交會」還不夠

1.2 「作用與反作用耦合」的最低形式化語義

1.3 本篇不改變第七篇的研究世界

2. 嚴格區分數值交會與事件共享

2.1 二步事件編碼

2.2 定義：前段事件共享

2.3 定義：後段事件共享

2.4 定義：局部雙側耦合

3. 定理：共享事件的完整分類

3.1 定理 3.1：後段共享只能由 AM 與 MM 提供

3.2 定理 3.2：前段共享只可能來自具有相同乘法前綴的模板

3.3 定理 3.3：雙側耦合位置恰為三模板交會

3.4 具體例子：三條歷史在 m=4,z=8m=4,z=8m=4,z=8 交會

4. 正向運算見證與最小條目數

4.1 定義：強合流的正向見證證書

4.2 定理 4.1：在「逐條完整歷史」見證格式下，兩筆是最小正向數量

4.3 全域證書記錄數

4.4 正向存在證明不等於完整性證明

5. 位置數、模板配對數與歷史配對量不可混同

5.1 三種統計量

5.2 第七、八篇數據的結構恆等式

5.3 具體運算歷史配對：103,996 組

5.4 局部高權重交會： m=36,z=72m=36,z=72m=36,z=72

6. 從 891 回到「兩條乘法族」的研究起點

7. 置中視角、假合流與負對照

8. 有限語法的巢狀性與結果上限飽和

8.1 定理 8.1：上限擴張不會移除既存強合流

8.2 定理 8.2：所有強合流位置滿足 z≤2K2z\le2K^2z≤2K2

8.3 定理 8.3：飽和結果上限 2K22K^22K2 是可達的

8.4 完整參數對照

9. 跨進位制的見證可移植性

9.1 不改變原始整數時，歷史見證跨基底不變

9.2 數量級軌跡仍然改變

10. 實驗程式、原始資料與驗證協定

10.1 兩條獨立的計數途徑

10.2 主要檔案

10.3 執行方式

11. 邊界與反例：哪些事情尚未得到證明

12. 結論：從數值格子，到能夠證明連線的運算塔樓

系列引用與研究脈絡

3.4 具體例子：三條歷史在 $m=4,z=8$ 交會

5.4 局部高權重交會： $m=36,z=72$

8.2 定理 8.2：所有強合流位置滿足 $z\le2K^2$

8.3 定理 8.3：飽和結果上限 $2K^2$ 是可達的