Module composition 

Protocol composition API for running many protocols in one ProtocolMachine instance.

This layer provides:

• proof-carrying admission (LinkOKFull-style certificate flag),
• shared immutable protocol artifacts (Arc<CodeImage>),
• memory-budget accounting for composed workloads.

Structs

ComposedRuntime

Runtime wrapper for composed protocol execution.

CompositionCertificate

Proof/certificate artifact required for composed protocol admission.

MemoryBudget

Memory budget policy for composed execution.

MemoryUsage

Composition memory usage snapshot.

ProtocolBundle

Immutable protocol bundle loaded by the composition API.

ReconfigurationEvent

Deterministic audit artifact emitted for one accepted reconfiguration.

ReconfigurationPhaseArtifact

Canonical semantic artifact for one executed reconfiguration phase.

ReconfigurationPlan

Deterministic multi-step reconfiguration plan.

ReconfigurationPlanExecution

Canonical semantic artifact for one executed reconfiguration plan.

ReconfigurationPlanStep

Deterministic placement-aware reconfiguration step.

ReconfigurationPolicy

Reconfiguration policy admitted for one protocol bundle.

ReconfigurationRuntimeSnapshot

Serializable snapshot of the reconfiguration state for one admitted bundle.

RuntimeUpgradeExecution

Canonical semantic artifact for one executed runtime-upgrade request.

RuntimeUpgradeRequest

Specialized runtime-upgrade request carried through the reconfiguration layer.

TheoremPackCapabilities

Theorem-pack capabilities surfaced by a proof artifact.

Enums

CompositionError

Errors emitted by the composition API.

DeterminismCapability

Determinism capability required to admit a protocol bundle.

SchedulerCapability

Scheduler profile capability required to admit a protocol bundle.