[code-simplifier] Simplify pr_review_propose body parsing

From 7d3abd7d89f33b3af0782f8aa3d043a349d61bd4 Mon Sep 17 00:00:00 2001
From: GitHub Copilot <223556219+Copilot@users.noreply.github.com>
Date: Sat, 2 May 2026 07:46:25 +0000
Subject: [PATCH] Simplify PR review proposal script

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
---
 .github/scripts/pr_review_propose.py | 54 +++++++++++++---------------
 1 file changed, 25 insertions(+), 29 deletions(-)

diff --git a/.github/scripts/pr_review_propose.py b/.github/scripts/pr_review_propose.py
index 2b1c2ae..3ff7afd 100644
--- a/.github/scripts/pr_review_propose.py
+++ b/.github/scripts/pr_review_propose.py
@@ -54,24 +54,34 @@ _ID_TO_LABEL: dict[str, str] = {r.id: r.label for r in REVIEWERS}
 START_LABEL = "Start review"
 
 
+def _read_body_file(path: str) -> str:
+    if path == "-":
+        return sys.stdin.read()
+    with open(path, encoding="utf-8") as f:
+        return f.read()
+
+
 def get_selected(reviewer_count: int) -> set[str]:
     """Return the reviewer IDs to pre-check for a proposal.
 
     Today this is just the first N by priority. Content-aware selection
     (e.g. skipping security on docs-only PRs) can slot in here later.
     """
-    priority_ids = [r.id for r in REVIEWERS]
-    return set(priority_ids[:reviewer_count])
+    return {r.id for r in REVIEWERS[:reviewer_count]}
 
 
 def parse_checked_ids(body: str) -> list[str]:
     """Extract checked reviewer IDs (in declaration order) from a comment body."""
     found: list[str] = []
+    seen: set[str] = set()
+
     for m in re.finditer(r"- \[x\] \*\*(.+?)\*\*", body, re.IGNORECASE):
         key = m.group(1).lower()
         rid = _LABEL_TO_ID.get(key)
-        if rid and rid not in found:
+        if rid and rid not in seen:
+            seen.add(rid)
             found.append(rid)
+
     return found
 
 
@@ -96,12 +106,12 @@ def cmd_build_comment(args: argparse.Namespace) -> None:
     selected: set[str] | None = None
     if args.from_existing_body:
         try:
-        
... (truncated)