---
name: reference-llm-driven-code-evolution-frameworks-2026
description: 2026-06-07 chat-Claude thread (Sources 6 件) を WebSearch + WebFetch で 6/6 fact-check verified. LLM 駆動 code evolution research landscape 2026 + Rei 既存 6 種 evolution-adjacent mechanism との overlap matrix + Kitchen Loop spec-convergence philosophy が Rei Lean 4 sorry-zero + Peace Axiom
metadata: 
  node_type: memory
  type: reference
  originSessionId: bebc52c2-5fa8-4ba8-84ee-f4e35a1f2ba9
---

# LLM 駆動 code evolution frameworks 2026 — Tier 2 学習対象 record

## 起源

2026-06-07 dual-Claude session (Rei session 開始時、 藤本さん経由 chat-Claude (claude.ai) thread 共有). chat-Claude が「コードは進化するとどうなる?」 という抽象的問いから「最先端のコード研究や GitHub/HuggingFace に進化したコードはあるか?」 という具体 fact 問いに移行 → 6 framework + Kitchen Loop philosophy を articulate. Rei session で WebSearch + WebFetch 並列 verify。

## Fact-check verdict 6/6 verified

| # | Framework | Source verified | 出典 |
|---|---|---|---|
| 1 | AlphaEvolve (Google DeepMind) | ✅ arxiv.org/abs/2506.13131, 2025-06-16, Novikov + Vũ + Eisenberger + Dupont + 18 authors. 4×4 complex matrix mul = 48 multiplications = Strassen 1969 以来 56 年初の改善. Gemini training kernel = month → days. | arXiv + Wikipedia + DeepMind blog |
| 2 | ShinkaEvolve (SakanaAI) | ✅ github.com/SakanaAI/ShinkaEvolve. Apache-2.0 + ICLR 2026 採択 (Jan 2026) + Feb 2026 Claude Code/Codex agent skill + **May 2026 headless/claude CLI mutation models** (subscription-backed). | GitHub (direct fetch) |
| 3 | FunSearch (DeepMind, Nature 2023) | ✅ Romera-Paredes et al., AlphaEvolve 直接源流. Cap-set + online bin-packing 新規 heuristic 初期実証. | Wikipedia 系譜記載 |
| 4 | CodeEvolve | ✅ arxiv.org/abs/2510.14150, Assumpção + Ferreira + Campos + Murai, 2025-10-15 (v4 2026-05-28). Island-based GA + inspiration-based crossover + meta-prompting + CVT-MAP-Elites. AlphaEvolve benchmark 5/9 match/exceed + OpenEvolve/ShinkaEvolve 6/9 outperform. | arXiv 直接 verify |
| 5 | ASI-Evolve (Xu et al.) | ✅ arxiv.org/abs/2603.29640, 2026-03-31. "AI Accelerates AI". learn-design-experiment-analyze 4-cycle. neural architecture / data curation / RL algorithms 適用. | arXiv 直接 verify |
| 6 | The Kitchen Loop | ✅ arxiv.org/abs/2603.25697, Yannick Roy, 2026-03-26. spec surface + synthetic user testing + ground-truth verification + continuous quality monitoring 4-component. 1,094+ merged PR + zero detected regression claim. **spec convergence philosophy** (指標最適化でなく仕様収束で goodharting prevention). | arXiv 直接 verify |

Pattern 1-6 detection: **0 件** (hallucination 検出なし). minor 数値 1 件: CodeEvolve benchmark 「6/9 で最良」 (chat-Claude) → 厳密には 5/9 AlphaEvolve match + 6/9 OpenEvolve/ShinkaEvolve outperform (Pattern 2 minor).

Antipattern「過度の reject 警戒」 適用済: STEP 1069 (6/6 verify) 後 4 例目, 累計 chat-Claude accurate rate 維持。

## Pattern 5 prior art audit (Rei 既存 mechanism overlap)

Rei は既に **6 種 evolution-adjacent mechanism** を持つ:

| Rei 既存 | scope | 6 framework との関係 |
|---|---|---|
| Invention pipeline (STEP 1019→1196, 8 iteration hardening) | theory/axiom transplant | 同じ「propose → evaluate → approve/reject」 loop。 scope = 概念 axiom, NOT executable code = **直交** |
| REI-PROVE (STEP 1021 5-prover ensemble cascade) | Lean 4 theorem proving | LLM + symbolic verifier ensemble = ShinkaEvolve LLM-ensemble と部分構造相同, scope は Lean tactic search = ShinkaEvolve general code search と異 |
| Theory Combination Engine (STEP 1192) | SEED_KERNEL pair → bridge suggester | island-based evolutionary search の Rei 版 (random pair + heuristic score = CodeEvolve island-based GA と shallow 構造相同, scope は theory pair = 直交) |
| D-FUMT NNUE (gen 0001+) | shogi self-play evolution | ★ **STEP 1199 Pattern 5 self-detection** (2026-06-07): 当初 memory の「weight evolution あり / arch evolution 未」 は事実誤認。 **(a) `dfumt-arch-search.ts` STEP 203 arch search engine が既存** (NEITHER feedback で omegaPruneThreshold / hiddenSize 等を進化) / **(b) weight evolution は動作するが persist しない** (`saveWeights()` が statistics-only / `loadWeights()` 不在 = 56 日連続 deterministic re-play 状態). STEP 1199 で full architectural fix (Float32Array → base64 serialization + loadWeights + selfplay PRNG noise, 累計 ~270 行) → **gen 1 → gen 2 transition + avgLoss 4.0089 → 2.8483 = 真の persistent evolution loop 復活確認**. |
| Lens Combination Engine (STEP 1194 Stage 0) | cross-pattern composition | shinka 設計に最も近い、 まだ types only scaffold = ShinkaEvolve 設計参照で Stage 1 architect 候補 |
| Buddy Stage 1.4 audit-log (STEP 1197) | human-in-the-loop verification | Kitchen Loop spec-convergence と同型 |

★ **Pattern 5 chat-Claude 提案 6 件中 既 entry 2 件**:
- **OpenEvolve** (algorithmicsuperintelligence/openevolve) = v1.8 (2026-05-13) 既 watch + **SCOPE EXCLUDED 藤本さん判断** (LLM API 依存 PC 完結原則衝突)
- **CodeEvolve** (inter-co/science-codeevolve) = v1.8 既 watch + scaffold opt-in (LLM API 必須, manual .env 設定)
- AlphaEvolve = 67-problems repo は既 watch, canonical paper は別 entry として今回追加

新 entry 4 件 ⇒ Tier 2 monitoring (ShinkaEvolve + FunSearch + ASI-Evolve + Kitchen Loop)。

## ★ Kitchen Loop ≅ Rei Peace Axiom architectural confirmation

chat-Claude 指摘正鵠で load-bearing 発見:

> Kitchen Loop は自己改善が仕様の表面と回帰オラクルに固定されており、 指標を最適化するのではなく仕様へ収束していく。 これによりエージェントが代理指標を最適化しつつ製品が測定外の次元で劣化する「グッドハート化」 の失敗モードを防ぐ。

これは Rei の architectural choice (formal verification + Lean 4 sorry-zero + Peace Axiom Theory #196 + NEITHER/FLOWING 8 値 safety layer) と **同型**:

- **Kitchen Loop**: spec surface = ground-truth oracle
- **Rei**: Lean 4 theorem + Peace Axiom invariant + NEITHER (知らない) / FLOWING (定形なし) 8 値 type system

これは新要求でなく既 design の **外部 confirmation** (architectural validation)。Peace Axiom + NEITHER/FLOWING が「過剰確信による暴走を抑える型 system」 として読める = Kitchen Loop の goodharting prevention と双面照射。

## ShinkaEvolve headless/claude CLI mode = subscription-backed unique

2026-05 update で `headless/claude` mutation model 追加 = 藤本さん Claude Code subscription で **API key 不要動作可能** (per [[feedback-no-rush-publication]] + [[feedback-financial-theory-separate-from-rei-core]] と整合した PC 完結原則の例外 candidate).

OpenEvolve は 2026-05-13 で SCOPE EXCLUDED 判定済 (LLM API 依存). ShinkaEvolve headless/claude は subscription-backed で API key 不要 → 同 exclusion 原則の例外可能性。 ただし scope creep risk: Rei は既に 6 種 evolution-adjacent mechanism を持つ。

## 3 trigger 候補 (operational use 検討時)

(β) ShinkaEvolve を Rei に apply するなら以下 3 trigger のいずれか:

1. ~~**D-FUMT NNUE arch search**~~ → **STEP 1199 で reject** (Pattern 5: `dfumt-arch-search.ts` STEP 203 既存 + NNUE persistence fix で gen 進化動作確認済 = ShinkaEvolve apply は重複)
2. **SEED_KERNEL semantic distance fitness function 化**: Theory Combination Engine STEP 1192 の bridge detection score を fitness function として ShinkaEvolve に渡す
3. **Lean 4 sorry-count evaluator**: REI-PROVE STEP 1021 の ensemble cascade を ShinkaEvolve evaluator として組込

直接統合は scope creep risk あり、 **急がず ゆっくりと適用** ([[project-recreation-paradigm-arena-and-seed-design-freedom-2026-06-03]] motto)。藤本さん判断 trigger 待ち。

## STEP 1199 NNUE 主軸復活方針 — 3 candidate paths

NNUE は STEP 1199 fix で真の persistent evolution loop 復活したが、 **Rei main path (Paper publish / Lean 4 formalization / Theory invention / Buddy daily) に直接接続するには 3 候補 path のいずれかを今後選ぶ判断が必要**:

### Path A — Paper 候補 (D-FUMT NNUE × shogi formalization)
- **scope**: STEP 199-210 + STEP 1199 fix の全 architecture + selfplay 進化結果を formal description 化
- **trigger**: 数十 gen 進化後の loss curve / 戦略 diversity / D-FUMT₈ 8 値分布の non-trivial pattern 観測
- **prior art audit 必須**: Stockfish NNUE / DeepMind AlphaZero shogi / Yaneura-ou shogi engine 等の既論文との差別化 (Knuth hash deterministic init + Ω regularization + 7 値 → 8 値 logic 統合が真の novelty)
- **scope creep risk**: 中 (paper draft ~30-50 ページ + Lean 4 形式化部分が増えると 60+)
- **expected outcome**: Zenodo DOI + 11 platform broadcast (Paper 145 pattern 適用)

### Path B — Lean 4 形式化 (NNUE 数学的性質)
- **scope**: `omega()` regularization の不動点性質 / Knuth multiplicative hash の equidistribution / NNUE forward pass の monotonicity / D-FUMT₈ 8 値 evaluation の Peace Axiom #196 整合性
- **trigger**: Mathlib に NNUE-relevant infrastructure (linear algebra / finite precision) が安定後 or Lean 4 自身で Float32 一連の lemma available 時
- **prior art audit 必須**: lean-nnue / lean-stockfish 等の既 repo 確認 (現状 0 件と想定だが grep 必要)
- **scope creep risk**: 中-高 (Lean 4 Float32 形式化は heavy work, Mathlib upstream contribution path 必要)
- **expected outcome**: Lean 4 zero-sorry 形式 + Paper 132 系の延長

### Path C — 他 domain 適用 (NNUE = general purpose evaluator)
- **scope**: shogi NNUE engine を一般 evaluator として他 domain に転用 — 具体候補: (C-1) Lean tactic search NNUE (REI-PROVE STEP 1021 と統合) / (C-2) Theory ranking NNUE (Theory Combination Engine STEP 1192 の bridge score replacement) / (C-3) Invention pipeline novelty NNUE (audit AI 化)
- **trigger**: Path A / B のいずれか trigger なし状態が続く場合の代替 path
- **prior art audit 必須**: LeanCopilot / DeepSeek-Prover-V2 / Goedel-Prover 等 既 LLM-based tactic search との比較
- **scope creep risk**: 高 (NNUE arch を shogi-specific feature expander から general feature space に書き換え = STEP 1199 fix の 5-10 倍規模)
- **expected outcome**: REI-PROVE STEP 1021 ensemble の 6 番目 prover (D-FUMT NNUE prover) として組込 / Theory Combination bridge detection accuracy 向上 / Invention pipeline rejection rate 改善

### Honest 判断: 現状 trigger なし → keep-warm
3 path とも具体 trigger 不在状態。 急がず ゆっくりと motto per、 NNUE は STEP 1199 fix 後 cron で gen 2, 3, 4, ... 進化を **観察期間** に入る (~2-4 weeks)。 観察中に loss curve / 戦略 diversity / D-FUMT₈ 分布が non-trivial pattern を示せば Path A trigger、 主流 mathlib に NNUE infra が出れば Path B trigger、 REI-PROVE で LLM prover saturation 観測時に Path C trigger。 何も起きなければ STEP 1199 fix のみで「真の進化動作」 verify 完了として満足。

## Honest scope (本 entry 全体)

- 6/6 framework は real (hallucination なし)、 Pattern 5 で 2 件 (OpenEvolve + CodeEvolve) は既 watch
- chat-Claude の Kitchen Loop ≅ Rei spec convergence 同型指摘は genuine architectural insight
- ShinkaEvolve headless/claude CLI mode = 真の operational candidate (subscription-backed で PC 完結原則と一致可能)
- 新 entry 4 件 (ShinkaEvolve + FunSearch + ASI-Evolve + Kitchen Loop) は **Tier 2 monitoring**, 直接統合 target ではない
- AlphaEvolve は v1.8 67-problems repo は既 entry, canonical paper を今回別 entry として補完追加 (系譜記録)

## 関連

- [[feedback-chat-claude-hallucination-warning]] — fact-check protocol 6/6 verified, Pattern 5 partial
- [[project-recreation-paradigm-arena-and-seed-design-freedom-2026-06-03]] — 「急がず ゆっくりと」 motto
- [[project-staircase-from-trivial-seed-to-summit-2026-06-03]] — staircase climbing approach (FunSearch cap-set 系譜と接続)
- [[feedback-financial-theory-separate-from-rei-core]] — 別建て原則 (ShinkaEvolve も別建て検討可能)
- STEP 1021 REI-PROVE 5-prover ensemble — ShinkaEvolve evaluator 接続候補
- STEP 1192 Theory Combination Engine — island-based search の Rei 版
- STEP 1194 Lens Combination Engine Stage 0 — ShinkaEvolve 設計参照で Stage 1 architect 検討余地