Tezos_smart_rollup_wasm_dual_state.MakeMake (Irmin) (Backend) specialises the dual-state WASM PVM to a concrete Irmin durable and NDS Backend.
state is a pair (irmin, nds_state). The encoder keeps the halves consistent by writing the active registry's hash to the durable at /pvm/nds_hash on every Dual encode, so state_hash (the Irmin tree's hash) already commits to the NDS state — no external composition. Pre-activation states never write the path.
module Irmin : sig ... endmodule Backend : NDS_BACKENDmodule Dual_state : sig ... endval wasm_pvm_machine_dual :
config:Tezos_scoru_wasm.Wasm_pvm_config.t ->
(module Tezos_scoru_wasm.Wasm_pvm_sig.S
with type context = Dual_state.context
and type proof = Dual_state.proof
and type state = Dual_state.state)wasm_pvm_machine_dual ~config returns a WASM PVM machine over Dual_state.