Save Selector Target Alias Bridges

Address-Adjacent Package Prefix

Promoting Exact Hits

selectorsourcevaluetarget labelsource roletarget classmetadata
10:00x0053f3280x00540714current root 2:0current-selector-row-selected-root-entryselector-row-metadataTrue

Alias Bridge Summary

selectorrolepublic sampleshitsdataclassesafter-fill dataafter-fill classesleaf corrected/effectivepre-writer targetstrace W/R/Scurrent->alias
1:0logical target-side predecessor-00-0-0/000/0/051
10:0address-adjacent target-side predecessor-7574leaf-table-window:9, pre-writer-script-range:65, selector-row-metadata:174leaf-table-window:9, pre-writer-script-range:652/2380/0/098
17:0additional map-set alias-00-0-0/000/0/00

After Last Fill Summary

selectortail hitsmetadatadatapre-writerleaf-tablecorrected/effective leaf readerreader/sceneunique trace targetstrace W/R/Sexecution-like
1:0000000/0000/0/0False
10:0740746592/20380/0/0False
17:0000000/0000/0/0False

Leaf-Table Hits

selectorsourceentryindexdescriptorchildroute pairraw readercorrected readereffective readerfrontier leaf
10:00x005401b00x005429bc-80x00542a340x00542bb8FalseFalseFalseFalseFalse
10:00x005402ec0x005429c4-60x00542a480x00542c20FalseFalseFalseFalseFalse
10:00x005403d00x005429cc-40x00542a5c0x00542c88FalseFalseFalseFalseFalse
10:00x005404740x005429d4-20x00542a700x00542cd0FalseFalseFalseFalseFalse
10:00x005404f40x005429dc00x00542a840x00542d38FalseFalseFalseFalseFalse
10:00x005405c80x005429ec40x00542aac0x00542dc8FalseFalseFalseFalseFalse
10:00x005406380x005429f460x00542ac00x00542e10TrueFalseTrueTrueFalse
10:00x005406800x005429fc80x00542ad40x00542e48TrueFalseTrueTrueFalse
10:00x005406c80x005429e420x00542a980x00542d80FalseFalseFalseFalseFalse

Pre-Writer Trace Targets

selectortargethitsstepsstopwriterreaderscene recordfirst opcodes
10:00x0054076c11branch-or-fallthrough @ 0x0054076cFalseFalseFalse0x31
10:00x0054077c2010no-fixed-advance @ 0x005407a8FalseFalseFalse0x6d,0x01,0x38,0x06,0x80,0x05,0x01,0x38
10:00x005407b094no-fixed-advance @ 0x005407c0FalseFalseFalse0x01,0x38,0x06,0xb0
10:00x005407e411branch-or-fallthrough @ 0x005407e4FalseFalseFalse0x32
10:00x0054089811branch-or-fallthrough @ 0x00540898FalseFalseFalse0x32
10:00x00540aa419no-fixed-advance @ 0x00540ac4FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00540af419branch-or-fallthrough @ 0x00540b14FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00540b9419no-fixed-advance @ 0x00540bb4FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00540be419branch-or-fallthrough @ 0x00540c04FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00540c38114no-fixed-advance @ 0x00540c6cFalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00540c8c19no-fixed-advance @ 0x00540cacFalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00540cdc115no-fixed-advance @ 0x00540d14FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00540d4019no-fixed-advance @ 0x00540d60FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00540da419no-fixed-advance @ 0x00540dc4FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00540e08115no-fixed-advance @ 0x00540e40FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00540e5819no-fixed-advance @ 0x00540e78FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00540ea817no-fixed-advance @ 0x00540ec0FalseFalseFalse0x08,0x02,0x02,0x01,0x01,0x03,0xd8
10:00x00540ef419no-fixed-advance @ 0x00540f14FalseFalseFalse0x08,0x02,0x02,0x01,0x01,0x03,0x24,0x02
10:00x00540f4019no-fixed-advance @ 0x00540f60FalseFalseFalse0x08,0x02,0x02,0x01,0x01,0x03,0x7c,0x02
10:00x00540fb4113no-fixed-advance @ 0x00540fe4FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x005410e4113no-fixed-advance @ 0x00541114FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x005411f819branch-or-fallthrough @ 0x00541218FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x005412e8113no-fixed-advance @ 0x00541318FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x005413d819branch-or-fallthrough @ 0x005413f8FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x0054154019no-fixed-advance @ 0x00541560FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x0054163019no-fixed-advance @ 0x00541650FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00541720113no-fixed-advance @ 0x00541750FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00541810113no-fixed-advance @ 0x00541840FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00541900114no-fixed-advance @ 0x00541934FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x0054199c111branch-or-fallthrough @ 0x005419c4FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00541a8419no-fixed-advance @ 0x00541aa4FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00541b7019no-fixed-advance @ 0x00541b90FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00541c5c19no-fixed-advance @ 0x00541c7cFalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00541d68111branch-or-fallthrough @ 0x00541d90FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00541e3819no-fixed-advance @ 0x00541e58FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x005421b4113no-fixed-advance @ 0x005421e4FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x00542294113no-fixed-advance @ 0x005422c4FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03
10:00x005424e0111branch-or-fallthrough @ 0x00542508FalseFalseFalse0x08,0x03,0x00,0x02,0x02,0x01,0x01,0x03

The target-side alias bridge scan finds direct dword links from target aliases into the bounded current 2:0 root range, but all forward hits come from the non-public, address-adjacent 10:0 range; the public-covered target alias 1:0 has no forward hits. None of those links directly targets the current root, the 0x00542b0c reader, or the map1_01a/map2_02d scene-record pair as a data edge. The sole exact current-root hit is selector-row metadata at 0x0053f328 rather than a root-range data edge. Two leaf-table hits land on current route-pair descriptor entries; their raw traces stop before the frontier reader, while the opcode-0x2c-corrected traces do reach it. The after-last-fill subset contains only 10:0 tail data links into pre-writer script and leaf-table windows, and those pre-writer traces still do not reach the current writer, reader, or route scene records. The address-adjacent 10:0 prefix also contains the current 2:0 root pointer followed by a resource list containing middata.mlk and source/target map CNS names, which is a useful package/list shape clue but still metadata rather than an execution edge. The hits therefore narrow likely shared substructure and corrected route-pair adjacency between alias roots but still do not prove runtime leaf selection, execution order, branch-state persistence, or a strict map1_01a hotspot.

Alias Rows

selectorroleroot rangefillsalias->currentmetadata/data/promoting/promoting-dataafter last fill hitsafter-fill traces W/R/Scurrent->aliasexecution-like
1:0logical target-side predecessor0x00478364..0x0048458c200/0/0/000/0/051False
10:0address-adjacent target-side predecessor0x0053c4a4..0x0054071425751/74/1/0740/0/098False
17:0additional map-set alias0x004f28a4..0x004f5ae8000/0/0/000/0/00False

Target Classes

After Last Fill Target Classes

Forward Hits

1:0

sourcevaluetarget labelsource role
none

10:0

sourcevaluetarget labelsource role
0x0053f3280x00540714current root 2:0current-selector-row-selected-root-entry
0x005400d00x0054077cinside-target-root-rangeroot-range-data
0x005400f00x0054077cinside-target-root-rangeroot-range-data
0x005401100x0054077cinside-target-root-rangeroot-range-data
0x005401300x0054077cinside-target-root-rangeroot-range-data
0x005401500x0054077cinside-target-root-rangeroot-range-data
0x005401700x0054077cinside-target-root-rangeroot-range-data
0x005401900x0054077cinside-target-root-rangeroot-range-data
0x005401b00x005429bcinside-target-root-rangeroot-range-data
0x005401bc0x00540aa4inside-target-root-rangeroot-range-data
0x005401c40x00540af4inside-target-root-rangeroot-range-data
0x005401cc0x00540b94inside-target-root-rangeroot-range-data
0x005401d40x00540be4inside-target-root-rangeroot-range-data
0x005401dc0x00540fb4inside-target-root-rangeroot-range-data
0x005401e40x005410e4inside-target-root-rangeroot-range-data
0x005401ec0x005411f8inside-target-root-rangeroot-range-data
0x005401f40x005412e8inside-target-root-rangeroot-range-data
0x005401fc0x005413d8inside-target-root-rangeroot-range-data
0x005402040x00541540inside-target-root-rangeroot-range-data
0x0054020c0x00541630inside-target-root-rangeroot-range-data
0x005402140x00541720inside-target-root-rangeroot-range-data
0x0054021c0x00541810inside-target-root-rangeroot-range-data
0x005402240x005407b0inside-target-root-rangeroot-range-data
0x005402a00x005407e4inside-target-root-rangeroot-range-data
0x005402a80x0054077cinside-target-root-rangeroot-range-data
0x005402cc0x0054077cinside-target-root-rangeroot-range-data
0x005402ec0x005429c4inside-target-root-rangeroot-range-data
0x005402f80x00540c38inside-target-root-rangeroot-range-data
0x005403000x00540f40inside-target-root-rangeroot-range-data
0x005403080x00541d68inside-target-root-rangeroot-range-data
0x005403100x005407b0inside-target-root-rangeroot-range-data
0x005403800x00540898inside-target-root-rangeroot-range-data
0x005403900x0054077cinside-target-root-rangeroot-range-data
0x005403b00x0054077cinside-target-root-rangeroot-range-data
0x005403d00x005429ccinside-target-root-rangeroot-range-data
0x005403dc0x00540c8cinside-target-root-rangeroot-range-data
0x005403e40x00540cdcinside-target-root-rangeroot-range-data
0x005403ec0x00540d40inside-target-root-rangeroot-range-data
0x005403f40x00540da4inside-target-root-rangeroot-range-data
0x005403fc0x005407b0inside-target-root-rangeroot-range-data
0x005404540x0054077cinside-target-root-rangeroot-range-data
0x005404740x005429d4inside-target-root-rangeroot-range-data
0x005404800x00541e38inside-target-root-rangeroot-range-data
0x005404880x005421b4inside-target-root-rangeroot-range-data
0x005404900x00542294inside-target-root-rangeroot-range-data
0x005404980x005407b0inside-target-root-rangeroot-range-data
0x005404b40x0054077cinside-target-root-rangeroot-range-data
0x005404d40x0054077cinside-target-root-rangeroot-range-data
0x005404f40x005429dcinside-target-root-rangeroot-range-data
0x005405000x00540ea8inside-target-root-rangeroot-range-data
0x005405080x00540ef4inside-target-root-rangeroot-range-data
0x005405100x00541900inside-target-root-rangeroot-range-data
0x005405180x0054199cinside-target-root-rangeroot-range-data
0x005405200x00541a84inside-target-root-rangeroot-range-data
0x005405280x00541b70inside-target-root-rangeroot-range-data
0x005405300x00541c5cinside-target-root-rangeroot-range-data
0x005405380x005407b0inside-target-root-rangeroot-range-data
0x0054055c0x0054076cinside-target-root-rangeroot-range-data
0x005405680x0054077cinside-target-root-rangeroot-range-data
0x005405880x0054077cinside-target-root-rangeroot-range-data
0x005405a80x0054077cinside-target-root-rangeroot-range-data
0x005405c80x005429ecinside-target-root-rangeroot-range-data
0x005405d40x00540e08inside-target-root-rangeroot-range-data
0x005405dc0x00540e58inside-target-root-rangeroot-range-data
0x005405e40x005407b0inside-target-root-rangeroot-range-data
0x005406180x0054077cinside-target-root-rangeroot-range-data
0x005406380x005429f4inside-target-root-rangeroot-range-data
0x005406440x005407b0inside-target-root-rangeroot-range-data
0x005406600x0054077cinside-target-root-rangeroot-range-data
0x005406800x005429fcinside-target-root-rangeroot-range-data
0x0054068c0x005407b0inside-target-root-rangeroot-range-data
0x005406a80x0054077cinside-target-root-rangeroot-range-data
0x005406c80x005429e4inside-target-root-rangeroot-range-data
0x005406d40x005424e0inside-target-root-rangeroot-range-data
0x005406dc0x005407b0inside-target-root-rangeroot-range-data

17:0

sourcevaluetarget labelsource role
none

Remaining Proofs