Module policy 

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

Modules

control_authority

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

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.