Tighten infrastructure class-specific owner questions

This commit is contained in:
Jan Petykiewicz 2026-04-18 14:52:42 -07:00
commit ab0573458b

View file

@ -4297,9 +4297,10 @@ fn build_infrastructure_asset_trace_report(
"0x0048e140 / 0x0048e160 / 0x0048e180 route-entry resolver helpers".to_string(), "0x0048e140 / 0x0048e160 / 0x0048e180 route-entry resolver helpers".to_string(),
]; ];
let next_owner_questions = vec![ let next_owner_questions = vec![
"How do the observed 0x55f3-to-next-0x55f1 gaps partition between child-local 0x52ebd0 flag bytes and the now-grounded next-record prelude [u16 child count, saved primary-child byte], starting from the first 0x38a6 record head 0x0001/0xff/0x55f1?".to_string(), "Does the pure bridge-section class 0x0002/0xff map directly to the two-child clone-path above 0x0048a1e0 and 0x0048dcf0?".to_string(),
"Does the pure BallastCap class 0x0055/0x00 represent a BallastCap-specific boundary artifact rather than a real outer prelude consumed by 0x0048dcf0?".to_string(),
"Which 0x38a5 embedded name-pair groups survive into the per-child vtable +0x40 payload callbacks dispatched through 0x00455a50?".to_string(), "Which 0x38a5 embedded name-pair groups survive into the per-child vtable +0x40 payload callbacks dispatched through 0x00455a50?".to_string(),
"Is cached primary-child slot [this+0x248] the first owner-visible bridge from the restored child stream into route-entry rebuild?".to_string(), "Is cached primary-child slot [this+0x248] the first owner-visible bridge from the restored child stream into route-entry rebuild once the bridge two-child class is isolated?".to_string(),
]; ];
let candidate_consumer_hypotheses = vec![ let candidate_consumer_hypotheses = vec![
SmpServiceConsumerHypothesis { SmpServiceConsumerHypothesis {
@ -24305,7 +24306,11 @@ mod tests {
assert_eq!(trace.triplet_alignment_overlap_count, 0); assert_eq!(trace.triplet_alignment_overlap_count, 0);
assert_eq!(trace.known_owner_bridge_fields.len(), 7); assert_eq!(trace.known_owner_bridge_fields.len(), 7);
assert_eq!(trace.known_bridge_helpers.len(), 13); assert_eq!(trace.known_bridge_helpers.len(), 13);
assert_eq!(trace.next_owner_questions.len(), 3); assert_eq!(trace.next_owner_questions.len(), 4);
assert!(trace
.next_owner_questions
.iter()
.any(|line| line.contains("0x0002/0xff")));
assert_eq!(trace.candidate_consumer_hypotheses.len(), 3); assert_eq!(trace.candidate_consumer_hypotheses.len(), 3);
assert_eq!( assert_eq!(
trace.candidate_consumer_hypotheses[0].status, trace.candidate_consumer_hypotheses[0].status,