AIエージェント
reinsの「ターン」とは何か
reinsの最小実行単位であるターン（turn）を解剖する。記録されなかったものはターンではない — この定義ひとつから、ドライバー非依存性、再起動耐性、監査可能性のすべてが導かれる。2026年6月のLoop Engineering言説と比較し、ターンがそれらの勧告をいかに構造へ変えるかを見る。
賢いモデルが説明できない理由
賢いモデルは難しく話し、わかりやすく説明するモデルは推論が弱い。分けて使えばいい。Claude Codeでコミュニケーションモデル（メイン）と推論モデル（サブエージェント）を分離運用する具体的な方法と、その構造が機能する理由。
abloq — エージェントが運用するブログ、検証は機械がロックする
エージェントにブログを任せれば記事は出てくる。問題は信用できないことだ — 出典を捏造し、直してもいない記事のlastmodを上げ、頼んでいないファイルに手を出す。人が全部検査するなら任せた意味がない。abloqの答えは分業だ — 生成は確率的、検証は決定論的。人が書くのはインサイト仕様一枚(insight.yaml)だけで、執筆・翻訳・更新・根拠補強はエージェントがクエストとして代行し、品質はblog.yaml一枚から派生した決定論的ゲートが保証する。ロックされたPASSは不可逆だ — エージェントは使い捨てでも進行は累積する。
reins — Quest CLIからドメインだけを残し、ratchetはフレームワークへ
how-make-questはQuest CLIを素手で建てる方法を教えた。だが二つ目のCLIを建てると、同じratchet、同じscan/next/submit、同じ集計をまた書く。reinsはその不変をフレームワークとして抜き出す — ratchet・コマンド骨格・集計・exportはreinsが供給し、あなたはドメインのゲート(gate.Definition 4メソッド)だけを実装する。ゲートはcheese防御ルールのカタログであり、toulmin defeatグラフが『なぜ負けたか、何を変えれば勝つか』という攻略集をエージェントに返す。
手綱を渡されたツールに、手綱がなかった — ハーネスとレインスの境界
"Reins Engineering、結局ハーネスじゃないですか？" 両者は対立しない — 同じ馬具の異なる部品だ。しかし、異なる部品だ。世界最高のコーディングエージェントでさえ、自らのコードには手綱をかけなかった。レインスは持つものではなく、かけるものだからだ。
Quest CLIの作り方 — 完了を機械に判定させるツールを自分で建てる
AIは「やり終えました」と言う。実際には終わっていない。本稿は、その問題を解くツール — Quest CLI — を自分で建てる方法だ。原理(なぜ)からcobraコマンドのスケルトン(どうやって)まで、この一本でエージェントがGoのQuest CLIを作れるようにする。humaがそのワークド例だ。
なぜあなたのエージェントは止まらないのか
エージェントを24時間動かしているという自慢を前にして湧くのは感嘆ではなく疑問だ — なぜまだ終わっていないのか？ コードは探索問題ではなく制約充足問題だ。止まれるシステムこそ健全なシステムである。
「完了」は誰が定義するのか — ゲームが40年先に解いた問題
退去確認を写真5枚で定義した瞬間、それはゲームクエストになる。「完了」を行為者の主張ではなく機械的に検証可能な条件として定義すること — ゲームが40年先に解いた問題であり、AIエージェントに仕事を正しくさせる方法だ。
filefunc × Hono — エージェントが一度に読むコードを60行から18行へ
スター23k超の実戦フレームワークHonoをfilefuncでリファクタリングした。テスト4419件すべて通過。そして測定してみると――エージェントが概念ひとつをreadするときに読むコードが中央値60行から18行へ71%減った。ファイル数ではなく「読む長さ」が核心だ。
Reins Engineering — 手綱のあるAI
Harness engineeringは柵だ。エージェントを外に出さないが、目的地に着くことは保証しない。Reins Engineeringは手綱——決定論的な契約で操り、ラチェットで固定し、意思決定と実装を分離する。
Ratchet Pattern — エージェントを最後までやり遂げさせる方法
AIエージェントに527個の関数のテストを書かせたら、40個で「完了しました」と宣言した。Ratchet Patternは完了判定を機械的なverifierに委ね、エージェントを最後まで走らせるパターンだ。