---
name: 2026-04-23 Learning unstick session (NNUE + Radar + Eternal + Wolstenholme)
description: 4 学習系バグを順次修正 — NNUE Gen 0 stuck / GitHub radar FAIL / Eternal 0件 / Wolstenholme Lean 4 cross-ref
type: project
originSessionId: 2812f631-04af-4dd8-a8cd-4f872e1e1383
---
# 2026-04-23 学習状況 4 課題順次修正

## 成果サマリ

| # | 課題 | 修正 | commit | status |
|---|------|-----|--------|--------|
| 1 | NNUE 45世代連続棄却 | STEP 977: selfplay 決着率 0→100% + loss-based adoption | e67a6eb | ✅ Gen 1 到達 |
| 2 | GitHub radar 6日連続 FAIL | .env CRLF parse バグ fix | 8d32784 | ✅ 22 repo 正常取得 |
| 3 | Eternal 累計 0件 | STEP 978: filename fallback + threshold 0.70→0.60 | 813dc90 | ✅ 次回 1件 approve 予定 |
| 4 | arXiv Wolstenholme 照合 | Linhares 2026-04-14 → DB 更新 (sorry 6→5) | 3713c5b | ✅ cross-ref 完了 |

## 詳細発見

### 課題 1: NNUE
- **3 つの連鎖バグ**:
  1. selfplay opponent-resign 分岐がコメントのみで未実装 → mate 検出しても引分扱い
  2. MAX_MOVES 到達時に問答無用 draw → 教師信号 target=0 一色で学習退化
  3. adoption criterion が newWins>=6/10 のみ → loss 大幅改善が世代進化に反映不能
- **本番相当 10局**: 先手0/後手10/引分0 / loss 5.77→4.01 / Gen 0 → **Gen 1**

### 課題 2: Radar
- **原因**: `.env` CRLF ファイル + `/^([A-Z_]+)=(.+)$/` regex
  - `.` が `\r` を line-terminator 扱い → `$` 位置不一致 → loadEnv 全 key 取得失敗
- **修正**: `split('\n')` 後 `\r$` strip + regex を `[A-Z_][A-Z0-9_]*` 強化
- **検出された重要更新**: Mathlib4 +50★ / Lean4 +93★ / DeepMind formal-conjectures +15★

### 課題 3: Eternal
- **2 つの連鎖バグ**:
  1. eternal-evolution-engine.ts が `proposal-queue-${date}.json` を読む (scheduled-tasks の export 先)
     → ローカルには undated `proposal-queue.json` (axiom-auto-learner が書く主ファイル) しか存在しない
     → 毎回 4ms で 0 件終了
  2. confidence threshold 0.70 が queue 内容 (max 0.612) に対し過度に厳格
- **本番 queue**: D-FUMT⊕フラクタル (0.612) + Ω×カオス (0.580) の 2 件 stale (2026-03-22 以降)

### 課題 4: Wolstenholme
- **Linhares arXiv 2604.16507 (2026-04-14)**:
  - C(2p,p) ≡ 2 (mod p³) for prime p≥5
  - 9 lemma / ~800 行 / **zero sorry**
  - "first Lean 4 formal verification"
  - relational analogy engine + human-directed formalization
- **Rei-AIOS 既存 DB**:
  - `formal-conjectures/Wikipedia/WolstenholmePrime.lean` に 6 sorry
  - Linhares は sorry #1 (基本定理) を閉鎖
  - 残 5: 16843/2124679 具体検証 / Bernoulli等価 / harmonic等価 / prime_infinite (真の open)
- **Paper 132 候補 (保留)**: 残 5 sorry へ Linhares approach を適用

## ファイル変更

- `src/aios/nnue/dfumt-selfplay-engine.ts` (STEP 977 A/B/C)
- `src/aios/nnue/dfumt-nnue-trainer.ts` (STEP 977 D)
- `scripts/research-radar/github-watcher.ts` (CRLF fix)
- `src/aios/eternal/auto-approval-engine.ts` (threshold 0.60)
- `src/aios/eternal/eternal-evolution-engine.ts` (filename fallback)
- `data/open-problems/wikipedia/wolstenholmeprime.json` (Linhares cross-ref)
- `src/axiom-os/unsolved-problem-typology.ts` NT-WOLSTENHOLME (rationale 更新)
- `test/step977-nnue-gen0-unstick-test.ts` (4/4 PASS)
- `test/step978-eternal-unstick-test.ts` (4/4 PASS)
- `package.json` (test:step977, test:step978 追加)

## 次回以降の follow-up

1. **NNUE**: 先手有利偏向観察 (untrained weights の bias) — 数世代進化後に自然消滅するか要観察
2. **Radar**: watch-list に 404 repo 4件 (teorth/expanalntnet 他) クリーンアップ
3. **Eternal**: proposal-queue.json は 2026-03-22 以降更新なし → axiom-auto-learner cycle の発火確認
4. **Wolstenholme**: Paper 132 化検討 (残 5 sorry 攻略戦略)