{"source":"map1_01a","target":"map2_02d","sourceSelector":"0:0","logicalPredecessorSelector":"1:0","addressPredecessorSelector":"10:0","currentSelector":"2:0","fieldMapSetGroupCount":21,"duplicateMapSetGroupCount":5,"duplicateMapSetSelectorCount":13,"duplicateGroups":[{"mapCount":6,"fieldMaps":["map3_02f","map3_03h","map3_04h","map3_05h","map3_06h","map3_07h"],"aliasCount":4,"aliases":[{"selector":"3:0","selectorIndex":3,"role":"additional map-set alias","rootHex":"0x004c9a8c","rootAddressOrderIndex":15,"rowPointerHex":"0x004c8ffc","selectedPointerEntryHex":"0x004c8ffc","fieldMaps":["map3_02f","map3_03h","map3_04h","map3_05h","map3_06h","map3_07h"],"fillCount":0,"firstFillHex":null,"lastFillHex":null,"publicSampleIds":[]},{"selector":"3:1","selectorIndex":4,"role":"additional map-set alias","rootHex":"0x004c9ab4","rootAddressOrderIndex":16,"rowPointerHex":"0x004c8ffc","selectedPointerEntryHex":"0x004c9000","fieldMaps":["map3_02f","map3_03h","map3_04h","map3_05h","map3_06h","map3_07h"],"fillCount":2,"firstFillHex":"0x004cbc34","lastFillHex":"0x004cbc44","publicSampleIds":[]},{"selector":"19:0","selectorIndex":22,"role":"additional map-set alias","rootHex":"0x00474194","rootAddressOrderIndex":7,"rowPointerHex":"0x00473674","selectedPointerEntryHex":"0x00473674","fieldMaps":["map3_02f","map3_03h","map3_04h","map3_05h","map3_06h","map3_07h"],"fillCount":0,"firstFillHex":null,"lastFillHex":null,"publicSampleIds":[]},{"selector":"19:1","selectorIndex":23,"role":"additional map-set alias","rootHex":"0x004741c4","rootAddressOrderIndex":8,"rowPointerHex":"0x00473674","selectedPointerEntryHex":"0x00473678","fieldMaps":["map3_02f","map3_03h","map3_04h","map3_05h","map3_06h","map3_07h"],"fillCount":0,"firstFillHex":null,"lastFillHex":null,"publicSampleIds":[]}],"containsSource":false,"containsTarget":false},{"mapCount":10,"fieldMaps":["map2_02d","map2_09g","map2_10g","map2_11g","map2_12h","map2_14j","map2_15j","map2_16j","map2_17h","map2_18d"],"aliasCount":3,"aliases":[{"selector":"1:0","selectorIndex":1,"role":"logical target-side predecessor","rootHex":"0x00478364","rootAddressOrderIndex":9,"rowPointerHex":"0x00476ab4","selectedPointerEntryHex":"0x00476ab4","fieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"fillCount":2,"firstFillHex":"0x004844d0","lastFillHex":"0x004844d8","publicSampleIds":[]},{"selector":"10:0","selectorIndex":12,"role":"address-adjacent target-side predecessor","rootHex":"0x0053c4a4","rootAddressOrderIndex":25,"rowPointerHex":"0x0053b284","selectedPointerEntryHex":"0x0053b284","fieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"fillCount":25,"firstFillHex":"0x0053f5b4","lastFillHex":"0x005400c4","publicSampleIds":[]},{"selector":"17:0","selectorIndex":20,"role":"additional map-set alias","rootHex":"0x004f28a4","rootAddressOrderIndex":20,"rowPointerHex":"0x004f1540","selectedPointerEntryHex":"0x004f1540","fieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"fillCount":0,"firstFillHex":null,"lastFillHex":null,"publicSampleIds":[]}],"containsSource":false,"containsTarget":true},{"mapCount":2,"fieldMaps":["map2_04l","map2_05e"],"aliasCount":2,"aliases":[{"selector":"48:9","selectorIndex":66,"role":"additional map-set alias","rootHex":"0x00500000","rootAddressOrderIndex":22,"rowPointerHex":"0x004e7238","selectedPointerEntryHex":"0x004e725c","fieldMaps":["map2_04l","map2_05e"],"fillCount":16,"firstFillHex":"0x00500d80","lastFillHex":"0x005016b0","publicSampleIds":[]},{"selector":"48:13","selectorIndex":67,"role":"additional map-set alias","rootHex":"0x00500000","rootAddressOrderIndex":22,"rowPointerHex":"0x004e7238","selectedPointerEntryHex":"0x004e726c","fieldMaps":["map2_04l","map2_05e"],"fillCount":16,"firstFillHex":"0x00500d80","lastFillHex":"0x005016b0","publicSampleIds":[]}],"containsSource":false,"containsTarget":false},{"mapCount":6,"fieldMaps":["map4_02f","map4_03h","map4_04h","map4_05h","map4_06h","map4_07h"],"aliasCount":2,"aliases":[{"selector":"6:0","selectorIndex":8,"role":"additional map-set alias","rootHex":"0x004f5ae8","rootAddressOrderIndex":21,"rowPointerHex":"0x004f4f70","selectedPointerEntryHex":"0x004f4f70","fieldMaps":["map4_02f","map4_03h","map4_04h","map4_05h","map4_06h","map4_07h"],"fillCount":0,"firstFillHex":null,"lastFillHex":null,"publicSampleIds":[]},{"selector":"15:0","selectorIndex":18,"role":"additional map-set alias","rootHex":"0x004a4e9c","rootAddressOrderIndex":12,"rowPointerHex":"0x004a4924","selectedPointerEntryHex":"0x004a4924","fieldMaps":["map4_02f","map4_03h","map4_04h","map4_05h","map4_06h","map4_07h"],"fillCount":4,"firstFillHex":"0x004a5b68","lastFillHex":"0x004a5f28","publicSampleIds":[]}],"containsSource":false,"containsTarget":false},{"mapCount":12,"fieldMaps":["map5_01f","map5_02h","map5_03h","map5_04h","map5_05h","map5_06h","map5_07h","map5_08h","map5_09h","map5_10h","map5_39h","map5_40f"],"aliasCount":2,"aliases":[{"selector":"8:0","selectorIndex":10,"role":"additional map-set alias","rootHex":"0x00494c34","rootAddressOrderIndex":11,"rowPointerHex":"0x004938b8","selectedPointerEntryHex":"0x004938b8","fieldMaps":["map5_01f","map5_40f","map5_02h","map5_04h","map5_03h","map5_05h","map5_06h","map5_07h","map5_08h","map5_09h","map5_10h","map5_39h"],"fillCount":0,"firstFillHex":null,"lastFillHex":null,"publicSampleIds":[]},{"selector":"16:0","selectorIndex":19,"role":"additional map-set alias","rootHex":"0x00468b18","rootAddressOrderIndex":6,"rowPointerHex":"0x0046780c","selectedPointerEntryHex":"0x0046780c","fieldMaps":["map5_01f","map5_40f","map5_02h","map5_04h","map5_03h","map5_05h","map5_06h","map5_07h","map5_08h","map5_09h","map5_10h","map5_39h"],"fillCount":0,"firstFillHex":null,"lastFillHex":null,"publicSampleIds":[]}],"containsSource":false,"containsTarget":false}],"targetAliasGroup":{"mapCount":10,"fieldMaps":["map2_02d","map2_09g","map2_10g","map2_11g","map2_12h","map2_14j","map2_15j","map2_16j","map2_17h","map2_18d"],"aliasCount":3,"aliases":[{"selector":"1:0","selectorIndex":1,"role":"logical target-side predecessor","rootHex":"0x00478364","rootAddressOrderIndex":9,"rowPointerHex":"0x00476ab4","selectedPointerEntryHex":"0x00476ab4","fieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"fillCount":2,"firstFillHex":"0x004844d0","lastFillHex":"0x004844d8","publicSampleIds":[]},{"selector":"10:0","selectorIndex":12,"role":"address-adjacent target-side predecessor","rootHex":"0x0053c4a4","rootAddressOrderIndex":25,"rowPointerHex":"0x0053b284","selectedPointerEntryHex":"0x0053b284","fieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"fillCount":25,"firstFillHex":"0x0053f5b4","lastFillHex":"0x005400c4","publicSampleIds":[]},{"selector":"17:0","selectorIndex":20,"role":"additional map-set alias","rootHex":"0x004f28a4","rootAddressOrderIndex":20,"rowPointerHex":"0x004f1540","selectedPointerEntryHex":"0x004f1540","fieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"fillCount":0,"firstFillHex":null,"lastFillHex":null,"publicSampleIds":[]}],"containsSource":false,"containsTarget":true},"targetAliasSelectors":["1:0","10:0","17:0"],"targetAliasSelectorCount":3,"targetAliasPublicSampleIds":[],"targetAliasPublicSampleCount":0,"currentEqualsTargetAliasPlusSource":true,"sourceTargetUnionOvercoversCurrent":true,"sourceTargetUnionExtraMaps":["map1_02b"],"sourceTargetUnionMissingMaps":[],"addressPredecessorEqualsLogicalPredecessorMapSet":true,"addressPredecessorToCurrentRootRefCount":1,"addressPredecessorCurrentRootRefClassification":"current-selector-row-entry-with-resource-list","addressContiguityProvesExecution":false,"setDecompositionCurrentEqualsPredecessorPlusSource":true,"setDecompositionExecutionOrderProven":false,"promotionStatus":"blocked","remainingProofs":["prove which target-side alias executes before current selector 2:0","prove secondaryBranchState persists into the 0x00542b0c reader","find a strict map1_01a source hotspot or equivalent original transition trigger"],"conclusion":"The target-side map set for map2_02d has three selector aliases: 1:0, 10:0, and 17:0. Selector 1:0 is the logical selector-table predecessor and the only public-sample-covered alias; selector 10:0 is the address-adjacent root immediately before 2:0 and has many secondaryBranchState fills; selector 17:0 is another target-side alias without public sample coverage. The current 2:0 map set equals that target-side map set plus map1_01a, while source selector 0:0 plus the target-side set over-covers the current map set by map1_02b. This supports selector list recomposition/aliasing, but it still does not prove runtime execution order, state persistence into the 0x00542b0c reader, or a strict map1_01a source hotspot."}