cargo / breathe-admission

breathe-admission

cargo

Validated-resource admission — the phantom-typestate FSM + the Admitido<T> proof-carrying wrapper + the Viveiro pool that makes an unvalidated resource UNREPRESENTABLE in the valid pool (docs/PROVISIONING.md §2.3).

0 audits github.com/pleme-io/breathe

Audits

No audits for this package yet.