Module effect_order 

Pure readiness over declared completion identities; no completion proof or dispatch.

Structs

EffectProgressRequest

Passive declared progress supplied by the qualified receipt-owning caller.

EffectReadinessView

Read-only dependency projection; readiness grants no effect authority or paid allowance.

Enums

EffectOrderError

Typed declared progress inconsistency, before scheduling or effects.

Functions

readiness

Validate causal declared progress and project ready/blocked nodes without IO.