Module attenuation 

Attenuation and materialization (Profile 0.2).

• Removal attenuation applies only to identity_context and invariants, by section-local removal bitmap. A removed entry cannot reappear later in the same continuity.
• Execution-contract restriction is addition-only: proposed [key, value] tuples are validated, deduplicated by canonical key, sorted by canonical key (Unicode code point order), and appended with the next section-local indexes assigned by the settlement verifier — never by the workload. Constraints accumulate with logical AND.

materialize produces the successor Indexed Authority Map; sections subject to removal are re-materialized with fresh contiguous indexes, so the same wire bitmap can address different entries at different checkpoints (as in the reference walkthrough).

Structs

Attenuations

Parsed attenuations of one transition.

ReferenceProfile

The reference attenuation profile: invariants and identity entries use subset inclusion; execution-contract constraints may only be preserved or extended (accumulating with AND).

Traits

AttenuationOrder

The profile-defined attenuation order ≤ used for non-expansion validation. A Verifier rejects a state whose order it cannot evaluate deterministically.

Functions

materialize

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.