open-research-protocol 0.3.0

package/packs/external-pr-governance/adapters/formal-conjectures/README.md

@@ -0,0 +1,35 @@
+# formal-conjectures Adapter Notes
+
+This is the first non-mathlib adapter target for the generic `external-pr-governance` pack.
+
+## Current source of truth
+
+- `docs/EXTERNAL_CONTRIBUTION_GOVERNANCE.md`
+- In the live `sunflower-coda` host repo, the watch-board artifacts for:
+  - `analysis/OSS_ISSUE_WATCHLIST.json`
+  - `analysis/OSS_ISSUE_WATCH_STATUS.md`
+
+Recent live examples in the watch board:
+
+- `google-deepmind/formal-conjectures` PR `#2770`
+- `google-deepmind/formal-conjectures` PR `#2771`
+
+## Expected adapter responsibilities
+
+- watch and review tracking
+- local Lean build/typecheck before PR update
+- issue/PR linkage correctness (`Closes #...` when appropriate)
+- concise portable PR body/comment hygiene
+- draft CI watch if draft mode is used
+- ready-for-review decision gate
+- maintainer-feedback hardening
+
+## What is not standardized yet
+
+Compared with mathlib, this adapter still needs:
+
+- a dedicated local-first gate script,
+- a dedicated ready-to-draft freeze gate,
+- a dedicated PR-body preflight gate.
+
+That is the main standardization gap this pack is meant to close.

package/packs/external-pr-governance/adapters/mathlib/README.md

@@ -0,0 +1,37 @@
+# Mathlib Adapter Notes
+
+This adapter should be treated as the current reference implementation for the generic
+`external-pr-governance` pack.
+
+## Current source of truth
+
+- `docs/EXTERNAL_CONTRIBUTION_GOVERNANCE.md`
+- `docs/SUNFLOWER_CODA_PR_GOVERNANCE_MAPPING.md`
+- `packs/erdos-open-problems/profiles/sunflower-mathlib-pr-governance.yml.tmpl`
+- In the live `sunflower-coda` host repo, the matching docs/scripts for:
+  - `MATHLIB_SUBMISSION_CHECKLIST.md`
+  - `mathlib-issue-local-gate.sh`
+  - `mathlib-ready-to-draft-gate.sh`
+  - `mathlib-pr-body-preflight.py`
+
+## Adapter responsibilities
+
+- issue viability decision
+- overlap precheck
+- local issue gate
+- tighten/fine-tooth gate
+- ready-to-draft freeze
+- PR body preflight
+- draft CI watch
+- ready-for-review promotion
+- maintainer-feedback hardening
+
+## Near-term recommendation
+
+Do not replace the existing `sunflower-mathlib-pr-governance` template yet.
+
+Instead:
+
+1. use it as the strong adapter,
+2. keep `external-pr-governance` as the generic contract layer,
+3. converge later if the generic pack becomes expressive enough.

package/packs/external-pr-governance/pack.yml

@@ -0,0 +1,146 @@
+schema_version: "1.0.0"
+pack_id: external-pr-governance
+name: External PR Governance Pack
+version: "0.1.0"
+description: >
+  Generic ORP profile templates for local-first external OSS contribution
+  workflows, including viability, coordination, local readiness, draft
+  lifecycle, and maintainer-feedback hardening.
+orp_version_min: "0.1.0"
+
+variables:
+  TARGET_REPO_ROOT:
+    description: Absolute path to the working repo that owns the contribution workflow.
+    required: true
+  TARGET_GITHUB_REPO:
+    description: GitHub repo receiving the contribution, for example leanprover-community/mathlib4.
+    required: false
+    default: "owner/repo"
+  TARGET_GITHUB_AUTHOR:
+    description: GitHub login used for coordination and overlap checks.
+    required: false
+    default: "your-login"
+  ORP_TIMEOUT_SEC:
+    description: Default gate timeout in seconds.
+    required: false
+    default: "1200"
+  DEFAULT_PR_BODY_FILE:
+    description: Default PR body file path relative to TARGET_REPO_ROOT.
+    required: false
+    default: "analysis/PR_DRAFT_BODY.md"
+  WATCH_SELECT_COMMAND:
+    description: Command that selects a contribution target and records why it is worth pursuing.
+    required: false
+    default: "printf 'configure WATCH_SELECT_COMMAND\\n' >&2; exit 2"
+  WATCH_SELECT_PASS_TOKEN:
+    description: Stdout token indicating the watch/select gate passed.
+    required: false
+    default: "selection=PASS"
+  VIABILITY_COMMAND:
+    description: Command that decides whether starting work is etiquette-safe.
+    required: false
+    default: "printf 'configure VIABILITY_COMMAND\\n' >&2; exit 2"
+  VIABILITY_PASS_TOKEN:
+    description: Stdout token indicating the viability gate passed.
+    required: false
+    default: "decision=PASS"
+  OVERLAP_COMMAND:
+    description: Command that checks external overlap or confirms coordination is clear.
+    required: false
+    default: "printf 'configure OVERLAP_COMMAND\\n' >&2; exit 2"
+  OVERLAP_PASS_TOKEN:
+    description: Stdout token indicating the overlap gate passed.
+    required: false
+    default: "overlap=PASS"
+  LOCAL_GATE_COMMAND:
+    description: Command that performs the local-first verification gate.
+    required: false
+    default: "printf 'configure LOCAL_GATE_COMMAND\\n' >&2; exit 2"
+  LOCAL_GATE_PASS_TOKEN:
+    description: Stdout token indicating the local gate passed.
+    required: false
+    default: "gate=PASS"
+  READY_TO_DRAFT_COMMAND:
+    description: Command that freezes the branch as ready to open or update a draft PR on the same HEAD.
+    required: false
+    default: "printf 'configure READY_TO_DRAFT_COMMAND\\n' >&2; exit 2"
+  READY_TO_DRAFT_PASS_TOKEN:
+    description: Stdout token indicating the ready-to-draft gate passed.
+    required: false
+    default: "ready_to_draft=PASS"
+  PR_BODY_PREFLIGHT_COMMAND:
+    description: Command that validates portable public PR text.
+    required: false
+    default: "printf 'configure PR_BODY_PREFLIGHT_COMMAND\\n' >&2; exit 2"
+  PR_BODY_PASS_TOKEN:
+    description: Stdout token indicating PR body preflight passed.
+    required: false
+    default: "gate=PASS"
+  DRAFT_PR_TRANSITION_COMMAND:
+    description: Command that opens or updates the draft PR and refuses if ready markers no longer match the current HEAD.
+    required: false
+    default: "printf 'configure DRAFT_PR_TRANSITION_COMMAND\\n' >&2; exit 2"
+  DRAFT_PR_TRANSITION_PASS_TOKEN:
+    description: Stdout token indicating the draft PR open/update transition passed.
+    required: false
+    default: "draft_pr=PASS"
+  DRAFT_CI_COMMAND:
+    description: Command that checks draft CI or draft lifecycle readiness.
+    required: false
+    default: "printf 'configure DRAFT_CI_COMMAND\\n' >&2; exit 2"
+  DRAFT_CI_PASS_TOKEN:
+    description: Stdout token indicating draft CI is green or otherwise acceptable.
+    required: false
+    default: "draft_ci=PASS"
+  READY_FOR_REVIEW_COMMAND:
+    description: Command that decides whether the PR can be promoted from draft to ready.
+    required: false
+    default: "printf 'configure READY_FOR_REVIEW_COMMAND\\n' >&2; exit 2"
+  READY_FOR_REVIEW_PASS_TOKEN:
+    description: Stdout token indicating ready-for-review conditions are satisfied.
+    required: false
+    default: "ready_for_review=PASS"
+  FEEDBACK_RECORD_COMMAND:
+    description: Command that records what maintainer feedback slipped and why.
+    required: false
+    default: "printf 'configure FEEDBACK_RECORD_COMMAND\\n' >&2; exit 2"
+  FEEDBACK_RECORD_PASS_TOKEN:
+    description: Stdout token indicating maintainer-feedback recording passed.
+    required: false
+    default: "feedback_recorded=PASS"
+  GUARD_VALIDATION_COMMAND:
+    description: Command that validates the new or updated guard with PASS and FAIL coverage.
+    required: false
+    default: "printf 'configure GUARD_VALIDATION_COMMAND\\n' >&2; exit 2"
+  GUARD_VALIDATION_PASS_TOKEN:
+    description: Stdout token indicating guard validation passed.
+    required: false
+    default: "guard_validation=PASS"
+  DOC_SYNC_COMMAND:
+    description: Command that confirms docs, templates, and agent instructions were updated with the guard.
+    required: false
+    default: "printf 'configure DOC_SYNC_COMMAND\\n' >&2; exit 2"
+  DOC_SYNC_PASS_TOKEN:
+    description: Stdout token indicating governance docs were synced.
+    required: false
+    default: "docs_sync=PASS"
+
+templates:
+  oss_pr_governance:
+    path: profiles/oss-pr-governance.yml.tmpl
+    description: Generic external contribution governance profiles (watch/select, pre-open, local-readiness, draft transition, draft lifecycle, full flow).
+    output_hint: orp.external-pr-governance.yml
+    default_profiles:
+      - external_watch_select
+      - external_pre_open
+      - external_local_readiness
+      - external_draft_transition
+      - external_draft_lifecycle
+      - external_full_flow
+
+  oss_feedback_hardening:
+    path: profiles/oss-feedback-hardening.yml.tmpl
+    description: Generic maintainer-feedback hardening profile.
+    output_hint: orp.external-pr-feedback-hardening.yml
+    default_profiles:
+      - external_feedback_hardening

package/packs/external-pr-governance/profiles/oss-feedback-hardening.yml.tmpl

@@ -0,0 +1,92 @@
+version: "1"
+
+project:
+  name: external-pr-feedback-hardening
+  repo_root: .
+  canonical_paths:
+    target_repo_root: {{TARGET_REPO_ROOT}}
+
+runtime:
+  shell: /bin/bash
+  default_timeout_sec: {{ORP_TIMEOUT_SEC}}
+  artifacts_root: orp/artifacts
+
+packet:
+  default_kind: verification
+  output_dir: orp/packets
+  write_markdown: true
+  deterministic_mode: true
+
+lifecycle:
+  claim_status_map:
+    Draft: draft
+    In review: ready
+    Verified: reviewed
+    Blocked: blocked
+    Retracted: retracted
+  atom_status_map:
+    todo: draft
+    in_progress: ready
+    blocked: blocked
+    done: reviewed
+  claim_level_values:
+    - Exact
+    - Verified
+    - Heuristic
+    - Conjecture
+
+gates:
+  - id: feedback_record
+    description: Record what slipped, why it slipped, and the intended prevention path.
+    phase: verification
+    command: >
+      {{FEEDBACK_RECORD_COMMAND}}
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - {{FEEDBACK_RECORD_PASS_TOKEN}}
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+  - id: guard_validation
+    description: Validate new or updated guards with explicit PASS and FAIL coverage.
+    phase: verification
+    command: >
+      {{GUARD_VALIDATION_COMMAND}}
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - {{GUARD_VALIDATION_PASS_TOKEN}}
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: stop
+
+  - id: docs_sync
+    description: Confirm docs, templates, and agent instructions were updated in the same pass.
+    phase: verification
+    command: >
+      {{DOC_SYNC_COMMAND}}
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - {{DOC_SYNC_PASS_TOKEN}}
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+profiles:
+  external_feedback_hardening:
+    description: Convert maintainer feedback into a validated guard plus synchronized docs.
+    mode: collaboration
+    packet_kind: verification
+    gate_ids:
+      - feedback_record
+      - guard_validation
+      - docs_sync

package/packs/external-pr-governance/profiles/oss-pr-governance.yml.tmpl

@@ -0,0 +1,233 @@
+version: "1"
+
+project:
+  name: external-pr-governance
+  repo_root: .
+  canonical_paths:
+    target_repo_root: {{TARGET_REPO_ROOT}}
+    default_pr_body_file: {{TARGET_REPO_ROOT}}/{{DEFAULT_PR_BODY_FILE}}
+
+runtime:
+  shell: /bin/bash
+  default_timeout_sec: {{ORP_TIMEOUT_SEC}}
+  artifacts_root: orp/artifacts
+
+packet:
+  default_kind: pr
+  output_dir: orp/packets
+  write_markdown: true
+  deterministic_mode: true
+
+lifecycle:
+  claim_status_map:
+    Draft: draft
+    In review: ready
+    Verified: reviewed
+    Blocked: blocked
+    Retracted: retracted
+  atom_status_map:
+    todo: draft
+    in_progress: ready
+    blocked: blocked
+    done: reviewed
+  claim_level_values:
+    - Exact
+    - Verified
+    - Heuristic
+    - Conjecture
+
+gates:
+  - id: watch_select
+    description: Select a target issue or contribution lane and record why it is worth pursuing.
+    phase: scope_lock
+    command: >
+      {{WATCH_SELECT_COMMAND}}
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - {{WATCH_SELECT_PASS_TOKEN}}
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+  - id: viability_gate
+    description: Decide whether work is viable and etiquette-safe to start.
+    phase: scope_lock
+    command: >
+      {{VIABILITY_COMMAND}}
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - {{VIABILITY_PASS_TOKEN}}
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+  - id: overlap_gate
+    description: Decide whether overlap is clear or coordination is already complete.
+    phase: scope_lock
+    command: >
+      {{OVERLAP_COMMAND}}
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - {{OVERLAP_PASS_TOKEN}}
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+  - id: local_gate
+    description: Run the repo-local verification gate before any public PR update.
+    phase: verification
+    command: >
+      {{LOCAL_GATE_COMMAND}}
+    working_dir: {{TARGET_REPO_ROOT}}
+    timeout_sec: {{ORP_TIMEOUT_SEC}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - {{LOCAL_GATE_PASS_TOKEN}}
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: stop
+
+  - id: ready_to_draft
+    description: Freeze the branch or change-set as ready to open or update a draft PR.
+    phase: verification
+    command: >
+      {{READY_TO_DRAFT_COMMAND}}
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - {{READY_TO_DRAFT_PASS_TOKEN}}
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: stop
+
+  - id: pr_body_preflight
+    description: Enforce portable, reviewer-friendly public PR text.
+    phase: verification
+    command: >
+      {{PR_BODY_PREFLIGHT_COMMAND}}
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - {{PR_BODY_PASS_TOKEN}}
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      paths:
+        - {{TARGET_REPO_ROOT}}/{{DEFAULT_PR_BODY_FILE}}
+    on_fail: mark_blocked
+
+  - id: draft_pr_transition
+    description: Open or update the draft PR only after the same-HEAD ready marker is satisfied.
+    phase: verification
+    command: >
+      {{DRAFT_PR_TRANSITION_COMMAND}}
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - {{DRAFT_PR_TRANSITION_PASS_TOKEN}}
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      paths:
+        - {{TARGET_REPO_ROOT}}/{{DEFAULT_PR_BODY_FILE}}
+    on_fail: stop
+
+  - id: draft_ci
+    description: Confirm draft CI is green or otherwise approved for promotion.
+    phase: verification
+    command: >
+      {{DRAFT_CI_COMMAND}}
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - {{DRAFT_CI_PASS_TOKEN}}
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+  - id: ready_for_review
+    description: Confirm the PR can be promoted from draft to ready-for-review.
+    phase: verification
+    command: >
+      {{READY_FOR_REVIEW_COMMAND}}
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - {{READY_FOR_REVIEW_PASS_TOKEN}}
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+profiles:
+  external_watch_select:
+    description: Watch/select stage for choosing a candidate contribution target before pre-open checks.
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - watch_select
+
+  external_pre_open:
+    description: Viability and overlap checks after a target is selected and before implementation or draft creation.
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - viability_gate
+      - overlap_gate
+
+  external_local_readiness:
+    description: Local verification, freeze, and PR-body hygiene before draft open/update.
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - local_gate
+      - ready_to_draft
+      - pr_body_preflight
+
+  external_draft_transition:
+    description: Open or update the draft PR once the same-HEAD readiness chain has passed.
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - draft_pr_transition
+
+  external_draft_lifecycle:
+    description: Draft CI and ready-for-review checks after a draft PR exists.
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - draft_ci
+      - ready_for_review
+
+  external_full_flow:
+    description: End-to-end lifecycle from watch/select through draft promotion readiness.
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - watch_select
+      - viability_gate
+      - overlap_gate
+      - local_gate
+      - ready_to_draft
+      - pr_body_preflight
+      - draft_pr_transition
+      - draft_ci
+      - ready_for_review

package/packs/issue-smashers/README.md

@@ -0,0 +1,92 @@
+# Issue Smashers Pack
+
+Opinionated ORP pack for running disciplined external contribution work from a
+shared `issue-smashers/` workspace.
+
+This pack is meant to sit one layer above the generic
+`external-pr-governance` pack:
+
+- `external-pr-governance` keeps the portable lifecycle contract
+- `issue-smashers` adds a workspace convention, operator-facing docs, and a
+  reusable scaffold for multi-repo issue work
+
+## What this pack installs
+
+`orp pack install --pack-id issue-smashers` renders:
+
+- `orp.issue-smashers.yml`
+- `orp.issue-smashers-feedback-hardening.yml`
+- `orp.issue-smashers.pack-install-report.md`
+
+and bootstraps a workspace skeleton under:
+
+- `issue-smashers/README.md`
+- `issue-smashers/WORKSPACE_RULES.md`
+- `issue-smashers/setup-issue-smashers.sh`
+- `issue-smashers/analysis/PR_DRAFT_BODY.md`
+- `issue-smashers/analysis/ISSUE_SMASHERS_WATCHLIST.json`
+- `issue-smashers/analysis/ISSUE_SMASHERS_STATUS.md`
+- `issue-smashers/repos/`
+- `issue-smashers/worktrees/`
+- `issue-smashers/scratch/`
+- `issue-smashers/archive/`
+
+The pack is intentionally install-and-adapt:
+
+- workspace structure is real
+- profile templates are real
+- command hooks still require adapter-specific commands before governance runs
+  become meaningful
+
+## Workspace model
+
+The `issue-smashers/` directory is a plain workspace, not a replacement for
+ORP core and not a monorepo that should own cloned target repos in Git
+history.
+
+Recommended usage:
+
+- keep ORP installed globally or available as a separate source repo
+- install this pack into a parent directory
+- let `issue-smashers/repos/` hold base clones
+- let `issue-smashers/worktrees/` hold one active lane per issue
+- treat `scratch/` as disposable and `archive/` as optional
+
+## Install through ORP
+
+```bash
+orp pack install --pack-id issue-smashers
+```
+
+That gives you the rendered configs plus the workspace scaffold.
+
+For a clean test flow, replace the placeholder commands with simple pass
+commands and run:
+
+```bash
+orp --config orp.issue-smashers.yml \
+  gate run --profile issue_smashers_full_flow
+
+orp --config orp.issue-smashers.yml \
+  packet emit --profile issue_smashers_full_flow
+
+orp --config orp.issue-smashers-feedback-hardening.yml \
+  gate run --profile issue_smashers_feedback_hardening
+```
+
+## Included adapters
+
+- `adapters/mathlib/`
+  - maps the pack to the highest-rigor current workflow
+- `adapters/formal-conjectures/`
+  - sketches the next non-mathlib target
+- `adapters/generic-github/`
+  - keeps the workspace useful even before repo-specific adapters exist
+
+## Design rule
+
+Use this pack when you want the operator ergonomics and directory shape of
+Issue Smashers.
+
+Use `external-pr-governance` when you only want the generic lifecycle without a
+workspace convention.

package/packs/issue-smashers/adapters/formal-conjectures/README.md

@@ -0,0 +1,17 @@
+# Formal Conjectures Adapter Notes
+
+Use this adapter when the issue-smashers lane targets
+`google-deepmind/formal-conjectures` or a similar formalization-heavy external
+repo.
+
+This adapter is intentionally lighter than the mathlib reference today. It
+should grow into:
+
+- issue watch and candidate selection
+- viability rules around collaborator activity and active PR overlap
+- local test/build gates for the target repo
+- clean PR-body and disclosure conventions
+- feedback hardening when maintainers reveal a missed check
+
+Until the adapter is fully specified, treat the rendered Issue Smashers config as
+install-and-adapt and replace placeholder commands with repo-specific commands.

package/packs/issue-smashers/adapters/generic-github/README.md

@@ -0,0 +1,16 @@
+# Generic GitHub Adapter Notes
+
+Use this adapter when you want the Issue Smashers workspace shape before a
+repo-specific adapter exists.
+
+The minimum viable setup is:
+
+- choose a target repo and issue lane
+- record it in the watchlist and status board
+- replace each placeholder command with a real repo-specific command or a test
+  stub
+- keep the PR body under the workspace analysis directory
+
+This adapter is intentionally simple. It keeps the pack useful for new repos
+without pretending generic GitHub etiquette is the same as a mature
+repo-specific workflow.

package/packs/issue-smashers/adapters/mathlib/README.md

@@ -0,0 +1,32 @@
+# Mathlib Adapter Notes
+
+Use this adapter when the issue-smashers lane targets
+`leanprover-community/mathlib4`.
+
+Source-of-truth behavior currently lives in the stronger reference workflow
+developed from `sunflower-coda`:
+
+- issue watch and triage
+- viability and etiquette gate
+- overlap precheck
+- local gate
+- ready-to-draft same-head freeze
+- PR-body preflight
+- draft PR transition
+- draft CI and ready-for-review checks
+- feedback hardening
+
+Recommended mapping for rendered command variables:
+
+- `WATCH_SELECT_COMMAND` -> watchlist or issue selection script
+- `VIABILITY_COMMAND` -> mathlib issue viability gate
+- `OVERLAP_COMMAND` -> mathlib overlap precheck
+- `LOCAL_GATE_COMMAND` -> mathlib local gate
+- `READY_TO_DRAFT_COMMAND` -> mathlib ready-to-draft gate
+- `PR_BODY_PREFLIGHT_COMMAND` -> mathlib PR body preflight
+- `DRAFT_PR_TRANSITION_COMMAND` -> mathlib draft PR open/update script
+- `DRAFT_CI_COMMAND` -> draft CI watcher
+- `READY_FOR_REVIEW_COMMAND` -> ready-for-review gate
+
+Use this adapter when you want Issue Smashers ergonomics but mathlib-grade
+discipline.