axiolid_
guarantees
0.3.1
All Items
Crate Items
Structs
Enums
Crate
axiolid_guarantees
Copy item path
Source
Expand description
Provider-neutral proof, refusal, and escalation vocabulary.
Structs
§
Escalation
Ladder
The precision tiers a filtered predicate steps through, weakest first.
Enums
§
Certified
A predicate evaluation that may or may not be trustworthy.
Precision
Arithmetic precision accepted or required by an operation.
Sign
The sign of a geometric predicate, with its trustworthiness attached.