How to verify a change in the gol repo. Use whenever scripts/verify-plan.sh or the AGENTS.md "Verification" table fires any trigger other than T0; when touching formal/, a FINDINGS.md, the crates/protocol reducers, crates/harness/src/driver.rs, the run store…
Bend rules for the gol repo. Use for any change under experiments/bend/, crates/workflow-bend/, scripts/install-bend.sh, scripts/verify-bend.sh or docs/bend.md (AGENTS.md trigger T6), a Bend version bump, a new Bend law, proof or program, or any claim about…
Use when writing, reviewing, hardening, or designing Rust for high-stakes or long-lived crates, or when auditing how a crate is verified (Miri, Loom, Kani, TLA+, Lean). Checklist for exhaustive testing, trustworthy benchmarks, data layout, misuse-resistant…