Trace compact event opcode-8 deactivation branch

crates/rrt-runtime/src/smp.rs

@@ -9452,6 +9452,18 @@ fn parse_event_runtime_collection_summary_with_tag_width(
             .collect::<Vec<_>>();
         mutation_candidate_opcodes.sort_unstable();
         mutation_candidate_opcodes.dedup();
+        let mut opcode_0x08_record_indexes = records
+            .iter()
+            .filter(|record| {
+                record
+                    .grouped_effect_rows
+                    .iter()
+                    .any(|row| row.opcode == 0x08)
+            })
+            .map(|record| record.record_index)
+            .collect::<Vec<_>>();
+        opcode_0x08_record_indexes.sort_unstable();
+        opcode_0x08_record_indexes.dedup();
         let mut mutation_candidate_descriptor_labels = records
             .iter()
             .flat_map(|record| record.grouped_effect_rows.iter())
@@ -9508,6 +9520,15 @@ fn parse_event_runtime_collection_summary_with_tag_width(
                     mutation_candidate_unknown_descriptor_ids
                 ));
             }
+            if !opcode_0x08_record_indexes.is_empty() {
+                control_lane_notes.push(format!(
+                    "records with opcode 0x08 in the 0x00431b20 dispatch strip = {:?}",
+                    opcode_0x08_record_indexes
+                ));
+                control_lane_notes.push(
+                    "checked-in function-map evidence currently grounds opcode 0x08 on the 0x00426d60 company_deactivate_and_clear_chairman_share_links branch".to_string(),
+                );
+            }
         }
 
         return Some(SmpLoadedEventRuntimeCollectionSummary {

docs/rehost-queue.md

@@ -265,6 +265,11 @@ Working rule:
     and one still-unlabeled grouped descriptor id `548`; that makes descriptor `548` plus the
     `opcode 8` branch on record `7` the next concrete non-hook analysis target above the compact
     runtime-event loader
+  - the checked-in function map now sharpens that `Texas Tea.gmp` branch too:
+    opcode `0x08` in the grounded `0x00431b20` dispatch strip lands on
+    `0x00426d60 company_deactivate_and_clear_chairman_share_links`, so the open question is
+    whether grouped descriptor id `548` is the missing compact-event label for that destructive
+    company-clear path or a neighboring unmapped id-space entry in the same branch family
   - the concrete owner strip above that bundle is grounded now too:
     `0x00433060` is the direct non-direct serializer loop that writes `0x4e99/0x4e9a/0x4e9b`,
     calls `0x00430d70` per live collection row, and sits beside the sibling `0x00433130` size/load