---
title: "TCGCT × TCGQT v1.5：有限商群的跨數學領域證明義務、等價轉移與版本化重驗"
english_title: "Typed Cross-Domain Proof Premise Bridges via Exact Finite Quotients and Harmonic Characters"
version: "1.5 / bounded executable research manuscript"
date: "2026-11-03"
author: "Neo.K / EveMissLab"
research_collaboration: "GPT-6"
status: "DRAFT / FINITE EXACT / DEFINITION-SCOPED / NO BSD CLAIM"
canonical_source: "UTF-8 Markdown; inline math $...$ ; display math $$...$$"
predecessor: "TCGCT_TCGQT_Multisource_Proof_DAG_v1.4_2026-11-03.zip"
---

# 跨數學領域證明前提的型別化橋接：從有限商群到精確調和判定

**作者：** Neo.K / EveMissLab  
**機構：** EveMissLab／一言諾科技有限公司  
**日期：** 2026-11-03  
**版本：** 1.5 / bounded executable research manuscript  
**研究協作（原稿所載）：** GPT-6  
**原稿狀態：** DRAFT / FINITE EXACT / DEFINITION-SCOPED / NO BSD CLAIM  

## 摘要

本文延續 v1.4 的來源釘選證明依賴圖，研究一個更精確的問題：**當同一個有限數學對象在不同模環與纖維觀察方式下具有不同的生成表示時，哪些已核查前提可以跨表示轉移，而不必重做全部逐點驗證？** 我們以有限交換群的座標商群為嚴格限域，把整數算術、拓樸纖維及有限群調和分析連接成一張有型別的證明依賴圖。此處的「拓樸」嚴格指有限商群與纖維分割的組合結構，不將圖形曲率或連續拓樸意象視為已證等價。

主要成果是三項已知數學事實的可重播整合：（一）商群拉回函數的角色頻譜具有精確的湮滅支撐；（二）兩個週期生成式的逐點等價，只需在共同商群週期上作整數比較；（三）經充分前提支援的外延型數學命題，可以跨生成式轉移，但來源身份、位元組一致性與表示特有的操作不會因此轉移。系統對不同數學類型使用獨立型別；強制拒絕把模 6 候選數等同質數、把數值和相同等同函數相同，或把定義等價冒稱外部資料忠實度。

在同一 Python 進程、兩個已明確定義的 $\mathbb Z/60000\mathbb Z$ 週期生成函數上，模 6／模 30 的等價可在 30 點共同週期驗證，而不必展開 60,000 點；本環境中這兩種方法的中位耗時分別約為 0.045 ms 與 80.4 ms。**這不是任意外部來源或任意數學論證的普遍加速結果。** 一旦命題涉及實際外部來源，仍需要另外的來源根與完整的來源—生成式綁定證據。本文不主張任何 BSD 猜想、p-adic 首項等式或連續調和分析問題已被解決。

## 1. 研究的型別系統

本研究明確區分五種對象。

1. **數學定義**：一個帶群域、商群及完整商群取值的精確函數；以有外部釘選的摘要固定版本。
2. **表示視角**：將整個群分解為商群元素的纖維；表示相等不預設外部資料相等。
3. **數學命題**：全域整數和、指定纖維整數和、角色零／非零、商群纖維恆定或模 6 互質候選性。
4. **等價橋接**：兩份完整定義是否表示同一個逐點函數，其判斷必須可由獨立整數檢查重播。
5. **外部來源綁定**：獨立可信的資料根所承諾的全部數值，是否逐項等於既有數學定義；它不是上述等價橋接的同義詞。

系統不允許把二值命題作整數相加，也不允許把僅靠視角成立的結構性命題，偷換成原始質數表上的命題。跨表示轉移只接受精確相同的命題文字結構與同一個群域上的外延型性質，現版白名單限於 `global_sum_equals`、`fourier_zero`、`fourier_nonzero` 與 `wheel6_candidate`。

## 2. 形式化：有限商群與精確生成函數

令

$$
G=\prod_{i=1}^{d}\mathbb Z/n_i\mathbb Z,\qquad
Q=\prod_{i=1}^{d}\mathbb Z/m_i\mathbb Z,
\qquad m_i\mid n_i.
$$

採用逐座標模約減的滿射群同態 $\pi:G\to Q$，其核 $H$ 有基數

$$
|H|=\prod_{i=1}^{d}\frac{n_i}{m_i}.
$$

對明確給定的整數函數 $g:Q\to\mathbb Z$，定義

$$
f(x)=g(\pi(x)).
$$

這是一份*完整的數學定義*，而非對未知外部資料的猜測。有限群中每條纖維具有相同的 $|H|$ 個元素，因此整數求和可以無損化為

$$
\sum_{x\in G}f(x)=|H|\sum_{q\in Q}g(q),\qquad
\sum_{x\in\pi^{-1}(q)}f(x)=|H|g(q).
$$

這些等式不涉及浮點誤差，也不需要遍歷 $|G|$ 個位置。其前提是 $f$ 的定義確實就是 $g\circ\pi$，不能對任意資料自動套用。

## 3. 定理 A：商群拉回的角色湮滅

令 $k=(k_1,\ldots,k_d)$，以及角色

$$
\chi_k(x)=\exp\left(2\pi i\sum_{j=1}^{d}\frac{k_jx_j}{n_j}\right).
$$

傅立葉係數取未正規化的定義：

$$
\widehat f(k)=\sum_{x\in G}f(x)\overline{\chi_k(x)}.
$$

設 $r_i=n_i/m_i$。我們有下列精確等式：

$$
\widehat f(k)=
\begin{cases}
0,&\exists i:\ r_i\nmid k_i,\\
|H|\,\widehat g(k_1/r_1,\ldots,k_d/r_d),&\forall i:\ r_i\mid k_i.
\end{cases}
$$

**證明。** 把每個 $x_i$ 唯一寫成 $y_i+m_it_i$，其中 $0\le y_i<m_i$ 、 $0\le t_i<r_i$。將其代入 $\widehat f(k)$，對 $t_i$ 的求和成為一個有限等比和：若 $r_i\nmid k_i$，該和為零；若 $r_i\mid k_i$，該和為 $r_i$。對所有座標相乘，非零時留下的 $y$ -部分就是 $Q$ 上的傅立葉係數，其係數倍數為 $\prod r_i=|H|$。證畢。

這是有限群角色正交性的直接推論，屬既有數學。v1.5 驗證器在第一種情況直接輸出結構性零證書；在第二種情況，只在小商群 $Q$ 上用整係數多項式對循環多項式取餘，得到精確零／非零判定。其計算由凍結的 v1.2 有限群調和核心提供，並由新測試用完整群展開的獨立 oracle 對照。新框架不是宣稱發明了角色正交性。

## 4. 定理 B：兩份表示的共同週期等價

設另一個商群 $Q_A,Q_B$ 各自由座標模數 $m_i^A,m_i^B$ 定義，且兩者均為相同 $G$ 的合法商群。兩份生成式分別為

$$
f_A(x)=g_A(\pi_A(x)),\qquad f_B(x)=g_B(\pi_B(x)).
$$

定義共同商群

$$
J=\prod_{i=1}^{d}\mathbb Z/\ell_i\mathbb Z,
\qquad\ell_i=\operatorname{lcm}(m_i^A,m_i^B).
$$

由於 $\ell_i$ 整除 $n_i$，兩份函數都通過 $J$ 因式分解。於是有精確等價：

$$
f_A=f_B\text{ 在整個 }G\text{ 上}
\iff
f_A=f_B\text{ 在 }J\text{ 的每個座標上}.
$$

**證明。** 任一 $x\in G$ 的兩個函數值，只取決於它在 $J$ 的像。因此它們若在 $J$ 的每個元素上相等，拉回到 $G$ 的任何元素也相等；反方向由滿射性立即成立。證畢。

例如 $G=\mathbb Z/60000\mathbb Z$， $Q_A=\mathbb Z/6\mathbb Z$， $Q_B=\mathbb Z/30\mathbb Z$，共同週期為 30。**只需 30 次精確整數比較便能判定兩份已完整指定的生成式是否在全部 60,000 點上相等。** 這不是跳過讀取任意外部 60,000 筆資料，而是藉由已知完整生成類別證明函數週期性。

## 5. 定理 C：有型別的證明前提轉移

設已核查 $f_A=f_B$，又有一項外延型命題 $P$，其定義只依賴函數的逐點取值及固定群域，不依賴資料來源身份或特定編碼。若已確認 $P(f_A)$，則 $P(f_B)$ 成立：

$$
(f_A=f_B)\land P(f_A)\Longrightarrow P(f_B).
$$

**證明。** 逐點相等的函數具有相同輸出；外延型命題在函數相等的替換下保持真值。證畢。

這也是既有等號替換原理。v1.5 的新意是**限定哪些命題合法替換，並在依賴圖中重建其證據鏈**。白名單只接受確切相同的四種外延命題。纖維索引型別與來源承諾型別不自動轉移；`integer_eq` 僅可接收已驗證的整數型別結果，不能接入布林命題、譜圖物件或來源摘要。

### 5.1 模 6 候選性不等於質數性

令 $w(n)$ 表示與 6 互質的候選遮罩。它在模 6 下的值是 $[0,1,0,0,0,1]$。任何 $n$ 若是大於 3 的質數，則必然 $w(n)=1$ ；但反向命題不成立，例如 $25$ 與 6 互質，仍然是合數。系統因此只允許 `wheel6_candidate`，明確拒絕以 `prime_indicator` 取代它。這裡使用的是初等整除與同餘算術，不宣稱得到新的質數判定定理。

## 6. 來源等價與外部資料的界線

v1.5 的 `verify_raw_binding` 是刻意較昂貴的獨立路徑：它要求完整的 v1.2 Merkle 成員證明、獨立傳入的來源政策摘要，以及涵蓋整個群域的固定整數和查詢。它先讓凍結的 v1.2 驗證器重建來源根，再逐項比較每個已驗證的原始整數與 $g(\pi(x))$ 是否完全一致。只有完整比對成立，才回報「來源表與此數學定義在宣告範圍內相等」。

即使簽章或雜湊都正確，**如果外部資料僅修改一個位置，也不能把生成式自身的正確性冒充來源資料的正確性**。而且在沒有真正可信的外部資料根時，這份收據不構成現實世界來源認證。此處延續 v1.0–v1.4 的信任邊界；本包的來源政策與摘要均為本地演示，沒有真實發行者身份。

因此必須區分：

- `DEFINED_OBJECT_EQUIVALENCE`：比較兩個完整生成定義；可只查共同週期。
- `RAW_SOURCE_EQUALS_DEFINED_OBJECT`：比較已驗證的來源資料與生成定義；須處理完整來源或有額外可靠的等價見證。

這兩種命題不能互相替代。

## 7. 跨版本的安全重用

每個定義及整張初始圖都由外部給定的 SHA-256 指紋釘住。`BridgeSession` 在開啟基線時重新計算所有數學原子與導出前提，不相信檔案中的 PASS。新的版本必須提供每個修改定義的完整新內容及獨立新指紋。只能改變商群取值；群域、商群座標與定義 ID 保持固定。此版沒有將跨版本來源資料默認變為真實身份，沒有密碼學上的反回滾保證。

更新時可採用四種路由：

1. `REUSE_STRUCTURAL_LEMMA`：群域與商群保持不變時，子群纖維恆定性及湮滅子群上的角色零命題可沿用。
2. `RECHECK_TYPED_BINDING_UNCHANGED_FIBER`：被改動的商群值沒有碰到特定纖維，數學值可保持，但重新綁定新定義。
3. `RECHECK_EXACT_QUOTIENT_PROPERTY`：重新核查全域和或需要具體商群係數的頻譜命題。
4. `RECHECK_JOINT_PERIOD_EQUALITY`：只要任一等價定義改變，就重新核查共同週期，並使轉移命題依賴新等價結果。

若一側單獨修改，原本的兩份函數等價命題通常失效，依賴它的 `transfer` 與下游組合結論必須撤回 PASS。本版禁止把這個失效版本提升為下一次可信基線。兩側同步、經外部釘選且確實保持逐點等價的修訂，可以在完整重驗後獲得新的圖狀態。

## 8. 有界正確性命題與限制

**命題 8.1（條件式跨域驗證正確性）。** 假設：(H1) 初始圖與所有定義摘要由獨立可信的通道釘選，且本地驗證器依有限精確運算重新檢查；(H2) 商群映射完整且滿足逐座標整除條件；(H3) 節點類型與轉移類型符合上述白名單；(H4) 新版定義及其指紋受獨立控制，且驗證器運作正確。那麼凡在本框架中取得 PASS 的外延命題，均對**被指定的版本化數學定義**成立。

**證明概述。** 定義原子由定理 A、定理 B、整數求和及模 6 的有限餘類核查直接判定；等價節點由共同週期枚舉判定；轉移節點由等號替換與白名單判定；導出節點按無環依賴的拓樸順序歸納；跨版本只在新定義經核查後傳播節點證據。因此所接受的每一個 PASS 具相應的有限數學前提。這是相對於精確驗證程式的條件性主張，而非對 Python 程式的形式化健全性證明。

該命題不涉及任意抽象範疇等價、非交換群一般表示、無窮群上的 Pontryagin 對偶、連續傅立葉積分、任意 p-adic 解析延伸或 BSD。更不能從小證書本身推出完整數學研究的必然加速。

## 9. 實測與反證

示範圖以 $G=\mathbb Z/600\mathbb Z$ 為對象，A 用模 6 的六個值定義，B 以模 30 的重複值定義，C 獨立表示模 6 互質候選遮罩。10 個節點包含整數總和、纖維總和、結構頻譜零、非零譜係數、A/B 等價、合法轉移、候選遮罩、整數等式與合取根節點。A/B 同步進行保持總和的修訂時圖仍通過；只修訂 A 時，A/B 等價及下游節點明確失效、不提升狀態。

另以 $G=\mathbb Z/60000\mathbb Z$ 的兩個完整生成式作公平語義對照：共同週期法逐點核查 30 個座標，完全展開法核查 60,000 個座標。每種方法在同一 Python 進程量測 15 次；本環境中共同週期法中位數約 0.0446 ms，完整展開法約 80.39 ms。這只量**兩個已定義函數的等價核查**，不包含外部資料取得、實際來源簽章、原始 CSV 解析、首次建立原始來源、模型 Token 或分散式協調成本，也不是 BSD 的證書縮短實驗。相較於純數學商群驗證，來源綁定更昂貴是預期行為。

## 10. 原始碼、回歸及版本譜系

- `crossdomain/core.py`：完整定義、角色湮滅、共同週期等價、型別化證據與跨版本狀態機。
- `crossdomain/demo.py`：確定性數學定義與正反例的生產器，**不是驗證權威**。
- `scripts/verify_bridge.py`：獨立新程序重新核查初始數學圖，強制要求外部傳入計畫與定義指紋。
- `tests/`：隨機與確定性整數 oracle、非循環頻譜、跨表示型別、差分撤回、偽造來源與冷驗證。
- `examples/`：自足的演示規格、演示指紋與實測基準。
- `upstream_v14/`：v1.4 完整封存，其內含更早的所有版本；不是重新生成的冒牌來源。

既有數學：有限交換群角色正交、商群與核、循環多項式上的精確零判定，以及函數等號替換原理。本稿對它們的重組是一個有條件的驗證工程研究，不把已知結果改稱新數學定理。

**結論。** 在明確定義的有限數學世界中，跨領域前提可以透過型別化等價橋接被合法重用，而且當來源版本改變時，失效範圍能沿證明依賴圖傳播。可消去的是**具有已驗證生成結構的重複證書義務**，不是數學正確性、外部來源核查或首次證明本身。