{"source":"map1_01a","target":"map2_02d","selector":"2:0","rootHex":"0x00540714","rootTablePointerHex":"0x005429dc","frontierReaderHex":"0x00542b0c","currentRoutePairDescriptorCount":2,"currentRoutePairDescriptorIndices":[6,8],"currentRoutePairDescriptorHexes":["0x00542ac0","0x00542ad4"],"currentRoutePairNestedFieldMaps":["map2_15j","map2_16j"],"currentRoutePairSceneAdjacentCount":2,"opcode2cCorrectionApplied":true,"currentRoutePairRawTraceReachesReaderCount":0,"currentRoutePairCorrectedTraceReachesReaderCount":2,"currentRoutePairCorrectedTraceAllDescriptorsReachReader":true,"currentRoutePairTraceReachesReaderCount":2,"currentRoutePairGeometryExitHitCount":0,"readerBearingCurrentEntryCount":0,"readerBearingNegativeEntryCount":1,"readerBearingNegativeIndices":[-12],"frontierReaderSelectableByNonNegativeIndex":false,"frontierReaderReachableByCorrectedNonNegativeIndex":true,"runtimeSelectionProven":false,"strictHotspotFound":false,"proofFound":false,"routePairDescriptorProofFound":false,"failedRoutePairDescriptorGateIds":["normal-runtime-selector-root-execution","reader-branch-target-linkage","strict-source-hotspot"],"missingEvidence":["normal runtime selector/root execution reaching corrected route-pair descriptors","0x00542b0c reader branch outcome and field-map target linkage on a real route path","strict map1_01a source coordinate or hotspot"],"evidenceRefs":[{"path":"out/save_selector_leaf_index_space.json","fields":["routeRelevantRows","currentRoutePairDescriptorCount","evidenceRefs","evidenceRefCount"]},{"path":"out/save_selector_scene_record_sequence.json","fields":["rows","sourceToTargetAdjacent","geometryExitWordHits"]},{"path":"out/save_selector_stream_traces.json","fields":["streamVaHex","trace","stopReason"]},{"path":"out/save_selector_opcode2c_route_pair_context.json","fields":["rows","correctedTrace","correctedTraceReachesReaderCount"]}],"evidenceRefCount":4,"promotionStatus":"blocked","rows":[{"index":-12,"entryVaHex":"0x005429ac","insideCurrentRootEntryRun":false,"descriptorHex":"0x00542a04","childPointerHex":"0x00542ae8","descriptorFieldMaps":[],"descriptorNestedFieldMaps":[],"childFieldMaps":["map1_01a","map2_02d","map2_18d"],"descriptorHasRoutePair":false,"childHasRoutePair":true,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":true,"rawDescriptorTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":false,"correctedDescriptorFrontierReaderStep":null,"effectiveDescriptorTraceContainsFrontierReader":false,"sourceToTargetAdjacent":null,"recordSequence":[],"sourceRecordVaHex":null,"targetRecordVaHex":null,"geometryExitWordHitCount":0,"descriptorTrace":{},"childTrace":{"streamKind":"leaf","streamVaHex":"0x00542ae8","stepCount":8,"opcodes":["0x12","0x38","0x16","0x10","0x12","0x63","0x50","0x11"],"stopVaHex":"0x00542b0c","stopOpcodeHex":"0x11","stopReason":"branch-or-fallthrough","containsFrontierReader":true},"correctedDescriptorTrace":{}},{"index":6,"entryVaHex":"0x005429f4","insideCurrentRootEntryRun":true,"descriptorHex":"0x00542ac0","childPointerHex":"0x00542e10","descriptorFieldMaps":["map1_01a","map2_02d"],"descriptorNestedFieldMaps":["map2_15j"],"childFieldMaps":[],"descriptorHasRoutePair":true,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"rawDescriptorTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":true,"correctedDescriptorFrontierReaderStep":17,"effectiveDescriptorTraceContainsFrontierReader":true,"sourceToTargetAdjacent":true,"recordSequence":["map1_01a","map2_02d"],"sourceRecordVaHex":"0x00542b44","targetRecordVaHex":"0x00542bac","geometryExitWordHitCount":0,"descriptorTrace":{"streamKind":"leaf","streamVaHex":"0x00542ac0","stepCount":4,"opcodes":["0x3f","0x10","0x26","0x2c"],"stopVaHex":"0x00542acc","stopOpcodeHex":"0x2c","stopReason":"no-fixed-advance","containsFrontierReader":false},"childTrace":{"streamKind":"nested","streamVaHex":"0x00542e10","stepCount":2,"opcodes":["0x12","0xa6"],"stopVaHex":"0x00542e14","stopOpcodeHex":"0xa6","stopReason":"no-fixed-advance","containsFrontierReader":false},"correctedDescriptorTrace":{"stepCount":18,"opcodes":["0x3f","0x10","0x26","0x2c","0x01","0x3f","0x48","0x26","0x2c","0x01","0x12","0x38","0x16","0x10","0x12","0x63","0x50","0x11"],"reachesFrontierReader":true,"frontierReaderStep":17,"stopVaHex":"0x00542b0c","stopOpcodeHex":"0x11","stopReason":"frontier-reader"}},{"index":8,"entryVaHex":"0x005429fc","insideCurrentRootEntryRun":true,"descriptorHex":"0x00542ad4","childPointerHex":"0x00542e48","descriptorFieldMaps":["map1_01a","map2_02d"],"descriptorNestedFieldMaps":["map2_16j"],"childFieldMaps":[],"descriptorHasRoutePair":true,"childHasRoutePair":false,"descriptorTraceContainsFrontierReader":false,"childTraceContainsFrontierReader":false,"rawDescriptorTraceContainsFrontierReader":false,"correctedDescriptorTraceContainsFrontierReader":true,"correctedDescriptorFrontierReaderStep":12,"effectiveDescriptorTraceContainsFrontierReader":true,"sourceToTargetAdjacent":true,"recordSequence":["map1_01a","map2_02d"],"sourceRecordVaHex":"0x00542b44","targetRecordVaHex":"0x00542bac","geometryExitWordHitCount":0,"descriptorTrace":{"streamKind":"leaf","streamVaHex":"0x00542ad4","stepCount":4,"opcodes":["0x3f","0x48","0x26","0x2c"],"stopVaHex":"0x00542ae0","stopOpcodeHex":"0x2c","stopReason":"no-fixed-advance","containsFrontierReader":false},"childTrace":{"streamKind":"nested","streamVaHex":"0x00542e48","stepCount":2,"opcodes":["0x12","0xa6"],"stopVaHex":"0x00542e4c","stopOpcodeHex":"0xa6","stopReason":"no-fixed-advance","containsFrontierReader":false},"correctedDescriptorTrace":{"stepCount":13,"opcodes":["0x3f","0x48","0x26","0x2c","0x01","0x12","0x38","0x16","0x10","0x12","0x63","0x50","0x11"],"reachesFrontierReader":true,"frontierReaderStep":12,"stopVaHex":"0x00542b0c","stopOpcodeHex":"0x11","stopReason":"frontier-reader"}}],"conclusion":"The current non-negative selector entries at indices 6 and 8 carry map1_01a/map2_02d route-pair scene-list descriptors. Their raw generic traces still stop at opcode 0x2c, but the opcode 0x2c correction traces both descriptors to the reader-bearing frontier 0x00542b0c. This removes the stale trace contradiction while keeping the route pair as selector scene-list adjacency/control-flow evidence: the scene-record sequences still have no geometry exit word hits, the reader branch payload does not yet prove a field-map target, and strict runtime selector/hotspot proof is still missing.","remainingProofs":["normal runtime selector/root execution reaching corrected route-pair descriptors","0x00542b0c reader branch outcome and field-map target linkage on a real route path","strict map1_01a source coordinate or hotspot"]}