---
name: project-measurement-instrument-lenses
description: "Vision (藤本さん × chat-Claude, 2026-05-27): measure unsolved problems with physical instruments (speedometer/thermometer/spectroscope/scouter...); the acceptance test = 'does it yield ONE derived number?'; audit shows most real instruments already exist in Rei, gaps = magnetometer + thermography"
metadata: 
  node_type: memory
  type: project
  originSessionId: a9529a40-8942-4249-9360-b73abd430f78
---

藤本さん × chat-Claude 対話 (2026-05-27, forwarded)。未解決問題に物理的な「測定装置」を当てる遊び。鍵は遊びでなく **honest 規律**: 装置が本物になるのは「**その問題で実際に計算できる一個の実数量(derived number)を吐いた時だけ**」。気分の目盛り(難易度10000℃)→導出された不変量への「昇格」が装置開発の正体。空回り = 比喩のまま語彙だけ増やすこと。

## 装置 → 着地する不変量 (acceptance test = 数を吐くか?)
- **速度計** (一階微分/一本の軌道) → 脱出速度・発散の有無
- **スピードガン** (ある n の瞬間記録) → 極値の位置 (Andrica a_n は n=4 で最大)
- **温度計** (集団/アンサンブル) → 解空間のざわめき・**臨界温度** (難しさ=高温でなく**相境界のキワ**; 3-SAT 相転移, 焼きなまし)
- **サーモグラフィ** (2D 空間分布) → 相転移マップ (どこが熱いか; 軸が実数量でないと「左下偏り」は無意味)
- **磁力計** (相転移の応答側) → **秩序パラメータ** (バラバラ↔揃い; 温度計が相転移に着地した瞬間レンズ自身が次に要求した ★本命)
- **分光器** (プリズム) → スペクトル解釈 = **ヒルベルト=ポリア** (零点=作用素の固有値)
- **気圧計** → 非圧縮性 (コルモゴロフ複雑性)
- **pH計** → 関数等式の対称軸 (Re(s)=1/2 = 中性 pH7)
- **ガイガーカウンター** → イベント密度 (素数密度)
- **スカウター(DB)** / 難易度℃ → 単一スカラーに**潰す**装置 = 気分・ランキング側 (導出不可)。固有語彙: 戦闘力インフレ(基準が動く) / スカウター爆発(測定不能=レンジ外, P≠NP) / 「本気を出していない」(見かけ難易度≠真の難しさ, Collatz 表示5実力53万)。リソース配分の直感地図としては実用。

## ★ Rei 実コードへの突き合わせ (2026-05-27 audit — 重要発見)
対話のフレームを Rei に当てると **「数を吐く」本物の装置はほぼ既に別名で実装済**、本当の空白は2つだけ:
- 速度計 → **F-entropy F_k** (Paper 58, Collatz) ✅
- スピードガン → **Andrica a_n max@n=4** (Paper 74/116, `src/axiom-os/andrica-conjecture-engine.ts`) ✅
- 温度計/相境界 → **崖の地図 α\*** (STEP 1169) ✅
- 気圧計(非圧縮) → **foldability LZ** (STEP 1168) ✅
- 分光器(スペクトル) → **spectral lens + ⟨r⟩/Σ²(L)** (STEP 1162-65) ✅
- **磁力計(秩序パラメータ) → ❌ 未実装 = 本命の空白**
- **サーモグラフィ(2D マップ) → ❌ 未実装** (Andrica 熱地図 = 横軸 n / 縦軸 a_n / 色=密度 が初手, 実データで「左下偏り/n=4 端」を実証可能)

**Why**: 「測定装置」軸は還元グラフ(ノードの性質)に直交する **新しいノード属性 = 動的可測性(measurability)**。「速度計が付くか(力学系か静的命題か)」自体が分類になる。
**How to apply**: 新レンズを思いついたら必ず自問 **「これは、その問題について新しい数を一個でも吐くか?」** — 吐けば追う / 形容詞しか増やさねば面白い比喩として畳む。気分↔導出の線を混ぜない(MANDALA に置くなら【気分・ランキング系/導出不可】と正直ラベル)。サーモグラフィの「偏り」は**仮説であって証明でない**(指さしと採掘は別; 「この偏りを生む一個の式が書けるか?」が前進の条件)。レンズは証明を生まないが、ヒルベルト=ポリア→モンゴメリー対相関→ランダム行列のように **証明の手前の『中間生成物(新しい理解)』** を生む = レンズの正しい戦績。
**次の具体候補**: (1) ✅ **Andrica サーモグラフィ = STEP 1171 実装済** (`src/aios/andrica-thermography/`, lens `#/andrica-thermography` 🌡, test 20/20). 吐いた数: max A_n=0.670873 @n=4 / 湿度計 67.1% / headroom 0.329 / **記録は n=4 で出尽くし以後 148,928 primes 更新ゼロ (天井降下のみ) = 左下偏りの数値化** / decade 天井 0.6709→…→0.1089 単調降下. honest: 既知数値事実の地図化+量化, 証明でない. (2) ✅ **磁力計=秩序パラメータ = STEP 1172 実装済** (`src/aios/magnetometer/`, lens `#/magnetometer` 🧲, test 12/12). 対象=ランダム 3-SAT 相転移 (P≠NP ノード). 制御 α=節/変数, **秩序パラメータ M(α)=mean_i|2p_i−1|** (p_i=充足解中で真の割合; 0=バラバラ↔1=凍結). 吐いた数: **α_c≈4.75** (P(SAT)=0.5; n=13 で漸近 4.267 に接近) / M 0.21→~0.9 / backbone. honest: 既知現象の小規模観測, P≠NP 解決でない. **→ 測定装置ラックの空白 2 個 (サーモ+磁力計) 両方 STEP 1171-1172 で honest 実装完了**。残りは全て Rei 既存装置に対応。次の遊び候補があれば「数を吐くか?」テストで判定。

## ★ 生成データを Rei Claude が読んで得た観測 (2026-05-28, 4 lens の実データ)
honest 規律で本物の観測のみ (こじつけ除外):
- **崖(Riemann)**: foldability は α=0→0.5 で **0.931 不変** (滑らかモデルを半分剥がしても無変化) → 0.97 で 0.781 → 0.99 で 0.493 → 0.997 で 0.150 → 0.999 で 0.000。 **near-vertical wall の手前に「何も起きない長い平地」があり、難しさは最後の ~1% (α∈[0.97,1]) に全局在**。
- **サーモ(Andrica)**: decade 天井 0.671→0.639→0.464→0.203→0.109→0.057。 10² 以降 **1 decade ごとに ×~0.5** (=有界間隔なら 1/√10≈0.316 のはずが ×0.5 → 間隔増大 ~(ln p)² が降下を ~1.6× 押し戻す、と数で見える)。
- **磁力計(3-SAT)**: ★ **秩序パラメータ M は P(SAT)=0.5 の手前で既に高い** (α=4 で P=0.83 だが M=0.70; α_c=4.75 で P=0.50, M=0.84) = **凍結が充足/非充足転移より先行**。既知の clustering/freezing 転移 < SAT-UNSAT 閾値 の物理と整合する小規模エコー (磁力計が温度計とは別タイミングの本物の応答を拾う証拠)。
- **還元グラフ**: families 4,3,2,2,2 = **5 孤立島**。深さがあるのは **Fermat 系(4 ノード鎖, Langlands lev3) = 解決済み家族だけ**。開問題(RH/Hodge/YM/Collatz)は全て leverage≤1 の 2 ノード切り株、 **analog 辺は全部「解決済みノード」を指してそこで止まる**。
- **★★ 横断テーマ (family resemblance, 同型でない)**: 4 lens 全てで **「難しさは広がらず薄い境界に局在」** (Riemann=最後の1% / Andrica=n=4 の一点(以後 148,928 素数更新0) / 3-SAT=α≈4.75 の窓 / 還元グラフ=開問題は浅い切り株)。 しかも **相互整合**: 還元グラフが「解決済=深い矢印が見つかった所/開=矢印が切り株で止まる所」を印し、 他 3 装置が「その止まった矢印がどこで噛むか(崖α*/n=4/α_c)」を指す = **4 装置が同じ frontier を別角度から局在**。 ★ 但し方向は逆 (崖=応答が遅れて急落 / 磁力計=応答が先行) なので **同型と言わない (family resemblance)**。 honest 限界: 全て小規模/curate/heuristic, 指さしであって採掘でない, n→∞ は何も言っていない。

## ★ 「未解決問題に役立つ装置」三系統 + Rei 突き合わせ (2026-05-28, chat-Claude forwarded)
chat-Claude が 3 系統に分類: (1) **数学の計算装置** (総当たり検証 / Lean4 証明支援 [4色/Kepler-Flyspeck/Liquid Tensor] / SAT-SMT [Boolean Pythagorean 200TB, Schur 5] / 実験数学 OEIS・PSLQ→BBP) (2) **物理の観測装置** (重力波 KAGRA / Super-K 陽子崩壊・ν / LHC / 精密原子時計=SNST の c·α·ℏ / 量子計算機 IBM Q) (3) **逆問題装置** (EIT=Calderón / 重力探査 / 光音響 / **ミュオグラフィ**=宇宙線μ透視 [火山・福島炉心・クフ王ピラミッド空洞] / 地震波トモグラフィ; 全て「表面→内部」+深さの滲み+λ正則化).
★ **Rei 突き合わせ**: **既存** = Lean4 (~2,540 thm) ✅ / 総当たり検証 (Collatz/Andrica 348k/Brocard/Goldbach) ✅ / **量子計算機 ✅✅ (Paper 145 IBM Heron r2 実機 144/144, STEP 1030-36)** / 3-SAT 相転移 (STEP 1172 磁力計, ただし brute-force で real SAT solver でない) / Vampire ATP (STEP 1064) / LIGO・NASA データ取り込み (OctaTheoria domain STEP 1046). **取得のみ可能** = 物理検出器 (KAGRA/Super-K/LHC/原子時計/ミュオグラフィ) は Rei が**操作できない、公開データを ingest するだけ** (honest: 「ミュオグラフィ・シミュレータ」を作るなら教育的 lens であって実μ透視でない). ★ **三候補とも実装完了 (藤本さん「1 2 3 全て」, 2026-05-28)**: (a) **検証オドメーター = STEP 1173** (`src/aios/verification-odometer/`, lens `#/verification-odometer` 🧭, test 16/16; Collatz 2.95×10²⁰/Goldbach 4×10¹⁸/RH 10¹³零点/Andrica 348,513[Rei]/Brocard/双子素数; 検証≠証明) (b) **PSLQ-lite = STEP 1174** (`src/aios/pslq/`, lens `#/pslq` 🔭, test 8/8; 無次元定数に整数関係探索→既知 2π−τ=0・φ−ψ−1=0 検出 + candidate=0 honest negative; フル PSLQ でなく有界係数探索, 物理定数除外, spurious risk) (c) **磁力計 real SAT = STEP 1175** (`src/aios/magnetometer/dpll.ts`, test 15/15; DPLL で α_c(n) 4.891→4.659→4.375 = 漸近 4.267 接近, brute-force と全 200 instance 一致; M は据え置き). **→ 測定装置ラック完成** (速度計/温度計/気圧計/分光器=既存 + サーモ1171/磁力計1172/オドメーター1173/PSLQ1174/DPLL1175). 元 audit の候補: (各予想の総当たり検証到達点 Goldbach 4×10^18 等を数で表示, 還元グラフのノード属性, Rei 既存データ使用) / (b) **PSLQ 整数関係検出器** (SNST 14 定数 Paper 63 に整数関係探索 → 関係ベクトル or honest「無し」, 実験数学装置, Rei 未保有, ただし大半は negative + 有限精度の spurious 注意) / (c) magnetometer を real SAT solver (DPLL/CDCL) に格上げ → α_c を漸近 4.267 に近づける (incremental). ★ honest 警戒: 「EIT/逆問題を数学の予想に当てる」は forced isomorphism リスク高 (spectral lens の honest scope と同じ: 算術問題に格子/逆問題を被せない).

関連: [[project-question-map-reduction-graph-vision]] (還元グラフ; 測定装置はノード属性軸) / [[project-pending-riemann-cliff-map-alpha-dial-foldability]] (温度計=α*) / [[project-session-2026-05-27-paper157-publish-and-maintenance]].