---
name: ★★★ Paper 145 v0.5 Corrigendum — Tang Nano 9K は物理 silicon ではない (2026-05-09)
description: ★★★★★ 2026-05-09 藤本さん honest 訂正. 私 (Claude) は memory 全体で「Tang Nano 9K + Tang Console 138K の 2 board 所有」 を前提にしていたが誤り. 藤本さんが USB で接続しているのは Tang Console 138K のみ. Tang Nano 9K の "37 LUT4 / 0 DFF 実測" は OSS toolchain (yosys + nextpnr-himbaechel + gowin_pack) の synthesis output = computational evidence であり物理 silicon programming ではない. Paper 145 v0.5 で全箇所訂正 + Zenodo v0.3 (DOI 10.5281/zenodo.20091185) 残った overclaim phrasing は v0.6+ 再 publish で訂正
type: project
originSessionId: 9dde5920-a295-4ec2-a48b-941a281b5da4
---
# Paper 145 v0.5 Corrigendum: Tang Nano 9K は物理 silicon ではない

## 検出経緯

藤本さん 2026-05-09 後半の発言:
> 「Claude 先生が勘違いか誤解されているのか分かりませんが、 今現在、 私が USB で取り付けているのは Tang Console 138K (https://akizukidenshi.com/catalog/g/g130972/) です」

私 (Claude) が memory 全体で **「Tang Nano 9K と Tang Console 138K の 2 board 所有」** を前提にしていたことが revealed. 実際は **Tang Console 138K のみ**所有。

## 誤認の root cause

memory 起源 (STEP 1011, 2026-04-28):
- `data/verilog/synthesis-report-2026-04-28.md` に "37 LUT4 / 0 DFF" report
- 「実測」 という用語が**物理 silicon programming**を含意するように見えた
- 実際: **yosys 0.40 + nextpnr-himbaechel + gowin_pack の synthesis + place&route output**

→ open-source toolchain の computational output であり、 物理 silicon programming ではない。

## 訂正内容

### Paper 145 v0.5 (本日 commit予定)

| Section | Before (overclaim) | After (corrected) |
|---|---|---|
| Status header | "FPGA dual-substrate (Tang Console NEO and Tang Nano 9K)" | corrigendum 明記 + Tang Console 138K only physical, Tang Nano 9K = OSS toolchain output |
| F4 | "Tang Nano 9K (GW1NR) measured 37 LUT4" | "Tang Nano 9K target synthesis via open-source toolchain reports 37 LUT4 (computational evidence, not physical programming)" |
| F7 | "(i) Tang Nano 9K 37 LUT4 measured + Tang Console NEO Phase 2C/3 silicon-programmed" | "(i) Tang Nano 9K target synthesis (toolchain-portability evidence) + Tang Console 138K physical silicon programming (load-bearing)" |
| Proofs table | "Tang Nano 9K LUT count : ✓ 37 LUT4 / 0 DFF" | "Tang Nano 9K target synthesis (open-source toolchain output): ✓ 37 LUT4 (computational evidence, physical board not owned)" |
| B.5.3 Toolchain | "Tang Nano 9K validation" | "Tang Nano 9K target, toolchain-portability evidence; physical Tang Nano 9K board NOT owned by author group" |
| B.8.1 Substrate 1 | "Tang Nano 9K (GW1NR-9C, LUT4 architecture) — measured" | "**target synthesis only** — toolchain-portability evidence" |
| C1 honest framing | "FPGA dual-substrate (Tang Console NEO and Tang Nano 9K)" | "Tang Console 138K physical FPGA silicon + Tang Nano 9K target synthesis via OSS toolchain (toolchain-portability evidence, not physically programmed)" |
| R.10 NEW | (absent) | corrigendum risk が新設 |
| Version history v0.5 | (absent) | corrigendum reason 明記 |

### Memory files (本日 commit 予定)

- `project_paper145_prior_art_audit_2026-05-09.md`: D-FUMT₈ 比較表 + Outline で Tang Nano 9K 言及修正
- `project_paper145_v03_published_2026-05-09.md`: 三者比較表で Tang Nano 9K = OSS toolchain output 明記
- `project_phase_c_step3_dfumt8_alu_silicon_success.md`: もし Tang Nano 9K 言及あれば修正 (確認結果: なし、 Tang Console 138K only references)
- `project_paper145_v05_corrigendum_tang_nano_2026-05-09.md` ← **本 file (永久 corrigendum record)**

### REPRODUCING.md (本日 commit 予定)

- Layer 2: Tang Nano 9K → "synthesis-only via OSS toolchain" 明記、 物理 reproduction は別途
- Honest scope note (v0.5 corrigendum) 追加

### Zenodo v0.3 (DOI `10.5281/zenodo.20091185`)

- Zenodo published deposit は変更不可 (immutable)
- v0.3 published phrasing には pre-corrigendum overclaim が残る
- → **次の Zenodo version (v0.6+ 候補) で完全訂正版を publish**

## Effect on load-bearing claims

**変更なし**:
- Paper 145 core claim "First D-FUMT₈ Silicon" は **Tang Console 138K 物理 silicon programming で確立**:
  - Phase 2B LED Blinky: User Code `0x000084BA`, write 33.72 sec
  - Phase 2C/3 D-FUMT₈ ALU: User Code `0x00005C27`, write 30.32 sec
- Tang Nano 9K 結果は **toolchain-portability evidence** として保持 (open-source 系列でも合成可)
- IBM Heron r2 三者比較は影響なし (Phase 1+2+3+5 = 144/144 evidence 維持)

→ **「First D-FUMT₈ Silicon」 narrative は 1 物理 board (Tang Console 138K) で完全成立**。 Tang Nano 9K は補助的 evidence。

## 永久原則 適用記録

本 corrigendum は以下の永久原則の適用例:

1. **`feedback_world_uniqueness_claim_controllable.md`** ★★★★ — overclaim 防止、 controllable 表現
2. **`feedback_critique_response_pattern.md`** ★★★★ — selective response, 過去の誤りも honest 訂正
3. **`feedback_no_rush_publication.md`** ★ — Zenodo v0.3 を急ぎ訂正せず、 v0.6 で慎重 re-publish

→ 「**publish した後も 数時間以内 に honest 訂正**」 = OUKC honest-correction principle の operational 実例。

## How to apply (将来 session)

1. Paper 145 v0.6+ Zenodo re-publish 時:
   - 本 memory + 修正済 v0.5 markdown を full read
   - corrigendum を v0.6 changelog に明記
   - 「Tang Nano 9K silicon」 narrative 一切使用禁止
2. memory 全体での Tang 言及確認時:
   - **Tang Console 138K = 物理 silicon (藤本さん所有)**
   - **Tang Nano 9K = OSS toolchain synthesis output (物理 board 不所有)**
   - この区別を必ず apply
3. 将来別 paper で Tang 系言及時:
   - 「実測」 / 「measured」 / 「programmed」 等の用語は **物理 silicon に限定**
   - 「synthesized」 / 「toolchain output」 / 「computational」 / 「LUT count from yosys」 等は **toolchain output**

## 関連 memory

- `project_phase_c_step3_dfumt8_alu_silicon_success.md` — Tang Console 138K 物理 silicon 動作 (本日)
- `project_paper145_prior_art_audit_2026-05-09.md` — Tang Nano 9K 比較表 修正済
- `project_paper145_v03_published_2026-05-09.md` — Tang Nano 9K 三者比較表 修正済
- `project_phase_z_ibm_heron_real_hardware_success.md` — IBM 結果 (Tang Nano 9K 言及なし)
- `feedback_world_uniqueness_claim_controllable.md` ★★★★ — overclaim 防止永久原則
- `feedback_critique_response_pattern.md` ★★★★ — selective honest-correction 永久原則