Module ports 

Fallible integration contracts; implementations own qualified observations and effects.

Modules

consistency

Current consistency validation port; no fence acquisition/release or default coordinator.

control_authority

Direct-controller observation port; no backend or success default.

fence_acquisition

Application-owned single-update fence acquisition port; no installed implementation.

fence_reconciliation

Read-only original fence-acquisition reconciliation; no acquire/release implementation.

ic_mutation

Single reserved IC update contract; no installed transport or dispatch implementation.

ic_observation

Single reserved IC status/list observation contract; no installed provider.

membership

Current membership integration contract; no default provider or backend implementation.

restore_safety

Fresh application-owned restore safety; no installed provider or fence lifecycle effects.

snapshot_read

Fallible current snapshot-read permission observation; no installed provider.