Jordan Bonecutter's Evergreen pitches checked contracts for systems code

Jordan Bonecutter's public project pairs contracts and checked invariants with a Rust-written bootstrap compiler, a proof kernel, and a WebAssembly playground, while its longer memory design remains a sketch.

RuntimeWire · 2026-11-04T16:57:02.234Z