{"source":"map1_01a","target":"map2_02d","sourceSelector":"0:0","predecessorSelector":"1:0","currentSelector":"2:0","currentSelectorIndex":2,"routeOrderProven":false,"selectorMergeGapOpen":true,"routeOverlapRootCount":4,"preCurrentRouteOverlapFillRootCount":1,"candidatePredecessorRootCount":1,"sourceSidePreviousSecondaryFillCount":0,"currentRootBeforeFrontierFillCount":0,"currentRootAfterFrontierFillCount":1,"postCurrentRouteOverlapRootCount":2,"postCurrentRouteOverlapFillCount":35,"secondaryRouteOverlapPromotesRoute":false,"promotionStatus":"blocked","rows":[{"selector":"0:0","selectorIndex":0,"rootHex":"0x00501808","fieldMaps":["map1_01a","map1_02b"],"routeMapOverlap":["map1_01a"],"fillCount":0,"beforeCurrentFrontierFillCount":0,"afterCurrentFrontierFillCount":0,"fills":[],"role":"source-side previous selector","promotionUse":"no secondary fill evidence in the source-side previous selector"},{"selector":"1:0","selectorIndex":1,"rootHex":"0x00478364","fieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"routeMapOverlap":["map2_02d","map2_09g","map2_10g","map2_11g","map2_12h","map2_14j","map2_15j","map2_16j","map2_17h","map2_18d"],"fillCount":2,"beforeCurrentFrontierFillCount":0,"afterCurrentFrontierFillCount":0,"fills":[{"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}],"role":"only pre-current route-overlap fill root","promotionUse":"candidate only after runtime order and persistence are proven"},{"selector":"2:0","selectorIndex":2,"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"],"routeMapOverlap":["map1_01a","map2_02d","map2_09g","map2_10g","map2_11g","map2_12h","map2_14j","map2_15j","map2_16j","map2_17h","map2_18d"],"fillCount":1,"beforeCurrentFrontierFillCount":0,"afterCurrentFrontierFillCount":1,"fills":[{"vaHex":"0x00542fc4","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":true}],"role":"current selector; fill is after frontier","promotionUse":"not an initializer; all valid fills are after the current frontier reader"},{"selector":"10:0","selectorIndex":12,"rootHex":"0x0053c4a4","fieldMaps":["map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"routeMapOverlap":["map2_02d","map2_09g","map2_10g","map2_11g","map2_12h","map2_14j","map2_15j","map2_16j","map2_17h","map2_18d"],"fillCount":25,"beforeCurrentFrontierFillCount":0,"afterCurrentFrontierFillCount":0,"fills":[{"vaHex":"0x0053f5b4","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053f6b4","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053f884","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053f88c","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053f9c4","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053f9cc","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053fae4","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053faf4","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053fb04","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053fb14","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053fb5c","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053fb6c","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053fb7c","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053fb8c","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053fd34","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053fd3c","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053fd54","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053fd5c","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053feb4","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053fec4","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053fecc","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053fee4","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x0053feec","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x00540044","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x005400c4","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false}],"role":"post-current route-overlap fill root","promotionUse":"post-current selector table order cannot initialize current selector 2:0"},{"selector":"11:0","selectorIndex":13,"rootHex":"0x004c3e08","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","map2_15j"],"routeMapOverlap":["map2_15j"],"fillCount":10,"beforeCurrentFrontierFillCount":0,"afterCurrentFrontierFillCount":0,"fills":[{"vaHex":"0x004c91e8","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x004c91f0","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x004c92a8","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x004c92b0","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x004c93a8","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x004c93b0","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x004c9578","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x004c9580","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x004c96c8","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false},{"vaHex":"0x004c96d0","valueHex":"0x00000210","streamPlus1Hex":"0x02","helperArgumentHex":"0x00","streamPlus3Hex":"0x00","beforeCurrentFrontierReader":false,"afterCurrentFrontierReader":false}],"role":"post-current route-overlap fill root","promotionUse":"post-current selector table order cannot initialize current selector 2:0"}],"remainingProofs":["prove predecessor selector 1:0 executes before current selector 2:0 in the route path","prove secondaryBranchState is not globally reset before the current frontier reader","find a strict map1_01a source coordinate or hotspot"],"conclusion":"Route-overlap secondaryBranchState fills do not close the selector-merge gap. The source-side previous selector 0:0 has no secondary fill evidence, the only pre-current route-overlap fill root is predecessor selector 1:0, the current 2:0 fill is after the frontier reader, and later route-overlap fill roots appear after selector 2:0 in table order."}