validation

Validation and freshness in Rust

Using Requisite's Rust types to make an input check visible to the code that depends on it, and why freshness still needs a clock.