diff --git a/crates/rrt-runtime/src/smp.rs b/crates/rrt-runtime/src/smp.rs index ae2aa39..9940784 100644 --- a/crates/rrt-runtime/src/smp.rs +++ b/crates/rrt-runtime/src/smp.rs @@ -4672,7 +4672,7 @@ fn build_periodic_company_service_trace_report( .to_string(), ]; let near_city_acquisition_site_owner_company_projection_status = - "transport_tuple_owner_arg_grounded_constructor_and_finalize_families_bounded_nontransport_projection_missing" + "transport_tuple_owner_arg_grounded_direct_and_triplet_families_bounded_nontransport_restore_source_missing" .to_string(); let near_city_acquisition_site_self_id_projection_status = "live_meaning_grounded_reconstructible_from_collection_identity".to_string(); @@ -4765,6 +4765,7 @@ fn build_periodic_company_service_trace_report( blockers: vec![ "current atlas evidence now grounds one tuple-backed owner path too: loader tuple field [+0x0c] reaches [site+0x276] through 0x0046f073 / 0x004707ff -> 0x0040ef10, but the classified 0x004707ff caller belongs to multiplayer transport selector-0x13 rather than ordinary save-load restore, so a non-transport persisted source family is still needed for shellless acquisition".to_string(), "the explicit store census now also rules down the remaining obvious non-transport writes, so the missing ordinary restored-row owner seam likely sits outside the currently bounded direct allocator/finalize/store families".to_string(), + "the paired collection-side triplet load owner 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 path".to_string(), ], }, SmpServiceConsumerHypothesis { @@ -4816,11 +4817,11 @@ fn build_periodic_company_service_trace_report( }, ]; let near_city_acquisition_remaining_owner_gaps = vec![ - "non-transport persisted source family feeding the tuple-to-live projection of placed-structure owner-company field [site+0x276] for the acquisition-side owner-present gate; the live meaning is grounded through 0x0047efe0, the owner family is bounded under 0x004134d0 / 0x0040f6d0 plus shared finalize helper 0x0040ef10, and loader tuple field [+0x0c] is known to seed [site+0x276] through 0x0046f073 / 0x004707ff, but the classified 0x004707ff caller sits under multiplayer transport selector-0x13 rather than ordinary save-load restore".to_string(), + "non-transport persisted source family outside the currently bounded direct allocator/finalize/store families and tagged 0x36b1/0x36b2/0x36b3 load path, feeding the tuple-to-live projection of placed-structure owner-company field [site+0x276] for the acquisition-side owner-present gate; the live meaning is grounded through 0x0047efe0, the owner family is bounded under 0x004134d0 / 0x0040f6d0 plus shared finalize helper 0x0040ef10, and loader tuple field [+0x0c] is known to seed [site+0x276] through 0x0046f073 / 0x004707ff, but the classified 0x004707ff caller sits under multiplayer transport selector-0x13 rather than ordinary save-load restore".to_string(), "exact persisted inputs and shellless service semantics for the now-grounded live cached tri-lane writer family over [site+0x310/+0x338/+0x360], especially 0x0040d450 and 0x00410b30..0x004118f4 above 0x00412560".to_string(), ]; let near_city_acquisition_region_lane_statuses = vec![ - "[site+0x276] owner-present gate: consumed directly by 0x004014b0, the live owner-company meaning is grounded through 0x0047efe0, the write family is bounded under 0x004134d0 / 0x0040f6d0 plus shared finalize helper 0x0040ef10, and loader tuple field [+0x0c] is known to seed that lane through 0x0046f073 / 0x004707ff; the remaining gap is which non-transport persisted source family and companion restore calls are sufficient for shellless acquisition".to_string(), + "[site+0x276] owner-present gate: consumed directly by 0x004014b0, the live owner-company meaning is grounded through 0x0047efe0, the write family is bounded under 0x004134d0 / 0x0040f6d0 plus shared finalize helper 0x0040ef10, loader tuple field [+0x0c] is known to seed that lane through 0x0046f073 / 0x004707ff, and the tagged 0x36b1/0x36b2/0x36b3 collection loader is ruled down; the remaining gap is which non-transport persisted source family and companion restore calls outside those bounded families are sufficient for shellless acquisition".to_string(), "[site+0x2a4] placed-structure id lane: peer-chain helpers already ground this as the record's own site id, constructor-side 0x00480210 seeds it for new linked-site rows, and 0x004269b0 resolves the chosen site id back through 0x0062b26c before mutating [site+0x276], so this lane is reconstructible from collection identity for the 0x004014b0 commit path".to_string(), "[site+0x310/+0x338/+0x360] cached tri-lane: exact delta reader grounded at 0x0040cac0, deferred additive accumulator/reset helper grounded at 0x0040c9a0, and direct live producers now grounded at 0x0040d450 plus the broader 0x00410b30..0x004118f4 candidate-processing loop above 0x00412560; the remaining gap is exact service semantics and persisted inputs, not writer existence".to_string(), "placed-structure subtype filter: 0x0040d360 is the exact test [candidate+0x32] == 4, the owning subtype byte is already bounded under 0x004131f0 -> 0x00412fb0 -> 0x004120b0 -> 0x00412ab0, and direct local binary inspection now grounds stream-load callback 0x0040ce60 as the restore-side bridge into [site+0x3cc/+0x3d0]".to_string(), @@ -28251,7 +28252,7 @@ mod tests { ); assert_eq!( trace.near_city_acquisition_site_owner_company_projection_status, - "transport_tuple_owner_arg_grounded_constructor_and_finalize_families_bounded_nontransport_projection_missing" + "transport_tuple_owner_arg_grounded_direct_and_triplet_families_bounded_nontransport_restore_source_missing" ); assert_eq!( trace.near_city_acquisition_site_self_id_projection_status, @@ -28953,6 +28954,7 @@ mod tests { .near_city_acquisition_remaining_owner_gaps .iter() .any(|line| line.contains("[site+0x276]") + && line.contains("0x36b1/0x36b2/0x36b3") && line.contains("0x0047efe0") && line.contains("0x004134d0 / 0x0040f6d0") && line.contains("0x0040ef10") @@ -28979,6 +28981,7 @@ mod tests { .iter() .any(|line| line.contains("[site+0x276]") && line.contains("0x004014b0") + && line.contains("0x36b1/0x36b2/0x36b3") && line.contains("0x0047efe0") && line.contains("0x004134d0 / 0x0040f6d0") && line.contains("0x0040ef10"))