Skip to content
PETROVA
Search
Ctrl
K
Cancel
GitHub
Select theme
Dark
Light
Auto
Overview
What is PETROVA?
Control-plane decision
Load-bearing invariants
Quickstart
Concepts
Control plane vs source-of-truth
Registry
Verbs
Idempotency keys
Fleets
Profiles
Dry-run vs apply
Schema fingerprints
Boundary diagram
Verb reference
Overview
Common envelope
diagnose
open_decision
update_milestone
start_phase
close_phase
verify_round
request_review
request_merge_when_green
propose_fix
PR body template
CLI
Install
Auth
Command reference
Configuration
Output formats
Skills
Install
petrova-act
petrova-status
Helper scripts
Refusal conditions
Integrations
Overview
KAHN agent fleets
Example: diagnose → propose_fix
Example: failure modes
Meta-rules
Overview
MR-1
MR-2
MR-3
MR-4
MR-5
MR-6
MR-7
MR-8
MR-9
MR-10
MR-11
MR-12
Changing an MR
Runbooks
Onboard a repo
Auth setup
Bump a submodule
Verb failure recovery
Audit fleet activity
Templates
Overview
shared/ namespace
CLAUDE.md template
AGENTS.xml template
MILESTONES.md template
docs/ scaffold
Prompts
Overview
00 — Bootstrap
01 — Phase open
02 — Phase close
03 — Verification round
04 — Drift check
05 — Petrova onboard
Decisions
Overview
Architecture
Why a thin centre
Three concentric rings
Why no central database
Why API-first
Trade-offs accepted
Roadmap
Tasksets 1–8 (executed)
Deferred work
Future tasksets
GitHub
Select theme
Dark
Light
Auto
2026-05-11
·
draft
Overview
This section is in preparation. Content ships as the methodology matures.
