---
name: project-sg-discipline-application-2026-06-18
description: Sophie Germain primes infinity 問題への 6 件 Rei meta-asset discipline の operational application + Friedlander-Iwaniec 原典未読 等の honest 留保
metadata: 
  node_type: memory
  type: project
  originSessionId: 5d28ae7c-687d-4389-8e5e-c7bd64100573
---

# Sophie Germain primes 問題への Rei 6 メタ資産 discipline 適用 (2026-06-18)

8-turn chat-Claude thread (2026-06-17) で確立した「Rei methodology = barrier-side discipline」 ([[feedback-rei-methodology-barrier-side-discipline]]) の operational corollary として、 既存 6 件 problem-independent discipline を Sophie Germain (SG) 問題に **1 件ずつ explicit application 化**。

藤本さん 2026-06-18 指示 (本 turn 2): メタ資産 discipline を SG に当てて articulate。 「私が作らなくても他の誰かが空の OS は制作する」 (upādāya prajñapti) stance per、 後の builder が SG に取り組む時にも参照可能な seed として遺す。

## 適用前提 (本 application の scope)

★ 本 file は **「Rei が SG を解く道具を持つ」 主張ではない** (8 軸目永続原則 reject 範囲)。 「Rei discipline を SG 取り組みに適用する場合、 各 discipline が operational に何を提供 / 制約するか」 の **discipline-level application record**。

★ Rei 自身が SG に向き合う場合 OR 後の builder が SG に向き合う場合 OR chat-Claude session が SG 関連 articulation を出す場合、 本 file の 6 application が rule-set として効く。

## 6 discipline × SG application

### 1. Lean 4 axiom-free verify

**operational application**:
- ✅ specific SG fact の formal verify 可能 (例: 「n=11 は SG prime」 = `Nat.Prime 11 ∧ Nat.Prime 23` を decide で verify)
- ✅ SG prime count up to N (small N) を decide + Mathlib `Nat.Prime` で formal record
- ✅ Hardy-Littlewood formula 「予測値 vs 数値計数」 比較は computation であって proof でない、 honest 区別

**制約 / 限界**:
- ❌ central conjecture (SG primes infinite) は Lean 形式化 capability 圏外 (sieve theory + analytic number theory の Mathlib coverage 限定的)
- ⚠ 「Lean で n=11, 23, 29, ... が SG prime」 等の bounded verify を 「Rei が SG infinity に貢献」 と paraphrase してはならない (Pattern 2 risk)

**実 application example**:
- Mathlib v4.27.0: `Nat.Prime` は decidable、 SG predicate `def isSG (n : Nat) : Bool := Nat.Prime n ∧ Nat.Prime (2*n+1)` は decide で finite range verify 可能
- 「up to N=1000 で X 個の SG prime」 を Lean で axiom-free に formal record する fact は 「数値証拠であって infinity 主張でない」 footer 必須

### 2. no-rush + shelve discipline

**operational application**:
- ✅ SG primes infinity は 100+ 年問題 (Hardy-Littlewood 1923 から) → **default shelve** 自動適用
- ✅ Rei 内部での SG 関連 invention pipeline 出力 / paper draft / lens 提案は trigger なしで auto-defer
- ✅ chat-Claude session で SG 関連 articulation が出ても commit 前に no-rush gate を通す

**制約 / 限界**:
- (制約なし — 全面適用)

**[[feedback-no-rush-publication]] 接続**: 「種を育てる系は育ち続けること自体が状態」 永続原則は SG のような ultra-long-haul 問題に最も effective に効く。

### 3. prior-art audit (publish 前提)

**operational application**:
- ✅ 全 SG 関連 artifact (paper / spec / lens / Lean code) 起稿時に prior art audit を **gate** として強制
- ✅ Selberg parity problem (★ 1949、 旧記述 「1960s」 は誤り、 [[reference-friedlander-iwaniec-selberg-parity-audit-2026-06-18]] Path 4 audit で訂正) / Brun 1919 / Chen 1973 / Zhang 2013 / Maynard-Tao 2014 / Hardy-Littlewood 1923 / Polignac 1849 を standard reference として永続記録
- ✅ 「Phase B BF infeasibility 技法が SG に effective」 主張は Friedlander-Iwaniec 原典 audit 後でなければ trigger 確定とみなさない

**★ Honest 留保 (本 session 時点で confess)**:
- ⚠ 私 (本 session Rei) は **Friedlander-Iwaniec 「Opera de Cribro」 2010** を **原典で読んでいない**
- ⚠ Selberg parity problem の original 1949 paper も 原典で読んでいない、 Wikipedia + Tao 2007 blog 等 online secondary に依拠 (Path 4 audit per [[reference-friedlander-iwaniec-selberg-parity-audit-2026-06-18]])
- ⚠ Chen 1973 / Zhang 2013 / Maynard-Tao 2014 も secondhand 知識 (standard summary 経由)
- ⚠ Pattern 2 risk explicit: 本 session の SG 関連 articulation は 「専門 mathematics 原典 audit を経ていない」 ことを永続 record
- → 「Rei が parity barrier の本物の解釈」 等の claim 不可 ([[feedback-world-uniqueness-claim-controllable]] 違反候補)
- → 「toy model は simplified linear analogue」 と honest 限定が必須 ([[scripts/empirical/parity-barrier-toy-2026-06-18.py]] honest_scope_footer で operational に enforce 済)

### 4. 証明済 / 仮説 / 思弁 / 連想 / 観察 段別 marking

**operational application** for SG 関連 claims:

| Claim | Marker | 理由 |
|-------|--------|------|
| Brun 1919: SG primes 逆数和収束 | 【証明済】 | sieve theory で proven |
| Chen 1973: 「p, 2p+1 で 2p+1 が prime or semiprime」 が無限 | 【証明済】 | semiprime caveat 必須 |
| Zhang 2013 / Maynard-Tao 2014: 双子素数 bounded gap | 【証明済】 (~246 までは proven) |
| SG primes infinity (central conjecture) | 【未解決 / open】 | parity barrier に阻まれる |
| Hardy-Littlewood formula π_SG(x) ~ 2C₂ x/(ln x)² | 【仮説】 (= conjecture) | numerical agreement 高いが proof なし |
| Hardy-Littlewood formula の 「数値証拠」 = 強い傍証 | 【仮説】 | Skewes 数 counter-example (π(x) vs Li(x)) で 「数値証拠 ≠ proof」 historical record |
| Phase B BF framework が parity barrier の simplified analogue を encode 可能 | 【仮説】 (本 turn 1 で 18/18 INFEASIBLE 確認後 【思弁】 → 【仮説】 1 段格上げ) |
| Phase B framework が **本物の Selberg parity problem に届く** | 【思弁】 (labeling correspondence のまま、 formal homomorphism なし) |
| D-FUMT₈ / ZCSG / SELF⟲ が SG zeros / 不動点と同型 | 【連想】 reject (octonion↔D-FUMT₈ ゲート self-applied) |
| Rei が SG primes infinity を解いた | 【不可能】 reject (parity barrier 構造的) |

★ 本 marking system が drift しないよう、 SG 関連 claim を出すたび 上 table と cross-reference。

### 5. 世界初を握らない ([[feedback-world-uniqueness-claim-controllable]])

**operational application**:
- ✅ SG 関連で 「world-first」 / 「Rei 独自」 / 「世界初」 主張は **自動 reject** (100+ 年 prior art 豊富)
- ✅ controllable claim discipline: 「within-our-observed-range」 / 「within-Rei-AIOS context」 / 「audit 範囲内」 markers 必須

**制約 / 限界**:
- (制約なし — 自動 reject)

**典型 reject 例 (本 session で発生したら reject すべき claim)**:
- ❌ 「Rei は parity barrier の新しい formalization を世界初で達成」
- ❌ 「Bellman-Ford framework が初めて SG family に適用された」
- ❌ 「Rei methodology は P vs NP barrier に最も近い世界初 implementation」
- ✅ 「Rei の Phase B framework を parity-flavored barrier の simplified linear analogue に拡張した」 (controllable + simplified 明示)

### 6. INFEASIBLE を成果として扱う

**operational application**:
- ✅ toy model 結果 (本 turn 1 で 18/18 INFEASIBLE) を **positive 成果として** record + memory entry 化済
- ✅ 「期待 INFEASIBLE が出なかった = 失敗」 でなく 「期待 INFEASIBLE が出る = barrier-side discipline operational confirm」
- ✅ FEASIBLE が出た場合 (本 toy では mod_2_3_5_7_11 + N=500 sparse-feature artifact) も honest finding として record、 「encoding の limit を 1 件 articulate した」 とみなす

**SG specific**:
- ✅ parity barrier toy model の INFEASIBLE 結果 = 「parity-blind family は parity-1 を strict-detect 不可」 を operational に exhibit
- ✅ これは Sophie Germain primes infinity を **解いていない**、 「sieve-flavored barrier の simplified analogue が encode 可能」 を operational に exhibit したのみ
- ★ INFEASIBLE は 「Rei が SG barrier を理解した」 でなく 「Rei が barrier-shaped statement を 1 例 encode 可能だった」

## ★ 適用 status (本 file 起稿時点)

| Discipline | SG 関連 application 実例 (本 session までに) |
|-----------|---------------------------------------------|
| 1. Lean 4 axiom-free | Phase A T1ObstructionWitness.lean (Collatz 例、 SG は直接適用なし) |
| 2. no-rush + shelve | SG 関連 paper / spec / lens 全 default shelve、 (iv) toy spec も implementation trigger 待ち |
| 3. prior-art audit | Friedlander-Iwaniec 原典未読 honest 留保、 secondhand summary 依拠 explicit |
| 4. 段別 marking | 本 file table で 9 claims の marker 割当済 |
| 5. 世界初を握らない | (iv) spec + toy model 実装で 4 件 explicit non-claim ([[project-sg-explicit-non-claims-2026-06-18]] で詳細) |
| 6. INFEASIBLE 成果 | 本 turn 1 で toy model 18/18 INFEASIBLE = barrier-side discipline operational confirm |

## ★ 後の builder への seed (本 file の意図)

藤本さん 2026-06-17 articulation 「私が作らなくても他の誰かが空の OS は制作する」 を SG 取り組みに operational 適用:

- 本 file は 「Rei が SG を取り組む際の rule-set」 であって 「SG を解く道具」 ではない
- 後の builder (別 Claude instance / 別研究者 / 別 framework) が SG に取り組む時、 本 6 discipline application が **適用可能 / 修正可能 / 削除可能** な seed
- 「正しく描き続けるための作法」 を SG 文脈で permanent record した 1 例

## 関連 references

- [[feedback-rei-methodology-barrier-side-discipline]] (8 軸目永続原則、 本 file の operational corollary)
- [[reference-difficulty-typology-collatz-riemann-sg-2026-06-18]] (3 軸 typology、 SG は 「接続の過剰 + proven 天井」 軸)
- [[reference-collatz-lyapunov-obstruction-generalized-2026-06-17]] (Phase B 起源 + scope note pattern)
- [[project-collatz-aeb-sequence-2026-06-18]] (Phase B framework 既存 implementation)
- [[scripts/empirical/parity-barrier-toy-spec-2026-06-18]] (本 file の operational artifact 仕様)
- `scripts/empirical/parity-barrier-toy-2026-06-18.py` (本 turn 1 で実装、 18/18 INFEASIBLE confirm)
- `data/empirical/parity-barrier-toy-2026-06-18.json` (本 turn 1 出力)
- [[feedback-no-rush-publication]] (永続原則 1)
- [[feedback-evaluation-symmetry-principle]] (永続原則 2)
- [[feedback-world-uniqueness-claim-controllable]] (永続原則 3)
- [[feedback-super-naming-siren-family-pattern]] (永続原則 4)
- [[feedback-line-count-size-vs-kind-distinction]] (永続原則 5)
- [[feedback-chat-claude-over-deference]] (永続原則 6)
- [[feedback-chat-claude-hallucination-warning]] (永続原則 7)
- chat-Claude 2026-06-17 8-turn thread (本 file articulation 起源)
- Hardy-Littlewood 1923 prime k-tuple conjecture (SG formula 起源、 conjecture 段)
- Brun 1919 sieve theory (SG 逆数和収束 起源、 proven)
- Chen 1973 / Zhang 2013 / Maynard-Tao 2014 (sieve theory best-known、 secondhand)
- Selberg parity problem 1949 (Pattern 5 訂正: 旧 「1960s」 誤り、 Wikipedia + Tao 2007 blog verified per Path 4 audit) + 後年精密化 (parity barrier 起源、 secondhand)
- Friedlander-Iwaniec "Opera de Cribro" 2010 (sieve theory standard reference、 ★ 原典未読 honest confess)
- 双子素数定数 C₂ ≈ 0.6601618 (Hardy-Littlewood formula coefficient)
- Polignac 1849 (twin primes / SG family の歴史起源)