From fa651af3c339faba6a825cfd38bd6bd1cf372850 Mon Sep 17 00:00:00 2001 From: bQUARKz Date: Fri, 20 Feb 2026 05:06:00 +0000 Subject: [PATCH] clean up --- crates/console/prometeu-vm/src/verifier.rs | 3 +-- crates/console/prometeu-vm/src/virtual_machine.rs | 4 +--- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/crates/console/prometeu-vm/src/verifier.rs b/crates/console/prometeu-vm/src/verifier.rs index 98961c1b..83cbf979 100644 --- a/crates/console/prometeu-vm/src/verifier.rs +++ b/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 { diff --git a/crates/console/prometeu-vm/src/virtual_machine.rs b/crates/console/prometeu-vm/src/virtual_machine.rs index ac4cbef6..87c94202 100644 --- a/crates/console/prometeu-vm/src/virtual_machine.rs +++ b/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, } }