Ratchet Code

プロダクショントラフィックこそが仕様だ

プロダクショントラフィックこそが仕様だ

レガシーコードにはドキュメントがない。テストもない。それでも今この瞬間も動いている。きちんと記録された一ヶ月分のログこそが仕様だ — プロダクショントラフィックで現在の挙動をキャプチャしたHurl統合テストを作れば、コードを一行も読まずにレガシーの機能を固定し、リファクタリングの安全網を張ることができる。

Quest CLIの作り方 — 完了を機械に判定させるツールを自分で建てる

Quest CLIの作り方 — 完了を機械に判定させるツールを自分で建てる

AIは「やり終えました」と言う。実際には終わっていない。本稿は、その問題を解くツール — Quest CLI — を自分で建てる方法だ。原理(なぜ)からcobraコマンドのスケルトン(どうやって)まで、この一本でエージェントがGoのQuest CLIを作れるようにする。humaがそのワークド例だ。

第11講. 壊れた vibe coding アプリを救う方法

第11講. 壊れた vibe coding アプリを救う方法

vibe coding で作ったアプリが壊れた。作り直す必要はない。診断して、ロックして、一歩ずつ抜け出せばいい。

エージェントが働けるシステムを作るということ

エージェントが働けるシステムを作るということ

Fortune 500のIT予算の60~80%がロックされたlegacyの維持に消える。開けられないからだ。AIバブルの本当の意味はモデルが賢くなることではない。企業のロックされた記憶がreachableになり始めることだ。

Agent Operable Codebase

Agent Operable Codebase

人間が読みやすいコードとエージェントが作業しやすいコードは同じか?同じではない。ファイルに関数が20個あるとエージェントの性能が30〜85%低下する。事務所を工場に変えなければならない。

Reins Engineering — 手綱のあるAI

Reins Engineering — 手綱のあるAI

Harness engineeringは柵だ。エージェントを外に出さないが、目的地に着くことは保証しない。Reins Engineeringは手綱——決定論的な契約で操り、ラチェットで固定し、意思決定と実装を分離する。

Hurlがバイブコーディングのドリフトを止める

Hurlがバイブコーディングのドリフトを止める

バイブコーディングは3ヶ月でロジックドリフトにより崩壊する。CMU、METR、DORA、Amazonの事例がそれを証明している。HurlでAPIコントラクトをplain textで宣言しラチェットでロックすれば、AIの自由を制限することなくドリフトを構造的に抑制できる。

IFEvalを逆利用するラチェットコード

IFEvalを逆利用するラチェットコード

LLMのおべっかバイアスはバグではなく資産だ。IFEvalが測定する指示遵守能力を決定論的フィードバックと組み合わせれば、4.5Bのローカルモデルでも正確なコードを生成する収束ループが作れる。

AIの阿諛偏向はビジネスフィーチャーだ

AIの阿諛偏向はビジネスフィーチャーだ

LLMの阿諛偏向はバグではない。RLHFの数学的必然であり、ビッグテックが直す動機のないビジネスフィーチャーだ。これがLLM-as-Judgeを構造的に不可能にする理由だ。

tsma -- レガシーコードの回帰防御線

tsma -- レガシーコードの回帰防御線

すべての関数をインデックスし、テストの有無を検知し、coverageを計測し、LLMエージェントにフィードバックを返すCLIツール。コマンド一つでレガシーコードに回帰防御線を構築する。