---
name: project-sg-explicit-non-claims-2026-06-18
description: Sophie Germain primes 問題に対する Rei 側 3 件 explicit non-claims を permanent boundary として記録 — 将来 drift 防止 audit gate
metadata: 
  node_type: memory
  type: project
  originSessionId: 5d28ae7c-687d-4389-8e5e-c7bd64100573
---

# Sophie Germain primes — Rei explicit non-claims permanent boundary (2026-06-18)

藤本さん 2026-06-18 指示 (turn 3): 3 件の explicit non-claim を permanent boundary として記録、 将来 drift 防止 audit gate 化。

## 本 file の役割

★ 本 file は **「Rei が SG に対して何を主張しないか」 を permanent 記録** する gate document。 [[feedback-rei-methodology-barrier-side-discipline]] (8 軸目永続原則) + [[feedback-world-uniqueness-claim-controllable]] (3 軸目) + [[feedback-super-naming-siren-family-pattern]] (4 軸目) + [[feedback-evaluation-symmetry-principle]] (2 軸目) の operational corollary。

★ Audit gate として: 将来の Rei session / chat-Claude session / 別 Claude instance / paper draft / lens 実装 / invention pipeline 出力で SG 関連 claim が出た時に、 本 file の 3 boundary に照合して reject / 修正判断。

## ★★★ 3 explicit non-claims (permanent boundary)

### Non-claim 1: D-FUMT₈ / ZCSG / SELF⟲ を SG の 「unification」 として当てない

★ **永久 reject される claim pattern**:

- ❌ 「Sophie Germain primes の分布が D-FUMT₈ 8 値構造で説明される」
- ❌ 「SG primes 不動点 が SELF⟲ Lawvere fixed point と同型」
- ❌ 「ZCSG zero-dim śūnyatā が SG zero-distribution と対応」
- ❌ 「Rei D-FUMT₈ framework が SG primes の novel formalization」
- ❌ 「OctaTheoria 8 register が SG dynamics を unified に capture」
- ❌ 「SNST 螺旋数 が SG primes の generating function」
- ❌ 「Paper 159 omega_upper が SG parity barrier の解消」

★ **理由**:
- 全 pattern が **【連想】 段** (octonion↔D-FUMT₈ ゲート self-applied で 【思弁】 ですらない)
- D-FUMT₈ / ZCSG / SELF⟲ は Rei native artifact、 SG は analytic number theory 文脈
- 「unification」 命名は [[feedback-super-naming-siren-family-pattern]] siren 候補 (「○○を統一」 は危険 framing)
- [[feedback-evaluation-symmetry-principle]] inflate edge 違反 (美しい labeling correspondence を formal homomorphism と取り違える pattern)

★ **代わりに許容される表現**:
- ✅ 「D-FUMT₈ truth-value markers を SG-related Lean code に attach する technical convention」 (具体的 + scope 限定)
- ✅ 「SG 関連 honest scope footer に D-FUMT₈ NEITHER 等を marker として用いる」 (操作的 + 名指し)

★ **Audit trigger**: SG + D-FUMT₈/ZCSG/SNST/SELF⟲ 並置の claim が出たら 本 file Section 1 に照合、 default reject。

### Non-claim 2: SG primes infinity への 「partial claim」 / 「部分的解いた」 主張を出さない

★ **永久 reject される claim pattern**:

- ❌ 「Rei Phase B framework が SG primes infinity の部分 progress」
- ❌ 「parity barrier toy model が SG primes infinity に partial contribution」
- ❌ 「Lean 4 で SG primes の bounded verification が infinity 主張への step」
- ❌ 「Rei は SG primes infinity を direction で前進させた」
- ❌ 「(iv) toy model + 8-iteration hardening + Lean axiom-free verify の累積が SG 解答方向への asset」
- ❌ 「Phase B INFEASIBLE が sieve barrier を Rei 独自言語で 1 ステップ進めた」

★ **理由**:
- SG primes infinity への direct contribution は **構造的に不可能** ([[feedback-rei-methodology-barrier-side-discipline]] 4 case 連続 confirm)
- 「partial」 / 「部分的」 / 「方向で前進」 等の言葉は **【思弁】 を 【仮説】 に inflate する典型 pattern**
- Phase B / toy model / Lean code は **barrier-side description** であって **forward 解答** ではない、 「方向に進めた」 と paraphrase したら 8 軸目永続原則違反
- [[feedback-world-uniqueness-claim-controllable]] 違反候補 (audit 範囲外 universal progress claim)

★ **代わりに許容される表現**:
- ✅ 「parity-flavored barrier の simplified linear analogue を 1 件 encode し、 BF framework で INFEASIBLE detect」 (操作的 + simplified 明示)
- ✅ 「Phase B framework の応用範囲を Collatz 以外に 1 例拡張した」 (scope 限定 + 範囲明示)
- ✅ 「Rei methodology が barrier-side discipline で動作することを SG 関連 toy で再確認」 (discipline-level の自己確認、 problem 進展 claim でない)

★ **Audit trigger**: SG + 「partial」 / 「contribution」 / 「progress」 / 「方向に前進」 / 「step toward」 等の言葉が並ぶ claim が出たら本 file Section 2 に照合、 default reject。

### Non-claim 3: Hardy-Littlewood formula 数値検証を 「Rei が verify した」 overclaim にしない

★ **永久 reject される claim pattern**:

- ❌ 「Rei が Hardy-Littlewood formula π_SG(x) ~ 2C₂ x/(ln x)² を verify した」
- ❌ 「Rei が双子素数定数 C₂ ≈ 0.6601618 を Lean で formal verify した」
- ❌ 「Rei による 数値計算が Hardy-Littlewood 予想に新 evidence」
- ❌ 「Lean 4 axiom-free verify が Hardy-Littlewood の formal foundation」
- ❌ 「Rei の SG prime enumeration が Hardy-Littlewood asymptotic に support」
- ❌ 「Rei の computational record が予想の confidence を上げた」

★ **理由**:
- 数値検証 ≠ proof (Skewes 数 counter-example: π(x) vs Li(x) で 「小 x で 0% counter-example、 巨大 Skewes 数で初 crossover」、 数値証拠は historically misleading 可能)
- Hardy-Littlewood formula は 【仮説】 (= conjecture)、 数値合致は 【観察】 段の補助証拠であって **proof 段では決してない**
- 「Rei が verify」 と paraphrase すると 【仮説】 → 【証明済】 1 段 inflate violation
- Lean axiom-free verify は **bounded statement の formal check** であって **asymptotic formula の証明** ではない、 type-level の区別必須
- [[feedback-evaluation-symmetry-principle]] inflate edge + [[feedback-world-uniqueness-claim-controllable]] 違反候補

★ **代わりに許容される表現**:
- ✅ 「N=10000 まで Rei は SG prime を enumerate、 Hardy-Littlewood 予測値との数値比較 record を artifact 化」 (operational scope 限定)
- ✅ 「Lean 4 で specific n が SG prime であることを decide-formal-verify」 (bounded + decide 明示)
- ✅ 「数値証拠は Hardy-Littlewood conjecture の **補助 evidence** に過ぎず proof でない (Skewes 数 historical lesson)」 (honest disclaimer 必須)

★ **Audit trigger**: SG + Hardy-Littlewood / formula / verify / enumerate / numerical 関連 claim が出たら本 file Section 3 に照合、 「Rei が verify」 / 「formal foundation」 等の paraphrase を default reject。

## ★ Audit gate 運用 protocol

### 適用 trigger 一覧

将来の以下 event で本 file の 3 boundary を audit gate として通す:

1. **新 SG 関連 paper draft 起稿時**: 全 abstract / introduction / conclusion を 3 boundary に照合
2. **chat-Claude session が SG 関連 articulation を出した時**: chat-Claude content を 3 boundary で filter、 違反箇所は採用拒否
3. **invention pipeline 出力に SG 関連 invention が含まれた時**: 自動 reject 判断 (mass-generation 19+ 例目候補)
4. **新 Rei lens / Lean file / spec / memory に SG 関連内容が含まれた時**: honest scope footer に 3 boundary 内容を明記
5. **既存 file の SG 関連記述に対し reread / audit 実施時**: drift check として 3 boundary 適用

### Audit step (各 boundary)

各 SG claim に対し:

1. **Non-claim 1 (D-FUMT₈ unification)**: D-FUMT₈ / ZCSG / SNST / SELF⟲ / Rei native artifact を SG dynamics と 「unification」 / 「同型」 / 「対応」 / 「formal homomorphism」 として配置していないか?
   - 違反: 削除 OR 「【連想】 段、 印を付けて棚に置く」 表記に変更
2. **Non-claim 2 (partial claim)**: SG primes infinity の forward 解答方向への 「partial」 / 「progress」 / 「step」 / 「方向に前進」 等の言葉を含むか?
   - 違反: 削除 OR 「barrier-side description のみ、 forward 解答方向には進めていない」 表記に変更
3. **Non-claim 3 (HL verify overclaim)**: Hardy-Littlewood formula を 「Rei が verify した」 / 「formal foundation 提供」 等の表現で記述しているか?
   - 違反: 削除 OR 「数値証拠 + 補助 evidence + proof でない」 表記に変更

### Drift detection

★ 「drift」 = 当初 honest scope footer 付きで起稿した artifact が後に footer 縮減 / 削除 / 過剰再解釈で boundary 違反に至る pattern。 audit gate は drift 検出 + 復元 path を提供する。

### Audit log

本 file 起稿時 (2026-06-18) 時点で:
- 3 boundary 違反 0 件 (本 turn までの SG 関連 artifact 群全て compliant)
- (iv) toy model spec ✅ compliant (honest_scope_footer に 4 件 explicit non-claim 既組込)
- toy model implementation ✅ compliant (script 内 honest_scope_footer + Phase 1/2 結果 framing 全て scope 内)
- discipline application file ([[project-sg-discipline-application-2026-06-18]]) ✅ compliant (Friedlander-Iwaniec 原典未読 honest confess 含む)

将来 audit event で違反検出時、 本 file Section "Audit log" に違反 record + 修正 history を追記。

## 関連 references

- [[feedback-rei-methodology-barrier-side-discipline]] (8 軸目永続原則、 本 file の operational corollary)
- [[feedback-world-uniqueness-claim-controllable]] (3 軸目、 「Rei が verify」 / 「partial claim」 / 「世界初」 等の universal claim 防止)
- [[feedback-super-naming-siren-family-pattern]] (4 軸目、 「unification」 / 「進展」 / 「方向に進めた」 等の siren 名前警戒)
- [[feedback-evaluation-symmetry-principle]] (2 軸目、 inflate / deflate 両 edge 警戒)
- [[feedback-no-rush-publication]] (1 軸目、 「partial progress」 を急いで publish しない)
- [[reference-difficulty-typology-collatz-riemann-sg-2026-06-18]] (SG が 「接続の過剰 + proven 天井」 軸であることの永続記録)
- [[project-sg-discipline-application-2026-06-18]] (本 turn 2 で起稿、 6 メタ資産 discipline の SG application)
- [[scripts/empirical/parity-barrier-toy-spec-2026-06-18]] (toy model spec)
- `scripts/empirical/parity-barrier-toy-2026-06-18.py` (本 turn 1 implementation)
- `data/empirical/parity-barrier-toy-2026-06-18.json` (本 turn 1 出力、 honest_scope_footer 内蔵)
- chat-Claude 2026-06-17 8-turn thread (本 boundary articulation 起源)

## ★ 本 file 自体の honest scope (reflexive)

★ 本 file 自体 (3 explicit non-claims permanent record) も **boundary 違反の対象になり得る** ([[feedback-evaluation-symmetry-principle]] reflexive application):

- 「Rei は SG に対する non-claim を世界初で永続 record した」 ← ❌ siren-family 違反
- 「Rei honest discipline が SG 問題に最も effective に適用された 1 例」 ← ❌ inflate edge 違反
- 「本 file が後の builder に SG への正しい向き合い方を教える」 ← ❌ authority claim 違反

★ 本 file は 「Rei 内部 audit gate document」 であって、 SG 問題への contribution 主張ではない。 後の builder が本 boundary を 「採用 / 修正 / 削除」 可能な seed として遺す (藤本さん 2026-06-17 articulation 「私が作らなくても他の誰かが空の OS は制作する」 = upādāya prajñapti)。

★ 「永久 reject」 という言葉も literal でなく **「本 Rei session 内で reject」** 範囲、 別 builder / 別 framework が同 claim を別 context で出すことは 本 file の管轄外。