{"source":"map1_01a","target":"map2_02d","sourceSelector":"0:0","logicalPredecessorSelector":"1:0","currentSelector":"2:0","sourceRootHex":"0x00501808","logicalPredecessorRootHex":"0x00478364","currentRootHex":"0x00540714","currentSelectorRowPointerTableEntryHex":"0x00442d3d","currentSelectorRowPointerHex":"0x0053f328","currentSelectorSelectedRootEntryHex":"0x0053f328","addressPredecessorSelector":"10:0","addressPredecessorRootHex":"0x0053c4a4","addressPredecessorRangeHex":"0x0053c4a4..0x00540714","addressSuccessorRootHex":"0x00557e68","sourceMaps":["map1_01a","map1_02b"],"logicalPredecessorMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"addressPredecessorMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"currentMaps":["map1_01a","map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"addressPredecessorContainsSource":false,"addressPredecessorContainsTarget":true,"addressPredecessorEqualsLogicalPredecessorMapSet":true,"addressPredecessorEqualsCurrentMapSet":false,"currentEqualsAddressPredecessorPlusSource":true,"sourceSelectorExtraMapsOmittedByCurrent":["map1_02b"],"addressPredecessorToCurrentRootRefCount":1,"addressPredecessorToCurrentRootRefs":[{"refVaHex":"0x0053f328","targetVaHex":"0x00540714","section":".data","offsetFromRangeStart":11908,"offsetFromRangeStartHex":"0x2e84","role":"current-selector-row-selected-root-entry","isCurrentSelectorSelectedRootEntry":true,"isCurrentSelectorRowPointer":true}],"addressPredecessorToCurrentRootRefIsCurrentSelectorRowEntry":true,"currentToAddressPredecessorRootRefCount":0,"currentToAddressPredecessorRootRefs":[],"addressPredecessorCurrentRootRefClassification":"current-selector-row-entry-with-resource-list","addressPredecessorCurrentRootRefFollowingStrings":["middata.mlk","map_a1.cns","map_a2.cns","map_d1.cns","map_d2.cns","map_d3.cns","map_g1.cns","map_g2.cns","map_g3.cns","map_h1.cns","map_h2.cns","map_j1.cns","map_j2.cns","map_j3.cns","map1_01a.cns","map2_02d.cns","map2_09g.cns","map2_10g.cns","map2_11g.cns","map2_12h.cns","map2_14j.cns","map2_15j.cns","map2_16j.cns","map2_17h.cns","map2_18d.cns","cara_sm2.cns","face_01.cns","cara_01.cns","cara_05.cns","cara_03.cns","cara_10.cns","cara_etc.cns"],"addressPredecessorCurrentRootRefFollowingStringEntries":[{"vaHex":"0x0053f32c","text":"middata.mlk"},{"vaHex":"0x0053f338","text":"map_a1.cns"},{"vaHex":"0x0053f343","text":"map_a2.cns"},{"vaHex":"0x0053f34e","text":"map_d1.cns"},{"vaHex":"0x0053f359","text":"map_d2.cns"},{"vaHex":"0x0053f364","text":"map_d3.cns"},{"vaHex":"0x0053f36f","text":"map_g1.cns"},{"vaHex":"0x0053f37a","text":"map_g2.cns"},{"vaHex":"0x0053f385","text":"map_g3.cns"},{"vaHex":"0x0053f390","text":"map_h1.cns"},{"vaHex":"0x0053f39b","text":"map_h2.cns"},{"vaHex":"0x0053f3a6","text":"map_j1.cns"},{"vaHex":"0x0053f3b1","text":"map_j2.cns"},{"vaHex":"0x0053f3bc","text":"map_j3.cns"},{"vaHex":"0x0053f3c7","text":"map1_01a.cns"},{"vaHex":"0x0053f3d4","text":"map2_02d.cns"},{"vaHex":"0x0053f3e1","text":"map2_09g.cns"},{"vaHex":"0x0053f3ee","text":"map2_10g.cns"},{"vaHex":"0x0053f3fb","text":"map2_11g.cns"},{"vaHex":"0x0053f408","text":"map2_12h.cns"},{"vaHex":"0x0053f415","text":"map2_14j.cns"},{"vaHex":"0x0053f422","text":"map2_15j.cns"},{"vaHex":"0x0053f42f","text":"map2_16j.cns"},{"vaHex":"0x0053f43c","text":"map2_17h.cns"},{"vaHex":"0x0053f449","text":"map2_18d.cns"},{"vaHex":"0x0053f456","text":"cara_sm2.cns"},{"vaHex":"0x0053f463","text":"face_01.cns"},{"vaHex":"0x0053f46f","text":"cara_01.cns"},{"vaHex":"0x0053f47b","text":"cara_05.cns"},{"vaHex":"0x0053f487","text":"cara_03.cns"},{"vaHex":"0x0053f493","text":"cara_10.cns"},{"vaHex":"0x0053f49f","text":"cara_etc.cns"}],"addressPredecessorRoot":{"selectors":["10:0"],"rootHex":"0x0053c4a4","rangeHex":"0x0053c4a4..0x00540714","fieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"containsSource":false,"containsTarget":true,"fillCount":25,"firstFillHex":"0x0053f5b4","lastFillHex":"0x005400c4","tailRangeAfterLastFillHex":"0x005400c8..0x00540714","tailHasKnownSecondaryFillAfterLastFill":false,"uniqueFillValueHexes":["0x00000210"],"lastFillValueHex":"0x00000210","lastFillHelperArgumentHex":"0x00","lastFillStreamPlus1Hex":"0x02","secondaryBranchStateAfterLastFill":[1,1,0,0,0,0,0,0,0,0,0,0],"lastFillAllStartsPassCurrentReader":true,"outcomes":[{"startSlot":0,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":1,"selectedSlot":1,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":2,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":3,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":4,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":5,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":6,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":7,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":8,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":9,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":10,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":11,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true}]},"currentRoot":{"selectors":["2:0"],"rootHex":"0x00540714","rangeHex":"0x00540714..0x00557e68","fieldMaps":["map1_01a","map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"containsSource":true,"containsTarget":true,"fillCount":1,"firstFillHex":"0x00542fc4","lastFillHex":"0x00542fc4","tailRangeAfterLastFillHex":"0x00542fc8..0x00557e68","tailHasKnownSecondaryFillAfterLastFill":false,"uniqueFillValueHexes":["0x00000210"],"lastFillValueHex":"0x00000210","lastFillHelperArgumentHex":"0x00","lastFillStreamPlus1Hex":"0x02","secondaryBranchStateAfterLastFill":[1,1,0,0,0,0,0,0,0,0,0,0],"lastFillAllStartsPassCurrentReader":true,"outcomes":[{"startSlot":0,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":1,"selectedSlot":1,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":2,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":3,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":4,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":5,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":6,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":7,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":8,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":9,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":10,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true},{"startSlot":11,"selectedSlot":0,"selectedValue":1,"frontierReaderFallsThrough":true}]},"addressSuccessorRoot":{"selectors":["20:0"],"rootHex":"0x00557e68","rangeHex":"0x00557e68..?","fieldMaps":["map6_12j","map6_13j","map6_14j","map6_15j","map6_16j","map6_17j","map6_18j","map6_19j","map6_20j","map6_21j","map6_22j","map6_24j","map6_25h"],"containsSource":false,"containsTarget":false,"fillCount":0,"firstFillHex":null,"lastFillHex":null,"tailRangeAfterLastFillHex":null,"tailHasKnownSecondaryFillAfterLastFill":null,"uniqueFillValueHexes":[],"lastFillValueHex":null,"lastFillHelperArgumentHex":null,"lastFillStreamPlus1Hex":null,"secondaryBranchStateAfterLastFill":null,"lastFillAllStartsPassCurrentReader":false,"outcomes":[]},"addressPredecessorTailAfterLastFill":{"rangeHex":"0x005400c8..0x00540714","dwordCount":403,"pointerDwordCount":133,"dataPointerDwordCount":132,"textPointerDwordCount":0,"relocPointerDwordCount":1,"currentRootRangePointerCount":74,"currentRootExactRefCount":0,"frontierReaderRefCount":0,"sourceRecordRefCount":0,"targetRecordRefCount":0,"leafTableWindowPointerCount":9,"dataHandlerLowByteCount":17,"defaultHandlerLowByteCount":216,"opcode10LowByteCount":1,"validSecondaryFillCount":0,"looksLikeDescriptorData":true,"currentRootPointerClasses":{"current-root-before-writer":65,"leaf-table-window":9},"lowOpcodeTop":[{"lowOpcodeHex":"0x07","count":36},{"lowOpcodeHex":"0x04","count":34},{"lowOpcodeHex":"0x65","count":33},{"lowOpcodeHex":"0x03","count":26},{"lowOpcodeHex":"0x64","count":21},{"lowOpcodeHex":"0x7c","count":21},{"lowOpcodeHex":"0x52","count":20},{"lowOpcodeHex":"0x00","count":17},{"lowOpcodeHex":"0x05","count":11},{"lowOpcodeHex":"0xb0","count":10},{"lowOpcodeHex":"0xc4","count":10},{"lowOpcodeHex":"0x4b","count":9}],"samples":[{"vaHex":"0x005400d0","valueHex":"0x0054077c","lowOpcodeHex":"0x7c","handlerVaHex":"0x0040239f","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x005400f0","valueHex":"0x0054077c","lowOpcodeHex":"0x7c","handlerVaHex":"0x0040239f","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x00540110","valueHex":"0x0054077c","lowOpcodeHex":"0x7c","handlerVaHex":"0x0040239f","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x00540130","valueHex":"0x0054077c","lowOpcodeHex":"0x7c","handlerVaHex":"0x0040239f","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x00540150","valueHex":"0x0054077c","lowOpcodeHex":"0x7c","handlerVaHex":"0x0040239f","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x00540170","valueHex":"0x0054077c","lowOpcodeHex":"0x7c","handlerVaHex":"0x0040239f","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x00540190","valueHex":"0x0054077c","lowOpcodeHex":"0x7c","handlerVaHex":"0x0040239f","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x005401b0","valueHex":"0x005429bc","lowOpcodeHex":"0xbc","handlerVaHex":"0x00440de8","handlerSection":".data","pointerSection":".data","currentRootPointerClass":"leaf-table-window","op10":null},{"vaHex":"0x005401bc","valueHex":"0x00540aa4","lowOpcodeHex":"0xa4","handlerVaHex":"0x632e3130","handlerSection":null,"pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x005401c4","valueHex":"0x00540af4","lowOpcodeHex":"0xf4","handlerVaHex":"0x00000004","handlerSection":null,"pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x005401cc","valueHex":"0x00540b94","lowOpcodeHex":"0x94","handlerVaHex":"0x316c5f70","handlerSection":null,"pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x005401d4","valueHex":"0x00540be4","lowOpcodeHex":"0xe4","handlerVaHex":"0x0200001a","handlerSection":null,"pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x005401dc","valueHex":"0x00540fb4","lowOpcodeHex":"0xb4","handlerVaHex":"0x00000003","handlerSection":null,"pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x005401e4","valueHex":"0x005410e4","lowOpcodeHex":"0xe4","handlerVaHex":"0x0200001a","handlerSection":null,"pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x005401ec","valueHex":"0x005411f8","lowOpcodeHex":"0xf8","handlerVaHex":"0x004e32ec","handlerSection":".data","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x005401f4","valueHex":"0x005412e8","lowOpcodeHex":"0xe8","handlerVaHex":"0x00440c28","handlerSection":".data","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x005401fc","valueHex":"0x005413d8","lowOpcodeHex":"0xd8","handlerVaHex":"0x00000000","handlerSection":null,"pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x00540204","valueHex":"0x00541540","lowOpcodeHex":"0x40","handlerVaHex":"0x0040239f","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x0054020c","valueHex":"0x00541630","lowOpcodeHex":"0x30","handlerVaHex":"0x0040d698","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x00540214","valueHex":"0x00541720","lowOpcodeHex":"0x20","handlerVaHex":"0x0040c3f4","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x0054021c","valueHex":"0x00541810","lowOpcodeHex":"0x10","handlerVaHex":"0x0040b49e","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":{"streamPlus1Hex":"0x18","helperArgumentHex":"0x54","streamPlus3Hex":"0x00","stateTable":"secondaryBranchState","helperDispatchValid":false,"scriptShaped":true,"validSecondaryFill":false}},{"vaHex":"0x00540224","valueHex":"0x005407b0","lowOpcodeHex":"0xb0","handlerVaHex":"0x00000352","handlerSection":null,"pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x00540264","valueHex":"0x005404d0","lowOpcodeHex":"0xd0","handlerVaHex":"0x00440a9c","handlerSection":".data","pointerSection":".data","currentRootPointerClass":null,"op10":null},{"vaHex":"0x005402a0","valueHex":"0x005407e4","lowOpcodeHex":"0xe4","handlerVaHex":"0x0200001a","handlerSection":null,"pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x005402a8","valueHex":"0x0054077c","lowOpcodeHex":"0x7c","handlerVaHex":"0x0040239f","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x005402c0","valueHex":"0x005402e8","lowOpcodeHex":"0xe8","handlerVaHex":"0x00440c28","handlerSection":".data","pointerSection":".data","currentRootPointerClass":null,"op10":null},{"vaHex":"0x005402cc","valueHex":"0x0054077c","lowOpcodeHex":"0x7c","handlerVaHex":"0x0040239f","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x005402e4","valueHex":"0x005402e8","lowOpcodeHex":"0xe8","handlerVaHex":"0x00440c28","handlerSection":".data","pointerSection":".data","currentRootPointerClass":null,"op10":null},{"vaHex":"0x005402ec","valueHex":"0x005429c4","lowOpcodeHex":"0xc4","handlerVaHex":"0x00000083","handlerSection":null,"pointerSection":".data","currentRootPointerClass":"leaf-table-window","op10":null},{"vaHex":"0x005402f8","valueHex":"0x00540c38","lowOpcodeHex":"0x38","handlerVaHex":"0x0040de77","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x00540300","valueHex":"0x00540f40","lowOpcodeHex":"0x40","handlerVaHex":"0x0040239f","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null},{"vaHex":"0x00540308","valueHex":"0x00541d68","lowOpcodeHex":"0x68","handlerVaHex":"0x004101ec","handlerSection":".text","pointerSection":".data","currentRootPointerClass":"current-root-before-writer","op10":null}]},"addressPredecessorTailDwordCount":403,"addressPredecessorTailPointerDwordCount":133,"addressPredecessorTailCurrentRootRangePointerCount":74,"addressPredecessorTailCurrentRootExactRefCount":0,"addressPredecessorTailFrontierReaderRefCount":0,"addressPredecessorTailSourceRecordRefCount":0,"addressPredecessorTailTargetRecordRefCount":0,"addressPredecessorTailLeafTableWindowPointerCount":9,"addressPredecessorTailDataHandlerLowByteCount":17,"addressPredecessorTailValidSecondaryFillCount":0,"addressPredecessorTailLooksLikeDescriptorData":true,"addressPredecessorLastFillAllStartsPassCurrentReader":true,"addressPredecessorTailHasKnownSecondaryFillAfterLastFill":false,"addressPredecessorPassingFillStillNotExecutionProof":true,"selectorIndexOrderSupportsExecution":false,"addressContiguityProvesExecution":false,"executionOrderProven":false,"strictHotspotFound":false,"promotionStatus":"blocked","remainingProofs":["prove whether address-adjacent root 10:0 executes before selector 2:0","trace the selector loader or selected-pointer runtime state instead of treating 0x0053f328 metadata as execution","capture real selector 2:0 savedata or find a strict map1_01a source hotspot"],"conclusion":"The address-adjacent field-map root before selector 2:0 is 10:0 at 0x0053c4a4. It ends exactly at the current root 0x00540714 and has 25 secondaryBranchState fill-shaped rows. Its last known fill would satisfy the current reader for every start slot if that root executed immediately before the current root and the state persisted. However it is selector 10:0, not the logical previous selector 1:0; it contains map2_02d but not map1_01a; and its direct current-root dword hit is the current selector's own selected-root entry at 0x0053f328, followed by resource strings middata.mlk, map_a1.cns, map_a2.cns, map_d1.cns, map_d2.cns, map_d3.cns, map_g1.cns, map_g2.cns, map_g3.cns, map_h1.cns, map_h2.cns, map_j1.cns, map_j2.cns, map_j3.cns, map1_01a.cns, map2_02d.cns, map2_09g.cns, map2_10g.cns, map2_11g.cns, map2_12h.cns, map2_14j.cns, map2_15j.cns, map2_16j.cns, map2_17h.cns, map2_18d.cns, cara_sm2.cns, face_01.cns, cara_01.cns, cara_05.cns, cara_03.cns, cara_10.cns, cara_etc.cns. After the last fill, the tail has 74 current-root-range pointers, but exact current-root, frontier-reader, source-record, and target-record refs are 0/0/0/0. Address adjacency, tail pointer density, a passing fill effect, and this selector-row metadata still do not prove that normal gameplay executes this root before the 2:0 frontier reader or that map1_01a->map2_02d has a strict source hotspot."}