# RG-SCP Note C
## Symmetric Finite Relation Closure
### 正向對偶、Residual States、有限覆蓋閉包與 Goldbach 的零障礙度形式

**日期：** 2026-09-30  
**性質：** Research Note / Positive Dual Reformulation  
**狀態：** 非證明；候選 canonical representation

---

## 0. 核心翻轉

negative form：

$$
\boxed{
\forall d\in\Omega_m,
\quad
\exists w\in W_m,
\quad
R_m(d,w).
}
$$

表示：

> 每個合法 offset 都被某個 bounded obstruction witness覆蓋。

正向對偶取 negation：

$$
\neg
\left[
\forall d\exists w\,R_m(d,w)
\right].
$$

由 De Morgan：

$$
\boxed{
\exists d\in\Omega_m,
\quad
\forall w\in W_m,
\quad
\neg R_m(d,w).
}
$$

這個 surviving $d$ 就是：

> obstruction-free state。

---

## 1. Finite Relation Domain

定義：

$$
\boxed{
\mathfrak R_m
=
(\Omega_m,W_m,R_m).
}
$$

其中：

$$
\Omega_m
$$

是 finite symmetric offset domain，

$$
W_m
=
\{-1,+1\}
\times
\mathbb P_{\le\sqrt{2m-3}}
$$

是 finite witness domain，

而：

$$
R_m
\subseteq
\Omega_m\times W_m.
$$

所以：

$$
\boxed{
\mathfrak R_m
}
$$

是一個 finite bipartite relation system。

---

## 2. Obstruction Degree

對：

$$
d\in\Omega_m,
$$

定義：

$$
\boxed{
\deg_{\mathfrak R_m}(d)
=
\#\{w\in W_m:R_m(d,w)\}.
}
$$

則：

$$
\boxed{
\deg_{\mathfrak R_m}(d)=0
}
$$

表示：

- 左側沒有 root-bounded proper divisor；
- 右側沒有 root-bounded proper divisor。

所以兩端皆 prime。

---

## 3. Residual Set

定義：

$$
\boxed{
\operatorname{Res}(\mathfrak R_m)
=
\left\{
d\in\Omega_m:
\deg_{\mathfrak R_m}(d)=0
\right\}.
}
$$

則：

$$
\boxed{
\operatorname{Res}(\mathfrak R_m)\neq\varnothing
}
$$

等價於：

$$
\boxed{
2m
\text{ 有 Goldbach prime pair}.
}
$$

而：

$$
\boxed{
\operatorname{Res}(\mathfrak R_m)=\varnothing
}
$$

等價於：

> obstruction cells complete-cover $\Omega_m$。

---

## 4. Prime Pair as Residual State

因此 prime pair可以重新描述成：

$$
\boxed{
\text{有限 root-bounded obstruction closure 後的不可消去點}.
}
$$

在這個 representation裡，prime predicate不再是最外層 primitive。

最外層只剩：

1. finite offset set；
2. finite witness set；
3. finite incidence relation；
4. residual nonemptiness。

---

## 5. Obstruction Cells

對每個：

$$
w\in W_m,
$$

定義：

$$
\boxed{
O_w
=
\{d\in\Omega_m:R_m(d,w)\}.
}
$$

令：

$$
\boxed{
\mathcal O_m
=
\bigcup_{w\in W_m}O_w.
}
$$

則：

$$
\boxed{
\operatorname{Res}(\mathfrak R_m)
=
\Omega_m\setminus\mathcal O_m.
}
$$

---

## 6. Finite Elimination Process

令：

$$
X_0=\Omega_m.
$$

選定 witness enumeration：

$$
w_1,\ldots,w_s.
$$

逐步：

$$
\boxed{
X_{j+1}
=
X_j\setminus O_{w_{j+1}}.
}
$$

因：

$$
W_m
$$

有限，

所以有限步後：

$$
\boxed{
X_s
=
\Omega_m
\setminus
\bigcup_{w\in W_m}O_w.
}
$$

也就是：

$$
\boxed{
X_s
=
\operatorname{Res}(\mathfrak R_m).
}
$$

---

## 7. Finite Closure Interpretation

對 fixed $m$，這是一個 finite-terminating elimination system。

可把 final state稱為：

$$
\boxed{
\operatorname{ClRes}(m)
}
$$

或：

$$
\boxed{
\text{finite residual closure}.
}
$$

final residual：

$$
\Omega_m\setminus\bigcup_wO_w
$$

與 witness處理順序無關。

---

## 8. Order Independence

若 witness enumeration換序，

最終 residual仍是：

$$
\boxed{
\Omega_m
\setminus
\bigcup_wO_w.
}
$$

所以此 closure具有：

$$
\boxed{
\text{finite}
+
\text{deterministic}
+
\text{order-independent}.
}
$$

---

## 9. Positive Dual Statement of Goldbach

強 Goldbach 可候選重寫成：

$$
\boxed{
\forall m\ge2,
\quad
\operatorname{Res}(\mathfrak R_m)\neq\varnothing.
}
$$

若將：

$$
4=2+2
$$

獨立處理，

則對：

$$
m\ge3
$$

只需 odd-prime symmetric pairs。

---

## 10. Counterexample Form

若存在 Goldbach counterexample：

$$
N_*=2m_*,
$$

則：

$$
\boxed{
\operatorname{Res}(\mathfrak R_{m_*})
=
\varnothing.
}
$$

等價：

$$
\boxed{
\Omega_{m_*}
=
\bigcup_{w\in W_{m_*}}O_w.
}
$$

所以反例被重新壓成：

> 一個 finite residue/root cell family 對整個 offset domain 的 complete cover。

---

## 11. 與 RG-SCP 的關係

原 RG-SCP：

$$
\neg G
\Rightarrow
\text{obstruction cover}.
$$

新的 relation representation：

$$
\boxed{
G
\Longleftrightarrow
\text{finite obstruction relation has nonempty residual}.
}
$$

也就是從：

$$
\boxed{
\text{counterexample necessary cover}
}
$$

提升到：

$$
\boxed{
\text{success = positive dual residual}.
}
$$

---

## 12. 與 Canonical Coverage 的可能 Bridge

V1-06 使用：

$$
p\mapsto N-p
$$

的 reduced prime-input survivor domain。

新的 relation domain使用：

$$
d\mapsto(m-d,m+d).
$$

兩者可以透過：

$$
\boxed{
p=m-d
}
$$

連接。

所以：

$$
d=m-p.
$$

後續要研究：

- reduced prime-input domain與 symmetric offset domain 是否一一對應；
- boundary-$3$ 如何進 relation domain；
- root-bounded cells與 canonical coverage cells如何對接；
- 哪個 representation更適合 global compression。

---

## 13. 候選有限閉包 Theorem 類型

### Type A — Non-Coverage

$$
\boxed{
\bigcup_wO_w
\neq
\Omega_m.
}
$$

### Type B — Residual Lower Bound

$$
\boxed{
|\operatorname{Res}(\mathfrak R_m)|
\ge1.
}
$$

### Type C — Coverage Deficit

$$
\boxed{
\sum_w|O_w|
-
\text{overlap correction}
<
|\Omega_m|.
}
$$

### Type D — Structural Hole

由 residue-class incompatibility直接證某個：

$$
d
$$

不屬任何：

$$
O_w.
$$

### Type E — Closure Invariant

證 elimination過程中的某個 invariant迫使 final residual非空。

---

## 14. 最重要的 GAP

目前仍未證：

$$
\boxed{
\operatorname{Res}(\mathfrak R_m)\neq\varnothing
}
$$

對所有：

$$
m.
$$

所以這不是 Goldbach proof。

目前得到的是：

$$
\boxed{
\text{Goldbach}
\longrightarrow
\text{finite complete-cover impossibility problem}.
}
$$

---

## 15. 為什麼值得保留

這個 representation 同時具備：

- fixed $m$ 下完全有限；
- root bound完備；
- additive symmetry；
- residue-class structure；
- obstruction cells可枚舉；
- residual set有直接 prime-pair語義；
- success / failure都是 exact relational statements。

這比單純 prime-density heuristic 更接近 machine-checkable closure問題。

---

## 16. 候選命名

### 英文

**Symmetric Root-Bounded Relation Domain**

縮寫候選：

$$
\boxed{
\mathrm{SRBRD}
}
$$

### 中文

**對稱根界關係域**

或：

**對稱根界除法閉包域**

---

## 17. 正式展開時的順序

1. 精確定義 $\Omega_m$；
2. 精確定義 witness universe $W_m$；
3. 證 Goldbach success iff residual nonempty；
4. 證 relation finite；
5. 證 elimination order-independent；
6. 將：
   $$
   d\equiv\pm m\pmod r
   $$
   寫成 canonical residue cells；
7. 建立 overlap algebra；
8. 比較 RG-SCP canonical coverage；
9. 搜尋 non-cover invariant；
10. 再決定是否形成獨立 paper / formal module。

---

## 18. 最短結論

新的正向對偶不是：

> 找兩個 prime。

而是：

$$
\boxed{
\text{找一個在完整有限 root-bounded obstruction relation 中零 incidence 的 offset。}
}
$$

也就是：

$$
\boxed{
\operatorname{Res}(\mathfrak R_m)\neq\varnothing.
}
$$

若這條能被 uniform 證明，才真正會關閉 Goldbach。