feat(runtime-verifier): script-driven proof with video, gitignored + uploaded to per-stage PRs - #376

Merged

jwaldrip merged 3 commits into

mainfrom

feat/script-proof-stage-prs

May 28, 2026

Commits on May 28, 2026

feat(runtime-verifier): script-driven proof with video, gitignored + uploaded to per-stage PRs

jwaldrip
and
claude
committed
93fb057
feat(discrete-hybrid): per-stage PR only for external-review stages

jwaldrip
and
claude
committed
210737c
review(pr#376): address claude-review findings + fix Biome

jwaldrip
and
claude
committed
8610db2