Skip to content

proof-pr v0.2.8

Choose a tag to compare

@saagpatel saagpatel released this 20 Jun 12:36
· 13 commits to main since this release

Changes

  • Adds proof-pr receipt-hygiene --check <id> to focus output on one hygiene finding.
  • Adds proof-pr receipt-hygiene --explain --fix-only to print only the remediation command and compact receipt patch.
  • Keeps receipt hygiene read-only.

Verification

  • PR #18 validate-proof check passed.
  • Local focused hygiene output, JSON filtering, error cases, receipt validation, compileall, JSON parse checks, diff check, and gitleaks passed.