Skip to main content

liminal_protocol/algebra/
mod.rs

1//! Pure bounded-retention and floor-transition algebra.
2
3mod capacity;
4#[cfg(test)]
5mod capacity_tests;
6mod floor;
7#[cfg(test)]
8mod floor_tests;
9mod types;
10
11pub use capacity::{
12    mandatory_capacity, no_edge_legal, recovery_transfer, retained_baseline, zero_debt_admission,
13    zero_debt_capacity_failure,
14};
15pub use floor::{
16    AdmissibleFloor, admissible_installed_floor, floor_transition, marker_clamped_floor,
17};
18pub use types::{
19    BaselineError, FloorComputation, MandatoryCapacity, RecoveryTransfer, RecoveryTransferError,
20    ResourceDimension, ResourceVector, WideResourceVector,
21};