From d18bab9833e98ea2566cb2ab956c8ff7a615c107 Mon Sep 17 00:00:00 2001
From: Jan Petykiewicz <jan@mpxd.net>
Date: Sun, 19 Apr 2026 01:10:11 -0700
Subject: [PATCH] Trace compact event opcode-8 deactivation branch

---
 crates/rrt-runtime/src/smp.rs | 21 +++++++++++++++++++++
 docs/rehost-queue.md          |  5 +++++
 2 files changed, 26 insertions(+)

diff --git a/crates/rrt-runtime/src/smp.rs b/crates/rrt-runtime/src/smp.rs
index 17b45cb..e7d5fa9 100644
--- a/crates/rrt-runtime/src/smp.rs
+++ b/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 {
diff --git a/docs/rehost-queue.md b/docs/rehost-queue.md
index 64d0447..a7ef9d0 100644
--- a/docs/rehost-queue.md
+++ b/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