Expand description
Named-composition carriers and proof relations for verified consumers. Named-composition carriers and their proof relations.
Modulesยง
- allocation_
snapshot - Budget-coupled accepted-node snapshots.
- bisection
- Monotone-boundary bisection.
- equivalence_
class - Budgeted union-find equivalence classes.
- federated_
budget - Master and sub-pool budget federation. FederatedBudget assembled from one master Budget and one Budget per pool.
- rate_
limit - Fixed-window rate limiting.
- reduction
- Ordered additive and maximum reductions.
- relationship_
graph - Registry-backed weighted relationship graphs.
- sampler
- Budgeted supported sampling. Sampler assembled from the ActuationPass and Budget primitives.
- select_
then_ actuate - Selection coupled to governed actuation. Hard selection composed with the ActuationPass lifecycle.
- signal
- Change notification with per-listener cursors.
- traversal_
budget_ composition - Proof facade for traversal and budget coupling.
- traversal_
engine - Graph traversal assembled from shared structure owners.