zexus 1.7.1 → 1.8.0

package/src/zexus/vm/vm.py

@@ -15,6 +15,7 @@ import os
 import sys
 import time
 import asyncio
+import threading
 import importlib
 import hashlib
 import types
@@ -92,6 +93,60 @@ except ImportError:
     PeepholeOptimizer = None
     OptimizationLevel = None
 
+# Bytecode Optimizer (Phase 8)
+try:
+    from .optimizer import BytecodeOptimizer
+    _BYTECODE_OPTIMIZER_AVAILABLE = True
+except ImportError:
+    _BYTECODE_OPTIMIZER_AVAILABLE = False
+    BytecodeOptimizer = None
+
+# Cached Action/Lambda types for hot-path sync checks
+_ZAction = None
+_ZLambda = None
+_security_mod = None
+_iscoroutinefunction = asyncio.iscoroutinefunction
+
+def _get_action_types():
+    global _ZAction, _ZLambda
+    if _ZAction is None:
+        try:
+            from ..object import Action as _A, LambdaFunction as _L
+            _ZAction = _A
+            _ZLambda = _L
+        except Exception:
+            pass
+    return _ZAction, _ZLambda
+
+def _get_security_mod():
+    global _security_mod
+    if _security_mod is None:
+        try:
+            from .. import security as _s
+            _security_mod = _s
+        except Exception:
+            pass
+    return _security_mod
+
+# Cython fast-path (optional)
+try:
+    from . import fastops as _fastops
+    _FASTOPS_AVAILABLE = True
+except Exception:
+    _FASTOPS_AVAILABLE = False
+    _fastops = None
+
+# Rust VM (Phase 3 — adaptive execution)
+try:
+    from zexus_core import RustVMExecutor as _RustVMExecutor
+    _RUST_VM_AVAILABLE = True
+except Exception:
+    _RUST_VM_AVAILABLE = False
+    _RustVMExecutor = None
+
+# Sentinel returned when Rust VM signals needs_fallback
+_RUST_VM_FALLBACK_SENTINEL = object()
+
 # Async Optimizer (Phase 8)
 try:
     from .async_optimizer import AsyncOptimizer, AsyncOptimizationLevel
@@ -111,6 +166,14 @@ except ImportError:
     SSAConverter = None
     RegisterAllocator = None
 
+# Bytecode Converter (Stack -> Register)
+try:
+    from .bytecode_converter import BytecodeConverter
+    _BYTECODE_CONVERTER_AVAILABLE = True
+except ImportError:
+    _BYTECODE_CONVERTER_AVAILABLE = False
+    BytecodeConverter = None
+
 # Renderer Backend
 try:
     from ..renderer import backend as _BACKEND
@@ -286,6 +349,7 @@ class VM:
         jit_threshold: int = 100,
         use_memory_manager: bool = False,
         max_heap_mb: int = 100,
+        gc_threshold: int = 1000,
         mode: VMMode = VMMode.AUTO,
         worker_count: int = None,
         chunk_size: int = 50,
@@ -294,18 +358,31 @@ class VM:
         debug: bool = False,
         enable_profiling: bool = False,
         profiling_level: str = "DETAILED",
+        profiling_sample_rate: float = 1.0,
+        profiling_max_samples: int = 2048,
+        profiling_track_overhead: bool = False,
         enable_memory_pool: bool = True,
         pool_max_size: int = 1000,
         enable_peephole_optimizer: bool = True,
+        enable_bytecode_optimizer: bool = False,
+        optimizer_level: int = 2,
         optimization_level: str = "MODERATE",
         enable_async_optimizer: bool = True,
         async_optimization_level: str = "MODERATE",
         enable_ssa: bool = False,
         enable_register_allocation: bool = False,
+        enable_bytecode_converter: bool = False,
+        converter_aggressive: bool = False,
+        fast_single_shot: bool = False,
+        single_shot_max_instructions: int = 64,
         num_allocator_registers: int = 16,
         enable_gas_metering: bool = True,
         gas_limit: int = None,
-        enable_timeout: bool = True
+        enable_timeout: bool = True,
+        enable_fast_loop: bool = False,
+        fast_loop_threshold: int = 512,
+        enable_gas_light: bool = False,
+        gas_light_cost: int = 1
     ):
         """
         Initialize the enhanced VM.
@@ -315,9 +392,12 @@ class VM:
         self.env = env or {}
         self._parent_env = parent_env
         self.debug = debug
+        self._register_import_builtins()
         
         # --- Gas Metering (Security) ---
         self.enable_gas_metering = enable_gas_metering and _GAS_METERING_AVAILABLE
+        self.enable_gas_light = bool(enable_gas_light)
+        self.gas_light_cost = max(1, int(gas_light_cost))
         self.gas_metering = None
         if self.enable_gas_metering:
             self.gas_metering = GasMetering(gas_limit=gas_limit, enable_timeout=enable_timeout)
@@ -348,6 +428,53 @@ class VM:
         self._total_execution_time = 0.0
         self._mode_usage = {m.value: 0 for m in VMMode}
         self._last_opcode_profile = None
+        self._call_method_trace_count = 0
+        self._call_method_total = 0
+        self._method_target_trace_count = 0
+        self._action_evaluator = None
+        self._opcode_exec_count = 0
+        self._in_execution = 0
+        self._native_jit_auto_enabled = False
+        self._native_jit_auto_threshold = 700
+
+        # --- Rust VM Adaptive Routing (Phase 3 + Phase 6) ---
+        self._rust_vm_available = _RUST_VM_AVAILABLE
+        self._rust_vm_executor = _RustVMExecutor() if _RUST_VM_AVAILABLE else None
+        self._rust_vm_threshold = 0  # Phase 6: route ALL programs through Rust by default
+        try:
+            _env_thresh = os.environ.get("ZEXUS_RUST_VM_THRESHOLD")
+            if _env_thresh is not None:
+                self._rust_vm_threshold = int(_env_thresh)
+        except (ValueError, TypeError):
+            pass
+        self._rust_vm_enabled = self._rust_vm_available  # Can be disabled at runtime
+        self._rust_vm_stats = {
+            "rust_executions": 0,
+            "rust_fallbacks": 0,
+            "python_executions": 0,
+            "total_rust_ops": 0,
+        }
+
+        self._env_version = 0
+        self._name_cache: Dict[str, Tuple[Any, int]] = {}
+        self._method_cache: Dict[Tuple[type, str], Any] = {}
+        self.enable_fast_loop = bool(enable_fast_loop)
+        try:
+            env_threshold = os.environ.get("ZEXUS_VM_FAST_LOOP_THRESHOLD")
+            if env_threshold is not None:
+                fast_loop_threshold = int(env_threshold)
+        except Exception:
+            pass
+        self.fast_loop_threshold = max(1, int(fast_loop_threshold))
+        self._fast_loop_stats: Dict[str, Any] = {"used": False, "reason": ""}
+        
+        # Round 3 optimizations
+        self._isinstance_cache: Dict[Tuple[int, type], bool] = {}  # Cache isinstance results
+        self._vm_pool: List[Any] = []  # Pool of reusable child VMs
+        self._vm_pool_lock = None  # Will be set if pooling enabled
+        
+        self.prefer_register = False
+        self.prefer_parallel = False
         
         # --- JIT Compilation (Phase 2) ---
         self.use_jit = use_jit and _JIT_AVAILABLE
@@ -375,7 +502,7 @@ class VM:
             self._memory_lock = threading.Lock()
             self.memory_manager = create_memory_manager(
                 max_heap_mb=max_heap_mb,
-                gc_threshold=1000
+                gc_threshold=gc_threshold
             )
 
         # --- Profiler (Phase 8) ---
@@ -384,7 +511,12 @@ class VM:
         if self.enable_profiling:
             try:
                 level = getattr(ProfilingLevel, profiling_level, ProfilingLevel.DETAILED)
-                self.profiler = InstructionProfiler(level=level)
+                self.profiler = InstructionProfiler(
+                    level=level,
+                    sample_rate=profiling_sample_rate,
+                    max_samples=profiling_max_samples,
+                    track_overhead=profiling_track_overhead
+                )
                 if debug:
                     print(f"[VM] Profiler enabled: {profiling_level}")
             except Exception as e:
@@ -423,6 +555,20 @@ class VM:
                     print(f"[VM] Failed to enable peephole optimizer: {e}")
                 self.enable_peephole_optimizer = False
 
+        # --- Bytecode Optimizer (Phase 8) ---
+        self.enable_bytecode_optimizer = enable_bytecode_optimizer and _BYTECODE_OPTIMIZER_AVAILABLE
+        self.bytecode_optimizer = None
+        if self.enable_bytecode_optimizer:
+            try:
+                level = max(0, min(3, int(optimizer_level)))
+                self.bytecode_optimizer = BytecodeOptimizer(level=level, max_passes=5, debug=debug)
+                if debug:
+                    print(f"[VM] Bytecode optimizer enabled: level={level}")
+            except Exception as e:
+                if debug:
+                    print(f"[VM] Failed to enable bytecode optimizer: {e}")
+                self.enable_bytecode_optimizer = False
+
         # --- Async Optimizer (Phase 8) ---
         self.enable_async_optimizer = enable_async_optimizer and _ASYNC_OPTIMIZER_AVAILABLE
         self.async_optimizer = None
@@ -442,6 +588,15 @@ class VM:
         self.enable_register_allocation = enable_register_allocation and _SSA_AVAILABLE
         self.ssa_converter = None
         self.register_allocator = None
+        self.enable_bytecode_converter = enable_bytecode_converter and _BYTECODE_CONVERTER_AVAILABLE
+        self.bytecode_converter = None
+
+        # --- Fast single-shot execution ---
+        self.fast_single_shot = bool(fast_single_shot)
+        try:
+            self.single_shot_max_instructions = int(single_shot_max_instructions)
+        except Exception:
+            self.single_shot_max_instructions = 64
         
         if self.enable_ssa:
             try:
@@ -459,12 +614,28 @@ class VM:
                     num_registers=num_allocator_registers,
                     num_temp_registers=8
                 )
+                self._last_register_allocation = None
                 if debug:
                     print(f"[VM] Register allocator enabled: {num_allocator_registers} registers")
             except Exception as e:
                 if debug:
                     print(f"[VM] Failed to enable register allocator: {e}")
                 self.enable_register_allocation = False
+                self._last_register_allocation = None
+
+        if self.enable_bytecode_converter:
+            try:
+                self.bytecode_converter = BytecodeConverter(
+                    num_registers=num_registers,
+                    aggressive=converter_aggressive,
+                    debug=debug
+                )
+                if debug:
+                    print(f"[VM] Bytecode converter enabled: aggressive={converter_aggressive}")
+            except Exception as e:
+                if debug:
+                    print(f"[VM] Failed to enable bytecode converter: {e}")
+                self.enable_bytecode_converter = False
 
         # --- Execution Mode Configuration ---
         self.mode = mode
@@ -492,33 +663,193 @@ class VM:
         if debug:
             print(f"[VM] Initialized | Mode: {mode.value} | JIT: {self.use_jit} | MemMgr: {self.use_memory_manager}")
 
+    def _return_vm_to_pool(self, vm) -> None:
+        """Return a child VM to the pool for reuse."""
+        if hasattr(self, "_vm_pool") and self._vm_pool is not None:
+             if len(self._vm_pool) < 1000:
+                 self._vm_pool.append(vm)
+
+    @classmethod
+    def create_child(cls, parent_vm, env: Dict[str, Any], builtins: Dict[str, Any] = None):
+        """
+        Create a lightweight child VM execution context sharing infrastructure/components from parent.
+        Avoids overhead of full initialization for function calls.
+        """
+        vm = None
+        if hasattr(parent_vm, "_vm_pool") and parent_vm._vm_pool:
+            try:
+                vm = parent_vm._vm_pool.pop()
+            except IndexError:
+                pass
+        
+        if vm is None:
+            vm = cls.__new__(cls)
+        
+        # Core Context
+        vm.builtins = builtins if builtins is not None else parent_vm.builtins
+        vm.env = env
+        vm._parent_env = parent_vm
+        vm.debug = parent_vm.debug
+        vm.mode = parent_vm.mode
+        
+        # Infrastructure (shared)
+        vm.use_jit = parent_vm.use_jit
+        vm.jit_compiler = parent_vm.jit_compiler
+        vm._jit_lock = parent_vm._jit_lock
+        
+        vm.use_memory_manager = parent_vm.use_memory_manager
+        vm.memory_manager = parent_vm.memory_manager
+        vm._memory_lock = parent_vm._memory_lock
+        vm._managed_objects = {} # Local GC tracking
+        
+        vm.enable_gas_metering = parent_vm.enable_gas_metering
+        vm.gas_metering = parent_vm.gas_metering
+        vm.enable_gas_light = getattr(parent_vm, "enable_gas_light", False)
+        vm.gas_light_cost = getattr(parent_vm, "gas_light_cost", 1)
+        
+        vm.enable_profiling = parent_vm.enable_profiling
+        vm.profiler = parent_vm.profiler
+        
+        # Optimizers (shared)
+        vm.enable_peephole_optimizer = parent_vm.enable_peephole_optimizer
+        vm.peephole_optimizer = parent_vm.peephole_optimizer
+        
+        vm.enable_bytecode_optimizer = parent_vm.enable_bytecode_optimizer
+        vm.bytecode_optimizer = parent_vm.bytecode_optimizer
+        
+        vm.enable_async_optimizer = parent_vm.enable_async_optimizer
+        vm.async_optimizer = parent_vm.async_optimizer
+        
+        # Pools (shared)
+        vm.enable_memory_pool = parent_vm.enable_memory_pool
+        vm.integer_pool = parent_vm.integer_pool
+        vm.string_pool = parent_vm.string_pool
+        vm.list_pool = parent_vm.list_pool
+        
+        # Advanced Features (shared)
+        vm.enable_ssa = parent_vm.enable_ssa
+        vm.ssa_converter = parent_vm.ssa_converter
+        vm.enable_register_allocation = parent_vm.enable_register_allocation
+        vm.register_allocator = parent_vm.register_allocator
+        
+        vm.enable_bytecode_converter = parent_vm.enable_bytecode_converter
+        vm.bytecode_converter = parent_vm.bytecode_converter
+
+        # Execution Helpers (shared)
+        vm._register_vm = parent_vm._register_vm
+        vm._parallel_vm = parent_vm._parallel_vm
+
+        # Local State Init
+        vm._closure_cells = {}
+        vm._events = {}
+        vm._tasks = {} 
+        vm._task_counter = 0
+        vm._env_version = 0
+        vm._name_cache = {}
+        vm._method_cache = {}
+        vm._execution_count = 0
+        vm._total_execution_time = 0.0
+        vm._mode_usage = {m.value: 0 for m in VMMode}
+        vm._last_opcode_profile = None
+        vm._call_method_trace_count = 0
+        vm._call_method_total = 0
+        vm._method_target_trace_count = 0
+        vm._action_evaluator = None
+        vm._opcode_exec_count = 0
+        vm._in_execution = 0
+        vm._native_jit_auto_enabled = parent_vm._native_jit_auto_enabled
+        vm._native_jit_auto_threshold = parent_vm._native_jit_auto_threshold
+        vm._perf_fast_dispatch = getattr(parent_vm, "_perf_fast_dispatch", False)
+        vm.enable_fast_loop = getattr(parent_vm, "enable_fast_loop", False)
+        vm.fast_loop_threshold = getattr(parent_vm, "fast_loop_threshold", 512)
+        vm._fast_loop_stats = {"used": False, "reason": ""}
+        
+        # Settings
+        vm.worker_count = parent_vm.worker_count
+        vm.chunk_size = parent_vm.chunk_size
+        vm.num_registers = parent_vm.num_registers
+        vm.hybrid_mode = parent_vm.hybrid_mode
+        vm.fast_single_shot = parent_vm.fast_single_shot
+        vm.single_shot_max_instructions = parent_vm.single_shot_max_instructions
+        
+        return vm
+
     # ==================== VM <-> Evaluator Conversions ====================
 
     @staticmethod
     def _wrap_for_builtin(value: Any) -> Any:
-        if isinstance(value, (ZInteger, ZFloat, ZString, ZBoolean, ZList, ZMap)) or value is None:
+        # Fast path for primitives
+        t = type(value)
+        if t is int: return ZInteger(value)
+        if t is str: return ZString(value)
+        if t is bool: return ZBoolean(value)
+        if t is float: return ZFloat(value)
+        if value is None: return value
+        
+        # Already wrapped check
+        if isinstance(value, (ZInteger, ZFloat, ZString, ZBoolean, ZList, ZMap)):
             return value
-        if isinstance(value, bool):
-            return ZBoolean(value)
-        if isinstance(value, int):
-            return ZInteger(value)
-        if isinstance(value, float):
-            return ZFloat(value)
-        if isinstance(value, str):
-            return ZString(value)
-        if isinstance(value, list):
+
+        # Recursive structures
+        if t is list:
             return ZList([VM._wrap_for_builtin(elem) for elem in value])
-        if isinstance(value, dict):
+        if t is dict:
             pairs = {}
             for key, val in value.items():
-                wrapped_key = VM._wrap_for_builtin(key)
+                if isinstance(key, ZString):
+                    norm_key = key.value
+                elif isinstance(key, str):
+                    norm_key = key
+                elif hasattr(key, "inspect"):
+                    try:
+                        norm_key = key.inspect()
+                    except Exception:
+                        norm_key = str(key)
+                else:
+                    norm_key = str(key)
                 wrapped_val = VM._wrap_for_builtin(val)
-                pairs[wrapped_key] = wrapped_val
+                pairs[norm_key] = wrapped_val
             return ZMap(pairs)
         return value
 
+    @staticmethod
+    def _format_print_value(value: Any) -> str:
+        """Format a Zexus value for print output, unwrapping object wrappers."""
+        if value is None:
+            return "null"
+        t = type(value)
+        if t is int or t is str or t is float:
+            return str(value)
+        if t is bool:
+            return "true" if value else "false"
+        if isinstance(value, (ZInteger, ZFloat)):
+            return str(value.value)
+        if isinstance(value, ZString):
+            return value.value
+        if isinstance(value, ZBoolean):
+            return "true" if value.value else "false"
+        if isinstance(value, ZNull):
+            return "null"
+        if isinstance(value, ZList):
+            items = ", ".join(VM._format_print_value(e) for e in value.elements)
+            return f"[{items}]"
+        if isinstance(value, ZMap):
+            entries = ", ".join(
+                f"{VM._format_print_value(k)}: {VM._format_print_value(v)}"
+                for k, v in value.pairs.items()
+            )
+            return "{" + entries + "}"
+        if hasattr(value, "value") and not callable(getattr(value, "value")):
+            return str(value.value)
+        return str(value)
+
     @staticmethod
     def _unwrap_after_builtin(value: Any) -> Any:
+        # Fast path for common types
+        t = type(value)
+        if t is int or t is str or t is float or t is bool:
+            return value
+        
         if isinstance(value, (ZInteger, ZFloat, ZBoolean, ZString)):
             return value.value
         if isinstance(value, ZNull):
@@ -544,6 +875,318 @@ class VM:
 
     # ==================== Public Execution API ====================
 
+    def _run_coroutine_sync(self, coro):
+        """Run a coroutine from sync code using the shared Zexus event loop.
+
+        The persistent background loop means all VM async tasks share a
+        single event loop and can coordinate via asyncio primitives.
+        """
+        from ..event_loop import submit, is_loop_thread
+        if is_loop_thread():
+            # Already on the event-loop thread — fall back to a throwaway
+            # loop to avoid deadlock.
+            loop = asyncio.new_event_loop()
+            try:
+                return loop.run_until_complete(coro)
+            finally:
+                loop.close()
+        return submit(coro)
+
+    def _bump_env_version(self, name: Optional[str] = None, value: Any = None) -> None:
+        self._env_version += 1
+        if name is not None:
+            self._name_cache[name] = (value, self._env_version)
+
+    def _register_import_builtins(self) -> None:
+        if "__vm_use_module__" not in self.builtins:
+            self.builtins["__vm_use_module__"] = self._vm_use_module
+        if "__vm_from_module__" not in self.builtins:
+            self.builtins["__vm_from_module__"] = self._vm_from_module
+
+    def _vm_use_module(self, spec):
+        if spec is None:
+            return None
+        if isinstance(spec, ZMap):
+            spec = self._unwrap_after_builtin(spec)
+        file_path = spec.get("file", "") if isinstance(spec, dict) else ""
+        alias = spec.get("alias", "") if isinstance(spec, dict) else ""
+        names = spec.get("names", []) if isinstance(spec, dict) else []
+        is_named = bool(spec.get("is_named")) if isinstance(spec, dict) else False
+        trace_imports = os.environ.get("ZEXUS_VM_IMPORT_TRACE")
+        if trace_imports and trace_imports.lower() not in ("0", "false", "off"):
+            print(f"[VM TRACE] __vm_use_module__ file={file_path} alias={alias} names={len(names)}")
+        return self._execute_import(file_path, alias=alias, names=names, is_named=is_named)
+
+    def _vm_from_module(self, spec):
+        if spec is None:
+            return None
+        if isinstance(spec, ZMap):
+            spec = self._unwrap_after_builtin(spec)
+        file_path = spec.get("file", "") if isinstance(spec, dict) else ""
+        imports = spec.get("imports", []) if isinstance(spec, dict) else []
+        names = []
+        alias_map = {}
+        for entry in imports:
+            if isinstance(entry, dict):
+                name = entry.get("name")
+                alias = entry.get("alias")
+            elif isinstance(entry, (list, tuple)):
+                name = entry[0] if len(entry) > 0 else None
+                alias = entry[1] if len(entry) > 1 else None
+            else:
+                name = entry
+                alias = None
+            if name:
+                names.append(name)
+                if alias:
+                    alias_map[name] = alias
+        return self._execute_import(file_path, alias="", names=names, is_named=True, alias_map=alias_map)
+
+    def _module_env_to_map(self, module_env):
+        if module_env is None:
+            return None
+        if isinstance(module_env, dict):
+            return module_env
+        exports = None
+        if hasattr(module_env, "get_exports"):
+            try:
+                exports = module_env.get_exports()
+            except Exception:
+                exports = None
+        store = getattr(module_env, "store", None)
+        if isinstance(store, dict):
+            if exports and isinstance(exports, dict):
+                merged = dict(store)
+                merged.update(exports)
+                return merged
+            return store
+        if isinstance(module_env, ZMap):
+            mapped = {}
+            for key, value in module_env.pairs.items():
+                if isinstance(key, ZString):
+                    mapped[key.value] = value
+                else:
+                    mapped[str(key)] = value
+            return mapped
+        return None
+
+    def _get_importer_file(self) -> Optional[str]:
+        importer = self.env.get("__file__") if isinstance(self.env, dict) else None
+        if importer is None:
+            return None
+        if hasattr(importer, "value"):
+            return importer.value
+        if isinstance(importer, str):
+            return importer
+        return None
+
+    def _load_zexus_module_env(self, file_path: str):
+        if os.environ.get("ZEXUS_DEBUG_COMPILER"):
+             with open("debug_compiler_fail.log", "a") as f:
+                 f.write(f"[DEBUG] _load_zexus_module_env called for {file_path}\n")
+        from ..module_cache import (get_cached_module, cache_module, get_module_candidates,
+                                      normalize_path, invalidate_module,
+                                      begin_loading, end_loading, CircularImportError)
+        from ..object import Environment, String
+        from ..lexer import Lexer
+        from ..parser import Parser
+        from ..evaluator.core import Evaluator
+
+        normalized_path = normalize_path(file_path)
+        cached = get_cached_module(normalized_path)
+        if cached:
+            module_env, bytecode, ast = cached
+            return module_env
+
+        importer_file = self._get_importer_file()
+        candidates = get_module_candidates(file_path, importer_file)
+        for candidate in candidates:
+            try:
+                cached = get_cached_module(normalize_path(candidate))
+                if cached:
+                    module_env, bytecode, ast = cached
+                    return module_env
+            except Exception:
+                continue
+
+        # Circular import detection
+        try:
+            begin_loading(normalized_path)
+        except CircularImportError as e:
+            raise RuntimeError(str(e)) from e
+
+        module_env = Environment()
+        loaded = False
+        compiled_bytecode = None
+        parsed_ast = None
+
+        try:
+            for candidate in candidates:
+                try:
+                    if not os.path.exists(candidate):
+                        continue
+                    with open(candidate, "r", encoding="utf-8") as handle:
+                        code = handle.read()
+                    lexer = Lexer(code)
+                    parser = Parser(lexer)
+                    program = parser.parse_program()
+                    if getattr(parser, "errors", None):
+                        continue
+                    
+                    parsed_ast = program
+                    module_env.set("__file__", String(os.path.abspath(candidate)))
+                    module_env.set("__MODULE__", String(file_path))
+                    
+                    # Try to compile to bytecode and execute via VM (fast path)
+                    try:
+                        from .compiler import BytecodeCompiler
+
+                        # Phase 1: check for co-located .zxc binary first
+                        try:
+                            from .binary_bytecode import load_zxc, save_zxc, is_zxc_fresh, zxc_path_for
+                            _zxc_path = zxc_path_for(candidate)
+                            if is_zxc_fresh(candidate):
+                                compiled_bytecode = load_zxc(_zxc_path)
+                        except Exception:
+                            pass
+
+                        if compiled_bytecode is None:
+                            compiler = BytecodeCompiler(optimize=True)
+                            compiled_bytecode = compiler.compile(program)
+                            # Persist .zxc for next run
+                            if compiled_bytecode:
+                                try:
+                                    from .binary_bytecode import save_zxc, zxc_path_for
+                                    save_zxc(zxc_path_for(candidate), compiled_bytecode)
+                                except Exception:
+                                    pass
+                        
+                        if compiled_bytecode:
+                            # Execute module via VM (fast)
+                            vm_env = {k: v for k, v in module_env.store.items()}
+                            child_vm = VM.create_child(parent_vm=self, env=vm_env)
+                            result = child_vm._run_stack_bytecode_sync(compiled_bytecode, debug=False)
+                            
+                            # Update module environment from VM execution
+                            for k, v in child_vm.env.items():
+                                module_env.set(k, v)
+                            
+                            self._return_vm_to_pool(child_vm)
+                            
+                            cache_module(normalized_path, module_env, compiled_bytecode, parsed_ast)
+                            cache_module(normalize_path(candidate), module_env, compiled_bytecode, parsed_ast)
+                            loaded = True
+                            break
+                    except Exception as e:
+                        if os.environ.get("ZEXUS_DEBUG_COMPILER"):
+                             print(f"[DEBUG] Compiler exception for {candidate}: {e}")
+                        pass
+                    
+                    # Fallback to interpreter execution (slow path)
+                    if self._action_evaluator is None:
+                        self._action_evaluator = Evaluator(use_vm=False)
+                    self._action_evaluator.eval_node(program, module_env)
+                    cache_module(normalized_path, module_env, None, parsed_ast)
+                    cache_module(normalize_path(candidate), module_env, None, parsed_ast)
+                    loaded = True
+                    break
+                except Exception:
+                    continue
+        finally:
+            end_loading(normalized_path)
+
+        if not loaded:
+            try:
+                invalidate_module(normalized_path)
+            except Exception:
+                pass
+            return None
+        return module_env
+
+    def _execute_import(self, module_path: str, alias: str = "", names: Optional[List[Any]] = None, is_named: bool = False, alias_map: Optional[Dict[str, str]] = None):
+        if not module_path:
+            return None
+        names = names or []
+        alias_map = alias_map or {}
+        module_env = None
+        module_map = None
+        trace_imports = os.environ.get("ZEXUS_VM_IMPORT_TRACE")
+        trace_enabled = trace_imports and trace_imports.lower() not in ("0", "false", "off")
+
+        try:
+            from ..stdlib_integration import is_stdlib_module, get_stdlib_module
+            from ..builtin_modules import is_builtin_module, get_builtin_module
+            if is_stdlib_module(module_path):
+                module_env = get_stdlib_module(module_path)
+            elif is_builtin_module(module_path):
+                module_env = get_builtin_module(module_path, None)
+        except Exception:
+            module_env = None
+
+        if module_env is None:
+            module_env = self._load_zexus_module_env(module_path)
+            if trace_enabled:
+                status = "ok" if module_env is not None else "failed"
+                print(f"[VM TRACE] import {module_path} -> {status}")
+
+        if module_env is not None:
+            module_map = self._module_env_to_map(module_env) or {}
+            if is_named and names:
+                for raw in names:
+                    key = raw.value if hasattr(raw, "value") else str(raw)
+                    dest = alias_map.get(key, key)
+                    value = module_map.get(key)
+                    self.env[dest] = value
+                    self._bump_env_version(dest, value)
+            elif alias:
+                self.env[alias] = module_map
+                self._bump_env_version(alias, module_map)
+            else:
+                for key, value in module_map.items():
+                    self.env[key] = value
+                    self._bump_env_version(key, value)
+            return module_env
+
+        try:
+            mod = importlib.import_module(module_path)
+            key = alias or module_path
+            self.env[key] = mod
+            self._bump_env_version(key, mod)
+            return mod
+        except Exception:
+            key = alias or module_path
+            self.env[key] = None
+            self._bump_env_version(key, None)
+            return None
+
+    def _get_cached_method(self, target: Any, method_name: str):
+        if target is None:
+            return None
+        if isinstance(target, (dict, ZMap, ZList)):
+            return None
+        try:
+            if hasattr(target, "__dict__") and method_name in target.__dict__:
+                return getattr(target, method_name, None)
+        except Exception:
+            return getattr(target, method_name, None)
+
+        key = (type(target), method_name)
+        cached = self._method_cache.get(key)
+        if cached is not None:
+            try:
+                return cached.__get__(target, type(target))
+            except Exception:
+                return getattr(target, method_name, None)
+
+        attr = getattr(type(target), method_name, None)
+        if attr is not None:
+            self._method_cache[key] = attr
+            try:
+                return attr.__get__(target, type(target))
+            except Exception:
+                return getattr(target, method_name, None)
+        return getattr(target, method_name, None)
+
     def execute(self, code: Union[List[Tuple], Any], debug: bool = False) -> Any:
         """
         Execute code (High-level ops or Bytecode) using optimal execution mode.
@@ -551,6 +1194,7 @@ class VM:
         """
         start_time = time.perf_counter()
         self._execution_count += 1
+        self._in_execution = getattr(self, "_in_execution", 0) + 1
         
         # Handle High-Level Ops (List format)
         if isinstance(code, list) and not hasattr(code, "instructions"):
@@ -558,7 +1202,7 @@ class VM:
                 print("[VM] Executing High-Level Ops")
             try:
                 # Run purely async internally, execute blocks
-                return asyncio.run(self._run_high_level_ops(code, debug or self.debug))
+                return self._run_coroutine_sync(self._run_high_level_ops(code, debug or self.debug))
             except Exception as e:
                 if debug or self.debug: print(f"[VM HL Error] {e}")
                 raise e
@@ -567,6 +1211,10 @@ class VM:
         try:
             execution_mode = self._select_execution_mode(code)
             self._mode_usage[execution_mode.value] += 1
+
+            trace_mode = os.environ.get("ZEXUS_VM_TRACE_MODE")
+            if trace_mode and trace_mode.lower() not in ("0", "false", "off"):
+                print(f"[VM TRACE] execution mode={execution_mode.value}")
             
             if debug or self.debug:
                 print(f"[VM] Executing Bytecode | Mode: {execution_mode.value}")
@@ -579,24 +1227,50 @@ class VM:
             elif execution_mode == VMMode.PARALLEL and self._parallel_vm:
                 result = self._execute_parallel(code, debug)
             
-            # 3. Stack Mode (Standard/Fallback + Async Support)
+            # 3. Fast synchronous path for performance mode (no async overhead)
+            elif getattr(self, '_perf_fast_dispatch', False):
+                result = self._run_stack_bytecode_sync(code, debug)
+            
+            # 4. Stack Mode (Standard/Fallback + Async Support)
             else:
-                result = asyncio.run(self._execute_stack(code, debug))
+                result = self._run_coroutine_sync(self._execute_stack(code, debug))
             
             # JIT Tracking
             if self.use_jit and hasattr(code, 'instructions'):
                 execution_time = time.perf_counter() - start_time
                 self._track_execution_for_jit(code, execution_time, execution_mode)
             
+            profile_print = os.environ.get("ZEXUS_VM_PROFILE_PRINT")
+            if profile_print and profile_print.lower() not in ("0", "false", "off"):
+                if self._last_opcode_profile:
+                    try:
+                        top_n = int(os.environ.get("ZEXUS_VM_PROFILE_TOP", "10"))
+                    except Exception:
+                        top_n = 10
+                    total_ops = sum(count for _, count in self._last_opcode_profile)
+                    elapsed = time.perf_counter() - start_time
+                    ops_per_sec = (total_ops / elapsed) if elapsed > 0 else 0.0
+                    print(f"[VM PROFILE] total_ops={total_ops} top={top_n} elapsed_ms={elapsed * 1000:.2f} ops_per_sec={ops_per_sec:.2f}")
+                    for op_name, count in self._last_opcode_profile[:top_n]:
+                        pct = (count / total_ops * 100) if total_ops else 0.0
+                        print(f"[VM PROFILE] {op_name} count={count} pct={pct:.2f}%")
             return result
             
         finally:
+            self._in_execution = max(0, getattr(self, "_in_execution", 1) - 1)
             self._total_execution_time += (time.perf_counter() - start_time)
 
     def _select_execution_mode(self, code) -> VMMode:
         if self.mode != VMMode.AUTO:
             return self.mode
-        
+
+        if hasattr(code, 'instructions'):
+            instructions = code.instructions
+            if self.prefer_parallel and self._parallel_vm and self._is_parallelizable(instructions):
+                return VMMode.PARALLEL
+            if self.prefer_register and self._register_vm and self._is_register_friendly(instructions):
+                return VMMode.REGISTER
+
         if self.use_jit:
             return VMMode.STACK
 
@@ -606,7 +1280,7 @@ class VM:
                 return VMMode.PARALLEL
             if self._register_vm and self._is_register_friendly(instructions):
                 return VMMode.REGISTER
-        
+
         return VMMode.STACK
 
     # ==================== Specialized Execution Methods ====================
@@ -620,6 +1294,17 @@ class VM:
     def _execute_register(self, bytecode, debug: bool = False):
         """Execute using register-based VM"""
         try:
+            if self.enable_bytecode_converter and self.bytecode_converter and hasattr(bytecode, "instructions"):
+                try:
+                    if not bytecode.metadata.get("converted_to_register"):
+                        bytecode = self.bytecode_converter.convert(bytecode)
+                except Exception:
+                    pass
+            if self.enable_register_allocation and self.register_allocator and hasattr(bytecode, "instructions"):
+                try:
+                    self._last_register_allocation = self.allocate_registers(bytecode.instructions)
+                except Exception:
+                    self._last_register_allocation = None
             # Ensure register VM has current environment and builtins
             self._register_vm.env = self.env.copy()
             self._register_vm.builtins = self.builtins.copy()
@@ -634,34 +1319,126 @@ class VM:
             return result
         except Exception as e:
             if debug: print(f"[VM Register] Failed: {e}, falling back to stack")
-            return asyncio.run(self._run_stack_bytecode(bytecode, debug))
+            return self._run_coroutine_sync(self._run_stack_bytecode(bytecode, debug))
 
     def _execute_parallel(self, bytecode, debug: bool = False):
         """Execute using parallel VM"""
         try:
-            return self._parallel_vm.execute_parallel(
-                bytecode,
-                initial_state={"env": self.env.copy(), "builtins": self.builtins.copy(), "parent_env": self._parent_env}
+            optimized_bytecode = self._optimize_bytecode_for_parallel(bytecode)
+            return self._parallel_vm.execute(
+                optimized_bytecode,
+                initial_state={
+                    "env": self.env.copy(),
+                    "builtins": self.builtins.copy(),
+                    "parent_env": self._parent_env,
+                },
             )
         except Exception as e:
             if debug: print(f"[VM Parallel] Failed: {e}, falling back to stack")
-            return asyncio.run(self._run_stack_bytecode(bytecode, debug))
+            return self._run_coroutine_sync(self._run_stack_bytecode(bytecode, debug))
+
+    def _optimize_bytecode_for_parallel(self, bytecode):
+        """Apply peephole/SSA optimizations and map opcodes for parallel execution."""
+        from .bytecode import Bytecode, Opcode
+
+        consts = list(getattr(bytecode, "constants", []))
+        instrs = list(getattr(bytecode, "instructions", []))
+
+        if self.enable_bytecode_optimizer and self.bytecode_optimizer:
+            try:
+                normalized_for_opt: List[Tuple[Any, Any]] = []
+                for instr in instrs:
+                    if instr is None:
+                        continue
+                    if isinstance(instr, tuple) and len(instr) >= 2:
+                        op = instr[0]
+                        operand = instr[1] if len(instr) == 2 else tuple(instr[1:])
+                        op_name = op.name if hasattr(op, "name") else op
+                        normalized_for_opt.append((str(op_name), operand))
+                instrs = self.bytecode_optimizer.optimize(normalized_for_opt, consts)
+            except Exception:
+                pass
+
+        if self.enable_peephole_optimizer and self.peephole_optimizer:
+            try:
+                instrs, consts = self.peephole_optimizer.optimize_bytecode(instrs, consts)
+            except Exception:
+                pass
+
+        normalized: List[Tuple[Any, Any]] = []
+        for instr in instrs:
+            if instr is None:
+                continue
+            if isinstance(instr, tuple) and len(instr) >= 2:
+                op = instr[0]
+                operand = instr[1] if len(instr) == 2 else tuple(instr[1:])
+                op_name = op.name if hasattr(op, "name") else op
+                normalized.append((op_name, operand))
+
+        instrs = normalized
+
+        if self.enable_ssa and self.ssa_converter:
+            try:
+                ssa_program = self.ssa_converter.convert_to_ssa(instrs)
+                ssa_instrs = destruct_ssa(ssa_program)
+                instrs, consts = self._normalize_ssa_instructions(ssa_instrs, consts)
+            except Exception:
+                pass
+
+        mapped: List[Tuple[Any, Any]] = []
+        for op, operand in instrs:
+            if isinstance(op, str) and op in Opcode.__members__:
+                mapped.append((Opcode[op], operand))
+            else:
+                mapped.append((op, operand))
+
+        return Bytecode(instructions=mapped, constants=consts)
 
     # ==================== JIT & Optimization Heuristics ====================
 
     def _is_parallelizable(self, instructions) -> bool:
-        if len(instructions) < 100: return False
-        independent_ops = sum(1 for op, _ in instructions if op in ['LOAD_CONST', 'ADD', 'SUB', 'MUL', 'HASH_BLOCK'])
+        if len(instructions) < 100:
+            return False
+        def _op_name(op):
+            return op.name if hasattr(op, 'name') else op
+        independent_ops = sum(
+            1 for op, _ in instructions
+            if _op_name(op) in ['LOAD_CONST', 'ADD', 'SUB', 'MUL', 'HASH_BLOCK']
+        )
         return independent_ops / len(instructions) > 0.3
 
     def _is_register_friendly(self, instructions) -> bool:
-        arith_ops = sum(1 for op, _ in instructions if op in ['ADD', 'SUB', 'MUL', 'DIV', 'EQ', 'LT'])
+        def _op_name(op):
+            return op.name if hasattr(op, 'name') else op
+        arith_ops = sum(
+            1 for op, _ in instructions
+            if _op_name(op) in ['ADD', 'SUB', 'MUL', 'DIV', 'EQ', 'LT']
+        )
         return arith_ops / max(len(instructions), 1) > 0.4
 
     def _track_execution_for_jit(self, bytecode, execution_time: float, execution_mode: VMMode):
         if not self.use_jit or not self.jit_compiler: return
+
+        if (not self._native_jit_auto_enabled
+            and self._opcode_exec_count >= self._native_jit_auto_threshold):
+            self._native_jit_auto_enabled = self.jit_compiler.enable_native_backend()
         
-        with self._jit_lock:
+        # OPTIMIZATION: Skip lock for single-threaded execution (47 lock acquisitions cost 37.6s!)
+        use_lock = self._jit_lock is not None
+        
+        if use_lock:
+            with self._jit_lock:
+                hot_path_info = self.jit_compiler.track_execution(bytecode, execution_time)
+                bytecode_hash = getattr(hot_path_info, 'bytecode_hash', None) or self.jit_compiler._hash_bytecode(bytecode)
+                
+                if bytecode_hash not in self._jit_execution_stats:
+                    self._jit_execution_stats[bytecode_hash] = []
+                self._jit_execution_stats[bytecode_hash].append(execution_time)
+                
+                # Check if should compile (outside lock to avoid holding during compilation)
+                should_compile = self.jit_compiler.should_compile(bytecode_hash)
+        else:
+            # Lock-free path for single-threaded execution
             hot_path_info = self.jit_compiler.track_execution(bytecode, execution_time)
             bytecode_hash = getattr(hot_path_info, 'bytecode_hash', None) or self.jit_compiler._hash_bytecode(bytecode)
             
@@ -669,17 +1446,86 @@ class VM:
                 self._jit_execution_stats[bytecode_hash] = []
             self._jit_execution_stats[bytecode_hash].append(execution_time)
             
-            # Check if should compile (outside lock to avoid holding during compilation)
             should_compile = self.jit_compiler.should_compile(bytecode_hash)
         
         # Compile outside the lock to prevent blocking other executions
         if should_compile:
             if self.debug: print(f"[VM JIT] Compiling hot path: {bytecode_hash[:8]}")
-            with self._jit_lock:
-                # Double-check it hasn't been compiled by another thread
+            if use_lock:
+                with self._jit_lock:
+                    # Double-check it hasn't been compiled by another thread
+                    if self.jit_compiler.should_compile(bytecode_hash):
+                        self.jit_compiler.compile_hot_path(bytecode)
+            else:
                 if self.jit_compiler.should_compile(bytecode_hash):
                     self.jit_compiler.compile_hot_path(bytecode)
 
+    def _normalize_ssa_instructions(self, instructions: List[Tuple], consts: List[Any]) -> Tuple[List[Tuple], List[Any]]:
+        """Normalize SSA-destructed instructions to (opcode, operand) format."""
+        # Large programs can produce large instruction streams. The previous
+        # constant lookup did a linear scan for every constant insertion, which
+        # becomes O(n^2) on big constant pools. Prefer a dict for hashable
+        # constants; fall back to linear scan for unhashables.
+        const_index: Dict[Tuple[type, Any], int] = {}
+        try:
+            for i, const in enumerate(consts):
+                try:
+                    const_index[(type(const), const)] = i
+                except Exception:
+                    continue
+        except Exception:
+            const_index = {}
+
+        def _const_index(value: Any) -> int:
+            try:
+                key = (type(value), value)
+                existing = const_index.get(key)
+                if existing is not None:
+                    return existing
+            except Exception:
+                key = None
+
+            # Fallback for unhashable values: preserve legacy semantics
+            for i, const in enumerate(consts):
+                try:
+                    if const == value and type(const) == type(value):
+                        return i
+                except Exception:
+                    continue
+
+            consts.append(value)
+            idx = len(consts) - 1
+            if key is not None:
+                try:
+                    const_index[key] = idx
+                except Exception:
+                    pass
+            return idx
+
+        normalized: List[Tuple] = []
+        for instr in instructions:
+            if instr is None:
+                continue
+            if not isinstance(instr, tuple):
+                continue
+            op = instr[0]
+            if len(instr) == 2:
+                normalized.append((op, instr[1]))
+                continue
+            if op == "MOVE" and len(instr) >= 3:
+                src = instr[1]
+                dest = instr[2]
+                src_idx = _const_index(src)
+                dest_idx = _const_index(dest)
+                normalized.append(("LOAD_NAME", src_idx))
+                normalized.append(("STORE_NAME", dest_idx))
+                continue
+
+            operand = tuple(instr[1:])
+            normalized.append((op, operand))
+
+        return normalized, consts
+
     def get_jit_stats(self) -> Dict[str, Any]:
         if self.use_jit and self.jit_compiler:
             stats = self.jit_compiler.get_stats()
@@ -844,11 +1690,7 @@ class VM:
                         await self._call_builtin_async(h, [payload])
                 elif code == "IMPORT":
                     _, module_path, alias = op
-                    try:
-                        mod = importlib.import_module(module_path)
-                        self.env[alias or module_path] = mod
-                    except Exception:
-                        self.env[alias or module_path] = None
+                    self._execute_import(module_path, alias=alias or "")
                 elif code == "DEFINE_ENUM":
                     _, name, members = op
                     enum_registry = self.env.setdefault("enums", {})
@@ -892,66 +1734,1068 @@ class VM:
         if tag == "LIST": return [self._eval_hl_op(e) for e in op[1]]
         return None
 
-    # ==================== Core Execution: Stack Bytecode ====================
+    # ==================== Rust VM Adaptive Routing (Phase 3) ====================
 
-    async def _run_stack_bytecode(self, bytecode, debug=False):
-        # 1. JIT Check (with thread safety)
-        if self.use_jit and self.jit_compiler:
-            with self._jit_lock:
-                bytecode_hash = self.jit_compiler._hash_bytecode(bytecode)
-                jit_function = self.jit_compiler.compilation_cache.get(bytecode_hash)
-            
-            if jit_function:
+    def _execute_via_rust_vm(self, bytecode, debug=False):
+        """Serialize bytecode to .zxc and execute via the Rust VM.
+
+        Returns the result value on success, or ``_RUST_VM_FALLBACK_SENTINEL``
+        if the Rust VM signals it needs a Python fallback (e.g. for
+        CALL_NAME / CALL_METHOD that need Python interop).
+        """
+        from .binary_bytecode import serialize as _serialize_zxc
+
+        # Serialize bytecode → .zxc binary
+        zxc_data = _serialize_zxc(bytecode, include_checksum=True)
+
+        # Build env dict for Rust (only simple serializable values)
+        rust_env = {}
+        for k, v in self.env.items():
+            if isinstance(v, (int, float, str, bool, type(None))):
+                rust_env[k] = v
+            elif isinstance(v, ZInteger):
+                rust_env[k] = v.value
+            elif isinstance(v, ZFloat):
+                rust_env[k] = v.value
+            elif isinstance(v, ZString):
+                rust_env[k] = v.value
+            elif isinstance(v, ZBoolean):
+                rust_env[k] = v.value
+            elif isinstance(v, (ZNull, type(None))):
+                rust_env[k] = None
+            # Skip non-serializable values (callables, AST nodes, etc.)
+
+        # Build state dict (if blockchain state exists)
+        rust_state = {}
+        bc_state = self.env.get("_blockchain_state")
+        if bc_state and isinstance(bc_state, dict):
+            for k, v in bc_state.items():
+                if isinstance(v, (int, float, str, bool, type(None))):
+                    rust_state[k] = v
+
+        # Gas limit
+        gas_limit = 0
+        if self.gas_metering:
+            remaining_fn = getattr(self.gas_metering, "remaining", None)
+            if callable(remaining_fn):
                 try:
-                    start_t = time.perf_counter()
-                    stack = []
-                    result = jit_function(self, stack, self.env)
-                    with self._jit_lock:
-                        self.jit_compiler.stats.cache_hits += 1
-                        self.jit_compiler.record_execution_time(bytecode_hash, time.perf_counter() - start_t, ExecutionTier.JIT_NATIVE)
-                    if debug: print(f"[VM JIT] Executed cached function")
-                    return result
-                except Exception as e:
-                    if debug: print(f"[VM JIT] Failed: {e}, falling back")
+                    rem = remaining_fn()
+                    if isinstance(rem, (int, float)) and rem > 0:
+                        gas_limit = int(rem)
+                except Exception:
+                    pass
+            if gas_limit == 0:
+                gas_limit_val = getattr(self.gas_metering, "gas_limit", 0) or 0
+                gas_used_val = getattr(self.gas_metering, "gas_used", 0) or 0
+                if isinstance(gas_limit_val, (int, float)) and isinstance(gas_used_val, (int, float)):
+                    if gas_limit_val > gas_used_val:
+                        gas_limit = int(gas_limit_val - gas_used_val)
+
+        # Execute via Rust VM
+        result_dict = self._rust_vm_executor.execute(
+            zxc_data,
+            env=rust_env or None,
+            state=rust_state or None,
+            gas_limit=gas_limit,
+        )
+
+        # Check for fallback
+        if result_dict.get("needs_fallback", False):
+            self._rust_vm_stats["rust_fallbacks"] += 1
+            if debug:
+                print("[VM] Rust VM needs Python fallback — delegating to Python VM")
+            return _RUST_VM_FALLBACK_SENTINEL
+
+        # Check for errors
+        error = result_dict.get("error")
+        if error:
+            if "OutOfGas" in str(error):
+                if self.gas_metering:
+                    raise OutOfGasError(str(error))
+                raise RuntimeError(str(error))
+            if "RequireFailed" in str(error):
+                raise RuntimeError(str(error))
+            raise RuntimeError(f"Rust VM error: {error}")
+
+        # Success — update stats
+        self._rust_vm_stats["rust_executions"] += 1
+        self._rust_vm_stats["total_rust_ops"] += result_dict.get("instructions_executed", 0)
+
+        # Bridge gas usage back to Python metering
+        if self.gas_metering:
+            rust_gas = result_dict.get("gas_used", 0)
+            if rust_gas > 0:
+                gas_used_attr = getattr(self.gas_metering, "gas_used", None)
+                if gas_used_attr is not None:
+                    self.gas_metering.gas_used = gas_used_attr + rust_gas
+                add_gas = getattr(self.gas_metering, "add_gas", None)
+                if add_gas:
+                    add_gas(rust_gas)
+
+        # Merge Rust env back into Python env
+        rust_env_out = result_dict.get("env", {})
+        if rust_env_out:
+            for k, v in rust_env_out.items():
+                self.env[k] = v
+
+        # Merge blockchain state back
+        rust_state_out = result_dict.get("state", {})
+        if rust_state_out and bc_state is not None:
+            for k, v in rust_state_out.items():
+                bc_state[k] = v
 
-        # 2. Bytecode Execution Setup
-        consts = list(getattr(bytecode, "constants", []))
-        instrs = list(getattr(bytecode, "instructions", []))
-        ip = 0
-        running = True
-        return_value = None
-        profile_flag = os.environ.get("ZEXUS_VM_PROFILE_OPS")
-        profile_ops = profile_flag is not None and profile_flag.lower() not in ("0", "false", "off")
-        profile_verbose_flag = os.environ.get("ZEXUS_VM_PROFILE_VERBOSE")
-        profile_verbose = profile_verbose_flag and profile_verbose_flag.lower() not in ("0", "false", "off")
-        opcode_counts: Optional[Dict[str, int]] = {} if profile_ops else None
-        if profile_ops and profile_verbose:
-            print(f"[VM DEBUG] opcode profiling enabled; instrs={len(instrs)}")
+        if debug:
+            print(f"[VM] Rust VM executed: ops={result_dict.get('instructions_executed', 0)} "
+                  f"gas={result_dict.get('gas_used', 0)}")
 
-        class _EvalStack:
-            __slots__ = ("data", "sp")
+        return result_dict.get("result")
 
-            def __init__(self, capacity: int):
-                base = max(32, capacity)
-                self.data = [None] * base
-                self.sp = 0
+    def get_rust_vm_stats(self):
+        """Return statistics about Rust VM usage."""
+        return dict(self._rust_vm_stats)
 
-            def _ensure_capacity(self):
-                if self.sp >= len(self.data):
-                    self.data.extend([None] * len(self.data))
+    # ==================== Fast Synchronous Dispatch (Performance Mode) ====================
 
-            def append(self, value: Any):
-                self._ensure_capacity()
-                self.data[self.sp] = value
-                self.sp += 1
+    def _run_stack_bytecode_sync(self, bytecode, debug=False):
+        """Synchronous fast-path execution without async overhead or gas metering."""
+        consts = list(getattr(bytecode, "constants", []))
+        instrs = list(getattr(bytecode, "instructions", []))
 
-            def pop(self):
-                if self.sp == 0:
-                    raise IndexError("pop from empty stack")
-                self.sp -= 1
-                value = self.data[self.sp]
-                self.data[self.sp] = None
-                return value
+        if not self._native_jit_auto_enabled:
+            self._opcode_exec_count += len(instrs)
+        
+        # Normalize opcodes
+        normalized: List[Tuple[str, Any]] = []
+        for instr in instrs:
+            if instr is None:
+                continue
+            if isinstance(instr, tuple) and len(instr) >= 2:
+                op = instr[0]
+                operand = instr[1] if len(instr) == 2 else tuple(instr[1:])
+                op_name = op.name if hasattr(op, "name") else op
+                normalized.append((op_name, operand))
+        instrs = normalized
+
+        # Cython fast-path if available (skip when gas metering is active
+        # because the native code doesn't enforce gas limits)
+        if _FASTOPS_AVAILABLE and not self.gas_metering:
+            try:
+                return _fastops.execute(instrs, consts, self.env, self.builtins, self._closure_cells)
+            except NotImplementedError:
+                pass
+            except Exception:
+                pass
+        
+        # Rust VM adaptive routing (Phase 3) — delegate to Rust when
+        # the program is large enough to amortise serialisation overhead.
+        if (self._rust_vm_enabled
+                and self._rust_vm_executor is not None
+                and len(instrs) >= self._rust_vm_threshold):
+            try:
+                rust_result = self._execute_via_rust_vm(bytecode, debug)
+                if rust_result is not _RUST_VM_FALLBACK_SENTINEL:
+                    return rust_result
+                # Rust signalled needs_fallback — continue to Python VM
+            except Exception:
+                self._rust_vm_stats["rust_fallbacks"] += 1
+        
+        # Fast stack implementation
+        stack: List[Any] = []
+        stack_append = stack.append
+        # stack_pop = stack.pop
+        def stack_pop():
+            if not stack:
+                return None
+            return stack.pop()
+        
+        ip = 0
+        trace_interval = 0
+        try:
+            trace_interval = int(os.environ.get("ZEXUS_VM_TRACE_INTERVAL", "0"))
+        except Exception:
+            trace_interval = 0
+        trace_counter = 0
+        instr_count = len(instrs)
+        env = self.env
+        builtins = self.builtins
+        
+        def const(idx):
+            return consts[idx] if isinstance(idx, int) and 0 <= idx < len(consts) else idx
+        
+        def resolve(name):
+            cached = self._name_cache.get(name)
+            if cached and cached[1] == self._env_version:
+                return cached[0]
+            if name in env:
+                val = env[name]
+                resolved = val.value if isinstance(val, Cell) else val
+                self._name_cache[name] = (resolved, self._env_version)
+                return resolved
+            if name in self._closure_cells:
+                resolved = self._closure_cells[name].value
+                self._name_cache[name] = (resolved, self._env_version)
+                return resolved
+            return None
+        
+        def store(name, value):
+            if name in env and isinstance(env[name], Cell):
+                env[name].value = value
+                self._bump_env_version(name, value)
+            else:
+                env[name] = value
+                self._bump_env_version(name, value)
+        
+        # Gas metering for sync path (security: prevents DoS via
+        # unbounded computation even when using the fast path)
+        _gas = self.gas_metering  # may be None
+        _gas_consume = _gas.consume if _gas else None
+        _gas_light = self.enable_gas_light
+        _gas_light_cost = self.gas_light_cost if _gas_light else 0
+        _gas_consume_light = _gas.consume_light if _gas else None
+
+        while ip < instr_count:
+            op_name, operand = instrs[ip]
+            ip += 1
+
+            # --- Gas accounting (fast) ---
+            if _gas is not None:
+                if _gas_light:
+                    if not _gas_consume_light(_gas_light_cost):
+                        from .gas_metering import OutOfGasError
+                        raise OutOfGasError(_gas.gas_used, _gas.gas_limit, op_name)
+                else:
+                    if not _gas_consume(op_name):
+                        from .gas_metering import OutOfGasError
+                        raise OutOfGasError(_gas.gas_used, _gas.gas_limit, op_name)
+
+            if trace_interval > 0:
+                trace_counter += 1
+                if trace_counter % trace_interval == 0:
+                    try:
+                        stack_size = len(stack)
+                    except Exception:
+                        stack_size = -1
+                    print(f"[VM TRACE] sync ip={ip} op={op_name} stack={stack_size}")
+            
+            # Hot path: arithmetic and stack ops (inlined)
+            if op_name == "LOAD_CONST":
+                stack_append(const(operand))
+            elif op_name == "LOAD_NAME":
+                stack_append(resolve(const(operand)))
+            elif op_name == "STORE_NAME":
+                store(const(operand), stack_pop() if stack else None)
+            elif op_name == "POP":
+                if stack: stack_pop()
+            elif op_name == "DUP":
+                if stack: stack_append(stack[-1])
+            elif op_name == "ADD":
+                b = stack_pop() if stack else 0
+                a = stack_pop() if stack else 0
+                if hasattr(a, 'value'): a = a.value
+                if hasattr(b, 'value'): b = b.value
+                stack_append(a + b)
+            elif op_name == "SUB":
+                b = stack_pop() if stack else 0
+                a = stack_pop() if stack else 0
+                if hasattr(a, 'value'): a = a.value
+                if hasattr(b, 'value'): b = b.value
+                if a is None: a = 0
+                if b is None: b = 0
+                stack_append(a - b)
+            elif op_name == "MUL":
+                b = stack_pop() if stack else 0
+                a = stack_pop() if stack else 0
+                if hasattr(a, 'value'): a = a.value
+                if hasattr(b, 'value'): b = b.value
+                stack_append(a * b)
+            elif op_name == "DIV":
+                b = stack_pop() if stack else 1
+                a = stack_pop() if stack else 0
+                if hasattr(a, 'value'): a = a.value
+                if hasattr(b, 'value'): b = b.value
+                stack_append(a / b if b != 0 else 0)
+            elif op_name == "MOD":
+                b = stack_pop() if stack else 1
+                a = stack_pop() if stack else 0
+                stack_append(a % b if b != 0 else 0)
+            elif op_name == "EQ":
+                b = stack_pop() if stack else None
+                a = stack_pop() if stack else None
+                stack_append(a == b)
+            elif op_name == "NEQ":
+                b = stack_pop() if stack else None
+                a = stack_pop() if stack else None
+                stack_append(a != b)
+            elif op_name == "LT":
+                b = stack_pop() if stack else 0
+                a = stack_pop() if stack else 0
+                if a is None or b is None: stack_append(False)
+                else: stack_append(a < b)
+            elif op_name == "GT":
+                b = stack_pop() if stack else 0
+                a = stack_pop() if stack else 0
+                if a is None or b is None: stack_append(False)
+                else: stack_append(a > b)
+            elif op_name == "LTE":
+                b = stack_pop() if stack else 0
+                a = stack_pop() if stack else 0
+                if a is None or b is None: stack_append(False)
+                else: stack_append(a <= b)
+            elif op_name == "GTE":
+                b = stack_pop() if stack else 0
+                a = stack_pop() if stack else 0
+                if a is None or b is None: stack_append(False)
+                else: stack_append(a >= b)
+            elif op_name == "NOT":
+                a = stack_pop() if stack else False
+                stack_append(not a)
+            elif op_name == "NEG":
+                a = stack_pop() if stack else 0
+                stack_append(-a)
+            elif op_name == "JUMP":
+                ip = operand
+            elif op_name == "JUMP_IF_FALSE":
+                cond = stack_pop() if stack else None
+                if not cond:
+                    ip = operand
+            elif op_name == "RETURN":
+                return stack_pop() if stack else None
+            elif op_name == "BUILD_LIST":
+                count = operand if operand is not None else 0
+                elements = [stack_pop() for _ in range(count)][::-1]
+                stack_append(elements)
+            elif op_name == "BUILD_MAP":
+                count = operand if operand is not None else 0
+                result = {}
+                for _ in range(count):
+                    val = stack_pop()
+                    key = stack_pop()
+                    result[key] = val
+                stack_append(result)
+            elif op_name == "INDEX":
+                idx = stack_pop()
+                obj = stack_pop()
+                try:
+                    if isinstance(obj, ZList):
+                        stack_append(obj.get(idx))
+                    elif isinstance(obj, ZMap):
+                        stack_append(obj.get(idx))
+                    else:
+                        stack_append(obj[idx] if obj is not None else None)
+                except (IndexError, KeyError, TypeError):
+                    stack_append(None)
+            elif op_name == "SLICE":
+                end = stack_pop() if stack else None
+                start = stack_pop() if stack else None
+                obj = stack_pop() if stack else None
+                if hasattr(start, "value"):
+                    start = start.value
+                if hasattr(end, "value"):
+                    end = end.value
+                try:
+                    if isinstance(obj, ZList):
+                        stack_append(ZList(obj.elements[start:end]))
+                    elif isinstance(obj, ZString):
+                        stack_append(ZString(obj.value[start:end]))
+                    else:
+                        stack_append(obj[start:end] if obj is not None else None)
+                except Exception:
+                    stack_append(None)
+            elif op_name == "GET_LENGTH":
+                obj = stack_pop()
+                try:
+                    if obj is None:
+                        stack_append(0)
+                    elif isinstance(obj, ZList):
+                        stack_append(len(obj.elements))
+                    elif isinstance(obj, ZMap):
+                        stack_append(len(obj.pairs))
+                    elif hasattr(obj, '__len__'):
+                        stack_append(len(obj))
+                    else:
+                        stack_append(0)
+                except Exception:
+                    stack_append(0)
+            elif op_name == "CALL_NAME":
+                name_idx, arg_count = operand
+                func_name = const(name_idx)
+                args = [stack.pop() if stack else None for _ in range(arg_count)][::-1] if arg_count else []
+                fn = resolve(func_name) or builtins.get(func_name)
+                if fn is None:
+                    res = self._call_fallback_builtin(func_name, args)
+                else:
+                    res = self._invoke_callable_sync(fn, args)
+                stack_append(res)
+            elif op_name == "CALL_TOP":
+                arg_count = operand or 0
+                args = [stack.pop() if stack else None for _ in range(arg_count)][::-1] if arg_count else []
+                fn_obj = stack_pop() if stack else None
+                res = self._invoke_callable_sync(fn_obj, args)
+                stack_append(res)
+            elif op_name == "CALL_METHOD":
+                if not operand:
+                    stack_append(None)
+                    continue
+                method_idx, arg_count = operand
+                args = [stack.pop() if stack else None for _ in range(arg_count)][::-1] if arg_count else []
+                target = stack_pop() if stack else None
+                method_name = const(method_idx)
+                trace_calls = os.environ.get("ZEXUS_VM_TRACE_CALLS")
+                if trace_calls:
+                    try:
+                        interval = int(trace_calls) if trace_calls.isdigit() else 1000
+                    except Exception:
+                        interval = 1000
+                    self._call_method_total += 1
+                    if interval > 0 and self._call_method_total % interval == 0:
+                        target_type = type(target).__name__ if target is not None else "None"
+                        print(f"[VM TRACE] CALL_METHOD total={self._call_method_total} method={method_name} target={target_type}")
+                if target is None:
+                    stack_append(None)
+                    continue
+                result = None
+                try:
+                    if method_name == "set":
+                        if isinstance(target, ZMap) and len(args) >= 2:
+                            key = args[0]
+                            if isinstance(key, ZString):
+                                norm_key = key.value
+                            elif isinstance(key, str):
+                                norm_key = key
+                            elif hasattr(key, "inspect"):
+                                norm_key = key.inspect()
+                            else:
+                                norm_key = str(key)
+                            existing = target.pairs.get(norm_key)
+                            if existing is not None and existing.__class__.__name__ == 'SealedObject':
+                                raise ZEvaluationError(f"Cannot modify sealed map key: {key}")
+                            target.pairs[norm_key] = args[1]
+                            result = args[1]
+                        elif isinstance(target, ZList) and len(args) >= 2:
+                            target.set(args[0], args[1])
+                            result = args[1]
+                        elif isinstance(target, (dict, list)) and len(args) >= 2:
+                            target[args[0]] = args[1]
+                            result = args[1]
+                    elif method_name == "get":
+                        if isinstance(target, ZMap) and args:
+                            result = target.get(args[0])
+                        elif isinstance(target, dict) and args:
+                            result = target.get(args[0])
+                    elif hasattr(target, "call_method"):
+                        wrapped_args = [self._wrap_for_builtin(arg) for arg in args]
+                        try:
+                            from .. import security as _security
+                            _security._set_vm_action_context(True)
+                        except Exception:
+                            _security = None
+                        try:
+                            result = target.call_method(method_name, wrapped_args)
+                        finally:
+                            if _security is not None:
+                                try:
+                                    _security._set_vm_action_context(False)
+                                except Exception:
+                                    pass
+                    else:
+                        attr = self._get_cached_method(target, method_name)
+                        if callable(attr):
+                            result = attr(*args)
+                        elif isinstance(target, dict) and method_name in target:
+                            candidate = target[method_name]
+                            result = candidate(*args) if callable(candidate) else candidate
+                        else:
+                            result = attr
+                except Exception:
+                    result = None
+                stack_append(self._unwrap_after_builtin(result))
+            elif op_name == "PRINT":
+                val = stack_pop() if stack else None
+                print(self._format_print_value(val))
+            elif op_name == "GET_ATTR":
+                attr = stack_pop() if stack else None
+                obj = stack_pop() if stack else None
+                if obj is None:
+                    stack_append(None)
+                else:
+                    attr_name = attr.value if hasattr(attr, 'value') else attr
+                    try:
+                        if isinstance(obj, ZMap):
+                            key = attr_name
+                            if isinstance(key, str):
+                                key = ZString(key)
+                            stack_append(obj.get(key))
+                        elif isinstance(obj, dict):
+                            stack_append(obj.get(attr_name))
+                        elif hasattr(obj, 'get') and hasattr(obj, 'set') and callable(getattr(obj, 'get', None)):
+                            # Contract-like objects (e.g., SmartContract) expose state via get/set.
+                            stack_append(obj.get(attr_name))
+                        else:
+                            stack_append(getattr(obj, attr_name, None))
+                    except Exception:
+                        stack_append(None)
+            elif op_name == "DEFINE_CONTRACT":
+                contract_obj = self._build_smart_contract(operand, stack, stack_pop, const, env)
+                stack_append(contract_obj)
+
+            # --- Blockchain / TX opcodes (sync-safe) ---
+
+            elif op_name == "HASH_BLOCK":
+                block_data = stack_pop() if stack else ""
+                if isinstance(block_data, dict):
+                    import json; block_data = json.dumps(block_data, sort_keys=True)
+                if not isinstance(block_data, (bytes, str)): block_data = str(block_data)
+                if isinstance(block_data, str): block_data = block_data.encode('utf-8')
+                try:
+                    from Crypto.Hash import keccak as _keccak_mod
+                    h = _keccak_mod.new(digest_bits=256, data=block_data)
+                    stack_append(h.hexdigest())
+                except ImportError:
+                    stack_append(hashlib.sha256(block_data).hexdigest())
+
+            elif op_name == "VERIFY_SIGNATURE":
+                if len(stack) >= 3:
+                    pk = stack.pop(); msg = stack.pop(); sig = stack.pop()
+                    verify_fn = builtins.get("verify_sig") or env.get("verify_sig")
+                    if verify_fn and callable(verify_fn):
+                        try:
+                            res = verify_fn(sig, msg, pk)
+                        except Exception:
+                            res = False
+                        stack_append(res)
+                    else:
+                        try:
+                            from ..blockchain.crypto import CryptoPlugin
+                            sig_s = sig.value if hasattr(sig, 'value') else str(sig)
+                            msg_s = msg.value if hasattr(msg, 'value') else str(msg)
+                            pk_s = pk.value if hasattr(pk, 'value') else str(pk)
+                            stack_append(CryptoPlugin.verify_signature(msg_s, sig_s, pk_s))
+                        except ImportError:
+                            stack_append(False)
+                else:
+                    stack_append(False)
+
+            elif op_name == "MERKLE_ROOT":
+                leaf_count = operand if operand is not None else 0
+                if leaf_count <= 0 or len(stack) < leaf_count:
+                    stack_append("")
+                else:
+                    leaves = [stack.pop() for _ in range(leaf_count)][::-1]
+                    hashes = []
+                    for leaf in leaves:
+                        if isinstance(leaf, dict):
+                            import json; leaf = json.dumps(leaf, sort_keys=True)
+                        if not isinstance(leaf, (str, bytes)): leaf = str(leaf)
+                        if isinstance(leaf, str): leaf = leaf.encode('utf-8')
+                        hashes.append(hashlib.sha256(leaf).hexdigest())
+                    while len(hashes) > 1:
+                        if len(hashes) % 2 != 0: hashes.append(hashes[-1])
+                        new_hashes = []
+                        for i in range(0, len(hashes), 2):
+                            combined = (hashes[i] + hashes[i+1]).encode('utf-8')
+                            new_hashes.append(hashlib.sha256(combined).hexdigest())
+                        hashes = new_hashes
+                    stack_append(hashes[0] if hashes else "")
+
+            elif op_name == "STATE_READ":
+                if operand is None:
+                    key = stack_pop()
+                    if hasattr(key, 'value'): key = key.value
+                else:
+                    key = const(operand)
+                stack_append(env.setdefault("_blockchain_state", {}).get(key))
+
+            elif op_name == "STATE_WRITE":
+                val = stack_pop()
+                if hasattr(val, 'value'): val = val.value
+                if operand is None:
+                    key = stack_pop()
+                    if hasattr(key, 'value'): key = key.value
+                else:
+                    key = const(operand)
+                if env.get("_in_transaction", False):
+                    env.setdefault("_tx_pending_state", {})[key] = val
+                else:
+                    env.setdefault("_blockchain_state", {})[key] = val
+
+            elif op_name == "TX_BEGIN":
+                tx_stack = env.setdefault("_tx_stack", [])
+                tx_stack.append({
+                    "snapshot": dict(env.get("_blockchain_state", {})),
+                    "pending": dict(env.get("_tx_pending_state", {})),
+                })
+                env["_in_transaction"] = True
+                env["_tx_pending_state"] = {}
+                env["_tx_snapshot"] = dict(env.get("_blockchain_state", {}))
+
+            elif op_name == "TX_COMMIT":
+                if env.get("_in_transaction", False):
+                    env.setdefault("_blockchain_state", {}).update(
+                        env.get("_tx_pending_state", {}))
+                    env["_tx_pending_state"] = {}
+                    env.pop("_tx_snapshot", None)
+                    # Restore outer TX if nested
+                    tx_stack = env.get("_tx_stack", [])
+                    if tx_stack:
+                        tx_stack.pop()
+                    env["_in_transaction"] = bool(tx_stack)
+
+            elif op_name == "TX_REVERT":
+                if env.get("_in_transaction", False):
+                    env["_blockchain_state"] = dict(env.get("_tx_snapshot", {}))
+                    env["_tx_pending_state"] = {}
+                    env.pop("_tx_snapshot", None)
+                    tx_stack = env.get("_tx_stack", [])
+                    if tx_stack:
+                        outer = tx_stack.pop()
+                        if tx_stack:
+                            env["_tx_snapshot"] = outer["snapshot"]
+                            env["_tx_pending_state"] = outer["pending"]
+                    env["_in_transaction"] = bool(env.get("_tx_stack", []))
+
+            elif op_name == "GAS_CHARGE":
+                amount = operand if operand is not None else 0
+                if _gas is not None:
+                    if not _gas.consume("GAS_CHARGE", amount=amount):
+                        if env.get("_in_transaction", False):
+                            env["_blockchain_state"] = dict(env.get("_tx_snapshot", {}))
+                            env["_in_transaction"] = False
+                        from .gas_metering import OutOfGasError
+                        raise OutOfGasError(_gas.gas_used, _gas.gas_limit, "GAS_CHARGE")
+                    # Sync env-based counter for backward compat
+                    if "_gas_remaining" in env:
+                        env["_gas_remaining"] = max(0, env["_gas_remaining"] - amount)
+                else:
+                    # Fallback to env-based tracking when no GasMetering
+                    current = env.get("_gas_remaining", float('inf'))
+                    if current != float('inf'):
+                        new_gas = current - amount
+                        if new_gas < 0:
+                            if env.get("_in_transaction", False):
+                                env["_blockchain_state"] = dict(env.get("_tx_snapshot", {}))
+                                env["_in_transaction"] = False
+                            raise ZEvaluationError(
+                                f"Out of gas: required {amount}, remaining {current}")
+                        env["_gas_remaining"] = new_gas
+
+            elif op_name == "REQUIRE":
+                message = stack_pop()
+                if hasattr(message, 'value'): message = message.value
+                condition = stack_pop()
+                cond_val = condition.value if hasattr(condition, 'value') else condition
+                if not cond_val:
+                    if env.get("_in_transaction", False):
+                        env["_blockchain_state"] = dict(env.get("_tx_snapshot", {}))
+                        env["_in_transaction"] = False
+                        env["_tx_pending_state"] = {}
+                        env.pop("_tx_snapshot", None)
+                    raise ZEvaluationError(f"Requirement failed: {message}")
+
+            elif op_name == "LEDGER_APPEND":
+                entry = stack_pop()
+                ledger = env.setdefault("_ledger", [])
+                if len(ledger) < 10000:  # Size limit
+                    if isinstance(entry, dict) and "timestamp" not in entry:
+                        entry["timestamp"] = time.time()
+                    ledger.append(entry)
+
+            elif op_name == "SETUP_TRY":
+                handler_ip = int(operand) if operand is not None else ip
+                env.setdefault("_try_stack_sync", []).append(handler_ip)
+
+            elif op_name == "POP_TRY":
+                ts = env.get("_try_stack_sync", [])
+                if ts: ts.pop()
+
+            elif op_name == "THROW":
+                exc = stack_pop()
+                ts = env.get("_try_stack_sync", [])
+                if ts:
+                    handler_ip = ts.pop()
+                    stack_append(exc)
+                    ip = handler_ip
+                else:
+                    msg = exc.value if hasattr(exc, 'value') else exc
+                    raise ZEvaluationError(str(msg))
+
+            elif op_name == "ENABLE_ERROR_MODE":
+                env["_continue_on_error"] = True
+
+            elif op_name in ("PARALLEL_START", "PARALLEL_END"):
+                pass  # Marker ops — no-op in stack VM
+
+            elif op_name == "AUDIT_LOG":
+                ts = time.time()
+                data = stack_pop(); action = stack_pop()
+                if hasattr(action, 'value'): action = action.value
+                if hasattr(data, 'value'): data = data.value
+                env.setdefault("_audit_log", []).append(
+                    {"timestamp": ts, "action": action, "data": data})
+
+            elif op_name == "RESTRICT_ACCESS":
+                restriction = stack_pop(); prop = stack_pop(); obj = stack_pop()
+                r_key = f"{obj}.{prop}" if prop else str(obj)
+                env.setdefault("_restrictions", {})[r_key] = restriction
+                # Enforcement via TX.caller
+                caller = None
+                tx_obj = env.get("TX")
+                if tx_obj is not None and hasattr(tx_obj, 'get'):
+                    from ..object import String as _ZS
+                    cv = tx_obj.get(_ZS("caller"))
+                    if cv: caller = cv.value if hasattr(cv, 'value') else str(cv)
+                rv = restriction.value if hasattr(restriction, 'value') else restriction
+                if isinstance(rv, str) and rv == "owner_only":
+                    owner = env.get("owner")
+                    if owner is not None:
+                        ov = owner.value if hasattr(owner, 'value') else str(owner)
+                        if caller and caller != ov:
+                            raise ZEvaluationError(f"Access denied: '{r_key}' restricted to owner only")
+                elif isinstance(rv, (list, tuple)):
+                    allowed = [a.value if hasattr(a, 'value') else str(a) for a in rv]
+                    if caller and caller not in allowed:
+                        raise ZEvaluationError(f"Access denied: '{r_key}' restricted to allowed addresses")
+
+            else:
+                # Truly unknown op — fallback to async path
+                return self._run_coroutine_sync(self._run_stack_bytecode(bytecode, debug))
+        
+        return stack_pop() if stack else None
+
+    def _build_smart_contract(self, operand, stack, stack_pop, const, env):
+        """Create a real SmartContract from DEFINE_CONTRACT bytecode.
+
+        This mirrors the interpreter's eval_contract_statement logic:
+        1. Pop evaluated storage initial values from the stack
+        2. Create Action objects from the AST action nodes
+        3. Construct a SmartContract with proper storage, deploy lifecycle
+        4. Run the constructor if one exists
+        """
+        from ..environment import Environment
+        from ..object import Action, Null, Map, String, Integer
+        from ..security import SmartContract
+
+        # Unpack operand: (ast_constant_index, storage_var_count)
+        if isinstance(operand, tuple):
+            ast_idx, storage_count = operand
+        else:
+            # Legacy single-int operand — treat as member_count with no AST
+            ast_idx = None
+            storage_count = operand or 0
+
+        # Pop contract name (pushed last, popped first)
+        contract_name_raw = stack_pop()
+        contract_name = contract_name_raw.value if hasattr(contract_name_raw, 'value') else str(contract_name_raw)
+
+        # Pop storage values (name, value pairs) in reverse push order
+        storage = {}
+        for _ in range(storage_count):
+            raw_val = stack_pop()
+            raw_name = stack_pop()
+            var_name = raw_name.value if hasattr(raw_name, 'value') else str(raw_name)
+            storage[var_name] = self._wrap_for_builtin(raw_val)
+
+        # Retrieve the AST node from the constants pool
+        ast_node = const(ast_idx) if ast_idx is not None else None
+        if ast_node is None:
+            # Can't build a proper contract without the AST — return a Map fallback
+            return ZMap({})
+
+        # Build a bridge Environment so Action closures can resolve outer vars
+        bridge_env = Environment()
+        if isinstance(env, dict):
+            for k, v in env.items():
+                bridge_env.set(k, self._wrap_for_builtin(v))
+        elif hasattr(env, 'items'):
+            for k, v in env.items():
+                bridge_env.set(k, self._wrap_for_builtin(v))
+
+        # Create Action objects from AST action nodes
+        actions = {}
+        for act in getattr(ast_node, 'actions', []):
+            act_name = act.name.value if hasattr(act.name, 'value') else str(act.name)
+            action_obj = Action(act.parameters, act.body, bridge_env)
+            actions[act_name] = action_obj
+
+        # Retrieve storage_vars AST nodes for SmartContract metadata
+        storage_vars = getattr(ast_node, 'storage_vars', [])
+
+        # Create the real SmartContract
+        contract = SmartContract(contract_name, storage_vars, actions)
+        contract.deploy(evaluated_storage_values=storage)
+
+        # Run constructor if present
+        if 'constructor' in actions:
+            constructor = actions['constructor']
+            contract_env = Environment(outer=bridge_env)
+
+            # Set up TX context
+            import time as _time
+            tx_context = Map({
+                String("caller"): String("system"),
+                String("timestamp"): Integer(int(_time.time())),
+            })
+            contract_env.set("TX", tx_context)
+
+            # Pre-populate environment with storage variables
+            for sv in storage_vars:
+                var_name = sv.name.value if hasattr(sv.name, 'value') else str(getattr(sv, 'name', ''))
+                initial_val = contract.storage.get(var_name)
+                if initial_val is not None:
+                    contract_env.set(var_name, initial_val)
+
+            # Execute constructor body via the evaluator
+            try:
+                from ..evaluator.core import Evaluator
+                if self._action_evaluator is None:
+                    self._action_evaluator = Evaluator(use_vm=False)
+                self._action_evaluator.eval_node(constructor.body, contract_env, [])
+            except Exception as _ctor_err:
+                # Log the error — silent failures can leave security-critical
+                # storage (e.g. owner) uninitialised.
+                import logging as _logging
+                _logging.getLogger("zexus.vm").warning(
+                    "Contract '%s' constructor failed: %s", contract_name, _ctor_err)
+
+            # Sync modified variables back to storage
+            for sv in storage_vars:
+                var_name = sv.name.value if hasattr(sv.name, 'value') else str(getattr(sv, 'name', ''))
+                val = contract_env.get(var_name)
+                if val is not None:
+                    contract.storage.set(var_name, val)
+
+        return contract
+
+    def _invoke_callable_sync(self, fn, args):
+        """Synchronous callable invocation for fast dispatch."""
+        if fn is None:
+            return None
+        real_fn = fn.fn if hasattr(fn, "fn") else fn
+        ZAction, ZLambda = _get_action_types()
+        if ZAction is not None and isinstance(real_fn, (ZAction, ZLambda)):
+            # Try to compile to bytecode and execute in VM (fast path)
+            action_bytecode = None
+            try:
+                if hasattr(real_fn, '_cached_bytecode'):
+                    action_bytecode = real_fn._cached_bytecode
+                else:
+                    from ..evaluator.bytecode_compiler import EvaluatorBytecodeCompiler
+                    compiler = EvaluatorBytecodeCompiler(use_cache=False)
+                    action_bytecode = compiler.compile(real_fn.body, optimize=True)
+                    if action_bytecode and not compiler.errors:
+                        real_fn._cached_bytecode = action_bytecode
+            except Exception:
+                action_bytecode = None
+            
+            if action_bytecode:
+                # Execute via VM (fast)
+                call_args = [self._wrap_for_builtin(arg) for arg in args]
+                params = real_fn.parameters if hasattr(real_fn, 'parameters') else []
+                local_env = {k.value if hasattr(k, 'value') else k: v for k, v in zip(params, call_args)}
+                inner_vm = VM.create_child(parent_vm=self, env=local_env)
+                try:
+                    result = inner_vm._run_stack_bytecode_sync(action_bytecode, debug=False)
+                finally:
+                    self._return_vm_to_pool(inner_vm)
+                return self._unwrap_after_builtin(result)
+            else:
+                # Fallback to interpreter (slow)
+                try:
+                    from ..evaluator.core import Evaluator
+                    if self._action_evaluator is None:
+                        self._action_evaluator = Evaluator(use_vm=False)
+                    call_args = [self._wrap_for_builtin(arg) for arg in args]
+                    result = self._action_evaluator.apply_function(real_fn, call_args)
+                    return self._unwrap_after_builtin(result)
+                except Exception:
+                    return None
+        if callable(real_fn) and not _iscoroutinefunction(real_fn):
+            try:
+                wrap_args = hasattr(fn, "fn")
+                call_args = [self._wrap_for_builtin(arg) for arg in args] if wrap_args else list(args)
+                result = real_fn(*call_args)
+                return self._unwrap_after_builtin(result) if wrap_args else result
+            except Exception:
+                return None
+        if isinstance(fn, dict):
+            # Function descriptor - execute bytecode
+            bytecode = fn.get("bytecode")
+            if bytecode:
+                params = fn.get("parameters", [])
+                local_env = {}
+                for i, p in enumerate(params):
+                    pname = p.get("name") if isinstance(p, dict) else str(p)
+                    local_env[pname] = args[i] if i < len(args) else None
+                # Share parent's gas metering so nested calls can't evade limits
+                child_vm = VM.create_child(parent_vm=self, env=local_env)
+                try:
+                    return child_vm._run_stack_bytecode_sync(bytecode, debug=False)
+                finally:
+                    self._return_vm_to_pool(child_vm)
+        # Fallback for async callables
+        if _iscoroutinefunction(real_fn):
+            return self._run_coroutine_sync(real_fn(*args))
+        return None
+
+    # ==================== Core Execution: Stack Bytecode ====================
+
+    async def _run_stack_bytecode(self, bytecode, debug=False):
+        # 0. Optional bytecode optimizations (peephole, SSA)
+        consts = list(getattr(bytecode, "constants", []))
+        instrs = list(getattr(bytecode, "instructions", []))
+
+        fast_single_shot = (
+            self.fast_single_shot
+            and isinstance(self.single_shot_max_instructions, int)
+            and len(instrs) <= self.single_shot_max_instructions
+        )
+
+        if not fast_single_shot and self.enable_bytecode_optimizer and self.bytecode_optimizer:
+            try:
+                normalized_for_opt: List[Tuple[Any, Any]] = []
+                for instr in instrs:
+                    if instr is None:
+                        continue
+                    if isinstance(instr, tuple) and len(instr) >= 2:
+                        op = instr[0]
+                        operand = instr[1] if len(instr) == 2 else tuple(instr[1:])
+                        op_name = op.name if hasattr(op, "name") else op
+                        normalized_for_opt.append((str(op_name), operand))
+                instrs = self.bytecode_optimizer.optimize(normalized_for_opt, consts)
+            except Exception:
+                pass
+
+        # Peephole optimization with constant pool awareness
+        if not fast_single_shot and self.enable_peephole_optimizer and self.peephole_optimizer:
+            try:
+                instrs, consts = self.peephole_optimizer.optimize_bytecode(instrs, consts)
+            except Exception:
+                pass
+
+        # Normalize opcodes to names for SSA pipeline and stack dispatch
+        normalized_instrs: List[Tuple[Any, Any]] = []
+        for instr in instrs:
+            if instr is None:
+                continue
+            if isinstance(instr, tuple) and len(instr) >= 2:
+                op = instr[0]
+                operand = instr[1] if len(instr) == 2 else tuple(instr[1:])
+                op_name = op.name if hasattr(op, "name") else op
+                normalized_instrs.append((op_name, operand))
+
+        instrs = normalized_instrs
+
+        if not self._native_jit_auto_enabled:
+            self._opcode_exec_count += len(instrs)
+
+        if not fast_single_shot and self.enable_ssa and self.ssa_converter:
+            try:
+                ssa_program = self.ssa_converter.convert_to_ssa(instrs)
+                ssa_instrs = destruct_ssa(ssa_program)
+                instrs, consts = self._normalize_ssa_instructions(ssa_instrs, consts)
+            except Exception:
+                pass
+
+        # 1. JIT Check (with thread safety)
+        if self.use_jit and self.jit_compiler:
+            jit_function = None
+            with self._jit_lock:
+                bytecode_hash = self.jit_compiler._hash_bytecode(bytecode)
+                jit_function = self.jit_compiler.compilation_cache.get(bytecode_hash)
+            
+            if jit_function:
+                try:
+                    start_t = time.perf_counter()
+                    stack = []
+                    result = jit_function(self, stack, self.env)
+                    with self._jit_lock:
+                        self.jit_compiler.stats.cache_hits += 1
+                        self.jit_compiler.record_execution_time(bytecode_hash, time.perf_counter() - start_t, ExecutionTier.JIT_NATIVE)
+                    if debug: print(f"[VM JIT] Executed cached function")
+                    return result
+                except Exception as e:
+                    if debug: print(f"[VM JIT] Failed: {e}, falling back")
+
+        # 2. Bytecode Execution Setup
+        ip = 0
+        trace_interval = 0
+        try:
+            trace_interval = int(os.environ.get("ZEXUS_VM_TRACE_INTERVAL", "0"))
+        except Exception:
+            trace_interval = 0
+        trace_counter = 0
+        running = True
+        return_value = None
+        profile_flag = os.environ.get("ZEXUS_VM_PROFILE_OPS")
+        profile_ops = profile_flag is not None and profile_flag.lower() not in ("0", "false", "off")
+        profile_verbose_flag = os.environ.get("ZEXUS_VM_PROFILE_VERBOSE")
+        profile_verbose = profile_verbose_flag and profile_verbose_flag.lower() not in ("0", "false", "off")
+        opcode_counts: Optional[Dict[str, int]] = {} if profile_ops else None
+        if profile_ops and profile_verbose:
+            print(f"[VM DEBUG] opcode profiling enabled; instrs={len(instrs)}")
+        gas_metering = self.gas_metering
+        gas_light = self.enable_gas_light and gas_metering is not None
+        gas_consume = gas_metering.consume if gas_metering else None
+        gas_consume_light = gas_metering.consume_light if gas_metering else None
+        gas_enabled = self.enable_gas_metering and gas_metering is not None
+        trace_ip_range = None
+        trace_ip_env = os.environ.get("ZEXUS_VM_TRACE_IP_RANGE")
+        if trace_ip_env:
+            try:
+                parts = str(trace_ip_env).split("-", 1)
+                if len(parts) == 2:
+                    trace_ip_range = (int(parts[0]), int(parts[1]))
+            except Exception:
+                trace_ip_range = None
+
+        trace_loads_flag = os.environ.get("ZEXUS_VM_TRACE_LOADS")
+        trace_loads_active = trace_loads_flag and trace_loads_flag.lower() not in ("0", "false", "off")
+        trace_calls_flag = os.environ.get("ZEXUS_VM_TRACE_CALLS")
+        trace_calls_active = trace_calls_flag and trace_calls_flag.lower() not in ("0", "false", "off")
+        trace_targets_flag = os.environ.get("ZEXUS_VM_TRACE_METHOD_TARGETS")
+        trace_targets_active = trace_targets_flag and trace_targets_flag.lower() not in ("0", "false", "off")
+        # Hoist CALL_METHOD env lookups (were computed per-call)
+        _trace_stack_flag = os.environ.get("ZEXUS_VM_TRACE_STACK")
+        _trace_stack_active = bool(_trace_stack_flag and _trace_stack_flag.lower() not in ("0", "false", "off"))
+        _trace_method_ops_flag = os.environ.get("ZEXUS_VM_TRACE_METHOD_OPS")
+        _trace_method_ops_targets = None
+        if _trace_method_ops_flag:
+            try:
+                _trace_method_ops_targets = [m.strip() for m in _trace_method_ops_flag.split(",") if m.strip()]
+            except Exception:
+                _trace_method_ops_targets = None
+        _verbose_active = profile_verbose
+        # Cached local ref to iscoroutinefunction (avoids asyncio.X attribute lookup)
+        _iscoroutinefunction_local = _iscoroutinefunction
+
+        # Pre-resolve security module for CALL_METHOD
+        _cached_security = _get_security_mod()
+        # Pre-resolve Action/Lambda types for _invoke_callable_sync
+        _cached_ZAction, _cached_ZLambda = _get_action_types()
+
+        class _EvalStack:
+            __slots__ = ("data", "sp")
+
+            def __init__(self, capacity: int):
+                base = max(32, capacity)
+                self.data = [None] * base
+                self.sp = 0
+
+            def _ensure_capacity(self):
+                if self.sp >= len(self.data):
+                    self.data.extend([None] * len(self.data))
+
+            def append(self, value: Any):
+                self._ensure_capacity()
+                self.data[self.sp] = value
+                self.sp += 1
+
+            def pop(self):
+                if self.sp == 0:
+                    raise IndexError("pop from empty stack")
+                self.sp -= 1
+                value = self.data[self.sp]
+                self.data[self.sp] = None
+                return value
 
             def peek(self, default: Any = None):
                 if self.sp == 0:
@@ -975,69 +2819,128 @@ class VM:
                 return self.data[:self.sp]
 
         stack = _EvalStack(len(instrs) * 2 if instrs else 32)
+        stack_append = stack.append
+        stack_pop = stack.pop
+        call_cache: Dict[str, Tuple[Any, int]] = {}
 
         def const(idx):
             if isinstance(idx, int):
                 return consts[idx] if 0 <= idx < len(consts) else None
             return idx
 
+        missing = object()
+        env_get = self.env.get
+        closure_get = self._closure_cells.get
+        builtins_get = self.builtins.get
+        name_cache = self._name_cache
+
         # Lexical Resolution Helper (Closures/Cells)
         def _resolve(name):
+            cached = name_cache.get(name)
+            if cached and cached[1] == self._env_version:
+                return cached[0]
             # 1. Local
-            if name in self.env:
-                val = self.env[name]
-                return val.value if isinstance(val, Cell) else val
+            val = env_get(name, missing)
+            if val is not missing:
+                resolved = val.value if isinstance(val, Cell) else val
+                name_cache[name] = (resolved, self._env_version)
+                return resolved
             # 2. Closure Cells (attached to VM)
-            if name in self._closure_cells:
-                return self._closure_cells[name].value
+            cell = closure_get(name)
+            if cell is not None:
+                resolved = cell.value
+                name_cache[name] = (resolved, self._env_version)
+                return resolved
             # 3. Parent Chain
             p = self._parent_env
             while p is not None:
                 if isinstance(p, VM):
-                    if name in p.env:
-                        val = p.env[name]
+                    p_val = p.env.get(name, missing)
+                    if p_val is not missing:
+                        val = p_val
                         return val.value if isinstance(val, Cell) else val
-                    if name in p._closure_cells:
-                        return p._closure_cells[name].value
+                    p_cell = p._closure_cells.get(name)
+                    if p_cell is not None:
+                        return p_cell.value
                     p = p._parent_env
                 else:
-                    if name in p: return p[name]
+                    if name in p:
+                        return p[name]
                     p = None
             return None
 
         def _store(name, value):
             # Update existing Cell in local env
             if name in self.env and isinstance(self.env[name], Cell):
-                self.env[name].value = value; return
+                self.env[name].value = value
+                self._bump_env_version(name, value)
+                return
             # Update local non-cell
             if name in self.env:
-                self.env[name] = value; return
+                self.env[name] = value
+                self._bump_env_version(name, value)
+                return
             # Update Closure Cell
             if name in self._closure_cells:
-                self._closure_cells[name].value = value; return
+                self._closure_cells[name].value = value
+                self._bump_env_version(name, value)
+                return
             # Update Parent Chain
             p = self._parent_env
             while p is not None:
                 if isinstance(p, VM):
                     if name in p._closure_cells:
-                        p._closure_cells[name].value = value; return
+                        p._closure_cells[name].value = value
+                        p._bump_env_version(name, value)
+                        self._bump_env_version(name, value)
+                        return
                     if name in p.env:
-                        p.env[name] = value; return
+                        p.env[name] = value
+                        p._bump_env_version(name, value)
+                        self._bump_env_version(name, value)
+                        return
                     p = p._parent_env
                 else:
                     if name in p:
-                        p[name] = value; return
+                        p[name] = value
+                        self._bump_env_version(name, value)
+                        return
                     p = None
             # Default: Create local
             self.env[name] = value
+            self._bump_env_version(name, value)
+
+        def _resolve_callable(name):
+            cached = call_cache.get(name)
+            if cached and cached[1] == self._env_version:
+                return cached[0]
+            fn = None
+            try:
+                fn = builtins_get(name)
+            except Exception:
+                fn = None
+            if fn is None:
+                fn = _resolve(name)
+            call_cache[name] = (fn, self._env_version)
+            return fn
 
         def _unwrap(value):
+            if isinstance(value, ZNull):
+                return None
             return value.value if hasattr(value, 'value') else value
 
         def _binary_op(func):
             def wrapper(_):
                 b = _unwrap(stack.pop() if stack else 0)
                 a = _unwrap(stack.pop() if stack else 0)
+                if a is None: a = 0
+                if b is None: b = 0
+                if isinstance(a, ZEvaluationError):
+                    stack.append(a)
+                    return
+                if isinstance(b, ZEvaluationError):
+                    stack.append(b)
+                    return
                 try:
                     stack.append(func(a, b))
                 except Exception as exc:
@@ -1048,30 +2951,57 @@ class VM:
 
         def _binary_bool_op(func):
             def wrapper(_):
-                b = stack.pop() if stack else None
-                a = stack.pop() if stack else None
+                b = _unwrap(stack.pop() if stack else None)
+                a = _unwrap(stack.pop() if stack else None)
+                if isinstance(a, ZEvaluationError):
+                    stack.append(a)
+                    return
+                if isinstance(b, ZEvaluationError):
+                    stack.append(b)
+                    return
                 stack.append(func(a, b))
             return wrapper
 
         async def _op_call_name(operand):
             if not operand:
-                stack.append(None)
+                stack_append(None)
                 return
             name_idx, arg_count = operand
             func_name = const(name_idx)
-            args = [stack.pop() for _ in range(arg_count)][::-1] if arg_count else []
-            fn = _resolve(func_name) or self.builtins.get(func_name)
+            if arg_count:
+                args = [stack_pop() if stack else None for _ in range(arg_count)]
+                args.reverse()
+            else:
+                args = []
+            fn = None
+            try:
+                fn = builtins_get(func_name)
+            except Exception:
+                fn = None
+            if fn is None:
+                fn = _resolve_callable(func_name)
             if fn is None:
                 fallback_res = self._call_fallback_builtin(func_name, args)
-                stack.append(fallback_res)
+                stack_append(fallback_res)
+                return
+            real_fn = fn.fn if hasattr(fn, "fn") else fn
+            if callable(real_fn) and not _iscoroutinefunction_local(real_fn):
+                res = self._invoke_callable_sync(fn, args)
+                stack_append(res)
                 return
             res = await self._invoke_callable_or_funcdesc(fn, args)
-            stack.append(res)
+            stack_append(res)
 
         async def _op_call_top(arg_count):
             count = arg_count or 0
-            args = [stack.pop() for _ in range(count)][::-1] if count else []
-            fn_obj = stack.pop() if stack else None
+            # Use stack_pop to avoid crash on empty stack
+            args = [stack_pop() for _ in range(count)][::-1] if count else []
+            fn_obj = stack_pop()
+            real_fn = fn_obj.fn if hasattr(fn_obj, "fn") else fn_obj
+            if callable(real_fn) and not _iscoroutinefunction_local(real_fn):
+                res = self._invoke_callable_sync(fn_obj, args)
+                stack.append(res)
+                return
             res = await self._invoke_callable_or_funcdesc(fn_obj, args)
             stack.append(res)
 
@@ -1081,21 +3011,157 @@ class VM:
                 return
 
             method_idx, arg_count = operand
-            args = [stack.pop() for _ in range(arg_count)][::-1] if arg_count else []
-            target = stack.pop() if stack else None
+            if _trace_stack_active:
+                if len(stack) < arg_count + 1:
+                    try:
+                        window = []
+                        start = max(0, ip - 12)
+                        for k in range(start, min(len(instrs), ip + 1)):
+                            instr = instrs[k]
+                            if instr is None:
+                                continue
+                            opk = instr[0] if isinstance(instr, tuple) else instr
+                            namek = opk.name if hasattr(opk, "name") else str(opk)
+                            operk = instr[1] if isinstance(instr, tuple) and len(instr) > 1 else None
+                            if namek in ("LOAD_NAME", "LOAD_CONST"):
+                                try:
+                                    val = const(operk)
+                                except Exception:
+                                    val = operk
+                                window.append(f"{k}:{namek}={val}")
+                            else:
+                                window.append(f"{k}:{namek}")
+                        try:
+                            tail = stack.snapshot()[-8:]
+                        except Exception:
+                            tail = "<unavailable>"
+                        print(
+                            f"[VM TRACE] stack_underflow ip={ip} method={const(method_idx)} "
+                            f"argc={arg_count} stack={len(stack)} tail={tail} ops={'|'.join(window)}"
+                        )
+                    except Exception:
+                        print(f"[VM TRACE] stack_underflow ip={ip} method={const(method_idx)} argc={arg_count} stack={len(stack)}")
+            if len(stack) < arg_count + 1:
+                missing = (arg_count + 1) - len(stack)
+                for _ in range(missing):
+                    stack_append(None)
+            args = [stack_pop() if stack else None for _ in range(arg_count)][::-1] if arg_count else []
+            target = stack_pop() if stack else None
             method_name = const(method_idx)
+            if _trace_method_ops_targets:
+                if method_name in _trace_method_ops_targets:
+                    try:
+                        window = []
+                        start = max(0, ip - 10)
+                        for k in range(start, min(len(instrs), ip + 2)):
+                            instr = instrs[k]
+                            if instr is None:
+                                continue
+                            opk = instr[0] if isinstance(instr, tuple) else instr
+                            namek = opk.name if hasattr(opk, "name") else str(opk)
+                            operk = instr[1] if isinstance(instr, tuple) and len(instr) > 1 else None
+                            if namek in ("LOAD_NAME", "LOAD_CONST", "STORE_NAME"):
+                                try:
+                                    val = const(operk)
+                                except Exception:
+                                    val = operk
+                                window.append(f"{k}:{namek}={val}")
+                            else:
+                                window.append(f"{k}:{namek}")
+                        print(f"[VM TRACE] method_ops {method_name} ip={ip} ops={'|'.join(window)}")
+                    except Exception:
+                        print(f"[VM TRACE] method_ops {method_name} ip={ip}")
+
+            if trace_calls_active:
+                try:
+                    interval = int(trace_calls_flag) if trace_calls_flag.isdigit() else 1000
+                except Exception:
+                    interval = 1000
+                self._call_method_total += 1
+                if interval > 0 and self._call_method_total % interval == 0:
+                    target_type = type(target).__name__ if target is not None else "None"
+                    print(
+                        f"[VM TRACE] CALL_METHOD total={self._call_method_total} method={method_name} "
+                        f"argc={arg_count} target={target_type}"
+                    )
 
             if target is None:
-                stack.append(None)
+                if trace_targets_active:
+                    if method_name in ("submit_transaction_fast", "produce_single_tx_block", "produce_blocks_fast_until_empty"):
+                        if self._method_target_trace_count < 10:
+                            env_val = self.env.get("blockchain") if isinstance(self.env, dict) else None
+                            env_type = type(env_val).__name__ if env_val is not None else "None"
+                            stack_size = len(stack) if hasattr(stack, "__len__") else -1
+                            print(f"[VM TRACE] {method_name} target None; env.blockchain={env_type} arg_count={arg_count} stack={stack_size}")
+                            self._method_target_trace_count += 1
+                stack_append(None)
                 return
 
             result = None
+            if _verbose_active and self._call_method_trace_count < 25:
+                target_type = type(target).__name__
+                preview = []
+                for item in args[:3]:
+                    try:
+                        preview.append(repr(item))
+                    except Exception:
+                        preview.append(f"<{type(item).__name__}>")
+                print(f"[VM TRACE] CALL_METHOD {method_name} target={target_type} args={len(args)} preview={preview}")
+                self._call_method_trace_count += 1
             try:
-                if hasattr(target, "call_method"):
+                if method_name == "set":
+                    if isinstance(target, ZMap):
+                        if len(args) >= 2:
+                            key = args[0]
+                            if isinstance(key, ZString):
+                                norm_key = key.value
+                            elif isinstance(key, str):
+                                norm_key = key
+                            elif hasattr(key, "inspect"):
+                                norm_key = key.inspect()
+                            else:
+                                norm_key = str(key)
+                            existing = target.pairs.get(norm_key)
+                            if existing is not None and existing.__class__.__name__ == 'SealedObject':
+                                raise ZEvaluationError(f"Cannot modify sealed map key: {key}")
+                            target.pairs[norm_key] = args[1]
+                            result = args[1]
+                        else:
+                            result = None
+                    elif isinstance(target, ZList):
+                        if len(args) >= 2:
+                            target.set(args[0], args[1])
+                            result = args[1]
+                        else:
+                            result = None
+                    elif isinstance(target, (dict, list)):
+                        if len(args) >= 2:
+                            target[args[0]] = args[1]
+                            result = args[1]
+                        else:
+                            result = None
+                elif method_name == "get":
+                    if isinstance(target, ZMap) and args:
+                        result = target.get(args[0])
+                    elif isinstance(target, dict) and args:
+                        result = target.get(args[0])
+                elif hasattr(target, "call_method"):
                     wrapped_args = [self._wrap_for_builtin(arg) for arg in args]
-                    result = target.call_method(method_name, wrapped_args)
+                    if _cached_security is not None:
+                        try:
+                            _cached_security._set_vm_action_context(True)
+                        except Exception:
+                            pass
+                    try:
+                        result = target.call_method(method_name, wrapped_args)
+                    finally:
+                        if _cached_security is not None:
+                            try:
+                                _cached_security._set_vm_action_context(False)
+                            except Exception:
+                                pass
                 else:
-                    attr = getattr(target, method_name, None)
+                    attr = self._get_cached_method(target, method_name)
                     if callable(attr):
                         result = attr(*args)
                     elif isinstance(target, dict) and method_name in target:
@@ -1103,39 +3169,93 @@ class VM:
                         result = candidate(*args) if callable(candidate) else candidate
                     else:
                         result = attr
+                if _verbose_active and self._call_method_trace_count <= 25:
+                    print(f"[VM TRACE] CALL_METHOD {method_name} result={result}")
+                # Only check for coroutine/future on paths that can produce them
+                # set/get paths are always sync; call_method/getattr may return coroutines
+                if result is not None and (asyncio.iscoroutine(result) or isinstance(result, asyncio.Future)):
+                    if self.async_optimizer:
+                        result = await self.async_optimizer.await_optimized(result)
+                    else:
+                        result = await result
             except Exception as exc:
                 if debug:
                     print(f"[VM] CALL_METHOD failed for {method_name}: {exc}")
                 raise
 
-            stack.append(self._unwrap_after_builtin(result))
+            stack_append(self._unwrap_after_builtin(result))
+
+        stack_append = stack.append
+        stack_pop = stack.pop
 
         def _op_load_const(idx):
-            stack.append(const(idx))
+            value = const(idx)
+            if self.integer_pool and isinstance(value, int):
+                value = self.integer_pool.get(value)
+            elif self.string_pool and isinstance(value, str):
+                value = self.string_pool.get(value)
+            stack_append(value)
+            if trace_loads_active:
+                if value is None:
+                    try:
+                        print(f"[VM TRACE] LOAD_CONST None ip={ip - 1} stack={len(stack)}")
+                    except Exception:
+                        print(f"[VM TRACE] LOAD_CONST None ip={ip - 1}")
 
         def _op_load_name(idx):
             name = const(idx)
-            stack.append(_resolve(name))
+            stack_append(_resolve(name))
+            if trace_loads_active:
+                if name in ("blockchain", "sender"):
+                    try:
+                        print(f"[VM TRACE] LOAD_NAME {name} ip={ip - 1} stack={len(stack)}")
+                    except Exception:
+                        print(f"[VM TRACE] LOAD_NAME {name} ip={ip - 1}")
 
         def _op_store_name(idx):
             name = const(idx)
-            val = stack.pop() if stack else None
-            _store(name, val)
+            val = stack_pop() if stack else None
+            existing = env_get(name, missing)
+            if existing is not missing and not isinstance(existing, Cell):
+                self.env[name] = val
+                self._bump_env_version(name, val)
+            else:
+                cell = closure_get(name)
+                if cell is not None:
+                    cell.value = val
+                    self._bump_env_version(name, val)
+                else:
+                    _store(name, val)
             if self.use_memory_manager and val is not None:
-                self._allocate_managed(val, name=name)
-
+                self._allocate_managed(val, name=name, root=True)
+            return
         def _op_pop(_):
             if stack:
-                stack.pop()
+                stack_pop()
 
         def _op_dup(_):
             if stack:
-                stack.append(stack[-1])
+                stack_append(stack.peek())
 
         def _op_neg(_):
             a = _unwrap(stack.pop() if stack else 0)
             stack.append(-a)
 
+        def _op_add(_):
+            b = _unwrap(stack_pop() if stack else 0)
+            a = _unwrap(stack_pop() if stack else 0)
+            if a is None:
+                a = 0
+            if b is None:
+                b = 0
+            if isinstance(a, ZEvaluationError):
+                stack_append(a)
+                return
+            if isinstance(b, ZEvaluationError):
+                stack_append(b)
+                return
+            stack_append(a + b)
+
         def _op_not(_):
             a = stack.pop() if stack else False
             stack.append(not a)
@@ -1147,7 +3267,8 @@ class VM:
         def _op_jump_if_false(target):
             nonlocal ip
             cond = stack.pop() if stack else None
-            if not cond:
+            cond_val = _unwrap(cond)
+            if not cond_val:
                 ip = target
 
         def _op_return(_):
@@ -1157,29 +3278,84 @@ class VM:
 
         def _op_build_list(count):
             total = count if count is not None else 0
-            elements = [stack.pop() for _ in range(total)][::-1]
-            stack.append(elements)
+            if self.list_pool:
+                lst = self.allocate_list(total)
+                if total > 0:
+                    for i in range(total - 1, -1, -1):
+                        lst[i] = stack.pop() if stack else None
+                stack.append(lst)
+            else:
+                elements = [None] * total
+                for i in range(total - 1, -1, -1):
+                    elements[i] = stack.pop() if stack else None
+                stack.append(elements)
 
         def _op_build_map(count):
             total = count if count is not None else 0
             result = {}
             for _ in range(total):
-                val = stack.pop(); key = stack.pop()
+                val = stack_pop() if stack else None
+                key = stack_pop() if stack else None
                 result[key] = val
-            stack.append(result)
+            stack_append(result)
 
         def _op_index(_):
-            idx = stack.pop(); obj = stack.pop()
+            idx = stack.pop() if stack else None
+            obj = stack.pop() if stack else None
             try:
-                stack.append(obj[idx] if obj is not None else None)
+                if isinstance(obj, ZList):
+                    stack.append(obj.get(idx))
+                elif isinstance(obj, ZMap):
+                    key = idx
+                    if isinstance(key, str):
+                        key = ZString(key)
+                    stack.append(obj.get(key))
+                elif isinstance(obj, ZString):
+                    stack.append(obj[idx])
+                else:
+                    # Fallback
+                    if obj is None:
+                        stack.append(None)
+                    else:
+                        raw_idx = idx.value if hasattr(idx, "value") else idx
+                        try:
+                            stack.append(obj[raw_idx])
+                        except Exception:
+                            stack.append(None)
             except (IndexError, KeyError, TypeError):
                 stack.append(None)
 
+        def _op_get_attr(_):
+            attr = stack_pop() if stack else None
+            obj = stack_pop() if stack else None
+            if obj is None:
+                stack_append(None)
+                return
+            attr_name = _unwrap(attr)
+            try:
+                if isinstance(obj, ZMap):
+                    key = attr_name
+                    if isinstance(key, str):
+                        key = ZString(key)
+                    stack_append(obj.get(key))
+                elif isinstance(obj, dict):
+                    stack_append(obj.get(attr_name))
+                else:
+                    stack_append(getattr(obj, attr_name, None))
+            except Exception:
+                stack_append(None)
+
         def _op_get_length(_):
-            obj = stack.pop()
+            obj = stack.pop() if stack else None
             try:
                 if obj is None:
                     stack.append(0)
+                elif isinstance(obj, ZList):
+                    stack.append(len(obj.elements))
+                elif isinstance(obj, ZMap):
+                    stack.append(len(obj.pairs))
+                elif isinstance(obj, ZString):
+                    stack.append(len(obj.value))
                 elif hasattr(obj, '__len__'):
                     stack.append(len(obj))
                 else:
@@ -1187,6 +3363,28 @@ class VM:
             except (TypeError, AttributeError):
                 stack.append(0)
 
+        def _op_read(_):
+            path = stack.pop() if stack else None
+            try:
+                import os
+                if path and os.path.exists(path):
+                    with open(path, 'r') as f:
+                        stack.append(f.read())
+                else:
+                    stack.append(None)
+            except:
+                stack.append(None)
+
+        def _op_store_func(operand):
+            name_idx, func_idx = operand
+            name = const(name_idx)
+            func = const(func_idx)
+            _store(name, func)
+
+        def _op_print(_):
+            val = stack_pop() if stack else None
+            print(self._format_print_value(val))
+
         dispatch_table: Dict[str, Callable[[Any], Any]] = {
             "LOAD_CONST": _op_load_const,
             "LOAD_NAME": _op_load_name,
@@ -1196,7 +3394,7 @@ class VM:
             "CALL_NAME": _op_call_name,
             "CALL_TOP": _op_call_top,
             "CALL_METHOD": _op_call_method,
-            "ADD": _binary_op(lambda a, b: a + b),
+            "ADD": _op_add,
             "SUB": _binary_op(lambda a, b: a - b),
             "MUL": _binary_op(lambda a, b: a * b),
             "DIV": _binary_op(lambda a, b: a / b if b != 0 else 0),
@@ -1214,470 +3412,1220 @@ class VM:
             "JUMP_IF_FALSE": _op_jump_if_false,
             "RETURN": _op_return,
             "BUILD_LIST": _op_build_list,
-            "BUILD_MAP": _op_build_map,
-            "INDEX": _op_index,
-            "GET_LENGTH": _op_get_length,
-        }
-        async_dispatch_ops = {"CALL_NAME", "CALL_TOP", "CALL_METHOD"}
-
-        # 3. Execution Loop
-        prev_ip = None
-        while running and ip < len(instrs):
-            op, operand = instrs[ip]
-            
-            # Handle Opcode enum: convert to name for comparison
-            if hasattr(op, 'name'):  # Opcode IntEnum
-                op_name = op.name
-            else:  # Already a string
-                op_name = op
-
-            if profile_ops:
-                opcode_counts[op_name] = opcode_counts.get(op_name, 0) + 1
-            
-            if debug: print(f"[VM SL] ip={ip} op={op} operand={operand} stack={stack.snapshot()}")
-            
-            # Profile instruction (if enabled) - start timing
-            instr_start_time = None
-            if self.enable_profiling and self.profiler and self.profiler.enabled:
-                if self.profiler.level in (ProfilingLevel.DETAILED, ProfilingLevel.FULL):
-                    instr_start_time = time.perf_counter()
-                # Record instruction (count only for BASIC level)
-                self.profiler.record_instruction(ip, op_name, operand, prev_ip, len(stack))
-            
-            prev_ip = ip
-            ip += 1
-
-            # === GAS METERING ===
-            if self.enable_gas_metering and self.gas_metering:
-                # Determine gas cost parameters
-                gas_kwargs = {}
-                if op_name in ("BUILD_LIST", "BUILD_MAP"):
-                    gas_kwargs['count'] = operand if operand is not None else 0
-                elif op_name == "MERKLE_ROOT":
-                    gas_kwargs['leaf_count'] = operand if operand is not None else 0
-                elif op_name in ("CALL_NAME", "CALL_TOP", "CALL_METHOD"):
-                    if op_name == "CALL_NAME":
-                        gas_kwargs['arg_count'] = operand[1] if isinstance(operand, tuple) else 0
-                    elif op_name == "CALL_TOP":
-                        gas_kwargs['arg_count'] = operand if operand is not None else 0
-                    else:
-                        gas_kwargs['arg_count'] = operand[1] if isinstance(operand, tuple) else 0
-                
-                # Consume gas for operation
-                if not self.gas_metering.consume(op_name, **gas_kwargs):
-                    # Out of gas!
-                    if self.gas_metering.operation_count > self.gas_metering.max_operations:
-                        raise OperationLimitExceededError(
-                            self.gas_metering.operation_count,
-                            self.gas_metering.max_operations
-                        )
-                    else:
-                        raise OutOfGasError(
-                            self.gas_metering.gas_used,
-                            self.gas_metering.gas_limit,
-                            op_name
-                        )
-
-            handler = dispatch_table.get(op_name)
-            if handler is not None:
-                if op_name in async_dispatch_ops:
-                    await handler(operand)
-                else:
-                    handler(operand)
-                if not running:
-                    break
-                continue
-
-            # --- Basic Stack Ops ---
-            if op_name == "LOAD_CONST":
-                stack.append(const(operand))
-            elif op_name == "LOAD_NAME":
-                name = const(operand)
-                stack.append(_resolve(name))
-            elif op_name == "STORE_NAME":
-                name = const(operand)
-                val = stack.pop() if stack else None
-                _store(name, val)
-                if self.use_memory_manager and val is not None:
-                    self._allocate_managed(val, name=name)
-            elif op_name == "POP":
-                if stack: stack.pop()
-            elif op_name == "DUP":
-                if stack: stack.append(stack[-1])
-            elif op_name == "PRINT":
-                val = stack.pop() if stack else None
-                print(val)
-            
-            # --- Function/Closure Ops ---
-            elif op_name == "STORE_FUNC":
-                name_idx, func_idx = operand
-                name = const(name_idx)
-                func_desc = const(func_idx)
-                # Create func descriptor, capturing current VM as parent
-                func_desc_copy = dict(func_desc) if isinstance(func_desc, dict) else {"bytecode": func_desc}
-                closure_snapshot = {}
-                # Snapshot current environment (excluding internal keys)
-                for key, value in self.env.items():
-                    if isinstance(key, str) and key.startswith("_"):
-                        continue
-                    closure_snapshot[key] = value
-                # Include existing closure cells if present
-                for key, cell in self._closure_cells.items():
-                    if key not in closure_snapshot:
-                        closure_snapshot[key] = cell.value
-                if closure_snapshot:
-                    func_desc_copy["closure_snapshot"] = closure_snapshot
-                func_desc_copy["parent_vm"] = self
-                self.env[name] = func_desc_copy
-            
-            elif op_name == "CALL_NAME":
-                name_idx, arg_count = operand
-                func_name = const(name_idx)
-                args = [stack.pop() for _ in range(arg_count)][::-1] if arg_count else []
-                fn = _resolve(func_name) or self.builtins.get(func_name)
-                if fn is None:
-                    res = self._call_fallback_builtin(func_name, args)
+            "BUILD_MAP": _op_build_map,
+            "INDEX": _op_index,
+            "GET_ATTR": _op_get_attr,
+            "GET_LENGTH": _op_get_length,
+            "READ": _op_read,
+            "STORE_FUNC": _op_store_func,
+            "PRINT": _op_print,
+        }
+        async_dispatch_ops = {"CALL_NAME", "CALL_TOP", "CALL_METHOD"}
+        gas_kwarg_ops = {"BUILD_LIST", "BUILD_MAP", "MERKLE_ROOT", "CALL_NAME", "CALL_TOP", "CALL_METHOD", "CALL_BUILTIN"}
+
+        prepared_instrs: List[Tuple[str, Any, Optional[Callable[[Any], Any]], bool, int]] = []
+        has_async_ops = False
+        has_loop_ops = False
+        loop_ops = {"JUMP", "JUMP_IF_FALSE", "JUMP_IF_TRUE", "FOR_ITER"}
+        for instr in instrs:
+            op_name, operand = instr
+            handler = dispatch_table.get(op_name)
+            is_async = op_name in async_dispatch_ops
+            if is_async:
+                has_async_ops = True
+            if op_name in loop_ops:
+                has_loop_ops = True
+            gas_kind = 0
+            if op_name in gas_kwarg_ops:
+                if op_name in ("BUILD_LIST", "BUILD_MAP"):
+                    gas_kind = 1
+                elif op_name == "MERKLE_ROOT":
+                    gas_kind = 2
                 else:
-                    res = await self._invoke_callable_or_funcdesc(fn, args)
-                stack.append(res)
-            
-            elif op_name == "CALL_TOP":
-                arg_count = operand
-                args = [stack.pop() for _ in range(arg_count)][::-1] if arg_count else []
-                fn_obj = stack.pop() if stack else None
-                res = await self._invoke_callable_or_funcdesc(fn_obj, args)
-                stack.append(res)
-
-            # --- Arithmetic & Logic ---
-            elif op_name == "ADD":
-                b = stack.pop() if stack else 0; a = stack.pop() if stack else 0
-                # Auto-unwrap evaluator objects
-                if hasattr(a, 'value'): a = a.value
-                if hasattr(b, 'value'): b = b.value
-                stack.append(a + b)
-            elif op_name == "SUB":
-                b = stack.pop() if stack else 0; a = stack.pop() if stack else 0
-                if hasattr(a, 'value'): a = a.value
-                if hasattr(b, 'value'): b = b.value
-                stack.append(a - b)
-            elif op_name == "MUL":
-                b = stack.pop() if stack else 0; a = stack.pop() if stack else 0
-                if hasattr(a, 'value'): a = a.value
-                if hasattr(b, 'value'): b = b.value
-                stack.append(a * b)
-            elif op_name == "DIV":
-                b = stack.pop() if stack else 1; a = stack.pop() if stack else 0
-                if hasattr(a, 'value'): a = a.value
-                if hasattr(b, 'value'): b = b.value
-                stack.append(a / b if b != 0 else 0)
-            elif op_name == "MOD":
-                b = stack.pop() if stack else 1; a = stack.pop() if stack else 0
-                stack.append(a % b if b != 0 else 0)
-            elif op_name == "POW":
-                b = stack.pop() if stack else 1; a = stack.pop() if stack else 0
-                stack.append(a ** b)
-            elif op_name == "NEG":
-                a = stack.pop() if stack else 0
-                stack.append(-a)
-            elif op_name == "EQ":
-                b = stack.pop() if stack else None; a = stack.pop() if stack else None
-                stack.append(a == b)
-            elif op_name == "NEQ":
-                b = stack.pop() if stack else None; a = stack.pop() if stack else None
-                stack.append(a != b)
-            elif op_name == "LT":
-                b = stack.pop() if stack else 0; a = stack.pop() if stack else 0
-                stack.append(a < b)
-            elif op_name == "GT":
-                b = stack.pop() if stack else 0; a = stack.pop() if stack else 0
-                stack.append(a > b)
-            elif op_name == "LTE":
-                b = stack.pop() if stack else 0; a = stack.pop() if stack else 0
-                stack.append(a <= b)
-            elif op_name == "GTE":
-                b = stack.pop() if stack else 0; a = stack.pop() if stack else 0
-                stack.append(a >= b)
-            elif op_name == "NOT":
-                a = stack.pop() if stack else False
-                stack.append(not a)
+                    gas_kind = 3
+            prepared_instrs.append((op_name, operand, handler, is_async, gas_kind))
 
-            # --- Control Flow ---
-            elif op_name == "JUMP":
-                ip = operand
-            elif op_name == "JUMP_IF_FALSE":
-                cond = stack.pop() if stack else None
-                if not cond: ip = operand
-            elif op_name == "RETURN":
-                return stack.pop() if stack else None
+        # 3. Execution Loop
+        prev_ip = None
+        try_stack: List[int] = []
+        auto_fast_loop = (
+            len(prepared_instrs) >= getattr(self, "fast_loop_threshold", 512)
+            or has_loop_ops
+        )
+        fast_loop_allowed = (
+            (self.enable_fast_loop or auto_fast_loop)
+            and not profile_ops
+            and not gas_enabled  # Never skip gas metering (including gas_light)
+            and not trace_interval
+            and trace_ip_range is None
+            and not trace_loads_active
+            and not trace_calls_active
+            and not trace_targets_active
+            and not self.enable_profiling
+        )
+        missing_handlers = any(handler is None for _, _, handler, _, _ in prepared_instrs)
+        if self.enable_fast_loop or auto_fast_loop:
+            reasons = []
+            if auto_fast_loop and not self.enable_fast_loop:
+                reasons.append("auto")
+            if profile_ops:
+                reasons.append("opcode_profile")
+            if gas_enabled and not gas_light:
+                reasons.append("gas")
+            if trace_interval:
+                reasons.append("trace_interval")
+            if trace_ip_range is not None:
+                reasons.append("trace_ip_range")
+            if trace_loads_active:
+                reasons.append("trace_loads")
+            if trace_calls_active:
+                reasons.append("trace_calls")
+            if trace_targets_active:
+                reasons.append("trace_targets")
+            if self.enable_profiling:
+                reasons.append("profiler")
+            if missing_handlers:
+                reasons.append("missing_handlers")
+            self._fast_loop_stats = {
+                "used": False,
+                "reason": ",".join(reasons) if reasons else "conditions",
+                "auto": auto_fast_loop,
+                "threshold": getattr(self, "fast_loop_threshold", 512),
+                "instr_count": len(prepared_instrs),
+            }
 
-            # --- Collections ---
-            elif op_name == "BUILD_LIST":
-                count = operand if operand is not None else 0
-                elements = [stack.pop() for _ in range(count)][::-1]
-                stack.append(elements)
-            elif op_name == "BUILD_MAP":
-                count = operand if operand is not None else 0
-                result = {}
-                for _ in range(count):
-                    val = stack.pop(); key = stack.pop()
-                    result[key] = val
-                stack.append(result)
-            elif op_name == "INDEX":
-                idx = stack.pop(); obj = stack.pop()
-                try: stack.append(obj[idx] if obj is not None else None)
-                except (IndexError, KeyError, TypeError): stack.append(None)
-            elif op_name == "GET_LENGTH":
-                obj = stack.pop()
-                try:
-                    if obj is None:
-                        stack.append(0)
-                    elif hasattr(obj, '__len__'):
-                        stack.append(len(obj))
+        if fast_loop_allowed and not missing_handlers:
+            self._fast_loop_stats = {
+                "used": True,
+                "reason": "",
+                "auto": auto_fast_loop,
+                "threshold": getattr(self, "fast_loop_threshold", 512),
+                "instr_count": len(prepared_instrs),
+            }
+            local_prepared = prepared_instrs
+            while running and ip < len(local_prepared):
+                op_name, operand, handler, is_async, _gas_kind = local_prepared[ip]
+                prev_ip = ip
+                ip += 1
+                if is_async:
+                    await handler(operand)
+                else:
+                    handler(operand)
+                if not running:
+                    break
+            if not running:
+                return return_value
+        while running and ip < len(prepared_instrs):
+            try:
+                current_ip = ip
+                op_name, operand, handler, is_async, gas_kind = prepared_instrs[current_ip]
+    
+                if profile_ops:
+                    opcode_counts[op_name] = opcode_counts.get(op_name, 0) + 1
+                
+                if debug: print(f"[VM SL] ip={ip} op={op} operand={operand} stack={stack.snapshot()}")
+                
+                # Profile instruction (if enabled) - start timing
+                instr_start_time = None
+                if self.enable_profiling and self.profiler and self.profiler.enabled:
+                    if self.profiler.level in (ProfilingLevel.DETAILED, ProfilingLevel.FULL):
+                        instr_start_time = time.perf_counter()
+                    # OPTIMIZATION: Use stack.sp instead of len(stack) to avoid 500k function calls
+                    self.profiler.record_instruction(current_ip, op_name, operand, prev_ip, stack.sp)
+                
+                prev_ip = current_ip
+                ip += 1
+
+                if trace_interval > 0:
+                    trace_counter += 1
+                    if trace_counter % trace_interval == 0:
+                        try:
+                            stack_size = stack.sp  # OPTIMIZATION: Direct attribute access
+                        except Exception:
+                            stack_size = -1
+                        print(f"[VM TRACE] async ip={current_ip} op={op_name} stack={stack_size}")
+    
+                # === GAS METERING ===
+                if gas_enabled:
+                    if gas_kind == 1:
+                        count = operand if operand is not None else 0
+                        if gas_light:
+                            ok = gas_consume_light(self.gas_light_cost)
+                        else:
+                            ok = gas_consume(op_name, count=count)
+                    elif gas_kind == 2:
+                        leaf_count = operand if operand is not None else 0
+                        if gas_light:
+                            ok = gas_consume_light(self.gas_light_cost)
+                        else:
+                            ok = gas_consume(op_name, leaf_count=leaf_count)
+                    elif gas_kind == 3:
+                        if op_name == "CALL_NAME":
+                            arg_count = operand[1] if isinstance(operand, tuple) else 0
+                        elif op_name == "CALL_TOP":
+                            arg_count = operand if operand is not None else 0
+                        else:
+                            arg_count = operand[1] if isinstance(operand, tuple) else 0
+                        if gas_light:
+                            ok = gas_consume_light(self.gas_light_cost)
+                        else:
+                            ok = gas_consume(op_name, arg_count=arg_count)
                     else:
-                        stack.append(0)
-                except (TypeError, AttributeError):
-                    stack.append(0)
-
-            # --- Async & Events ---
-            elif op_name == "SPAWN":
-                # operand: tuple ("CALL", func_name, arg_count) OR index
-                task_handle = None
-                if isinstance(operand, tuple) and operand[0] == "CALL":
-                    fn_name = operand[1]; arg_count = operand[2]
-                    args = [stack.pop() for _ in range(arg_count)][::-1]
-                    fn = self.builtins.get(fn_name) or self.env.get(fn_name)
-                    coro = self._to_coro(fn, args)
-                    
-                    # Use async optimizer if available
-                    if self.async_optimizer:
-                        coro = self.async_optimizer.spawn(coro)
+                        if gas_light:
+                            ok = gas_consume_light(self.gas_light_cost)
+                        else:
+                            ok = gas_consume(op_name)
+
+                    # Consume gas for operation
+                    if not ok:
+                        # Out of gas!
+                        if gas_metering.operation_count > gas_metering.max_operations:
+                            raise OperationLimitExceededError(
+                                gas_metering.operation_count,
+                                gas_metering.max_operations
+                            )
+                        else:
+                            raise OutOfGasError(
+                                gas_metering.gas_used,
+                                gas_metering.gas_limit,
+                                op_name
+                            )
+    
+                if trace_ip_range and trace_ip_range[0] <= current_ip <= trace_ip_range[1]:
+                    op_detail = op_name
+                    if op_name in ("LOAD_NAME", "STORE_NAME"):
+                        try:
+                            op_detail = f"{op_name}({const(operand)})"
+                        except Exception:
+                            op_detail = op_name
+                    elif op_name == "LOAD_CONST":
+                        try:
+                            op_detail = f"{op_name}({const(operand)})"
+                        except Exception:
+                            op_detail = op_name
+                    print(f"[VM TRACE] ip={current_ip} op={op_detail} pre_stack={len(stack)}")
+                if handler is not None:
+                    if is_async:
+                        await handler(operand)
+                    else:
+                        handler(operand)
+                    if trace_ip_range and trace_ip_range[0] <= current_ip <= trace_ip_range[1]:
+                        print(f"[VM TRACE] ip={current_ip} op={op_detail} post_stack={len(stack)}")
+                    if not running:
+                        break
+                    continue
+    
+                # --- Basic Stack Ops ---
+                if op_name == "LOAD_CONST":
+                    stack.append(const(operand))
+                elif op_name == "LOAD_NAME":
+                    name = const(operand)
+                    stack.append(_resolve(name))
+                elif op_name == "STORE_NAME":
+                    name = const(operand)
+                    val = stack.pop() if stack else None
+                    _store(name, val)
+                    if self.use_memory_manager and val is not None:
+                        self._allocate_managed(val, name=name)
+                elif op_name == "POP":
+                    if stack: stack.pop()
+                elif op_name == "DUP":
+                    if stack: stack.append(stack[-1])
+                elif op_name == "PRINT":
+                    val = stack.pop() if stack else None
+                    print(self._format_print_value(val))
+                
+                # --- Function/Closure Ops ---
+                elif op_name == "STORE_FUNC":
+                    name_idx, func_idx = operand
+                    name = const(name_idx)
+                    func_desc = const(func_idx)
+                    # Create func descriptor, capturing current VM as parent
+                    func_desc_copy = dict(func_desc) if isinstance(func_desc, dict) else {"bytecode": func_desc}
+                    closure_snapshot = {}
+                    # Snapshot current environment (excluding internal keys)
+                    for key, value in self.env.items():
+                        if isinstance(key, str) and key.startswith("_"):
+                            continue
+                        closure_snapshot[key] = value
+                    # Include existing closure cells if present
+                    for key, cell in self._closure_cells.items():
+                        if key not in closure_snapshot:
+                            closure_snapshot[key] = cell.value
+                    if closure_snapshot:
+                        func_desc_copy["closure_snapshot"] = closure_snapshot
+                    func_desc_copy["parent_vm"] = self
+                    self.env[name] = func_desc_copy
+                    self._bump_env_version(name, func_desc_copy)
+
+                elif op_name == "LOAD_REG":
+                    reg, const_idx = operand
+                    value = const(const_idx)
+                    if not hasattr(self, "_jit_registers"):
+                        self._jit_registers = {}
+                    self._jit_registers[reg] = value
+
+                elif op_name == "LOAD_VAR_REG":
+                    reg, name_idx = operand
+                    name = const(name_idx)
+                    value = _resolve(name)
+                    if not hasattr(self, "_jit_registers"):
+                        self._jit_registers = {}
+                    self._jit_registers[reg] = value
+
+                elif op_name == "STORE_REG":
+                    reg, name_idx = operand
+                    name = const(name_idx)
+                    value = getattr(self, "_jit_registers", {}).get(reg)
+                    _store(name, value)
+
+                elif op_name == "MOV_REG":
+                    dest, src = operand
+                    if not hasattr(self, "_jit_registers"):
+                        self._jit_registers = {}
+                    self._jit_registers[dest] = self._jit_registers.get(src)
+
+                elif op_name == "PUSH_REG":
+                    reg = operand if not isinstance(operand, (list, tuple)) else operand[0]
+                    value = getattr(self, "_jit_registers", {}).get(reg)
+                    stack.append(value)
+
+                elif op_name in ("ADD_REG", "SUB_REG", "MUL_REG", "DIV_REG", "MOD_REG"):
+                    dest, src1, src2 = operand
+                    regs = getattr(self, "_jit_registers", {})
+                    v1 = regs.get(src1)
+                    v2 = regs.get(src2)
+                    if op_name == "ADD_REG":
+                        res = v1 + v2
+                    elif op_name == "SUB_REG":
+                        res = v1 - v2
+                    elif op_name == "MUL_REG":
+                        res = v1 * v2
+                    elif op_name == "DIV_REG":
+                        res = v1 / v2 if v2 != 0 else 0
+                    else:
+                        res = v1 % v2 if v2 != 0 else 0
+                    if not hasattr(self, "_jit_registers"):
+                        self._jit_registers = {}
+                    self._jit_registers[dest] = res
+
+                elif op_name == "POW_REG":
+                    dest, src1, src2 = operand
+                    regs = getattr(self, "_jit_registers", {})
+                    v1 = regs.get(src1)
+                    v2 = regs.get(src2)
+                    res = v1 ** v2
+                    if not hasattr(self, "_jit_registers"):
+                        self._jit_registers = {}
+                    self._jit_registers[dest] = res
+
+                elif op_name == "NEG_REG":
+                    dest, src = operand
+                    regs = getattr(self, "_jit_registers", {})
+                    v1 = regs.get(src)
+                    res = -v1
+                    if not hasattr(self, "_jit_registers"):
+                        self._jit_registers = {}
+                    self._jit_registers[dest] = res
+
+                elif op_name in ("EQ_REG", "NEQ_REG", "LT_REG"):
+                    dest, src1, src2 = operand
+                    regs = getattr(self, "_jit_registers", {})
+                    v1 = regs.get(src1)
+                    v2 = regs.get(src2)
+                    if op_name == "EQ_REG":
+                        res = v1 == v2
+                    elif op_name == "NEQ_REG":
+                        res = v1 != v2
+                    else:
+                        res = v1 < v2
+                    if not hasattr(self, "_jit_registers"):
+                        self._jit_registers = {}
+                    self._jit_registers[dest] = res
+
+                elif op_name in ("GT_REG", "LTE_REG", "GTE_REG"):
+                    dest, src1, src2 = operand
+                    regs = getattr(self, "_jit_registers", {})
+                    v1 = regs.get(src1)
+                    v2 = regs.get(src2)
+                    if op_name == "GT_REG":
+                        res = v1 > v2
+                    elif op_name == "LTE_REG":
+                        res = v1 <= v2
+                    else:
+                        res = v1 >= v2
+                    if not hasattr(self, "_jit_registers"):
+                        self._jit_registers = {}
+                    self._jit_registers[dest] = res
+
+                elif op_name in ("AND_REG", "OR_REG"):
+                    dest, src1, src2 = operand
+                    regs = getattr(self, "_jit_registers", {})
+                    v1 = regs.get(src1)
+                    v2 = regs.get(src2)
+                    res = v1 and v2 if op_name == "AND_REG" else v1 or v2
+                    if not hasattr(self, "_jit_registers"):
+                        self._jit_registers = {}
+                    self._jit_registers[dest] = res
+
+                elif op_name == "NOT_REG":
+                    dest, src = operand
+                    regs = getattr(self, "_jit_registers", {})
+                    v1 = regs.get(src)
+                    res = not v1
+                    if not hasattr(self, "_jit_registers"):
+                        self._jit_registers = {}
+                    self._jit_registers[dest] = res
+
+                elif op_name == "POP_REG":
+                    reg = operand if not isinstance(operand, (list, tuple)) else operand[0]
+                    value = stack.pop() if stack else None
+                    if not hasattr(self, "_jit_registers"):
+                        self._jit_registers = {}
+                    self._jit_registers[reg] = value
+
+                elif op_name == "SPAWN_TASK":
+                    task_handle = None
+                    if isinstance(operand, tuple) and operand[0] == "CALL":
+                        fn_name = operand[1]; arg_count = operand[2]
+                        args = [stack.pop() if stack else None for _ in range(arg_count)][::-1]
+                        fn = self.builtins.get(fn_name) or self.env.get(fn_name)
+                        coro = self._to_coro(fn, args)
+                        if self.async_optimizer:
+                            coro = self.async_optimizer.spawn(coro)
                         task = asyncio.create_task(coro)
+                        self._task_counter += 1
+                        tid = f"task_{self._task_counter}"
+                        self._tasks[tid] = task
+                        task_handle = tid
                     else:
+                        arg_count = int(operand) if operand is not None else 0
+                        args = [stack.pop() if stack else None for _ in range(arg_count)][::-1] if arg_count else []
+                        callable_obj = stack.pop() if stack else None
+                        coro = self._to_coro(callable_obj, args)
+                        if self.async_optimizer:
+                            coro = self.async_optimizer.spawn(coro)
                         task = asyncio.create_task(coro)
-                    
-                    self._task_counter += 1
-                    tid = f"task_{self._task_counter}"
-                    self._tasks[tid] = task
-                    task_handle = tid
-                stack.append(task_handle)
-
-            elif op_name == "AWAIT":
-                # Keep popping until we find a task to await
-                result_found = False
-                temp_stack = self.allocate_list(0)
+                        self._task_counter += 1
+                        tid = f"task_{self._task_counter}"
+                        self._tasks[tid] = task
+                        task_handle = tid
+                    stack.append(task_handle)
+
+                elif op_name == "TASK_JOIN":
+                    task_ref = stack.pop() if stack else None
+                    if isinstance(task_ref, str) and task_ref in self._tasks:
+                        res = await self._tasks[task_ref]
+                        stack.append(res)
+                    elif asyncio.iscoroutine(task_ref) or isinstance(task_ref, asyncio.Future):
+                        res = await task_ref
+                        stack.append(res)
+                    else:
+                        stack.append(task_ref)
+
+                elif op_name == "TASK_RESULT":
+                    task_ref = stack.pop() if stack else None
+                    if isinstance(task_ref, str) and task_ref in self._tasks:
+                        res = await self._tasks[task_ref]
+                        stack.append(res)
+                    elif asyncio.iscoroutine(task_ref) or isinstance(task_ref, asyncio.Future):
+                        res = await task_ref
+                        stack.append(res)
+                    else:
+                        stack.append(task_ref)
+
+                elif op_name == "LOCK_ACQUIRE":
+                    if not hasattr(self, "_locks"):
+                        self._locks = {}
+                    key = const(operand) if operand is not None else (stack.pop() if stack else None)
+                    key = _unwrap(key)
+                    lock = self._locks.get(key)
+                    if lock is None:
+                        import threading
+                        lock = threading.Lock()
+                        self._locks[key] = lock
+                    lock.acquire()
+
+                elif op_name == "LOCK_RELEASE":
+                    if not hasattr(self, "_locks"):
+                        self._locks = {}
+                    key = const(operand) if operand is not None else (stack.pop() if stack else None)
+                    key = _unwrap(key)
+                    lock = self._locks.get(key)
+                    if lock:
+                        lock.release()
+
+                elif op_name == "BARRIER":
+                    barrier_obj = stack.pop() if stack else None
+                    timeout = const(operand) if operand is not None else None
+                    if hasattr(barrier_obj, "wait"):
+                        try:
+                            res = barrier_obj.wait(timeout=timeout) if timeout is not None else barrier_obj.wait()
+                        except Exception as exc:
+                            res = exc
+                        stack.append(res)
+                    else:
+                        stack.append(None)
+
+                elif op_name == "ATOMIC_ADD":
+                    delta = stack.pop() if stack else 0
+                    key = stack.pop() if operand is None else const(operand)
+                    key = _unwrap(key)
+                    if not hasattr(self, "_atomic_lock"):
+                        import threading
+                        self._atomic_lock = threading.Lock()
+                    if "_atomic_state" not in self.env:
+                        self.env["_atomic_state"] = {}
+                    with self._atomic_lock:
+                        current = self.env["_atomic_state"].get(key, 0)
+                        new_val = current + delta
+                        self.env["_atomic_state"][key] = new_val
+                    stack.append(new_val)
+
+                elif op_name == "ATOMIC_CAS":
+                    new_val = stack.pop() if stack else None
+                    expected = stack.pop() if stack else None
+                    key = stack.pop() if operand is None else const(operand)
+                    key = _unwrap(key)
+                    if not hasattr(self, "_atomic_lock"):
+                        import threading
+                        self._atomic_lock = threading.Lock()
+                    if "_atomic_state" not in self.env:
+                        self.env["_atomic_state"] = {}
+                    with self._atomic_lock:
+                        current = self.env["_atomic_state"].get(key, None)
+                        ok = current == expected
+                        if ok:
+                            self.env["_atomic_state"][key] = new_val
+                    stack.append(ok)
+
+                elif op_name == "FOR_ITER":
+                    target = int(operand) if operand is not None else ip
+                    it = stack.pop() if stack else None
+                    if it is None:
+                        ip = target
+                    else:
+                        try:
+                            iterator = iter(it)
+                            value = next(iterator)
+                            stack.append(iterator)
+                            stack.append(value)
+                        except StopIteration:
+                            ip = target
+
+                elif op_name == "CALL_NAME":
+                    name_idx, arg_count = operand
+                    func_name = const(name_idx)
+                    args = [stack.pop() if stack else None for _ in range(arg_count)][::-1] if arg_count else []
+                    fn = _resolve(func_name) or self.builtins.get(func_name)
+                    if fn is None:
+                        res = self._call_fallback_builtin(func_name, args)
+                    else:
+                        res = await self._invoke_callable_or_funcdesc(fn, args)
+                    stack.append(res)
+
+                elif op_name == "CALL_BUILTIN":
+                    name_idx, arg_count = operand if isinstance(operand, (list, tuple)) else (operand, 0)
+                    func_name = const(name_idx)
+                    args = [stack.pop() if stack else None for _ in range(arg_count)][::-1] if arg_count else []
+                    fn = self.builtins.get(func_name)
+                    if fn is None:
+                        res = self._call_fallback_builtin(func_name, args)
+                    else:
+                        res = await self._invoke_callable_or_funcdesc(fn, args)
+                    stack.append(res)
+
+                elif op_name == "CALL_FUNC_CONST":
+                    if isinstance(operand, (list, tuple)):
+                        func_idx = operand[0]
+                        arg_count = operand[1] if len(operand) > 1 else 0
+                    else:
+                        func_idx = operand
+                        arg_count = 0
+                    func_desc = const(func_idx)
+                    args = [stack.pop() if stack else None for _ in range(arg_count)][::-1] if arg_count else []
+                    res = await self._invoke_callable_or_funcdesc(func_desc, args, is_constant=True)
+                    stack.append(res)
                 
-                while stack and not result_found:
-                    top = stack.pop()
-                    
-                    if isinstance(top, str) and top in self._tasks:
-                        # Use async optimizer if available
-                        if self.async_optimizer:
-                            res = await self.async_optimizer.await_optimized(self._tasks[top])
+                elif op_name == "CALL_TOP":
+                    arg_count = operand
+                    args = [stack.pop() if stack else None for _ in range(arg_count)][::-1] if arg_count else []
+                    fn_obj = stack.pop() if stack else None
+                    res = await self._invoke_callable_or_funcdesc(fn_obj, args)
+                    stack.append(res)
+    
+                # --- Arithmetic & Logic ---
+                elif op_name == "ADD":
+                    b = stack.pop() if stack else 0; a = stack.pop() if stack else 0
+                    # Auto-unwrap evaluator objects
+                    if hasattr(a, 'value'): a = a.value
+                    if hasattr(b, 'value'): b = b.value
+                    stack.append(a + b)
+                elif op_name == "SUB":
+                    b = stack.pop() if stack else 0; a = stack.pop() if stack else 0
+                    if hasattr(a, 'value'): a = a.value
+                    if hasattr(b, 'value'): b = b.value
+                    stack.append(a - b)
+                elif op_name == "MUL":
+                    b = stack.pop() if stack else 0; a = stack.pop() if stack else 0
+                    if hasattr(a, 'value'): a = a.value
+                    if hasattr(b, 'value'): b = b.value
+                    stack.append(a * b)
+                elif op_name == "DIV":
+                    b = stack.pop() if stack else 1; a = stack.pop() if stack else 0
+                    if hasattr(a, 'value'): a = a.value
+                    if hasattr(b, 'value'): b = b.value
+                    stack.append(a / b if b != 0 else 0)
+                elif op_name == "MOD":
+                    b = stack.pop() if stack else 1; a = stack.pop() if stack else 0
+                    stack.append(a % b if b != 0 else 0)
+                elif op_name == "POW":
+                    b = stack.pop() if stack else 1; a = stack.pop() if stack else 0
+                    stack.append(a ** b)
+                elif op_name == "NEG":
+                    a = stack.pop() if stack else 0
+                    stack.append(-a)
+                elif op_name == "EQ":
+                    b = stack.pop() if stack else None; a = stack.pop() if stack else None
+                    stack.append(a == b)
+                elif op_name == "NEQ":
+                    b = stack.pop() if stack else None; a = stack.pop() if stack else None
+                    stack.append(a != b)
+                elif op_name == "LT":
+                    b = stack.pop() if stack else 0; a = stack.pop() if stack else 0
+                    stack.append(a < b)
+                elif op_name == "GT":
+                    b = stack.pop() if stack else 0; a = stack.pop() if stack else 0
+                    stack.append(a > b)
+                elif op_name == "LTE":
+                    b = stack.pop() if stack else 0; a = stack.pop() if stack else 0
+                    stack.append(a <= b)
+                elif op_name == "GTE":
+                    b = stack.pop() if stack else 0; a = stack.pop() if stack else 0
+                    stack.append(a >= b)
+                elif op_name == "NOT":
+                    a = stack.pop() if stack else False
+                    stack.append(not a)
+    
+                # --- Control Flow ---
+                elif op_name == "JUMP":
+                    ip = operand
+                elif op_name == "JUMP_IF_FALSE":
+                    cond = stack.pop() if stack else None
+                    if not cond: ip = operand
+                elif op_name == "RETURN":
+                    return stack.pop() if stack else None
+    
+                # --- Collections ---
+                elif op_name == "BUILD_LIST":
+                    count = operand if operand is not None else 0
+                    elements = [None] * count
+                    for i in range(count - 1, -1, -1):
+                        elements[i] = stack.pop() if stack else None
+                    stack.append(elements)
+                elif op_name == "BUILD_MAP":
+                    count = operand if operand is not None else 0
+                    result = {}
+                    for _ in range(count):
+                        val = stack.pop() if stack else None
+                        key = stack.pop() if stack else None
+                        result[key] = val
+                    stack.append(result)
+                elif op_name == "BUILD_SET":
+                    count = operand if operand is not None else 0
+                    elements = [stack_pop() for _ in range(count)][::-1]
+                    stack.append(set(elements))
+                elif op_name == "INDEX":
+                    idx = stack.pop() if stack else None
+                    obj = stack.pop() if stack else None
+                    try:
+                        if isinstance(obj, ZList):
+                            stack.append(obj.get(idx))
+                        elif isinstance(obj, ZMap):
+                            stack.append(obj.get(idx))
+                        elif isinstance(obj, ZString):
+                            stack.append(obj[idx])
                         else:
-                            res = await self._tasks[top]
-                        # Push back any non-task values we skipped
-                        for val in reversed(temp_stack):
+                            val = obj[idx] if obj is not None and idx is not None else None
                             stack.append(val)
-                        stack.append(res)
-                        result_found = True
-                    elif asyncio.iscoroutine(top) or isinstance(top, asyncio.Future):
+                    except (IndexError, KeyError, TypeError):
+                        stack.append(None)
+                elif op_name == "SLICE":
+                    end = _unwrap(stack.pop() if stack else None)
+                    start = _unwrap(stack.pop() if stack else None)
+                    obj = stack.pop() if stack else None
+                    try:
+                        if isinstance(obj, ZList):
+                            stack.append(ZList(obj.elements[start:end]))
+                        elif isinstance(obj, ZString):
+                            stack.append(ZString(obj.value[start:end]))
+                        else:
+                            stack.append(obj[start:end] if obj is not None else None)
+                    except Exception:
+                        stack.append(None)
+                elif op_name == "GET_LENGTH":
+                    obj = stack.pop() if stack else None
+                    try:
+                        if obj is None:
+                            stack.append(0)
+                        elif isinstance(obj, ZList):
+                            stack.append(len(obj.elements))
+                        elif isinstance(obj, ZMap):
+                            stack.append(len(obj.pairs))
+                        elif isinstance(obj, ZString):
+                            stack.append(len(obj.value))
+                        elif hasattr(obj, '__len__'):
+                            stack.append(len(obj))
+                        else:
+                            stack.append(0)
+                    except (TypeError, AttributeError):
+                        stack.append(0)
+    
+                # --- Async & Events ---
+                elif op_name == "SPAWN":
+                    # operand: tuple ("CALL", func_name, arg_count) OR index
+                    task_handle = None
+                    if isinstance(operand, tuple) and operand[0] == "CALL":
+                        fn_name = operand[1]; arg_count = operand[2]
+                        args = [stack.pop() if stack else None for _ in range(arg_count)][::-1]
+                        fn = self.builtins.get(fn_name) or self.env.get(fn_name)
+                        coro = self._to_coro(fn, args)
+                        
                         # Use async optimizer if available
                         if self.async_optimizer:
-                            res = await self.async_optimizer.await_optimized(top)
+                            coro = self.async_optimizer.spawn(coro)
+                            task = asyncio.create_task(coro)
+                        else:
+                            task = asyncio.create_task(coro)
+                        
+                        self._task_counter += 1
+                        tid = f"task_{self._task_counter}"
+                        self._tasks[tid] = task
+                        task_handle = tid
+                    stack.append(task_handle)
+
+                elif op_name == "SPAWN_CALL":
+                    task_handle = None
+                    if isinstance(operand, (list, tuple)) and operand:
+                        name_idx = operand[0]
+                        arg_count = operand[1] if len(operand) > 1 else 0
+                        fn_name = const(name_idx)
+                        args = [stack.pop() if stack else None for _ in range(arg_count)][::-1] if arg_count else []
+                        fn = self.builtins.get(fn_name) or self.env.get(fn_name)
+                        coro = self._to_coro(fn, args)
+                        if self.async_optimizer:
+                            coro = self.async_optimizer.spawn(coro)
+                        task = asyncio.create_task(coro)
+                        self._task_counter += 1
+                        tid = f"task_{self._task_counter}"
+                        self._tasks[tid] = task
+                        task_handle = tid
+                    stack.append(task_handle)
+    
+                elif op_name == "AWAIT":
+                    # Keep popping until we find a task to await
+                    result_found = False
+                    temp_stack = self.allocate_list(0)
+                    
+                    while stack and not result_found:
+                        top = stack.pop()
+                        
+                        if isinstance(top, str) and top in self._tasks:
+                            # Use async optimizer if available
+                            if self.async_optimizer:
+                                res = await self.async_optimizer.await_optimized(self._tasks[top])
+                            else:
+                                res = await self._tasks[top]
+                            # Push back any non-task values we skipped
+                            for val in reversed(temp_stack):
+                                stack.append(val)
+                            stack.append(res)
+                            result_found = True
+                        elif asyncio.iscoroutine(top) or isinstance(top, asyncio.Future):
+                            # Use async optimizer if available
+                            if self.async_optimizer:
+                                res = await self.async_optimizer.await_optimized(top)
+                            else:
+                                res = await top
+                            # Push back any non-task values we skipped
+                            for val in reversed(temp_stack):
+                                stack.append(val)
+                            stack.append(res)
+                            result_found = True
                         else:
-                            res = await top
-                        # Push back any non-task values we skipped
+                            # Not a task, save it and keep looking
+                            temp_stack.append(top)
+                    
+                    # If no task was found, put everything back
+                    if not result_found:
                         for val in reversed(temp_stack):
                             stack.append(val)
-                        stack.append(res)
-                        result_found = True
+    
+                    if temp_stack:
+                        temp_stack.clear()
+                    self.release_list(temp_stack)
+    
+                elif op_name == "REGISTER_EVENT":
+                    event_parts = operand if isinstance(operand, (list, tuple)) else (operand,)
+                    event_name = const(event_parts[0]) if event_parts else None
+                    handler = const(event_parts[1]) if len(event_parts) > 1 else None
+                    if event_name is not None:
+                        handlers = self._events.setdefault(event_name, [])
+                        if handler and handler not in handlers:
+                            handlers.append(handler)
+    
+                elif op_name == "EMIT_EVENT":
+                    event_ref = const(operand[0]) if operand else None
+                    payload_ref = None
+                    event_name = event_ref
+                    if isinstance(event_ref, (list, tuple)) and event_ref:
+                        event_name = event_ref[0]
+                        if len(event_ref) > 1:
+                            payload_ref = event_ref[1]
+    
+                    payload = None
+                    if stack:
+                        payload = stack.pop()
+                    elif payload_ref is not None:
+                        payload = const(payload_ref)
+                    elif isinstance(operand, (list, tuple)) and len(operand) > 1:
+                        payload = const(operand[1])
+    
+                    payload = _unwrap(payload)
+    
+                    handlers = self._events.get(event_name, [])
+                    for h in handlers:
+                        fn = self.builtins.get(h) or self.env.get(h)
+                        if fn is None:
+                            continue
+                        await self._call_builtin_async_obj(fn, [payload], wrap_args=False)
+    
+                elif op_name == "IMPORT":
+                    mod_name = const(operand[0])
+                    alias = const(operand[1]) if isinstance(operand, (list,tuple)) and len(operand) > 1 else ""
+                    names = const(operand[2]) if isinstance(operand, (list, tuple)) and len(operand) > 2 else []
+                    is_named = const(operand[3]) if isinstance(operand, (list, tuple)) and len(operand) > 3 else False
+                    self._execute_import(mod_name, alias=alias or "", names=names, is_named=bool(is_named))
+
+                elif op_name == "EXPORT":
+                    name = None
+                    value = None
+                    if isinstance(operand, (list, tuple)) and operand:
+                        name = const(operand[0])
+                        if len(operand) > 1:
+                            value = const(operand[1])
+                    if name is None:
+                        name = stack.pop() if stack else None
+                    if value is None:
+                        value = stack.pop() if stack else None
+
+                    export_fn = getattr(self.env, "export", None)
+                    if callable(export_fn):
+                        try:
+                            export_fn(name, value)
+                        except Exception:
+                            pass
                     else:
-                        # Not a task, save it and keep looking
-                        temp_stack.append(top)
-                
-                # If no task was found, put everything back
-                if not result_found:
-                    for val in reversed(temp_stack):
-                        stack.append(val)
-
-                if temp_stack:
-                    temp_stack.clear()
-                self.release_list(temp_stack)
-
-            elif op_name == "REGISTER_EVENT":
-                event_parts = operand if isinstance(operand, (list, tuple)) else (operand,)
-                event_name = const(event_parts[0]) if event_parts else None
-                handler = const(event_parts[1]) if len(event_parts) > 1 else None
-                if event_name is not None:
-                    handlers = self._events.setdefault(event_name, [])
-                    if handler and handler not in handlers:
-                        handlers.append(handler)
-
-            elif op_name == "EMIT_EVENT":
-                event_ref = const(operand[0]) if operand else None
-                payload_ref = None
-                event_name = event_ref
-                if isinstance(event_ref, (list, tuple)) and event_ref:
-                    event_name = event_ref[0]
-                    if len(event_ref) > 1:
-                        payload_ref = event_ref[1]
-
-                payload = None
-                if stack:
-                    payload = stack.pop()
-                elif payload_ref is not None:
-                    payload = const(payload_ref)
-                elif isinstance(operand, (list, tuple)) and len(operand) > 1:
-                    payload = const(operand[1])
-
-                payload = _unwrap(payload)
-
-                handlers = self._events.get(event_name, [])
-                for h in handlers:
-                    fn = self.builtins.get(h) or self.env.get(h)
-                    if fn is None:
-                        continue
-                    await self._call_builtin_async_obj(fn, [payload], wrap_args=False)
+                        self.env[name] = value
+                    self._bump_env_version(name, value)
 
-            elif op_name == "IMPORT":
-                mod_name = const(operand[0])
-                alias = const(operand[1]) if isinstance(operand, (list,tuple)) and len(operand) > 1 else None
-                try:
-                    mod = importlib.import_module(mod_name)
-                    self.env[alias or mod_name] = mod
-                except Exception:
-                    self.env[alias or mod_name] = None
-
-            elif op_name == "DEFINE_ENUM":
-                enum_name = _unwrap(const(operand[0]))
-                enum_map = const(operand[1])
-                self.env.setdefault("enums", {})[enum_name] = enum_map
-                self.env[enum_name] = enum_map
-
-            elif op_name == "ASSERT_PROTOCOL":
-                obj_name = const(operand[0])
-                spec = const(operand[1])
-                obj = self.env.get(obj_name)
-                ok = True
-                missing = []
-                for m in spec.get("methods", []):
-                    if not hasattr(obj, m):
-                        ok = False; missing.append(m)
-                stack.append((ok, missing))
-
-            # --- Blockchain Specific Opcodes ---
-            
-            elif op_name == "HASH_BLOCK":
-                block_data = stack.pop() if stack else ""
-                if isinstance(block_data, dict):
-                    import json; block_data = json.dumps(block_data, sort_keys=True)
-                if not isinstance(block_data, (bytes, str)): block_data = str(block_data)
-                if isinstance(block_data, str): block_data = block_data.encode('utf-8')
-                stack.append(hashlib.sha256(block_data).hexdigest())
+                elif op_name == "WRITE":
+                    payload = stack.pop() if stack else None
+                    path = stack.pop() if stack else None
+                    try:
+                        if path is not None:
+                            with open(path, "w") as f:
+                                if isinstance(payload, bytes):
+                                    f.write(payload.decode("utf-8"))
+                                else:
+                                    f.write(str(payload) if payload is not None else "")
+                            stack.append(True)
+                        else:
+                            stack.append(False)
+                    except Exception:
+                        stack.append(False)
 
-            elif op_name == "VERIFY_SIGNATURE":
-                if len(stack) >= 3:
-                    pk = stack.pop(); msg = stack.pop(); sig = stack.pop()
-                    verify_fn = self.builtins.get("verify_sig") or self.env.get("verify_sig")
-                    if verify_fn:
-                        res = await self._invoke_callable_or_funcdesc(verify_fn, [sig, msg, pk])
-                        stack.append(res)
+                elif op_name == "DEFINE_SCREEN":
+                    if isinstance(operand, (list, tuple)) and len(operand) >= 2:
+                        name = const(operand[0])
+                        props = const(operand[1])
                     else:
-                        # Fallback for testing
-                        expected = hashlib.sha256(str(msg).encode()).hexdigest()
-                        stack.append(sig == expected)
-                else:
-                    stack.append(False)
-
-            elif op_name == "MERKLE_ROOT":
-                leaf_count = operand if operand is not None else 0
-                if leaf_count <= 0:
-                    stack.append("")
-                else:
-                    leaves = [stack.pop() for _ in range(leaf_count)][::-1] if len(stack) >= leaf_count else []
-                    hashes = []
-                    for leaf in leaves:
-                        if isinstance(leaf, dict):
-                            import json; leaf = json.dumps(leaf, sort_keys=True)
-                        if not isinstance(leaf, (str, bytes)): leaf = str(leaf)
-                        if isinstance(leaf, str): leaf = leaf.encode('utf-8')
-                        hashes.append(hashlib.sha256(leaf).hexdigest())
-                    
-                    while len(hashes) > 1:
-                        if len(hashes) % 2 != 0: hashes.append(hashes[-1])
-                        new_hashes = []
-                        for i in range(0, len(hashes), 2):
-                            combined = (hashes[i] + hashes[i+1]).encode('utf-8')
-                            new_hashes.append(hashlib.sha256(combined).hexdigest())
-                        hashes = new_hashes
-                    stack.append(hashes[0] if hashes else "")
-
-            elif op_name == "STATE_READ":
-                if operand is None:
-                    key = _unwrap(stack.pop() if stack else None)
-                else:
-                    key = const(operand)
-                stack.append(self.env.setdefault("_blockchain_state", {}).get(key))
-
-            elif op_name == "STATE_WRITE":
-                val = _unwrap(stack.pop() if stack else None)
-                if operand is None:
-                    key = _unwrap(stack.pop() if stack else None)
-                else:
-                    key = const(operand)
-                if self.env.get("_in_transaction", False):
-                    self.env.setdefault("_tx_pending_state", {})[key] = val
-                else:
-                    self.env.setdefault("_blockchain_state", {})[key] = val
-
-            elif op_name == "TX_BEGIN":
-                self.env["_in_transaction"] = True
-                self.env["_tx_pending_state"] = {}
-                self.env["_tx_snapshot"] = dict(self.env.get("_blockchain_state", {}))
-                if self.use_memory_manager: self.env["_tx_memory_snapshot"] = dict(self._managed_objects)
+                        props = stack.pop() if stack else None
+                        name = stack.pop() if stack else None
+                    if _BACKEND_AVAILABLE:
+                        _BACKEND.define_screen(name, props)
+                    else:
+                        key = _unwrap(name)
+                        self.env.setdefault("screens", {})[key] = props
 
-            elif op_name == "TX_COMMIT":
-                if self.env.get("_in_transaction", False):
-                    self.env.setdefault("_blockchain_state", {}).update(self.env.get("_tx_pending_state", {}))
-                    self.env["_in_transaction"] = False
-                    self.env["_tx_pending_state"] = {}
-                    if "_tx_memory_snapshot" in self.env: del self.env["_tx_memory_snapshot"]
+                elif op_name == "DEFINE_COMPONENT":
+                    if isinstance(operand, (list, tuple)) and len(operand) >= 2:
+                        name = const(operand[0])
+                        props = const(operand[1])
+                    else:
+                        props = stack.pop() if stack else None
+                        name = stack.pop() if stack else None
+                    if _BACKEND_AVAILABLE:
+                        _BACKEND.define_component(name, props)
+                    else:
+                        key = _unwrap(name)
+                        self.env.setdefault("components", {})[key] = props
 
-            elif op_name == "TX_REVERT":
-                if self.env.get("_in_transaction", False):
-                    self.env["_blockchain_state"] = dict(self.env.get("_tx_snapshot", {}))
-                    self.env["_in_transaction"] = False
+                elif op_name == "DEFINE_THEME":
+                    if isinstance(operand, (list, tuple)) and len(operand) >= 2:
+                        name = const(operand[0])
+                        props = const(operand[1])
+                    else:
+                        props = stack.pop() if stack else None
+                        name = stack.pop() if stack else None
+                    key = _unwrap(name)
+                    self.env.setdefault("themes", {})[key] = props
+    
+                elif op_name == "DEFINE_ENUM":
+                    enum_name = _unwrap(const(operand[0]))
+                    enum_map = const(operand[1])
+                    self.env.setdefault("enums", {})[enum_name] = enum_map
+                    self.env[enum_name] = enum_map
+                    self._bump_env_version(enum_name, enum_map)
+
+                elif op_name == "DEFINE_PROTOCOL":
+                    proto_name = _unwrap(const(operand[0]))
+                    proto_spec = const(operand[1])
+                    self.env.setdefault("protocols", {})[proto_name] = proto_spec
+                    self.env[proto_name] = proto_spec
+                    self._bump_env_version(proto_name, proto_spec)
+    
+                elif op_name == "ASSERT_PROTOCOL":
+                    obj_name = const(operand[0])
+                    spec = const(operand[1])
+                    obj = self.env.get(obj_name)
+                    ok = True
+                    missing = []
+                    for m in spec.get("methods", []):
+                        if not hasattr(obj, m):
+                            ok = False; missing.append(m)
+                    stack.append((ok, missing))
+    
+                # --- Blockchain Specific Opcodes ---
+                
+                elif op_name == "HASH_BLOCK":
+                    block_data = stack.pop() if stack else ""
+                    if isinstance(block_data, dict):
+                        import json; block_data = json.dumps(block_data, sort_keys=True)
+                    if not isinstance(block_data, (bytes, str)): block_data = str(block_data)
+                    if isinstance(block_data, str): block_data = block_data.encode('utf-8')
+                    try:
+                        from Crypto.Hash import keccak as _keccak_mod
+                        h = _keccak_mod.new(digest_bits=256, data=block_data)
+                        stack.append(h.hexdigest())
+                    except ImportError:
+                        stack.append(hashlib.sha256(block_data).hexdigest())
+    
+                elif op_name == "VERIFY_SIGNATURE":
+                    if len(stack) >= 3:
+                        pk = stack.pop(); msg = stack.pop(); sig = stack.pop()
+                        verify_fn = self.builtins.get("verify_sig") or self.env.get("verify_sig")
+                        if verify_fn:
+                            res = await self._invoke_callable_or_funcdesc(verify_fn, [sig, msg, pk])
+                            stack.append(res)
+                        else:
+                            # Use real CryptoPlugin verification when available.
+                            # No SHA-256 fallback — forging a SHA-256 hash is trivial.
+                            try:
+                                from ..blockchain.crypto import CryptoPlugin
+                                sig_str = sig.value if hasattr(sig, 'value') else str(sig)
+                                msg_str = msg.value if hasattr(msg, 'value') else str(msg)
+                                pk_str = pk.value if hasattr(pk, 'value') else str(pk)
+                                stack.append(CryptoPlugin.verify_signature(msg_str, sig_str, pk_str))
+                            except ImportError:
+                                # CryptoPlugin unavailable — always reject
+                                stack.append(False)
+                    else:
+                        stack.append(False)
+    
+                elif op_name == "MERKLE_ROOT":
+                    leaf_count = operand if operand is not None else 0
+                    if leaf_count <= 0 or len(stack) < leaf_count:
+                        stack.append("")
+                    else:
+                        leaves = [stack.pop() for _ in range(leaf_count)][::-1] if len(stack) >= leaf_count else []
+                        hashes = []
+                        for leaf in leaves:
+                            if isinstance(leaf, dict):
+                                import json; leaf = json.dumps(leaf, sort_keys=True)
+                            if not isinstance(leaf, (str, bytes)): leaf = str(leaf)
+                            if isinstance(leaf, str): leaf = leaf.encode('utf-8')
+                            hashes.append(hashlib.sha256(leaf).hexdigest())
+                        
+                        while len(hashes) > 1:
+                            if len(hashes) % 2 != 0: hashes.append(hashes[-1])
+                            new_hashes = []
+                            for i in range(0, len(hashes), 2):
+                                combined = (hashes[i] + hashes[i+1]).encode('utf-8')
+                                new_hashes.append(hashlib.sha256(combined).hexdigest())
+                            hashes = new_hashes
+                        stack.append(hashes[0] if hashes else "")
+    
+                elif op_name == "STATE_READ":
+                    if operand is None:
+                        key = _unwrap(stack.pop() if stack else None)
+                    else:
+                        key = const(operand)
+                    stack.append(self.env.setdefault("_blockchain_state", {}).get(key))
+    
+                elif op_name == "STATE_WRITE":
+                    val = _unwrap(stack.pop() if stack else None)
+                    if operand is None:
+                        key = _unwrap(stack.pop() if stack else None)
+                    else:
+                        key = const(operand)
+                    if self.env.get("_in_transaction", False):
+                        self.env.setdefault("_tx_pending_state", {})[key] = val
+                    else:
+                        self.env.setdefault("_blockchain_state", {})[key] = val
+    
+                elif op_name == "TX_BEGIN":
+                    # Support nested transactions via a stack
+                    tx_stack = self.env.setdefault("_tx_stack", [])
+                    tx_stack.append({
+                        "snapshot": dict(self.env.get("_blockchain_state", {})),
+                        "pending": dict(self.env.get("_tx_pending_state", {})),
+                    })
+                    self.env["_in_transaction"] = True
                     self.env["_tx_pending_state"] = {}
-                    if self.use_memory_manager and "_tx_memory_snapshot" in self.env:
-                        self._managed_objects = dict(self.env["_tx_memory_snapshot"])
-
-            elif op_name == "GAS_CHARGE":
-                amount = operand if operand is not None else 0
-                current = self.env.get("_gas_remaining", float('inf'))
-                if current != float('inf'):
-                    new_gas = current - amount
-                    if new_gas < 0:
-                        # Revert if in TX
+                    self.env["_tx_snapshot"] = dict(self.env.get("_blockchain_state", {}))
+                    if self.use_memory_manager: self.env["_tx_memory_snapshot"] = dict(self._managed_objects)
+
+                elif op_name == "SETUP_TRY":
+                    handler = int(operand) if operand is not None else ip
+                    try_stack.append(handler)
+
+                elif op_name == "POP_TRY":
+                    if try_stack:
+                        try_stack.pop()
+
+                elif op_name == "THROW":
+                    exc = stack.pop() if stack else None
+                    if try_stack:
+                        handler = try_stack.pop()
+                        stack.append(exc)
+                        ip = handler
+                    else:
+                        msg = exc.value if hasattr(exc, "value") else exc
+                        raise ZEvaluationError(str(msg))
+    
+                elif op_name == "TX_COMMIT":
+                    if self.env.get("_in_transaction", False):
+                        self.env.setdefault("_blockchain_state", {}).update(self.env.get("_tx_pending_state", {}))
+                        self.env["_tx_pending_state"] = {}
+                        self.env.pop("_tx_snapshot", None)
+                        if "_tx_memory_snapshot" in self.env: del self.env["_tx_memory_snapshot"]
+                        # Restore outer TX context if nested
+                        tx_stack = self.env.get("_tx_stack", [])
+                        if tx_stack:
+                            tx_stack.pop()
+                        self.env["_in_transaction"] = bool(tx_stack)
+    
+                elif op_name == "TX_REVERT":
+                    if self.env.get("_in_transaction", False):
+                        self.env["_blockchain_state"] = dict(self.env.get("_tx_snapshot", {}))
+                        self.env["_tx_pending_state"] = {}
+                        self.env.pop("_tx_snapshot", None)
+                        if self.use_memory_manager and "_tx_memory_snapshot" in self.env:
+                            self._managed_objects = dict(self.env["_tx_memory_snapshot"])
+                            del self.env["_tx_memory_snapshot"]
+                        # Restore outer TX context if nested
+                        tx_stack = self.env.get("_tx_stack", [])
+                        if tx_stack:
+                            outer = tx_stack.pop()
+                            if tx_stack:
+                                self.env["_tx_snapshot"] = outer["snapshot"]
+                                self.env["_tx_pending_state"] = outer["pending"]
+                        self.env["_in_transaction"] = bool(self.env.get("_tx_stack", []))
+    
+                elif op_name == "ENABLE_ERROR_MODE":
+                    self.env["_continue_on_error"] = True
+                    if self.debug: print("[VM] Error Recovery Mode ENABLED")
+    
+                elif op_name == "GAS_CHARGE":
+                    amount = operand if operand is not None else 0
+                    # Delegate to the unified GasMetering system when available
+                    if self.gas_metering is not None:
+                        if not self.gas_metering.consume("GAS_CHARGE", amount=amount):
+                            if self.env.get("_in_transaction", False):
+                                self.env["_blockchain_state"] = dict(self.env.get("_tx_snapshot", {}))
+                                self.env["_in_transaction"] = False
+                                self.env.pop("_tx_snapshot", None)
+                            raise OutOfGasError(
+                                self.gas_metering.gas_used,
+                                self.gas_metering.gas_limit,
+                                "GAS_CHARGE"
+                            )
+                        # Sync env-based counter for backward compat
+                        if "_gas_remaining" in self.env:
+                            self.env["_gas_remaining"] = max(0, self.env["_gas_remaining"] - amount)
+                    else:
+                        # Fallback to env-based tracking when no GasMetering
+                        current = self.env.get("_gas_remaining", float('inf'))
+                        if current != float('inf'):
+                            new_gas = current - amount
+                            if new_gas < 0:
+                                if self.env.get("_in_transaction", False):
+                                    self.env["_blockchain_state"] = dict(self.env.get("_tx_snapshot", {}))
+                                    self.env["_in_transaction"] = False
+                                raise ZEvaluationError(
+                                    f"Out of gas: required {amount}, remaining {current}")
+                            self.env["_gas_remaining"] = new_gas
+    
+                elif op_name == "REQUIRE":
+                    message = stack.pop() if stack else "Requirement failed"
+                    if hasattr(message, 'value'): message = message.value
+                    condition = stack.pop() if stack else False
+                    cond_val = condition.value if hasattr(condition, 'value') else condition
+                    
+                    if not cond_val:
                         if self.env.get("_in_transaction", False):
                             self.env["_blockchain_state"] = dict(self.env.get("_tx_snapshot", {}))
                             self.env["_in_transaction"] = False
-                        stack.append({"error": "OutOfGas", "required": amount, "remaining": current})
-                        return stack[-1]
-                    self.env["_gas_remaining"] = new_gas
-
-            elif op_name == "LEDGER_APPEND":
-                entry = stack.pop() if stack else None
-                if isinstance(entry, dict) and "timestamp" not in entry:
-                    entry["timestamp"] = time.time()
-                self.env.setdefault("_ledger", []).append(entry)
-
-            else:
-                if debug: print(f"[VM] Unknown Opcode: {op}")
-
-            # Record instruction timing (if profiling enabled)
-            if instr_start_time is not None and self.profiler:
-                elapsed = time.perf_counter() - instr_start_time
-                self.profiler.measure_instruction(ip, elapsed)
+                            self.env["_tx_pending_state"] = {}
+                            self.env.pop("_tx_snapshot", None)
+                            self.env.pop("_tx_memory_snapshot", None)
+                            # Clean up TX stack
+                            tx_stack = self.env.get("_tx_stack", [])
+                            if tx_stack: tx_stack.pop()
+                            self.env["_in_transaction"] = bool(tx_stack)
+                        raise ZEvaluationError(f"Requirement failed: {message}")
+    
+                elif op_name == "DEFINE_CONTRACT":
+                    contract_obj = self._build_smart_contract(
+                        operand, stack, lambda: stack.pop() if stack else None,
+                        lambda idx: consts[idx] if isinstance(idx, int) and 0 <= idx < len(consts) else idx,
+                        self.env
+                    )
+                    stack.append(contract_obj)
+    
+                elif op_name == "DEFINE_ENTITY":
+                    member_count = operand
+                    members = {}
+                    for _ in range(member_count):
+                        key_obj = stack.pop() if stack else None
+                        val_obj = stack.pop() if stack else None
+                        key_str = key_obj.value if hasattr(key_obj, 'value') else str(key_obj)
+                        members[key_str] = val_obj
+                    
+                    name_obj = stack.pop() if stack else None
+                    # Create Entity (using Map for now, can be specialized Entity class later)
+                    members['_type'] = 'entity'
+                    members['_name'] = name_obj.value if hasattr(name_obj, 'value') else str(name_obj)
+                    stack.append(ZMap(members))
+    
+                elif op_name == "DEFINE_CAPABILITY":
+                    name = stack.pop() if stack else None
+                    definition = stack.pop() if stack else {}
+                    if hasattr(name, 'value'): name = name.value
+                    self.env.setdefault("_capabilities", {})[name] = definition
+    
+                elif op_name == "GRANT_CAPABILITY":
+                    count = operand
+                    caps = [stack.pop() for _ in range(count)][::-1]
+                    entity_name = stack.pop() if stack else None
+                    if hasattr(entity_name, 'value'): entity_name = entity_name.value
+                    
+                    grants = self.env.setdefault("_grants", {})
+                    entity_grants = grants.setdefault(entity_name, set())
+                    
+                    for cap in caps:
+                        c_val = cap.value if hasattr(cap, 'value') else str(cap)
+                        entity_grants.add(c_val)
+    
+                elif op_name == "REVOKE_CAPABILITY":
+                    count = operand
+                    caps = [stack.pop() for _ in range(count)][::-1]
+                    entity_name = stack.pop() if stack else None
+                    if hasattr(entity_name, 'value'): entity_name = entity_name.value
+                    
+                    if "_grants" in self.env and entity_name in self.env["_grants"]:
+                        entity_grants = self.env["_grants"][entity_name]
+                        for cap in caps:
+                            c_val = cap.value if hasattr(cap, 'value') else str(cap)
+                            if c_val in entity_grants:
+                                entity_grants.remove(c_val)
+    
+                elif op_name == "AUDIT_LOG":
+                    ts = stack_pop()
+                    action = stack_pop()
+                    data = stack_pop()
+                    # Unwrap
+                    ts = ts.value if hasattr(ts, 'value') else ts
+                    action = action.value if hasattr(action, 'value') else action
+                    data = data.value if hasattr(data, 'value') else data
+                    
+                    entry = {"timestamp": ts, "action": action, "data": data}
+                    self.env.setdefault("_audit_log", []).append(entry)
+                    if self.debug: print(f"[AUDIT] {entry}")
+    
+                elif op_name == "RESTRICT_ACCESS":
+                    restriction = stack_pop()
+                    prop = stack_pop()
+                    obj = stack_pop()
+
+                    # Enforce access restrictions for smart contract actions.
+                    # ``restriction`` can be:
+                    #   - a string like "owner_only" — compared against TX.caller
+                    #   - a list of allowed addresses
+                    #   - a callable predicate
+                    r_key = f"{obj}.{prop}" if prop else str(obj)
+                    self.env.setdefault("_restrictions", {})[r_key] = restriction
+
+                    # Real enforcement: check if the current caller matches
+                    caller = None
+                    tx_obj = self.env.get("TX")
+                    if tx_obj is not None:
+                        if hasattr(tx_obj, 'get'):
+                            caller_val = tx_obj.get(ZString("caller")) if hasattr(tx_obj, 'get') else None
+                            if caller_val is not None:
+                                caller = caller_val.value if hasattr(caller_val, 'value') else str(caller_val)
+
+                    restriction_val = restriction.value if hasattr(restriction, 'value') else restriction
+                    if isinstance(restriction_val, str) and restriction_val == "owner_only":
+                        owner = self.env.get("owner")
+                        if owner is not None:
+                            owner_val = owner.value if hasattr(owner, 'value') else str(owner)
+                            if caller and caller != owner_val:
+                                raise ZEvaluationError(
+                                    f"Access denied: '{r_key}' restricted to owner only"
+                                )
+                    elif isinstance(restriction_val, (list, tuple)):
+                        allowed = [a.value if hasattr(a, 'value') else str(a) for a in restriction_val]
+                        if caller and caller not in allowed:
+                            raise ZEvaluationError(
+                                f"Access denied: '{r_key}' restricted to allowed addresses"
+                            )
+    
+                elif op_name == "LEDGER_APPEND":
+                    entry = stack.pop() if stack else None
+                    if isinstance(entry, dict) and "timestamp" not in entry:
+                        entry["timestamp"] = time.time()
+                    self.env.setdefault("_ledger", []).append(entry)
+
+                elif op_name in ("PARALLEL_START", "PARALLEL_END"):
+                    # Marker ops for parallel execution - no-op in stack VM
+                    pass
+    
+                else:
+                    if debug: print(f"[VM] Unknown Opcode: {op}")
+    
+                # Record instruction timing (if profiling enabled)
+                if instr_start_time is not None and self.profiler:
+                    elapsed = time.perf_counter() - instr_start_time
+                    self.profiler.measure_instruction(current_ip, elapsed)
+            except Exception as e:
+                if self.env.get("_continue_on_error", False):
+                    # Error Recovery Mode
+                    if debug: print(f"[VM ERROR RECOVERY] {e}")
+                    self.env.setdefault("_errors", []).append(str(e))
+                else:
+                    raise
 
         if profile_ops and opcode_counts is not None:
             self._last_opcode_profile = sorted(opcode_counts.items(), key=lambda item: item[1], reverse=True)
@@ -1701,19 +4649,21 @@ class VM:
             
             local_env = {k: v for k, v in zip(params, args)}
             
-            inner_vm = VM(
-                builtins=self.builtins, 
-                env=local_env, 
-                parent_env=parent_env,
-                # Inherit configuration
-                use_jit=self.use_jit,
-                use_memory_manager=self.use_memory_manager
+            inner_vm = VM.create_child(
+                parent_vm=parent_env if isinstance(parent_env, VM) else self,
+                env=local_env
             )
+            if not isinstance(parent_env, VM):
+                 inner_vm._parent_env = parent_env
+            
             snapshot = fn.get("closure_snapshot")
             if snapshot:
                 for key, value in snapshot.items():
                     inner_vm._closure_cells[key] = Cell(value)
-            return await inner_vm._run_stack_bytecode(func_bc, debug=False)
+            try:
+                return await inner_vm._run_stack_bytecode(func_bc, debug=False)
+            finally:
+                self._return_vm_to_pool(inner_vm)
         
         # 2. Python Callable / Builtin Wrapper
         return await self._call_builtin_async_obj(fn, args)
@@ -1738,6 +4688,50 @@ class VM:
             
             # Extract .fn if it's a wrapper
             real_fn = fn_obj.fn if hasattr(fn_obj, "fn") else fn_obj
+
+            # Execute Zexus Action/LambdaFunction via VM if possible, fallback to evaluator
+            try:
+                ZAction, ZLambda = _get_action_types()
+                if ZAction is not None and isinstance(real_fn, (ZAction, ZLambda)):
+                    # Try to compile to bytecode and execute in VM (fast path)
+                    action_bytecode = None
+                    try:
+                        if hasattr(real_fn, '_cached_bytecode'):
+                            action_bytecode = real_fn._cached_bytecode
+                        else:
+                            from ..evaluator.bytecode_compiler import EvaluatorBytecodeCompiler
+                            compiler = EvaluatorBytecodeCompiler(use_cache=False)
+                            action_bytecode = compiler.compile(real_fn.body, optimize=True)
+                            if action_bytecode and not compiler.errors:
+                                real_fn._cached_bytecode = action_bytecode
+                    except Exception:
+                        action_bytecode = None
+                    
+                    if action_bytecode:
+                        # Execute via VM (fast)
+                        call_args = [self._wrap_for_builtin(arg) for arg in args] if wrap_args else list(args)
+                        params = real_fn.parameters if hasattr(real_fn, 'parameters') else []
+                        local_env = {k.value if hasattr(k, 'value') else k: v for k, v in zip(params, call_args)}
+                        inner_vm = VM.create_child(parent_vm=self, env=local_env)
+                        try:
+                            result = inner_vm._run_stack_bytecode_sync(action_bytecode, debug=False)
+                        finally:
+                            self._return_vm_to_pool(inner_vm)
+                        return self._unwrap_after_builtin(result)
+                    else:
+                        # Fallback to interpreter (slow)
+                        from ..evaluator.core import Evaluator
+                        if self._action_evaluator is None:
+                            self._action_evaluator = Evaluator(use_vm=False)
+                        call_args = [self._wrap_for_builtin(arg) for arg in args] if wrap_args else list(args)
+                        result = self._action_evaluator.apply_function(real_fn, call_args)
+                        trace_errors = os.environ.get("ZEXUS_VM_TRACE_ERRORS")
+                        if trace_errors and trace_errors.lower() not in ("0", "false", "off"):
+                            if isinstance(result, ZEvaluationError):
+                                print(f"[VM TRACE] action error: {result.message}")
+                        return self._unwrap_after_builtin(result)
+            except Exception:
+                pass
             
             if not callable(real_fn): return real_fn
             
@@ -1748,11 +4742,18 @@ class VM:
                 fn_name = getattr(fn_obj, "name", getattr(real_fn, "__name__", "<callable>"))
                 print(f"[VM DEBUG] calling builtin {fn_name} args={[type(a).__name__ for a in call_args]}")
             res = real_fn(*call_args)
+            trace_errors = os.environ.get("ZEXUS_VM_TRACE_ERRORS")
+            if trace_errors and trace_errors.lower() not in ("0", "false", "off"):
+                if isinstance(res, ZEvaluationError):
+                    print(f"[VM TRACE] builtin error: {res.message}")
             if verbose_active and res is None:
                 fn_name = getattr(fn_obj, "name", getattr(real_fn, "__name__", "<callable>"))
                 print(f"[VM DEBUG] builtin {fn_name} returned None args={call_args}")
             if asyncio.iscoroutine(res) or isinstance(res, asyncio.Future):
-                res = await res
+                if self.async_optimizer:
+                    res = await self.async_optimizer.await_optimized(res)
+                else:
+                    res = await res
             return self._unwrap_after_builtin(res)
         except Exception as e:
             return e
@@ -1782,7 +4783,7 @@ class VM:
         results = {'iterations': iterations, 'modes': {}}
         
         # Stack
-        def run_stack(): return asyncio.run(self._execute_stack(bytecode))
+        def run_stack(): return self._run_coroutine_sync(self._execute_stack(bytecode))
         t_stack = timeit.timeit(run_stack, number=iterations)
         stack_avg = t_stack / iterations if iterations else 0.0
         results['modes']['stack'] = {'total': t_stack, 'avg': stack_avg}