Add kernel profile extraction test

Author: huitseeker

.gitignore

@@ -22,3 +22,4 @@ env/
 node_modules/
 *DS_Store
 *.iml
+bin/bench-transaction/bench-tx-vm-profile.json

bin/bench-transaction/bench-tx-vm-profile.json

@@ -312,7 +312,7 @@ pub fn write_vm_profile(
     }
 
     let profile = VmProfile {
-        profile_version: "1.1".to_string(),
+        profile_version: "1.0".to_string(),
         source: "miden-base/bin/bench-transaction".to_string(),
         timestamp: chrono::Utc::now().to_rfc3339(),
         miden_vm_version: env!("CARGO_PKG_VERSION").to_string(),
@@ -368,6 +368,7 @@ fn signature_verify_count(total_cycles: u64, instruction_mix: &InstructionMix) -
 #[cfg(test)]
 mod tests {
     use super::*;
+    use crate::context_setups::tx_consume_single_p2id_note;
 
     /// Test that operation details are generated with correct hashing split
     #[test]
@@ -570,4 +571,35 @@ mod tests {
         );
 
     }
+
+    /// Test that ratios can be extracted from the real transaction kernel
+    #[tokio::test(flavor = "current_thread")]
+    async fn write_vm_profile_extracts_real_kernel_mix() {
+        let measurements = tx_consume_single_p2id_note()
+            .expect("build tx")
+            .execute()
+            .await
+            .map(miden_protocol::transaction::TransactionMeasurements::from)
+            .expect("execute tx");
+
+        let tx_benchmarks = vec![(
+            ExecutionBenchmark::ConsumeSingleP2ID,
+            MeasurementsPrinter::from(measurements),
+        )];
+
+        let temp_dir = tempfile::tempdir().expect("create temp dir");
+        let path = temp_dir.path().join("vm_profile_real_kernel.json");
+        write_vm_profile(&path, &tx_benchmarks).expect("write vm profile");
+
+        let json = read_to_string(&path).expect("read vm profile");
+        let profile: VmProfile = serde_json::from_str(&json).expect("deserialize vm profile");
+
+        let mix = &profile.transaction_kernel.instruction_mix;
+        let mix_sum =
+            mix.arithmetic + mix.hashing + mix.memory + mix.control_flow + mix.signature_verify;
+        assert!(mix_sum.is_finite());
+        assert!((mix_sum - 1.0).abs() < MIX_SUM_TOLERANCE);
+        assert!(profile.transaction_kernel.total_cycles > 0);
+        assert!(!profile.transaction_kernel.operation_details.is_empty());
+    }
 }

bin/bench-transaction/src/cycle_counting_benchmarks/utils.rs

@@ -98,7 +98,7 @@ mod tests {
     #[test]
     fn deserialize_profile_with_operation_details() {
         let json = r#"{
-            "profile_version": "1.1",
+            "profile_version": "1.0",
             "source": "test",
             "timestamp": "2025-01-01T00:00:00Z",
             "miden_vm_version": "0.20.0",
@@ -148,7 +148,7 @@ mod tests {
     fn operation_details_consistent_with_total_cycles() {
         // Profile with realistic operation mix
         let profile = VmProfile {
-            profile_version: "1.1".to_string(),
+            profile_version: "1.0".to_string(),
             source: "test".to_string(),
             timestamp: "2025-01-01T00:00:00Z".to_string(),
             miden_vm_version: "0.20.0".to_string(),
@@ -205,7 +205,7 @@ mod tests {
     fn tiny_workload_no_minimum_inflation() {
         // Small profile with low operation counts
         let profile = VmProfile {
-            profile_version: "1.1".to_string(),
+            profile_version: "1.0".to_string(),
             source: "test".to_string(),
             timestamp: "2025-01-01T00:00:00Z".to_string(),
             miden_vm_version: "0.20.0".to_string(),