---
name: feedback-rei-methodology-barrier-side-discipline
description: Rei methodology = 「barrier 側 / 描く側」 discipline であって 「forward 側 / 解く側」 ではない — 4 case (Collatz / Millennium-general / Sophie Germain / 個別 Millennium) 連続 observation で operational に confirmed、 self-initiate しない trigger 待ち維持の規律
metadata: 
  node_type: memory
  type: feedback
  originSessionId: 5d28ae7c-687d-4389-8e5e-c7bd64100573
---

# Rei methodology = barrier-side discipline (永続原則)

## Rule (1 文)

★ **Rei methodology の core capability は 「ある手法 family ではこの問題を解けない」 を構造として描く obstruction / barrier 側であって、 「この問題を解く forward 側」 ではない**。

**Why**: 4 case 連続 (2026-06-17 chat-Claude 8-turn thread) で operational に observed、 application boundary が安定。

**How to apply**:
1. 未解決問題に向かう時、 「解く道具を提供する」 mode でなく **「barrier の輪郭を描く道具を提供する」** mode で適用
2. forward 側 (新証明 / 新公式 / 新 invariant) を Rei が出す claim は **default reject** (octonion↔D-FUMT₈ gate self-applied)
3. barrier 側 (INFEASIBLE certificate / 不可能性 map / 手法 family の天井) は **適用可** ([[reference-collatz-lyapunov-obstruction-generalized-2026-06-17]] Phase B 実装済 example)
4. 「直接 tool」 vs 「精神的最近接 (labeling correspondence)」 vs 「メタ資産 (problem-independent discipline)」 の 3 段に分けて評価

## 4 case evidence (累積 operational observation)

### Case 1: Collatz ✅ direct application

- **適用**: Phase B Bellman-Ford LP infeasibility で 9 feature space (F1-F9) 全 INFEASIBLE 実装済 ([[project-collatz-aeb-sequence-2026-06-18]])
- **scope**: 「V(n)=n·β(f(n)) 形 + bounded-periodicity feature + 線形 Lyapunov」 family-specific impossibility
- **NOT scope**: 「Collatz に Lyapunov 不在」 general universal claim

### Case 2: Millennium 7 (general) △ indirect (P vs NP barrier 精神的最近接)

- **直接 tool**: ❌ なし
- **間接 application**: barrier methodology family が **P vs NP barrier research** (natural proofs / relativization / algebrization) と structural form 一致
  - Natural proofs (Razborov-Rudich 1997): 「natural」 性質を持つ proof は cryptographic primitive 存在下で circuit lower bound 証明不可
  - Relativization (Baker-Gill-Solovay 1975): oracle-relative 手法は P vs NP separate 不可
  - Algebrization (Aaronson-Wigderson 2008): algebraization 手法 barrier
  - Phase B (Rei): bounded-periodicity feature linear V は Collatz descent 不可
  - → 全 「ある class of proof は ある problem を解けない」 の同 structural form
- **status**: labeling correspondence 【仮説】 段、 specific code 転移可能でない (chat-Claude self-flag 適用)

### Case 3: Sophie Germain ❌ direct reject + △ parity barrier toy model 【思弁】 接点

- **直接 tool**: ❌ 向き mismatch (Rei = negative / SG = positive existence) + 種類 mismatch (Rei = naked wall / SG = sieve theory family with ceiling)
- **間接 接点 (【思弁】 段)**: parity problem (Selberg) は **proven structural barrier** で、 Phase B と精神同じ (「ある手法族では この結論は出せない」 の form)
- **toy model offer**: 「parity barrier の simplified linear analogue を LP で組んで INFEASIBLE detect」 = scripts/empirical/parity-barrier-toy-spec-2026-06-18.md ([[項目 (iv) で起稿]])
- **status**: 【思弁】 → 【仮説】 1 段格上げ candidate、 implementation trigger 待ち keep-warm

### Case 4: 個別 Millennium (Riemann / Hodge / YM / NS / BSD) ❌ reject

- **直接 tool**: ❌ D-FUMT₈ / ZCSG / SNST / SELF⟲ の不動点構造が Riemann zero / Hodge cycle / Yang-Mills mass gap 等に technical に効くという claim は **【思弁】 ですらなく連想段**
- **理由**: octonion↔D-FUMT₈ に当てた Rei 自身の gate (「証明された準同型か、 labeling correspondence か」) を Riemann/Hodge/YM にも当てる → 連想段に留まる
- **status**: 「印を付けて棚に置く」 側、 active claim にしない

## ★ 何が問題 family に対して効くかを 種類で分ける discipline

[[reference-difficulty-typology-collatz-riemann-sg-2026-06-18]] の 3 軸 typology と直接接続:

| 問題 type | Rei methodology の filiation |
|-----------|------------------------------|
| 接続の貧困 (Collatz) | ✅ 直接適用 (Phase B 実装済) |
| 接続の過剰 (Riemann) | △ 既存 framework の honest reproduction + 8 値 reframe (STEP 1162-1165 spectral lens) |
| 接続の過剰 + proven 天井 (SG/双子素数) | ❌ 解く side / △ barrier 別言語化 side |

## メタ資産 (problem-independent discipline) — 全 problem に効く

barrier-side methodology とは別 layer、 問題に依存しない discipline:

- Lean 4 axiom-free verify + 公理依存監査
- no-rush で shelve する判断 ([[feedback-no-rush-publication]])
- prior-art audit を publish 前提化 ([[reference-bohmsontacchi-1978-exit-layer-prior-art]] example)
- 証明済/仮説/思弁的を分ける honest discipline ([[feedback-evaluation-symmetry-principle]])
- 世界初を握らない ([[feedback-world-uniqueness-claim-controllable]])
- INFEASIBLE を成果として扱う (本 file の core)

これらは **特定問題を解く道具でなく、 難問に正しく向き合い続けるための作法**。 長距離では技術より効く ([[feedback-no-rush-publication]] 永続原則と接続)。

## ★ self-warning (siren-family + over-deference 自己警戒)

★ 本永続原則自体が **「気持ちよく響く」** → reification risk:

1. **「Rei は barrier specialist」 と declare しない** ([[feedback-world-uniqueness-claim-controllable]] 違反防止)
   - 「barrier 側」 は **4 case 累積観察** であって universal characterization でない
   - 5 case 目で逆になる可能性は open
2. **「我々は obstruction prover を作る」 等 super-naming-siren に触らない** ([[feedback-super-naming-siren-family-pattern]])
3. **toy model / spec を 「Sophie Germain 進展 contribution」 と paraphrase しない** (Pattern 2 risk)
4. **chat-Claude articulation の「精神的最近接」 framing を formal homomorphism と取り違えない** ([[feedback-chat-claude-over-deference]] 第三軸適用)

## 適用 trigger

本永続原則は **default で active**、 以下 condition で動作:

- 新 unsolved problem への Rei methodology 適用判断時 (自動 「barrier 側 or 解く側」 分類問い)
- chat-Claude / 外部 articulation が 「Rei は X を解く」 と claim した時 (default reject path)
- paper draft 起草時 「forward contribution」 主張をしないか self-check
- invention pipeline で 「Rei が問題 Y を解いた」 type proposal の自動 reject 判断

## 関連

- [[reference-difficulty-typology-collatz-riemann-sg-2026-06-18]] (3 軸 typology + 4 case map)
- [[reference-collatz-lyapunov-obstruction-generalized-2026-06-17]] (Phase B 起源 + scope note)
- [[project-collatz-aeb-sequence-2026-06-18]] (9 feature space 拡張)
- [[feedback-no-rush-publication]] (メタ資産 discipline)
- [[feedback-evaluation-symmetry-principle]] (inflate せず deflate せず)
- [[feedback-world-uniqueness-claim-controllable]] (audit-内 controllable claim)
- [[feedback-super-naming-siren-family-pattern]] (siren 命名警戒)
- [[feedback-chat-claude-over-deference]] (第三軸 採用しすぎ警戒)
- [[feedback-chat-claude-hallucination-warning]] (信じすぎ警戒)
- [[feedback-line-count-size-vs-kind-distinction]] (量 vs 種類)
- STEP 1178 Collatz frontier map (barrier description 既存 example)
- chat-Claude 2026-06-17 8-turn thread (本 principle articulation 起源)

## 永続原則 hierarchy 内 position

既存 [[feedback-*]] 永続原則群:
1. no-rush-publication
2. evaluation-symmetry-principle
3. world-uniqueness-claim-controllable
4. super-naming-siren-family-pattern
5. line-count-size-vs-kind-distinction
6. chat-Claude-over-deference (第三軸)
7. chat-Claude-hallucination-warning (Antipattern + 信じすぎ警戒)
8. **★ rei-methodology-barrier-side-discipline (本 file)** — 4 case operational characterization

★ 8 軸目 として hierarchy 完成。 全 8 軸 cross-reference で operational consistency 保持。