[anneal][v2][exocrate] Add install fixup hook

anneal/v2/Cargo.toml

@@ -4,6 +4,8 @@ members = ["."]
 [features]
 # Enables tests that assume a prebuilt exocrate archive.
 exocrate_tests = []
+# Enables tests that make network requests or download cargo dependencies.
+online_tests = []
 
 [package]
 name = "cargo-anneal"
@@ -48,5 +50,20 @@ url = "https://example.com/macos-aarch64.tar.zst"
 exocrate = { path = "../../exocrate" }
 toml_const = "1.3.0"
 clap = { version = "4.5", features = ["derive"] }
+clap-cargo = { version = "0.18.3", features = ["cargo_metadata"] }
 env_logger = "0.11"
 log = "0.4"
+anyhow = "1.0.102"
+cargo_metadata = "0.23.1"
+miette = { version = "7.6.0", features = ["derive", "fancy"] }
+thiserror = "2.0.18"
+serde_json = "1.0.149"
+serde = { version = "1.0.228", features = ["derive"] }
+indicatif = { version = "0.18.4", features = ["improved_unicode"] }
+fs2 = "0.4"
+walkdir = "2.5.0"
+sha2 = "0.10"
+tempfile = "3.27.0"
+rayon = "1.11.0"
+# `rev` is `main` branch HEAD on 2026-06-03.
+charon_lib = { package = "charon", git = "https://github.com/AeneasVerif/charon.git", rev = "0c91ca1a8e002d6bfa8d8f1f452804fce2f92cf1", default-features = false }

anneal/v2/examples/simple.rs

@@ -0,0 +1,7 @@
+pub fn add(left: usize, right: usize) -> usize {
+    left + right
+}
+
+fn main() {
+    println!("Hello, world! {}", add(1, 2));
+}