From 3ce802905602cb95a8cc95020a9427ef5e0b78fa Mon Sep 17 00:00:00 2001
From: Jan Petykiewicz <jan@mpxd.net>
Date: Sat, 18 Apr 2026 17:28:31 -0700
Subject: [PATCH] Expose infrastructure exact-class prelude patterns

---
 crates/rrt-runtime/src/smp.rs | 75 +++++++++++++++++++++++++++++++++--
 1 file changed, 72 insertions(+), 3 deletions(-)

diff --git a/crates/rrt-runtime/src/smp.rs b/crates/rrt-runtime/src/smp.rs
index 8da3d41..aa91000 100644
--- a/crates/rrt-runtime/src/smp.rs
+++ b/crates/rrt-runtime/src/smp.rs
@@ -5030,12 +5030,27 @@ fn build_infrastructure_asset_trace_report(
                     })
                     .map(|correlation| {
                         format!(
-                            "the exact 0xff0000ff/0x0001/0xff compact-prefix class is now explicit: dominant name={:?}/{:?} x{}, dominant span={:?} x{}, mode counts={:?}, name-pair counts={:?}, span counts={:?}, previous short-flag pairs={:?} across {} rows, and sample rows={:?}",
+                            "the exact 0xff0000ff/0x0001/0xff compact-prefix class is now explicit: dominant name={:?}/{:?} x{}, dominant span={:?} x{}, dominant prelude={}/{} x{}, mode counts={:?}, name-pair counts={:?}, span counts={:?}, previous short-flag pairs={:?} across {} rows, and sample rows={:?}",
                             correlation.dominant_primary_name,
                             correlation.dominant_secondary_name,
                             correlation.dominant_name_pair_count,
                             correlation.dominant_profile_span,
                             correlation.dominant_profile_span_count,
+                            correlation
+                                .dominant_candidate_pattern
+                                .as_ref()
+                                .map(|pattern| pattern.child_count_candidate_hex.as_str())
+                                .unwrap_or("0x0000"),
+                            correlation
+                                .dominant_candidate_pattern
+                                .as_ref()
+                                .map(|pattern| pattern.saved_primary_child_byte_candidate_hex.as_str())
+                                .unwrap_or("0x00"),
+                            correlation
+                                .dominant_candidate_pattern
+                                .as_ref()
+                                .map(|pattern| pattern.count)
+                                .unwrap_or_default(),
                             correlation
                                 .mode_family_counts
                                 .iter()
@@ -5096,12 +5111,27 @@ fn build_infrastructure_asset_trace_report(
                     })
                     .map(|correlation| {
                         format!(
-                            "the exact 0x000055f3/0x0001/0xff compact-prefix class is now explicit too: dominant name={:?}/{:?} x{}, dominant span={:?} x{}, mode counts={:?}, name-pair counts={:?}, previous short-flag pairs={:?} across {} rows, and sample rows={:?}",
+                            "the exact 0x000055f3/0x0001/0xff compact-prefix class is now explicit too: dominant name={:?}/{:?} x{}, dominant span={:?} x{}, dominant prelude={}/{} x{}, mode counts={:?}, name-pair counts={:?}, previous short-flag pairs={:?} across {} rows, and sample rows={:?}",
                             correlation.dominant_primary_name,
                             correlation.dominant_secondary_name,
                             correlation.dominant_name_pair_count,
                             correlation.dominant_profile_span,
                             correlation.dominant_profile_span_count,
+                            correlation
+                                .dominant_candidate_pattern
+                                .as_ref()
+                                .map(|pattern| pattern.child_count_candidate_hex.as_str())
+                                .unwrap_or("0x0000"),
+                            correlation
+                                .dominant_candidate_pattern
+                                .as_ref()
+                                .map(|pattern| pattern.saved_primary_child_byte_candidate_hex.as_str())
+                                .unwrap_or("0x00"),
+                            correlation
+                                .dominant_candidate_pattern
+                                .as_ref()
+                                .map(|pattern| pattern.count)
+                                .unwrap_or_default(),
                             correlation
                                 .mode_family_counts
                                 .iter()
@@ -5153,12 +5183,27 @@ fn build_infrastructure_asset_trace_report(
                     })
                     .map(|correlation| {
                         format!(
-                            "the exact 0xff0000ff/0x0002/0xff compact-prefix class is now explicit too: dominant name={:?}/{:?} x{}, dominant span={:?} x{}, mode counts={:?}, span counts={:?}, and sample rows={:?}",
+                            "the exact 0xff0000ff/0x0002/0xff compact-prefix class is now explicit too: dominant name={:?}/{:?} x{}, dominant span={:?} x{}, dominant prelude={}/{} x{}, mode counts={:?}, span counts={:?}, and sample rows={:?}",
                             correlation.dominant_primary_name,
                             correlation.dominant_secondary_name,
                             correlation.dominant_name_pair_count,
                             correlation.dominant_profile_span,
                             correlation.dominant_profile_span_count,
+                            correlation
+                                .dominant_candidate_pattern
+                                .as_ref()
+                                .map(|pattern| pattern.child_count_candidate_hex.as_str())
+                                .unwrap_or("0x0000"),
+                            correlation
+                                .dominant_candidate_pattern
+                                .as_ref()
+                                .map(|pattern| pattern.saved_primary_child_byte_candidate_hex.as_str())
+                                .unwrap_or("0x00"),
+                            correlation
+                                .dominant_candidate_pattern
+                                .as_ref()
+                                .map(|pattern| pattern.count)
+                                .unwrap_or_default(),
                             correlation
                                 .mode_family_counts
                                 .iter()
@@ -26422,6 +26467,30 @@ mod tests {
                         && line.contains("BridgeSTWood_Section.3dp")
                 )
         );
+        assert!(
+            trace.candidate_consumer_hypotheses[0]
+                .evidence
+                .iter()
+                .any(|line| line
+                    .contains("0xff0000ff/0x0001/0xff compact-prefix class is now explicit")
+                    && line.contains("dominant prelude=0x0001/0xff"))
+        );
+        assert!(
+            trace.candidate_consumer_hypotheses[0]
+                .evidence
+                .iter()
+                .any(|line| line
+                    .contains("0x000055f3/0x0001/0xff compact-prefix class is now explicit")
+                    && line.contains("dominant prelude=0x0001/0xff"))
+        );
+        assert!(
+            trace.candidate_consumer_hypotheses[0]
+                .evidence
+                .iter()
+                .any(|line| line
+                    .contains("0xff0000ff/0x0002/0xff compact-prefix class is now explicit")
+                    && line.contains("dominant prelude="))
+        );
         assert!(
             trace.candidate_consumer_hypotheses[0]
                 .evidence