fix(abi): handle imports in leo abi (#29437)

`leo abi` on a `.aleo` file that declares imports now loads each dependency
from a sibling `imports/` directory (or `--imports-dir`) before disassembling.
With `-o DIR`, every ABI (main and deps) is written to `<DIR>/<name>.abi.json`.
Network builtins like `credits.aleo` are picked up from the snarkVM `Process`
and don't need to be on disk.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

Author: 2 people

crates/abi/src/aleo.rs

@@ -177,7 +177,7 @@ mod tests {
 
     const SIMPLE_ALEO: &str = include_str!("../../../tests/tests/cli/test_abi_from_aleo/contents/simple.aleo");
     const SIMPLE_ABI: &str =
-        include_str!("../../../tests/expectations/cli/test_abi_from_aleo/contents/simple.abi.json");
+        include_str!("../../../tests/expectations/cli/test_abi_from_aleo/contents/simple_out/simple.aleo.abi.json");
 
     #[test]
     fn generate_from_bytecode_matches_existing_cli_fixture() {

crates/disassembler/src/lib.rs

@@ -125,8 +125,21 @@ pub fn disassemble_from_str<N: Network>(
     process: &mut snarkvm::prelude::Process<N>,
 ) -> Result<AleoProgram, LeoError> {
     let p = Program::<N>::from_str(program).map_err(|_| crate::errors::snarkvm_parsing_error(&name))?;
-    process.add_program(&p).map_err(|e| crate::errors::snarkvm_validation_error(&name, e))?;
-    Ok(disassemble(p))
+    validate_and_disassemble(name, p, process)
+}
+
+/// Validate `program` via `process.add_program` and disassemble. Same `add_program + disassemble` tail as
+/// `disassemble_from_str`, but accepts an already-parsed `Program` so callers that need to peek at imports first
+/// (to build a topological load order, say) don't pay for a re-parse. `process` must already have all of
+/// `program`'s declared imports loaded.
+#[cfg(not(target_arch = "wasm32"))]
+pub fn validate_and_disassemble<N: Network>(
+    name: impl fmt::Display,
+    program: Program<N>,
+    process: &mut snarkvm::prelude::Process<N>,
+) -> Result<AleoProgram, LeoError> {
+    process.add_program(&program).map_err(|e| crate::errors::snarkvm_validation_error(&name, e))?;
+    Ok(disassemble(program))
 }
 
 /// Disassembles Aleo bytecode using the snarkVM network selected by `network`.