Selected Root Live Writer Frontier
selector bytes and selectedRoot writer/executor VM primitives are grounded. This proves how a decoded stream can choose and execute a selected root, but it still does not prove which live field/scene route produces that stream in normal gameplay.
statusselected-root-writer-primitives-grounded-route-producer-pending
direct refs10
selector writer refs2
selectedRoot writers3
review required0
New Evidence
- 0x00406dbb is a real VM handler table entry and writes selectorA/B from stream operands in subcase 1.
- 0x0040ad9b and 0x0040ae0e are selectedRoot writer primitives.
- 0x0040adc9 is the selectedRoot executor/consumer.
- 0x00423319 remains a save/load restore bridge and is not a live route producer.
Handler Rows
| handler | dispatch entry | semantics |
|---|---|---|
selector byte setter0x00406dbb | 0x00440674{"entryVaHex": "0x00440674", "handlerVaHex": "0x00406dbb", "generalDispatchIndex": 79, "generalDispatchIndexHex": "0x4f", "saveSelectorSliceIndex": null, "saveSelectorSliceIndexHex": null} | case 0: push continuation stream+4; jump to dword[0x004dc518] case 1: selectorA=stream[+2], selectorB=stream[+3]; push continuation stream+4; jump to dword[0x004dc514] case 2/3: call save/load restore 0x00423319 with mode 0/1 |
selectedRoot indexed writer0x0040ad9b | 0x0044073c{"entryVaHex": "0x0044073c", "handlerVaHex": "0x0040ad9b", "generalDispatchIndex": 129, "generalDispatchIndexHex": "0x81", "saveSelectorSliceIndex": 7, "saveSelectorSliceIndexHex": "0x07"} | selectedRoot = streamTable[index]; advance +8 |
selectedRoot executor0x0040adc9 | 0x00440740{"entryVaHex": "0x00440740", "handlerVaHex": "0x0040adc9", "generalDispatchIndex": 130, "generalDispatchIndexHex": "0x82", "saveSelectorSliceIndex": 8, "saveSelectorSliceIndexHex": "0x08"} | if selectedRoot != 0, push continuation and set current stream to selectedRoot |
selectedRoot direct writer0x0040ae0e | 0x00440744{"entryVaHex": "0x00440744", "handlerVaHex": "0x0040ae0e", "generalDispatchIndex": 131, "generalDispatchIndexHex": "0x83", "saveSelectorSliceIndex": 9, "saveSelectorSliceIndexHex": "0x09"} | mode 0: selectedRoot = inline stream+4 mode 1: selectedRoot = stream dword at +4 |
Direct References
| global/ref | function | classification |
|---|---|---|
selectorA0x00406e0f | 0x00406dbbselector-byte-writer | grounded-vm-writer-primitive opcode handler copies stream operands +2/+3 into selector bytes, then switches to a fixed root pointer. |
selectorA0x004234a4 | 0x00423319save-load-restore | excluded-save-load restore path reads selector bytes and writes selectedRoot after loading persistent state blocks. |
selectorB0x00406e1d | 0x00406dbbselector-byte-writer | grounded-vm-writer-primitive opcode handler copies stream operands +2/+3 into selector bytes, then switches to a fixed root pointer. |
selectorB0x004234b3 | 0x00423319save-load-restore | excluded-save-load restore path reads selector bytes and writes selectedRoot after loading persistent state blocks. |
selectedRoot0x0040adb9 | 0x0040ad9bselected-root-indexed-writer | grounded-vm-writer-primitive selectedRoot = dword table[index] where table comes from stream +4 and index from stream +1. |
selectedRoot0x0040add8 | 0x0040adc9selected-root-executor | grounded-consumer-not-producer if selectedRoot is nonzero, push continuation and set current stream to selectedRoot. |
selectedRoot0x0040adff | 0x0040adc9selected-root-executor | grounded-consumer-not-producer if selectedRoot is nonzero, push continuation and set current stream to selectedRoot. |
selectedRoot0x0040ae38 | 0x0040ae0eselected-root-direct-or-inline-writer | grounded-vm-writer-primitive mode 0 sets selectedRoot to inline stream+4; mode 1 sets selectedRoot to stream dword at +4. |
selectedRoot0x0040ae4b | 0x0040ae0eselected-root-direct-or-inline-writer | grounded-vm-writer-primitive mode 0 sets selectedRoot to inline stream+4; mode 1 sets selectedRoot to stream dword at +4. |
selectedRoot0x004234bb | 0x00423319save-load-restore | excluded-save-load restore path reads selector bytes and writes selectedRoot after loading persistent state blocks. |
Remaining Proofs
- Find the live scene/field root that reaches the selector byte setter with a normal gameplay stream.
- Prove a current stream/root in actual play is dispatched through the selectedRoot writer/executor path.
- Connect this selected-root layer upward to map transition, dialogue branch, or encounter setup producer evidence.