Kotoba エンジニアリングノート
言語設計、測定、出荷された境界、そしてまだ資格がないものに関する短いメモ。
10 September 2026 · Infrastructure
Build wait, CPU wall time, artifact bytes, and JVM-free emit can touch infra cost. This post ships mechanisms and named numbers only. No $/month claim, no language Release URL, no Kotoba-beats-Rust-or-C on GPU.
Read the measured pathセキュリティエンジニアリング
Kotoba を取り巻くケイパビリティの境界、攻撃経路、および依然として必要な運用統制に関する、エビデンスに基づくガイド。
評価と攻撃シナリオを読む仕様 · 認証
仕様：組織は did:webvh DID、メンバーシップはステータス付き W3C Verifiable Credential、実行権限は Biscuit、ファーストパーティのトラストレジストリが検証を固定します。
仕様を読む31 年 2026 月 · ベンチマーク
4つのベンチマークはすべて1画面に収まる小さなプログラムをビルドし、ツールチェーンの起動速度を測定し、開発者が待つ数ではない。新しいビルドスケーリングスイートは同じプログラムを8サイズで生成し、ホスト上のすべてのツールチェーンでビルドし、それぞれの成果物を実行する。
アーティファクトを実行することが、ベンチマークでありストップウォッチではない理由です。リリースされたKotoba CLIは128関数以上の無効なWebAssemblyモジュールを出力し正常終了するため、検証されていないハーネスは停止した正確な場所で最高の数値を記録していたでしょう。さらに2つのKotobaレーンは宣言された境界 — 呼び出し燃料予算と関数数許可制限 — で停止し、これは逆の結果でありそのように報告されなければなりませんでした。
このスイートはビルド速度を強みとして示すために追加された。計測されたどのレーンよりも低いコールドスタートビルドコストのリリース済みバイナリを示し、大規模サイズではビルド速度は現在Kotobaの強みではないことを示す。両半分は同じ表にある。
29年2026月 · ベンチマーク
コンパイラ起動は小さなソースから成果物へのパスを測定します。開発者ループスイートは解決、チェック、クリーンおよび変更なしビルド、最初の結果を11のツールチェーンパスに分けます。ネイティブランタイムは既にビルドされたプログラムを測定します。4番目のスイートは文字列、コレクション、割り当て、I/O、並行性、小さな実アプリケーションを6つの代表的なランタイムパスで比較します。Kotoba はそれらを別々に公開し、1つの高速フェーズが普遍的な速度と誤解されないようにします。
すべての出力結果は検証されますが、記録されたホストロードゲートが失敗したため、すべての速度ランキングは保留されています。
28 年 2026 月 · 言語設計
Kotoba プログラムは暗黙のファイルシステム、ネットワーク、プロセス、クロック、モデル、または秘密アクセスから始まりません。ソースは効果を宣言し、許可は交差して付与とポリシーに合致し、ホストは結果として得られた能力のみをバインドします。
この設計はOSの分離を補完するものであり、信頼できるコンピューティングベースにおけるコンパイラ、検証器、ランタイム、プロバイダー、鍵管理、ホストポリシーを置き換えるものではありません。
