ロジックドリフト
第2講. AIを信じない方法 — バイブコーディングの限界と原因
AIが新機能を追加しながら既存機能をこっそり変えてしまうドリフト、58%のおべっか偏向、97%を5回掛けると86%になる数学。なぜ5つの機能で崩壊するのか。
Reins Engineering — 手綱のあるAI
Harness engineeringは柵だ。エージェントを外に出さないが、目的地に着くことは保証しない。Reins Engineeringは手綱——決定論的な契約で操り、ラチェットで固定し、意思決定と実装を分離する。
Hurlがvibe codingのlogic driftを止める
Vibe codingは3ヶ月でlogic driftに崩壊する。CMU、METR、DORA、Amazonがそれを証明した。Hurlでplain textのAPIコントラクトを宣言し、ラチェットでロックすれば、AIの自由を制約せずにdriftを構造的に抑制できる。