v0.2.1 — pv kaizen Fleet Grade A

pv kaizen — Fleet Enforcement Grade A

Highlights

• New pv kaizen command — fleet-wide contract enforcement measurement across 25 repos
• Tiered scoring: kernel tier (aprender/entrenar/realizar/trueno) vs tool tier with separate A-F grades
• Fleet Grade A (0.92) — 636 call sites, 376 E2 (pre+post), 98% penetration
• 24/25 repos at Grade A enforcement
• 95.8% test coverage (1254 tests)

What's New

• pv kaizen --src-root <path> — measure, codegen, inject, validate across sovereign stack
• Per-repo letter grades (A-F) based on enforcement score
• Workspace subcrate scanning (crates/*/src/ + top-level members)
• Feature-gated test discovery (#[cfg(feature = "gpu")] → Warning, not Error)
• Postcondition dereference fix (*_contract_result for scalar comparisons)
• First-variable substitution in codegen generic path
• 39 YAML contracts upgraded (!var.is_empty() → input.len() > 0)
• Tool-domain postconditions: configuration, error_handling, display_format, render
• /kaizen Claude Code skill with grading system and five-whys process

Metrics

Fleet:   Grade A (0.92) — 636 sites, 98% pen
Kernel:  Grade A — 259 sites, 53% E2
Tool:    Grade A — 287 sites, 97% pen
Coverage: 95.8% (1254 tests)
pmat comply: COMPLIANT

Install

cargo install provable-contracts-cli

crates.io

• provable-contracts v0.2.1
• provable-contracts-cli v0.2.1
• provable-contracts-macros v0.2.1