Save Selector Opcode 0x20 Object Base Candidates

route map1_01a -> map2_02d; non-pointer object-base candidates: 16; context+0xf2 object selectors: 16; fixed stream+2 object selectors: 0; gate rows after candidates 0; field-map rows after candidates 0; frontier refs after candidates 0; proofFound False; promotion status blocked.

The 16 non-pointer descriptor+4 context+0xa8 rows are all opcode 0x42 object-base selectors with stream+1 == 0, so the handler chooses dword[0x0059db30 + context[0xf2]*4] rather than a fixed stream+2 object index. Scanning the rest of each descriptor+4 script after these rows finds no 0xe8/0xea selection-buffer reads or writes, no field-map CNS records, and no current-frontier direct references. These rows are therefore generic runtime object-base reselections, not a specific gate-base proof for map1_01a -> map2_02d.

Failed Gates

Missing Evidence

Evidence Refs

Handler Evidence

handlercontext+0xf2 writestream+2 writemode
0x0040644f0x004064800x004064a0stream+1==0 selects context+0xf2; stream+1==1 selects stream+2.

Candidates

descriptorscript+0 CNScandidatestream+1effective basegate rows afterfield maps afterfrontier refs afterlast non-pointerlater pointer-like setters
4btl_at.cns0x004d5ce80x00dword[0x0059db30 + context[0xf2]*4]000False5
4btl_at.cns0x004d5da00x00dword[0x0059db30 + context[0xf2]*4]000True5
5btl_rs.cns0x004dac5c0x00dword[0x0059db30 + context[0xf2]*4]000False4
5btl_rs.cns0x004dad140x00dword[0x0059db30 + context[0xf2]*4]000True4
6btl_sm.cns0x005243900x00dword[0x0059db30 + context[0xf2]*4]000False2
6btl_sm.cns0x005244480x00dword[0x0059db30 + context[0xf2]*4]000True2
7zsa_saru.cns0x004d22600x00dword[0x0059db30 + context[0xf2]*4]000False0
7zsa_saru.cns0x004d22e80x00dword[0x0059db30 + context[0xf2]*4]000True0
8zsl_yoi.cns0x0048c1780x00dword[0x0059db30 + context[0xf2]*4]000False0
8zsl_yoi.cns0x0048c20c0x00dword[0x0059db30 + context[0xf2]*4]000True0
9zsa_mi.cns0x005574000x00dword[0x0059db30 + context[0xf2]*4]000False1
9zsa_mi.cns0x005574940x00dword[0x0059db30 + context[0xf2]*4]000True1
10zsa_iwa.cns0x0052db900x00dword[0x0059db30 + context[0xf2]*4]000False0
10zsa_iwa.cns0x0052dc240x00dword[0x0059db30 + context[0xf2]*4]000True0
11zsa_kika.cns0x004aabb80x00dword[0x0059db30 + context[0xf2]*4]000False0
11zsa_kika.cns0x004aac800x00dword[0x0059db30 + context[0xf2]*4]000True0