0.1.0 - 2026-08-03

• Add the initial OCaml library with abstract trust transitions, validated confidence gates, monotonic freshness checks, examples, odoc, and runtime plus compile-negative tests.
• Declare immutable payload wrappers covariant while keeping trust states invariant.
• Use mtime.clock, bound supported Mtime releases to 2.x, and document clock suspension and concurrency semantics.
• Check expected compiler diagnostics for every negative typecheck.