Yes, this solves my problem. Thank you. To me, the most confusing part is the python object hierarchy: so you write a Relax module (tvm.ir.module.IRModule), get a VMExecutable (tvm.relax.vm_build.VMExecutable) after relax.build() the module, the returned object has a method as_text() to show some kindof VM-instr representation and can be emulated on the host machine. Yet, there is a “lowered module” (tvm.runtime.module.Module) that can be either retrieved by VMExecutable.mod or directly from hand-written TE/TIR script, and only the lower Module can be built by tvm.build().
P.S. Would appreciate if these info is updated in the official tutorial sample code and well-documented.