Clean existing Biome debt in cli/typegen package summaries

[eluce2]

Summary

While landing the WebViewer-first CLI revamp, targeted checks for the touched files were clean, but package-wide lint:summary runs still report unrelated pre-existing issues. This keeps the broader quality gate noisy.

Current failures observed

• packages/cli: package summary reported formatting/import/style issues outside the touched-file checks until the WebViewer files were fixed.
• packages/typegen: summary still reports existing issues in src/index.ts, tests/public-api.test.ts, and formatting in generated files such as typegen.schema.json / bin/intent.js depending on generation order.

Follow-up work

• Make pnpm --filter @proofkit/cli lint:summary pass cleanly.
• Make pnpm --filter @proofkit/typegen lint:summary pass cleanly.
• Decide whether generated artifacts should be auto-formatted as part of the schema generation step.
• Keep package-level lint gates green so future feature work can rely on them without extra triage.