Module primitives 

Primitive carriers and proof relations for verified consumers. Primitive carriers.

Modules

actuation_pass

Allocation-to-effect lifecycle primitive.

audit_sink

Hash-linked audit history primitive.

backtracking_traversal

Reversible depth-first traversal primitive.

budget

Capacity ownership primitive.

competitive_selection

Hard, exclusive, soft, and ranked selection primitive family.

convergence_governor_phase_aware

Phase-aware convergence control primitive.

propagation_pass

Snapshot-local propagation primitive.

quality_hierarchy

Parent-child quality hierarchy primitive.

resource_registry

Unique-key resource registry primitive.