Module claims 

Quantitative-claims ledger: item.backend.metric <op> value[unit] evaluated against a measurement baseline. Numbers in prose become gated facts instead of aspirations.

Structs

Claim

One parsed soothfast:claim expression: a measured metric of an item, compared against a fixed bound.

Enums

Op

Comparison operator of a claim expression (<, <=, >, >=).

Functions

evaluate

Evaluate against a baseline document; returns (holds, actual value).

parse

Parse demo::lcg_checksum.perfcnt.instructions < 25000 (units on the bound: ns/us/ms/s multiply into ns; bare numbers stay raw).