Correct startup compact effect ownership

This commit is contained in:
Jan Petykiewicz 2026-04-19 00:04:00 -07:00
commit b515fb417b
2 changed files with 14 additions and 10 deletions

View file

@ -4785,7 +4785,7 @@ fn build_periodic_company_service_trace_report(
"the paired collection-side triplet serializer 0x00413440 is ruled down too, so the missing ordinary restored-row owner seam likely sits outside the currently bounded direct allocator/finalize/store families and the tagged 0x36b1/0x36b2/0x36b3 load-save strip".to_string(),
"the load-side stream owner 0x00413280 is ruled down to cached-source/candidate replay through vtable slot +0x40 and 0x0040ce60, so the missing ordinary restored-row owner seam still sits beyond the current stream-load bridge too".to_string(),
"the checked ordinary restore ordering is ruled down too: 0x00413280 stream load, 0x00481210 dynamic side-buffer refresh, and 0x004133b0 local-runtime replay all sit on the bring-up strip without re-entering 0x004134d0 / 0x0040f6d0 / 0x0040ef10 for already-restored rows".to_string(),
"the grouped opcode dispatcher 0x00431b20 is ruled down too: current direct caller census only reaches it from scenario runtime-effect service 0x004323a0 -> 0x00432f40 via 0x00432317, so 0x0061039c currently reads as a live runtime-effect application lane rather than the missing persisted restore owner for [site+0x276]".to_string(),
"the grouped opcode dispatcher 0x00431b20 is narrower rather than ruled down now: it is still only reached through scenario runtime-effect service 0x004323a0 -> 0x00432f40 via 0x00432317, but that service loop is itself called from world bring-up at 0x00444d92 with trigger kind 8 under shell-profile latch [0x006cec7c+0x97], so 0x0061039c reads as a startup-time live runtime-effect application lane rather than an ordinary tagged restore owner".to_string(),
],
},
SmpServiceConsumerHypothesis {
@ -28766,7 +28766,10 @@ mod tests {
.any(|line| line.contains("0x00431b20")
&& line.contains("0x004323a0")
&& line.contains("0x00432f40")
&& line.contains("0x00432317"))
&& line.contains("0x00432317")
&& line.contains("0x00444d92")
&& line.contains("kind 8")
&& line.contains("0x006cec7c+0x97"))
);
assert_eq!(
trace