すべての記事
Antigravity が書いたテストが全部グリーンなのに同じバグが再発するとき — 空回りするアサーションを計測する運用メモ
AI に書かせたテストがすべて通り、カバレッジも高いのに本番で同じ不具合が戻ってくる。原因はモック過多とトートロジー的なアサーションです。ミューテーションテストを正解とし、テストが実際に何を守っているかを実測して運用で立て直すメモです。
1,400箇所の置換を1コミットで投げてきたエージェントに、バッチで返してもらう設計
Antigravity に大規模な機械的置換（codemod）を任せると、レビュー不能な巨大1コミットが返ってくることがあります。ast-grep のルールと検証付きバッチドライバで、置換を「機械の仕事」と「人の確認」に分け、安全に通す設計を実装つきでまとめました。
Antigravity に任せた App Open 広告が、課金画面やリワード動画から戻るたびに出てしまう
Antigravity のエージェントに App Open 広告を実装させると、自前のリワード動画や Google Play の課金シートから戻った瞬間にも広告が出ます。AdMob のポリシー違反にも触れるこの挙動を、前面復帰の理由を記録するフォアグラウンド調停役で抑える設計を、動く Kotlin と検証手順つきで解説します。
Xcode 27 のエージェント機能と Antigravity を併用する — iOS 開発の作業境界を設計する
Xcode 27 がエージェント型コーディングを取り込んだことで、iOS 開発はツールが二つ重なる状態になりました。source of truth を一つに保ち、仕様・実装・検証の3層で作業を分けるための実践的な設計をまとめます。
並行サブエージェントが同じAPIの上限を奪い合うとき — 共有トークンバケットで集約レートを抑える
Antigravity 2.0 の dynamic sub-agents を並行で走らせると、各エージェントが独立に外部APIを叩いて集約レートが上限を超え、429が連鎖します。共有トークンバケットで集約レートを先回りで抑える設計と、Redis化までを実装コード付きで解説します。
Antigravity のエージェントが開く PR の説明が「Update files」のままになる問題と、レビューできる要約を強制するゲート
Antigravity のエージェントが自動で開く PR は、説明が「Update files」のように空疎になりがちです。差分からリスクを見積もり、空疎な説明を弾いてレビューできる要約を強制する検証ゲートを、動くコードとともにまとめます。
クォータが尽きかけたエージェントを止めずに走らせる — 段階的劣化の設計
AI Ultra のクォータ上限に達したら止める、ではその夜の成果がゼロになります。劣化を段として定義し、残量から段を選ぶポリシーでエージェントを止めずに走らせる段階的劣化の設計を、ジョブへの反映方法や観測可能にする仕組みとともに紹介します。
止まったまま生きているエージェントを見抜く — 進捗ハートビートとウォッチドッグの設計
プロセスは生きているのに6時間まったく進んでいない、という沈黙状態を見抜くために、進捗マーカーの外部化と無進捗タイムアウトによるウォッチドッグを設計しました。安全な止め方や導入の順序、夜間の記事生成エージェントで踏んだ落とし穴も共有します。
二重起動するバックグラウンドエージェント — リースとフェンシングトークンで止める設計
同じスケジュールジョブが2台のマシンから同時に走り、成果物を上書きし合う。Antigravity 2.0 のバックグラウンドエージェントで起きるこの事故を、リースとフェンシングトークンで根本から防ぐ設計をコード付きで整理します。
Antigravity に書かせたテストが「通るだけ」になっていないか — ミューテーションで実効性を測る
Antigravity のエージェントに書かせたテストは、通っても肝心のバグを捕まえられないことがあります。ミューテーションテストで実効性を測り、生存ミュータントを潰してから採用する運用を、動くコードとともにまとめます。
Antigravity に添付した長い PDF をエージェントが読み飛ばす問題と、引用を強制する検証ゲート
Antigravity に添付した長い PDF を、エージェントが自信ありげに、しかし一部読み飛ばして答える問題への対処です。引用を強制するプロンプトと、回答の根拠がPDFに実在するかを検証するゲートを、動くコードで紹介します。
メディエーションを増やしたら iOS の計測が静かに痩せた — SKAdNetwork ID のズレを4アプリで揃える
メディエーションに新しいパートナーを足したのに iOS の収益が伸びず、SKAdNetwork ID の登録漏れが原因だった実体験。Info.plist の SKAdNetworkItems を4アプリで突き合わせ、Antigravity エージェントに照合させて人間が採否を決める運用を紹介します。