Module ports 

Fallible integration contracts; implementations own qualified observations and effects.

Modules

fence_acquisition

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

fence_reconciliation

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

ic_mutation

Async single reserved IC update contract; no default transport or dispatch implementation.

ic_observation

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

ic_snapshot_transfer_read

One originally reserved async replicated-update metadata/data read.

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.