by slepp
0
Marks and enforces data trust, confidence, and freshness in types: tainted/trusted wrappers, trusted sinks, confidence gates with Certain token, monotonic freshness TTLs and exhaustive branches.
#web, #validation, #utility, #time, #api