movy integration updates

Author: wtdcode

.gitignore

@@ -9,4 +9,5 @@ flamegraph.svg
 target
 vault
 dataset
-.z3-trace
+*.zstd
+.z3-trace

Cargo.lock

@@ -61,17 +61,11 @@ petgraph = "0.8"
 glob = "0.3.3"
 tonic = "0.14"
 url = "2.5.7"
-knowdit-repo-model = "0.3"
 
-# Sui dependencies
-# The fork crates have TWO interchangeable sources. Exactly ONE block must be active.
-#  (A) git block  — DEFAULT. Self-contained: normal/CI builds and `cargo test -p movy-fork-tests`
-#      run against the pushed wtdcode/sui branch. CI only checks out this repo, so this must stay
-#      the committed default (the path block below needs ../sui present and would break CI).
-#  (B) ../sui path block — opt-in for testing the LOCAL ./sui checkout BEFORE pushing an upgrade.
-#      Comment (A) and uncomment (B) locally, run the gate, then switch back before committing.
-# The two blocks list the SAME crates with the SAME features, so toggling never changes behavior.
-# See crates/movy-fork-tests/FORK_TESTS.md.
+
+# knowdit-repo-model = { path = "../knowdit/crates/knowdit-repo-model", version = "0.4" }
+knowdit-repo-model = "0.6"
+
 
 # (A) git block — ACTIVE (default):
 move-binary-format = {git = "https://github.com/wtdcode/sui", branch = "v1.65.2-fuzz"}

Cargo.toml

@@ -31,7 +31,7 @@ pub fn load_call_graph(package_root: &Path, test_mode: bool) -> Result<CallGraph
     let mut pending_calls = BTreeMap::<MoveFunctionKey, BTreeSet<PendingCall>>::new();
 
     for root in &search_roots {
-        let package = SuiCompiledPackage::build_checked(root, test_mode, false, true)?;
+        let package = SuiCompiledPackage::build_checked(root, test_mode, false, true, &movy_sui::compile::BuildIsolation::default())?;
         for module in package.all_modules_iter() {
             if is_sui_std_module(module.address().to_string().as_str()) {
                 continue;