DPW アーキテクチャ

Daimyo Programmers Workshop は、ほとんどのコードが AI によって書かれながらも、なお人間に証明されねばならない時代のための、代数的に基礎付けられた IDE です。本ページはそのアーキテクチャ図です。

一文で

DPW はベンダー中立で決定論的な IDE です。独自の UI フレームワーク（daitai-ui、React なし）、独自の言語（daitai-lang）、そして検証可能な代数（P01–P23）の上に構築され、CGF がコードに署名するようにコンプライアンスにも署名します。

五つの層

┌─────────────────────────────────────────────────────────────┐
│  1. SURFACE         Editor · Kashika · Spreadsheet · UI    │
│                     Editor · AI Co-worker · DaitaiDB       │
├─────────────────────────────────────────────────────────────┤
│  2. FRAMEWORK       daitai-ui (mount / reconciler / reactive) │
│                     SelectionEngine · PubSub · 23 themes   │
├─────────────────────────────────────────────────────────────┤
│  3. CORE            daitai-lang · daitai-algebra (P01–P23) │
│                     CEA (256-D vector index) · CGF         │
├─────────────────────────────────────────────────────────────┤
│  4. AGENT           Executor · Checkpoints · Verify build  │
│                     Typed diagnostics · Approval gates     │
├─────────────────────────────────────────────────────────────┤
│  5. PLATFORM        platformIO → Tauri | Web | Hosted      │
└─────────────────────────────────────────────────────────────┘

各層は下方向にのみ依存します。サーフェスはフレームワークを越えてプラットフォームに手を伸ばさず、コアはエージェントを import しません。境界は慣習ではなく、ファイル単位で強制されます。

各層に何があるか

1. サーフェス

同じフレームワークを共有するユーザー向けアプリ群: コードエディタ、Kashika（プレゼンテーション）、スプレッドシート、UI エディタ、AI Co-worker チャット、そして DaitaiDB。各サーフェス・アプリは同じ Workspace 状態上の daitai-ui ツリーです。

2. フレームワーク — `daitai-ui`

DPW 独自の UI フレームワーク。React なし。マウント/再構成ペア、反応系、アダプタ・パターンに基づく SelectionEngine、有界 FIFO キューの PubSub バス、23 のテーマ。コンポーネントは状態の純粋関数です。

3. コア

決定論的な心臓部。daitai-lang（代数的 OO、ディラック記法プリミティブ、ADT）、daitai-algebra（P01–P23 不変条件と書き換え系）、CEA（記号 / 意味検索のための 256 次元ベクトル索引）、そして CGF（署名済みコンプライアンス・グラフ）。

4. エージェント

「IDE 内の AI」層、ただし制約あり。Executor が LLM 提案ステップを実行し、Tracker が記録し、Checkpoints（git stash 参照）が各ステップを可逆にし、Verify build がコミット前に型検査し、承認ゲートが不変条件に反するステップを代数境界で停止させます。

5. プラットフォーム — `platformIO`

一つのインターフェース、三つのバックエンド: Tauri（ネイティブ・ファイルシステム）、Web（localStorage + IndexedDB）、Hosted（クラウド永続ストレージ）。一度書けば三つすべてで動きます。

三つの構造的な堀

#	堀	意味
1	daitai-algebra (P01–P23)	検証可能な不変条件。LLM 出力は単に実行可能であるだけでなく、代数的に妥当性検証できる。
2	CGF — Compliance Graph Format	Draft → Sign → Enforce。EU AI Act・GDPR・SOC 2 向けの署名済み `.cgfevidence` バンドル。
3	プロバイダ中立性	Tauri はオフラインファースト。AI プロバイダ（Anthropic / Gemini / DeepSeek / OpenAI）をベンダーロックインなしに差し替え可能。

ワークスペース・モード

Desktop — Tauri、ネイティブ・ファイルシステム、完全オフライン対応。
Web — localStorage + IndexedDB を備えたブラウザ、import / export。
Hosted — クラウド永続ストレージ (近日)。

三つすべてが同じ platformIO インターフェースを話します — 一度書けばどこでも走る はスローガンではなく、文字どおりのアーキテクチャ契約です。

設計原則（抜粋）

P01 決定性 — 同じ入力 → 同じ出力、常に。
P02 不変性 — 構築後のあらゆるデータは変わらない。
P03 State → Event → State — すべてのコンポーネントは代数的状態機械。
P04 PubSub — コンポーネントは疎結合。
P05 PAL / IO 境界 — 純粋ロジックは副作用から分離される。
P06 Result<T, E> — 明示的なエラー処理、例外なし。
(P23 まで続く — 原則を参照。)

なぜこれが重要か

2026 年、計算機科学の学生は LLM に React の継ぎはぎを生成させます。DPW はその建設的な代替です — すべての行に導出があり、すべてのコミットに署名があり、すべてのアルゴリズムに代数的な法則がある環境。

付属の Mermaid コンポーネント図は、任意の Mermaid 対応ツールで描画できるよう dpw-architecture.mmd として利用できます。

次に読むもの

DPW をインストール — エディタを手元のマシンに。
原則 (P01–P23) — 代数を裏付ける憲法。
CGF を 5 分で — DPW が署名するコンプライアンス層。