graphql-proxy test.sh banned.json* dist/ coverage.out CLAUDE.md graphql-monitoring-proxy # Lean proofs: local only, never committed theorems/