{"source":"map1_01a","target":"map2_02d","selectorWithFieldMapCount":29,"oneMapAugmentationCount":2,"exactPairUnionCount":5,"exactPairUnionSelectorCount":3,"routePairSelectorCount":1,"routePairOnlyCurrentSelector":true,"current":{"sourceSelector":{"selector":"0:0","rootHex":"0x00501808","fieldMaps":["map1_01a","map1_02b"],"fieldMapCount":2},"predecessorSelector":{"selector":"1:0","rootHex":"0x00478364","fieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"fieldMapCount":10},"currentSelector":{"selector":"2:0","rootHex":"0x00540714","fieldMaps":["map1_01a","map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"fieldMapCount":11},"selectorsContainingSourceAndTarget":[{"selector":"2:0","rootHex":"0x00540714","fieldMaps":["map1_01a","map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"fieldMapCount":11}],"selectorsContainingSource":[{"selector":"0:0","rootHex":"0x00501808","fieldMaps":["map1_01a","map1_02b"],"fieldMapCount":2},{"selector":"2:0","rootHex":"0x00540714","fieldMaps":["map1_01a","map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"fieldMapCount":11}],"selectorsContainingTarget":[{"selector":"1:0","rootHex":"0x00478364","fieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"fieldMapCount":10},{"selector":"2:0","rootHex":"0x00540714","fieldMaps":["map1_01a","map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"fieldMapCount":11},{"selector":"4:0","rootHex":"0x0044aa78","fieldMaps":["map3_09a","map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j","map3_08j"],"fieldMapCount":12},{"selector":"4:1","rootHex":"0x0044aad0","fieldMaps":["map3_09a","map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j"],"fieldMapCount":9},{"selector":"10:0","rootHex":"0x0053c4a4","fieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"fieldMapCount":10},{"selector":"17:0","rootHex":"0x004f28a4","fieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"fieldMapCount":10}],"currentEqualsPredecessorPlusSource":true,"currentEqualsSourcePredecessorUnion":false,"sourcePredecessorUnionCoversCurrent":true,"sourcePredecessorUnionExtraMaps":["map1_02b"],"sourcePredecessorUnionMissingMaps":[],"currentOneMapAugmentations":[{"selector":"2:0","rootHex":"0x00540714","baseSelector":"1:0","baseRootHex":"0x00478364","addedMap":"map1_01a","currentMapCount":11,"baseMapCount":10}],"currentExactPairUnions":[],"currentCoveringPairUnions":[{"leftSelector":"0:0","rightSelector":"1:0","extraVsCurrent":["map1_02b"],"missingVsCurrent":[],"unionEqualsCurrent":false,"unionMapCount":12}]},"oneMapAugmentations":[{"selector":"2:0","rootHex":"0x00540714","baseSelector":"1:0","baseRootHex":"0x00478364","addedMap":"map1_01a","currentMapCount":11,"baseMapCount":10},{"selector":"11:0","rootHex":"0x004c3e08","baseSelector":"8:0","baseRootHex":"0x00494c34","addedMap":"map2_15j","currentMapCount":13,"baseMapCount":12}],"exactPairUnions":[{"selector":"17:0","rootHex":"0x004f28a4","leftSelector":"1:0","rightSelector":"10:0","leftRootHex":"0x00478364","rightRootHex":"0x0053c4a4","mapCount":10},{"selector":"19:0","rootHex":"0x00474194","leftSelector":"3:0","rightSelector":"3:1","leftRootHex":"0x004c9a8c","rightRootHex":"0x004c9ab4","mapCount":6},{"selector":"19:1","rootHex":"0x004741c4","leftSelector":"3:0","rightSelector":"3:1","leftRootHex":"0x004c9a8c","rightRootHex":"0x004c9ab4","mapCount":6},{"selector":"19:1","rootHex":"0x004741c4","leftSelector":"3:0","rightSelector":"19:0","leftRootHex":"0x004c9a8c","rightRootHex":"0x00474194","mapCount":6},{"selector":"19:1","rootHex":"0x004741c4","leftSelector":"3:1","rightSelector":"19:0","leftRootHex":"0x004c9ab4","rightRootHex":"0x00474194","mapCount":6}],"promotionStatus":"blocked","executionOrderProven":false,"strictHotspotFound":false,"conclusion":"Across 29 selectors with field maps, only selector 2:0 contains both map1_01a and map2_02d. Its map set equals predecessor 1:0 plus map1_01a, while the source+predecessor union over-covers it by map1_02b. This strengthens the selector-recomposition diagnosis, but it still does not prove runtime execution order, selected-pointer activation, or a strict map1_01a source hotspot.","remainingProofs":["capture a real selector 2:0 gameplay savedata or selected-pointer runtime trace","prove VM/control-flow execution into selector 2:0 on the confirmed route","find a strict map1_01a source coordinate or hotspot for map2_02d"],"currentTopCoveringPairs":[{"leftSelector":"0:0","rightSelector":"1:0","extraVsCurrent":["map1_02b"],"missingVsCurrent":[],"unionEqualsCurrent":false,"unionMapCount":12}]}