Save Selector Opcode 0x20 Slot Descriptor Writers

route map1_01a -> map2_02d; descriptor table 0x00442d95; slot base 0x00457750; count byte 0x004576e8; order bytes 0x004576e9; opcode 0x20 mode 0 script source descriptor+4; runtime active order required: True; proofFound False; promotion status blocked.

The opcode 0x20 slot first dword is a runtime descriptor pointer, not a static object pointer. The materializer routines write descriptors from table 0x00442d95 into 0x00457750 + slot*0xd8, using active order bytes at 0x004576e9 and the runtime count at 0x004576e8. Opcode 0x20 mode 0 therefore follows descriptor+4 scripts only after these routines have run. The next proof target is the active order/count at the current frontier or the descriptor+4 script chosen for that order; route promotion remains blocked.

Failed Gates

runtime-active-order
descriptor-materializer-execution
descriptor-plus4-selection
selected-root-execution-or-trace

Missing Evidence

runtime active order/count selecting descriptor table entries
descriptor materializer routine execution on the current route path
descriptor+4 script selected by opcode 0x20 mode 0 for selector 2:0
selected-root execution or equivalent runtime trace reaching descriptor materialization

Evidence Refs

Hwanse2.exe: descriptor table references and materializer routine writes
out/save_selector_opcode20_slot_sources.json: slot base/count source and runtime descriptor pointer requirement

Materializer Routines

routine	name	descriptor write	nested run	object store	role
`0x0043215c`	add active save/object slot	`0x004321cd`	`0x004321fe`	`0x004322bd`	adds an id to 0x004576e9[count], stores slot base in 0x0059db30[count], increments count, then materializes descriptors
`0x00432323`	rebuild active slot descriptors	`0x004323dd`	`0x0043240e`	`0x004324cd`	rebuilds active descriptors from 0x004576e9 order bytes and stores created runtime objects in 0x0059dd70
`0x00432541`	remove/rebuild active slot descriptors	`0x0043271f`	`0x004325a7, 0x00432750`	`0x0043280f`	runs descriptor+4 scripts for active objects, removes a matching id, compacts order/slot tables, then rematerializes descriptors

Descriptor Table Samples

index	entry	descriptor	script+0	script+4	script+8
0	`0x00442d95`	`0x004f867c`	`0x004f8dd8`	`0x004f8df8`	`0x004f8e0c`
1	`0x00442d99`	`0x004e75a0`	`0x004e785c`	`0x004e787c`	`0x004e7890`
2	`0x00442d9d`	`0x00546004`	`0x005462fc`	`0x0054631c`	`0x00546330`
3	`0x00442da1`	`0x004b218c`	`0x004b35d4`	`0x004b3604`	`0x004b3620`
4	`0x00442da5`	`0x004d5868`	`0x004d5ca8`	`0x004d5cc8`	`0x004d5d6c`
5	`0x00442da9`	`0x004da88c`	`0x004dac1c`	`0x004dac3c`	`0x004dace0`
6	`0x00442dad`	`0x00524060`	`0x00524350`	`0x00524370`	`0x00524414`
7	`0x00442db1`	`0x004d21c0`	`0x004d222c`	`0x004d224c`	`0x004d22bc`
8	`0x00442db5`	`0x0048c094`	`0x0048c144`	`0x0048c164`	`0x0048c1e0`
9	`0x00442db9`	`0x0055734c`	`0x005573cc`	`0x005573ec`	`0x00557468`
10	`0x00442dbd`	`0x0052dad8`	`0x0052db58`	`0x0052db7c`	`0x0052dbf8`
11	`0x00442dc1`	`0x004aab00`	`0x004aab84`	`0x004aaba4`	`0x004aac54`