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

## 未知數值路徑與運算標籤的聯合觀測碼、跨階段奇偶校驗及有限單錯恢復

**English title:** *Radix Towers and Global Operational Relation Geometry XXVII: Joint Observation Codes for Unknown Numeric Paths and Operator Labels, Cross-Stage Parity Checks, and Exact Single-Symbol Recovery*  
**版本：** v0.1（精確有限域定理、可重現枚舉、合成錯誤注入）  
**日期：** 2026-11-05  
**系列：** EveMissLab／進位制塔樓與全域運算關係幾何  
**研究構想：** Neo.K；數學形式化、程式實驗與驗收：AI 協作  
**直接承接：** 第二十五篇的未知路徑可觀測性、第二十六篇的中間值關係校驗、第十九及第二十二篇的操作進位指紋與錯誤距離  
**Canonical source：** 本 UTF-8、LF 換行 Markdown 檔。所有正式數學公式僅使用 ` $...$ ` 及 `$$...$$` 作為原始碼分隔符。  
**證據界線：** 本文限定於有限正整數雙作用圖、已知路徑起終點、長度為三的合法行走及明示的欄位錯誤模型。不宣稱已驗證真實設備歷史、全部 1–1000 算術歷史、任意實數或物理因果。

---

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

## 摘要

本系列前二十六篇逐步把最初的 $9\times99$ 關係族展開為數值路徑、運算事件、位值進位、關係圖、跨進位辨識與錯誤恢復的可檢驗資料層。第二十五篇證實，在特定有限圖上，進位塔樓的末位數字與數量級樓層能協助恢復未知中間數值；第二十六篇又以兩份跨階段模數關係校驗，將已知起終點的三步**數值路徑碼**之最小 Hamming 距離提升到 $3$。然而，同一條數值路徑上的每條雙作用邊仍有兩種合法的運算標籤。因此，**數值路徑可以被完整修復，不代表運算事件歷史也已被修復**。

本文把兩個問題聯合形式化。數值路徑一側，沿用第二十六篇的四個觀察欄位：第一中間數值的 $23$ 進位「樓層、末位」、第二中間數值的相同觀測，以及兩個模 $81$ 關係校驗。操作標籤一側，對三個運算選擇位元 $(b_0,b_1,b_2)$ 建立六位元二元線性碼，新增三個奇偶校驗 $b_0\oplus b_1$ 、 $b_0\oplus b_2$ 、 $b_1\oplus b_2$。此操作碼的最小距離恰為 $3$ ；而且依二元 Hamming 球打包下界，在**固定長度二元碼、八種不同操作歷史及一位元未知替換修復**的條件下，長度 $6$ 已經是最小可能值。

將兩個子碼併列，形成十位置的**端點條件聯合證書**。本文證明：同一端點下的任意兩份不同證書，其完整 Hamming 距離至少為 $3$，且此下界可達；因此任意一個已知通道配置中的未知位置欄位替換，都能在其餘條件成立時唯一恢復完整數值路徑與運算選擇。若一個欄位錯誤發生在路徑子碼、另一個發生在操作子碼，由於解碼分層獨立，這個更明確的分組錯誤預算也能恢復；不能由此推論任意兩個位置損壞都可修復。

主實驗完全沿用 $K=40$ 的 $80$ 節點、 $156$ 雙作用邊、 $30,342$ 條有向三步數值行走及 $3,481$ 組可到達起終點纖維。加上每條路徑的八種合法運算標籤，共有 **242,736** 條帶標籤歷史。同端點不同歷史的無序配對共有 **29,560,296** 組；透過精確路徑距離與操作碼距離的乘積分解，取得完整聯合距離譜。本文對全部歷史的每個十欄位置依序注入一次合成錯誤，共 **2,427,360** 筆，全部恢復原始聯合歷史；另外核對 **728,208** 次由每條數值邊的質數進位基底產生的操作見證。

本文同時給出兩個必要的負結果。第一，原始三個操作位元若沒有跨步校驗，聯合證書即使保留四個正確的路徑欄位，其最小距離仍只有 $1$，無法保證修復單一操作欄位錯誤。第二，當對抗者在六位元操作碼中同時修改兩個特定位置時，最近碼字解碼可能選中**另一條同樣合法的操作歷史**。即使形成另一份自洽聯合證書，也無法僅靠算術、進位或奇偶校驗證明這份紀錄就是過去真正執行的歷史。

本文的貢獻不是重新發明線性糾錯碼、Hamming 距離或算術運算圖，而是將它們接入具有**精確中間節點、進位視角、運算標籤、關係校驗與可重放見證**的有限塔樓，建立可逐欄反查的聯合資訊恢復模型。

**關鍵詞：** 進位制塔樓、全域運算關係、未知路徑、運算標籤、關係校驗、混合字母表觀測碼、二元線性碼、Hamming 距離、單錯修復、質數進位見證、來源可信性、有限域驗證。

---

## 1. 問題：路徑修復與操作修復不能混為一談

### 1.1 一條正確路徑仍有八種合法事件歷史

固定長度為三的精確數值行走：

$$
P=(v_0,v_1,v_2,v_3).
$$

在本系列雙作用圖的每一條有向邊上，同一個精確輸入與輸出可以由兩種合法操作實現：向上可用加法或乘法；向下可用減法或精確除法。令操作選擇字為：

$$
\epsilon=(b_0,b_1,b_2)\in\{0,1\}^3.
$$

則固定 $P$ 後，完整事件歷史仍有：

$$
2^3=8
$$

種可能。三個位元在原始語法中彼此獨立；若沒有可信的操作選擇觀測或紀錄，單靠正確的路徑節點不能決定它們。

例如路徑 $1\to4\to2\to4$ 的三條數值邊全部合法，而選擇字 `101` 代表：

$$
1\times4=4,\qquad4-2=2,\qquad2\times2=4.
$$

但只改變第一位元，第一步也能以 $1+3=4$ 合法完成，後面數值完全不變。這不是算術錯誤，而是**操作歷史不可由數值路徑唯一推回**。

### 1.2 本篇要同時恢復什麼

研究問題固定為：已知起點及終點，但可能不知道中間兩個數值，也可能不知道三個操作位元；一份可信生成、後來至多損壞一個欄位的觀測證書，能否唯一恢復**兩種資訊**？

這裡刻意區分：

1. 數值路徑存在性與唯一性；
2. 操作位元存在性與唯一性；
3. 觀測欄位受損時的糾錯能力；
4. 所稱觀測資料是否真的來自欲研究的歷史。

前三項在本文的有限模型中可以精確驗證；第四項需要額外的執行來源證據，本篇不能由自行模擬的資料證明。

---

## 2. 不變的有限算術圖與完整歷史集合

### 2.1 整數雙作用圖

沿用前篇語法：

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

對正整數 $x<y$，若存在 $r,d\in A_K$ 滿足：

$$
y=x+d=xr,
$$

就加入無向數值邊 $\{x,y\}$。往上時選擇加法或乘法；往下時選擇減法或精確除法。由 $d=x(r-1)\le K$，所有節點都位於 $[1,2K]$。

固定：

$$
K=40,\qquad|V_K|=80,\qquad|E_K|=156.
$$

這裡的 $80$ 節點是完整 $1$ 至 $1000$ 塔樓中的一個**明確受限雙作用子圖**。其結果不應被誤報為全部 $1$ 至 $1000$ 正整數單步或多步運算的完整證明。

### 2.2 起終點條件候選集合

對兩個可達端點 $(a,d)$，定義：

$$
\mathcal W_{a,d}=\{(a,b,c,d):\{a,b\},\{b,c\},\{c,d\}\in E_K\}.
$$

允許重走邊與回到之前的數值。完整歷史集合為：

$$
\mathcal H_{a,d}=\mathcal W_{a,d}\times\{0,1\}^3.
$$

因此：

$$
|\mathcal H_{a,d}|=8|\mathcal W_{a,d}|.
$$

注意這項乘積結構成立，是因為三個運算標籤對每條已知雙作用數值邊均獨立合法。若日後語法加入前後操作相依、記憶或分支約束，必須重新檢查乘積結構。

### 2.3 與第二十五、二十六篇逐筆相同的基準

| 精確資料物件 | 數量 |
|---|---:|
| 數值節點 | 80 |
| 無向雙作用邊 | 156 |
| 有向三步數值行走 | 30,342 |
| 可達有序起終點纖維 | 3,481 |
| 同端點不同數值路徑配對 | 448,605 |
| 每條路徑的操作標籤組合 | 8 |
| **帶標籤的三步完整歷史** | **242,736** |

本文的 `verify_paper27.py` 不引用前篇的運算函式來生成這些數據，而是從整除與差值條件重新建立圖，再和第二十五篇的全部 $30,342$ 筆原始行走逐筆比對。

---

## 3. 原始數值路徑碼：四個欄位

### 3.1 23 進位觀察

對正整數 $n$ 定義：

$$
O_{23}(n)=(\ell_{23}(n),n\bmod23),
$$

其中 $\ell_q(n)$ 是使 $q^j\le n<q^{j+1}$ 成立的整數 $j$。驗證器使用整數除法，不以浮點對數判定樓層。

對 $P=(a,b,c,d)$，保留第二十六篇的四欄路徑碼：

$$
C_P(P)=\big(O_{23}(b),O_{23}(c),
(b+c)\bmod81,(b+2c)\bmod81\big).
$$

其中兩份模 $81$ 關係校驗，分別讓兩個中間數值以不同係數出現在同一關係式中。這不是把某個觀察欄位原封不動複製兩次。

### 3.2 第一次有限域距離定理（承接第二十六篇）

在本篇相同 $G_{40}$ 、長度三及已知端點的模型中，對任何兩條不同的合法數值路徑 $P\ne P'$，有：

$$
d_H(C_P(P),C_P(P'))\ge3.
$$

而最小值確實等於 $3$。完整無序路徑配對的距離譜是：

| 路徑碼距離 | 不同路徑配對 |
|---:|---:|
| 3 | 161,522 |
| 4 | 287,083 |
| **總計** | **448,605** |

本文重新枚舉全部配對，並用另一條獨立檢查確認：**任意保留四欄中的兩欄，仍能在同一起終點纖維內唯一決定數值路徑**。這與四欄碼的最小距離至少為 $3$ 等價，因此不是只有總數與前篇碰巧相同。

### 3.3 模 81 關係值的可逆性

如果兩份校驗資料都完整，令：

$$
s_0=(b+c)\bmod81,\qquad s_1=(b+2c)\bmod81.
$$

則：

$$
c=(s_1-s_0)\bmod81,
$$

$$
b=(2s_0-s_1)\bmod81.
$$

因原始中間數值在 $1$ 至 $80$，其模 $81$ 代表唯一決定真實整數 $b,c$。但兩份校驗可能受損，故本文仍保留兩個進位塔樓階段觀測作為糾錯冗餘。

---

## 4. 新增操作標籤碼：三位元提升成六位元

### 4.1 從三個可選作用位元出發

固定一條合法的數值行走，令：

$$
\epsilon=(b_0,b_1,b_2)\in\mathbb F_2^3.
$$

若只把這三位元照原樣保存，任何一個操作位元都可能被單獨翻轉成另一條合法歷史，因此其二元碼字的最小距離只有 $1$，無法保證修復未知位置的位元替換。

### 4.2 定義跨階段奇偶校驗

令：

$$
p_{01}=b_0\oplus b_1,
\qquad p_{02}=b_0\oplus b_2,
\qquad p_{12}=b_1\oplus b_2.
$$

定義六欄操作碼：

$$
C_O(\epsilon)=(b_0,b_1,b_2,p_{01},p_{02},p_{12}).
$$

這是一個三維二元線性碼，其八個合法碼字如下：

| 原始操作位元 | 三個奇偶位元 | 完整六位元 |
|---|---|---|
| 000 | 000 | 000000 |
| 001 | 011 | 001011 |
| 010 | 101 | 010101 |
| 011 | 110 | 011110 |
| 100 | 110 | 100110 |
| 101 | 101 | 101101 |
| 110 | 011 | 110011 |
| 111 | 000 | 111000 |

![圖 1：六位元操作標籤碼](figures/paper27_operation_codebook.png)

### 4.3 定理 4.1：操作碼的距離恰為三

**定理。** 對任意兩個不同原始位元字 $\epsilon\ne\epsilon'$：

$$
d_H(C_O(\epsilon),C_O(\epsilon'))\in\{3,4\},
$$

因此最小距離為 $3$。

**證明。** 由線性性，只須檢查非零差向量 $\delta=\epsilon\oplus\epsilon'$。若 $\delta$ 的 Hamming 重量為 $1$，原始三欄恰有一欄不同，而與該欄相連的兩個奇偶校驗也不同，故碼距為 $3$。若重量為 $2$，原始欄有兩處不同，三個成對奇偶中恰有兩處不同，故碼距為 $4$。若重量為 $3$，原始欄全部不同，每個奇偶校驗都因兩個位元同時翻轉而保持不變，故距離為 $3$。沒有其他非零差向量。證畢。

八個原始字的 **28 組無序標籤配對**，恰分為：

| 標籤碼距離 | 無序配對 |
|---:|---:|
| 3 | 16 |
| 4 | 12 |
| **總計** | **28** |

### 4.4 定理 4.2：六位元是指定操作子問題的最短固定長度

要求以固定長度二元字串表示八種彼此不同的操作位元歷史，且最小距離至少為 $3$。設所需長度為 $n$。半徑為 $1$ 的 Hamming 球必須兩兩不相交，因此：

$$
8(1+n)\le2^n.
$$

當 $n=5$ 時，左側為 $48$ 、右側為 $32$，不成立；更短的編碼若存在，也能補零延伸至長度 $5$ 而保持距離，仍會矛盾。故 $n\ge6$。定理 4.1 的六位元碼已達到此界，因而它在此特定子問題下是**長度最小的固定二元單錯修復碼**。證畢。

**限制。** 這不是整份混合欄位聯合碼的全球位元最短證明。四個路徑欄位並不是二元位元，而是「樓層／末位」及模數值，不能不加編碼成本就與操作位元逐位比較。本篇的最小性只針對三位元操作子碼。

### 4.5 單錯的奇偶檢查定位

令接收六位元為 $(u_0,u_1,u_2,v_{01},v_{02},v_{12})$。定義校驗殘差：

$$
s_0=u_0\oplus u_1\oplus v_{01},
$$

$$
s_1=u_0\oplus u_2\oplus v_{02},
$$

$$
s_2=u_1\oplus u_2\oplus v_{12}.
$$

六個位元位置對應六種相異、非零的三位元殘差，因此任何一個位元翻轉都可定位並改正。驗證程式同時使用全部八個合法碼字的最近距離檢查，避免把殘差公式自身當作唯一的測試方法。

---

## 5. 十欄聯合證書與主定理

### 5.1 精確定義

對已知端點的合法歷史 $H=(P,\epsilon)$，定義：

$$
C_J(H)=\big(C_P(P),C_O(\epsilon)\big).
$$

共有十個觀測欄位：

1. 第一中間數值的 23 進位（樓層、末位）；
2. 第二中間數值的 23 進位（樓層、末位）；
3. 中間兩數之和模 81；
4. 第一中間值加第二中間值兩倍之和模 81；
5. 至 7. 三個操作標籤位元；
8. 至 10. 三個跨步奇偶校驗位元。

每個欄位視為一個原子故障位置；第 1、2 欄內部的二元組不拆成兩份互相獨立的故障通道。操作碼的六欄則各是一個位元。這是**混合字母表的十欄觀測碼**，並非等長十位元字串。

![圖 2：路徑與操作聯合觀測欄位](figures/paper27_joint_certificate_layout.png)

### 5.2 定理 5.1：聯合碼最小距離恰為三

**定理。** 固定可達的起點與終點，在全部合法的 $H=(P,\epsilon)$ 之間，聯合碼的最小 Hamming 距離為：

$$
d_{\min}(C_J)=3.
$$

**證明。** 若兩條歷史的數值路徑不同，前四個路徑欄位由第 3.2 節的完整枚舉保證距離至少為 $3$ ；其餘六欄的差異只能增加或保持此距離。若兩條歷史的數值路徑相同、但操作位元不同，前四欄距離為零，而第 4.3 節證明後六欄距離至少為 $3$。因此任意兩條不同歷史的聯合碼距至少為 $3$。

另一方面，選取任意一條合法數值路徑，只翻轉其中一個操作位元，便產生另一條合法歷史；由定理 4.1，兩者的六欄操作碼距為 $3$，前四欄相同。故聯合碼的最小距離不大於 $3$，上下界一致。證畢。

### 5.3 推論：可恢復一個未知位置的欄位替換

由經典 Hamming 距離判準，最小距離為 $3$ 的碼可以修復最多一個未知位置的欄位替換，也可以恢復最多兩個已知位置的欄位擦除；若多種錯誤同時發生，必須符合標準的總距離預算條件。本篇以具明確欄位語義的十欄碼實現此條件，而不是另行宣稱發明一般糾錯碼定理。

### 5.4 分層錯誤預算的額外性質

因 $C_J$ 是兩個各自最小距離至少為 $3$ 的子碼之串接，若**路徑四欄至多一欄出錯，且操作六欄至多一欄出錯**，即使合計兩欄受損，也可以分別修復後組回正確聯合歷史。

這項結果的保證條件比「任意兩欄」狹窄。若兩個損壞位置同時位於操作子碼，或同時位於路徑子碼，本文不能保證修復；後文提供明確對抗性反例。

---

## 6. 聯合碼的全部配對距離與精確計數

### 6.1 端點纖維中的全部候選歷史配對

令某個端點纖維具有 $n$ 條數值路徑，則其帶操作標記的合法歷史為 $8n$ 條，無序配對數為：

$$
\binom{8n}{2}.
$$

對全部 3,481 個纖維加總，得到：

$$
29{,}560{,}296
$$

組同端點、不同完整歷史的無序候選配對。

這個總數可以獨立分成兩類：同一路徑上不同操作位元配對的 $30,342\times28=849,576$ 組，以及不同路徑上的 $448,605\times64=28,710,720$ 組；兩者相加恰為上述總量。

### 6.2 兩個子碼的乘積距離分解

對不同路徑的一對數值碼字，固定其路徑距離為 $d$。所有八對八操作位元組合，對應的操作碼距離分布為：

| 操作碼距離 | 有序標籤配對數 |
|---:|---:|
| 0 | 8 |
| 3 | 32 |
| 4 | 24 |
| **總計** | **64** |

因此，聯合距離可以直接用：

$$
d_H(C_J(H),C_J(H'))=d_H(C_P(P),C_P(P'))+d_H(C_O(\epsilon),C_O(\epsilon'))
$$

逐類加總，而不必把兩千九百多萬組配對的完整十欄字串全部存入檔案。

### 6.3 完整有限距離譜

| 聯合碼距離 | 無序完整歷史配對數 |
|---:|---:|
| 3 | 1,777,648 |
| 4 | 2,660,768 |
| 6 | 5,168,704 |
| 7 | 13,063,184 |
| 8 | 6,889,992 |
| **總計** | **29,560,296** |

![圖 3：完整聯合碼距離譜](figures/paper27_joint_distance_spectrum.png)

本篇另在數個事先固定的端點纖維內，對 **845,068 組不同完整歷史**真正展開十欄資料逐對檢查距離；直接結果與上面的因子化公式一致。後者是整體精確計數，前者則是額外的直接枚舉對照。不能把「依公式算出全部配對距離譜」誤稱為「逐筆保存了全部配對的原始十欄碼字」。

---

## 7. 合成單錯實驗與獨立解碼

### 7.1 路徑解碼器

在已知端點纖維中，對每條路徑預先建立四種**刪除其中一欄、只保留其他三欄**的查找索引。由路徑碼最小距離至少為 $3$，只要有至多一欄被替換，至少有一個保留三欄的索引能唯一恢復原路徑；其他候選再以完整四欄 Hamming 距離檢查並排除。

這比只宣稱「某條數值路徑看起來很像」嚴格，因為所有候選必須同時屬於**同一端點纖維、合法數值圖及完整欄位約束**。

### 7.2 操作解碼器

對接收到的六欄操作位元，逐一比較全部八個合法碼字，只接受與某一合法碼字距離至多 $1$ 、且候選唯一的結果。這與第 4.5 節的奇偶殘差定位在單錯條件下等價。

### 7.3 完整歷史與逐欄錯誤注入

全部 $30,342$ 條合法數值路徑各搭配八種操作位元字，形成 $242,736$ 筆合法聯合證書。對每筆證書的十個欄位，各注入一筆明確改變該欄的合成替換，再分層解碼並要求路徑及操作字**同時**完全恢復。

測試總量為：

$$
242{,}736\times10=2{,}427{,}360.
$$

全部測試通過。這些是**確切的程式枚舉**，並不是在真實感測器上測得的失效率。第 3 節的路徑碼來源、第 4 節的操作碼、十欄聯合解碼還各自經過獨立的一致性檢查。

### 7.4 以 1 → 4 → 2 → 4 為例

選定：

$$
P=(1,4,2,4),\qquad\epsilon=(1,0,1).
$$

兩個中間數值為 $4,2$，因此：

$$
O_{23}(4)=(0,4),\quad O_{23}(2)=(0,2),
$$

$$
(4+2)\bmod81=6,\qquad(4+2\times2)\bmod81=8.
$$

操作標籤字 `101` 的三個奇偶位元為 `101`，完整十欄證書是：

```text
[(0,4), (0,2), 6, 8 | 1, 0, 1, 1, 0, 1]
```

這裡的垂直線只是供閱讀的四欄／六欄分界，不是另外一個觀測欄位。附帶的 `paper27_synthetic_joint_certificate.json` 分別故意改壞一個路徑欄位與一個操作欄位，兩種情況都能修復至同一個原始聯合歷史。

---

## 8. 進位制辨識來源與聯合證書的角色不同

### 8.1 第十九篇的質數錨點可以觀察操作差異

對合法無向雙作用邊 $x<y=x+d=xr$，取 $r$ 的任一質因數 $p$ 作為觀察基底。第十九篇已證明，在此基底下，標準加法 $x+d$ 和卷積乘法 $xr$ 的完整進位向量必然不同。

本文獨立重新產生每條邊的最小質因數錨點，對 $156$ 條邊全部驗證標準加法與乘法的完整逐位指紋不同，再對 $242,736$ 條帶標籤歷史的三個步驟共檢查：

$$
242{,}736\times3=728{,}208
$$

筆帶方向的**合成算術操作見證**。

對向下的減法及除法，沿用第十九篇的逆向加法與逆乘法一致性見證；這**不是**在聲稱記錄了某種真實長除法的內部暫存器或進位。

### 8.2 未知路徑時，不能偷用已知邊來事先挑基底

若一開始連第一、第二中間值都不知道，就不能先假裝知道每一步的乘法比 $r$，再根據其質因數選取唯一最適合的觀察基底。這會形成**觀察策略依賴待恢復答案**的循環推理。

因此本篇把兩種部署模式嚴格分開：

1. **直接取得操作標籤的紀錄模式：** 操作欄位及其冗餘奇偶位元由指定執行管道保存；若要主張獨立故障能力，需另外保證紀錄管道的獨立性。
2. **進位指紋驗證模式：** 若原始操作標籤未知，必須先有可信的每步進位觀測。可以事前觀察包含全部可能質數錨點的基底集合，之後才依恢復的精確路徑選定能區分兩種操作的指紋；或者有明確的可信重播介面。

若沒有上述任何一種觀測，只憑合法路徑仍無法推斷「實際」採用了哪個位元字。

### 8.3 原始 9×99 的位置

最初的：

$$
9\times99=9\times(9\times11)=(9\times9)\times11=891
$$

仍是多路徑同終點的清楚例子，但 $891>80$，所以**不屬於**本篇 $K=40$ 雙作用受限子圖的 $242,736$ 筆統計。本系列的研究連續性來自「保留中間數值與運算身分」這個問題，而不是將所有舊算式強行納入同一個有限樣本。

---

## 9. 必須接受的負結果：兩欄竄改與一致偽造

### 9.1 兩個錯誤可以讓最近碼字選錯歷史

在第 7.4 節的 `101` 操作字中，只翻轉第一個原始操作位元得到 `001`，兩個合法六位元碼字恰有三處差異。若對抗者把原碼字的其中兩個差異位置改成 `001` 的對應值，接收字串就距離原碼字 $2$ 、距離另一個合法碼字 $1$。

最近碼字解碼器因此可能恢復另一條**同路徑、但操作選擇不同**的合法歷史。這不違反定理 5.1，因為此例損壞了兩個同一子碼欄位，超出了單一未知替換的保證。

### 9.2 一份完全自洽的偽造也可能通過重算

若三個原始操作位元與全部奇偶校驗欄位都被共同改寫成另一個合法碼字，再用對應操作生成一致的進位見證，算術與碼字檢查仍可全部通過。此時檢查器只能說「這是一份自洽的候選運算證書」，不能因此證明它就是某個過去設備真正執行的歷史。

如欲證明事後改寫，仍需具有可信預先承諾的摘要、獨立採集紀錄、簽章或其他外部來源依據。這銜接第二十四篇的歷史證據界線；單獨加上更多數學等式不會憑空創造外部證據。

### 9.3 多份奇偶欄位不能直接視為獨立來源

三個奇偶位元都由原始操作位元計算。如果四組資料最終只由同一個程式、同一份日誌和同一個可同時遭竄改的儲存來源生成，就不能把這些欄位的 Hamming 距離，直接宣稱為真實設備對共同來源故障的耐受度。

本文的數學保證只假設**在已正確生成的聯合碼字上，最多指定欄位數受到任意替換**。要將它翻譯成工程上的故障來源保證，必須另設來源域及其相依故障模型。

---

## 10. 可重現資料與跨篇驗證

### 10.1 完整資料集及獨立計數方法

正式程式 `verify_paper27.py`：

1. 由精確整數乘法比與加法差重新生成 $G_{40}$ 的所有邊。
2. 逐筆重新枚舉有向三步數值行走，與第二十五篇原始 `paper25_all_walks.csv` 完全比對。
3. 逐端點纖維重算四欄數值路徑碼之距離，與第二十六篇距離譜逐項比對。
4. 另用任意保留兩欄投影的單射性，獨立檢查路徑碼最小距離至少為三。
5. 對全部八個操作碼字直接檢查其非零差向量、距離分布及六種相異單錯殘差。
6. 以路徑距離與操作距離的乘積式計算完整聯合距離譜；在指定端點纖維對十欄聯合字串直接比較核對。
7. 對所有合法歷史的十個位置實施單欄錯誤注入，要求兩層解碼器均恢復正確歷史。
8. 逐邊重新計算一個質因數進位基底的加乘指紋差異，並重算全部三步操作見證。
9. 建立合成證書與兩錯反例，驗證可修復範圍及超出範圍的錯誤解碼風險。

此處的完整距離譜使用**數學上已驗證的乘積分解與精確計數**，不冒稱實際逐組列存了所有 $29,560,296$ 對十欄證書。全部數據採 Python 任意精度整數，不使用浮點近似判斷合法算術或模數等式。

### 10.2 正式套件內容

| 檔案 | 內容 |
|---|---|
| `EveMissLab_Radix_Tower_Global_Operational_Geometry_27_v0.1.md` | 本篇 UTF-8 Markdown 正式原稿 |
| `verify_paper27.py` | 算術、聯合碼、全域距離與錯誤注入驗證 |
| `verify_certificate_paper27.py` | 合成聯合證書的逐事件重算與故意竄改拒絕 |
| `make_figures.py` | 三組 PNG/SVG 閱讀圖的資料再生 |
| `validate_paper27.py` | 原稿、資料一致性、圖檔與 SHA-256 清單檢查 |
| `release_paper27.py` | 正式 manifest 與整合 ZIP 建立 |
| `data/paper27_path_codes.csv` | 全部 30,342 條路徑的四欄碼 |
| `data/paper27_operation_codes.csv` | 全部 242,736 條帶標籤歷史的六位元碼 |
| `data/paper27_endpoint_fibers.csv` | 3,481 個起終點纖維的路徑與歷史數 |
| `data/paper27_joint_distance_spectrum.csv` | 完整聯合距離譜 |
| `data/paper27_prime_step_anchors.csv` | 156 條邊的質數進位可分辨見證 |
| `data/paper27_stats.json` | 全部精確計數與驗證狀態 |
| `data/paper27_synthetic_joint_certificate.json` | 合成正向修復、兩錯界線與跨進位算術見證 |
| `data/paper27_intentional_tamper.json` | 改壞原始承諾碼字、必須被拒絕的負對照 |
| `reference/` | 第二十五篇 30,342 條原始路徑及第二十六篇距離譜的未修改副本 |
| `figures/` | 三組由正式資料可重生的 PNG/SVG 圖 |
| `SHA256_MANIFEST.json` | 發行內容檔案的 SHA-256 完整性清單 |

### 10.3 離線重現方式

在解壓目錄執行：

```bash
python verify_paper27.py --output . --reference reference
python verify_certificate_paper27.py data/paper27_synthetic_joint_certificate.json
python make_figures.py --root .
python validate_paper27.py
```

下列命令**應該以非零狀態拒絕**：

```bash
python verify_certificate_paper27.py data/paper27_intentional_tamper.json
```

若驗證器錯誤地接受這份故意改壞的證書，發行驗收應判定失敗。

---

## 11. 形式結論的嚴格邊界

### 11.1 路徑與操作都可修復，仍不代表能回溯真實歷史

本文只在**已正確生成、之後受限損壞**的碼字模型中討論修復。若一開始就拿到一份完整但偽造、自洽的歷史宣告，所有算術、奇偶與跨進位見證都可能被同時重新生成。真實性需要外部可核驗來源，不是運算恆等式的結果。

### 11.2 一個錯誤欄位不同於一個故障來源

一個資料來源可能負責產生多個欄位；一次來源故障就可能同時修改數個欄位。因此聯合碼最小距離三，不能無條件翻譯為「可承受一個實體裝置或同一軟體服務的全部故障」。

### 11.3 固定長度三步與固定 80 節點不是全域數值理論

本篇的統計世界是 $G_{40}$ 的三步雙作用行走，並未涵蓋長度任意的算術歷史、整個 $1$ 至 $1000$ 的四運算關係或全體實數。延伸到其他數域、非終止小數、浮點計算與任意演算法，必須重新建立表示、合法性與錯誤語義。

### 11.4 不把傳統糾錯碼誤認為新基本數學定律

本篇操作碼的奇偶結構、半徑一 Hamming 球下界、碼距解碼及乘積碼距判準，均有現成編碼理論背景；本文的特定工作，是把其資訊保護能力連到**塔樓位值觀測、跨階段模數關係與可重建的算術事件**。本文不主張發明 Hamming 糾錯理論。

### 11.5 十個欄位不是全世界最短的資料表示

六位元操作子碼的固定長度最小性已證明；但是不同路徑欄位可以選擇其他字母表、使用更大的單一符號、可變長度壓縮或另外的可信執行日誌。因此本篇不宣稱整個十欄證書是所有可能表示方案中的絕對最小。

---

## 12. 結論：從中間值的恢復，走向作用身分的恢復

第二十六篇已讓數值塔樓具備有限觀測故障下恢復中間路徑的能力，但這沒有消除同一路徑可能由不同算術操作實現的多重歷史。第二十七篇將四欄數值路徑碼與六位元運算選擇碼聯合，在同一份端點條件證書中同時保留精確中間數值與操作標籤。對 $G_{40}$ 的全部 $242,736$ 條合法完整歷史，聯合碼在各端點纖維內的最小距離精確為 $3$，因此能修復一個未知位置的欄位替換，並經過 $2,427,360$ 次單欄故障注入的完整驗證。

更重要的是，本文區分了兩種不同的數學下界：六位元操作子碼是表示八種合法選擇並保證單錯恢復的最短固定長度二元編碼；整份混合欄位聯合證書則只是**可證明正確的一種設計**，不以此偷換成所有表示法都無法改善的全球最優。同時，算術合法、進位可辨識與資料來源可信依然是不同判準；任何沒有可信上游紀錄的自洽碼字，都不能作為曾經真實執行某段歷史的充分證據。

本篇展示的是**中間數值與作用標籤如何在一份有限、可核驗、可修復的資訊結構中共同存在**。從最初的 $9\times99$ 到這一階段，問題已逐漸從「數字是否具有隱藏關係」，轉成「哪些關係條件足以在資訊受損後，仍然重新建構那段數值與運算之所以成立的歷史」。

**本篇核心結語：能恢復數字走過的路，不等於能恢復它曾選擇的作用；只有把路徑與作用都納入同一份可檢驗的關係證書，修復才不會只剩一個看似正確的答案。**

---

## 參考文獻與既有理論分界

1. EveMissLab，《進位制塔樓與全域運算關係幾何（第二十五篇）》，2026-11-05。未知三步數值路徑的進位塔樓觀察與端點條件重建。
2. EveMissLab，《進位制塔樓與全域運算關係幾何（第二十六篇）》，2026-11-05。四欄數值碼、模 81 關係校驗及最小距離三的有限路徑證書。
3. EveMissLab，《進位制塔樓與全域運算關係幾何（第十九篇）》，2026-11-05。雙作用圖上的質數進位辨識與操作指紋分離。
4. EveMissLab，《進位制塔樓與全域運算關係幾何（第二十二至二十四篇）》，2026-11-05。通道距離、故障來源、共同上游改寫與算術證據的可信性界線。
5. Hamming, R. W., “Error Detecting and Error Correcting Codes,” *Bell System Technical Journal* 29(2), 147–160 (1950), DOI: https://doi.org/10.1002/j.1538-7305.1950.tb00463.x 。本文使用的球打包、距離三與單錯恢復屬既有編碼理論。
6. Stanford University, ENGR 76, “Error correcting codes,” lecture 13, https://web.stanford.edu/class/engr76/lectures/lecture13.pdf 。提供一般碼距與錯誤修復的標準教學背景；本篇有限算術圖的實際數字由自身程式獨立重算。

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