宇は万器を納め、器は度を以て成る

汎用エージェントが生成するシステムは「見た目は完全でも動かない」

LLM が存在しないテーブル、フィールド、API、業務ルールを捏造し、見た目は完全でも動作しない成果物を生み出します——エンタープライズアプリケーションが求める正確性の厳しい要件により、多くの AI 生成ツールはデモ段階で止まっています。

私たちの回答：凍結されたオントロジーモデルでエージェントを制約——すべての構造成果物は 645 条のオントロジー意味座標内で継承により位置づけられ、機械可読コントラクトとフィールド単位で整合しなければならず、ハルシネーションはビルド時に検出・拒否されます。

フォーム組立のシステムは業務変化に追従できない

従来のローコードプラットフォームはフォーム組立方式のため、構造が脇道に複製され意味論が分散します。業務が変わるたびに、システムは「一箇所を直すと三箇所が壊れる」沼にはまります。

私たちの回答：オントロジー駆動——まず数学化されたオントロジー言語でビジネス世界を精密に記述し、業務変更はそのままモデル変更となります。古いコードへのパッチではなく、システムがビジネスと共に進化します。

業務システムの構築に数ヶ月、要件は待てない

データベース設計、バックエンド API、フロントエンド UI が分頭して進み、結合とやり直しが層を重ねます——システムが納品される頃には、業務要件がすでに変わっていることも珍しくありません。

私たちの回答：データ構造はモデルリリースチェーンが一度だけ凍結し（構築チェーンとは物理的に分離）、エージェントパイプラインはバックエンド API、型定義、フロントエンド UI のみを生成します——アプリケーション層のフルスタックを一体生成し、構築工程は終始 DDL ゼロ・モデルパッチゼロです。

貿易アパレル加工の受注・財務一体管理システム

経営概要、顧客引合、見積、受注、BOM、調達、サンプル、生産、品質検査、出荷、船積書類、売掛・買掛、エイジング、為替レート、原価、利益、輸出税還付、経費精算、権限、設定の 18 の業務シーンをカバーし、「引合 → 出荷 → 決済」の全工程を貫通します。

物流輸送オペレーション管理システム

委託物流、輸送実行、収入往来、支払往来の 4 大モジュール。「顧客 ↔ プラットフォーム ↔ 運送会社」の外部協働チェーンと裁定記録メカニズムを内蔵し、運送状、軌跡、ジオフェンス、精算、請求書を一体化管理します。

体系研發・耐空性管理プラットフォーム

航空工業顧客向け：体系研發管理、承認ワークフロー、耐空性コンプライアンスモジュール。エンジニア・スキルタグ・承認ロール・変更管理委員会（CCB）などの要素をオントロジー的にモデリング。

研發プロジェクトマスタデータ・予算管理

研發プロジェクト台帳、科研工番の採番・換番の記録、プロジェクト多次元タグ、立案アーカイブのバージョン化、プロジェクト依存・経費繰越関係、予算域計画連動——冗長テーブルゼロで、全量が統一モデル構造にアンカーされています。

メタデータプラットフォーム

モデルのライフサイクル全体を管理する中枢。すべての構造変更は人手によるレビューを経てリリースパイプラインに入ります。内蔵の生成エンジンが、業務要件をアプリケーション設定とコードに自動コンパイルします。

統一エントリ

業務アプリケーションの統一ランタイム。アプリケーションを自動検出し、拡張機能（制約 / ルール / 状態機械 / ワークフロー）をロードし、認可を統一します。業界システムごとに独立してコンパイル・デプロイされ、互いに影響しません。

シングルサインオン

独立してデプロイされた統一認証サービス。すべてのアプリケーションが同一のアイデンティティチェーンを共有し、一度のログインでどこでも利用できます。

協働ポータル

顧客・仕入先など外部の協働ロール向けのポータルフレームワーク。必要に応じて有効化され独立デプロイされ、内部システムと同一のデータ基盤を共有します。

継承による位置づけのみ、捏造は不可

エージェントの構造操作は凍結された isahl スキーマのオントロジー空間内に限定されます。拡張は DAG 半順序の下錐に沿った継承位置づけと 3 次元オントロジー座標のバインドのみ可能で、座標はモデルの創作ではなくトリガー機構により割り当てられます——LLM は存在しないテーブルやフィールドを発明できず、新業界の導入は DDL ゼロ・モデルパッチゼロです。

成果物はリリースパッケージ契約に整合

Alioth/v* リリースパッケージは機械可読コントラクトと検証レポートを同梱し、エージェントのすべての成果物——モジュール、Block、Service、app.json——はコントラクトとフィールド単位で整合しなければなりません。ハルシネーションによる参照（宙に浮いた service、存在しない座標）はビルド時に検出・拒否されます。

229 条の機械的検証

要件からデプロイまでの全工程に 229 条の登録ゲート（commit 段階 137 条 / push 段階 92 条）が設けられています。オントロジー意味座標の合法性、構造参照の完全性、コンパイルとテストの通過はすべて機械が判定します——人工レビューの注意深さにもモデルの自信度にも依存せず、ハルシネーション成果物はゲートを通過して本番に入ることができません。

LLM は実行コードを生成しない

業務実行ロジックは alioth-gen ジェネレーターがオントロジー設定から決定論的に生成します（API、型、UI——DDL は含みません。構造変更はモデルリリースチェーンのみを通ります）。理論中核の不変量はさらに Lean 4 で機械証明されます（sorry ゼロはプッシュゲートのハード条件）。LLM は得意とする要件理解とマッピング選択のみを担い、正確性は構造と証明によって担保されます。

SaaS 学習実践版

cosmic-tools.shop は AliothStudio のオンライン SaaS 学習実践版を提供——個人ユーザー向けの簡素化デプロイで、コアモデリング、アプリケーション組立、実行の動線が完全に利用可能。ローカル環境なしでブルーペーパーの実習に取り組めます。

実践へ進む →

構築ブルーペーパー

『AliothStudio アプリケーション構築操作マニュアル』：環境準備、モデルセンター、AppAgent ワークフロー、モジュールと Service 開発の鉄則から、ビルド・デプロイと 229 条の品質ゲート早見表までの完全な操作手順。

PDF をダウンロード · オンラインで読む

理論ホワイトペーパー

『Alioth モデル理論ホワイトペーパー』：交換オントロジーの数学的基盤——対称モノイド圏とグルーポイド対称性、座標積空間、5 領域完備性、保存測度、マルチネームスペースのモデル理論的検証、そして 5 つの核心メタ定理の Lean 機械証明。

PDF をダウンロード · オンラインで読む

GitHub オープンソース検証

中核モデルは CosmicTools9/Alioth でオープンソース公開（PLpgSQL・MIT）：最新 v10.0.44（2026-10-19）は 1022 の継承テーブル＋268 のシードテーブルを含み、各リリースは専用検証データベースでの全量再構築により検証されます——ホワイトペーパーが主張するすべての数学的性質に、リポジトリ内で対応する構造定義と制約を見つけることができます。

アプリケーションジェネレーター CosmicTools9/dsh-alioth（TypeScript）：ユーザーは対話でアプリケーションを記述し、フレームワークは決定論的プログラムパイプラインにより AliothStudio にインポート可能な成果物を生成します——LLM は構造化パラメータと意味決定のみを提供し、成果物テキストを生成することはありません。これは「LLM ハルシネーション排除」という約束の検証可能な実装です。

GitHub 組織へ →

圏 / グルーポイド / 対合的自己関手

取引は対称モノイド圏 𝓔 の射であり、可逆取引はコア・グルーポイド core(𝓔) を構成します。対称性 = 対合的自己関手 S : core(𝓔) → core(𝓔)ᵒᵖ、S² = id。工学的帰結——鏡像取引は一意に存在し、価値保存は取引ごとに証跡化されます。すべての伝票に期首・期末残高が記録され、「前期状態＋純変動＝後期状態」が行単位で機械的に検証可能です。

積圏 / 座標関手

座標関手 χ = (dk_scene, dk_factor, dk_function) は、すべての業務エンティティを S × F × U 積圏内の一意な点に位置づけます。3 つの次元は直交し、独立に値を取り、独立に進化します。次元コードは階層アドレスであり、人為的な規約ではなくトリガー機構により割り当てられます。

DAG 半順序 / 関係代数 / スパン

継承体系は有向非巡回グラフの半順序（484 の子テーブル、374 の葉テーブル）であり、拡張は半順序に沿った下錐方向への成長のみが許され、脇道の複製は禁止されます。r_* / rr_* 関係族はそれぞれ関数関係とスパン（1:N / M:N）に対応し、関係合成は射の合成、階層関係は非巡回不変量により守られます。

符号付き測度 / 加法性

在庫と残高はエンティティの属性ではなく、伝票事実に対する加法的符号付き測度です——「保存される」ものではなく「計算される」ものです。棚卸は測度修正の原子イベントであり、棚卸差益・差損は隠蔽されるのではなく、通常の測定誤差として吸収・較正されます。

4 項スナップショット

任意の取引をライフサイクルに沿ってスライスすると、オントロジー 4 項組が得られます：シーン Scene（Where & When）、要素 Factor（Who & What）、機能 Function（How）、状態 Status（一方向に進む離散論理時間）。3 次元の直交コードが解析可能なオントロジー空間を構成します。

5 領域完備性

すべての 4 項スナップショットは、人 L・箱 C・貨 G・場 P・財 F の 5 つの取引領域を網羅しなければならず、対称性の破れは許されません——誰が取引し、何で運び、何を取引し、どこで取引し、どう流転するかという業務の閉環をモデル層で保証します。

event / task 鏡像対合

時間軸は「現在」によって 2 つに分かれます。発生済みの event（過去の事実）と未発生の task（未来のタスク）は互いに鏡像であり、タスク完了はスライスの反転を意味します。plan は双橋を経て両側に展開し、イベント駆動とタスク駆動は同一駆動モデルの 2 つの時間方向です。

マルチネームスペースモデル検証

モデル理論の視点では、isahl モデルは理論 𝕋 であり、各業界ネームスペースのデプロイは 𝕋 のモデル ℳ ⊨ 𝕋 です。同一の理論がすでに 6 つのネームスペース、15 アプリ、61 モジュール、82 サービス、645 条のオントロジー意味座標 を支えており——新業界の導入は DDL ゼロ・モデルパッチゼロで、継承による位置づけと座標バインドのみで完結します。