Module policy 

Pure decisions over validated declarations; no IO, scheduling or persisted mutations.

Modules

consistency

Pure original-guarantee and current stopped/drained/fence matching; no effects.

control_authority

Pure exact-result and direct caller-controller admission; no IO or dispatch authority.

download_integrity

Pure original-plan admission of durable local download declarations.

effect_order

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

execution_progress

Pure original-plan progress from exact retained journals; no scheduling or dispatch.

membership

Pure admission of a current provider result; no IO, scheduling or authority mutation.

selection

Explicit physical selection and bounded parent-edge expansion; no live discovery.

snapshot_inventory_delta

Pure snapshot inventory comparison, without capture attribution or settlement.

snapshot_read

Pure exact-result and caller snapshot-read checks; no IO, control or dispatch.