ラチェットコード
huma -- エンドポイントを一つも漏らさないラチェット
AIエージェントに42個のエンドポイントのテストを頼むと15個目辺りで完了を宣言する。humaはエンドポイントリストをラチェットセッションに変えエージェントが一つも漏らせないようにする。scan next write verify。4コマンド設定不要。
コーディングエージェントはなぜ動き、なぜ壊れるのか
同じモデルがウェブチャットではhallucinateし、コーディングエージェントでは200行の機能を一発で仕上げる。モデルが変わったのではない — トポロジーが変わったのだ。生成は確率的でよい。検証は決定論的でなければならない。
Ratchet Pattern — エージェントを最後までやり遂げさせる方法
AIエージェントに527個の関数のテストを書かせたら、40個で「完了しました」と宣言した。Ratchet Patternは完了判定を機械的なverifierに委ね、エージェントを最後まで走らせるパターンだ。
モデルのIQよりフィードバック・トポロジー
同じモデルが40で止まることもあれば、527を完走することもある。違いはモデルではなくフィードバック構造だ。LLMの性能は、モデル自体よりも、フィードバックループがどれだけ速く決定論的かに大きく左右される。
filefunc — 1ファイル1コンセプト
AIコードエージェントの探索単位はファイルだ。1ファイルに1コンセプトを強制するGoコード構造のコンベンションであり、CLIツール。