wasm4pm-ex4pm-bindings soundness adapter -- Phase 2 (process mining core), thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub fn already present in the wasm4pm crate. See ~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase2.rs for the real Rust implementation this binds.

See Ex4pmEngine.Wasm.Adapter for the shared six-state standing shape. Injected transport key: :soundness_wasm_fun.