Merge branch 'next' into huitseeker/refactor-tracebuildinputs

Author: huitseeker

CHANGELOG.md

@@ -4,9 +4,12 @@
 
 #### Fixes
 - Rejected non-syscall references to exported kernel procedures in the linker ([#2902](https://github.com/0xMiden/miden-vm/issues/2902)).
+- Reverted the `MainTrace` typed row storage change that caused a large `blake3_1to1` trace-building regression ([#2949](https://github.com/0xMiden/miden-vm/pull/2949)).
 #### Bug Fixes
 
 - Reverted `InvokeKind::ProcRef` back to `InvokeKind::Exec` in `visit_mut_procref` and added an explanatory comment (#2893).
+- Fixed the release dry-run publish cycle between `miden-air` and `miden-ace-codegen`, and preserved leaf-only DAG imports with explicit snapshots ([#2931](https://github.com/0xMiden/miden-vm/pull/2931)).
+
 #### Changes
 
 - Documented that enum variants are module-level constants and must be unique within a module (#2932).
@@ -19,6 +22,10 @@
 - [BREAKING] Reduced the prove-from-trace API to post-execution trace inputs: `TraceBuildInputs` no longer carries full execution output, `prove_from_trace_sync()` takes `TraceProvingInputs`, and `ProvingOptions` no longer include `ExecutionOptions` ([#2948](https://github.com/0xMiden/miden-vm/pull/2948)).
 - Refactor trace generation to row-major format ([#2937](https://github.com/0xMiden/miden-vm/pull/2937)).
 
+#### Fixes
+
+- Fixed stale `ReplayProcessor` doc comment links to `ExecutionTracer` after module-structure refactors.
+
 ## 0.22.0 (2025-03-18)
 
 #### Enhancements

Cargo.lock

@@ -35,4 +35,5 @@ thiserror.workspace = true
 tracing.workspace = true
 
 [dev-dependencies]
+miden-ace-codegen = { workspace = true, features = ["testing"] }
 proptest.workspace = true

air/Cargo.toml

@@ -93,7 +93,7 @@ where
     EF: ExtensionField<Felt>,
 {
     let constraint_root = constraint_dag.root;
-    let mut builder = DagBuilder::from_nodes(constraint_dag.nodes);
+    let mut builder = DagBuilder::from_dag(constraint_dag);
 
     // Build product_check.
     let product_check = build_product_check(&mut builder, config);
@@ -109,7 +109,7 @@ where
     let partial = builder.add(constraint_root, term2);
     let root = builder.add(partial, term3);
 
-    AceDag { nodes: builder.into_nodes(), root }
+    builder.build(root)
 }
 
 /// Build the running-product identity check.