Module compose 

Self-contained verification for the packr 0.11.0 plain-build model.

As of packr 0.11.0 there is no composition step: an actor is a PLAIN cargo build. packr_guest::setup_guest!() links the allocator (dlmalloc) into the cdylib, so the built .wasm already exports its own (growable) memory + __pack_alloc/__pack_free + lifecycle and imports only host theater:simple/* interfaces. That bare .wasm is what theater’s loader accepts directly — no packr::link, no bundled allocator, no fixed-base recipe. (Historically this module linked member + DEFAULT_ALLOCATOR_WASM into a composite; all of that machinery was removed in 0.11.0.)

What remains is the post-build gate: assert the built artifact is genuinely self-contained (imports only host functions), so a bad build fails the build instead of failing at boot. Uses wasm-tools on PATH.

Functions

verify_self_contained

Post-build gate: assert a plain-built actor .wasm is genuinely self-contained, so a bad artifact fails the build instead of at boot.