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.

ic_snapshot_transfer_read

One originally reserved replicated-update metadata/data read; no installed provider.

ic_snapshot_upload

Single reserved source-bound snapshot upload contract; no installed transport.

ic_snapshot_upload_data_observation

Single originally accounted exact destination-data observation contract.

ic_snapshot_upload_observation

Single originally reserved metadata-upload inventory observation contract.

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.