package requisite

  1. Overview
  2. Docs

Changes

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.