0006 — Bootstrap PETROVA contract (sub-project F)

Date: 2026-05-06 Status: closed Supersedes: none — first PETROVA contract for rocky-hq Superseded-by: none — current

Context

rocky-hq joined the PETROVA line on 2026-05-06 as part of the LORE+CAIRNET ownership transfer ratified upstream (petrova-hq/docs/decisions/2026-05-06-rocky-ownership-and-eva-introduction.md). The registry entry was added in that change but no .petrova/contract.yaml was created at the time. The upstream verify-round flagged this gap as part of finding F-4; sub-project F (petrova contract bootstrap backfill) addresses it.

Registry applicability for rocky-hq:

ares:   required
traceo: required
crumb:  not_applicable
rocky:  not_applicable  # rocky-hq IS rocky
eva:    not_applicable

Decision

Land .petrova/contract.yaml per sub-project F default rules, including the self-applicability rule for the rocky integration:

• ares: pending, traceo: pending — declared, awaiting wire-up.
• crumb: not_applicable — no cards yet for this slug.
• rocky: not_applicable with reason "rocky-hq IS rocky; does not consume itself" — mirrors the petrova-hq self-entry pattern.
• eva: not_applicable — eva-hq surface not yet published.

References

• Upstream sub-project F decision: petrova-hq/docs/decisions/2026-05-06-sub-project-f-contract-bootstrap.md
• Upstream rocky/eva decision: petrova-hq/docs/decisions/2026-05-06-rocky-ownership-and-eva-introduction.md
• Upstream finding: petrova-hq/docs/findings/20260506-1500-rocky-eva-realignment-verify-round.md (F-4)
• Schema: petrova-hq/contracts/contract.schema.json

Sign-off

• Subagent: petrova-control-plane (2026-05-06)
• Human: pending