purlin

Evaluate proof quality — STRONG/WEAK/HOLLOW assessments

Reverse-engineer 3-section specs from existing code

Scaffold or edit feature specs in 3-section format

Initialize a project for Purlin

Inject spec rules into context, then implement

Run all tests, issue verification receipts

Detect spec drift and summarize changes since last verification, cross-referenced with specs

Show rule coverage dashboard with feature table

Search specs by name and show coverage

Run tests and emit proof files with coverage report

Create and manage anchor specs — cross-cutting constraints with optional external references

Rename a feature across specs, proofs, markers, and references