Portfolio
Rust-first systems, local evidence runtimes, and ClaimLedger claim-hygiene work.
A claim and evidence compiler for Gloss Claim Hygiene, producing source-spanned, reviewable, deterministic bundles and testimony objects.