🗂 全ツール一覧 🏠 Rei Home Hub 🏠 Rei-AIOS Home

D-FUMT₈ 記法宣言 v0 §9 — 3 記号 正本 + 層の区別 + Phase 1a 表 A

Status: (未 review) — chat-Claude 独立検証 未実施、 独立 external verifier 未実施。 藤本さん 2026-09-19 explicit go signal で 3 記号 正本決定 + 層の区別 refinement + Phase 1a のみ execute。 出力側 U+25CB 統一 STEP + Phase 1b-1d 起草 + rei-memory-mcp handoff 実装 は 藤本さん帰宅後 判断待ち。 記法上 「〇 (U+3007)」 と 「○ (U+25CB)」 は 見た目 区別不能 のため、 本 page では 表中 で 必ず codepoint (U+3007 / U+25CB 等) を 併記。

Origin: STEP 2133 (2026-09-18 起草 base) + STEP 2137 (2026-09-19 層の区別 + Phase 1a) の site 反映。 詳細 source = docs/D_FUMT8_NOTATION_v0.md (GitHub)。 本 STEP 2138 = 藤本さん directive 「サイト反映 + トップページから辿れる + メモリ」 3 layer land。

§9-1: 3 記号 の 正本 (2026-09-19 藤本さん judgment 決定)

記号正本 codepoint名称決定根拠
〇 (見た目区別のため codepoint 併記必須) U+3007 IDEOGRAPHIC NUMBER ZERO 値 ZERO と 意味一致 (数としての ゼロ を表す)。 U+25CB (○ WHITE CIRCLE) は 日本語で 「正解」 の印として 使われ、 真理値表で TRUE と誤読される 恐れがあるため 不採用。
Ω U+03A9 GREEK CAPITAL LETTER OMEGA repo 内 baseline 使用 dominant (3,295 files 26,728 occurrences narrow scan)、 藤本さん 前回 recommendation 追認。 U+2126 OHM SIGN (13 files、 主 外部 vendored proofwidgets JS) は NFC 同値で U+03A9 に 自動正規化 (§9-3)。
～ (見た目 U+301C と混同 risk) U+FF5E FULLWIDTH TILDE D-FUMT₈ 値記号 context (FLOWING or ⟲ 含む行 内) で U+FF5E:U+301C = 646:239 = 2.7:1 dominant。 藤本さん directive 「既存の FLOWING で 多い方を 正本にする」 原則。

§9-2 + §9-2-bis: 適用範囲 + 層の区別 (「例外」 ではなく 「層が違う」)

§9-1 (記法の正本と parser G1) と 実行時 入力正規化 は 別の 層。 「例外」 として 扱わず、 層 の 違いとして 整理 (2026-09-19 藤本さん judgment Q_pending_1 応答による update)。

Layer 1: 記法 layer (§9-1 + parser G1)

Layer 2: 実行時 入力正規化 layer (seven-logic.ts の normalizeD8Value alias、 d8-connectors.ts の symbol 型)

Layer 3: 実行時 出力 layer (値 → 記号 表示 / 書き出し)

§9-3: 正規化 rule

相互正規化はしない (異なる意味の 記号を 機械的に 同一化しない、 base 明示性を保つ)。

自動正規化する例外 (記法 layer = §9-1 + parser G1 のみ):

それ以外の類似文字: 記法 layer で 位置付き reject:

実行時 入力正規化 layer は 独立: 上記 「位置付き reject」 は 記法文書 の 中の 記号 に対して 適用。 実行時 (人 / LLM / external system の 入力 受け取り) では U+25CB → ZERO alias 受理 が 仕様 (§9-2-bis 参照)。

§9-4-bis: 実行時 出力側 U+25CB 使用 audit (2026-09-19、 read-only report)

実測結果: 出力側 (値 → 記号 表示 / 書き出し) で U+25CB (○) 使用が dominant (U+3007 では ない)。 藤本さん directive「出力は U+3007 に統一されていることを報告」 の 期待 と 反する 実測結果。 統一 STEP は 別 STEP 藤本さん explicit go 待ち (本 page は audit report のみ、 書き換え執行なし)。

Core src (17+ files、 ZERO → '○' output mapping)

他 (papers / HTML / tests / dist)

帰結:

§9-7: 表 A (字句・構文、 parser 用) — Phase 1a (3 記号)

Scope: 3 記号 (〇/Ω/～) のみ、 D-FUMT₈ 8 値記号 の 部分集合。 残 5 記号 (⊤/⊥/BOTH/NEITHER/∞/⟲) + operator (∧/∨/¬/Ω-op/Φ/Ψ 等) は 別 STEP 藤本さん go 待ち (Phase 1b + 1d)。

#記号正本 codepointprecedenceassocarity型備考
1 〇 (U+3007 / U+25CB と 見た目 区別不能、 codepoint 必須) U+3007 N/A (atomic value) N/A 0 (constant) Value: ZERO 数としての ゼロ、 D-FUMT₈ 8 値 の #6 (index 4)
2 Ω U+03A9 要確認 (提案・一次資料未確認、 Phase 1d で確認予定) 要確認 1 (unary、 提案: Ω(x) = 冪等収束演算子) Operator: IdempotentConvergence (提案・一次資料未確認、 Phase 1d で確認予定) Ω operator は STEP 67-75 で 統一場 engine で 導入。 正式 precedence + arity は Phase 1d 一次資料 walk で 確定 (現時点で 確定事項として扱わない)
3 ～ (U+FF5E / U+301C と 混同 risk、 codepoint 必須) U+FF5E N/A (atomic value) N/A 0 (constant) Value: FLOWING D-FUMT₈ 8 値 の #7 (index 5)。 「～→」 の → は operator か 装飾 か 未確定 (Phase 1b 対象)
Phase 1a 起草 の scope 限定:

Pending items (藤本さん帰宅後 判断 待ち)

Cross-reference