package requisite

  1. Overview
  2. Docs
Validated values, confidence gates, and per-value freshness

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (1)

Authors

  1. S
    Stephen Olesen <slepp@slepp.ca>

Maintainers

  1. S
    Stephen Olesen <slepp@slepp.ca>

Sources

requisite-0.1.0.tbz
md5=5815b60dff170b0b553624c101d050e0
sha512=d787eed5aba9f090a6bd175f9c45d3e9f756d2339fce19c350050038cd7e25a8cb55ded9793d74c72dbb40a4431a1eeed5aeff020fb0a661ce2704bc7383cff4

doc/CHANGES.html

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.