Verb catalogue
The nine action verbs the petrova control plane exposes. Each verb is schema-validated, idempotency-keyed, dry-run by default, and PR-emitting.
| Verb | Upholds | Constraints | Description |
|---|---|---|---|
close_phase | MR-2, MR-7, MR-10 | 7 | Close an open phase. Requires a paired verification_round decision doc and expli… |
declare_baseline | MR-7 | 6 | Ratify a new petrova baseline version (v2, v3, …) as a decision doc in petrova-c… |
diagnose | — | 1 | Read-only collection of cross-cutting context across a target repo: current phas… |
open_decision | MR-4, MR-7 | 6 | Open a new dated decision doc in the target repo’s docs/decisions/. Creates a PR… |
petrova_install_playbook | MR-17 | 3 | Deposit the petrova playbook (META-RULES.md, 00-bootstrap.md, mr-preamble.xml, p… |
petrova_onboard | MR-13, MR-14 | 4 | Initialise a registered repo’s mechanical petrova floor: write `.petrova/contrac… |
propose_fix | MR-7, MR-12 | 7 | Draft a fix PR grounded in a preceding diagnose run. Composes request_review und… |
request_merge_when_green | MR-3, MR-12 | 6 | Open a PR (same surface as request_review) AND mark it for auto-merge once branc… |
request_review | MR-3, MR-12 | 5 | Generic write surface: open a PR with arbitrary file changes and request review.… |
start_phase | MR-2, MR-7, MR-10 | 5 | Open a new phase. Composes open_decision (writes phase-N-open.md) plus update_mi… |
update_milestone | MR-2, MR-7 | 7 | Add a new milestone or transition an existing one in the target repo’s MILESTONE… |
verify_round | MR-10 | 3 | Record the output of a phase-close verification round. Creates a dated decision … |
wire_integration | MR-7, MR-13 | 7 | Flip a registered consumer repo’s .petrova/contract.yaml integration block fro… |
See common envelope for the input/output shape every verb shares.