組み込み Guide スキルは助言にすぎない — Antigravity の出力を機械的に弾くゲートを併設する

# Repository Guide (抜粋)
 
## 表組み
- 表は必ず HTML の <table> で書く。Markdown のパイプ記法は描画が崩れる。
- 背景: このプロジェクトのレンダラは GFM テーブル拡張を読み込んでいない。
 
## コミット粒度
- 1コミット = 1つの意味のある変更。機械置換と意味の変わる変更を混ぜない。
- 理由: レビュアーが「ここだけ戻す」を選べる単位を保つため。
 
## 語調
- 読者向けの文章は敬体（です・ます）で統一する。
- 誇張語（最強・爆速・神）は使わない。

#!/usr/bin/env python3
"""guide_gate.py — Guide のうち機械検査可能な規約を決定論的に検証する。
   exit 0 = 合格 / exit 1 = 違反（違反内容を stdout に出す）"""
import re
import sys
from pathlib import Path
 
# 規約1: Markdown パイプ表（コードフェンス外）を禁止し HTML <table> を強制
TABLE_SEP = re.compile(r"(?m)^\s*\|?[ :]*-{2,}[ :]*(?:\|[ :]*-{2,}[ :]*)+\|?\s*$")
# 規約2: 禁止語（誇張表現）
BANNED = ["最強", "爆速", "神レベル", "完全網羅"]
 
def strip_code(text: str) -> str:
    text = re.sub(r"```.*?```", "", text, flags=re.DOTALL)
    return re.sub(r"`[^`\n]*`", "", text)
 
def check(path: Path):
    body = strip_code(path.read_text(encoding="utf-8"))
    issues = []
    if TABLE_SEP.search(body):
        issues.append("markdown-table: パイプ記法の表を検出。<table> に変換すること")
    for w in BANNED:
        if w in body:
            issues.append(f"banned-word: 禁止語『{w}』を検出")
    return issues
 
def main():
    failed = False
    for arg in sys.argv[1:]:
        issues = check(Path(arg))
        if issues:
            failed = True
            print(f"[NG] {arg}")
            for i in issues:
                print(f"   - {i}")
        else:
            print(f"[OK] {arg}")
    sys.exit(1 if failed else 0)
 
if __name__ == "__main__":
    main()

#!/usr/bin/env bash
# regenerate_until_clean.sh — ゲートが通るまでエージェントに修正させる
set -euo pipefail
MAX_RETRY=3
TARGET="$1"   # 検証対象ファイル
 
for attempt in $(seq 1 "$MAX_RETRY"); do
  if python3 guide_gate.py "$TARGET"; then
    echo "✅ ゲート通過（試行 ${attempt} 回目）"
    exit 0
  fi
  echo "↩️ 違反を差し戻して再生成（${attempt}/${MAX_RETRY}）"
  # ゲートの出力をそのままエージェントへ渡し、当該ファイルだけ直させる
  VIOLATIONS="$(python3 guide_gate.py "$TARGET" || true)"
  agy run --file "$TARGET" --instruction "次の違反のみ修正せよ。他は触るな:
${VIOLATIONS}"
done
 
echo "🛑 ${MAX_RETRY} 回で収束せず。人間のレビューへエスカレーション。"
exit 1