chore: migrate project template to Miden v0.16

.github/workflows/ci.yml

@@ -17,6 +17,11 @@ jobs:
       run: |
         rustup update --no-self-update
         rustc --version
+    - name: Install midenup and stable compiler components
+      run: |
+        cargo install --locked midenup && midenup init && midenup install 0.16.0 && miden midenc --version
+        echo "$(midenup show home)/opt" >> "$GITHUB_PATH"
     - name: Run integration tests
       working-directory: integration
-      run: cargo test
+      run: |
+        cargo test

.gitignore

@@ -30,6 +30,11 @@ local-node-data/
 # Ignore contract build artifacts
 contracts/**/target/
 
+# Contract crates are cdylib libraries: they do not ship a lockfile, matching the
+# single-contract templates. A committed lockfile here can only go stale against the
+# SDK requirement in their manifests.
+contracts/**/Cargo.lock
+
 # cargo-miden writes the compiled package here when tests build contracts
 # from the integration crate's working directory
 integration/target/

CLAUDE.md

@@ -17,6 +17,11 @@ Contracts are built individually with cargo-miden (not `cargo build`):
 cargo miden build --manifest-path contracts/<name>/Cargo.toml --release
 ```
 
+Each contract has a thin `build.rs` that calls `miden-sdk-build-script-support` to populate the
+Miden package cache, so plain `cargo check` and IDE analysis resolve dependency packages without
+a manual `cargo miden build` first. The helper needs `cargo miden` on `PATH` (or a binary named
+by the `CARGO_MIDEN` environment variable).
+
 Tests run via the workspace:
 ```
 cargo test -p integration --release