diff --git a/build/program.disasm.txt b/build/program.disasm.txt
deleted file mode 100644
index 99dc1644..00000000
--- a/build/program.disasm.txt
+++ /dev/null
@@ -1,17 +0,0 @@
-00000000  Call U32(18) U32(0)
-0000000A  FrameSync 
-0000000C  Jmp U32(0)
-00000012  PushI32 U32(1) ; test_supported.ts:2
-00000018  SetLocal U32(0) ; test_supported.ts:2
-0000001E  GetLocal U32(0) ; test_supported.ts:3
-00000024  PushI32 U32(10) ; test_supported.ts:3
-0000002A  Lt  ; test_supported.ts:3
-0000002C  JmpIfFalse U32(80) ; test_supported.ts:3
-00000032  GetLocal U32(0) ; test_supported.ts:4
-00000038  PushI32 U32(1) ; test_supported.ts:4
-0000003E  Add  ; test_supported.ts:4
-00000040  Dup  ; test_supported.ts:4
-00000042  SetLocal U32(0) ; test_supported.ts:4
-00000048  Pop  ; test_supported.ts:4
-0000004A  Jmp U32(80)
-00000050  Ret 
diff --git a/build/program.pbc b/build/program.pbc
deleted file mode 100644
index 49db59a3..00000000
Binary files a/build/program.pbc and /dev/null differ
diff --git a/build/symbols.json b/build/symbols.json
deleted file mode 100644
index 9d066842..00000000
--- a/build/symbols.json
+++ /dev/null
@@ -1,74 +0,0 @@
-[
-  {
-    "pc": 18,
-    "file": "test_supported.ts",
-    "line": 2,
-    "col": 13
-  },
-  {
-    "pc": 24,
-    "file": "test_supported.ts",
-    "line": 2,
-    "col": 9
-  },
-  {
-    "pc": 30,
-    "file": "test_supported.ts",
-    "line": 3,
-    "col": 9
-  },
-  {
-    "pc": 36,
-    "file": "test_supported.ts",
-    "line": 3,
-    "col": 13
-  },
-  {
-    "pc": 42,
-    "file": "test_supported.ts",
-    "line": 3,
-    "col": 9
-  },
-  {
-    "pc": 44,
-    "file": "test_supported.ts",
-    "line": 3,
-    "col": 5
-  },
-  {
-    "pc": 50,
-    "file": "test_supported.ts",
-    "line": 4,
-    "col": 13
-  },
-  {
-    "pc": 56,
-    "file": "test_supported.ts",
-    "line": 4,
-    "col": 17
-  },
-  {
-    "pc": 62,
-    "file": "test_supported.ts",
-    "line": 4,
-    "col": 13
-  },
-  {
-    "pc": 64,
-    "file": "test_supported.ts",
-    "line": 4,
-    "col": 9
-  },
-  {
-    "pc": 66,
-    "file": "test_supported.ts",
-    "line": 4,
-    "col": 9
-  },
-  {
-    "pc": 72,
-    "file": "test_supported.ts",
-    "line": 4,
-    "col": 9
-  }
-]
\ No newline at end of file
diff --git a/crates/console/prometeu-bytecode/src/lib.rs b/crates/console/prometeu-bytecode/src/lib.rs
index 152016e1..9467ef9d 100644
--- a/crates/console/prometeu-bytecode/src/lib.rs
+++ b/crates/console/prometeu-bytecode/src/lib.rs
@@ -15,7 +15,5 @@ pub use abi::{
 pub use decoder::{decode_next, DecodeError};
 pub use layout::{compute_function_layouts, FunctionLayout};
 pub use model::{BytecodeLoader, FunctionMeta, LoadError};
-pub use opcode::OpCode;
-pub use opcode_spec::OpCodeSpecExt;
 pub use program_image::ProgramImage;
 pub use value::Value;
diff --git a/crates/console/prometeu-vm/src/verifier.rs b/crates/console/prometeu-vm/src/verifier.rs
index a2f8de6f..d43678f6 100644
--- a/crates/console/prometeu-vm/src/verifier.rs
+++ b/crates/console/prometeu-vm/src/verifier.rs
@@ -1,6 +1,6 @@
 use prometeu_bytecode::FunctionMeta;
-use prometeu_bytecode::OpCode;
-use prometeu_bytecode::OpCodeSpecExt;
+use prometeu_bytecode::isa::core::CoreOpCode as OpCode;
+use prometeu_bytecode::isa::core::CoreOpCodeSpecExt as OpCodeSpecExt;
 use prometeu_bytecode::{DecodeError, decode_next};
 use prometeu_bytecode::{FunctionLayout, compute_function_layouts};
 use prometeu_hal::syscalls::Syscall;
diff --git a/crates/console/prometeu-vm/src/virtual_machine.rs b/crates/console/prometeu-vm/src/virtual_machine.rs
index 9154b25b..42164bac 100644
--- a/crates/console/prometeu-vm/src/virtual_machine.rs
+++ b/crates/console/prometeu-vm/src/virtual_machine.rs
@@ -3,7 +3,7 @@ use crate::scope_frame::ScopeFrame;
 use crate::verifier::Verifier;
 use crate::vm_init_error::VmInitError;
 use crate::{HostContext, NativeInterface};
-use prometeu_bytecode::OpCode;
+use prometeu_bytecode::isa::core::CoreOpCode as OpCode;
 use prometeu_bytecode::ProgramImage;
 use prometeu_bytecode::Value;
 use prometeu_bytecode::{
diff --git a/files/TODOs.md b/files/TODOs.md
index baca997e..9da9607c 100644
--- a/files/TODOs.md
+++ b/files/TODOs.md
@@ -1,32 +1,3 @@
-# PR-1.5 — Bytecode Module Pruning (Delete Unused/Experimental Modules)
-
-### Briefing
-
-The bytecode crate should be minimal. Anything experimental, unused, or legacy should be removed to reduce mental load.
-
-### Target
-
-* Delete unused bytecode modules.
-* Keep only essential components for: encoding/decoding, layout, disasm, and data structures required by spec.
-
-### Work items
-
-* Remove unused files/modules identified in PR-1.1 map.
-* Update `mod.rs` trees and public exports.
-* Ensure no downstream crate relies on removed exports; if they do, fix the downstream usage **by deleting legacy use**, not by keeping legacy APIs.
-
-### Acceptance checklist
-
-* [ ] Unused modules are deleted and no longer referenced.
-* [ ] Public API surface is smaller and cleaner.
-* [ ] `cargo test` passes.
-
-### Tests
-
-* Existing tests only.
-
----
-
 # PR-1.6 — Canonical Function Boundaries & `FRAME_SYNC` Placement (Bytecode Layout)
 
 ### Briefing