Module authority 

Authority: logical form, canonical indexed form, attenuation.

• logical — the application-facing Logical Context of Authority: optional identity_context and execution { invariants, contract };
• indexed — the deterministic canonicalization into the Indexed Authority Map, which removal bitmaps and additions address by section-local numeric index;
• bitmap — canonical LSB-first removal bitmaps;
• attenuation — materialization of accepted attenuations and the non-expansion order.

Re-exports

pub use attenuation::AttenuationOrder;

pub use attenuation::Attenuations;

pub use attenuation::ReferenceProfile;

pub use attenuation::materialize;

pub use bitmap::RemoveBitmap;

pub use indexed::IndexedAuthorityMap;

pub use indexed::InvariantTuple;

pub use indexed::KvTuple;

pub use indexed::TupleValue;

pub use logical::AuthorityValue;

pub use logical::Invariant;

pub use logical::LogicalAuthority;

pub use logical::LogicalExecution;

Modules

attenuation

Attenuation and materialization (Profile 0.2).

bitmap

Removal bitmaps (Profile 0.2).

indexed

The canonical Indexed Authority Map (Profile 0.2).

logical

The Logical Context of Authority: the application-facing JSON form.