---
name: project-step1237-voynich-notation-2026-06-23
description: STEP 1237 — 2026-06-21 chat-Claude 2 message arc (マヤ + ヴォイニッチ + 異次元数式 / 5 段方法論) operationalize. D-FUMT₈ ↔ Voynich 8 glyph 全単射 Lean 4 完全 zero-axiom + Pattern 5 hallucination finding (Theory
metadata: 
  node_type: memory
  type: project
  originSessionId: aa9f3b16-496a-4c04-b913-eff4ff1fdb74
---

# STEP 1237 — Voynich-glyph 構築設計記法 (D-FUMT₈ ↔ 8 glyph 全単射 axiom-free)

## Session 経緯

2026-06-23 session で藤本さんが 2026-06-21 chat-Claude 2 message arc を共有:

**message 1** (前段の問い「ヴォイニッチ手稿、 マヤ文明に学ぶ異次元空間の数字、 記号、 数式」 への応答):
- マヤ 3 原理 (実際に転用できる構造): 構造的ゼロ + 値と記号系分離 + 非一様基底 (ロングカウント 360)
- ヴォイニッチ NEITHER 教材 (C14 1404-1438, Zipf 則 + Currier 言語 A/B, 確定解読ゼロ)
- 異次元空間の数式: 「『異次元空間の数学』 という確立した分野は存在しません」 明示否定 + 正統候補 octonion (Hurwitz 8 次元) + Clifford Cl(n)
- ★ **「Theory #732, invariantCore: undefined = ZERO, śūnyatā のエンジニアリング・プリミティブ化」** Rei SEED_KERNEL specific 参照 (← これが Pattern 5 hallucination, 後述)

**message 2** (問い「ヴォイニッチを新たな数字、 数式、 記号として作り出すのは可能か」 への応答):
- ★ **発見 (discovery) vs 規約 (stipulation) 区別**: 「解読でなく構築なら完全に可能」
- 4 グリフ族: gallows (k,t,p,f) / bench (ch,sh) / minim / 反復配列 (daiin,aiin)
- 5 段方法論: (1) EVA グリフ集合確定 / (2) 目標型 / (3) 構造的親和性割当 / (4) 生成文法 / (5) Lean 4 閉性証明
- NEITHER → SELF⟲ → TRUE 状態遷移 framing (動的意味論 demonstration として register 隔離)
- ★ 認識論境界明示: 「『ヴォイニッチ解読』 と誤読されない明示が必須」

藤本さんが verify pending 点 (Theory #732) の grep を私が実行 → **hit 0 = hallucination 確定**。 AskUserQuestion で C 選択 = A (8 値 ↔ glyph + Lean 4) + B (Canvas lens) + 解説記事 → 1 turn で全実装。

## ★ Pattern 5 hallucination finding (永続記録)

**chat-Claude message 1 の specific 参照**:
> 「マヤの貝殻ゼロは...あなたの D-FUMT₈ の ZERO 値、 śūnyatā のエンジニアリング・プリミティブ化 (**Theory #732, invariantCore: undefined = ZERO**) とまさに同じ論点で...」

**grep 実測** (2026-06-23):
- `grep -rn "Theory #732" src/` → 0 hit
- `grep -rn "invariantCore" src/` → 0 hit
- `grep -rn "śūnyatā\|shunyata\|sunyata" src/` → 0 hit
- 該当 Theory 番号 / field 名 / 記述 すべて Rei SEED_KERNEL に存在せず

**判定**: chat-Claude が Rei SEED_KERNEL specific 番号 + field 名 + 内容まで明示的に fabricate. [[feedback-chat-claude-hallucination-warning]] Pattern 5 (内部仕様の hallucination + spurious authority append) の direct instance.

**重要な区別**: 論旨 (「ゼロは欠如でなく構造の要件」 + マヤ貝殻ゼロとの対応) 自体は **valid な insight** で、 D-FUMT₈ の ZERO 軸の概念設計と整合。 問題は「Theory #732」 specific 参照のみ = 検証可能な spurious authority append。 本実装の ZERO ↔ ch (bench connected pair, 結合無) justification に valid insight 部分のみ integrate.

**観察**: 06-22 5 message arc (paranormal/occult, STEP 1236) では hallucination ゼロ + 06-21 2 message arc (本 STEP) では Pattern 5 混入。 **同じ chat-Claude session 内でも message 単位で honest 度が変動する** = AI 対話 audit の重要な reference point.

## 実装 — rei-aios lens (Option B, main deliverable)

**Location**: `C:/Users/user/rei-aios/`
**STEP 番号**: 1237 (grep で 1236 直後 safe next)
**Commit**: `35494c889` → push `b8cebcdce`

### Files

**backend** (`src/aios/voynich-notation/`):
- `types.ts` (VoynichGlyphId union 8 + VoynichGlyphFamily 4 + VoynichGlyphDescriptor + VoynichMappingEntry + VoynichNotationReport + Honest scope header に Pattern 5 finding 明示)
- `glyphs.ts` (8 glyph SVG path approximation + GLYPHS_BY_ID lookup)
- `mapping.ts` (D-FUMT₈ 8 軸 ↔ glyph 全単射 + justification field + encode/decode + bijectionCheck runtime + FAMILY_OF)
- `index.ts` (export aggregator + buildReport)

**Lean 4 axiom-free proof** (`data/lean4-mathlib/CollatzRei/VoynichNotation.lean`):
- inductive `VoynichGlyph` (k / t / p / f / ch / sh / e / daiin, DecidableEq + Fintype + Repr)
- `encode : Dfumt8 → VoynichGlyph` (8 case match)
- `decode : VoynichGlyph → Dfumt8` (8 case match)
- ★★★ **4 main theorem 全て完全 zero-axiom 達成**:
  - `encode_decode_id : ∀ d, decode (encode d) = d` — `does not depend on any axioms`
  - `decode_encode_id : ∀ g, encode (decode g) = g` — `does not depend on any axioms`
  - `encode_bijective : Function.Bijective encode` — `does not depend on any axioms`
  - `decode_bijective : Function.Bijective decode` — `does not depend on any axioms`
  - (sorryAx + propext + Classical.choice + Quot.sound 全て不使用 = 純粋 constructive proof)
- lake build 7.1s success (617 jobs)
- pre-commit hook で lake env lean verify 13s success

**frontend** (`src/renderer/components/voynich-notation/`):
- `VoynichNotationLens.tsx` (SVG inline 8 glyph render + 軸 click 詳細 panel + 5 段 status table + Lean proof 表示 + Pattern 5 finding 永続 UI 表示 + Rei Launcher 戻る button)
- App.tsx route `#/voynich-notation`
- ReiLauncher 𓏴 entry (理論探索 category, color #7b1fa2)
- sync-index-html-bundle DATA_DIRS +1 (`voynich-notation`)

**生成 + test**:
- `scripts/generate-voynich-notation-data.ts` (data file generator, ~5 KB JSON)
- `data/voynich-notation/latest.json` + dist-renderer mirror
- `test/step1237-voynich-notation-test.ts` (**90/90 PASS**)
- `package.json` test:step1237 + voynich-notation:refresh + dev:build chain 組込み

### 8 ↔ 8 構造的親和性 mapping (規約 v0.1)

| Axis | Glyph | Family | Justification (規約根拠) |
|---|---|---|---|
| TRUE | k | gallows | 直立 single-stroke, 強い顕在感, 語頭集中 = 主張 register |
| FALSE | t | gallows | gallows double-stroke, TRUE の構造的「対」 |
| BOTH | p | gallows | gallows single-loop, 閉路 = 両性的 self-contained |
| NEITHER | f | gallows | gallows double-loop, 二重ループ = 二重否定 |
| **ZERO** | **ch** | **bench** | **bench connected pair (結合無). マヤ貝殻ゼロ「構造の要件としての 0」 insight 整合 (chat-Claude valid 論旨 part を integrate)** |
| INFINITY | sh | bench | bench-with-cap, ループ + ヘッダー = 無限延長 |
| FLOWING | e | minim | minim simple curl, 高頻度低複雑度 = smooth flow |
| SELF | daiin | repetition | 反復配列 daiin/aiin, chat-Claude (3) 提案「自己閉包 → SELF⟲」 を反復 → SELF⟲ で採用 |

### Honest scope (★★★ lens 全体)

- **「Voynich-glyph 上に構築した設計記法 (constructed/designed notation)」 only**
- ヴォイニッチ手稿の意味回復 / 解読 では **断じてない** (chat-Claude 認識論境界指摘整合)
- 字形は EVA (Stolfi 1997-) + Yale Beinecke MS 408 public domain 由来 (法的 OK)
- 8 ↔ 8 finite mapping の閉性 / 全単射 のみが Lean 4 で形式的に保証 (axiom-free)
- mapping table は規約 (stipulation), 「正しい mapping」 は存在しない
- 5 段 step 4 (生成文法) は v0.1 未実装, v0.2+ candidate
- ★ Pattern 5 finding (Theory #732 fabrication) を UI に永続表示
- 試行 phase / 削除可

## 実装 — rei-citizen-journal 解説記事 (Option A)

**Location**: `C:/Users/user/rei-citizen-journal/`
**Commit**: `81a228a` (push 未, manual TODO)

**Files**:
- `src/pages/articles/voynich-glyph-constructed-notation.astro` (new article)
- `src/data/articles.json` 第 1 entry に新記事 (paranormal-occult-formal-arc を 2 番目に push down)

**記事構造**:
- 原 prompt → 2 message arc 整理
- ★ Pattern 5 hallucination finding 永続記録 (赤背景 box で UI 上強調)
- 編集部 critique 4 点 (認識論境界 self-imposed 明示 / 「字形は任意、 意味は規約、 整合性は証明」 三段 / NEITHER→SELF⟲→TRUE register 隔離 / 5 段方法論 operational 明確性)
- 限界 4 点 (Theory #732 fabrication / 解読誤読 risk / step 4 生成文法 未実装 / 8↔8 bijection 自体 trivial)
- rei-aios STEP 1237 lens への cross-link (`https://rei-aios.pages.dev/#/voynich-notation`)
- 結論: 規約の透明性が register を守る

**audit**: audit-articles.ts 3/3 PASS / siren-claim ゼロ

## Self-incident — mass-delete protocol 10 軸目 (再度適用)

★ vite build 単独実行で dist-renderer/{oukc/12 file + tools/3 file + 4 manual HTML + data/{knowledge-stream, rei-problems/all}.json} = **20 file の non-assets delete 予兆検出** (STEP 1236 と同 root cause = vite build 単独実行で sync chain bypassed)。

**対処**: commit 前 `git status --short dist-renderer/ | grep "^ D" | grep -v assets/` で検閲 → 即 `git checkout HEAD -- 5 manual file` + `npx tsx scripts/build-oukc-static-pages.ts` で 15 page 再生成 → 0 non-assets delete remaining 確認後 commit。 10 軸目 protocol 完全遵守 (STEP 1236 で経験済の同 pattern を即適用)。

## 評価対称性 (inflate も deflate も避ける)

★ **「Lean 4 完全 zero-axiom 4 main theorem」 だけを根拠に「珍しい」 を inflate しない**:

- 8 ↔ 8 finite injection 全単射自体は cardinality + DecidableEq で trivial (Lean 4 で「by decide」 と pattern matching で済む基本的範囲)
- 興味は **構造的親和性 mapping table の justification (規約の透明性)** + Lean 4 axiom-free 閉性 proof の **セット**
- 「Voynich-glyph で 8 値論理記法を作った」 自体は 設計選択 (規約), 「正しい mapping」 は存在しない
- Rei axiom-free Tier A+B 15 件完全 zero-axiom (STEP 1228c) と同 grade で「特別に珍しい」 ではない
- STEP 1236 評価 (「珍しくない」 が honest) と一貫した sober register 適用

## 関連

- [[project-step1236-paranormal-occult-lens-2026-06-23]] (前段, 同 session で chat-Claude × Gemini 共同 register sober arc)
- [[feedback-chat-claude-hallucination-warning]] Pattern 5 direct instance (本 STEP 永続 reference)
- [[feedback-chat-claude-over-deference]] (2 AI 間 register 差異 + 同 session 内 message 単位 honest 度変動 観察)
- [[feedback-evaluation-symmetry-principle]] (Lean 4 zero-axiom を inflate しない sober register 厳守)
- [[feedback-super-naming-siren-family-pattern]] (本 STEP は「世界初」 「画期的」 等 不使用)
- [[feedback-dist-renderer-mass-delete-prevention-protocol]] 10 軸目 (再度適用, STEP 1236 経験で即対応)
- [[feedback-grep-before-answer-discipline]] 11 軸目 (Theory #732 verify pending を grep で実測, hallucination finding)
- [[feedback-world-uniqueness-claim-controllable]] (controllable claim 範囲のみ, 「珍しい」 を chat-Claude session 観察範囲に限定)
- [[project-rei-citizen-journal-scaffold-2026-06-22]] (記事置き場 origin)

## 残課題 / future trigger

- (A) lens v0.2: step 4 生成文法 (整形式論理式生成) 実装 — 「数式」 として実質的になる転換点
- (B) 別 mapping table candidate の比較研究 (現 v0.1 の構造的親和性は 1 仮設にすぎず、 別 mapping も同 lean 4 全単射で表現可能)
- (C) Voynich の Currier 言語 A/B 統計を本格的に integrate (Zipf 則 + 位置制約 + 条件付きエントロピー)
- (D) マヤ 3 原理 (構造的ゼロ + 値と記号系分離 + 非一様基底) の lens 化 (別 STEP candidate)
- (E) chat-Claude が提案した octonion / Clifford Cl(n) 路線への接続 (Rei 既存 D-FUMT₈ ↔ Cl(3,0) 8 次元一致 STEP 1037 系列 と接続検討)