Typed validated values, explicit trust transitions, exhaustive confidence levels, and per-value TTL freshness for Rust.
rust crate refinement-types type-safety ttl freshness taint-tracking trusted-types typestate stale-data exhaustive-matching trust-boundary validated-values proof-types confidence-levels
-
Updated
Aug 4, 2026 - Rust