Save Selector Target Alias State Effects

route: map1_01a -> map2_02d
current writer/reader: 0x005428bc / 0x00542b0c
target aliases: 1:0, 10:0, 17:0
modeled pass fill: 0x00000210
aliases that would pass if executed and persisted: 1:0, 10:0
aliases without fill proof: 17:0
all target aliases have fill proof: False
promotion status: blocked

Target-side aliases 1:0 and 10:0 both contain only modeled 0x00000210 secondaryBranchState fills, so if either alias actually executes and its state persists into current selector 2:0, the current 0x005428bc writer would select a passing slot for every possible start value before reader 0x00542b0c. Alias 17:0 has no modeled fill rows. This narrows the value side of the branch-state equation across target aliases, but it still does not prove which alias executes, that the state persists across roots, that the gated path reaches the reader, or that map1_01a has a strict source hotspot.

Alias Effects

selector	role	root	fills	fill values	pass starts	public samples	status
`1:0`	logical target-side predecessor	`0x00478364`	2	`0x00000210`	12/12	`-`	`all-fills-produce-pass-prefix`
`10:0`	address-adjacent target-side predecessor	`0x0053c4a4`	25	`0x00000210`	12/12	`-`	`all-fills-produce-pass-prefix`
`17:0`	additional map-set alias	`0x004f28a4`	0	`-`	0/12	`-`	`no-fill-proof`

Remaining Proofs

prove which target-side alias actually executes before current selector 2:0
prove secondaryBranchState persists into the 0x00542b0c reader
prove the gated control path reaches 0x00542b0c
find a strict map1_01a source hotspot or equivalent original transition trigger