axiolid-guarantees
Certified-value and escalation vocabulary for geometry contracts.
| Latest release | 0.3.1 (2026-09-28) |
| crates.io | axiolid-guarantees |
| Layer | contracts (contract.guarantees) |
| API documentation | rustdoc · docs.rs |
| Source | crates/contracts/guarantees/ |
Overview
Provider-neutral vocabulary for what a geometric answer is worth: certified values, signs that may be indeterminate, reported precision, and the escalation ladder a provider climbs when a fast answer is not certain. It depends on no representation or provider, so any contract can use it.
Changes
Latest release, 0.3.1 (2026-09-28):
Changed
- The crates.io page is this crate's own
README.md, with links to its API documentation, its reference page and the source (ADR 0078).
Full history: crates/contracts/guarantees/CHANGELOG.md