joelreymont

Check proof-code sync and rebuild proofs. Triggers: "sync proofs", "check proofs sync", "are proofs stale", "proof sync".

Build and check Lean 4 proofs. Triggers: "lean build", "check proofs", "run lean", "verify proofs", "lean".

Run TLA+ model checker on thread dispatch spec. Triggers: "run tla", "check tla", "model check", "verify threads", "tla+", "check dispatch".

Release pz with GitHub Actions. Bumps version in build.zig.zon, tags, pushes, and monitors CI. Use when user says "release", "bump version", "bump patch", "bump minor", "bump major", "cut a release", or "publish".

Use when timing the Habu native test suite on a supported host class, comparing host profiles, or setting timing-regression policy.

Use when recovering or refreshing Habu bin/hb, selecting Gforth, validating no-binary bootstrap, or porting bootstrap work to zed/Linux.

Use when running Habu focused tests, the full native gate, timing the gate, or changing gate pool and budget arguments.

Use when building standalone Habu AOT binaries, REPL images, or validating native hb-build behavior.

Check Zed editor logs for banjo/agent errors. Use when user says "check zed logs", "zed errors", or "what's the zed error".