jan/rrt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Tighten acquisition owner seam status

Browse source
This commit is contained in:
Jan Petykiewicz 2026-04-18 23:05:40 -07:00
commit edd36aa607
1 changed files with 7 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

11
crates/rrt-runtime/src/smp.rs
View file

@ -4672,7 +4672,7 @@ fn build_periodic_company_service_trace_report(
.to_string(), .to_string(),
]; ];
let near_city_acquisition_site_owner_company_projection_status = 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(); .to_string();
let near_city_acquisition_site_self_id_projection_status = let near_city_acquisition_site_self_id_projection_status =
"live_meaning_grounded_reconstructible_from_collection_identity".to_string(); "live_meaning_grounded_reconstructible_from_collection_identity".to_string();
@ -4765,6 +4765,7 @@ fn build_periodic_company_service_trace_report(
blockers: vec![ 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(), "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 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 { SmpServiceConsumerHypothesis {
@ -4816,11 +4817,11 @@ fn build_periodic_company_service_trace_report(
}, },
]; ];
let near_city_acquisition_remaining_owner_gaps = vec![ 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(), "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![ 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+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(), "[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(), "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!( assert_eq!(
trace.near_city_acquisition_site_owner_company_projection_status, 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!( assert_eq!(
trace.near_city_acquisition_site_self_id_projection_status, trace.near_city_acquisition_site_self_id_projection_status,
@ -28953,6 +28954,7 @@ mod tests {
.near_city_acquisition_remaining_owner_gaps .near_city_acquisition_remaining_owner_gaps
.iter() .iter()
.any(|line| line.contains("[site+0x276]") .any(|line| line.contains("[site+0x276]")
&& line.contains("0x36b1/0x36b2/0x36b3")
&& line.contains("0x0047efe0") && line.contains("0x0047efe0")
&& line.contains("0x004134d0 / 0x0040f6d0") && line.contains("0x004134d0 / 0x0040f6d0")
&& line.contains("0x0040ef10") && line.contains("0x0040ef10")
@ -28979,6 +28981,7 @@ mod tests {
.iter() .iter()
.any(|line| line.contains("[site+0x276]") .any(|line| line.contains("[site+0x276]")
&& line.contains("0x004014b0") && line.contains("0x004014b0")
&& line.contains("0x36b1/0x36b2/0x36b3")
&& line.contains("0x0047efe0") && line.contains("0x0047efe0")
&& line.contains("0x004134d0 / 0x0040f6d0") && line.contains("0x004134d0 / 0x0040f6d0")
&& line.contains("0x0040ef10")) && line.contains("0x0040ef10"))