Save Selector Gate Pass Matrix

route map1_01a -> map2_02d; predecessor pass samples 0 / 0; zero-table pass samples 0 / 0; party-slot in-range values 0 / 0; runtime base proof required: True; predecessor persistence proof required: True; strict hotspot proof required: True; proofFound False; promotion status blocked.

With the corrected save/runtime mapping, public samples put both gate indices at 0. Under the strongest predecessor 1:0 hypothesis, secondaryBranchState[0] is 1, so both current control gates 0x005428c4 and 0x005428cc would fall through for every public sample. Under an all-zero table they would not. This narrows the gate problem but does not promote map1_01a -> map2_02d: the public samples do not cover selector 2:0, the runtime context+0xa8 base at the gates is still unproven, and there is still no strict map1_01a source hotspot.

Failed Gates

current-selector-2-0-sample
runtime-base-at-gate
predecessor-state-persistence
strict-source-hotspot

Missing Evidence

current selector 2:0 sample proving gate indices for this route
runtime context+0xa8 base at 0x005428c4 and 0x005428cc
predecessor 1:0 state persistence into the current 2:0 gate path
strict map1_01a source hotspot

Evidence Refs

out/save_selector_gate_sample_values.json: corrected public savedat gate-byte sample rows
out/save_selector_predecessor_state_effect.json: predecessor branch-state table hypothesis used for pass/fail evaluation
out/save_selector_gate_paths.json: current gate trace rows and branch/fallthrough addresses

Current Gates

gate	value	selection offset	table	branch target	fallthrough
`0x005428c4`	`0x00e88111`	`0xe8`	secondaryBranchState	`0x00000001`	`0x005428cc`
`0x005428cc`	`0x00ea8211`	`0xea`	secondaryBranchState	`0x00000002`	`0x005428d4`

Save/Runtime Matrix

sample	selector	hypothesis	gate results	all gates fall through

Party Slot Stat Summary

sample values 0; in range 0; out of range 0; distinct values .