{"source":"map1_01a","target":"map2_02d","handlerTableVaHex":"0x00440720","sites":[{"role":"route-dispatch-stop","siteVaHex":"0x005428f4","valueHex":"0x005428e8","valueSection":".data","lowByteOpcode":232,"lowByteOpcodeHex":"0xe8","handlerEntryVaHex":"0x00440ac0","handlerValueHex":"0x00440c28","handlerSection":".data","isCodeHandler":false,"isDataDescriptor":true},{"role":"wrapper-child-pointer","siteVaHex":"0x00542a08","valueHex":"0x00542ae8","valueSection":".data","lowByteOpcode":232,"lowByteOpcodeHex":"0xe8","handlerEntryVaHex":"0x00440ac0","handlerValueHex":"0x00440c28","handlerSection":".data","isCodeHandler":false,"isDataDescriptor":true},{"role":"direct-leaf-entry-0","siteVaHex":"0x005429f4","valueHex":"0x00542ac0","valueSection":".data","lowByteOpcode":192,"lowByteOpcodeHex":"0xc0","handlerEntryVaHex":"0x00440a20","handlerValueHex":"0x00440c5c","handlerSection":".data","isCodeHandler":false,"isDataDescriptor":true},{"role":"direct-leaf-entry-1","siteVaHex":"0x005429fc","valueHex":"0x00542ad4","valueSection":".data","lowByteOpcode":212,"lowByteOpcodeHex":"0xd4","handlerEntryVaHex":"0x00440a70","handlerValueHex":"0x00080365","handlerSection":null,"isCodeHandler":false,"isDataDescriptor":false},{"role":"predecessor-root-entry-stop","siteVaHex":"0x004783e0","valueHex":"0x004783d0","valueSection":".data","lowByteOpcode":208,"lowByteOpcodeHex":"0xd0","handlerEntryVaHex":"0x00440a60","handlerValueHex":"0x00440a9c","handlerSection":".data","isCodeHandler":false,"isDataDescriptor":true},{"role":"predecessor-fill-fragment-stop","siteVaHex":"0x004844dc","valueHex":"0x000000c0","valueSection":null,"lowByteOpcode":192,"lowByteOpcodeHex":"0xc0","handlerEntryVaHex":"0x00440a20","handlerValueHex":"0x00440c5c","handlerSection":".data","isCodeHandler":false,"isDataDescriptor":true}],"dataDescriptors":[{"descriptorVaHex":"0x00440a9c","descriptorSection":".data","pointerRefCount":7,"pointerRefSections":[".data"],"byteOpcodeHandlerEntryCount":7,"sharedHandlerOpcodes":["0xc7","0xca","0xcd","0xd0","0xd3","0xd6","0xd9"],"tableAlignedRefCount":7,"tableAlignedRefIndexes":["0xc7","0xca","0xcd","0xd0","0xd3","0xd6","0xd9"],"refs":[{"section":".data","fileOffsetHex":"0x03ea3c","refVaHex":"0x00440a3c","valueHex":"0x00440a9c","handlerTableOpcode":199,"handlerTableOpcodeHex":"0xc7","isByteOpcodeHandlerEntry":true,"isTableAlignedRef":true},{"section":".data","fileOffsetHex":"0x03ea48","refVaHex":"0x00440a48","valueHex":"0x00440a9c","handlerTableOpcode":202,"handlerTableOpcodeHex":"0xca","isByteOpcodeHandlerEntry":true,"isTableAlignedRef":true},{"section":".data","fileOffsetHex":"0x03ea54","refVaHex":"0x00440a54","valueHex":"0x00440a9c","handlerTableOpcode":205,"handlerTableOpcodeHex":"0xcd","isByteOpcodeHandlerEntry":true,"isTableAlignedRef":true},{"section":".data","fileOffsetHex":"0x03ea60","refVaHex":"0x00440a60","valueHex":"0x00440a9c","handlerTableOpcode":208,"handlerTableOpcodeHex":"0xd0","isByteOpcodeHandlerEntry":true,"isTableAlignedRef":true},{"section":".data","fileOffsetHex":"0x03ea6c","refVaHex":"0x00440a6c","valueHex":"0x00440a9c","handlerTableOpcode":211,"handlerTableOpcodeHex":"0xd3","isByteOpcodeHandlerEntry":true,"isTableAlignedRef":true},{"section":".data","fileOffsetHex":"0x03ea78","refVaHex":"0x00440a78","valueHex":"0x00440a9c","handlerTableOpcode":214,"handlerTableOpcodeHex":"0xd6","isByteOpcodeHandlerEntry":true,"isTableAlignedRef":true},{"section":".data","fileOffsetHex":"0x03ea84","refVaHex":"0x00440a84","valueHex":"0x00440a9c","handlerTableOpcode":217,"handlerTableOpcodeHex":"0xd9","isByteOpcodeHandlerEntry":true,"isTableAlignedRef":true}],"descriptorWindow":[{"vaHex":"0x00440a9c","valueHex":"0x00000004","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440aa0","valueHex":"0x00440c28","valueSection":".data","kind":"pointer"},{"vaHex":"0x00440aa4","valueHex":"0x00000352","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440aa8","valueHex":"0x0000000b","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440aac","valueHex":"0x00050364","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440ab0","valueHex":"0x0200001a","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440ab4","valueHex":"0x00000003","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440ab8","valueHex":"0x00440adc","valueSection":".data","kind":"pointer"},{"vaHex":"0x00440abc","valueHex":"0x00000004","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440ac0","valueHex":"0x00440c28","valueSection":".data","kind":"pointer"},{"vaHex":"0x00440ac4","valueHex":"0x00000352","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440ac8","valueHex":"0x00000000","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440acc","valueHex":"0x00060364","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440ad0","valueHex":"0x01000002","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440ad4","valueHex":"0x00000003","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440ad8","valueHex":"0x00440adc","valueSection":".data","kind":"pointer"}]},{"descriptorVaHex":"0x00440c28","descriptorSection":".data","pointerRefCount":6,"pointerRefSections":[".data"],"byteOpcodeHandlerEntryCount":4,"sharedHandlerOpcodes":["0xa7","0xaf","0xe0","0xe8"],"tableAlignedRefCount":6,"tableAlignedRefIndexes":["0xa7","0xaf","0xe0","0xe8","0x100","0x109"],"refs":[{"section":".data","fileOffsetHex":"0x03e9bc","refVaHex":"0x004409bc","valueHex":"0x00440c28","handlerTableOpcode":167,"handlerTableOpcodeHex":"0xa7","isByteOpcodeHandlerEntry":true,"isTableAlignedRef":true},{"section":".data","fileOffsetHex":"0x03e9dc","refVaHex":"0x004409dc","valueHex":"0x00440c28","handlerTableOpcode":175,"handlerTableOpcodeHex":"0xaf","isByteOpcodeHandlerEntry":true,"isTableAlignedRef":true},{"section":".data","fileOffsetHex":"0x03eaa0","refVaHex":"0x00440aa0","valueHex":"0x00440c28","handlerTableOpcode":224,"handlerTableOpcodeHex":"0xe0","isByteOpcodeHandlerEntry":true,"isTableAlignedRef":true},{"section":".data","fileOffsetHex":"0x03eac0","refVaHex":"0x00440ac0","valueHex":"0x00440c28","handlerTableOpcode":232,"handlerTableOpcodeHex":"0xe8","isByteOpcodeHandlerEntry":true,"isTableAlignedRef":true},{"section":".data","fileOffsetHex":"0x03eb20","refVaHex":"0x00440b20","valueHex":"0x00440c28","handlerTableOpcode":256,"handlerTableOpcodeHex":"0x100","isByteOpcodeHandlerEntry":false,"isTableAlignedRef":true},{"section":".data","fileOffsetHex":"0x03eb44","refVaHex":"0x00440b44","valueHex":"0x00440c28","handlerTableOpcode":265,"handlerTableOpcodeHex":"0x109","isByteOpcodeHandlerEntry":false,"isTableAlignedRef":true}],"descriptorWindow":[{"vaHex":"0x00440c28","valueHex":"0x0000016d","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c2c","valueHex":"0x00000001","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c30","valueHex":"0xc0300138","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c34","valueHex":"0x40000000","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c38","valueHex":"0x00070006","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c3c","valueHex":"0x00440c2c","valueSection":".data","kind":"pointer"},{"vaHex":"0x00440c40","valueHex":"0x00000005","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c44","valueHex":"0x00000001","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c48","valueHex":"0xc0300138","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c4c","valueHex":"0x40000000","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c50","valueHex":"0x00070006","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c54","valueHex":"0x00440c44","valueSection":".data","kind":"pointer"},{"vaHex":"0x00440c58","valueHex":"0x00000005","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c5c","valueHex":"0x00000001","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c60","valueHex":"0xc0300238","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c64","valueHex":"0x00000040","valueSection":null,"kind":"scalar"}]},{"descriptorVaHex":"0x00440c5c","descriptorSection":".data","pointerRefCount":4,"pointerRefSections":[".data"],"byteOpcodeHandlerEntryCount":2,"sharedHandlerOpcodes":["0xc0","0xf5"],"tableAlignedRefCount":4,"tableAlignedRefIndexes":["0xc0","0xf5","0x114","0x153"],"refs":[{"section":".data","fileOffsetHex":"0x03ea20","refVaHex":"0x00440a20","valueHex":"0x00440c5c","handlerTableOpcode":192,"handlerTableOpcodeHex":"0xc0","isByteOpcodeHandlerEntry":true,"isTableAlignedRef":true},{"section":".data","fileOffsetHex":"0x03eaf4","refVaHex":"0x00440af4","valueHex":"0x00440c5c","handlerTableOpcode":245,"handlerTableOpcodeHex":"0xf5","isByteOpcodeHandlerEntry":true,"isTableAlignedRef":true},{"section":".data","fileOffsetHex":"0x03eb70","refVaHex":"0x00440b70","valueHex":"0x00440c5c","handlerTableOpcode":276,"handlerTableOpcodeHex":"0x114","isByteOpcodeHandlerEntry":false,"isTableAlignedRef":true},{"section":".data","fileOffsetHex":"0x03ec6c","refVaHex":"0x00440c6c","valueHex":"0x00440c5c","handlerTableOpcode":339,"handlerTableOpcodeHex":"0x153","isByteOpcodeHandlerEntry":false,"isTableAlignedRef":true}],"descriptorWindow":[{"vaHex":"0x00440c5c","valueHex":"0x00000001","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c60","valueHex":"0xc0300238","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c64","valueHex":"0x00000040","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c68","valueHex":"0x00070006","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c6c","valueHex":"0x00440c5c","valueSection":".data","kind":"pointer"},{"vaHex":"0x00440c70","valueHex":"0x0000006d","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c74","valueHex":"0x00000005","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c78","valueHex":"0x00000001","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c7c","valueHex":"0xc0300238","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c80","valueHex":"0x00000040","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c84","valueHex":"0x00070006","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c88","valueHex":"0x00440c78","valueSection":".data","kind":"pointer"},{"vaHex":"0x00440c8c","valueHex":"0x00000005","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c90","valueHex":"0x0000016d","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c94","valueHex":"0x00000043","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440c98","valueHex":"0x0800c010","valueSection":null,"kind":"scalar"}]}],"routeAndWrapperShareE8Descriptor":true,"directLeafUsesDistinctDescriptor":true,"predecessorRootStopIsDataDescriptor":true,"predecessorFillStopIsDataDescriptor":true,"d0DescriptorSharedHandlerOpcodes":["0xc7","0xca","0xcd","0xd0","0xd3","0xd6","0xd9"],"d0DescriptorTableAlignedRefIndexes":["0xc7","0xca","0xcd","0xd0","0xd3","0xd6","0xd9"],"d0DescriptorPointerRefSections":[".data"],"c0DescriptorSharedHandlerOpcodes":["0xc0","0xf5"],"c0DescriptorTableAlignedRefIndexes":["0xc0","0xf5","0x114","0x153"],"c0DescriptorPointerRefSections":[".data"],"e8DescriptorSharedHandlerOpcodes":["0xa7","0xaf","0xe0","0xe8"],"e8DescriptorTableAlignedRefIndexes":["0xa7","0xaf","0xe0","0xe8","0x100","0x109"],"e8DescriptorPointerRefSections":[".data"],"dispatchStopContextStatus":"blocked","leafTableRuntimeSelectionProven":false,"payloadDirectlyTargetsLeafTable":false,"payloadGraphEdgeCount":7,"payloadGraphComponentCount":4,"payloadGraphExternalEdgeCount":0,"payloadGraphAllEdgesLocal":true,"payloadGraphReachesFrontierTarget":false,"proofFound":false,"dataDescriptorOpcodeProofFound":false,"failedDataDescriptorGateIds":["runtime-leaf-selection","reader-control-path-after-descriptor","predecessor-root-to-fill-control-path","predecessor-fill-descriptor-bridge","strict-source-hotspot"],"missingEvidence":["runtime selector/index choosing wrapper 0x00542a04 or frontier leaf 0x00542ae8","control path reaching reader 0x00542b0c after the route descriptor boundary","decoded or observed predecessor root path from 0x004783e0 to 0x004844d0/0x004844d8","execution bridge across predecessor fill-fragment descriptor boundary 0x004844dc","strict map1_01a source coordinate or hotspot"],"evidenceRefs":[{"path":"Hwanse2.exe","fields":["handler table 0x00440720","route-dispatch-stop 0x005428f4","wrapper-child-pointer 0x00542a08","predecessor-root-entry-stop 0x004783e0","predecessor-fill-fragment-stop 0x004844dc"]},{"path":"out/save_selector_dispatch_stop_context.json","fields":["promotionStatus","routeStopVaHex","wrapperChildPointerVaHex","frontierReaderHex"]},{"path":"out/save_selector_leaf_table_context.json","fields":["runtimeSelectionProven","wrapperLeafHex","frontierLeafHex","frontierReaderHex"]},{"path":"out/save_selector_opcode24_payload_table.json","fields":["payloadDirectlyTargetsLeafTable","payloadGraphEdgeCount","payloadGraphAllEdgesLocal","payloadGraphReachesFrontierTarget"]}],"evidenceRefCount":4,"promotionStatus":"blocked","remainingProofs":["prove runtime selection of wrapper 0x00542a04 or frontier leaf 0x00542ae8","prove the control path reaches reader 0x00542b0c after the descriptor boundary","decode or observe the non-linear predecessor root path from 0x004783e0 to the fill fragment","bridge the predecessor fill-fragment descriptor boundary at 0x004844dc without guessing through data rows","find a strict map1_01a source coordinate or hotspot"],"conclusion":"The route dispatch stop at 0x005428f4 and the wrapper child pointer at 0x00542a08 both resolve low byte 0xe8 through the save-selector table to data descriptor 0x00440c28. That descriptor is shared by byte-opcode entries 0xa7, 0xaf, 0xe0, and 0xe8; its table-aligned refs also include 0x100 and 0x109, and all refs are data-only. The direct current-root leaf entry 0x005429f4 resolves through a different data descriptor, 0x00440c5c. The predecessor root-entry traversal stop at 0x004783e0 resolves low byte 0xd0 to data descriptor 0x00440a9c, while the predecessor fill-fragment stop at 0x004844dc resolves low byte 0xc0 to descriptor 0x00440c5c. Each row is a data-descriptor boundary, not executable control-flow proof that the route dispatch reaches wrapper 0x00542a04, frontier leaf 0x00542ae8, reader 0x00542b0c, or the predecessor fill sites from the 1:0 root entry."}