{"source":"map1_01a","target":"map2_02d","currentSelector":"2:0","currentRootHex":"0x00540714","currentTablePointerHex":"0x005429dc","frontierLeafHex":"0x00542ae8","frontierReaderHex":"0x00542b0c","evidenceRefs":[{"path":"out/save_scene_selectors.json","fields":["group","slot","firstDwords"]},{"path":"Hwanse2.exe","fields":["selector leaf-table dwords","descriptor marker/child pointers","CNS linked field maps"]}],"evidenceRefCount":2,"windowIndexRange":[-13,9],"selectorTableCount":35,"fieldEntryRowCount":261,"negativeFieldEntryRowCount":136,"nonNegativeFieldEntryRowCount":125,"selectorsWithNegativeFieldEntries":27,"selectorsWithNonNegativeFieldEntries":27,"routePairRowCount":4,"routePairNegativeRowCount":2,"routePairNonNegativeRowCount":2,"currentSelectorRoutePairRowCount":4,"currentSelectorNegativeRoutePairRowCount":2,"currentSelectorNonNegativeRoutePairRowCount":2,"currentSelectorRoutePairIndices":[-13,-12,6,8],"currentSelectorFrontierLeafRows":[{"selector":"2:0","entryIndex":-12,"entryVaHex":"0x005429ac","entryIsNonNegative":false,"descriptorHex":"0x00542a04","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542ae8","descriptorFieldMaps":["map1_01a","map2_02d"],"childFieldMaps":["map2_04l","map2_05e","map1_01a","map2_02d"],"descriptorHasRoutePair":true,"childHasRoutePair":true,"hasAnyFieldMapEvidence":true,"hasRoutePair":true,"isCurrentSelector":true,"isFrontierLeafChild":true,"isFrontierLeafDescriptor":false}],"currentFrontierLeafOnlyNegative":true,"currentSelectorRouteRows":[{"selector":"2:0","entryIndex":-13,"entryVaHex":"0x005429a8","entryIsNonNegative":false,"descriptorHex":"0x005429a0","descriptorMarkerHex":"0x00000001","descriptorIsMarkerShape":false,"childPointerHex":null,"descriptorFieldMaps":["map1_01a","map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"childFieldMaps":[],"descriptorHasRoutePair":true,"childHasRoutePair":false,"hasAnyFieldMapEvidence":true,"hasRoutePair":true,"isCurrentSelector":true,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false},{"selector":"2:0","entryIndex":-12,"entryVaHex":"0x005429ac","entryIsNonNegative":false,"descriptorHex":"0x00542a04","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542ae8","descriptorFieldMaps":["map1_01a","map2_02d"],"childFieldMaps":["map2_04l","map2_05e","map1_01a","map2_02d"],"descriptorHasRoutePair":true,"childHasRoutePair":true,"hasAnyFieldMapEvidence":true,"hasRoutePair":true,"isCurrentSelector":true,"isFrontierLeafChild":true,"isFrontierLeafDescriptor":false},{"selector":"2:0","entryIndex":6,"entryVaHex":"0x005429f4","entryIsNonNegative":true,"descriptorHex":"0x00542ac0","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e10","descriptorFieldMaps":["map2_15j","map2_16j","map1_01a","map2_02d"],"childFieldMaps":["map2_04l","map2_05e","map2_15j","map2_16j"],"descriptorHasRoutePair":true,"childHasRoutePair":false,"hasAnyFieldMapEvidence":true,"hasRoutePair":true,"isCurrentSelector":true,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false},{"selector":"2:0","entryIndex":8,"entryVaHex":"0x005429fc","entryIsNonNegative":true,"descriptorHex":"0x00542ad4","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e48","descriptorFieldMaps":["map2_16j","map1_01a","map2_02d"],"childFieldMaps":["map2_04l","map2_05e","map2_16j"],"descriptorHasRoutePair":true,"childHasRoutePair":false,"hasAnyFieldMapEvidence":true,"hasRoutePair":true,"isCurrentSelector":true,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false}],"sampleSelectorRows":[{"selector":"2:0","entryIndex":-13,"entryVaHex":"0x005429a8","entryIsNonNegative":false,"descriptorHex":"0x005429a0","descriptorMarkerHex":"0x00000001","descriptorIsMarkerShape":false,"childPointerHex":null,"descriptorFieldMaps":["map1_01a","map2_02d","map2_18d","map2_09g","map2_10g","map2_11g","map2_12h","map2_17h","map2_14j","map2_15j","map2_16j"],"childFieldMaps":[],"descriptorHasRoutePair":true,"childHasRoutePair":false,"hasAnyFieldMapEvidence":true,"hasRoutePair":true,"isCurrentSelector":true,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false},{"selector":"2:0","entryIndex":-12,"entryVaHex":"0x005429ac","entryIsNonNegative":false,"descriptorHex":"0x00542a04","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542ae8","descriptorFieldMaps":["map1_01a","map2_02d"],"childFieldMaps":["map2_04l","map2_05e","map1_01a","map2_02d"],"descriptorHasRoutePair":true,"childHasRoutePair":true,"hasAnyFieldMapEvidence":true,"hasRoutePair":true,"isCurrentSelector":true,"isFrontierLeafChild":true,"isFrontierLeafDescriptor":false},{"selector":"2:0","entryIndex":6,"entryVaHex":"0x005429f4","entryIsNonNegative":true,"descriptorHex":"0x00542ac0","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e10","descriptorFieldMaps":["map2_15j","map2_16j","map1_01a","map2_02d"],"childFieldMaps":["map2_04l","map2_05e","map2_15j","map2_16j"],"descriptorHasRoutePair":true,"childHasRoutePair":false,"hasAnyFieldMapEvidence":true,"hasRoutePair":true,"isCurrentSelector":true,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false},{"selector":"2:0","entryIndex":8,"entryVaHex":"0x005429fc","entryIsNonNegative":true,"descriptorHex":"0x00542ad4","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e48","descriptorFieldMaps":["map2_16j","map1_01a","map2_02d"],"childFieldMaps":["map2_04l","map2_05e","map2_16j"],"descriptorHasRoutePair":true,"childHasRoutePair":false,"hasAnyFieldMapEvidence":true,"hasRoutePair":true,"isCurrentSelector":true,"isFrontierLeafChild":false,"isFrontierLeafDescriptor":false}],"proofFound":false,"leafTableGlobalProofFound":false,"failedLeafTableGlobalGateIds":["runtime-negative-wrapper-selection","nonnegative-route-pair-entry-reader-proof","selected-root-execution","strict-hotspot"],"missingEvidence":["runtime selection of the current negative -12 wrapper entry","normal-route proof that a non-negative current route-pair entry reaches the frontier reader","selected-root/current-root runtime execution proof","strict map1_01a source coordinate or hotspot"],"runtimeSelectionProven":false,"strictHotspotFound":false,"promotionStatus":"blocked","remainingProofs":["runtime selection of the current negative -12 wrapper entry","normal-route proof that a non-negative current route-pair entry reaches the frontier reader","selected-root/current-root runtime execution proof","strict map1_01a source coordinate or hotspot"],"conclusion":"Across selector rows, field-map-bearing entries commonly appear on both sides of each selector's root table pointer. The current reader-bearing frontier leaf 0x00542ae8 appears only as the child of the current selector's negative root-relative entry -12, while the non-negative current entries that contain the map1_01a/map2_02d route pair do not by themselves prove the reader path. This keeps the wrapper as sliding-window context evidence rather than normal-transition proof."}