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, or the difference of two items’ metrics, compared against a fixed bound.

Operand

A metric of one item: item.backend.metric.

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). Two operands joined by - claim their difference.

values

The measured value of the claim’s item and, for a difference, of the item subtracted from it.