{"source":"map1_01a","target":"map2_02d","opcode24VaHex":"0x005428e4","dispatchStopVaHex":"0x005428f4","payloadWindowHex":"0x005428e8..0x005429a4","leafTableWindowStartHex":"0x005429a8","rootTablePointerHex":"0x005429dc","wrapperLeafHex":"0x00542a04","frontierLeafHex":"0x00542ae8","frontierReaderHex":"0x00542b0c","gateDispatchStopHex":"0x005428f4","gateFrontierLeafHex":"0x00542ae8","tableRows":[{"va":5515496,"vaHex":"0x005428e8","value":65569,"valueHex":"0x00010021","insidePayloadWindow":true,"lowByteHex":"0x21","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515500,"vaHex":"0x005428ec","value":2162688,"valueHex":"0x00210000","insidePayloadWindow":true,"lowByteHex":"0x00","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515504,"vaHex":"0x005428f0","value":3,"valueHex":"0x00000003","insidePayloadWindow":true,"lowByteHex":"0x03","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515508,"vaHex":"0x005428f4","value":5515496,"valueHex":"0x005428e8","insidePayloadWindow":true,"lowByteHex":"0xe8","lowByteHandlerVaHex":"0x00440c28","lowByteHandlerSection":".data","lowByteIsCodeHandler":false,"kind":"payload-pointer","targetVaHex":"0x005428e8"},{"va":5515512,"vaHex":"0x005428f8","value":8,"valueHex":"0x00000008","insidePayloadWindow":true,"lowByteHex":"0x08","lowByteHandlerVaHex":"0x0040adc9","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515516,"vaHex":"0x005428fc","value":3,"valueHex":"0x00000003","insidePayloadWindow":true,"lowByteHex":"0x03","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515520,"vaHex":"0x00542900","value":268435456,"valueHex":"0x10000000","insidePayloadWindow":true,"lowByteHex":"0x00","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"scalar"},{"va":5515524,"vaHex":"0x00542904","value":1173506,"valueHex":"0x0011e802","insidePayloadWindow":true,"lowByteHex":"0x02","lowByteHandlerVaHex":"0x0040ac3b","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515528,"vaHex":"0x00542908","value":322050,"valueHex":"0x0004ea02","insidePayloadWindow":true,"lowByteHex":"0x02","lowByteHandlerVaHex":"0x0040ac3b","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515532,"vaHex":"0x0054290c","value":255489,"valueHex":"0x0003e601","insidePayloadWindow":true,"lowByteHex":"0x01","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515536,"vaHex":"0x00542910","value":255745,"valueHex":"0x0003e701","insidePayloadWindow":true,"lowByteHex":"0x01","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515540,"vaHex":"0x00542914","value":11267,"valueHex":"0x00002c03","insidePayloadWindow":true,"lowByteHex":"0x03","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515544,"vaHex":"0x00542918","value":1,"valueHex":"0x00000001","insidePayloadWindow":true,"lowByteHex":"0x01","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515548,"vaHex":"0x0054291c","value":16847874,"valueHex":"0x01011402","insidePayloadWindow":true,"lowByteHex":"0x02","lowByteHandlerVaHex":"0x0040ac3b","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515552,"vaHex":"0x00542920","value":136706,"valueHex":"0x00021602","insidePayloadWindow":true,"lowByteHex":"0x02","lowByteHandlerVaHex":"0x0040ac3b","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515556,"vaHex":"0x00542924","value":255,"valueHex":"0x000000ff","insidePayloadWindow":true,"lowByteHex":"0xff","lowByteHandlerVaHex":"0x00000004","lowByteHandlerSection":null,"lowByteIsCodeHandler":false,"kind":"pair"},{"va":5515560,"vaHex":"0x00542928","value":32,"valueHex":"0x00000020","insidePayloadWindow":true,"lowByteHex":"0x20","lowByteHandlerVaHex":"0x0040c3f4","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515564,"vaHex":"0x0054292c","value":5515596,"valueHex":"0x0054294c","insidePayloadWindow":true,"lowByteHex":"0x4c","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"payload-pointer","targetVaHex":"0x0054294c"},{"va":5515568,"vaHex":"0x00542930","value":1,"valueHex":"0x00000001","insidePayloadWindow":true,"lowByteHex":"0x01","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515572,"vaHex":"0x00542934","value":157843475,"valueHex":"0x09688013","insidePayloadWindow":true,"lowByteHex":"0x13","lowByteHandlerVaHex":"0x0040b696","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"scalar"},{"va":5515576,"vaHex":"0x00542938","value":5515568,"valueHex":"0x00542930","insidePayloadWindow":true,"lowByteHex":"0x30","lowByteHandlerVaHex":"0x0040d698","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"payload-pointer","targetVaHex":"0x00542930"},{"va":5515580,"vaHex":"0x0054293c","value":32,"valueHex":"0x00000020","insidePayloadWindow":true,"lowByteHex":"0x20","lowByteHandlerVaHex":"0x0040c3f4","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515584,"vaHex":"0x00542940","value":5515612,"valueHex":"0x0054295c","insidePayloadWindow":true,"lowByteHex":"0x5c","lowByteHandlerVaHex":"0x0040fa6d","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"payload-pointer","targetVaHex":"0x0054295c"},{"va":5515588,"vaHex":"0x00542944","value":3,"valueHex":"0x00000003","insidePayloadWindow":true,"lowByteHex":"0x03","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515592,"vaHex":"0x00542948","value":5515568,"valueHex":"0x00542930","insidePayloadWindow":true,"lowByteHex":"0x30","lowByteHandlerVaHex":"0x0040d698","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"payload-pointer","targetVaHex":"0x00542930"},{"va":5515596,"vaHex":"0x0054294c","value":65569,"valueHex":"0x00010021","insidePayloadWindow":true,"lowByteHex":"0x21","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515600,"vaHex":"0x00542950","value":2359298,"valueHex":"0x00240002","insidePayloadWindow":true,"lowByteHex":"0x02","lowByteHandlerVaHex":"0x0040ac3b","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515604,"vaHex":"0x00542954","value":3,"valueHex":"0x00000003","insidePayloadWindow":true,"lowByteHex":"0x03","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515608,"vaHex":"0x00542958","value":5515596,"valueHex":"0x0054294c","insidePayloadWindow":true,"lowByteHex":"0x4c","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"payload-pointer","targetVaHex":"0x0054294c"},{"va":5515612,"vaHex":"0x0054295c","value":65569,"valueHex":"0x00010021","insidePayloadWindow":true,"lowByteHex":"0x21","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515616,"vaHex":"0x00542960","value":2359299,"valueHex":"0x00240003","insidePayloadWindow":true,"lowByteHex":"0x03","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515620,"vaHex":"0x00542964","value":3,"valueHex":"0x00000003","insidePayloadWindow":true,"lowByteHex":"0x03","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515624,"vaHex":"0x00542968","value":5515612,"valueHex":"0x0054295c","insidePayloadWindow":true,"lowByteHex":"0x5c","lowByteHandlerVaHex":"0x0040fa6d","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"payload-pointer","targetVaHex":"0x0054295c"},{"va":5515628,"vaHex":"0x0054296c","value":8,"valueHex":"0x00000008","insidePayloadWindow":true,"lowByteHex":"0x08","lowByteHandlerVaHex":"0x0040adc9","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515632,"vaHex":"0x00542970","value":3,"valueHex":"0x00000003","insidePayloadWindow":true,"lowByteHex":"0x03","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515636,"vaHex":"0x00542974","value":268435456,"valueHex":"0x10000000","insidePayloadWindow":true,"lowByteHex":"0x00","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"scalar"},{"va":5515640,"vaHex":"0x00542978","value":714754,"valueHex":"0x000ae802","insidePayloadWindow":true,"lowByteHex":"0x02","lowByteHandlerVaHex":"0x0040ac3b","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515644,"vaHex":"0x0054297c","value":453122,"valueHex":"0x0006ea02","insidePayloadWindow":true,"lowByteHex":"0x02","lowByteHandlerVaHex":"0x0040ac3b","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515648,"vaHex":"0x00542980","value":255489,"valueHex":"0x0003e601","insidePayloadWindow":true,"lowByteHex":"0x01","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515652,"vaHex":"0x00542984","value":255745,"valueHex":"0x0003e701","insidePayloadWindow":true,"lowByteHex":"0x01","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515656,"vaHex":"0x00542988","value":11267,"valueHex":"0x00002c03","insidePayloadWindow":true,"lowByteHex":"0x03","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515660,"vaHex":"0x0054298c","value":1,"valueHex":"0x00000001","insidePayloadWindow":true,"lowByteHex":"0x01","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515664,"vaHex":"0x00542990","value":10243,"valueHex":"0x00002803","insidePayloadWindow":true,"lowByteHex":"0x03","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515668,"vaHex":"0x00542994","value":2359302,"valueHex":"0x00240006","insidePayloadWindow":true,"lowByteHex":"0x06","lowByteHandlerVaHex":"0x0040ad5e","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515672,"vaHex":"0x00542998","value":16847874,"valueHex":"0x01011402","insidePayloadWindow":true,"lowByteHex":"0x02","lowByteHandlerVaHex":"0x0040ac3b","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515676,"vaHex":"0x0054299c","value":255,"valueHex":"0x000000ff","insidePayloadWindow":true,"lowByteHex":"0xff","lowByteHandlerVaHex":"0x00000004","lowByteHandlerSection":null,"lowByteIsCodeHandler":false,"kind":"pair"},{"va":5515680,"vaHex":"0x005429a0","value":1,"valueHex":"0x00000001","insidePayloadWindow":true,"lowByteHex":"0x01","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"},{"va":5515684,"vaHex":"0x005429a4","value":3,"valueHex":"0x00000003","insidePayloadWindow":true,"lowByteHex":"0x03","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"pair"}],"payloadPointerCount":7,"payloadPointers":[{"va":5515508,"vaHex":"0x005428f4","value":5515496,"valueHex":"0x005428e8","insidePayloadWindow":true,"lowByteHex":"0xe8","lowByteHandlerVaHex":"0x00440c28","lowByteHandlerSection":".data","lowByteIsCodeHandler":false,"kind":"payload-pointer","targetVaHex":"0x005428e8"},{"va":5515564,"vaHex":"0x0054292c","value":5515596,"valueHex":"0x0054294c","insidePayloadWindow":true,"lowByteHex":"0x4c","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"payload-pointer","targetVaHex":"0x0054294c"},{"va":5515576,"vaHex":"0x00542938","value":5515568,"valueHex":"0x00542930","insidePayloadWindow":true,"lowByteHex":"0x30","lowByteHandlerVaHex":"0x0040d698","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"payload-pointer","targetVaHex":"0x00542930"},{"va":5515584,"vaHex":"0x00542940","value":5515612,"valueHex":"0x0054295c","insidePayloadWindow":true,"lowByteHex":"0x5c","lowByteHandlerVaHex":"0x0040fa6d","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"payload-pointer","targetVaHex":"0x0054295c"},{"va":5515592,"vaHex":"0x00542948","value":5515568,"valueHex":"0x00542930","insidePayloadWindow":true,"lowByteHex":"0x30","lowByteHandlerVaHex":"0x0040d698","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"payload-pointer","targetVaHex":"0x00542930"},{"va":5515608,"vaHex":"0x00542958","value":5515596,"valueHex":"0x0054294c","insidePayloadWindow":true,"lowByteHex":"0x4c","lowByteHandlerVaHex":"0x0040239f","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"payload-pointer","targetVaHex":"0x0054294c"},{"va":5515624,"vaHex":"0x00542968","value":5515612,"valueHex":"0x0054295c","insidePayloadWindow":true,"lowByteHex":"0x5c","lowByteHandlerVaHex":"0x0040fa6d","lowByteHandlerSection":".text","lowByteIsCodeHandler":true,"kind":"payload-pointer","targetVaHex":"0x0054295c"}],"leafTablePointerCount":0,"leafTablePointers":[],"payloadGraphEdgeCount":7,"payloadGraphComponentCount":4,"payloadGraphEdges":[{"sourceVaHex":"0x005428f4","targetVaHex":"0x005428e8","targetKind":"payload-window","localPayloadEdge":true,"frontierTargetEdge":false},{"sourceVaHex":"0x0054292c","targetVaHex":"0x0054294c","targetKind":"payload-window","localPayloadEdge":true,"frontierTargetEdge":false},{"sourceVaHex":"0x00542938","targetVaHex":"0x00542930","targetKind":"payload-window","localPayloadEdge":true,"frontierTargetEdge":false},{"sourceVaHex":"0x00542940","targetVaHex":"0x0054295c","targetKind":"payload-window","localPayloadEdge":true,"frontierTargetEdge":false},{"sourceVaHex":"0x00542948","targetVaHex":"0x00542930","targetKind":"payload-window","localPayloadEdge":true,"frontierTargetEdge":false},{"sourceVaHex":"0x00542958","targetVaHex":"0x0054294c","targetKind":"payload-window","localPayloadEdge":true,"frontierTargetEdge":false},{"sourceVaHex":"0x00542968","targetVaHex":"0x0054295c","targetKind":"payload-window","localPayloadEdge":true,"frontierTargetEdge":false}],"payloadGraphComponents":[{"component":0,"nodes":["0x005428e8","0x005428f4"],"edges":[{"sourceVaHex":"0x005428f4","targetVaHex":"0x005428e8","targetKind":"payload-window","localPayloadEdge":true,"frontierTargetEdge":false}],"externalTargets":[],"closedInsidePayload":true,"reachesFrontierTarget":false},{"component":1,"nodes":["0x0054292c","0x0054294c","0x00542958"],"edges":[{"sourceVaHex":"0x0054292c","targetVaHex":"0x0054294c","targetKind":"payload-window","localPayloadEdge":true,"frontierTargetEdge":false},{"sourceVaHex":"0x00542958","targetVaHex":"0x0054294c","targetKind":"payload-window","localPayloadEdge":true,"frontierTargetEdge":false}],"externalTargets":[],"closedInsidePayload":true,"reachesFrontierTarget":false},{"component":2,"nodes":["0x00542930","0x00542938","0x00542948"],"edges":[{"sourceVaHex":"0x00542938","targetVaHex":"0x00542930","targetKind":"payload-window","localPayloadEdge":true,"frontierTargetEdge":false},{"sourceVaHex":"0x00542948","targetVaHex":"0x00542930","targetKind":"payload-window","localPayloadEdge":true,"frontierTargetEdge":false}],"externalTargets":[],"closedInsidePayload":true,"reachesFrontierTarget":false},{"component":3,"nodes":["0x00542940","0x0054295c","0x00542968"],"edges":[{"sourceVaHex":"0x00542940","targetVaHex":"0x0054295c","targetKind":"payload-window","localPayloadEdge":true,"frontierTargetEdge":false},{"sourceVaHex":"0x00542968","targetVaHex":"0x0054295c","targetKind":"payload-window","localPayloadEdge":true,"frontierTargetEdge":false}],"externalTargets":[],"closedInsidePayload":true,"reachesFrontierTarget":false}],"payloadGraphExternalEdgeCount":0,"payloadGraphAllEdgesLocal":true,"payloadGraphReachesFrontierTarget":false,"dataLowByteCount":1,"dispatchStopClosure":[{"step":0,"vaHex":"0x005428f4","valueHex":"0x005428e8","kind":"payload-pointer","targetVaHex":"0x005428e8"},{"step":1,"vaHex":"0x005428e8","valueHex":"0x00010021","kind":"pair","targetVaHex":null,"stopReason":"non-pointer-value"}],"closureReachesFrontierTarget":false,"payloadDirectlyTargetsLeafTable":false,"promotionStatus":"blocked","remainingProofs":["decode the selector/table index that chooses current 2:0 leaf table entries","prove wrapper 0x00542a04 executes into 0x00542ae8 during the normal route","find a strict map1_01a source coordinate or hotspot"],"conclusion":"The opcode 0x24 payload/action table immediately before the leaf table is pointer-local: its dword pointers stay inside 0x005428e8..0x005429a4, and none point at the leaf table start, the 2:0 root table pointer, wrapper leaf 0x00542a04, frontier leaf 0x00542ae8, or reader 0x00542b0c. The closure from the naive dispatch stop 0x005428f4 stops at 0x005428e8 on a non-pointer value. This rules out using the opcode 0x24 payload table as proof that the 0x005428bc writer path selects the frontier leaf; promotion remains blocked."}