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.
runtime-context-f2-object-pointerdescriptor-script-gate-rowfield-map-or-frontier-referencespecific-gate-base-proofHwanse2.exe: descriptor+4 script scans and opcode 0x42 handler evidenceout/save_selector_opcode20_descriptor_scripts.json: descriptor script rows and frontier/gate reference scansout/save_selector_selection_buffer_bases.json: runtime object pointer mode still required for context+0xa8| handler | context+0xf2 write | stream+2 write | mode |
|---|---|---|---|
0x0040644f | 0x00406480 | 0x004064a0 | stream+1==0 selects context+0xf2; stream+1==1 selects stream+2. |
| descriptor | script+0 CNS | candidate | stream+1 | effective base | gate rows after | field maps after | frontier refs after | last non-pointer | later pointer-like setters |
|---|---|---|---|---|---|---|---|---|---|
| 4 | btl_at.cns | 0x004d5ce8 | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | False | 5 |
| 4 | btl_at.cns | 0x004d5da0 | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | True | 5 |
| 5 | btl_rs.cns | 0x004dac5c | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | False | 4 |
| 5 | btl_rs.cns | 0x004dad14 | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | True | 4 |
| 6 | btl_sm.cns | 0x00524390 | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | False | 2 |
| 6 | btl_sm.cns | 0x00524448 | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | True | 2 |
| 7 | zsa_saru.cns | 0x004d2260 | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | False | 0 |
| 7 | zsa_saru.cns | 0x004d22e8 | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | True | 0 |
| 8 | zsl_yoi.cns | 0x0048c178 | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | False | 0 |
| 8 | zsl_yoi.cns | 0x0048c20c | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | True | 0 |
| 9 | zsa_mi.cns | 0x00557400 | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | False | 1 |
| 9 | zsa_mi.cns | 0x00557494 | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | True | 1 |
| 10 | zsa_iwa.cns | 0x0052db90 | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | False | 0 |
| 10 | zsa_iwa.cns | 0x0052dc24 | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | True | 0 |
| 11 | zsa_kika.cns | 0x004aabb8 | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | False | 0 |
| 11 | zsa_kika.cns | 0x004aac80 | 0x00 | dword[0x0059db30 + context[0xf2]*4] | 0 | 0 | 0 | True | 0 |