package requisite

  1. Overview
  2. Docs

Module RequisiteSource

Typed requirements for values crossing application boundaries.

Requisite provides three small, independent abstractions:

  • Trust records explicit transitions from input to trusted values.
  • Confidence validates probabilities and classifies action tiers.
  • Fresh checks per-value TTLs with a monotonic clock.

Trust states, confidence values, thresholds, proof tokens, and fresh wrappers have abstract representations. Confidence and freshness checks still happen at runtime. The library does not claim linear ownership or lifetime-scoped values.

Sourcemodule Trust : sig ... end

Trust-state transitions.

Sourcemodule Confidence : sig ... end

Validated probabilities and confidence gates.

Sourcemodule Fresh : sig ... end

Monotonic per-value freshness checks.