Ratchet Pattern
reinsの「ターン」とは何か
reinsの最小実行単位であるターン（turn）を解剖する。記録されなかったものはターンではない — この定義ひとつから、ドライバー非依存性、再起動耐性、監査可能性のすべてが導かれる。2026年6月のLoop Engineering言説と比較し、ターンがそれらの勧告をいかに構造へ変えるかを見る。
システムが天才をさらに輝かせる
構造のない天才は漂流し、構造だけでは凡庸に留まる。天才と構造が掛け合わさったとき、初めてその真価を発揮する。Claude Sonnetが43分で32エンドポイントを通過させたZenFlowベンチマークと、B-17、トヨタ、WHOチェックリストが証明する同一の原理。
ドリフトはなぜ死なないのか
ドリフトは直しても必ず戻ってくる。ビジネスロジックをSSOTで閉じたら、そのSSOTを作る生成器で同じドリフトが一層上に移動していた。なぜこれは死なないのか——エントロピーから積み直す。
abloq — エージェントが運用するブログ、検証は機械がロックする
エージェントにブログを任せれば記事は出てくる。問題は信用できないことだ — 出典を捏造し、直してもいない記事のlastmodを上げ、頼んでいないファイルに手を出す。人が全部検査するなら任せた意味がない。abloqの答えは分業だ — 生成は確率的、検証は決定論的。人が書くのはインサイト仕様一枚(insight.yaml)だけで、執筆・翻訳・更新・根拠補強はエージェントがクエストとして代行し、品質はblog.yaml一枚から派生した決定論的ゲートが保証する。ロックされたPASSは不可逆だ — エージェントは使い捨てでも進行は累積する。
あなたのエージェントループはなぜ発散するのか
Loop Engineering が普及するほど、人々は同じ壁にぶつかる — ループが収束せず発散するのだ。無限回転・ドリフト・リワードハッキング、その三つの顔の根は一つ。ループの判定スロットに、生成者自身を再び差し込んだこと。だが発散はむしろ運がいい。見えるからだ。本当に恐ろしいのは、静かに偽収束したループである。処方は一つ — 完了をロックする権限を、LLM ではなく決定論的ゲートにのみ置く。
プロダクショントラフィックこそが仕様だ
レガシーコードにはドキュメントがない。テストもない。それでも今この瞬間も動いている。きちんと記録された一ヶ月分のログこそが仕様だ — プロダクショントラフィックで現在の挙動をキャプチャしたHurl統合テストを作れば、コードを一行も読まずにレガシーの機能を固定し、リファクタリングの安全網を張ることができる。
都市ひとつを燃やして答えひとつを得る
1兆パラメータのモデルが答えひとつを吐き出すために、都市ひとつ分の電気と水を燃やす。私はこれが狂っていると思った。答えを求めてさまよううちに気づいた。誰もが直そうとしていた欠陥、LLMのおもねりこそが答えだった。factを食わせれば、おもねりは正確さになる。これは、私がなぜReinsを始めたのかについての物語だ。
reins — Quest CLIからドメインだけを残し、ratchetはフレームワークへ
how-make-questはQuest CLIを素手で建てる方法を教えた。だが二つ目のCLIを建てると、同じratchet、同じscan/next/submit、同じ集計をまた書く。reinsはその不変をフレームワークとして抜き出す — ratchet・コマンド骨格・集計・exportはreinsが供給し、あなたはドメインのゲート(gate.Definition 4メソッド)だけを実装する。ゲートはcheese防御ルールのカタログであり、toulmin defeatグラフが『なぜ負けたか、何を変えれば勝つか』という攻略集をエージェントに返す。
Quest CLIの作り方 — 完了を機械に判定させるツールを自分で建てる
AIは「やり終えました」と言う。実際には終わっていない。本稿は、その問題を解くツール — Quest CLI — を自分で建てる方法だ。原理(なぜ)からcobraコマンドのスケルトン(どうやって)まで、この一本でエージェントがGoのQuest CLIを作れるようにする。humaがそのワークド例だ。
LLMマルチエージェントの精度向上に必要な前提条件
エージェントを複数走らせれば正確になる? 半分しか正しくない。同じデータで学習したモデルは同じ場所で間違える。マルチエージェントが機能する条件は二つ——誤りの独立性を設計するか、検証可能なドメインでLLMの外側にverifierを立てるか。
なぜあなたのエージェントは止まらないのか
エージェントを24時間動かしているという自慢を前にして湧くのは感嘆ではなく疑問だ — なぜまだ終わっていないのか？ コードは探索問題ではなく制約充足問題だ。止まれるシステムこそ健全なシステムである。
「完了」は誰が定義するのか — ゲームが40年先に解いた問題
退去確認を写真5枚で定義した瞬間、それはゲームクエストになる。「完了」を行為者の主張ではなく機械的に検証可能な条件として定義すること — ゲームが40年先に解いた問題であり、AIエージェントに仕事を正しくさせる方法だ。
filefunc × Hono — エージェントが一度に読むコードを60行から18行へ
スター23k超の実戦フレームワークHonoをfilefuncでリファクタリングした。テスト4419件すべて通過。そして測定してみると――エージェントが概念ひとつをreadするときに読むコードが中央値60行から18行へ71%減った。ファイル数ではなく「読む長さ」が核心だ。
先例は正解ではない — AIが場当たり的修正を複製して権威を作る方法
AIはコードの構造は読めるが、それが設計上の決定なのか場当たり的な修正なのかは読めない。だから複製するほど欠陥が偽の権威を得る。このループを断ったのはより大きなモデルではなく、人間の一行の問いかけだった。
エージェントが働けるシステムを作るということ
Fortune 500のIT予算の60~80%がロックされたlegacyの維持に消える。開けられないからだ。AIバブルの本当の意味はモデルが賢くなることではない。企業のロックされた記憶がreachableになり始めることだ。
huma -- エンドポイントを一つも漏らさないラチェット
AIエージェントに42個のエンドポイントのテストを頼むと15個目辺りで完了を宣言する。humaはエンドポイントリストをラチェットセッションに変えエージェントが一つも漏らせないようにする。scan next write verify。4コマンド設定不要。
Agent Operable Codebase
人間が読みやすいコードとエージェントが作業しやすいコードは同じか？同じではない。ファイルに関数が20個あるとエージェントの性能が30〜85%低下する。事務所を工場に変えなければならない。
第6講. 通過したらロック — Ratchet Patternの原理と大量適用
AIが完了しましたと宣言した。実際は40/527。Ratchet Patternは完了判定を機械に委ねる。
Reins Engineering — 手綱のあるAI
Harness engineeringは柵だ。エージェントを外に出さないが、目的地に着くことは保証しない。Reins Engineeringは手綱——決定論的な契約で操り、ラチェットで固定し、意思決定と実装を分離する。
Hurlがバイブコーディングのドリフトを止める
バイブコーディングは3ヶ月でロジックドリフトにより崩壊する。CMU、METR、DORA、Amazonの事例がそれを証明している。HurlでAPIコントラクトをplain textで宣言しラチェットでロックすれば、AIの自由を制限することなくドリフトを構造的に抑制できる。
yongol — AIコーディングSaaSの竜骨
バイブコーディングは200エンドポイントで崩壊する。AIが意思決定と実装詳細を区別できないからだ。yongolはAIの作業対象をコードから10種の宣言的仕様に移し、レイヤー間の整合性をコンパイル前に強制する。Harness with reins.
AIの阿諛偏向はビジネスフィーチャーだ
LLMの阿諛偏向はバグではない。RLHFの数学的必然であり、ビッグテックが直す動機のないビジネスフィーチャーだ。これがLLM-as-Judgeを構造的に不可能にする理由だ。
コーディングエージェントはなぜ動き、なぜ壊れるのか
同じモデルがウェブチャットではhallucinateし、コーディングエージェントでは200行の機能を一発で仕上げる。モデルが変わったのではない — トポロジーが変わったのだ。生成は確率的でよい。検証は決定論的でなければならない。
Ratchet Pattern — エージェントを最後までやり遂げさせる方法
AIエージェントに527個の関数のテストを書かせたら、40個で「完了しました」と宣言した。Ratchet Patternは完了判定を機械的なverifierに委ね、エージェントを最後まで走らせるパターンだ。
tsma -- レガシーコードの回帰防御線
すべての関数をインデックスし、テストの有無を検知し、coverageを計測し、LLMエージェントにフィードバックを返すCLIツール。コマンド一つでレガシーコードに回帰防御線を構築する。
filefunc — 1ファイル1コンセプト
AIコードエージェントの探索単位はファイルだ。1ファイルに1コンセプトを強制するGoコード構造のコンベンションであり、CLIツール。