{"source":"map1_01a","target":"map2_02d","dispatchStopVaHex":"0x005428f4","dispatchStopValueHex":"0x005428e8","dispatchStopOpcodeHex":"0xe8","handlerTableVaHex":"0x00440720","handlerTableEntryVaHex":"0x00440ac0","handlerTableEntryValueHex":"0x00440c28","entryValueHex":"0x00440c28","entryValueSection":".data","entryValueIsCodeHandler":false,"handlerForOpcode":{"opcode":232,"opcodeHex":"0xe8","entryVa":4459200,"entryVaHex":"0x00440ac0","handlerVa":4459560,"handlerVaHex":"0x00440c28","handlerSection":".data","isDefaultHandler":false,"isCodeHandler":false},"gateDispatchStopHandlerVaHex":"0x00440c28","gateDispatchStopHandlerSection":".data","gateDispatchStopIsCodeHandler":false,"frontierLeafHex":"0x00542ae8","frontierReaderHex":"0x00542b0c","targetPointerRefCount":6,"targetPointerRefSections":[".data"],"targetPointerRefs":[{"section":".data","fileOffsetHex":"0x03e9bc","refVaHex":"0x004409bc","valueHex":"0x00440c28"},{"section":".data","fileOffsetHex":"0x03e9dc","refVaHex":"0x004409dc","valueHex":"0x00440c28"},{"section":".data","fileOffsetHex":"0x03eaa0","refVaHex":"0x00440aa0","valueHex":"0x00440c28"},{"section":".data","fileOffsetHex":"0x03eac0","refVaHex":"0x00440ac0","valueHex":"0x00440c28"},{"section":".data","fileOffsetHex":"0x03eb20","refVaHex":"0x00440b20","valueHex":"0x00440c28"},{"section":".data","fileOffsetHex":"0x03eb44","refVaHex":"0x00440b44","valueHex":"0x00440c28"}],"handlerTableEntryWindow":[{"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"},{"vaHex":"0x00440adc","valueHex":"0x0000005a","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440ae0","valueHex":"0x00440f08","valueSection":".data","kind":"pointer"},{"vaHex":"0x00440ae4","valueHex":"0x0000034b","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440ae8","valueHex":"0x00000307","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440aec","valueHex":"0x00440d98","valueSection":".data","kind":"pointer"},{"vaHex":"0x00440af0","valueHex":"0x00000004","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440af4","valueHex":"0x00440c5c","valueSection":".data","kind":"pointer"},{"vaHex":"0x00440af8","valueHex":"0x00000091","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440afc","valueHex":"0x000c1f40","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440b00","valueHex":"0x004e32ec","valueSection":".data","kind":"pointer"},{"vaHex":"0x00440b04","valueHex":"0x00000083","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440b08","valueHex":"0x00000265","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440b0c","valueHex":"0x0000001c","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440b10","valueHex":"0x004409b8","valueSection":".data","kind":"pointer"},{"vaHex":"0x00440b14","valueHex":"0x00000092","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440b18","valueHex":"0x00000005","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440b1c","valueHex":"0x00000004","valueSection":null,"kind":"scalar"}],"targetDescriptorWindow":[{"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"},{"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"},{"vaHex":"0x00440c9c","valueHex":"0x00000040","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440ca0","valueHex":"0x00000062","valueSection":null,"kind":"scalar"},{"vaHex":"0x00440ca4","valueHex":"0x00000162","valueSection":null,"kind":"scalar"}],"dispatchStopWindow":[{"vaHex":"0x005428e4","valueHex":"0x0c000124","valueSection":null,"kind":"scalar"},{"vaHex":"0x005428e8","valueHex":"0x00010021","valueSection":null,"kind":"scalar"},{"vaHex":"0x005428ec","valueHex":"0x00210000","valueSection":null,"kind":"scalar"},{"vaHex":"0x005428f0","valueHex":"0x00000003","valueSection":null,"kind":"scalar"},{"vaHex":"0x005428f4","valueHex":"0x005428e8","valueSection":".data","kind":"pointer"},{"vaHex":"0x005428f8","valueHex":"0x00000008","valueSection":null,"kind":"scalar"},{"vaHex":"0x005428fc","valueHex":"0x00000003","valueSection":null,"kind":"scalar"},{"vaHex":"0x00542900","valueHex":"0x10000000","valueSection":null,"kind":"scalar"},{"vaHex":"0x00542904","valueHex":"0x0011e802","valueSection":null,"kind":"scalar"},{"vaHex":"0x00542908","valueHex":"0x0004ea02","valueSection":null,"kind":"scalar"},{"vaHex":"0x0054290c","valueHex":"0x0003e601","valueSection":null,"kind":"scalar"},{"vaHex":"0x00542910","valueHex":"0x0003e701","valueSection":null,"kind":"scalar"}],"dispatchStopIsDescriptorContext":true,"promotionStatus":"blocked","remainingProofs":["prove which descriptor/table row the 0x24 action-state boundary selects","prove execution reaches frontier leaf 0x00542ae8 before reader 0x00542b0c","find a strict map1_01a source coordinate or hotspot"],"conclusion":"The dispatch stop at 0x005428f4 uses opcode low byte 0xe8, whose handler-table entry 0x00440ac0 resolves to 0x00440c28 in .data. The target has only .data pointer refs in the scanned executable sections, so this is data descriptor context, not an executable code handler. It reinforces the stop at 0x005428f4 and does not prove that the 0x005428bc writer path selects frontier leaf 0x00542ae8 or reaches reader 0x00542b0c."}