Verify-round — rocky/eva realignment (PR #15) + downstream canary
Verify-round: rocky/eva realignment
Section titled “Verify-round: rocky/eva realignment”MR-10 verification round for the upstream rename (PR petrova-hq/petrova#15) and the canary-slug flip in grace-hq.
Spine checks (petrova-hq)
Section titled “Spine checks (petrova-hq)”| Check | Result |
|---|---|
npm run typecheck (cli/) | ✓ clean |
npm test (vitest, cli/) | ✓ 158/158 (after fixing 13 inline fixture omissions; backfilled in PR #16) |
npm run build (cli/) | ✓ clean |
petrova doctor --self-check | ✓ ok spine self-check |
node scripts/regen-bootstrap-questions.mjs | ✓ regenerates with eva entry once integrations array updated |
Canary probe — grace-hq
Section titled “Canary probe — grace-hq”petrova doctor --repo /home/devarno/code/workspace/grace-hq produced
the expected schema-rejection naming the missing rocky + eva
keys. Precise, actionable, load-bearing — not a regression. PR
grace-hq/grace#23 flips the contract; doctor will go green after merge.
Findings
Section titled “Findings”| ID | Severity | Item | Disposition |
|---|---|---|---|
| F-1 | advisory | PR #15 merged without running the cli test suite (13 inline fixtures and 2 length assertions slipped through). | Closed by PR #16. Recommend wiring CI on cli/** before next sub-project. |
| F-2 | advisory | docs/findings/ did not exist in petrova-hq. | Closed: this doc is the seed entry. |
| F-3 | advisory | grace-hq Phase 1 Wave 1 contract flip is the next step. | Closed by grace-hq PR #23 (open). |
| F-4 | blocker for Phase 1 close | kahn-hq (Wave 2), stratt-hq, choco-hq, devarno-cloud (Phase 2): none have a local .petrova/contract.yaml. The runbook’s flip-style waves are no-ops for them. Sub-project A onboarding (initial contract bootstrap) must precede any rename flip. | Open: runbook amended (waves marked deferred). Recommend a follow-up decision doc opening sub-project F = “petrova contract bootstrap backfill”. |
| F-5 | advisory | Registry URLs for rocky-hq and eva-hq were initially https://github.com/petrova-hq/rocky-hq / eva-hq but the actual remotes are https://github.com/rocky-hq/rocky / https://github.com/eva-hq/eva (matches the kahn-hq pattern of org/<short-name>). | Closed by registry URL fix in this commit batch. |
| F-6 | advisory | bootstrap-questions.yaml regen script’s integrations array was hardcoded to four; eva not picked up despite schema having it. | Closed: script’s array updated and file regenerated. |
| F-7 | advisory | devarno-cloud atlas references stale prompt name 09-lore-cairnet-wire (in petrova-multi-tenant-knowledge-seam.doctrine.md and the 2026-05-02 campaign doc). | Open: those docs live in devarno-cloud, not petrova-hq, and are forward-looking design — leaving them untouched here; flagged for the devarno-cloud maintainers to add a banner or sibling supersession note (MR-7 in their atlas). |
| F-8 | advisory | grace-hq has a historical finding docs/findings/20260501-1900-lore-cairnet-wire-audit-grace-hq.md referencing the old name. Per MR-7 (append-only) this is a record of past observation; leave intact. | Closed: no action — historical record. |
Production-readiness checklist
Section titled “Production-readiness checklist”- Schemas accept the new key set; legacy probe_history value retained for read-back.
- CLI builds + types clean.
- CLI test suite green (158/158) after fixture backfill.
-
petrova doctor --self-checkok against the new spine. - Self-contract (
.petrova/contract.yamlfor petrova-hq) updated. - Bootstrap-questions regen script updated; eva surfaces in operator prompts.
- Registry URLs match actual remotes for rocky-hq + eva-hq.
- Decision doc + runbook record the rename and supersede prior artefacts cleanly.
- Submodule pointer pinned to a committed branch in
petrova-hq/prompts. - Wave 1 canary (grace-hq) PR open and consistent with runbook.
- Wave 2 / Phase 2 deferred (F-4) — requires sub-project F follow-up.
-
petrova doctor --commit-stateagainst grace-hq after PR #23 merges (will writestate/grace-hq.yamlunder the new key). - kahn-hq / stratt-hq / choco-hq / devarno-cloud contract bootstrap (separate sub-project).
Phase status
Section titled “Phase status”Phase: rocky/eva realignment — closed-with-deferrals.
Blocking: none. Realignment is production-ready for the slugs that already have contracts (grace-hq, petrova-hq self-entry). Slugs without contracts are governed-but-uninstrumented; the registry correctly reflects their applicability and the doctor surfaces the gap as a clean schema error rather than silent drift.
Recommended next sub-project: F — petrova contract bootstrap backfill for kahn-hq, stratt-hq, choco-hq, devarno-cloud, rocky-hq, eva-hq.