open-research-protocol 0.3.0

package/examples/orp.erdos-problems.catalog.yml

@@ -0,0 +1,88 @@
+version: "1"
+
+project:
+  name: erdos-problems-catalog-sync
+  repo_root: .
+  canonical_paths:
+    erdos_all_json: /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.all.json
+    erdos_open_json: /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.open.json
+    erdos_closed_json: /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.closed.json
+    erdos_active_json: /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.active.json
+
+runtime:
+  shell: /bin/bash
+  default_timeout_sec: 1200
+  artifacts_root: orp/artifacts
+
+packet:
+  default_kind: problem_scope
+  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: erdos_catalog_sync
+    description: Sync all Erdos problems from erdosproblems.com and publish open/closed/active snapshots.
+    phase: scope_lock
+    command: >
+      python3 /path/to/orp/scripts/orp-erdos-problems-sync.py
+      --source-url https://erdosproblems.com/range/1-end
+      --timeout-sec 90
+      --active-status open
+      --out-all /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.all.json
+      --out-open /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.open.json
+      --out-closed /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.closed.json
+      --out-active /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.active.json
+      --out-open-list /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_open_problems.md
+    working_dir: /path/to/orp
+    timeout_sec: 1200
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - parsed_total=
+        - summary.open=
+        - summary.closed=
+        - active_status=open
+        - out_open_list=
+      file_must_exist:
+        - /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.all.json
+        - /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.open.json
+        - /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.closed.json
+        - /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.active.json
+        - /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_open_problems.md
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      paths:
+        - /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.all.json
+        - /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.open.json
+        - /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.closed.json
+        - /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_problems.active.json
+        - /path/to/sunflower-coda/repo/analysis/erdos_problems/erdos_open_problems.md
+    on_fail: stop
+
+profiles:
+  erdos_catalog_sync_active:
+    description: Sync Erdos problem catalog with open-default active status (override via ERDOS_ACTIVE_STATUS).
+    mode: discovery
+    packet_kind: problem_scope
+    gate_ids:
+      - erdos_catalog_sync

package/examples/orp.external-pr-governance.yml

@@ -0,0 +1,223 @@
+version: "1"
+
+project:
+  name: external-pr-governance-example
+  repo_root: .
+  canonical_paths:
+    target_repo_root: /path/to/working/repo
+    default_pr_body_file: /path/to/working/repo/analysis/PR_DRAFT_BODY.md
+
+runtime:
+  shell: /bin/bash
+  default_timeout_sec: 1200
+  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: Example watch/select gate.
+    phase: scope_lock
+    command: printf 'selection=PASS\n'
+    working_dir: /path/to/working/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - selection=PASS
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+  - id: viability_gate
+    description: Example viability gate.
+    phase: scope_lock
+    command: printf 'decision=PASS\n'
+    working_dir: /path/to/working/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - decision=PASS
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+  - id: overlap_gate
+    description: Example overlap gate.
+    phase: scope_lock
+    command: printf 'overlap=PASS\n'
+    working_dir: /path/to/working/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - overlap=PASS
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+  - id: local_gate
+    description: Example local verification gate.
+    phase: verification
+    command: printf 'gate=PASS\n'
+    working_dir: /path/to/working/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - gate=PASS
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: stop
+
+  - id: ready_to_draft
+    description: Example ready-to-draft gate.
+    phase: verification
+    command: printf 'ready_to_draft=PASS\n'
+    working_dir: /path/to/working/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - ready_to_draft=PASS
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: stop
+
+  - id: pr_body_preflight
+    description: Example PR body preflight.
+    phase: verification
+    command: printf 'gate=PASS\n'
+    working_dir: /path/to/working/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - gate=PASS
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      paths:
+        - /path/to/working/repo/analysis/PR_DRAFT_BODY.md
+    on_fail: mark_blocked
+
+  - id: draft_pr_transition
+    description: Example draft PR open/update gate.
+    phase: verification
+    command: printf 'draft_pr=PASS\n'
+    working_dir: /path/to/working/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - draft_pr=PASS
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      paths:
+        - /path/to/working/repo/analysis/PR_DRAFT_BODY.md
+    on_fail: stop
+
+  - id: draft_ci
+    description: Example draft CI gate.
+    phase: verification
+    command: printf 'draft_ci=PASS\n'
+    working_dir: /path/to/working/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - draft_ci=PASS
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+  - id: ready_for_review
+    description: Example ready-for-review gate.
+    phase: verification
+    command: printf 'ready_for_review=PASS\n'
+    working_dir: /path/to/working/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - ready_for_review=PASS
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+profiles:
+  external_watch_select:
+    description: Example watch/select profile.
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - watch_select
+
+  external_pre_open:
+    description: Example pre-open profile.
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - viability_gate
+      - overlap_gate
+
+  external_local_readiness:
+    description: Example local-readiness profile.
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - local_gate
+      - ready_to_draft
+      - pr_body_preflight
+
+  external_draft_transition:
+    description: Example draft transition profile.
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - draft_pr_transition
+
+  external_draft_lifecycle:
+    description: Example draft lifecycle profile.
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - draft_ci
+      - ready_for_review
+
+  external_full_flow:
+    description: Example full-flow profile.
+    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/examples/orp.sunflower-coda.atomic.yml

@@ -0,0 +1,144 @@
+version: "1"
+
+project:
+  name: sunflower-coda
+  repo_root: .
+  canonical_paths:
+    code: sunflower_lean/
+    analysis: analysis/
+    docs: docs/
+    board_json: analysis/problem857_counting_gateboard.json
+    board_md: docs/PROBLEM857_COUNTING_OPS_BOARD.md
+    scope_config: orchestrator/v2/scopes/problem_857.yaml
+
+runtime:
+  shell: /bin/bash
+  default_timeout_sec: 900
+  artifacts_root: orp/artifacts
+
+packet:
+  default_kind: problem_scope
+  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
+
+atomic_board:
+  enabled: true
+  board_path: 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
+    pass:
+      exit_codes: [0]
+    evidence:
+      include_stdout: true
+      include_stderr: false
+      paths:
+        - analysis/problem857_counting_gateboard.json
+        - 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
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - ready_atoms=
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    on_fail: mark_blocked
+
+  - id: spec_faithfulness
+    description: Enforce theorem-cycle semantic completeness contract.
+    phase: quant_assembly
+    command: python3 orchestrator/problem857_public_spec_check.py --run-id {run_id} --expect-starter-scaffold true
+    pass:
+      exit_codes: [0]
+    evidence:
+      include_stdout: true
+      include_stderr: true
+      paths:
+        - orchestrator/logs/{run_id}/SPEC_CHECK.json
+    on_fail: mark_blocked
+
+  - id: lean_build_balance
+    description: Verify deterministic Lean build for Balance module.
+    phase: interface_lift
+    command: lake build SunflowerLean.Balance
+    working_dir: sunflower_lean
+    timeout_sec: 1200
+    pass:
+      exit_codes: [0]
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    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
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - strict
+    evidence:
+      include_stdout: true
+      include_stderr: true
+    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
+
+  sunflower_collaborator:
+    description: Optional PR prep flow while preserving same canonical gates.
+    mode: collaboration
+    packet_kind: pr
+    gate_ids:
+      - spec_faithfulness
+      - lean_build_balance
+      - route_frontier
+
+  sunflower_reviewer:
+    description: Optional artifact triage and validation flow.
+    mode: review
+    packet_kind: verification
+    gate_ids:
+      - board_refresh
+      - route_frontier

package/examples/orp.sunflower-coda.live-compare.yml

@@ -0,0 +1,181 @@
+version: "1"
+
+project:
+  name: sunflower-coda-live-compare
+  repo_root: .
+  canonical_paths:
+    board_857_json: /path/to/sunflower-coda/repo/analysis/problem857_counting_gateboard.json
+    board_20_json: /path/to/sunflower-coda/repo/analysis/problem20_k3_gateboard.json
+    board_367_json: /path/to/sunflower-coda/repo/analysis/problem367_sharp_gateboard.json
+
+runtime:
+  shell: /bin/bash
+  default_timeout_sec: 1200
+  artifacts_root: orp/artifacts
+
+packet:
+  default_kind: problem_scope
+  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: p857_board_show
+    description: Problem 857 board show snapshot.
+    phase: verification
+    command: python3 scripts/problem857_ops_board.py show
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - route=counting_uniform
+        - route=container_v2
+        - ticket=T6
+        - ready_atoms=
+
+  - id: p857_board_ready
+    description: Problem 857 ready queue snapshot.
+    phase: verification
+    command: python3 scripts/problem857_ops_board.py ready
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - ready_atoms=
+
+  - id: p857_frontier
+    description: Problem 857 strict/loose route status.
+    phase: verification
+    command: python3 scripts/frontier_status.py --problem 857
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - "== Strict Routes (857) =="
+        - counting_uniform
+        - container
+
+  - id: p20_board_show
+    description: Problem 20 board show snapshot.
+    phase: verification
+    command: python3 scripts/problem20_ops_board.py show
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - route=uniform_prize
+        - route=uniform_prize_final_k3
+        - ticket=T6
+        - ready_atoms=
+
+  - id: p20_board_ready
+    description: Problem 20 ready queue snapshot.
+    phase: verification
+    command: python3 scripts/problem20_ops_board.py ready
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - ready_atoms=
+
+  - id: p20_frontier
+    description: Problem 20 strict/loose route status.
+    phase: verification
+    command: python3 scripts/frontier_status.py --problem 20
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - "== Strict Routes (20) =="
+        - uniform_prize
+
+  - id: p367_board_show
+    description: Problem 367 board show snapshot.
+    phase: verification
+    command: python3 scripts/problem367_ops_board.py show
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - route=sieve_weighted_tail
+        - route=full
+        - ticket=T5
+        - ready_atoms=
+
+  - id: p367_board_ready
+    description: Problem 367 ready queue snapshot.
+    phase: verification
+    command: python3 scripts/problem367_ops_board.py ready --allow-no-go
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - no_go_active=
+        - ready_atoms=
+
+  - id: p367_frontier
+    description: Problem 367 strict/loose route status.
+    phase: verification
+    command: python3 scripts/frontier_status.py --problem 367
+    working_dir: /path/to/sunflower-coda/repo
+    pass:
+      exit_codes: [0]
+      stdout_must_contain:
+        - "== Strict Routes (367) =="
+        - sieve_weighted_tail
+        - "full:"
+
+profiles:
+  sunflower_live_compare_857:
+    description: Side-by-side compare profile for Problem 857.
+    mode: discovery
+    packet_kind: problem_scope
+    atomic_board:
+      enabled: true
+      board_path: /path/to/sunflower-coda/repo/analysis/problem857_counting_gateboard.json
+    gate_ids:
+      - p857_board_show
+      - p857_board_ready
+      - p857_frontier
+
+  sunflower_live_compare_20:
+    description: Side-by-side compare profile for Problem 20.
+    mode: discovery
+    packet_kind: problem_scope
+    atomic_board:
+      enabled: true
+      board_path: /path/to/sunflower-coda/repo/analysis/problem20_k3_gateboard.json
+    gate_ids:
+      - p20_board_show
+      - p20_board_ready
+      - p20_frontier
+
+  sunflower_live_compare_367:
+    description: Side-by-side compare profile for Problem 367.
+    mode: discovery
+    packet_kind: problem_scope
+    atomic_board:
+      enabled: true
+      board_path: /path/to/sunflower-coda/repo/analysis/problem367_sharp_gateboard.json
+    gate_ids:
+      - p367_board_show
+      - p367_board_ready
+      - p367_frontier