{"source":"map1_01a","target":"map2_02d","rootHex":"0x00540714","rootTablePointerHex":"0x005429dc","tableWindowHex":"0x005429a8..0x00542a00","currentRootEntryRunHex":"0x005429dc..0x00542a00","wrapperEntryHex":"0x005429ac","wrapperDescriptorHex":"0x00542a04","frontierLeafHex":"0x00542ae8","frontierReaderHex":"0x00542b0c","wrapperChildPointerHex":"0x00542ae8","wrapperChildFieldMaps":["map1_01a","map2_02d","map2_18d"],"tableRows":[{"va":5515688,"vaHex":"0x005429a8","value":5515680,"valueHex":"0x005429a0","insideCurrentRootEntryRun":false,"kind":"pointer","targetSection":".data"},{"va":5515692,"vaHex":"0x005429ac","value":5515780,"valueHex":"0x00542a04","insideCurrentRootEntryRun":false,"kind":"descriptor-pointer","descriptorHex":"0x00542a04","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542ae8","childFieldMaps":["map1_01a","map2_02d","map2_18d"],"pointsToWrapperDescriptor":true,"childIsFrontierLeaf":true},{"va":5515696,"vaHex":"0x005429b0","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":false,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515700,"vaHex":"0x005429b4","value":5515808,"valueHex":"0x00542a20","insideCurrentRootEntryRun":false,"kind":"descriptor-pointer","descriptorHex":"0x00542a20","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542b50","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515704,"vaHex":"0x005429b8","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":false,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515708,"vaHex":"0x005429bc","value":5515828,"valueHex":"0x00542a34","insideCurrentRootEntryRun":false,"kind":"descriptor-pointer","descriptorHex":"0x00542a34","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542bb8","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515712,"vaHex":"0x005429c0","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":false,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515716,"vaHex":"0x005429c4","value":5515848,"valueHex":"0x00542a48","insideCurrentRootEntryRun":false,"kind":"descriptor-pointer","descriptorHex":"0x00542a48","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542c20","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515720,"vaHex":"0x005429c8","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":false,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515724,"vaHex":"0x005429cc","value":5515868,"valueHex":"0x00542a5c","insideCurrentRootEntryRun":false,"kind":"descriptor-pointer","descriptorHex":"0x00542a5c","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542c88","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515728,"vaHex":"0x005429d0","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":false,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515732,"vaHex":"0x005429d4","value":5515888,"valueHex":"0x00542a70","insideCurrentRootEntryRun":false,"kind":"descriptor-pointer","descriptorHex":"0x00542a70","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542cd0","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515736,"vaHex":"0x005429d8","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":false,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515740,"vaHex":"0x005429dc","value":5515908,"valueHex":"0x00542a84","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542a84","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542d38","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515744,"vaHex":"0x005429e0","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515748,"vaHex":"0x005429e4","value":5515928,"valueHex":"0x00542a98","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542a98","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542d80","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515752,"vaHex":"0x005429e8","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515756,"vaHex":"0x005429ec","value":5515948,"valueHex":"0x00542aac","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542aac","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542dc8","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515760,"vaHex":"0x005429f0","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515764,"vaHex":"0x005429f4","value":5515968,"valueHex":"0x00542ac0","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542ac0","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e10","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515768,"vaHex":"0x005429f8","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515772,"vaHex":"0x005429fc","value":5515988,"valueHex":"0x00542ad4","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542ad4","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e48","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515776,"vaHex":"0x00542a00","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false}],"currentRootDescriptorCount":10,"currentRootDescriptorRows":[{"va":5515740,"vaHex":"0x005429dc","value":5515908,"valueHex":"0x00542a84","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542a84","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542d38","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515744,"vaHex":"0x005429e0","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515748,"vaHex":"0x005429e4","value":5515928,"valueHex":"0x00542a98","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542a98","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542d80","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515752,"vaHex":"0x005429e8","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515756,"vaHex":"0x005429ec","value":5515948,"valueHex":"0x00542aac","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542aac","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542dc8","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515760,"vaHex":"0x005429f0","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515764,"vaHex":"0x005429f4","value":5515968,"valueHex":"0x00542ac0","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542ac0","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e10","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515768,"vaHex":"0x005429f8","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515772,"vaHex":"0x005429fc","value":5515988,"valueHex":"0x00542ad4","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542ad4","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e48","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false},{"va":5515776,"vaHex":"0x00542a00","value":5516928,"valueHex":"0x00542e80","insideCurrentRootEntryRun":true,"kind":"descriptor-pointer","descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","childPointerHex":"0x00542e90","childFieldMaps":[],"pointsToWrapperDescriptor":false,"childIsFrontierLeaf":false}],"wrapperEntryRefs":[{"section":".data","refVa":5507340,"refVaHex":"0x0054090c","previousVaHex":"0x00540908","previousValueHex":"0x0000005a","previousOpcodeHex":"0x5a","previousOpcodeMode":0,"previousHandlerHex":"0x0040f57c","previousHandlerSection":".text","previousHandlerFixedAdvances":[4],"previousHandlerCanJumpToDwordAtPlus4":false,"fallthroughWordValueHex":"0x005429ac","fallthroughWordOpcodeHex":"0xac","fallthroughWordHandlerEntryHex":"0x004409d0","fallthroughWordHandlerHex":"0x00000003","fallthroughWordHandlerSection":null,"fallthroughWordHandlerIsCode":false,"fallthroughWordCanJumpToDwordAtPlus4":false,"insideCurrentRootRange":true,"insideCurrentRootEntryRun":false,"referenceRole":"opcode-0x5a-mode0-fallthrough-word","promotesWrapperSelection":false,"note":"The preceding opcode 0x5a mode 0 handler advances by +4 and does not jump to [stream+4], so this dword is a following stream word rather than a selected leaf-table pointer. Interpreted as a stream word, its low opcode is 0xac; that handler resolves to 0x00000003 in no executable section, so the word also does not provide a code-backed wrapper jump."}],"wrapperEntryRefCount":1,"wrapperEntryCurrentRootRangeRefCount":1,"wrapperEntryCurrentRootEntryRunRefCount":0,"wrapperEntryPromotingRefCount":0,"wrapperRefs":[{"section":".data","refVa":5515692,"refVaHex":"0x005429ac"}],"wrapperTableRefs":[{"section":".data","refVa":5515692,"refVaHex":"0x005429ac"}],"wrapperCurrentRootRefs":[],"frontierLeafRefs":[{"section":".data","refVa":5515784,"refVaHex":"0x00542a08"}],"frontierLeafCurrentRootRefs":[],"wrapperRefBeforeCurrentRoot":true,"currentRootReferencesWrapper":false,"frontierLeafDirectCurrentRootRef":false,"wrapperChildIsFrontierLeaf":true,"wrapperDescriptorWords":[{"vaHex":"0x00542a04","valueHex":"0x0000003f"},{"vaHex":"0x00542a08","valueHex":"0x00542ae8"},{"vaHex":"0x00542a0c","valueHex":"0x0000015d"},{"vaHex":"0x00542a10","valueHex":"0x00442b01"},{"vaHex":"0x00542a14","valueHex":"0x02203026"},{"vaHex":"0x00542a18","valueHex":"0x0053f32c"},{"vaHex":"0x00542a1c","valueHex":"0x00000001"},{"vaHex":"0x00542a20","valueHex":"0x0000003f"}],"promotionStatus":"blocked","remainingProofs":["prove a runtime path selects descriptor 0x00542a04 despite its table ref being before the current root pointer","or find a strict map1_01a source coordinate/hotspot"],"conclusion":"The 0x00542a04 candidate has descriptor shape 0x3f + child pointer 0x00542ae8, but its table reference is 0x005429ac, which is before the current 2:0 root table pointer 0x005429dc. The current root entry run contains later descriptors such as 0x00542a84, 0x00542a98, 0x00542aac, 0x00542ac0, and 0x00542ad4, not 0x00542a04. The 0x00542ae8 reference at 0x00542a08 is therefore a descriptor child pointer rather than a direct current-root table entry. A separate current-root dword 0x0054090c equals 0x005429ac, but it follows opcode 0x5a mode 0 at 0x00540908; that handler advances by +4 and does not jump to [stream+4], so this is a fallthrough stream word rather than wrapper selection proof. Interpreted as the next stream word, 0x005429ac has low opcode 0xac and that handler-table entry resolves to scalar 0x00000003 outside executable code, so the word also does not provide a code-backed wrapper jump. This keeps wrapper execution/selection unproven and the route blocked."}