pub fn materialize(
predecessor: &IndexedAuthorityMap,
attenuations: &Attenuations,
) -> Result<IndexedAuthorityMap, RejectReason>Expand description
Materializes the successor authority: predecessor map plus the accepted attenuations of one transition. Removal never adds authority; contract entries are never removed, replaced, or weakened.