clean up

crates/console/prometeu-vm/src/verifier.rs

@@ -204,7 +204,7 @@ impl Verifier {
                 }
 
                 if target_rel == func_len {
-                    // salto para o fim da função
+                    // jump to the end of function
                     if out_height != func.return_slots {
                         return Err(VerifierError::BadRetStackHeight {
                             pc: func_start + pc,
@@ -212,7 +212,6 @@ impl Verifier {
                             expected: func.return_slots,
                         });
                     }
-                    // caminho termina aqui
                 } else {
                     if !valid_pc.contains(&target_rel) {
                         return Err(VerifierError::JumpToMidInstruction {

crates/console/prometeu-vm/src/virtual_machine.rs

@@ -113,9 +113,7 @@ impl VirtualMachine {
             breakpoints: std::collections::HashSet::new(),
             gc_alloc_threshold: 1024, // conservative default; tests may override
             last_gc_live_count: 0,
-            // Default to all capabilities allowed for backward compatibility.
-            // Tests can narrow this via `set_capabilities`.
-            capabilities: u64::MAX,
+            capabilities: 0,
         }
     }