Go
toulmin — 契約を計算するルールエンジン
ルールエンジンは60年間、検証対象を事実(fact)として扱ってきた。toulminは主張(claim)として扱う。Toulminの論証モデルをGoルールエンジンとして実装した。
filefunc — 1ファイル1コンセプト
AIコードエージェントの探索単位はファイルだ。1ファイルに1コンセプトを強制するGoコード構造のコンベンションであり、CLIツール。
SSaC — Service Sequences as Code
サービス関数内部のビジネスフローを宣言的ブロック(sequence)に分解する言語非依存の概念。10個の固定タイプでwhatだけを宣言すれば、コードジェンがhowを埋める。