tag:github.com,2008:https://github.com/probelabs/proof-action/releasesRelease notes from proof-action2026-04-19T09:18:17Ztag:github.com,2008:Repository/1214950183/v1.0.02026-04-19T09:18:17Zv1.0.0: Initial proof-action: reusable GitHub Action for ReqProof audit<p>Composite action with 8 inputs (fail-level, format, scope, check, stage,<br>
version, proof-path, working-directory) and 4 outputs (exit-code, errors,<br>
warnings, summary).</p>
<p>Installs proof via Homebrew with fallback to direct binary download.<br>
Runs proof audit, writes markdown to step summary, sets structured outputs.</p>
<p>Co-Authored-By: Claude Opus 4.6 (1M context) <a href="mailto:noreply@anthropic.com">noreply@anthropic.com</a></p>bugertag:github.com,2008:Repository/1214950183/v12026-04-19T14:52:18Zv1: Pre-download Z3/Kind2 solvers before audit<p>Audit checks query solver availability but don't auto-download.<br>
Run verify-properties before audit to trigger solver download<br>
to ~/.proof/solvers/ so Z3 checks work.</p>
<p>Co-Authored-By: Claude Opus 4.6 (1M context) <a href="mailto:noreply@anthropic.com">noreply@anthropic.com</a></p>buger