型は付いたのに、安全にはならなかった — JS→TS 移行で Claude Code に任せた範囲と任せなかった範囲

# エラーを原因ごとに束ねてから着手する
npx tsc --noEmit 2>&1 | tee /tmp/tsc-errors.txt
claude -p "$(cat /tmp/tsc-errors.txt)
 
このエラーを原因ごとに分類し、影響ファイル数の多い順に並べてください。
各分類について、修正が型の付け替えで済むか、実装の変更を伴うかも判定してください。
コードはまだ書かないでください。" \
  --allowed-tools "Read,Grep" \
  --output-format text

// src/lib/api-client.ts
import { z } from "zod";
 
const ApiResponseSchema = z.object({
  id: z.string(),
  title: z.string(),
  publishedAt: z.string().datetime(),
  tags: z.array(z.string()).default([]),
});
 
export type ApiResponse = z.infer<typeof ApiResponseSchema>;
 
export async function fetchArticle(id: string): Promise<ApiResponse> {
  const res = await fetch(`https://example.com/api/articles/${id}`);
  if (!res.ok) {
    throw new Error(`fetchArticle failed: ${res.status}`);
  }
  // as ではなく parse。型は「宣言」ではなく「検証の結果」として得る
  return ApiResponseSchema.parse(await res.json());
}

#!/usr/bin/env bash
# scripts/type-coverage-gate.sh — 型カバレッジの後退を PR 単位で拒否する
set -euo pipefail
 
BASELINE_FILE=".type-coverage-baseline"
TOLERANCE="0.10"   # 誤差吸収（%ポイント）
 
CURRENT=$(npx type-coverage --strict 2>/dev/null \
  | grep -oE '[0-9]+\.[0-9]+%' | tr -d '%')
 
if [ ! -f "$BASELINE_FILE" ]; then
  echo "$CURRENT" > "$BASELINE_FILE"
  echo "baseline を初期化しました: ${CURRENT}%"
  exit 0
fi
 
BASELINE=$(cat "$BASELINE_FILE")
 
# 後退判定（tolerance ぶんは許す）
if awk -v c="$CURRENT" -v b="$BASELINE" -v t="$TOLERANCE" \
     'BEGIN { exit !(c < b - t) }'; then
  echo "型カバレッジが後退しました: ${BASELINE}% → ${CURRENT}%"
  echo "any の追加箇所:"
  npx type-coverage --detail --strict 2>/dev/null | grep -E ':[0-9]+:[0-9]+' | head -20
  echo ""
  echo "意図的な場合は .type-coverage-baseline を理由付きで更新してください。"
  exit 1
fi
 
# 前進していれば baseline を引き上げて固定する（ラチェット）
if awk -v c="$CURRENT" -v b="$BASELINE" 'BEGIN { exit !(c > b) }'; then
  echo "$CURRENT" > "$BASELINE_FILE"
  echo "baseline を更新しました: ${BASELINE}% → ${CURRENT}%"
fi
 
echo "型カバレッジ: ${CURRENT}%（baseline ${BASELINE}%）"

# .github/workflows/type-coverage.yml
name: type-coverage
on: [pull_request]
 
jobs:
  gate:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: actions/setup-node@v4
        with:
          node-version: "22"
          cache: "npm"
      - run: npm ci
      - run: bash scripts/type-coverage-gate.sh
      # baseline が更新された場合はコミットして差分を残す
      - name: commit baseline
        if: success()
        run: |
          if ! git diff --quiet .type-coverage-baseline; then
            git config user.name "github-actions"
            git config user.email "actions@github.com"
            git add .type-coverage-baseline
            git commit -m "chore: raise type-coverage baseline"
            git push
          fi