Miri integrated with nextest and ran pure tests. Strict provenance rejected worker dependency pointer casts. Artifact validation exposed a Stacked Borrows violation with a precise dependency stack.
Partly done
Rust interpreter contract checks
Got in the wayMissing capabilityOther