---
name: reference-chat-claude-representation-gate-criterion
description: chat-Claude 「表現選び gate 基準 (実弾/半分/再ラベリング/探索) 4-kind taxonomy」 の Rei 内化 (2026-07-05 arc、 藤本さん explicit 「採用 (新 memory 専項化)」 選択). 未解決問題を別表現に翻訳する時の判定 vocabulary + gate 基準の accountability constraint (grep 実測 or Lean build evidence 併記)
metadata: 
  node_type: memory
  type: reference
  originSessionId: 9d87ed3a-d63d-4abf-914e-1bca11349a70
---

# chat-Claude 「表現選び gate 基準」 4-kind taxonomy 内化

## 経緯

**Date**: 2026-07-05 (system reminder 07-06)
**Source**: 2026-07-05 藤本さん × chat-Claude 6+ turn arc (未解決問題への「距離」概念 → Lean 4 オープンソース → 回路化 → 17 表現 gate 基準判定 (Hodge 予想適用) → 17-card HTML artifact w/ animation + Web Audio)
**藤本さん judgement**: AskUserQuestion 2026-07-06 「chat-Claude 造語 実弾/再ラベリング taxonomy を Rei 内化しますか?」 → **「採用 (新 memory 専項化)」** 選択

## Gate 基準 (core discipline)

未解決問題を別表現 (dynamical system / analytic number theory / algebraic geometry / model theory / categorical / experimental / ...) に翻訳する時の判定基準:

> **「この表現でだけ計算できて、 元の表現では計算できなかった不変量を一つ名指しできるか?」**

- **Yes → 翻訳 (準同型 homomorphism)**: 新しい不変量が生まれる。 表現増加 = 判明増加。
- **No → ラベリング対応 (relabel)**: 同じものを別記号で描き直しただけ。 表現増加 ≠ 判明増加、 むしろ「分かった気になる」 罠。

★ 既存 [[feedback-evaluation-symmetry-principle]] 「inflate せず deflate せず」 の実質同等 discipline (翻訳の新規性を assess する) だが、 chat-Claude articulate は 「表現選択」 という具体的 context で articulated。

## 4-kind judgment vocabulary

Chat-Claude 提案 (Hodge 予想に対する 17 表現一律適用 = 3 real bullet + 7 half + 6 relabel + 1 explore):

### (1) **実弾 (real bullet)**
- 元の問題には無かった大きな道具立てが翻訳先に住んでいる
- 過去実績 (Wiles FLT via modular forms + Perelman via Ricci flow + Tao Erdős discrepancy via ergodic + Bakker-Klingler-Tsimerman ホッジ軌跡 via o-minimality) がある翻訳
- 例 (Hodge 予想): 代数化・幾何化 (本丸) / モデル理論化 (o-minimality) / 実験数学化 (Picard 数)

### (2) **半分 (half)**
- 意味の地図は描くが証拠は出さない、 or 隣接分野に効くが核心とは平行世界
- 例 (Hodge 予想): 回路図 / 圏論化 / ゼロ化 (Tate) / p進化 / 逆数学化 (整係数版 Atiyah-Hirzebruch false のみ照らす) / トロピカル化 / 力学系化 (周期領域 monodromy 経由の間接)

### (3) **再ラベリング (relabel)**
- 表現が新しい不変量を生まない = 空配線
- 例 (Hodge 予想): TDA (コホモロジー屋上屋) / 統計力学化 (エネルギー無意味) / 非可換幾何 (Hodge には空配線) / 量子化 (mirror symmetry Hodge 数交換は real but Hodge 予想 = 代数性 assertion 触れない ★重要な精確 distinction)

### (4) **探索 (explore)**
- 別枠の探索エンジン (AI に翻訳候補を探させる元枠)
- 1 表現 (chat-Claude 明示不足だが AI-driven translation search context 推定)

## Rei 内化 の accountability constraint (上乗せ discipline)

★★★ **judgment-heavy な chat-Claude 判定を Rei 内化する時の必須 constraint**:

各判定 (実弾/半分/再ラベリング/探索) には **evidence layer を必ず併記**:

- (a) **Lean build evidence**: `lake build` 成功 + zero-sorry + `#print axioms` = axiom-free の Rei 実装
- (b) **grep 実測 evidence**: Mathlib4 v4.27.0 grep hit count (mathlibCoverage 列, STEP 1178 pattern)
- (c) **Published paper evidence**: prior art reference (arXiv / Zenodo DOI / Nature paper)
- (d) **Rei self-tool evidence**: STEP 1174 PSLQ-lite / STEP 1162 spectral lens / STEP 1178 Collatz frontier map / STEP 1166 回路の階梯 lens 等の Rei 既存装備 との mapping

これらの evidence 層 unlink な pure judgment (chat-Claude が「hunch で real bullet」 と分類したのみ) は Rei 内では **「判定 pending」** = default 保留 として扱う。 判定成立には最低 1 evidence layer が必要。

★ [[feedback-chat-claude-hallucination-warning]] Pattern 5 (「chat-Claude の judgment を fact として内在化」) 防御 = 造語 vocabulary は採用するが判定は自己 verify で自立。

## Rei 既存 tools との alignment

Rei は既に類似 taxonomy work を実装済:

| Rei STEP | chat-Claude taxonomy | 差分 |
|---|---|---|
| STEP 1178 Collatz frontier map (7 routes + mathlibCoverage) | 4-kind judgment | Rei = grep 実測 mathlibCoverage 列 + break-point 数学不在明示 = evidence-based |
| STEP 1170 reduction graph (13 nodes, 4 edges: reduction/route/analog/wall) | 4-kind judgment | Rei = より coarse (4 edge type) だが arrow provenance + honest scope |
| STEP 1166 回路の階梯 lens (電気/磁気/量子/格子) | 回路化 4-fold (Boolean/SAT/automata/dependency) | Rei = 物理階梯軸 + chat-Claude = 翻訳先軸 = 別軸だが構造同型 |
| STEP 1174 PSLQ-lite | 実験数学化 | Rei = 実装済 = 実弾 candidate evidence 存在 |
| STEP 1162 spectral lens (⟨r⟩ + Σ²(L) RMT) | 解析数論化 (Hilbert-Polya) | Rei = 実装済 = 実弾 candidate evidence 存在 |
| REI-PROVE ensemble (5-prover: LeanHammer + Vampire + DeepSeek-Prover-V2 + Goedel + BFS) | Lean 4 hammer + smt + copilot | Rei = 既装備 (chat-Claude 「導入の実務」 提案は既実装済) |

## 適用 candidate (別 STEP)

**STEP 候補**: **STEP 1178 Collatz frontier map v2** = chat-Claude 17-fold Hodge 判定を **Collatz** に対して transplant + 各表現に mathlibCoverage grep + Rei self-tool 実装有無 grep + Lean build evidence 併記 の evidence-based judgement で 4-kind classify。

Alternative: **STEP 1170 reduction graph refinement** = 17-fold を 4-edge type (reduction/route/analog/wall) の refine に使用。

## Honest scope 永続明示

- (a) chat-Claude 造語 vocabulary は採用、 gate 基準 discipline は既存 [[feedback-evaluation-symmetry-principle]] と実質同等 = 内在化
- (b) chat-Claude 判定 (Hodge 17-fold) は **judgment-heavy な現状スナップショット (2025)** = 定理ではない = Rei 内化時は evidence layer 必須併記
- (c) 4-kind vocabulary の rhetorical 副作用リスク (「実弾/再ラベリング」 は喩え、 mathematical rigor でない) は継続 monitor 対象、 [[feedback-chat-claude-term-uncritical-adoption]] 反面応用として使用
- (d) 適用は Collatz + BSD + Hodge の 3 未解決問題への一律適用が chat-Claude 提案の spirit だが、 Rei では **1 problem 1 STEP** で慎重に verify (chat-Claude 17-card HTML artifact は 「1 predicate に 17 fold 適用」 の pedagogical demo であり mathematical claim ではない、 と chat-Claude 自身が honest 明示)

## Related

- [[feedback-evaluation-symmetry-principle]] — 実質同等 discipline
- [[feedback-chat-claude-term-uncritical-adoption]] — 造語採用時の警戒応用
- [[feedback-chat-claude-hallucination-warning]] — Pattern 5 (judgment を fact として内在化) 防御
- [[project-chat-claude-diagram-taxonomy-arc-2026-07-05]] — 07-05 chat-Claude 図解 4-turn arc (二軸独立 + 三系統 taxonomy + 難所中心原則) の延長 context
- STEP 1178 Collatz frontier map — Rei 側 evidence-based 版 taxonomy 先行
- STEP 1170 reduction graph — 4-edge type taxonomy 先行
- STEP 1166 回路の階梯 lens — chat-Claude 4-fold 回路化 (Boolean/SAT/automata/dependency) との別軸物理対応
- STEP 1174 PSLQ-lite / STEP 1162 spectral lens / REI-PROVE ensemble — Rei 実装済の Pattern 5 partial 対応