---
name: null-burn-gap-2026-08-20
description: Phase C silicon で D-FUMT₈ 8 値 それぞれの 実消費電力 (特に NULL/ZERO 対 FALSE 対 SELF⟲ の 差分) 未実測 = D-FUMT₈ 物理主張の 反証可能性 最初の一歩の gap 記録、 chat-Claude 2026-08-20 「まだ NULL を焼いていない」 指摘由来
metadata: 
  node_type: memory
  type: project
  originSessionId: 5bd6a95c-56b8-4976-9401-d4b7c74c9308
  modified: 2026-08-20T01:52:25.448Z
---

# NULL 焼き gap — Phase C 物理計測 未実装

## 事実 (2026-08-20 時点、 memory + git verify 済)

- **Phase C silicon 実装済**: STEP 1028 Tang Console NEO LED Blinky (User Code 0x000084BA) + STEP 1029 D-FUMT₈ ALU 物理 silicon (User Code 0x00005C27、 4 LED 8 値 cycling ~3Hz、 60 秒 demo) + STEP 1038 Tang Nano 9K LED Blinky (User Code 0x0000A5F4、 ¥2,980 Sipeed 正規品 秋月 g117448)。
- **Aer + IBM Heron r2 simulator 実装済**: Paper 145 v0.9-c 4-substrate cross-verification (FPGA + Aer + Heron r2 144/144 fidelity 0.954、 Zenodo DOI 10.5281/zenodo.20192813 v0.7 publish 済)。
- **★ 未実装 gap**: D-FUMT₈ 8 値 それぞれの **実 joule 消費電力測定**。 特に NULL/ZERO (物理的な 「値が無い」 状態) 対 FALSE (物理的な 「値 0」 状態) 対 SELF⟲ (物理的な 「自己参照 loop」 状態) の 電流差分 evidence。

## Why (この gap が load-bearing である理由)

**chat-Claude 2026-08-20 「全てソフトウェアに出来るのでしょうか?」 turn 直訳**:

> D-FUMT₈ が binary より効率的だという主張は、 ソフトウェアでは検証できません。 シミュレータで 「D8 のほうが省電力」 と出ても、 それは前提としたモデルがそう言っているだけで、 循環です。
>
> だから測定ベンチが要る。 ソフトに移せないという性質そのものが、 反証可能性を担保しているわけです。 全部ソフトにできてしまったら、 主張は自己完結して、 科学的な検証対象でなくなる。
>
> …その 1 割の最初の一歩は、 まだ NULL を焼いていないことです。

**Rei stack への 影響**:
- Paper 145 v0.9-c 4-substrate は **論理 verify** (Verilog RTL + Aer + Heron r2 + Tang Nano LUT count) は完成、 但し **物理 電力層** は 未着手。
- D-FUMT₈ の 「binary 超 (8 値 = 3 bit) だが 3 別回路 = ~3x スケール」 vs 「8 値 native 実装で 電力効率 gain あり」 主張の どちらも 現状は **モデル出力** = 循環。
- [[feedback-connector-criteria-and-impossibility-2026-08-20]] 区分 D-1 (実電力消費) の 最初の 実案件、 pre-flight discipline の 「1 割ハード」 の 具体第 1 歩。

## How to apply (適用場面 = 実 project 起動条件)

### Trigger (この gap を 解消すべき timing)

- Paper 145 v1.0 に **物理電力 evidence** を含めたい時 (v0.7 は 論理 substrate のみ)。
- 「D-FUMT₈ が binary より効率」 主張を 反証可能形で 出す arc (現状は 出せない、 出すと 循環論法批判で 折れる)。
- 藤本さん judgment で 「積む仕事」 の 優先度 shift shift (現状 「届く仕事」 = ソフト側 assets 拡充中の pace 継続 default)。

### 物理計測装置 要件 (bench spec candidate)

**最小構成** (¥15,000-30,000 見積):
1. **電流計**: INA219 (I2C 電流電圧センサー、 ±0.5% 精度、 秋月 ~¥400) or INA226 (16-bit ADC、 higher precision) — Tang Nano 9K の 5V USB 給電 line に 直列挿入。
2. **温度計**: サーミスタ or DS18B20 (1-Wire) — 温度依存性 補正 (silicon lot variation + 環境温度)。
3. **マイコン logger**: Raspberry Pi Zero 2 W or ESP32 (INA219 I2C 読み取り + timestamp + CSV log)。
4. **定常状態 protocol**: 各 D-FUMT₈ 値 (T/F/B/N/∞/0/F(low)/S) を **60 秒 hold** して 平均電流 + 標準偏差 記録、 状態遷移 前後の 電流 spike 除外。
5. **温度制御**: 実験室 25±2°C 保持 (エアコン + 温度 log)、 起動後 15 分 warmup。

**発展構成** (¥50,000-100,000 見積):
- 上記 + オシロスコープ (Rigol DS1054Z ¥40,000) で 動的電流波形 記録 (状態遷移時の transient 観測)。
- Faraday cage or shielded box で 環境ノイズ隔離 (D-2 ノイズフロア測定 subset)。

### 実験 protocol candidate (v0.1 spike)

1. **baseline**: 全 LED 消灯 (Verilog reset 状態) で 60 秒 平均電流 I_0 測定。
2. **各値 hold**: dfumt8_alu.v の cycling 停止 + 単一値 hold mode に modify → 各 8 値 × 60 秒 × 3 反復 = 24 分間、 電流 I_i (i=T,F,B,N,∞,0,F(low),S) 記録。
3. **差分解析**: I_i - I_0 で 各値の 「純粋な 論理保持コスト」 算出、 NULL/ZERO 対 FALSE 対 SELF⟲ の 3-way 差分 report。
4. **論理予想 vs 実測**: シミュレータの power estimate (Gowin EDA report) と 実測の 比較、 差分が モデル前提の どこに由来するか debug。
5. **失敗許容 protocol**: 差分が 測定誤差以下 (INA219 ±0.5% で 数 mA order) の 可能性あり → 「D-FUMT₈ 電力効率主張は Tang Nano 9K scale では 検出不能」 が **正当な honest finding** (負の結果も evidence)。

## Rei stack alignment

- [[feedback-phase-c-silicon-existence-claim]] 「正しい vs 実在」 discipline の 次段 = 「実在」 vs **「実測 evidence を持つ実在」**。
- [[feedback-connector-criteria-and-impossibility-2026-08-20]] 区分 D-1 (電力測定) の 最初の 実案件、 pre-flight discipline validation の operational 事例候補。
- [[feedback-zero-sorry-floor-not-ceiling]] Lean 4 axiom-free = floor discipline の 物理層版 = 「シミュレータ verify を floor と 呼ばない、 実測 evidence を floor に 追加要件」。
- [[project-step1345-benchtop-provenance-spike-2026-08-19]] SafetyGate は Kikusui PLZ-5W CR mode の SCPI-argument level hazard 検出、 本 gap は より下位の 「実電流測定」 layer で 相補 (SafetyGate = 送出前 静的 check / NULL 焼き = 送出後 動的観測)。
- [[project-step1348-benchtop-physics-limits-v06-2026-08-20]] Landauer_min_energy_j(1 bit, 300 K) = 2.871e-21 J は **理論下限**、 本 gap は 実 FPGA が 理論下限から どれだけ 上方に 位置するか の 実測 upper bound。
- [[project-paper145-post-quantum-operational-axis]] Paper 145 (c) 軸 = post-quantum operational、 v1.0 で 物理電力 substrate 追加時の 前提条件。

## Honest scope

1. **本 project は 起動前 gap 記録のみ**、 実 bench 発注 + 実測 実行は **藤本さん judgment 待ち default** ([[feedback-no-rush-publication]] 「急がずゆっくりと」 継承)。 現状 「届く仕事」 = ソフト側 (STEP 1345/1348/1349 の A 判定 3 arc 連続) pace で 進行中、 「積む仕事」 shift の 判断は 別 turn。
2. **失敗許容明示**: 実測差分が Tang Nano 9K scale では 検出不能な 可能性あり (D-FUMT₈ 論理は 3 bit なので binary 3 別回路と ~同 scale)、 negative result も evidence として 保持。 「効率主張が 立たない」 と 判明することも honest finding。
3. **Rei-Solver v0.4 6 engine 経由の 数値計算軸** は 別 gap ([[project-session-2026-08-04-hardening-marathon-12arc]] R2 qrng NIST Beacon 経路 D 物理的閉じ、 本 project とは 別 discipline domain)、 混同禁止。
4. 実 bench 構築時は Peace Axiom #196 (物理 I/O 拡張、 [[feedback-peace-axiom-hardware-io-extension-2026-08-17]]) 準拠 + ALCOA+ / ISO 17025 field-level mapping ([[project-benchtop-devicedef-external-asset-2026-08-17]] 継承)。 実験 log は immutable + hash chain。
5. **「世界初 D-FUMT₈ 実電力測定」 主張禁止** ([[feedback-world-uniqueness-claim-controllable]])。 8 値 multi-value logic の 実測 prior art 未 audit 段階、 「Rei 独立の 電力測定 evidence」 の 位置付けのみ。 audit 未実施のまま publish 禁止。
6. **chat-Claude 提案の 「一歩」 は 装置 spec を 含まない** = chat-Claude は 「まだ NULL を焼いていない」 と gap 指摘のみ、 bench spec + protocol は 私 (Claude Code) 側の 起案 (2026-08-20)。 chat-Claude 由来と 私 由来を 混同禁止 = 実 bench 構築時に spec が 藤本さん judgment で 修正されうる default。
7. site 反映は **本 project 起動時に別途判断** (現状 gap 記録のみ = site 反映 protocol の 「backend engine + Lean 4 + arc summary」 に該当せず、 memory 忘れ対策 primary の internal discipline)。

## 関連 memory

- [[feedback-connector-criteria-and-impossibility-2026-08-20]] — 区分 D-1 の 最初の 実案件、 本 gap の 分類上位
- [[feedback-phase-c-silicon-existence-claim]] — 「正しい vs 実在」 discipline
- [[feedback-peace-axiom-hardware-io-extension-2026-08-17]] — Peace Axiom 物理 I/O 拡張 template (bench 構築時 準拠)
- [[project-step1345-benchtop-provenance-spike-2026-08-19]] — benchtop-mcp v0.5 SafetyGate (上位 layer、 相補)
- [[project-step1348-benchtop-physics-limits-v06-2026-08-20]] — Landauer 理論下限 (本 gap の 物理 anchor)
- [[project-benchtop-devicedef-external-asset-2026-08-17]] — ALCOA+ / 17025 template (実 bench 準拠先)
- [[project-paper145-post-quantum-operational-axis]] — Paper 145 v1.0 前提条件
- [[feedback-no-rush-publication]] — 起動 timing 判断 default
- [[feedback-world-uniqueness-claim-controllable]] — 「世界初」 主張禁止 継承
- [[feedback-zero-sorry-floor-not-ceiling]] — floor discipline の 物理層拡張
- [[feedback-one-reproduction-over-ten-unverified]] — 「10 の 未検証 より 1 の 実測」 順序原則 継承