daitai algebraic platformdaitai大体
/

DPW — Daitai Programmers Workshop

ソフトウェアがAIによって書かれ、人間によって証明されなければならない時代のための、代数的に基礎づけられた完全な開発環境。

Code Daimyo IDE — Reactを使わず、独自のUIフレームワーク、独自の言語、独自の代数で一から構築。

DPW — Code Daimyo IDE(Underwaterテーマ、スウェーデン語ロケール):ファイルエクスプローラ、タブ付きエディタ、AIコレーガパネル。

DPW · Underwaterテーマ · スウェーデン語 · CodeCity文脈を持つAIコレーガ

DPWとは

DPW(Daitai Programmers Workshop)はWebとネイティブの両方で動作する開発環境であり、以下を統合する:

  • コード編集 — HTML、CSS、JavaScript、TypeScript、および独自言語 daitai-lang の構文サポート
  • 表計算 — 数式、グラフ、ピボットテーブル、グラフ可視化
  • Kashika(可視化) — スライドと共有セレクションエンジンを備えたプレゼンテーション
  • UIエディタ — 代数的レイアウトモデルによるドラッグ&ドロップ
  • AIコレーガ — 文脈認識・ツール・検証ポリシーを備えた統合AIアシスタント
  • DaitaiDB — グラフィカルUIを持つドキュメントデータベース
  • ターミナルとGit — 組み込みターミナルおよびステージング・コミット管理
  • OCR — 独自認識エンジン(NCC + LeNet)、第三者非依存

すべては daitai-ui — コアにReact依存を持たない 自作コンポーネントフレームワーク — でレンダリングされる。

DPWが存在する理由

2026年の風潮は厳密さよりも速度を報いる。AI生成のReactスロップはコンプライアンスチームのレビューが追いつかぬ速さで出荷される。DPWは建設的な代替である:

  • 想定ではなく検証可能 — LLM出力を検証できる代数的不変条件(P01–P23)
  • ロックインではなくプロバイダー中立 — Tauriオフラインファースト、AIプロバイダーの切替は無料
  • 文書ではなく署名 — CGFがコンプライアンスを暗号学的に検証可能な成果物に変える
  • 魔法ではなく教育的 — すべての行に導出があり、すべてのコミットに署名がある

五層アーキテクチャ

1. 表層           Editor · Kashika · Spreadsheet · UI Editor · AIコレーガ · DaitaiDB
2. フレームワーク daitai-ui (mount/reconciler/reactive) · SelectionEngine · PubSub · 23テーマ
3. コア           daitai-lang · daitai-algebra (P01–P23) · CEA (256次元) · CGF
4. エージェント   Executor · Checkpoints · Verify build · 型付きdiagnostics · 承認ゲート
5. プラットフォーム platformIO → Tauri | Web | Hosted

各層は明確なインターフェースを通じて下方向にのみ語る。どの層も上方向に漏れない。層ごとの詳細はアーキテクチャを参照。

機能 — 概要

  • 編集 — 多言語CodeEditor、構文ハイライト、ゴーストテキスト補完、型指向ホール、DOM/AST/Tailwind/Themeを横断するセマンティック選択
  • 表計算 — 数式、グラフ、ピボット、ミニマップ付きグラフビュー、CEA駆動のコード解析
  • プレゼン — スライド付きKashika、SelectionEngine用CanvasAdapter、自動エクスポート
  • UI設計 — ドラッグ&ドロップ、スナップ&ガイド、VStack/HStack代数、DOMAdapter
  • AI — ツールレジストリ、プロンプト評価、メモリグラフ、必須検証ポリシーを備えたAIコレーガ
  • エージェント — 多段実行、trajectory、タイムトラベル、fork-retry、チェックポイント
  • コンプライアンス — CGF、署名済み .cgfevidence バンドル、EU AI Act、GDPR、SOC 2、APPI/METI/FSA(日本)
  • ファイルシステム — platformIO経由でTauri / Web(localStorage + IDB) / Hosted
  • Git — 組み込みステージング、コミット、stashベースのチェックポイント
  • ターミナル — ProcessRegistryでストリームされるシェル、ホワイトリスト/ブラックリストのshell-policy
  • データベース — グラフィカルUIを持つDaitaiDB
  • OCR — NCC + LeNet、第三者なし
  • 3D — Three.jsファサード、リポ可視化のためのInstancedMesh付きCodeCity
  • ビルド — compileInWorker 経由のマルチパイプラインビルダー、daitai.project.json
  • Tauri — dpw scaffold tauri、冪等なv2パッケージング
  • Devcontainer — platformIO経由で .devcontainer/ をスキャフォールド

コアモジュール詳解

daitai-ui — 独自UIフレームワーク

TypeScriptで書かれた完全なコンポーネントフレームワーク。コアにReact依存なし。

  • mount / reconciler / reactive — レンダリング・diff・リアクティビティの独自プリミティブ
  • Traitシステム — Clickable、Hoverable、Focusable、Draggable、Resizable
  • コンポーネント — Button、Input、Progress、Card、HudCard、Dialog、Tooltip、Tabs、CodeEditor、Spreadsheet、Kashika
  • テーマシステム — 23の独自テーマ(Frost、Samurai、Geisha、Kawaii、Material、Klingon、Underwater他)
  • VStack/HStack代数 — CSS-flexのトリックではなく、構成としてのレイアウト
  • Slim / Pro / registry — 外部利用向けパッケージ(MIT)

daitai-lang — 独自言語

Dirac記法と代数的データ型を持つ決定論的言語。

  • AST、レキサー、パーサー、スコープ付きHindley–Milner型推論
  • ホバー情報、language-serviceトレイト
  • useDaitai フラグで CodeEditor と統合
  • ホール駆動編集:型付きホールが補完を提案
  • 型指向補完、意味解析

daitai-algebra — 公理的基盤

Hilbert空間、quantum sorts、bra-ket構文。P01–P23 はシステム全体が依拠する不変条件を成文化する。

CEA — Code Entity Analysis

コードの256次元階層的ベクトル表現。検索・プロンプト文脈・コード理解を駆動する。

SelectionEngine

UIエディタ(DOMAdapter)とKashika(CanvasAdapter)で共有されるセレクションエンジン。HitTestAdapter によるアダプタパターン。意味選択 はDOM、AST、Tailwindクラス、テーマの並列層を横断する。

PubSub

バックプレッシャー付き有界FIFO。モジュール間通信の第一原則。WebWorkerブリッジ。リングバッファロガーとデバッグパネルを持つインスペクタ。

platformIO

すべてのユーザーファイル操作が経由する抽象I/Oインターフェース。実装: Tauri(ネイティブFS)、Web(localStorage + IndexedDB)、Hosted(クラウド、将来)。

AIコレーガ(同僚)

チャットボットではなく、ツール・記憶・検証義務 を持つ同僚。

  • プロバイダー中立 — Anthropic、Google Gemini、OpenAI、DeepSeek
  • ツールレジストリ — apply_patch、run_shell、verify_build 他
  • メモリグラフ — メモリストア上のノード・エッジ、Jaccard派生、buildMemoryContext 内のBFS
  • プロンプト評価 — プロンプト品質の自動テストスイート
  • AIバンドル — Anthropic/Gemini Files APIへのTauri限定ファイルバンドルアップロード
  • 必須検証ポリシー — ファイル変更系ツールコール後、適応的スコープ(single/multi/core)で型チェックが自動実行
  • 決定論要求 — idgen() と clock() は注入可能、コンポーネントコードでの Math.random() は禁止

エージェントモード

完全な監査証跡を備えた多段実行。

  • Executor + tracker — outputs、log、timelineを伴う線形ステップ実行
  • Trajectories — .dpw/agent-trajectories/ に永続化されるJSONLイベントストリーム
  • タイムトラベル — リプレイ・seek・restore用のヘッドレスCLI
  • チェックポイント — CheckpointManager による自動スナップショット(git stash + refs/dpw-checkpoints/)
  • apply_patch — diff-previewブリッジとwatchモードを持つ登録済みツール
  • forkRetryStep — チェックポイント復元と mutateOnRetry による内側ステップの自動リトライ
  • 型付きdiagnostics — classifyDiagnostic + summarizeForRetry が構造化エラーをリトライループに供給
  • verifyBuildStep — diagnosticsをループに戻すプロジェクト/単一ファイル型チェック
  • chainStep — 子のdiagnosticsを集約する原子的チェーン
  • 承認ゲート — デフォルトは auto、ただしインラインの requestApproval とshell-policyホワイト/ブラックリスト
  • プロジェクト文脈 — グラフ由来選択(BFS順方向+逆方向)、RAGフォールバック付き

CGF — Code Governance Framework

コードに署名するように、コンプライアンスに署名せよ。

ingest  →  check  →  bundle  →  verify
グラフ      クレーム  署名済み    暗号 + ポリシー不変条件
                     .cgfevidence
  • 型付きイベント駆動コンプライアンスグラフ — 15ノード型、16エッジ型
  • UUIDv5派生の冪等性 — 同じ入力は同じグラフを生む
  • Ed25519マルチ署名 + RFC 3161タイムスタンプ
  • Trust Store — マシン間のエクスポート/インポート
  • Bundle Inspector + Creator UI(ドラッグ&ドロップ対応)
  • ポリシープリセット — Open、Minimal trust、EU AI Act高リスク、Banking grade
  • CGF-JP — 稟議/判子/根回しノード、METI/APPI/FSA/AISIクレームパック、バイリンガル叙述を備えた日本オーバーレイ
  • cgf doctor — エンドツーエンドのヘルスチェック
  • v1.0で 206/206 テスト通過
cgf ingest && cgf check && cgf bundle --out dossier.cgfevidence
cgf verify dossier.cgfevidence

続き: CGF を5分で、バンドル形式、Trustポリシー。

ワークスペースモデル

  • Desktop — Tauri経由のネイティブFS。オフラインファースト、フル機能。
  • Web — localStorage + IndexedDB。ブラウザ、インポート/エクスポート、インストール不要。
  • Hosted — クラウドベース(将来)。永続化、協働。

3つすべてが 同じ platformIO インターフェース を語る。一度書いたコードはどこでも動く。

テーマと美学

23の豊かなテーマ、それぞれが独自の性格を持つ — 青の23バリエーションではない。デフォルト: Underwater。

Frost · Samurai · Geisha · Kawaii · Material · Klingon · Underwater · 他16。

テーマシステムは 代数的: 色・タイポグラフィ・スペーシングは意味的トークンとして公開される。コンポーネントコードにハードコードされた16進値はない。

対象ユーザー

  • 学生 — 理解の代わりに「プロンプト技」を学ぶことを拒む者
  • エンタープライズ — 文書ではなく遵守の証拠を提出しなければならない組織
  • 規制業界 — 銀行・金融・医療・防衛 — 「同じ入力 → 同じ出力」が法的要件である領域
  • 日本の組織 — CGF-JPは翻訳ではなくネイティブプロファイル
  • EU AI Act配下のAIプロダクトチーム — 検証可能なArticle 9/13/15の証拠を必要とする者
  • 監査人 — バインダーではなく差分を求める者

健全な原則(P01–P23)

DPWは短い宣言に基づき構築されている:

  • P01 決定論 — 同じ入力 → 同じ出力、常に
  • P02 不変性 — 全データは生成後に不変
  • P03 State → Event → State — 代数的状態機械
  • P04 PubSub — メッセージバスによる疎結合
  • P05 PAL/IO境界 — 純粋ロジックと副作用の分離
  • P06 Result<T,E> — 明示的エラー処理、例外なし
  • P07 継承より構成
  • P08 View / Logic / Mount の分離
  • P09 疑似コードヘッダ — 各ファイルはdaitai仕様で始まる
  • P10 kind 判別子付きの型付きイベント
  • P11 DOMなしでテスト可能なロジック
  • P12 コード複雑度のCEA検査
  • P21 HMR — PubSubによる状態保存
  • P22 アクセシビリティ — ARIAとキーボードは必須
  • P23 i18n — シグナルベースのリアクティブ翻訳

(P13–P20は拡張用に予約。全文は原則を参照。)

技術スタック

  • TypeScript 5、Vite 5、Tailwind CSS v3
  • daitai-ui(独自フレームワーク — コアはReactなし)
  • デスクトップパッケージングは Tauri v2
  • ホステッドバックエンドは Lovable Cloud(該当する場合)

バージョン

v1.06 — 2026年4月。 CGFテスト 206/206 通過。Tauriターゲット フェーズ1完了。

Daitai Programmers Workshop — Joakim Cöster + AIコレーガ。 Code Daimyo: 代数とアラインメントの交わる場所。 次に: アーキテクチャ · DPWをインストール · 原則。