Narrow acquisition site id and owner lanes
This commit is contained in:
parent
b75b7ef814
commit
a47a90961c
2 changed files with 34 additions and 16 deletions
|
|
@ -4537,8 +4537,7 @@ fn build_periodic_company_service_trace_report(
|
|||
.to_string(),
|
||||
"[site+0x3d5] age/year delta lane".to_string(),
|
||||
"[site+0x310/+0x338/+0x360] cached tri-lane sampled through 0x0040cac0".to_string(),
|
||||
"[site+0x2a4] winning placed-structure id lane later committed through 0x004269b0"
|
||||
.to_string(),
|
||||
"[site+0x2a4] self placed-structure id lane later consumed through 0x004269b0".to_string(),
|
||||
];
|
||||
let near_city_acquisition_peer_input_fields = vec![
|
||||
"center-cell token gate 0x0041f6e0 -> 0x0042b2d0 over the current region".to_string(),
|
||||
|
|
@ -4570,6 +4569,8 @@ fn build_periodic_company_service_trace_report(
|
|||
.to_string(),
|
||||
"placed-structure linked-company resolver 0x0047efe0 already grounds the live owner-company meaning of [site+0x276]"
|
||||
.to_string(),
|
||||
"placed-structure peer-chain helpers 0x0041f7e0 / 0x0041f810 / 0x0041f850 already ground [site+0x2a4] as the record's own placed-structure id lane"
|
||||
.to_string(),
|
||||
"aux-candidate stream-load and stem-policy chain 0x004131f0 -> 0x00412fb0 -> 0x004120b0 -> 0x00412ab0 already grounds the subtype byte consumed as [candidate+0x32]"
|
||||
.to_string(),
|
||||
"company stat-family lane 0x2329/0x0d already rehosted in runtime company state".to_string(),
|
||||
|
|
@ -4582,13 +4583,13 @@ fn build_periodic_company_service_trace_report(
|
|||
];
|
||||
let near_city_acquisition_remaining_owner_gaps = vec![
|
||||
"save-native or replay projection of placed-structure owner-company field [site+0x276] for the acquisition-side owner-present gate; the live meaning is already grounded through 0x0047efe0".to_string(),
|
||||
"save payload or restore owner for [site+0x2a4] winning placed-structure id lane before 0x004269b0 commits the chosen site".to_string(),
|
||||
"save or replay projection of [site+0x2a4] as the current record's placed-structure id lane before 0x004269b0 commits the chosen site".to_string(),
|
||||
"save payload or restore owner for [site+0x310/+0x338/+0x360] cached tri-lane sampled by 0x0040cac0; current binary scan finds no direct placed-structure runtime writer".to_string(),
|
||||
"aux-candidate projection from the restored backing-record selector [site+0x04] into the subtype byte consumed by 0x0040d360 as [candidate+0x32] == 4".to_string(),
|
||||
];
|
||||
let near_city_acquisition_region_lane_statuses = vec![
|
||||
"[site+0x276] owner-present gate: consumed directly by 0x004014b0, and the live owner-company meaning is already grounded through 0x0047efe0, but its save-native or replay projection is still missing".to_string(),
|
||||
"[site+0x2a4] placed-structure id lane: consumed by 0x004014b0 before 0x004269b0 commits the chosen site, and no separate placed-structure runtime writer is currently grounded for the winning-candidate staging lane".to_string(),
|
||||
"[site+0x2a4] placed-structure id lane: peer-chain helpers already ground this as the record's own site id, but the save or replay projection into live placed-structure rows is still missing for the 0x004014b0 commit path".to_string(),
|
||||
"[site+0x310/+0x338/+0x360] cached tri-lane: exact raw delta reader grounded at 0x0040cac0, and the current binary write scan finds no direct placed-structure runtime writer, so the lane now looks payload/restore-owned".to_string(),
|
||||
"placed-structure subtype filter: 0x0040d360 is the exact test [candidate+0x32] == 4, and the owning subtype byte is already bounded under 0x004131f0 -> 0x00412fb0 -> 0x004120b0 -> 0x00412ab0; the remaining gap is projecting [site+0x04] back into that loaded candidate row".to_string(),
|
||||
];
|
||||
|
|
@ -4623,6 +4624,10 @@ fn build_periodic_company_service_trace_report(
|
|||
.to_string(),
|
||||
"0x0040f6d0 subtype-1 placed-structure constructor writing linked peer id via 0x00481390"
|
||||
.to_string(),
|
||||
"0x0040d210 owner-side placed-structure resolver from [site+0x276] through 0x0062be10"
|
||||
.to_string(),
|
||||
"0x0041f7e0 / 0x0041f810 / 0x0041f850 peer-chain helpers grounding [site+0x2a4] as the record's own site id"
|
||||
.to_string(),
|
||||
"0x00481390 / 0x00480210 subtype-1 linked-site allocation and constructor".to_string(),
|
||||
"0x00444690 late world bring-up caller of 0x004133b0 placed-structure local-runtime replay"
|
||||
.to_string(),
|
||||
|
|
@ -4669,7 +4674,7 @@ fn build_periodic_company_service_trace_report(
|
|||
let next_owner_questions = vec![
|
||||
"Which persisted placed-structure and city-or-region linkage fields are still missing for a shellless 0x004014b0 implementation once the peer-site restore subset, company route-anchor tuple, [site+0x276] live owner meaning, and candidate subtype owner strip are accepted as grounded?".to_string(),
|
||||
"How much of the linked-peer refresh path is strictly post-load versus recurring runtime maintenance now that 0x004133b0 reaches 0x0040ee10 -> 0x0040edf6 -> 0x00480710 during bring-up and 0x004160aa also re-enters 0x0040ee10 later?".to_string(),
|
||||
"Which later save payload or restore owner rehydrates the remaining placed-structure-side 0x004014b0 inputs [site+0x2a4] and [site+0x310/+0x338/+0x360] once peer/company inputs are accepted as grounded and the owner-present gate [site+0x276] is treated as save-native rather than service-produced?".to_string(),
|
||||
"Which later save payload or replay owner rehydrates the remaining placed-structure-side 0x004014b0 inputs [site+0x2a4] and [site+0x310/+0x338/+0x360] once peer/company inputs are accepted as grounded, [site+0x276] is treated as the owner-company lane, and [site+0x2a4] is treated as the record's own site id?".to_string(),
|
||||
"Which infrastructure consumer above the grounded 0x38a5 seam actually drives the linked-transit branch that 0x00409950 follows?".to_string(),
|
||||
];
|
||||
|
||||
|
|
@ -4798,7 +4803,7 @@ fn build_periodic_company_service_trace_report(
|
|||
"0x00406050 city-connection bonus/news sibling owner",
|
||||
],
|
||||
&[
|
||||
"Direct disassembly now shows this branch scanning the live placed-structure collection at 0x0062b26c for the best current acquisition target, rejecting sites whose owner field [site+0x276] is already nonzero, reusing the center-cell token gate 0x0041f6e0 -> 0x0042b2d0, reusing the linked-region status branch 0x0047de00 -> 0x0040c990, checking candidate reachability through 0x004801a0, consulting the placed-structure peer-site boolean/selector pair 0x00420030 / 0x00420280 over 0x006cec20, scoring candidate sites against company proximity and age through 0x0040d540 and 0x0040cac0, and then committing the winning site through 0x004269b0. The peer-site selector seam itself is now grounded through the local helper strip: 0x0040cd70 seeds [site+0x3cc/+0x3d0] from 0x62b2fc / 0x62b268, 0x0040ceab and 0x0040d1a1 reach the save-backed 0x0045c150 / 0x0045c310 owner directly, that owner fills [owner+0x23e/+0x242] from tagged payload 0x5dc1, and 0x0045c36e then feeds [owner+0x23e] through 0x00456100 -> 0x00455b70 -> 0x0052edf0 into the live backing-record selector [site+0x04]. The remaining linked-site field work is now about which of those persisted site/peer lanes are actually sufficient for shellless acquisition and city-connection behavior, not about who owns [site+0x04].",
|
||||
"Direct disassembly now shows this branch scanning the live placed-structure collection at 0x0062b26c for the best current acquisition target, rejecting sites whose owner field [site+0x276] is already nonzero, reusing the center-cell token gate 0x0041f6e0 -> 0x0042b2d0, reusing the linked-region status branch 0x0047de00 -> 0x0040c990, checking candidate reachability through 0x004801a0, consulting the placed-structure peer-site boolean/selector pair 0x00420030 / 0x00420280 over 0x006cec20, scoring candidate sites against company proximity and age through 0x0040d540 and 0x0040cac0, and then committing the chosen site through 0x004269b0. The peer-site selector seam itself is now grounded through the local helper strip: 0x0040cd70 seeds [site+0x3cc/+0x3d0] from 0x62b2fc / 0x62b268, 0x0040ceab and 0x0040d1a1 reach the save-backed 0x0045c150 / 0x0045c310 owner directly, that owner fills [owner+0x23e/+0x242] from tagged payload 0x5dc1, and 0x0045c36e then feeds [owner+0x23e] through 0x00456100 -> 0x00455b70 -> 0x0052edf0 into the live backing-record selector [site+0x04]. The remaining linked-site field work is now about which of those persisted site/peer lanes are actually sufficient for shellless acquisition and city-connection behavior, not about who owns [site+0x04].",
|
||||
],
|
||||
));
|
||||
SmpPeriodicCompanyServiceTraceEntry {
|
||||
|
|
@ -4820,10 +4825,10 @@ fn build_periodic_company_service_trace_report(
|
|||
"Periodic company service trace is intentionally an outer-owner probe: it reports save-owned branch inputs and blocker seams without serializing the full projected runtime reader state.".to_string(),
|
||||
);
|
||||
notes.push(
|
||||
"Direct disassembly now narrows the acquisition-side sibling substantially: 0x004014b0 gates on the periodic outer owner, then scans the live placed-structure collection at 0x0062b26c, rejects sites whose owner field [site+0x276] is already nonzero, filters candidates through the subtype-4 predicate 0x0040d360, scores surviving sites against company linkage/age/proximity through 0x0040d540 and 0x0040cac0, and then commits the winning site through 0x004269b0 before the shared news lane 0x004554e0 formats the headline.".to_string(),
|
||||
"Direct disassembly now narrows the acquisition-side sibling substantially: 0x004014b0 gates on the periodic outer owner, then scans the live placed-structure collection at 0x0062b26c, rejects sites whose owner field [site+0x276] is already nonzero, filters candidates through the subtype-4 predicate 0x0040d360, scores surviving sites against company linkage/age/proximity through 0x0040d540 and 0x0040cac0, and then commits the chosen site through 0x004269b0 before the shared news lane 0x004554e0 formats the headline.".to_string(),
|
||||
);
|
||||
notes.push(
|
||||
"The shellless acquisition frontier is narrower now too: the peer-site selector/linked-peer seam is grounded enough to plan around, the company/chairman side now includes the save-native route-anchor tuple used by 0x00401860, the live owner-company meaning of [site+0x276] is grounded through 0x0047efe0, and the subtype owner strip is bounded under the aux-candidate load chain 0x004131f0 -> 0x00412fb0 -> 0x004120b0 -> 0x00412ab0. The remaining blocker is the placed-structure-side restore or replay ownership for [site+0x276], [site+0x2a4], and the cached tri-lane [site+0x310/+0x338/+0x360], plus the projection from [site+0x04] back into the loaded candidate subtype row.".to_string(),
|
||||
"The shellless acquisition frontier is narrower now too: the peer-site selector/linked-peer seam is grounded enough to plan around, the company/chairman side now includes the save-native route-anchor tuple used by 0x00401860, the live owner-company meaning of [site+0x276] is grounded through 0x0047efe0 / 0x0040d210, the self-id meaning of [site+0x2a4] is grounded through 0x0041f7e0 / 0x0041f810 / 0x0041f850, and the subtype owner strip is bounded under the aux-candidate load chain 0x004131f0 -> 0x00412fb0 -> 0x004120b0 -> 0x00412ab0. The remaining blocker is the placed-structure-side restore or replay ownership for [site+0x276], [site+0x2a4], and the cached tri-lane [site+0x310/+0x338/+0x360], plus the projection from [site+0x04] back into the loaded candidate subtype row.".to_string(),
|
||||
);
|
||||
notes.push(
|
||||
"Direct disassembly now tightens the remaining placed-structure lanes too: 0x0040cac0 is only the raw tri-lane delta reader over [site+0x310/+0x338/+0x360]; 0x0040d360 is only the exact subtype test [candidate+0x32] == 4; and the current binary write scan finds no direct placed-structure runtime writer for either [site+0x2a4] or [site+0x310/+0x338/+0x360], which now makes both lanes look payload/restore-owned rather than service-produced.".to_string(),
|
||||
|
|
@ -27824,7 +27829,7 @@ mod tests {
|
|||
let trace = build_periodic_company_service_trace_report(&analysis);
|
||||
assert_eq!(trace.selected_company_id, Some(7));
|
||||
assert_eq!(trace.atlas_candidate_consumers.len(), 7);
|
||||
assert_eq!(trace.known_bridge_helpers.len(), 42);
|
||||
assert_eq!(trace.known_bridge_helpers.len(), 44);
|
||||
assert_eq!(trace.next_owner_questions.len(), 4);
|
||||
assert_eq!(trace.companies.len(), 1);
|
||||
assert_eq!(
|
||||
|
|
@ -27902,7 +27907,7 @@ mod tests {
|
|||
trace
|
||||
.near_city_acquisition_runtime_backed_input_families
|
||||
.len(),
|
||||
9
|
||||
10
|
||||
);
|
||||
assert_eq!(trace.near_city_acquisition_remaining_owner_gaps.len(), 4);
|
||||
assert_eq!(trace.near_city_acquisition_region_lane_statuses.len(), 4);
|
||||
|
|
@ -27959,6 +27964,13 @@ mod tests {
|
|||
.iter()
|
||||
.any(|line| line.contains("0x0047efe0") && line.contains("[site+0x276]"))
|
||||
);
|
||||
assert!(
|
||||
trace
|
||||
.near_city_acquisition_runtime_backed_input_families
|
||||
.iter()
|
||||
.any(|line| line.contains("0x0041f7e0 / 0x0041f810 / 0x0041f850")
|
||||
&& line.contains("[site+0x2a4]"))
|
||||
);
|
||||
assert!(
|
||||
trace
|
||||
.near_city_acquisition_runtime_backed_input_families
|
||||
|
|
@ -27993,8 +28005,7 @@ mod tests {
|
|||
trace
|
||||
.near_city_acquisition_region_lane_statuses
|
||||
.iter()
|
||||
.any(|line| line.contains("[site+0x2a4]")
|
||||
&& line.contains("placed-structure runtime writer"))
|
||||
.any(|line| line.contains("[site+0x2a4]") && line.contains("record's own site id"))
|
||||
);
|
||||
assert!(
|
||||
trace
|
||||
|
|
|
|||
|
|
@ -54,6 +54,10 @@ Working rule:
|
|||
- `0x00480210` writes linked-peer row `[peer+0x04]` from the anchor-site id argument
|
||||
- `0x0040f6d0 -> 0x00481390` writes the anchor-site linked peer id back into `[site+0x2a8]`
|
||||
- `0x0047dda0` consumes `[peer+0x08]` as the linked route-entry anchor id
|
||||
- `0x0041f7e0 / 0x0041f810 / 0x0041f850` already ground `[site+0x2a4]` as the record's own
|
||||
placed-structure id lane beneath the peer-chain helpers
|
||||
- `0x0040d210` is the owner-side placed-structure resolver from `[site+0x276]` through
|
||||
`0x0062be10`
|
||||
- `0x00480710 -> 0x0048abc0 / 0x00493cf0` is the linked-site refresh and route-entry rebind or
|
||||
synthesis strip above that anchor lane
|
||||
- the same `0x00480710` replay strip now also republishes the concrete world-cell owner chains:
|
||||
|
|
@ -71,15 +75,18 @@ Working rule:
|
|||
`[this+0x206/+0x20a/+0x20e]` plus the subordinate payload callback strip, and the
|
||||
`0x4a9d/0x4a3a/0x4a3b` side-buffer owner only persists route-entry lists, three byte arrays,
|
||||
five proximity buckets, and the sampled-cell list
|
||||
- the winning site id is staged in `[site+0x2a4]` before `0x004269b0` commits the acquisition
|
||||
- `0x004269b0` consumes the chosen site's own placed-structure id lane `[site+0x2a4]`
|
||||
- That leaves the acquisition blocker set tighter than before:
|
||||
- peer-site and linked-site replay seams are grounded enough for planning
|
||||
- the live owner-company meaning of `[site+0x276]` is already grounded through `0x0047efe0`,
|
||||
and the subtype byte consumed as `[candidate+0x32] == 4` is already bounded under the
|
||||
with the direct owner-side resolver bounded at `0x0040d210`
|
||||
- `[site+0x2a4]` is already grounded as the record's own placed-structure id lane through the
|
||||
peer-chain helpers `0x0041f7e0 / 0x0041f810 / 0x0041f850`
|
||||
- the subtype byte consumed as `[candidate+0x32] == 4` is already bounded under the
|
||||
aux-candidate load/stem-policy chain
|
||||
`0x004131f0 -> 0x00412fb0 -> 0x004120b0 -> 0x00412ab0`
|
||||
- remaining non-hook gaps are the save or replay projection of `[site+0x276]`, the staged winner
|
||||
lane `[site+0x2a4]`, the cached tri-lane `[site+0x310/+0x338/+0x360]`, and the projection from
|
||||
- remaining non-hook gaps are the save or replay projection of `[site+0x276]`, the save or
|
||||
replay projection of `[site+0x2a4]`, the cached tri-lane `[site+0x310/+0x338/+0x360]`, and the projection from
|
||||
restored backing-record selector `[site+0x04]` back into the loaded candidate subtype row
|
||||
- direct disassembly now shows the generic base constructor `0x0052edf0` clearing base state
|
||||
through `0x0052ecd0` and then writing `[this+0x04]` from caller arg `1`
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue