安全なコード。機械速度向けに構築。

広くビルドし、後で制約をかける

汎用プログラムは環境意味論から始まります。サンドボックス、IAM、コンテナ、ポリシー、署名が周囲に追加され、意図された境界を回復します。

狭く権限を与え、次にコンパイル

効果と能力は認められた計算の一部です。ターゲットが付与を証明しバインドできない場合、アーティファクトは発行も実行もしません。

読み取り可能なデータとしてのコード

不変値、通常関数、明示的データ、および合成可能な構文は人間とモデルが生成および検査しやすい。

何が起こりうるかを述べる

効果、能力、リソース、依存関係、およびターゲットは入場時に可視の入力であり、展開後に発見される驚きではありません。

言語が少なく、境界が厳しい

認められたコンポーネント表面に環境間相互運用性、ランタイムコードの読み込み、無制限の変更、ゲスト定義マクロ、無制限の並行性はない。

宣言的意図

小さく、Clojure 形状の表面はプログラムを読みやすく保ち、環境からの脱出ハッチを除外する。

検査済みKIR

型と推移効果はターゲットに依存しない、検査可能な表現になります。

権威の交差

要求済み、委任済み、ローカルポリシー、リソース、およびターゲットの権限は狭めることのみ可能です。

アーティファクトに対処する

コード、依存関係、ポリシー、コンパイラ契約、およびターゲットABIが計算のアイデンティティを束縛する。

ホストでバインド

ランタイムとプロバイダーは許可された能力のみをバインドし、有限の予算を強制し、領収書を発行します。

どのコード？

CIDはハッシュ検証済みのチェック済みKIR定義とそのCID専用依存クロージャを選択します。

ここで実行できますか？

正確なインターフェース、完全な効果行、現在の許容量、燃料、および減少する評価深度は実行前に束縛されます。

何が返ってきた？

型付けされた結果はコンテンツアドレス証拠として永続化されます。そのハッシュは効果を遡って認可することはできません。

より速くビルド。より速く実行。境界を維持。

Kotoba はコンパイラ起動、開発者ループ、ネイティブランタイム、およびワークロードドメインの測定を正確な結果チェックとともに公開します。現在の速度ランクは静かなホストゲートを通過するまで保留されます。セキュリティ受け入れはタイミングを勝つために決して削除されません。

言語の上限なしのストレージ。

Kotobase はコンテンツの同一性、範囲読み取り、不変履歴、プロバイダーニュートラルストレージを使用します。物理容量、テナンシー、保持、コスト、複製、実行予算は明示的に残ります；これは無限ディスクの主張ではありません。

デフォルトでポスト量子暗号。

新しい Kotoba 暗号境界はすべて ML-KEM または ML-DSA 証拠を名前付けし、古典的なみのダウングレードを拒否しなければなりません。既存の Passkey、トランスポート、実装、および鍵管理は別々に資格付けされた境界として残ります。

認証あり。権限はデフォルトで拒否。

Passkey アイデンティティは制御境界に属する。検証済みアイデンティティは、明示的なスコープ付き付与がローカルポリシーとホストチェックを通過するまで、ファイルシステム、ネットワーク、ストレージ、モデル、秘密、支払い、GPU の権限を受け取らない。

狭めることしかできない柔軟な委任。

要求された、委任された、ローカルポリシー、リソース、ターゲットスコープが交差する。委任は合成および減衰可能だが、環境権限を生成したり発行者の権限を拡大したりできない。

Web3対応、ルートでチェーン中立。

安定した Kotoba プリンシパルと Passkey コントローラーが主要です。CAIP-10 アカウント、ERC-1271、および ERC-6492 は明示的なリンクアカウント証明です。ウォレットアドレスが静かにストレージや実行権限になることはありません。

所有権が許す場合はゼロコピー；境界が必要とする場合は一回コピー。

カラム型バイトビューはベクター、直接ByteBuffer、およびUint8Arrayのバックアップを保持。Arrow投影は認可されたKotobaseレイクパスを通じて非圧縮バッファをカラム型のまま保持可能。ネットワーク入力、解凍、GPUアップロード、および不変の永続的更新は名前付きコピー境界のまま。

矢印型データ。明示的なCPU SIMDおよびデバイスネイティブGPUカーネル。

Apple M4上で、非圧縮かつ非ヌラブルのArrow float32列は1つのWebAssembly線形メモリバックを保持し、Numは借用値スライス上で明示的なv128 f32x4カーネルを実行し、ArrowからSIMDへのコピーはゼロでした。スカラーの尾部が残りの行をカバーしました。同じ262,147要素規模のワークロードとアーティファクトの3回の認定実行で、そのSIMDカーネルはスカラーWasmより3.66-3.72x速く完了しました。これはカーネルとホストの結果であり、一般的なランタイム主張ではありません。同じ境界付き列パスはCPUビューを通じて1つのArrayBufferを保持し、1回の測定済みWebGPUアップロードでGPU所有権境界を越え、Metal上で実行し、4バイトのスカラーを返します。ヌラブル列、他のArrowデータ型、統一メモリアップロードの削除、より広範なカーネル、および普遍的なCPU/GPU認定は保留中です。

AI第一。エージェント安全がデフォルト。

Kotoba はAIエージェントやボットによって書かれたり操作されたりするプログラムのために設計されています。モデルが強力であるほど、明示的な効果、有限資源、能力の制限、レシート、ホストの強制がより重要になります。

AGI対応境界、AGI主張ではない。

このアーキテクチャは、モデルがより高性能になるにつれて権限を明示的に保つことを意図しています。Kotoba はここにAGIが存在すると主張せず、生成されたプログラムが信頼できるとも、コンファインメントがコンパイラ、ランタイム、プロバイダー、キー管理、OSの信頼できるコンピューティングベースを除去するとも主張しません。

33 コア

内部生産ドッグフーディング

より広い Kotoba スタックは内部で 33 推論コアを実行します。これはチームが独自のスタックを運用していることを証明します；顧客の牽引力、有料採用、収益ではありません。

8のクレーム

境界は機械可読

安全性の主張は、信頼されたコンピューティングベース、否定的証拠、および残留リスクを名前で示し、「ハッキング不可能」というスローガンにまとめ込むことはしない。

デフォルトで拒否

助成なし、ホスト効果なし

空のポリシーはファイルシステム、ネットワーク、プロセス、クロック、モデル、秘密権限を付与しない。プロバイダーは具体的なリソース範囲も検証しなければならない。

4ツールチェーン、21がそれぞれ実行

Kotoba 40.998 ms · Rust 126.422 ms · C 146.324 ms · JVM 961.248 ms 中央値。

21 回転するプロセスコールドサンプル · load1 30.79 → 39.79 · 必須 ≤ 1 · 2026-08-29 · Apple M4

6 ワークロード × 5 比較器

Amu ネイティブは Rust、Clang / C11、Zig、Go c-shared、Swift と共通のネイティブコール境界を通じて試験されています。

30/30比較器/ワークロードペア · 正確な回答を検証済み

19 対 30 ペア

Amuネイティブは30の比較器/ワークロードペアのうち19で少なくとも5%勝利し、アーム自身の広がりから分離。境界付き最速主張はすべてのペアを必要とし、資格なしのまま — カウントは情報的半分。

少なくとも2のペアは全く勝てません。狭義算術では、amu、Apple clang -O3、および rustc -O3 はカーネルを同じ61命令列にコンパイルします—clangとrustcはバイト単位で同一、amuはレジスタ番号のみ異なります。コードが同一である以上の5%の余裕は存在せず、したがってこの限定された主張は単に満たされていないのではなく達成不可能です。

5ホスト認定実行の中央値；スコア範囲は19–20で、19は30ペアすべてで認定されました。単一のノイズの多いサンプルが複数ペアを同時に失格にすることがあるため、単一実行のスコアは一つのペアに正確ではありません。

busy-CPU 0.090 → 0.069 → 0.076 · 要求 ≤ 0.10 · 2026-09-07

11 ツールチェーンパス

依存関係の解決、チェック、クリーンおよび変更なしビルド、プロセスコールドの最初の結果は別々に記録されます。

7サンプルは計測された各段階ごと · load1 20.84 → 24.49 · 要求 ≤ 1

8のソースサイズ

同じプログラムが1つの関数から 2048ホスト上のすべてのツールチェーンによって構築され、その後実行される。 リリースされたバイナリはここで最も低いコールドスタートコストと正確性を持つ 128関数の上限。

クロック停止後にチェックされたアーティファクト · load1 2.73 → 2.73 · 必須 ≤ 1 · 2026-08-31

6 ドメイン × 6 ランタイムパス

文字列、コレクション、割り当て、ファイルI/O、4ワーカー並行処理、およびリクエスト受け入れポリシーアプリケーションカーネルは正確性がチェックされています。

7サンプルはプロセスコールドと償却レーン両方にある · load1 13.87 → 12.38 · ランク保留

狭義算術

広いレジスタ圧力

深いスピル圧力

呼び出し保持

分岐＋呼び出し制御フロー

ループコールバックエッジ

文字列

コレクション

割り当て

入出力

並行性

実際のアプリケーション

認められたコンポーネントはランタイム／ネイティブメモリを扱えず、コンポーネントメモリ操作は有界またはトラップする。

信頼されたコンピューティングベース

境界付きリーダー · フロントエンド承認 · アーティファクト検証器 · Wasm/ネイティブランタイム

残留リスク

• ランタイムエンジンの脆弱性はTCBに残っています
• ネイティブローダーは2つ目のOS分離境界を必要とします

すべての推移的コンポーネント効果は、Kotoba作成のプロバイダーが使用する効果を含め、発行前に宣言され承認されます。

信頼されたコンピューティングベース

効果推論 · 能力カタログ · フロントエンド呼び出しグラフ

残留リスク

• kotoba とコンパイラの文法／効果の等価性は継続的に比較されなければならない

付与されていない能力は存在しないか未紐付けであり、プロバイダーやネイティブハンドラーに到達できません。

信頼されたコンピューティングベース

ポリシーの交差点・コンパイラのインポート出力・テンダーインポートバインディング・ホストガード

残留リスク

• プロバイダーとネイティブ実装はリソース範囲を独立して検証しなければなりません
• 本番効果的な権限はワイルドカードスコープを禁止しなければなりません

同じ認められたソース、ターゲット、ポリシー、ロックは同じ観測可能な純粋な結果とアーティファクトバイトを生成します。

信頼されたコンピューティングベース

標準リーダー · 決定的ローワリング · ピン留めツールチェーン

残留リスク

• ホスト効果は、その能力契約がそう述べている場合にのみ決定論的です

ソース、入場、実行、メモリ、出力は明示的な有限境界を使用します。

信頼されたコンピューティングベース

入場制限 · 燃料メーター · ランタイムクォータ · 監督者タイムアウト

残留リスク

• プラットフォーム監督者はまだ同等の本番分離証拠を持っていません

リリースの承認はアーティファクトの識別、信頼された署名者、有効性および再現可能な証拠を結びつける。

信頼されたコンピューティングベース

署名検証器・信頼された署名者設定・クロック・失効セット

残留リスク

• 鍵管理および外部取り消し配布は運用TCBのまま

共有可能なポータブルコンポーネントは、資格のあるバックエンド間で同等の受け入れ、結果、効果トレースを持ちます。

信頼されたコンピューティングベース

共有適合マニフェスト · バックエンドアダプター · 比較ランナー

残留リスク

• コンパイラ専用機能は移植可能ではなく、移植可能なプロファイルによって拒否されなければなりません

コンポーネントインポートは具体的な交差後リソーススコープを持ってのみプロバイダーまたはネイティブハンドラに到達し、レシートを発行します。

信頼されたコンピューティングベース

能力の交差 · ホストガード · プロバイダーハンドラ · レシートシンク

残留リスク

• プロバイダー固有のパス、リダイレクト、シンボリックリンク、テナントチェックには Q5 キットが必要です

プロファイル 6

パッケージ契約 1

v0.7.0

プロファイルバインディング： 検証済み

リリース済み

:docs/release-bound-profile

インストールと自己チェック

brew tap kotoba-lang/kotoba
brew trust kotoba-lang/kotoba
brew install kotoba
kotoba selfhost check --json

問題リストが空でも有効な応答を受け入れます。

最初のプログラム

(defn main []
  (+ 40 2))

このプログラムはホストインポートを要求しない；出力モジュールにインポートはない。

意図によるドキュメント

インストールから始め、認められた言語を学ぶか、規範的意味論と適合データを検査。

一つのソース、一つの答え

以下の例はブラウザデモにコンパイルされた正確なソースであり、JavaScriptの再実装ではありません。

このページで実行

同一オリジンでダイジェスト拘束されたWebAssemblyアーティファクトを読み込み、そのエクスポートされたKotobaメイン関数を呼び出します。

ライブラリと契約

制限されたコア名、基盤ライブラリ、パッケージルール、および現在の成熟境界を参照する。

;; W1 pure representative: ordinary Clojure-shaped values/functions only.
(ns examples.w1-pure)

(defn double [n]
  (+ n n))

(defn main []
  (double 21))

権限の強調表示: kotoba-lang/grammar → kotoba.grammar.highlight/tokenize → ビルド時HTML。 エディタースコープ契約： source.kotoba. ブラウザハイライター依存：なし。 依存関係を検査

ローカルでコンパイル: kotoba compile double-21.kotoba --target wasm32-browser --output double-21.wasm

生成されたシンボル参照

現在の制限された標準ライブラリ契約で許可された名前を検索する。

データ、効果、I/O、ツール

coll、spec、json、text、wit、async、time、fs、http、test、fmt、lint、LSP契約から開始します。

コンテンツアドレス依存関係

正確な依存CID、識別レイヤー、GitHubの出所、現在の公開境界を検査。

1つのバージョン付き契約

文法、効果、チェック済み KIR、ターゲットアダプター、資格付け、および初回実行ドキュメントを整合させ続ける。

プロバイダのギャップを埋める

型付き要求/結果適合性、敵対的テスト、領収書、取り消し、再現可能なリリース操作を拡張します。

より広い展開を獲得

プロバイダー、ホスト分離、ロールバック、ソーク証拠の後に本番利用を拡大し、検査可能な宣言型ライブラリを成長させます。

言語の問題

設計の質問をしたり、ドキュメント改善を提案したり、再現可能な言語契約の問題を報告したりしてください。

コンパイラとCLIの問題

実装作業、リリース、ターゲットサポート、およびインストール可能な実装でのランタイム統合を追跡します。

非公開で報告

脆弱性には公開されたセキュリティポリシーを使用してください。公開された問題で悪用可能な詳細を開示しないでください。

GitHub スポンサー

GitHub プロファイルがライブでない間は、kotoba-lang.orgを通じてスポンサー支払いはできません。

スポンサーシップの状況と原則を見る

サポートは権限ではありません

スポンサーシップは機能、ロードマップ優先度、サポートSLA、プライベートアクセス、またはセキュリティ例外を購入するものではありません。

スローガンの前の証拠

製品の主張を測定、権限ファイル、および残るゲートに結びつける短いエンジニアリングノートを読む。

制御された実行

Kotoba Cloud はアイデンティティと展開制御を実行環境に接続します。ディスカバリーはライブですが、ホストされた適用はまだ提供されていません。計算は別個に管理されるサービスによって提供され続けます。

信頼されたグラフ状態

KotobaseはAI状態と知識のためのコンテンツアドレス型グラフデータベースです：明示的な関係、識別可能な履歴、スコープされたアクセス。

計算および推論プレーン

フリートコンピュートおよびモデルサービングインフラ。可用性とルート資格はサービス固有のままです。

エージェント作業平面

ワークスペース、目標、証拠、ツール、承認、および管理された効果にわたるエージェント作業の継続。

kotoba-lang/kotoba-lang

文法、意味論、能力契約、安全性主張、CLI契約、ドキュメント、および適合フィクスチャ。

kotoba-lang/kotoba

CLI、ホスト統合、プロバイダー、ランタイムアダプター、統合テスト、およびターゲット固有の資格証拠。

学ぶ、ビルドする、または評価する

初回使用、言語リファレンス、バックエンド実装、セキュリティ境界、成熟度証拠のための別々のパス。