{"currentSelector":"2:0","currentRootHex":"0x00540714","currentFieldMaps":["map1_01a","map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"bestPrevious":{"selector":"1:0","rootHex":"0x00478364","sharedMaps":["map2_02d","map2_09g","map2_10g","map2_11g","map2_12h","map2_14j","map2_15j","map2_16j","map2_17h","map2_18d"],"introducedMaps":["map1_01a"],"droppedMaps":[],"score":101,"hasSecondaryFill":true,"secondaryFillCount":2,"firstFills":[{"vaHex":"0x004844d0","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x004844d8","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false}],"candidateRole":"best previous and has secondary fill"},"candidates":[{"selector":"1:0","rootHex":"0x00478364","sharedMaps":["map2_02d","map2_09g","map2_10g","map2_11g","map2_12h","map2_14j","map2_15j","map2_16j","map2_17h","map2_18d"],"introducedMaps":["map1_01a"],"droppedMaps":[],"score":101,"hasSecondaryFill":true,"secondaryFillCount":2,"firstFills":[{"vaHex":"0x004844d0","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x004844d8","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false}],"candidateRole":"best previous and has secondary fill"},{"selector":"0:0","rootHex":"0x00501808","sharedMaps":["map1_01a"],"introducedMaps":["map2_02d","map2_09g","map2_10g","map2_11g","map2_12h","map2_14j","map2_15j","map2_16j","map2_17h","map2_18d"],"droppedMaps":["map1_02b"],"score":19,"hasSecondaryFill":false,"secondaryFillCount":0,"firstFills":[],"candidateRole":"progress predecessor without secondary fill"}],"conclusion":"The selector-progress predecessor for current root 2:0 is 1:0, and that predecessor has opcode-shaped secondaryBranchState fills. This makes 1:0/root 0x00478364 the strongest inherited-state producer candidate for the map1_01a->map2_02d blocker. It still does not promote the transition: the remaining proof is to decode which slot/value 1:0 leaves in secondaryBranchState and to find a strict map1_01a source hotspot."}