hexuria

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…

Use when writing, reviewing, hardening, or designing Rust for high-stakes or long-lived crates, when making working Rust faster or rewriting it, or when auditing or setting up how a crate is verified (Miri, Loom, Kani, TLA+, Lean). Checklist for exhaustive…

Drive a live Chrome browser with a plain-language goal using the ultra-instinct CLI. Use when the user asks to click, type, fill, navigate, or automate anything in a browser — e.g. "/ultra-instinct book a flight" or "submit this form for me".