Selection Buffer 0x20 Provenance

map1_01a -> map2_02d. Writers: 813. Readers: 127. writer roots: 35. reader roots: 32.

current root 2:0: 0x00540714 writers=18 readers=6 routePair=True.

source-side root 0:0: 0x00501808 writers=4 readers=2 sourceOnly=True.

predecessor root 1:0: 0x00478364 writers=0 readers=3 targetOnly=True.

nearest current writer: 0x005428bc. frontier reader: 0x00542b0c. promotion status: blocked.

selectionBuffer[0x20] is a broad VM selection slot. The current 2:0 root contains both source and target scene records, but source-only 0:0 and predecessor target-only 1:0 roots show that root-level reader/writer counts are not enough to promote map1_01a -> map2_02d. Runtime branch-state values, control flow to the 0x00542b0c reader, and a strict source hotspot remain required.

Route Related Roots

role	root	writers	readers	source	target	maps
current-route-root	`0x00540714` 2:0	18	6	True	True	map1_01a, map2_02d, map2_18d, map2_09g, map2_10g, map2_11g, map2_12h, map2_17h, +3
source-side-root	`0x00501808` 0:0	4	2	True	False	map1_01a, map1_02b
predecessor-target-side-root	`0x00478364` 1:0	0	3	False	True	map2_02d, map2_18d, map2_09g, map2_10g, map2_11g, map2_12h, map2_17h, map2_14j, +2
target-side-root	`0x0044aad0` 4:1	0	4	False	True	map3_09a, map2_02d, map2_18d, map2_09g, map2_10g, map2_11g, map2_12h, map2_17h, +1
target-side-root	`0x004f28a4` 17:0	0	3	False	True	map2_02d, map2_18d, map2_09g, map2_10g, map2_11g, map2_12h, map2_17h, map2_14j, +2
target-side-root	`0x0053c4a4` 10:0	3	5	False	True	map2_02d, map2_18d, map2_09g, map2_10g, map2_11g, map2_12h, map2_17h, map2_14j, +2

Local Writers Before Frontier Reader

writer	value	stream	kind	next question
`0x00542474`	`0x00200012`	`0x00542470`	primary local writer before current frontier reader	Resolve the branch-state table values produced by the preceding 0x10 helper calls, then identify which slot 0x12 stores into selectionBuffer[0x20].
`0x0054247c`	`0x00200013`	`0x00542470`	runtime-slot local writer before current frontier reader	Treat this 0x13 value as an intermediate overwrite, then continue to the later 0x12 writer.
`0x00542484`	`0x00200012`	`0x00542470`	primary local writer before current frontier reader	Resolve the branch-state table values produced by the preceding 0x10 helper calls, then identify which slot 0x12 stores into selectionBuffer[0x20].
`0x005428bc`	`0x00208212`	`0x005428b4`	secondary local writer before current frontier reader	Resolve the branch-state table values produced by the preceding 0x10 helper calls, then identify which slot 0x12 stores into selectionBuffer[0x20].

Top Writer Roots

root	writers	readers	role	maps
`0x004b35d4` 27:0	277	0	unrelated-root	-
`0x00503870` 40:0	128	29	unrelated-root	-
`0x004dac1c` 29:0	92	1	unrelated-root	-
`0x004d5ca8` 28:0	45	0	unrelated-root	-
`0x00524350` 30:0	32	1	unrelated-root	-
`0x004a69ac` 46:0	28	1	unrelated-root	-
`0x004e785c` 25:0	20	0	unrelated-root	-
`0x004f8dd8` 24:0	20	1	unrelated-root	-
`0x0051bf28` 36:2	20	6	unrelated-root	-
`0x0048458c` 12:0	19	7	unrelated-root	map5_14i, map5_37i
`0x00540714` 2:0	18	6	current-route-root	map1_01a, map2_02d, map2_18d, map2_09g, map2_10g, +6
`0x0044dd5c` 45:0	13	8	unrelated-root	-

Remaining Proofs

Capture or emulate the runtime branch-state values used by 0x005428bc and 0x00542b0c.
Prove the control path that reaches the 0x00542b0c reader in selector 2:0.
Find a strict map1_01a source coordinate/hotspot for map2_02d.