Portfolio
Rust-first systems, local evidence runtimes, and ClaimLedger claim-hygiene work.
The Rust crate workspace behind the evidence-runtime stack: semantic memory, runtime contracts, verification, queues, schemas, and quantization research.