RHL-16 + RHL-2: vocabulary v2 and corpus v2; ruchy fix --safe; ruchy vocab

[noahgift]

Rows RHL-16 and RHL-2 of RHL-001, phases P1 and P2 of docs/rhl/rhlga-1-plan.md.

RHL-16: vocabulary v2 and the v2 corpus

• vocab/fleet-v2.yaml and vocab/tickets-v2.yaml carry every v1 term forward, each with its own -v2 contract.
  • file ticket declares the attributes title and label.
  • ticket count is new: a measure with no effect, counting the tickets a run files.
• docs/rhl/breaks/v2/: the 12 valid programs, rewritten so each is type- and effect-correct under v2, plus 72 planted breaks in six classes.
  • Every break yields its pre-registered code on the mutated line, and the code is new relative to its base.
  • v2 has no known-defect exceptions; a test asserts the list is empty.
• The checker validates with … end blocks under actions that declare attributes. Actions without attributes behave as before.
• v1 is byte-identical. PREREGISTRATION.sha256 only adds lines; the one removed line is the old # files: 301 count.

RHL-2: ruchy fix --safe, ruchy vocab, the vocabulary shape

• ruchy fix --safe:
  • applies safe fixes, re-checks the whole file, and reverts any fix that raised the error count (ruling Q5);
  • is bounded, idempotent, and never applies a fix with two candidates.
• ruchy vocab list | show | validate [--format json] uses the checker's own loader.
• contracts/rhl-vocabulary-shape-v1.yaml states the shape; pv validate exits 0.
• RHL-V001 for an unknown attribute carries no candidates. The declared attribute names are in expected.

Verification (orchestrator re-runs)

• cargo test --lib rhl: 181 pass. cargo test --test rhl_cli: 6 pass.
• 12/12 v2 typo-term breaks pass ruchy check after ruchy fix --safe. 12/12 two-candidate breaks are byte-unchanged by it.
• cargo clippy --all-targets -- -D warnings and cargo fmt --check: clean.
• Hand mutations:
  • disabling revert-on-worse fails 2 tests;
  • routing attributed blocks to the old path fails 6 rhl16_ tests.
• Pre-PR quorum: 3/3 PASS (docs/audits/quorum-RHLGA-1.json). All three lanes are gemini-family models, so the orchestrator re-checked the v1-freeze claims mechanically.

Pmat-Ticket: RHLGA-1

🤖 Generated with Claude Code