Clarify compact event dispatch without trigger kind

crates/rrt-runtime/src/smp.rs

@@ -9529,6 +9529,12 @@ fn parse_event_runtime_collection_summary_with_tag_width(
                 "records with grouped opcodes already in the 0x00431b20 dispatch strip = {:?}",
                 mutation_candidate_record_indexes
             ));
+            if records_with_trigger_kind == 0 {
+                control_lane_notes.push(
+                    "decoded grouped rows already reach the 0x00431b20 dispatch strip in this collection even though the current inspection surface recovered no trigger/control kind bytes for those records"
+                        .to_string(),
+                );
+            }
             control_lane_notes.push(format!(
                 "0x00431b20 dispatch-strip opcodes present in decoded grouped rows = {:?}",
                 mutation_candidate_opcodes
@@ -22305,6 +22311,9 @@ mod tests {
                 "records with grouped opcodes already in the 0x00431b20 dispatch strip = [0]",
             )
         }));
+        assert!(summary.control_lane_notes.iter().any(|line| {
+            line.contains("decoded grouped rows already reach the 0x00431b20 dispatch strip")
+        }));
         assert!(summary.control_lane_notes.iter().any(|line| {
             line.contains("0x00431b20 dispatch-strip opcodes present in decoded grouped rows = [4]")
         }));

docs/rehost-queue.md

@@ -340,6 +340,15 @@ Working rule:
     `[site+0x276]` store at `0x0040f5d4` therefore remains grounded only on explicit tuple/create
     paths, so the next non-hook pass should look for a non-transport persisted tuple family or a
     later ordinary restore owner rather than another generic replay scan.
+  - the loaded runtime-effect lane is narrower now too:
+    real map inspections already show decoded `0x00431b20` grouped-descriptor content inside the
+    ordinary non-direct bundle without any recovered trigger-kind metadata in the current surface:
+    `Texas Tea.gmp` reports `Add Building Port01`, `Alternate USA.gmp` reports
+    `Add Building FarmGrain` and `Add Building Logging Camp`, and `War Effort.gmp` reports only
+    variable bands, while all three currently summarize `trigger_kinds_present = []` and
+    `records_with_trigger_kind = 0`. That means the next non-hook pass on this branch is no longer
+    “do ordinary loaded rows reach `0x00431b20`?”; it is “where is trigger-kind represented or
+    bypassed for those already-decoded ordinary compact rows?”
   - the positive-path caller census is effectively boxed in now too:
     direct `0x0040ef10` callers are the create-side pair `0x00403ef3 / 0x00404489`, the transport
     tuple pair `0x0046f073 / 0x004707ff`, and the already-ruled-down live controller