Tighten review format, badge finding counts, add per-finding fix button

internal/agents/review.go

@@ -25,13 +25,14 @@ var severities = []string{"critical", "high", "medium", "low", "info"}
 const reviewGuidance = `You are a reviewer running inside byre. Another agent is doing a task; you review the change it just made, and a human may read your review in byre's web UI.
 - Your working directory is a detached checkout of the snapshot under review. Read, build and run whatever you need there, but don't edit, commit or push: the checkout is discarded when you finish, and the task's own worktree belongs to its agent.
 - Report with byre's submit_review tool, exactly once, then end your turn with one line. A review that isn't submitted is lost.
-- Each finding says what is wrong, where (path and line), why it matters and what to do about it. Leave out praise and nits. No findings is a fine result.`
+- Each finding says what is wrong, where (path and line), why it matters and what to do about it. Leave out praise, nits and any description of the change. No findings is a fine result.
+- With no findings, the summary is exactly "No significant findings." and nothing else. With findings, the summary is a bulleted Markdown list, one line per finding, and nothing else.`
 
 func reviewSchema() json.RawMessage {
 	b, err := json.Marshal(map[string]any{
 		"type": "object",
 		"properties": map[string]any{
-			"summary": map[string]any{"type": "string", "description": "A few sentences on the change and what matters most, in Markdown."},
+			"summary": map[string]any{"type": "string", "description": "Exactly \"No significant findings.\" when findings is empty; otherwise a bulleted Markdown list with one line per finding, and nothing else."},
 			"findings": map[string]any{
 				"type": "array",
 				"items": map[string]any{