The current PR comment summary is useful but basic.
Goals:
- Add a compact quality checklist
- Show omitted action counts more clearly
- Link uploaded trace artifacts when available
- Keep comments short enough for repeated PR review
- Preserve duplicate-comment prevention with the existing hidden marker
Non-goals:
- Inline review comments
- LLM-generated summaries
- External services
The current PR comment summary is useful but basic.
Goals:
Non-goals: