open-research-protocol 0.3.0

package/packs/erdos-open-problems/profiles/sunflower-mathlib-pr-governance.yml.tmpl

@@ -0,0 +1,253 @@
+version: "1"
+
+project:
+  name: sunflower-coda-mathlib-pr-governance
+  repo_root: .
+  canonical_paths:
+    checklist_doc: {{TARGET_REPO_ROOT}}/docs/MATHLIB_SUBMISSION_CHECKLIST.md
+    issue_viability_doc: {{TARGET_REPO_ROOT}}/docs/MATHLIB_ISSUE_VIABILITY_GATE.md
+    draft_pr_template_doc: {{TARGET_REPO_ROOT}}/docs/MATHLIB_DRAFT_PR_TEMPLATE.md
+    upstream_lane_doc: {{TARGET_REPO_ROOT}}/docs/UPSTREAM_PR_LANE.md
+    upstream_plan: {{TARGET_REPO_ROOT}}/analysis/UPSTREAM_PR_PLAN.yaml
+    default_pr_body_file: {{TARGET_REPO_ROOT}}/{{DEFAULT_PR_BODY_FILE}}
+    mathlib_repo_root: {{MATHLIB_REPO_ROOT}}
+
+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: checklist_presence
+    description: Verify required mathlib submission and lane docs are present.
+    phase: scope_lock
+    command: >
+      test -f docs/MATHLIB_SUBMISSION_CHECKLIST.md &&
+      test -f docs/MATHLIB_DRAFT_PR_TEMPLATE.md &&
+      test -f docs/MATHLIB_ISSUE_VIABILITY_GATE.md &&
+      test -f docs/UPSTREAM_PR_LANE.md
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+    evidence:
+      include_stdout: false
+      include_stderr: true
+      paths:
+        - {{TARGET_REPO_ROOT}}/docs/MATHLIB_SUBMISSION_CHECKLIST.md
+        - {{TARGET_REPO_ROOT}}/docs/MATHLIB_DRAFT_PR_TEMPLATE.md
+        - {{TARGET_REPO_ROOT}}/docs/MATHLIB_ISSUE_VIABILITY_GATE.md
+        - {{TARGET_REPO_ROOT}}/docs/UPSTREAM_PR_LANE.md
+    on_fail: stop
+
+  - id: queue_policy_guard
+    description: Enforce anti-spam queue policy defaults before any PR creation step.
+    phase: scope_lock
+    command: python3 scripts/upstream-pr-plan.py summary
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - policy.submission_mode={{UPSTREAM_SUBMISSION_MODE}}
+        - policy.max_prs_per_session={{MAX_PRS_PER_SESSION}}
+        - policy.require_explicit_approval={{REQUIRE_EXPLICIT_APPROVAL}}
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      paths:
+        - {{TARGET_REPO_ROOT}}/analysis/UPSTREAM_PR_PLAN.yaml
+    on_fail: mark_blocked
+
+  - id: lane_checklist_snapshot
+    description: Print required contributor/style/queue checklist snapshot.
+    phase: scope_lock
+    command: bash scripts/upstream-pr-lane.sh checklist
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - "== Mathlib Submission Checklist =="
+        - checklist_doc=
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: continue
+
+  - id: issue_viability_decision
+    description: Require PASS from issue viability gate before implementation/drafting.
+    phase: structure_kernel
+    command: >
+      python3 scripts/mathlib-issue-viability-gate.py
+      --repo {{MATHLIB_GITHUB_REPO}}
+      --issue "${ORP_ISSUE_NUMBER:?set ORP_ISSUE_NUMBER}"
+      --author {{MATHLIB_GITHUB_AUTHOR}}
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - decision=PASS
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+  - id: naturality_snippet
+    description: Capture natural-generality check text before PR packaging work.
+    phase: structure_kernel
+    command: >
+      bash scripts/mathlib-naturality-snippet.sh
+      --issue "${ORP_ISSUE_NUMBER:?set ORP_ISSUE_NUMBER}"
+      --branch "${ORP_BRANCH_NAME:-issue-${ORP_ISSUE_NUMBER:?set ORP_ISSUE_NUMBER}}"
+      --module "${ORP_NATURALITY_MODULE:?set ORP_NATURALITY_MODULE}"
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - "Natural Generality Check"
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+  - id: local_issue_gate_core
+    description: Run local build/lint gate while keeping viability/tighten as explicit atomic steps.
+    phase: interface_lift
+    command: >
+      bash scripts/mathlib-issue-local-gate.sh
+      --repo {{MATHLIB_REPO_ROOT}}
+      --issue "${ORP_ISSUE_NUMBER:?set ORP_ISSUE_NUMBER}"
+      --skip-viability
+      --skip-tighten-fine-tooth
+    working_dir: {{TARGET_REPO_ROOT}}
+    timeout_sec: {{ORP_TIMEOUT_SEC}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - gate=PASS
+        - marker_file=
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: stop
+
+  - id: tighten_fine_tooth
+    description: Run final tighten/fine-tooth gate for no-sorry/no-conflict/no-duplicate checks.
+    phase: verification
+    command: >
+      bash scripts/mathlib-tighten-fine-tooth-gate.sh
+      --repo {{MATHLIB_REPO_ROOT}}
+      --issue "${ORP_ISSUE_NUMBER:?set ORP_ISSUE_NUMBER}"
+      --author {{MATHLIB_GITHUB_AUTHOR}}
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - tighten_fine_tooth=PASS
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: stop
+
+  - id: ready_to_draft_freeze
+    description: Require micro-pass confirmations and freeze marker on the current HEAD.
+    phase: verification
+    command: >
+      bash scripts/mathlib-ready-to-draft-gate.sh
+      --repo {{MATHLIB_REPO_ROOT}}
+      --issue "${ORP_ISSUE_NUMBER:?set ORP_ISSUE_NUMBER}"
+      --confirm-naming
+      --confirm-docstring-tone
+      --confirm-readability
+      --note "${ORP_READY_NOTE:-{{READY_TO_DRAFT_NOTE}}}"
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - ready_to_draft=PASS
+        - next=open/update draft PR only when explicit user go-ahead is given
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: stop
+
+  - id: pr_body_preflight
+    description: Enforce concise portable PR body with explicit intelligent-systems disclosure.
+    phase: verification
+    command: >
+      python3 scripts/mathlib-pr-body-preflight.py
+      --file "${ORP_PR_BODY_FILE:-{{DEFAULT_PR_BODY_FILE}}}"
+      --fix &&
+      python3 scripts/mathlib-pr-body-preflight.py
+      --file "${ORP_PR_BODY_FILE:-{{DEFAULT_PR_BODY_FILE}}}"
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - gate=PASS
+        - metrics:
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      paths:
+        - {{TARGET_REPO_ROOT}}/{{DEFAULT_PR_BODY_FILE}}
+    on_fail: mark_blocked
+
+profiles:
+  sunflower_mathlib_pre_open:
+    description: Pre-open governance profile (policy + viability + naturality checks).
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - checklist_presence
+      - queue_policy_guard
+      - lane_checklist_snapshot
+      - issue_viability_decision
+      - naturality_snippet
+
+  sunflower_mathlib_draft_readiness:
+    description: Draft-readiness profile (local gate, tighten, freeze, PR-body hygiene).
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - local_issue_gate_core
+      - tighten_fine_tooth
+      - ready_to_draft_freeze
+      - pr_body_preflight
+
+  sunflower_mathlib_full_flow:
+    description: End-to-end profile from pre-open policy checks to draft-readiness gates.
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - checklist_presence
+      - queue_policy_guard
+      - lane_checklist_snapshot
+      - issue_viability_decision
+      - naturality_snippet
+      - local_issue_gate_core
+      - tighten_fine_tooth
+      - ready_to_draft_freeze
+      - pr_body_preflight

package/packs/erdos-open-problems/profiles/sunflower-problem857-discovery-public-repo.yml.tmpl

@@ -0,0 +1,152 @@
+version: "1"
+
+project:
+  name: sunflower-coda
+  repo_root: .
+  canonical_paths:
+    code: sunflower_lean/
+    analysis: analysis/
+    docs: docs/
+    selected_problem_json: {{TARGET_REPO_ROOT}}/analysis/erdos_problems/selected/erdos_problem.857.json
+    board_json: {{TARGET_REPO_ROOT}}/analysis/problem857_counting_gateboard.json
+    board_md: {{TARGET_REPO_ROOT}}/docs/PROBLEM857_COUNTING_OPS_BOARD.md
+    scope_config: {{TARGET_REPO_ROOT}}/orchestrator/v2/scopes/problem_857.yaml
+
+runtime:
+  shell: /bin/bash
+  default_timeout_sec: {{ORP_TIMEOUT_SEC}}
+  artifacts_root: orp/artifacts
+
+packet:
+  default_kind: problem_scope
+  output_dir: orp/packets
+  write_markdown: true
+  deterministic_mode: true
+
+epistemic_status:
+  include_last_erdos_sync: true
+  notes:
+    - Public Problem 857 workflow is operating against a synced public sunflower-lean repo plus ORP-generated bridge files.
+    - board_refresh, board_ready_queue, and route_frontier reflect ORP's derived public integration view, not standalone mathematical evidence.
+    - spec_faithfulness validates the synced public Problem 857 snapshot against the installed scope and board.
+    - lean_build_balance verifies the current public Lean module builds successfully.
+
+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
+
+atomic_board:
+  enabled: true
+  board_path: {{TARGET_REPO_ROOT}}/analysis/problem857_counting_gateboard.json
+  refresh_command: python3 scripts/problem857_ops_board.py refresh --write-md --sync-json
+  ready_command: python3 scripts/problem857_ops_board.py ready
+  set_atom_command_template: python3 scripts/problem857_ops_board.py set-atom {atom_id} --status {status}
+
+gates:
+  - id: board_refresh
+    description: Refresh board snapshot before reading ready/dependency state.
+    phase: scope_lock
+    command: python3 scripts/problem857_ops_board.py refresh --write-md --sync-json
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+    evidence:
+      include_stdout: true
+      include_stderr: false
+      status: process_only
+      note: Board snapshot is an ORP-derived view over the synced public sunflower-lean repo, not mathematical evidence.
+      paths:
+        - {{TARGET_REPO_ROOT}}/analysis/problem857_counting_gateboard.json
+        - {{TARGET_REPO_ROOT}}/docs/PROBLEM857_COUNTING_OPS_BOARD.md
+    on_fail: stop
+
+  - id: board_ready_queue
+    description: Confirm atomic ready queue can be computed from dependency graph.
+    phase: structure_kernel
+    command: python3 scripts/problem857_ops_board.py ready
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - ready_atoms=
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      status: process_only
+      note: Ready queue is derived from the ORP public bridge board, not mathematical evidence.
+    on_fail: mark_blocked
+
+  - id: spec_faithfulness
+    description: Validate public Problem 857 scope consistency against synced Erdos data.
+    phase: quant_assembly
+    command: python3 orchestrator/problem857_public_spec_check.py --run-id {run_id} --problem-id 857 --scope-mode public_repo --expect-starter-scaffold false --selected-problem analysis/erdos_problems/selected/erdos_problem.857.json --scope orchestrator/v2/scopes/problem_857.yaml --board analysis/problem857_counting_gateboard.json
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - spec_check=PASS
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      status: evidence
+      note: Uses the synced public Problem 857 payload as evidence input and validates that scope plus board target the same problem.
+      paths:
+        - {{TARGET_REPO_ROOT}}/analysis/erdos_problems/selected/erdos_problem.857.json
+    on_fail: mark_blocked
+
+  - id: lean_build_balance
+    description: Verify deterministic Lean build for Balance module.
+    phase: interface_lift
+    command: {{PROBLEM857_LEAN_BUILD_COMMAND}}
+    working_dir: {{TARGET_REPO_ROOT}}/sunflower_lean
+    timeout_sec: {{ORP_TIMEOUT_SEC}}
+    pass:
+      exit_codes: [0]
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      status: evidence
+      note: Lean build gate verifies the current public workspace module builds successfully.
+    on_fail: stop
+
+  - id: route_frontier
+    description: Verify strict/loose route status visibility for problem scope.
+    phase: verification
+    command: python3 scripts/frontier_status.py --problem 857
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - "== Strict Routes (857) =="
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      status: process_only
+      note: Route frontier summarizes ORP's public module inventory view; underlying Lean files remain the evidence source.
+    on_fail: mark_blocked
+
+profiles:
+  sunflower_problem857_discovery:
+    description: Atomic problem-scope discovery loop for Problem 857.
+    mode: discovery
+    packet_kind: problem_scope
+    gate_ids:
+      - board_refresh
+      - board_ready_queue
+      - spec_faithfulness
+      - lean_build_balance
+      - route_frontier

package/packs/erdos-open-problems/profiles/sunflower-problem857-discovery.yml.tmpl

@@ -0,0 +1,154 @@
+version: "1"
+
+project:
+  name: sunflower-coda
+  repo_root: .
+  canonical_paths:
+    code: sunflower_lean/
+    analysis: analysis/
+    docs: docs/
+    selected_problem_json: {{TARGET_REPO_ROOT}}/analysis/erdos_problems/selected/erdos_problem.857.json
+    board_json: {{TARGET_REPO_ROOT}}/analysis/problem857_counting_gateboard.json
+    board_md: {{TARGET_REPO_ROOT}}/docs/PROBLEM857_COUNTING_OPS_BOARD.md
+    scope_config: {{TARGET_REPO_ROOT}}/orchestrator/v2/scopes/problem_857.yaml
+
+runtime:
+  shell: /bin/bash
+  default_timeout_sec: {{ORP_TIMEOUT_SEC}}
+  artifacts_root: orp/artifacts
+
+packet:
+  default_kind: problem_scope
+  output_dir: orp/packets
+  write_markdown: true
+  deterministic_mode: true
+
+epistemic_status:
+  overall: starter_public_scaffold
+  starter_scaffold: true
+  include_last_erdos_sync: true
+  notes:
+    - Public Problem 857 workflow is a starter discovery lane, not a proof-complete pipeline.
+    - board_refresh, board_ready_queue, and route_frontier operate on starter scaffold state.
+    - spec_faithfulness validates the synced public Problem 857 snapshot against the installed scope and starter board.
+    - lean_build_balance remains a starter stub until real Lean build integration replaces it.
+
+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
+
+atomic_board:
+  enabled: true
+  board_path: {{TARGET_REPO_ROOT}}/analysis/problem857_counting_gateboard.json
+  refresh_command: python3 scripts/problem857_ops_board.py refresh --write-md --sync-json
+  ready_command: python3 scripts/problem857_ops_board.py ready
+  set_atom_command_template: python3 scripts/problem857_ops_board.py set-atom {atom_id} --status {status}
+
+gates:
+  - id: board_refresh
+    description: Refresh board snapshot before reading ready/dependency state.
+    phase: scope_lock
+    command: python3 scripts/problem857_ops_board.py refresh --write-md --sync-json
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+    evidence:
+      include_stdout: true
+      include_stderr: false
+      status: starter_scaffold
+      note: Starter board snapshot generated by ORP pack install.
+      paths:
+        - {{TARGET_REPO_ROOT}}/analysis/problem857_counting_gateboard.json
+        - {{TARGET_REPO_ROOT}}/docs/PROBLEM857_COUNTING_OPS_BOARD.md
+    on_fail: stop
+
+  - id: board_ready_queue
+    description: Confirm atomic ready queue can be computed from dependency graph.
+    phase: structure_kernel
+    command: python3 scripts/problem857_ops_board.py ready
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - ready_atoms=
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      status: starter_scaffold
+      note: Ready queue is computed from starter board state, not mathematical evidence.
+    on_fail: mark_blocked
+
+  - id: spec_faithfulness
+    description: Validate public Problem 857 scope consistency against synced Erdos data.
+    phase: quant_assembly
+    command: python3 orchestrator/problem857_public_spec_check.py --run-id {run_id} --problem-id 857 --scope-mode starter --expect-starter-scaffold true --selected-problem analysis/erdos_problems/selected/erdos_problem.857.json --scope orchestrator/v2/scopes/problem_857.yaml --board analysis/problem857_counting_gateboard.json
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - spec_check=PASS
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      status: evidence
+      note: Uses the synced public Problem 857 payload as evidence input and validates that scope plus starter board target the same problem.
+      paths:
+        - {{TARGET_REPO_ROOT}}/analysis/erdos_problems/selected/erdos_problem.857.json
+    on_fail: mark_blocked
+
+  - id: lean_build_balance
+    description: Verify deterministic Lean build for Balance module.
+    phase: interface_lift
+    command: {{PROBLEM857_LEAN_BUILD_COMMAND}}
+    working_dir: {{TARGET_REPO_ROOT}}/sunflower_lean
+    timeout_sec: {{ORP_TIMEOUT_SEC}}
+    pass:
+      exit_codes: [0]
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      status: starter_stub
+      note: Lean build gate is a starter stub until real Lean build integration replaces it.
+    on_fail: stop
+
+  - id: route_frontier
+    description: Verify strict/loose route status visibility for problem scope.
+    phase: verification
+    command: python3 scripts/frontier_status.py --problem 857
+    working_dir: {{TARGET_REPO_ROOT}}
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - "== Strict Routes (857) =="
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      status: starter_scaffold
+      note: Route frontier output reflects starter board counters and scaffolding.
+    on_fail: mark_blocked
+
+profiles:
+  sunflower_problem857_discovery:
+    description: Atomic problem-scope discovery loop for Problem 857.
+    mode: discovery
+    packet_kind: problem_scope
+    gate_ids:
+      - board_refresh
+      - board_ready_queue
+      - spec_faithfulness
+      - lean_build_balance
+      - route_frontier

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

@@ -0,0 +1,116 @@
+# External PR Governance Pack
+
+Generic ORP pack for local-first external OSS contribution workflows.
+
+This pack is intentionally adapter-oriented:
+
+- ORP core stays generic.
+- Repo-specific commands and etiquette live in adapters or rendered config variables.
+
+## Purpose
+
+Standardize the lifecycle for external contributions:
+
+1. watch and select,
+2. viability and coordination,
+3. local verification,
+4. ready-to-draft freeze,
+5. draft PR lifecycle,
+6. ready-for-review promotion,
+7. maintainer-feedback hardening.
+
+## Included templates
+
+- `oss_pr_governance`
+  - generic watch/select, pre-open, local-readiness, draft-transition, and draft-lifecycle profiles
+- `oss_feedback_hardening`
+  - generic feedback-to-guard hardening profile
+
+## Included adapters
+
+- `adapters/mathlib/`
+  - reference adapter for the highest-rigor current implementation
+- `adapters/formal-conjectures/`
+  - first non-mathlib adapter target
+
+## Design rule
+
+Use this pack for the generic contract.
+
+If a stronger repo-specific adapter already exists, treat that adapter as the source of truth for:
+
+- exact commands,
+- exact pass tokens,
+- exact PR-body conventions,
+- exact branch/worktree conventions,
+- exact maintainer etiquette overlays.
+
+## Install Through ORP
+
+Install the generic governance configs into a target repo:
+
+```bash
+orp pack install --pack-id external-pr-governance
+```
+
+That renders:
+
+- `orp.external-pr-governance.yml`
+- `orp.external-pr-feedback-hardening.yml`
+- `orp.external-pr.pack-install-report.md`
+
+The rendered configs are intentionally install-and-adapt, not install-and-go:
+
+- repo metadata defaults to placeholders
+- command hooks default to explicit failing placeholders
+- bootstrap creates `analysis/PR_DRAFT_BODY.md` so the PR-body lane has a canonical starting point
+
+Replace the placeholder commands with adapter-specific commands before running meaningful governance profiles.
+
+## Render examples
+
+List templates:
+
+```bash
+python3 scripts/orp-pack-render.py --pack packs/external-pr-governance --list
+```
+
+Render generic governance config:
+
+```bash
+python3 scripts/orp-pack-render.py \
+  --pack packs/external-pr-governance \
+  --template oss_pr_governance \
+  --var TARGET_REPO_ROOT=/path/to/working/repo \
+  --var TARGET_GITHUB_REPO=owner/repo \
+  --var TARGET_GITHUB_AUTHOR=YourLogin \
+  --var WATCH_SELECT_COMMAND="printf 'selection=PASS\n'" \
+  --var VIABILITY_COMMAND="printf 'decision=PASS\n'" \
+  --var OVERLAP_COMMAND="printf 'overlap=PASS\n'" \
+  --var LOCAL_GATE_COMMAND="printf 'gate=PASS\n'" \
+  --var READY_TO_DRAFT_COMMAND="printf 'ready_to_draft=PASS\n'" \
+  --var PR_BODY_PREFLIGHT_COMMAND="printf 'gate=PASS\n'" \
+  --var DRAFT_PR_TRANSITION_COMMAND="printf 'draft_pr=PASS\n'" \
+  --var DRAFT_CI_COMMAND="printf 'draft_ci=PASS\n'" \
+  --var READY_FOR_REVIEW_COMMAND="printf 'ready_for_review=PASS\n'" \
+  --out /path/to/working/repo/orp.external-pr-governance.yml
+```
+
+Render feedback-hardening config:
+
+```bash
+python3 scripts/orp-pack-render.py \
+  --pack packs/external-pr-governance \
+  --template oss_feedback_hardening \
+  --var TARGET_REPO_ROOT=/path/to/working/repo \
+  --var FEEDBACK_RECORD_COMMAND="printf 'feedback_recorded=PASS\n'" \
+  --var GUARD_VALIDATION_COMMAND="printf 'guard_validation=PASS\n'" \
+  --var DOC_SYNC_COMMAND="printf 'docs_sync=PASS\n'" \
+  --out /path/to/working/repo/orp.external-pr-feedback-hardening.yml
+```
+
+## Recommended companion docs
+
+- `docs/EXTERNAL_CONTRIBUTION_GOVERNANCE.md`
+- `docs/OSS_CONTRIBUTION_AGENT_LOOP.md`
+- `docs/SUNFLOWER_CODA_PR_GOVERNANCE_MAPPING.md`