{"source":"map1_01a","target":"map2_02d","selector":"2:0","rootHex":"0x00540714","rootTablePointerHex":"0x005429dc","tableWindowHex":"0x005429a8..0x00542a00","frontierLeafHex":"0x00542ae8","frontierReaderHex":"0x00542b0c","evidenceRefs":[{"path":"out/save_selector_leaf_streams.json","fields":["leafPointerHex","fieldRecords","nestedFieldRecords"]},{"path":"out/save_selector_stream_traces.json","fields":["streamVaHex","trace"]},{"path":"out/save_selector_opcode2c_route_pair_context.json","fields":["rows","descriptorHex","correctedTrace","reachesFrontierReader"]}],"evidenceRefCount":3,"entryCount":23,"negativeIndexCount":13,"currentRootEntryCount":10,"routePairDescriptorCurrentEntryCount":2,"readerBearingCurrentEntryCount":0,"readerBearingNegativeEntryCount":1,"opcode2cCorrectionApplied":true,"correctedReaderBearingCurrentEntryCount":2,"correctedRoutePairTraceReachesReaderCount":2,"correctedTraceAllRoutePairDescriptorsReachReader":true,"frontierLeafChildEntryIndices":[-12],"frontierLeafChildOnlyNegativeIndex":true,"frontierReaderSelectableByNonNegativeIndex":false,"frontierReaderReachableByCorrectedNonNegativeIndex":true,"routePairCurrentDescriptorIndices":[6,8],"routePairCorrectedTraceDescriptorIndices":[6,8],"readerBearingNegativeIndices":[-12],"rows":[{"entryVa":5515688,"entryVaHex":"0x005429a8","rootRelativeIndex":-13,"insideCurrentRootEntryRun":false,"descriptorHex":"0x005429a0","descriptorMarkerHex":"0x00000001","descriptorIsMarkerShape":false,"childPointerHex":null,"descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515692,"entryVaHex":"0x005429ac","rootRelativeIndex":-12,"insideCurrentRootEntryRun":false,"descriptorHex":"0x00542a04","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542ae8","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":["map1_01a","map2_02d","map2_18d"],"descriptorHasRoutePair":false,"childHasRoutePair":true,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":true,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":true,"isFrontierLeafDescriptor":false,"routeRelevant":true},{"entryVa":5515696,"entryVaHex":"0x005429b0","rootRelativeIndex":-11,"insideCurrentRootEntryRun":false,"descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e90","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515700,"entryVaHex":"0x005429b4","rootRelativeIndex":-10,"insideCurrentRootEntryRun":false,"descriptorHex":"0x00542a20","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542b50","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515704,"entryVaHex":"0x005429b8","rootRelativeIndex":-9,"insideCurrentRootEntryRun":false,"descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e90","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515708,"entryVaHex":"0x005429bc","rootRelativeIndex":-8,"insideCurrentRootEntryRun":false,"descriptorHex":"0x00542a34","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542bb8","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515712,"entryVaHex":"0x005429c0","rootRelativeIndex":-7,"insideCurrentRootEntryRun":false,"descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e90","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515716,"entryVaHex":"0x005429c4","rootRelativeIndex":-6,"insideCurrentRootEntryRun":false,"descriptorHex":"0x00542a48","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542c20","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515720,"entryVaHex":"0x005429c8","rootRelativeIndex":-5,"insideCurrentRootEntryRun":false,"descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e90","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515724,"entryVaHex":"0x005429cc","rootRelativeIndex":-4,"insideCurrentRootEntryRun":false,"descriptorHex":"0x00542a5c","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542c88","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515728,"entryVaHex":"0x005429d0","rootRelativeIndex":-3,"insideCurrentRootEntryRun":false,"descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e90","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515732,"entryVaHex":"0x005429d4","rootRelativeIndex":-2,"insideCurrentRootEntryRun":false,"descriptorHex":"0x00542a70","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542cd0","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515736,"entryVaHex":"0x005429d8","rootRelativeIndex":-1,"insideCurrentRootEntryRun":false,"descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e90","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515740,"entryVaHex":"0x005429dc","rootRelativeIndex":0,"insideCurrentRootEntryRun":true,"descriptorHex":"0x00542a84","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542d38","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515744,"entryVaHex":"0x005429e0","rootRelativeIndex":1,"insideCurrentRootEntryRun":true,"descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e90","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515748,"entryVaHex":"0x005429e4","rootRelativeIndex":2,"insideCurrentRootEntryRun":true,"descriptorHex":"0x00542a98","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542d80","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515752,"entryVaHex":"0x005429e8","rootRelativeIndex":3,"insideCurrentRootEntryRun":true,"descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e90","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515756,"entryVaHex":"0x005429ec","rootRelativeIndex":4,"insideCurrentRootEntryRun":true,"descriptorHex":"0x00542aac","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542dc8","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515760,"entryVaHex":"0x005429f0","rootRelativeIndex":5,"insideCurrentRootEntryRun":true,"descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e90","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515764,"entryVaHex":"0x005429f4","rootRelativeIndex":6,"insideCurrentRootEntryRun":true,"descriptorHex":"0x00542ac0","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e10","descriptorFieldMaps":["map1_01a","map2_02d"],"descriptorNestedFieldMaps":["map2_15j"],"childFieldMaps":[],"descriptorHasRoutePair":true,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":true,"correctedDescriptorFrontierReaderStep":17,"effectiveDescriptorTraceContainsFrontierReader":true,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":true},{"entryVa":5515768,"entryVaHex":"0x005429f8","rootRelativeIndex":7,"insideCurrentRootEntryRun":true,"descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e90","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false},{"entryVa":5515772,"entryVaHex":"0x005429fc","rootRelativeIndex":8,"insideCurrentRootEntryRun":true,"descriptorHex":"0x00542ad4","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e48","descriptorFieldMaps":["map1_01a","map2_02d"],"descriptorNestedFieldMaps":["map2_16j"],"childFieldMaps":[],"descriptorHasRoutePair":true,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":true,"correctedDescriptorFrontierReaderStep":12,"effectiveDescriptorTraceContainsFrontierReader":true,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":true},{"entryVa":5515776,"entryVaHex":"0x00542a00","rootRelativeIndex":9,"insideCurrentRootEntryRun":true,"descriptorHex":"0x00542e80","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e90","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":[],"descriptorHasRoutePair":false,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":false}],"routeRelevantRows":[{"entryVa":5515692,"entryVaHex":"0x005429ac","rootRelativeIndex":-12,"insideCurrentRootEntryRun":false,"descriptorHex":"0x00542a04","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542ae8","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":["map1_01a","map2_02d","map2_18d"],"descriptorHasRoutePair":false,"childHasRoutePair":true,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":true,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"isFrontierLeafChild":true,"isFrontierLeafDescriptor":false,"routeRelevant":true},{"entryVa":5515764,"entryVaHex":"0x005429f4","rootRelativeIndex":6,"insideCurrentRootEntryRun":true,"descriptorHex":"0x00542ac0","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e10","descriptorFieldMaps":["map1_01a","map2_02d"],"descriptorNestedFieldMaps":["map2_15j"],"childFieldMaps":[],"descriptorHasRoutePair":true,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":true,"correctedDescriptorFrontierReaderStep":17,"effectiveDescriptorTraceContainsFrontierReader":true,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":true},{"entryVa":5515772,"entryVaHex":"0x005429fc","rootRelativeIndex":8,"insideCurrentRootEntryRun":true,"descriptorHex":"0x00542ad4","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e48","descriptorFieldMaps":["map1_01a","map2_02d"],"descriptorNestedFieldMaps":["map2_16j"],"childFieldMaps":[],"descriptorHasRoutePair":true,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":true,"correctedDescriptorFrontierReaderStep":12,"effectiveDescriptorTraceContainsFrontierReader":true,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false,"routeRelevant":true}],"runtimeSelectionProven":false,"proofFound":false,"failedLeafIndexGateIds":["normal-runtime-selector-root-execution","reader-branch-target-linkage","strict-hotspot"],"missingEvidence":["normal runtime selector/root execution reaches the corrected route-pair descriptors","0x00542b0c reader branch outcome and map target linkage on a real route path","strict map1_01a source coordinate or hotspot"],"strictHotspotFound":false,"promotionStatus":"blocked","remainingProofs":["prove normal runtime selector/root execution reaches the corrected route-pair descriptors","resolve the 0x00542b0c reader branch outcome and map target linkage on a real route path","or find a strict map1_01a source coordinate/hotspot"],"conclusion":"The current selector 2:0 table pointer is 0x005429dc. The raw generic stream trace still finds the direct frontier leaf reference only as the descriptor child at root-relative index -12, before that table pointer. However, the opcode 0x2c correction shows the non-negative current-root route-pair descriptors at indices 6 and 8 can also reach the frontier reader 0x00542b0c. That resolves the stale no-fixed-advance trace contradiction, but it is still descriptor/control-flow evidence only; normal runtime selector execution, reader branch outcome, and a strict map1_01a hotspot remain unproven."}