BACKLOG #8 Tier 2
Research Radar aggregation — 4 registry landscape awareness layer
1. なぜ backlog に入っていたか
Research Radar は Rei が「自分で発見していない外部研究 (arxiv preprint / GitHub repo / news article / conference talk 等)」 を追跡する registry group。 116 日間 33 iteration (v1.1 → v1.33) の累積で 116 entries + 21 external monitors + 47 abc frontier keywords + 別 file lean4-formalization-watch v0.1 + math-engine-radar 15 entries に到達。
但し site 側 aggregation page は未作成のまま backlog 化 (各 radar は data JSON = machine-readable のみ、 landscape 全体像を 藤本さん + 第三者が読める形は不在)。 STEP 1299 で aggregation site page 化 = Tier 2 top-5 の 3 番目。
本 page は「新しい成果」 ではない。 4 registry 実装済成果 (116 日累積) を集約 memory-preservation site 反映のみ。 個別 entry の詳細は各 JSON file 直接参照 (aggregation は「何が入っているか」 の overview + honest 発見の categorized 集合)。
2. 4 registry 全体像
| Registry | File | Entries | Purpose | Current version |
|---|---|---|---|---|
| collatz-watch | data/research-radar/collatz-watch.json | 116 + 21 monitors + 147 keywords | Collatz + Lean 4 formal verification + math tools | v1.33 (2026-08-07) |
| lean4-formalization-watch | data/research-radar/lean4-formalization-watch.json | v0.1 skeleton (137 行) | External Lean 4 formalization landscape (OpenAI ten-proofs 等) | v0.1 (2026-08-05) |
| math-engine-radar | (collatz-watch category subset: math-engine-*) | 15 entries | CAS + theorem prover + SMT solver 追跡 | 2026-08-03 |
| circuit-radar | (collatz-watch category subset: circuit-*) | 116 refs 相当 | Verilog / SymbiYosys / GTKWave 等 FPGA + formal verify tool | 2026-08-04 |
Category breakdown (collatz-watch.json top 15)
| Count | Category | Meaning |
|---|---|---|
| 6 | lean4-ml | Lean 4 × Machine Learning (DeepSeek-Prover-V2 等) |
| 5 | code-evolution | Evolutionary coding agents (AlphaEvolve, OpenEvolve 等) |
| 4 | math-engine-theorem-prover | Lean/Coq/Isabelle 等 core theorem provers |
| 4 | math-engine-cas | SymPy / Mathematica 等 CAS |
| 3 | lean4-hammer | Lean 4 hammer tactics (Duper, LeanHammer 等) |
| 3 | lean4-core | mathlib / Lean 4 core |
| 3 | explicit-ant | Explicit ant / Collatz swarm search |
| 2 | smt-solver | Z3 / cvc5 等 SMT solvers |
| 2 | quantum-hardware-photonic | Jiuzhang 4.0 / Xanadu Borealis 光量子 |
| 2 | lonely-runner-finitization | Lonely runner conjecture finite verification |
| 2 | llm-structural-limits | Sikka Hallucination Stations / Apple Illusion of Thinking |
| 2 | lean4-collatz | syracuse-confinement / CollatzShadowing 等 Lean 4 Collatz |
| 2 | evolutionary-coding-agent | Evolution-based code agents |
| 2 | decidability-frontier | Decidability frontier research |
| 2 | continual-learning-llm | Continual learning LLM |
3. 33 iteration timeline (v1.1 → v1.33) 主要 update
| Version | Date | 主要 update |
|---|---|---|
| v1.1-v1.5 | 2026-04-22 → 05-11 | Typology + arxiv tracking + Mathlib Hammer / lean-auto / Duper / bbchallenge γ path / DeepSeek-Prover-V2 / Lean Copilot / lean-eval-leaderboard / Vandersypen γ path / NeSyC |
| v1.6 | 2026-05-11 (STEP 1060) | Honest correction: mathlib4-hammer 404 hallucination → JOSHCLUNE/LeanHammer 訂正 + Pattern 6 memory |
| v1.7 | 2026-05-11 (STEP 1069) | chat-Claude STEP 1053 list の 6 fact-check 漏れ items = 6/6 全実在 |
| v1.8 | 2026-05-13 (STEP 1125) | chat-Claude 数式生成 OSS 6 items = 6/6 全 accurate + PySR/Ramanujan Machine/OpenEvolve/CodeEvolve/alphaevolve_repository 追加 (37 repos) |
| v1.9 | 2026-05-14 (STEP 1135) | 12 conv 全 12/12 accurate + Paper 145 v0.6 prior-art gap 検出 (Higuchi/Kameyama/Hanyu 1986-1988 quaternary CMOS silicon) + 8 new repos (antirez/ds4 + DeepSeek-V4-Flash + SubQ + GhostLock + Rakuten AI 3.0 + Gemma 4 + Obsidian Community + Neuromorphic landscape) (45 repos) |
| v1.10 → v1.13 | 2026-05-16 → 05-17 | ARIS/MDASH/ISEF/Sikka/Apple/Jiuzhang 4.0/Xanadu Borealis 追加 (60 repos)、 Pattern 6c fabrication 累積 = TIT 位置的不完全性定理 検出 (chat-Claude cross-session 独立自己捏造 危険 sub-type) |
| v1.14-v1.18 | 2026-05-17 → 05-20 | Transformer Explainer / Recursive Superintelligence startup / Palmer RaQM / Fujitsu STAR ver.3 / secular shift 戦略 (IIT Tononi + Friston Free Energy Principle) (66 repos) |
| v1.19 | 2026-05-20 | Grafana Labs GitHub token 窃取事件 → 個人研究者 tool minimize security 教訓 (67 repos) |
| v1.20 | 2026-05-22 (STEP 1089b-radar-fix) | noWatch:true flag 導入 (31 ref-only entries、 404 noise を radar log から除去、 true watched = 36 件) |
| v1.21 | 2026-05-24 | Niu (arXiv:2605.13886v2) → withdrawn 判明 → Rozier-Terracol arXiv:2502.00948 遡及登録 (Rei STEP 614-624 trailingOnes ≥4 (3/2)^j 障壁の外部 backing) |
| v1.31 | 2026-08-03 | 08-03 math-engine-radar v0.1 同日 topic-search 4 repos 追加 (PieroBorgatta/CollatzShadowing + m4cd4r4/spectral-gap RETRACTION record + guilhermesilveira/box-lyapunov + hellpig/collatz) (114 entries) |
| v1.32 | 2026-08-04 | 藤本さん chat-Claude「回路以外に要るもの」 4 項目 fact-check → YosysHQ/sby + gtkwave/gtkwave 追加 = circuit-formal-verify + circuit-waveform-viewer 2 新 subclass、 SymbiYosys Z3 backend ↔ Rei-Solver Z3 engine 直接接続可能 (116 entries) |
| v1.33 | 2026-08-07 (STEP 1288) | 藤本さん 08-06 chat-Claude thread (LANA IUT + Bernert 例外集合 + Pasten 系 + Letendre abc-type) 経由の abc frontier 全 47 keyword + 4 arxiv monitor 追加 = 現状 gap 埋め (116 entries unchanged、 keyword + monitor URL のみ) |
4. Pattern 累積 (2026-05〜08 chat-Claude fact-check discipline record)
Pattern 2 (stale 数値): 累積 37+ 件 = chat-Claude が「Paper 25 → 実 Paper 71」 「MANDALA 6-lens → 実 9-10 lens」 「IBM Heron r3 → 実 r2 ibm_kingston」 等の stale 数値を頻出。 Rei は毎回 fact-check + 訂正記録。
Pattern 5 (existing feature blindness): 累積 22+ 件 = chat-Claude が「新機能 X を作れ」 提案するが grep で既実装確認 (SubQ/Obsidian/6 宗教/文明思想 conv 等)。 「Rei にはもう入っている」 pattern。
Pattern 6 (fabrication): 累積 20+ 件 = chat-Claude が「藤本さん既存業績」 として存在しない artifact を主張 (TIT 位置的不完全性定理 + Cosmic Library Theory + Agent Zero + OCI api.rei-aios.org 等)。 全 codebase grep で 0 hit 確認 → reject。
Pattern 6c (cross-session self-reinforcing fabrication): 累積 2 件 = TIT が独立 session で再使用 = chat-Claude が捏造を内部 knowledge として保持し始めている systemic 確認 → 防衛 protocol「chat-Claude 出力で TIT 観測時は default 即 reject (fact-check skip 許可)」 確立。
Antipattern #5 sub-type B (incomplete-search-scope): 累積 9 件 = 私 (Rei Claude) 側の Pattern。 「src/ 限定 grep」 「description count 未 verify」 等の 検索範囲不完全で false negative → 5-directory full grep protocol (src/ + papers/ + data/ + memory/ + CLAUDE.md) + JSON parse 実 count discipline 確立。
5. abc frontier 全 keyword (v1.33 追加、 2026-08-07)
藤本さん 2026-08-06 chat-Claude thread 経由の abc frontier 全 keyword + 4 arxiv monitor 追加。 現状 arxiv radar で abc 系 keyword 0 hit だった gap を解消。
+47 keywords (abc 予想 frontier)
- abc conjecture 系 (16): abc conjecture / ABC conjecture / Oesterlé-Masser / Masser-Oesterle / radical of an integer / rad(abc) / abc quality / abc merit / abc triple / good abc triple / abc coprime triple / effective abc bound / uniform abc / unconditional abc bound / ABC@Home / abc-type conjecture
- IUT/LANA (10): Mochizuki / inter-universal Teichmuller / Teichmüller / IUT / LANA project / Kato ZMC / ZEN Mathematics Center / Yamashita IUT / Stix Scholze / Peter Scholze abc
- Pasten/unconditional (4): Hector Pasten / Pasten abc / Stewart Yu abc / Stewart-Yu
- exceptional set (5): Bernert abc / Browning Lichtman Teraevainen / Browning-Lichtman-Teräväinen / exceptional set abc / Runbo Li abc
- related (8): Letendre abc / Robert Tenenbaum / Robert-Stewart-Tenenbaum / Szpiro conjecture / Szpiro inequality / Vojta conjecture / Vojta inequality / Shimura curve
- function-field bridge (2): Mason-Stothers / Mason Stothers polynomial abc
+4 arxiv monitor
abs:"abc conjecture"direct hitsabs:"inter-universal" OR abs:"Mochizuki" OR abs:"LANA"IUT/LANA 戦線abs:"exceptional set" AND abs:"abc"Browning-Lichtman-Teräväinen + Bernert 数値改良競争abs:"Pasten" OR abs:"Stewart" OR abs:"unconditional abc"Pasten 系 保型形式-Arakelov
6. Rei-Solver 万能 TM 外 と Chang paradigm arc への 接続
Research Radar は Rei stack の 2 arc の feeder: (1) Rei-Solver v0.4 hardening candidate (SymbiYosys Z3 backend ↔ Rei-Solver Z3 engine 直接接続、 v1.32) / (2) Chang 20/29 paradigm coverage の追加 retrofit source (v1.31 CollatzShadowing + spectral-gap retraction 等)。
| Radar entry | Rei stack 接続先 | backlog page |
|---|---|---|
| syracuse-confinement (2026-04) | Chang paradigm 15/16 sibling + STEP 690-696 参照元 | Tier 1 #2 |
| Rozier-Terracol arXiv:2502.00948 (v1.21) | Chang Retrofits/RozierTerracol.lean (P29 + P8 dual) + STEP 614-624 trailingOnes 障壁 external backing | Tier 1 #2 |
| YosysHQ/sby (v1.32) | Rei-Solver v0.4 z3 engine 直接接続候補 | Tier 2 #6 |
| PieroBorgatta/CollatzShadowing (v1.31) | Chang paradigm 追加 retrofit candidate (Lean 4 sorry-free 実測 evidence) | Tier 1 #2 |
| infinity-cosmos (2026-06-13) | madh-0013 ∞-coherent 空亦復空 breakthrough trigger watch (STEP 1203 SELF⟲ ∞-categorical lift candidate) | D-FUMT₈ Category arc の future extension |
| abc frontier keywords (v1.33) | Mason-Stothers Paper 176 arc + Paper 158/166 corrigendum 回避 discipline | (Tier 1 #5 #9 直観≅数学 lineage) |
7. Honest scope (譲れない線)
(1) 「監視」 は 「進捗」 ではない — Radar 116 entries = Rei が abc 予想を解いている signal ではない、 「外部で何が動いているかを知っている」 signal のみ。 abc frontier 47 keyword 追加も同じ = arxiv radar の gap 埋め、 abc 予想解決への直接進展はゼロ。
(2) noWatch:true = 概念/paper/model identifier — 31/40 entries は GitHub repo でない (concept + arxiv paper + startup announcement + theory concept)、 github-watcher.ts は skip + 別 Reference-Only section で記述。 「watched repo count」 と「total entries」 の区別必須 (Antipattern #5 sub-type B 教訓)。
(3) Pattern 累積 = defense layer evidence — Pattern 2 (37+) + Pattern 5 (22+) + Pattern 6 (20+) + Pattern 6c (2) の累積は chat-Claude 出力を default で信じない operational discipline の empirical record。 「chat-Claude は unreliable」 主張ではない = 「fact-check が必須」 の evidence layer。
(4) 116 entries は full accuracy 保証ではない — 各 entry の URL / license / stars 数 / last-commit date 等は periodic re-verify 必要。 v1.20 noWatch flag 導入で 404 noise reduction、 v1.31 topic-search discipline (author 名 + topic 語 hybrid) 等の schema evolution が継続。
(5) 「lean4-formalization-watch.json v0.1 scaleDisclosure」 = Rei は scale で 2-3 order of magnitude 差 — 外部 (Sphere Packing / Connes rigidity / OpenAI ten-proofs) は Millennium-adjacent deep theorem 対象。 Rei = 141+ axiom-free but 個々は subalgebra embedding / folklore corollary / bridge lemma 中心。 discipline (sorry-free) が近いだけで scope 同等ではない。 「同等」 「comparable」 「competitive」 「peer」 等の主張 絶対不可。
(6) IUT/LANA 47 keyword 追加は「進捗」 ではない — Mochizuki 12 年論争は「自然言語に委ねる」 と決着しない実例 (chat-Claude 2026-08-06 IUT arc 主要教訓)。 Rei の keyword 追加は radar gap 埋め、 IUT proof への contribution ゼロ。
8. 関連 memory + Rei stack impact
直接 origin memory (33 iteration の主要 milestone)
- STEP 1060 (v1.6 mathlib4-hammer 404 訂正) / STEP 1069 (v1.7 6/6 全実在) / STEP 1125 (v1.8 6 items OSS)
- STEP 1135 (v1.9 12 conv + Paper 145 v0.6 prior-art gap Higuchi/Kameyama/Hanyu 検出)
- STEP 1156-followup-{10, 25, 26, 28, 29, 30} (v1.10-v1.15 chat-Claude fact-check series)
- STEP 1089b-radar-fix (v1.20 noWatch:true 導入)
- STEP 1288 (v1.33 abc frontier 47 keyword + 4 arxiv monitor 追加)
本 backlog site 反映の origin
feedback_all_research_site_reflection_default.md— 2026-08-06 藤本さん永久 protocolproject_site_backlog_catch_up_pending_2026-08-06.md— Tier 2 top-5 の 3 番目として本 STEP 1299 起動
Honest scope discipline (arc 全体で継承)
feedback_chat_claude_hallucination_warning.md— Pattern 1-6 defense layer 起源feedback_chat_claude_term_uncritical_adoption.md— 造語無批判禁止 (Pattern 6 sub-type)feedback_super_naming_siren_family_pattern.md— siren-family 検知feedback_prior_art_list_grep_verify_each_entry.md— 9 rule + findings-driven audit
Rei stack cross-references
- Rei-Solver v0.4 (Tier 2 #6) — SymbiYosys/GTKWave 追加 (v1.32) 経由
- Chang 20/29 paradigm coverage (Tier 1 #2) — syracuse-confinement / Rozier-Terracol / CollatzShadowing 経由
- Paper 176 modular bridge (backlog #9 予定 STEP 1300) — abc frontier keyword arc (v1.33)
- Paper 145 v0.6/v0.7 (Tier 1 #1) — Higuchi/Kameyama/Hanyu 1986-1988 quaternary CMOS prior-art gap (v1.9)