進位制塔樓與全域運算關係幾何(第十三篇)
三階段部分耦合格序、局部作用逆向性、八重閉合回返與整體歷史可逆的邊界
英文題名: Radix Towers and Global Operational Relation Geometry XIII: Graded Partial Coupling, Reciprocal Operational Edges, Eightfold Return Cycles, and the Boundary of Global Trace Reversibility
版本: v0.1(有限整數域精確定理、完整分類及可重現驗證)
日期: 2026-11-05
研究系列: EveMissLab/進位制塔樓與全域運算關係幾何
研究構想: Neo.K;形式化、計數與可重現驗證:AI 協作
直接承接: 第九篇(事件共享證書)、第十一篇(三步動態中間態)、第十二篇(三階段八重耦合)
正式原始碼: UTF-8 Markdown;所有數學內容僅採用 $...$ 及 $$...$$ 作為 canonical LaTeX delimiters
證據定位: 有界算術語法的定理與窮舉;不主張普適實數定理、物理作用反作用定律或未經驗證的數論發現。
作者: Neo.K;形式化、計數與可重現驗證:AI 協作
機構: EveMissLab/一言諾科技有限公司
摘要
第十二篇在完整保留三階段精確數值 後,證明了各階段合法運算標籤集合的笛卡兒積因子化,並在輸入上限 、結果上限 的有限整數域中,取得 個精確三元位置,其中 個同時支援八種三階段模板。若只研究全部三階段皆具有雙運算作用的情形,容易忽略更大量的部分耦合、外部過程與反向不對稱。本篇因此提出三位元耦合簽名及其格序表示,把每個位置分成零、一、二、三階段具有雙操作的四個等級,並研究相鄰數值作用的逆向重建與整條三階段歷史的可逆條件。
文章首先證明,若一個精確三元位置至少有兩個階段支援雙操作,其前兩個中間數值必在 中;然而最後結果不一定受同一上界限制。若第三階段亦為雙操作,才可進一步得到 。在 的完整枚舉裡,第二級耦合共有 個位置,第三級有 個;其中 個第二級位置最終結果超過 ,而任何第二級以上的位置都不會含有超出 的中間值。這使「局部緊湊核心」與「全域結果展開」獲得可證的分界。
其次,文章建立雙操作數值邊的反向定理:同一條上升數值邊若可由加法與乘法分別成立,反向邊即必可由減法與精確除法分別成立,反之亦然。這種反向性屬於精確算術約束,不需要把運算歷史擬人化或物理化。對完整八重三元位置 ,反轉兩條數值邊永遠合法;但反轉後若要再次成為完整八重三階段歷史,還必須要求反轉後的第一階段能以加法與乘法同時生成原本的終點 。對 ,這個額外條件等價於 為合數。
本篇對全部 個八重三元位置逐一檢查,得到 個可完整反轉、 個僅具有局部逆向邊而無法完整反轉。其中 個的原終點恰分為 個到達 的位置及 個到達質數的位置。可完整反轉的位置再分為 個固定於反轉操作下的閉合回返與 組兩兩交換的非平凡反轉軌道,共 個反轉軌道。
最後,本文證明一個跨篇的精確一一對應:在 且沿用第九篇五種二步模板時,第九篇的「跨模板共享第一步完整事件」位置 ,恰與本篇的完整八重閉合回返 一一對應。對 ,兩份獨立生成的原始資料集合逐筆相符,皆為 個,其中先上升再下降 個,先下降再上升 個。這項結果把先前的「事件共享」與本篇的「可逆回返」連在同一個嚴格算術結構上,而不只是兩次統計碰巧取得相同數字。
本文同時比較七種進位基底下部分耦合與完整八重耦合的樓層軌跡。所有精確算術事件、耦合簽名與反轉可行性保持不變;但由位值數量級投影所形成的同層、升層與降層圖像可以改變。此處不把樓層差誤作逐位數位進位,也不把有限語法特有的質合數門檻外推到任意算法。
關鍵詞: 全域運算關係幾何、進位制塔樓、三階段耦合簽名、Boolean 格序、部分對偶、精確算術見證、數值邊可逆、歷史前綴、合數門檻、閉合回返、運算反轉、跨進位表示不變性。
1. 研究對象:為什麼要把八重耦合再拆開
第十二篇證明:對給定的精確三階段數值位置,合法的運算模板集合最多包含八種不同的三字母模板。但「八重」是一個最強條件,不等於所有非平凡關係的總稱。例如,一條歷史可以在第一與第二階段各有兩種合法算法,在第三階段只剩一種;這樣的歷史既不是普通的唯一計算,也不是八重結構。
為了研究原始塔樓構想中強調的「作用、反向作用、跨層遷移與中間過程」,至少需要區分三種命題:
- 某個數值轉移是否具有不止一種合法算術作用;
- 多個階段的雙重作用是否能以完全相同的精確中間數值串接;
- 一條局部可以反轉的作用線,反過來是否仍構成原先定義的完整生成歷史。
前兩題是局部與分層耦合問題;第三題是生成來源是否能夠逆向補足的問題。本篇的主要變更是增加三位元耦合簽名與反向門檻,不修改第十二篇的底層正整數運算語法。
2. 不變的有限語法與精確資料格式
2.1 輸入與結果
固定:
主實驗為 、 。四個原始輸入 。三階段依序為:
第一階段 ;第二、三階段 。其中 為加法, 為結果正值的減法, 為乘法, 為結果為整數的精確除法。中間數值 可超出 ,但 ,而最終結果須有 。
同時記錄原始運算歷史 和精確三元數值位置 。這兩種資料不可互換:前者能驗證每一步真實存在,後者適合比較不同來源是否在同一精確位置交會。
2.2 第一階段與後兩階段的可用作用集合
沿用第十二篇定義:
當 為合法位置時,三個集合均非空。固定正整數數值後,各集合最大大小都是 。其合法運算模板種類精確滿足:
這裡的笛卡兒積表示運算標籤可在固定精確數值下獨立選擇,並不表示實際有序輸入歷史只有這些種類那麼多;第一步可以具有多筆不同的有序因數來源。
3. 三位元耦合簽名及其格序
3.1 定義:每個階段是否具有兩種運算
對合法精確位置 ,定義:
稱:
為三階段耦合簽名;稱:
為耦合等級。
- 等級 :每個階段只有一種合法運算標籤;
- 等級 :只有一個階段可以選兩種標籤;
- 等級 :兩個階段具有雙重標籤;
- 等級 :三個階段均有雙重標籤,即第十二篇的八重耦合。
3.2 命題 3.1:每個精確位置的模板數
對任何合法 :
證明。 第十二篇的因子化定理表示模板數是三個階段可用運算數量的乘積。每個因子必為 或 ,其中恰有 個因子為 ,所以乘積為 。證畢。
這個結果將三階段模板數精確分成 四種,但並不宣稱原始歷史多重度僅能取這四個數。
3.3 定義:簽名格序與認識上的限制
對兩個簽名 ,定義逐位包含關係:
它們形成三維 Boolean 格序,分別具有 個等級 的簽名類型。
必須注意,格序是運算支援類型之間的包含關係,不是同一個精確數值位置一定可以沿格序自由移動,更不是物理空間中的八個幾何頂點。若從語法中刪除某種作用,合法標籤集合只可能縮小;尚合法的位置之簽名只能逐位保持或由 降為 ,而不會無中生有升高。若刪除令某階段無合法標籤,該位置將整體失效,並非必然降到等級 。

圖 1。 每個節點表示一種耦合簽名與實測位置數。連線是簽名類型的單位包含關係,不能當成新的數值運算事件。
4. 全部 1–1000 精確三元位置的耦合等級
4.1 完整枚舉結果
沿用 ,取得:
| 簽名 | 耦合等級 | 運算模板種類 | 精確三元位置數 |
|---|---|---|---|
000 |
0 | 1 | 3,012,380 |
100 |
1 | 2 | 476,781 |
010 |
1 | 2 | 2,515 |
001 |
1 | 2 | 12,055 |
110 |
2 | 4 | 13,447 |
101 |
2 | 4 | 10,375 |
011 |
2 | 4 | 485 |
111 |
3 | 8 | 2,488 |
| 總計 | 3,530,526 |
依等級合併:
| 等級 | 精確位置數 |
|---|---|
| 3,012,380 | |
| 491,351 | |
| 24,307 | |
| 2,488 |
第一組統計是簽名分解,第二組是等級聚合。兩者都完整包含指定語法下的合法三元位置,但沒有把同一三元位置的多筆原始輸入歷史算成多個位置。
4.2 與第十二篇的直接資料一致性
本篇使用獨立程式重新枚舉來源與轉移,得到加權有序三步歷史總量:
以及第十二篇相同的 個八重三元位置。重跑後逐筆比較第十二篇保留下來的八重位置 CSV,並逐類別比較八種簽名的精確位置數;兩種核對均通過。
因此上述結構不是因為本篇悄悄更換了輸入上限、合法除法條件或中間狀態的定義才出現。
5. 部分耦合的緊湊核心定理
5.1 引理 5.1:雙作用數值邊的兩端界線
假定 。則:
證明。 若 ,唯有加法與乘法可能同時成立,故存在整數 ,使:
因此 ,且 。若 ,唯有減法與精確除法同時成立,交換 後可套用相同推理。證畢。
這是一條精確數值界線,與所使用的進位基底無關。
5.2 定理 5.2:至少兩個階段雙作用時,前兩個中間值必在緊湊核心
若 ,則:
證明。 可能的等級 簽名只有三種。
若簽名為 110,第二階段 為雙作用邊,故由引理得 。
若簽名為 101,第一階段雙生成保證 可以寫成兩個不超過 的整數之和,故 ;第三階段 為雙作用邊,由引理得 。
若簽名為 011,第二階段本身是雙作用邊,再由引理得 。
對等級 的 111,同樣具有第二階段雙作用,結論成立。證畢。
5.3 推論:三種部分耦合的最終結果上界不同
對 101 與 011,第三階段也是雙作用邊,由引理直接得到:
對 110,第三階段不一定雙作用。其輸入 ,最終結果若來自加法、減法、乘法、精確除法之一,則:
因此只有簽名 110 可能在等級至少 的同時,把最終結果送出 緊湊核心。
例如當 :
第一階段 可以由 或 生成;第二階段 可以選 或 ;第三階段由 完成,且沒有其他合法加減除操作能產生同一個 。故它是 110 的四模板位置,而非 111。
全域枚舉恰有 4,544 個 110 位置滿足 ;另外兩種等級 簽名與全部等級 均沒有此類情況。
5.4 塔外中間值與耦合等級的關係
主實驗 。定理 5.2 保證,所有 的位置都不可能有 或 。實際枚舉中,帶有塔外中間值的位置僅見於:
| 簽名 | 具有 或 的位置數 |
|---|---|
000 |
203,378 |
100 |
8,132 |
001 |
896 |
| 其他五種簽名 | 0 |
這不表示塔外過程沒有數學關係。它表示在本篇要求的雙操作階段數量下,塔外過程不具備足夠的多階段選擇。
例如:
可由第一階段 、第二階段 、第三階段 或 實現。它具有 001 簽名,且第一中間值超過 。
另一條:
可由 或 ,再以 、 完成。它具有 100 簽名,且第二中間值超出塔樓。
這兩個反例說明:塔外折返與多階段雙作用是不同的判準;不應以虛線存在與否來代替耦合等級。
6. 局部雙作用的逆向定理
6.1 定理 6.1:加/乘雙作用與減/除雙作用互為反向關係
對任意正整數 ,若:
則:
反向亦成立:若 ,則 。
證明。 由加法與乘法同時存在,必有 ,其中 。從 回到 可選 或 ,而兩者運算元仍屬 。反向由精確減法及除法代入同一關係即可。證畢。
這個定理沒有說「所有加法都可乘法表示」,而是說那些原本已經通過兩種運算合法性篩選的特殊數值邊,其反向邊必有兩種對應的逆操作。
6.2 帶標籤邊的反向映射
對上升數值邊,兩種操作為 ;其反向對應分別為 。因此可以在同一數值圖上保留:
這裡的雙向表示運算關係與逆向約束,不等同於物理世界的反作用力。不同的運算種類通常使用不同右操作元;只有數值輸入與輸出必然相同。
6.3 為什麼整條歷史不一定可反轉
三階段八重位置 包含:
- 由原始輸入合法地生成 的兩種方式;
- 的兩種合法作用;
- 的兩種合法作用。
若嘗試反轉數值路徑成:
定理 6.1 只保證後兩段的逆向作用合法,並不自動保證原終點 能成為反向歷史的新第一階段雙生成結果。因此局部邊可逆,不等於完整帶來源歷史可逆。
7. 合數門檻與完整八重歷史的反轉分類
7.1 引理 7.1:緊湊核心中的雙生成條件
對 :
證明。 若有乘法生成 ,其中 ,則 必為合數。
反過來若 是合數且 ,可選一組 ,其中 ;所以乘法生成合法。又任意 都可寫成兩個介於 與 的整數之和:當 時取 ;其餘情形取 。故加法生成亦合法。證畢。
此等價依賴輸入從 開始、第一步只允許 ,且限定 ;改變這些條件,合數判準未必保留。
7.2 定理 7.2:八重三元位置反轉為八重三元位置的充要條件
假設 是完整八重位置,且 。則:
證明。 由第十二篇界線,八重位置的 均不超過 ,因此反轉後終點 不超出 。原來兩條雙作用數值邊經定理 6.1 反向後仍各具兩種合法操作。反轉三元位置要成為八重位置,唯一尚待滿足的是新的第一階段 具有兩種生成方式。由引理 7.1,這恰好等價於 是合數。證畢。
例如 能完整反轉成 ,因 。但是 雖然有雙操作轉移 及 ,反向生成卻無法以兩個不小於 的輸入,將 同時表示為加法與乘法結果。
7.3 主實驗的精確分類
對 的全部 個八重位置,得到:
| 完整反轉狀態 | 精確位置數 |
|---|---|
| 原位置與反向位置皆八重 | 1,897 |
| 只有原位置是八重 | 591 |
| 總數 | 2,488 |
其中不能完整反轉的 個位置,依原終點分成:
| 原終點的算術類別 | 位置數 |
|---|---|
| 129 | |
| 為質數 | 462 |
| 合計 | 591 |
因此所謂「不可完整反轉」並不是局部算術邊不可反轉,而是反向歷史的第一階段生成條件失效;這個差異應直接保留在圖譜資料中。
7.4 完整反轉位置的軌道分解
在可完整反轉的子集合上,定義反轉作用:
它滿足:
因此每個反轉軌道的大小不是 就是 。反轉下保持不動的條件為 ,即精確閉合回返。全域枚舉得到:
- 個大小為 的固定軌道;
- 個大小為 的非平凡反轉軌道。
故可完整反轉的八重位置總數為:
而軌道數為:

圖 2。 圖中分別計數反轉固定位置、可反轉的非固定位置、以及無法滿足反向第一階段雙生成的單向位置。這裡的「單向」是本篇封閉語法中的完整歷史性質,不是說數值運算在一般代數上不可逆。
8. 八重閉合回返與第九篇事件共享的精確對應
8.1 定義:完整三階段閉合回返
若八重位置滿足:
就稱其為完整八重閉合回返。前段可以先生成 ,再透過兩種合法作用到達 ,最後透過兩種逆向作用回到同一個 。
最小直觀例子為:
具體作用見證包括:
- 初始生成: 或 ;
- 由 上升到 : 或 ;
- 由 回返到 : 或 。
三階段各具有兩種可選運算,因而出現八種合法模板。這八種是帶標籤的演算法選擇,不是八個不同的數值位置。

8.2 定理 8.1:閉合回返可由第一階段與一條雙作用邊完整刻畫
對 , 是完整八重閉合回返,當且僅當:
證明。 若 是八重位置,則上述兩個條件立即成立。反之,若第一階段能雙生成且 是雙作用邊,定理 6.1 使 自動也是雙作用邊;又 ,所以回返結果合法,整條三元位置即為八重。證畢。
這個定理將三段獨立檢查縮成生成核心加一條數值雙作用邊,而不是僅以圖形閉合為證據。
8.3 定理 8.2:與第九篇共享前段事件位置的一一對應
沿用第九篇的五種二步模板 ,並令 表示在同一精確位置 ,存在兩種模板可以共享完整第一步事件。在 下:
證明。 第九篇在這五種模板中已證明,前段共享只可能出現在以下兩類跨模板合流。
其一, :同一個 具有加法和乘法的第一步生成,且 同時可以用加法與乘法。故 且 。
其二, :同一個 由相同的乘法第一步生成,而後續 同時可由減法及精確除法實現。這保證 是合數,且由引理 5.1 得 ;由引理 7.1, 也有合法加法生成,故 。兩類情況均符合定理 8.1,因此生成八重回返 。
反過來,若 是八重回返,第一階段可由加法及乘法生成,而 是雙作用邊。若 ,可取 、 、 三類二步來源,其中 與 可以共享第一步乘法事件;若 ,則可取 、 共享第一步乘法事件。故第九篇的 成立。證畢。
8.4 跨篇原始資料的逐筆驗證
不是只比較總數:本篇從第一階段及雙作用轉移獨立生成全部 ,再與第九篇 paper09_bridge_sites.csv 中 first_step_shared=1 的全部 逐筆比較。
兩套集合完全一致:
| 對應類型 | 精確位置數 |
|---|---|
| 先上升、再沿逆邊下降 | 58 |
| 先下降、再沿逆邊上升 | 145 |
| 完整閉合回返 | 203 |
這個對應讓第九篇的「前段事件共享」獲得一種新的、但仍然完全精確算術的三階段閉合表示。它不是隨機數量吻合,更不依賴任何特定進位制下的視覺對齊。
9. 進位制塔樓視角:耦合與反向不變,樓層外觀可變
9.1 數值與表示兩層不可混同
對任意整數進位基底 ,令 為 的無損整數編碼,令數量級高度:
固定精確三元位置後,記兩段樓層差:
若我們只是將同一個整數以不同基底顯示, 的算術合法性、耦合簽名、 個閉合回返及 個完整逆向生成失敗位置都不會改變。
但樓層差 可以改變。這裡的樓層差並不是直式計算中逐位 carry 的數量;若要研究真正的 digit carry,需要另外保存每一步的數位運算資料。
9.2 七種基底的完整對照
對相同的 個等級 位置及 個等級 位置,計算「兩段轉移在該進位基底下都停留同一數量級樓層」的位置數:
| 進位基底 | 等級 :兩段都同層 | 等級 :兩段都同層 |
|---|---|---|
| 2 | 0 | 0 |
| 3 | 2,313 | 36 |
| 5 | 3,439 | 82 |
| 8 | 6,922 | 241 |
| 10 | 8,377 | 223 |
| 12 | 7,470 | 203 |
| 16 | 6,046 | 269 |

為什麼二進位是零? 對等級 或 ,至少有一條後兩階段的數值轉移是雙作用邊,而任意雙作用邊的兩端數值至少有兩倍的比值。故在二進位,它至少跨越一個數量級邊界;兩段不可能同時保持在同一樓層。
為什麼其他基底不單調? 不同基底的整數冪邊界位置不同。以 與 比較,這不是單純把畫面格子加寬或縮窄,而是重新劃分整個正整數數量級空間。因此各個基底的「同層」計數不需要隨 單調變化。
9.3 回返圖形的兩種外觀
例如 是完整八重閉合回返:第一階段 ,第二階段 可用 或 ,第三階段 可用 或 。
- 在二進位: 位於樓層 , 位於樓層 ,可看見「下降再上升」;
- 在十進位: 與 同處樓層 ,從樓層視圖看不見上下移動。
然而精確數值邊與八個運算模板並未改變。若只展示樓層,第二種外觀可能把本來存在的運算路徑壓縮成同層的一點,因此塔樓視角必須提供回查精確數值和運算事件的方式。
10. 反例、負對照及可推廣邊界
10.1 「局部雙作用可逆」不保證「完整八重歷史可逆」
是精確的八重三元位置: 可由加法或乘法生成, 是加/乘雙作用, 是減/除雙作用。儘管兩條數值轉移可逆,反轉後的第一階段 不可能由兩個至少為 的原始運算元生成,因此 不是八重位置。
10.2 「局部部分耦合」不要求答案始終在緊湊核心
是 110 的四模板位置,保留兩個階段的算術雙作用,但結果遠超過 。因此第十二篇對完整八重耦合的 上界,不得直接替換成所有部分耦合的共同結果上界。
10.3 「塔外折返」不保證多階段耦合
及 都是合法的外部中間狀態例子,分別具有 001 與 100 簽名。外部虛線和部分耦合可以並存,但外部節點本身不構成多階段雙作用證據。
10.4 「合數門檻」不是所有計算歷史的本體限制
本篇反轉條件中的質數與合數分類,來自明確的第一步輸入集合 、第一步只允許加法與乘法、以及整數精確性。如果允許起始常數直接讀取、允許原始輸入 、放寬第一階段運算,或引入負數與有理數,反轉判準可能立即改變。
因此 591 個單向八重位置只代表本篇封閉語法下缺少反向第一階段生成見證,絕非質數在一般運算網路中「本質上不可逆」的定理。
10.5 不把數值反向圖形誤作物理因果反作用
數學上的反向運算、約束重建、可執行歷史與物理時間反演是不同的概念。本文僅研究有向有限算術事件以及從結果反求合法算術來源的條件;不藉此主張牛頓第三定律、微觀時間反演對稱或任何未經建模的物理效應。
11. 可重現性協定與原始資料
11.1 原始枚舉與獨立驗證
本篇的 verify_paper13.py 以 Python 3 標準函式庫執行全部精確整數枚舉:首先生成 的有序加法與乘法來源,再產生每個 及 的合法標籤集合;每個精確三元位置只計一次,並保存模板多重度及耦合簽名。
程式內含以下獨立檢查:
- 三元位置與歷史加權重算: 重算全部 個位置及 條有序歷史;
- 獨立雙作用整除判準: 不依靠轉移資料表,直接從因數條件生成完整八重三元集合並逐筆比較;
- 小尺度完整輸入窮舉: 以 逐筆執行四個原始輸入與全部運算模板,比對每個簽名位置;
- 反向條件與反轉軌道: 對每個八重三元位置直接檢查雙作用逆向邊、第一階段生成門檻與軌道大小;
- 第九及第十二篇原始資料核對: 逐筆核對第十二篇的八重位置及全部八種簽名數,並將第九篇前段共享事件集合與本篇八重回返投影集合完整比對;
- 跨進位數量級: 用精確整數除法取得樓層,不依賴浮點近似判定任一進位邊界。
11.2 基本執行方式
在研究套件根目錄執行:
python verify_paper13.py --output . --reference reference
如已安裝 Matplotlib,可再生四張研究圖:
python make_figures.py
兩個程式不要求網路權限。主驗證只需 Python 標準函式庫;圖形檔不是原始數據的唯一來源。
11.3 正式發行資料
| 檔案 | 用途 |
|---|---|
EveMissLab_Radix_Tower_Global_Operational_Geometry_13_v0.1.md |
正式 UTF-8 canonical source |
verify_paper13.py |
重算、整除判準、跨篇資料核對及反例測試 |
make_figures.py |
PNG/SVG 圖表再生 |
data/paper13_grade_lattice.csv |
八種耦合簽名、等級與外部節點統計 |
data/paper13_full_eightfold_reverse.csv |
全部 2,488 個八重位置的反轉狀態 |
data/paper13_closed_return_cycles.csv |
203 個閉合回返的精確數值三元組 |
data/paper13_radix_grades.csv |
七種進位制下等級 的完整兩段樓層差分布 |
data/paper13_sensitivity.csv |
不同 的精確位置、等級及反轉比例 |
data/paper13_stats.json |
機器可讀的完整統計、驗證與主要反例 |
reference/ |
第九與第十二篇的必要原始對照 CSV 副本 |
figures/ |
四張可從精確資料再生的 PNG 與 SVG |
SHA256_MANIFEST.json |
正式發行檔案的內容雜湊與完整性紀錄 |
11.4 驗收與證據範圍
所有計數均限定於本篇的有限正整數語法。grade 是合法運算種類的等級,不代表概率、信息熵或自然因果強度。reversal 是把精確數值三元位置倒序後,重新檢查同一語法是否合法;不是程式執行時自動具有物理時間反向功能。radix profile 是觀察層的位階分布,不是數值本體發生轉換。
正式稿與資料需完成 UTF-8、唯一數學分隔符、程式重算、CSV/JSON 一致性、跨篇原始參照、SHA-256 與 ZIP 獨立解壓驗證後才標示為已提交。聊天畫面僅用來閱讀與討論,本 Markdown 原始檔才是研究文本的正式來源。
12. 結論:局部的可逆,不等於來源的可逆
第十三篇將前篇的三階段八重耦合拆解為八種二進位支援簽名,證明不同層級的部分耦合具有不同緊湊邊界與外部軌跡限制。這使多運算路徑的複雜性不必再被壓縮成「有沒有八條線」,而能依照哪個階段具有合法雙作用進行精確辨識。
更重要的是,本文把「作用與反向約束」分成兩層。局部層上,加/乘雙操作數值邊必然對應減/除雙操作逆向邊,這是一個對稱的整數算術關係;整體層上,若將三階段歷史倒序,原終點是否能充當新歷史的雙生成起點,則是另一個不能省略的條件。在本篇指定語法中,它恰好由合數判準控制,產生 個可完整反轉與 個單向八重位置。
最後, 個完整八重閉合回返與第九篇 個共享前段事件位置之間的精確一一對應,證明兩種起初不同的觀察方法實際描述了同一批局部算術關係,只是它們保存的歷史深度不同。這是一個可用獨立資料逐筆核對的同構式對應,而不是畫面中央出現線條交會便推定成立。
本篇的結論仍是有界運算系統內的嚴格數學事實與可驗證實驗,不是所有實數在任意計算語法中都具有這種反轉門檻的普遍斷言。
本篇核心結語:一條數值關係可以反向成立,不代表它的生成歷史也能逆向存在;關係的對稱,與來源的對稱,原來是兩個必須分開觀察的世界。
參考研究
- EveMissLab,《進位制塔樓與全域運算關係幾何(第九篇):局部雙側事件耦合、最小正向運算見證與有界語法的全域飽和》,2026-11-05。本文以其原始
paper09_bridge_sites.csv核對閉合回返的一一對應。 - EveMissLab,《進位制塔樓與全域運算關係幾何(第十一篇):非保守三步運算的動態中間態、跨深度合流與塔外折返的精確界線》,2026-11-05。
- EveMissLab,《進位制塔樓與全域運算關係幾何(第十二篇):三階段軌跡的八重運算對偶、精確中間態保留與語法擾動穩健性》,2026-11-05。本文以其完整八重三元位置與簽名分布原始 CSV 進行逐項比對。
- Baader, Franz and Tobias Nipkow, Term Rewriting and All That, Cambridge University Press, 1998。用於區分本篇有限算術路徑的逆向關係與一般項重寫合流的成熟概念。
- Shpilka, Amir and Amir Yehudayoff, “Arithmetic Circuits: A Survey of Recent Results and Open Questions,” Foundations and Trends in Theoretical Computer Science, 2010。作為既有算術電路與有向計算依賴圖的術語背景。
End of Paper XIII (v0.1).