{"source":"map1_01a","target":"map2_02d","selector":"2:0","currentRootHex":"0x00540714","rootTablePointerHex":"0x005429dc","tableWindowHex":"0x005429a8..0x00542a00","routeEntryIndices":[-13,-12,6,8],"routePairEntryIndices":[6,8],"negativeReaderEntryIndices":[-12],"entryPointerRefCount":3,"entryPointerTextRefCount":0,"entryPointerPromotingRefCount":0,"encodedEntryAnchorScan":{"scanRangeHex":"0x00540714..0x00542a04","targetEntryCount":4,"targetEntries":[{"entryIndex":-13,"entryVaHex":"0x005429a8"},{"entryIndex":-12,"entryVaHex":"0x005429ac"},{"entryIndex":6,"entryVaHex":"0x005429f4"},{"entryIndex":8,"entryVaHex":"0x005429fc"}],"rawScalarCandidateCounts":{"abs16Low":1,"currentRootRelativeU16":0,"currentRootRelativeU32":0,"signedRel16SitePlus2":2,"signedRel32SitePlus4":0},"rawScalarCandidateCount":3,"branchAttachedEncodedFieldCount":0,"modeledControlFlowCandidateCount":0,"promotingCandidateCount":0,"classification":"raw-encoded-entry-anchor-scalars-nonpromoting","promotionStatus":"blocked","rawScalarCandidateRows":[{"kind":"abs16-low","siteVaHex":"0x0054090c","rowVaHex":"0x0054090c","valueHex":"0x29ac","targetEntryIndex":-12,"targetEntryVaHex":"0x005429ac","rowOpcodeHex":"0xac","handlerVaHex":"0x00000003","handlerSection":null,"handlerCanJumpToDwordAtPlus4":false,"handlerFixedAdvances":[],"startsAtBranchTargetField":false},{"kind":"signed-rel16-site-plus2","siteVaHex":"0x005419a6","rowVaHex":"0x005419a4","valueHex":"0x1000","targetEntryIndex":-13,"targetEntryVaHex":"0x005429a8","rowOpcodeHex":"0x00","handlerVaHex":"0x0040239f","handlerSection":".text","handlerCanJumpToDwordAtPlus4":false,"handlerFixedAdvances":[],"startsAtBranchTargetField":false},{"kind":"signed-rel16-site-plus2","siteVaHex":"0x005429a6","rowVaHex":"0x005429a4","valueHex":"0x0000","targetEntryIndex":-13,"targetEntryVaHex":"0x005429a8","rowOpcodeHex":"0x03","handlerVaHex":"0x0040239f","handlerSection":".text","handlerCanJumpToDwordAtPlus4":false,"handlerFixedAdvances":[],"startsAtBranchTargetField":false}],"branchAttachedEncodedRows":[],"modeledControlFlowRows":[]},"encodedEntryAnchorRawScalarCandidateCount":3,"encodedEntryAnchorBranchAttachedEncodedFieldCount":0,"encodedEntryAnchorModeledControlFlowCandidateCount":0,"encodedEntryAnchorPromotingCandidateCount":0,"encodedEntryAnchorClassification":"raw-encoded-entry-anchor-scalars-nonpromoting","entryPointerOpcode5aFallthroughRefCount":3,"entryPointerFallthroughNonCodeRefCount":3,"nonNegativeEntryPointerPromotingRefCount":0,"negativeReaderEntryPointerPromotingRefCount":0,"opcode07IndexMode":"zero-extended-u8","opcode07RowCount":33,"opcode07ValidTableRowCount":30,"opcode07SelectedLeafTableWindowSlotCount":0,"opcode07SelectedNegativeRootEntrySlotCount":0,"opcode07SelectedCurrentRootEntrySlotCount":0,"opcode07SelectedWrapperEntrySlotCount":0,"opcode07DirectFrontierTargetCount":0,"opcode07DirectEntrySelectionAbsent":true,"entryPointerFallthroughHandlerSummaries":["0x005429ac/0xac->0x00000003/-","0x005429f4/0xf4->0x00000004/-","0x005429fc/0xfc->0x004409b8/.data"],"descriptorPointerRefCount":4,"descriptorPointerTextRefCount":0,"descriptorPointerPromotingRefCount":0,"descriptorRefsOnlyTableCells":true,"childPointerRefCount":3,"childPointerTextRefCount":0,"childPointerPromotingRefCount":0,"childRefsOnlyDescriptorChildWords":true,"higherLevelIndexSourceProven":false,"directPointerRefPromotesRoute":false,"proofFound":false,"failedRoutePairIndexSourceGateIds":["direct-entry-pointer-source","encoded-entry-anchor-control-flow","nonnegative-entry-index-source","negative-wrapper-index-source"],"missingEvidence":["code-backed direct entry-pointer source for route-pair entries 6/8 or wrapper entry -12","modeled encoded entry-anchor control-flow candidate for route-pair entries 6/8","non-direct higher-level selector/table index source selecting entries 6 or 8","normal runtime selection of negative -12 wrapper entry"],"promotionStatus":"blocked","entries":[{"entryIndex":-13,"entryIsNonNegative":false,"entryVaHex":"0x005429a8","descriptorHex":"0x005429a0","descriptorMarkerHex":"0x00000001","descriptorIsMarkerShape":false,"childPointerHex":null,"descriptorHasRoutePair":true,"childHasRoutePair":false,"isFrontierLeafChild":false,"entryPointerRefs":[],"descriptorPointerRefs":[{"section":".data","refVa":5515688,"refVaHex":"0x005429a8","targetKind":"descriptor-pointer","valueHex":"0x005429a0","previousVaHex":"0x005429a4","previousValueHex":"0x00000003","previousOpcodeHex":"0x03","previousOpcodeMode":0,"previousHandlerHex":"0x0040239f","previousHandlerSection":".text","previousHandlerFixedAdvances":[],"previousHandlerCanJumpToDwordAtPlus4":false,"fallthroughWordOpcodeHex":"0xa0","fallthroughWordHandlerEntryHex":"0x004409a0","fallthroughWordHandlerHex":"0x315f3270","fallthroughWordHandlerSection":null,"fallthroughWordHandlerIsCode":false,"fallthroughWordCanJumpToDwordAtPlus4":false,"insideCurrentRootRange":true,"insideCurrentRootEntryRun":false,"insideLeafTableWindow":true,"referenceRole":"leaf-table-entry-cell","promotesEntrySelection":false}],"childPointerRefs":[],"entryPointerRefCount":0,"entryPointerTextRefCount":0,"entryPointerPromotingRefCount":0,"entryPointerOpcode5aFallthroughRefCount":0,"entryPointerFallthroughNonCodeRefCount":0,"entryPointerCurrentRootRangeRefCount":0,"entryPointerCurrentRootEntryRunRefCount":0,"entryPointerFallthroughHandlerSummaries":[],"descriptorPointerRefCount":1,"descriptorPointerTextRefCount":0,"descriptorPointerPromotingRefCount":0,"descriptorPointerOnlyTableCell":true,"childPointerRefCount":0,"childPointerTextRefCount":0,"childPointerPromotingRefCount":0,"childPointerOnlyDescriptorChildWord":null},{"entryIndex":-12,"entryIsNonNegative":false,"entryVaHex":"0x005429ac","descriptorHex":"0x00542a04","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542ae8","descriptorHasRoutePair":true,"childHasRoutePair":true,"isFrontierLeafChild":true,"entryPointerRefs":[{"section":".data","refVa":5507340,"refVaHex":"0x0054090c","targetKind":"entry-pointer","valueHex":"0x005429ac","previousVaHex":"0x00540908","previousValueHex":"0x0000005a","previousOpcodeHex":"0x5a","previousOpcodeMode":0,"previousHandlerHex":"0x0040f57c","previousHandlerSection":".text","previousHandlerFixedAdvances":[4],"previousHandlerCanJumpToDwordAtPlus4":false,"fallthroughWordOpcodeHex":"0xac","fallthroughWordHandlerEntryHex":"0x004409d0","fallthroughWordHandlerHex":"0x00000003","fallthroughWordHandlerSection":null,"fallthroughWordHandlerIsCode":false,"fallthroughWordCanJumpToDwordAtPlus4":false,"insideCurrentRootRange":true,"insideCurrentRootEntryRun":false,"insideLeafTableWindow":false,"referenceRole":"opcode-0x5a-mode0-fallthrough-word","promotesEntrySelection":false}],"descriptorPointerRefs":[{"section":".data","refVa":5515692,"refVaHex":"0x005429ac","targetKind":"descriptor-pointer","valueHex":"0x00542a04","previousVaHex":"0x005429a8","previousValueHex":"0x005429a0","previousOpcodeHex":"0xa0","previousOpcodeMode":41,"previousHandlerHex":"0x315f3270","previousHandlerSection":null,"previousHandlerFixedAdvances":[],"previousHandlerCanJumpToDwordAtPlus4":false,"fallthroughWordOpcodeHex":"0x04","fallthroughWordHandlerEntryHex":"0x00440730","fallthroughWordHandlerHex":"0x0040239f","fallthroughWordHandlerSection":".text","fallthroughWordHandlerIsCode":true,"fallthroughWordCanJumpToDwordAtPlus4":false,"insideCurrentRootRange":true,"insideCurrentRootEntryRun":false,"insideLeafTableWindow":true,"referenceRole":"leaf-table-entry-cell","promotesEntrySelection":false}],"childPointerRefs":[{"section":".data","refVa":5515784,"refVaHex":"0x00542a08","targetKind":"child-pointer","valueHex":"0x00542ae8","previousVaHex":"0x00542a04","previousValueHex":"0x0000003f","previousOpcodeHex":"0x3f","previousOpcodeMode":0,"previousHandlerHex":"0x0040239f","previousHandlerSection":".text","previousHandlerFixedAdvances":[],"previousHandlerCanJumpToDwordAtPlus4":false,"fallthroughWordOpcodeHex":"0xe8","fallthroughWordHandlerEntryHex":"0x00440ac0","fallthroughWordHandlerHex":"0x00440c28","fallthroughWordHandlerSection":".data","fallthroughWordHandlerIsCode":false,"fallthroughWordCanJumpToDwordAtPlus4":false,"insideCurrentRootRange":false,"insideCurrentRootEntryRun":false,"insideLeafTableWindow":false,"referenceRole":"descriptor-child-word","promotesEntrySelection":false}],"entryPointerRefCount":1,"entryPointerTextRefCount":0,"entryPointerPromotingRefCount":0,"entryPointerOpcode5aFallthroughRefCount":1,"entryPointerFallthroughNonCodeRefCount":1,"entryPointerCurrentRootRangeRefCount":1,"entryPointerCurrentRootEntryRunRefCount":0,"entryPointerFallthroughHandlerSummaries":["0x005429ac/0xac->0x00000003/-"],"descriptorPointerRefCount":1,"descriptorPointerTextRefCount":0,"descriptorPointerPromotingRefCount":0,"descriptorPointerOnlyTableCell":true,"childPointerRefCount":1,"childPointerTextRefCount":0,"childPointerPromotingRefCount":0,"childPointerOnlyDescriptorChildWord":true},{"entryIndex":6,"entryIsNonNegative":true,"entryVaHex":"0x005429f4","descriptorHex":"0x00542ac0","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e10","descriptorHasRoutePair":true,"childHasRoutePair":false,"isFrontierLeafChild":false,"entryPointerRefs":[{"section":".data","refVa":5506616,"refVaHex":"0x00540638","targetKind":"entry-pointer","valueHex":"0x005429f4","previousVaHex":"0x00540634","previousValueHex":"0x0000005a","previousOpcodeHex":"0x5a","previousOpcodeMode":0,"previousHandlerHex":"0x0040f57c","previousHandlerSection":".text","previousHandlerFixedAdvances":[4],"previousHandlerCanJumpToDwordAtPlus4":false,"fallthroughWordOpcodeHex":"0xf4","fallthroughWordHandlerEntryHex":"0x00440af0","fallthroughWordHandlerHex":"0x00000004","fallthroughWordHandlerSection":null,"fallthroughWordHandlerIsCode":false,"fallthroughWordCanJumpToDwordAtPlus4":false,"insideCurrentRootRange":false,"insideCurrentRootEntryRun":false,"insideLeafTableWindow":false,"referenceRole":"opcode-0x5a-mode0-fallthrough-word","promotesEntrySelection":false}],"descriptorPointerRefs":[{"section":".data","refVa":5515764,"refVaHex":"0x005429f4","targetKind":"descriptor-pointer","valueHex":"0x00542ac0","previousVaHex":"0x005429f0","previousValueHex":"0x00542e80","previousOpcodeHex":"0x80","previousOpcodeMode":46,"previousHandlerHex":"0x0040239f","previousHandlerSection":".text","previousHandlerFixedAdvances":[],"previousHandlerCanJumpToDwordAtPlus4":false,"fallthroughWordOpcodeHex":"0xc0","fallthroughWordHandlerEntryHex":"0x00440a20","fallthroughWordHandlerHex":"0x00440c5c","fallthroughWordHandlerSection":".data","fallthroughWordHandlerIsCode":false,"fallthroughWordCanJumpToDwordAtPlus4":false,"insideCurrentRootRange":true,"insideCurrentRootEntryRun":true,"insideLeafTableWindow":true,"referenceRole":"leaf-table-entry-cell","promotesEntrySelection":false}],"childPointerRefs":[{"section":".data","refVa":5515972,"refVaHex":"0x00542ac4","targetKind":"child-pointer","valueHex":"0x00542e10","previousVaHex":"0x00542ac0","previousValueHex":"0x0000003f","previousOpcodeHex":"0x3f","previousOpcodeMode":0,"previousHandlerHex":"0x0040239f","previousHandlerSection":".text","previousHandlerFixedAdvances":[],"previousHandlerCanJumpToDwordAtPlus4":false,"fallthroughWordOpcodeHex":"0x10","fallthroughWordHandlerEntryHex":"0x00440760","fallthroughWordHandlerHex":"0x0040b49e","fallthroughWordHandlerSection":".text","fallthroughWordHandlerIsCode":true,"fallthroughWordCanJumpToDwordAtPlus4":false,"insideCurrentRootRange":false,"insideCurrentRootEntryRun":false,"insideLeafTableWindow":false,"referenceRole":"descriptor-child-word","promotesEntrySelection":false}],"entryPointerRefCount":1,"entryPointerTextRefCount":0,"entryPointerPromotingRefCount":0,"entryPointerOpcode5aFallthroughRefCount":1,"entryPointerFallthroughNonCodeRefCount":1,"entryPointerCurrentRootRangeRefCount":0,"entryPointerCurrentRootEntryRunRefCount":0,"entryPointerFallthroughHandlerSummaries":["0x005429f4/0xf4->0x00000004/-"],"descriptorPointerRefCount":1,"descriptorPointerTextRefCount":0,"descriptorPointerPromotingRefCount":0,"descriptorPointerOnlyTableCell":true,"childPointerRefCount":1,"childPointerTextRefCount":0,"childPointerPromotingRefCount":0,"childPointerOnlyDescriptorChildWord":true},{"entryIndex":8,"entryIsNonNegative":true,"entryVaHex":"0x005429fc","descriptorHex":"0x00542ad4","descriptorMarkerHex":"0x0000003f","descriptorIsMarkerShape":true,"childPointerHex":"0x00542e48","descriptorHasRoutePair":true,"childHasRoutePair":false,"isFrontierLeafChild":false,"entryPointerRefs":[{"section":".data","refVa":5506688,"refVaHex":"0x00540680","targetKind":"entry-pointer","valueHex":"0x005429fc","previousVaHex":"0x0054067c","previousValueHex":"0x0000005a","previousOpcodeHex":"0x5a","previousOpcodeMode":0,"previousHandlerHex":"0x0040f57c","previousHandlerSection":".text","previousHandlerFixedAdvances":[4],"previousHandlerCanJumpToDwordAtPlus4":false,"fallthroughWordOpcodeHex":"0xfc","fallthroughWordHandlerEntryHex":"0x00440b10","fallthroughWordHandlerHex":"0x004409b8","fallthroughWordHandlerSection":".data","fallthroughWordHandlerIsCode":false,"fallthroughWordCanJumpToDwordAtPlus4":false,"insideCurrentRootRange":false,"insideCurrentRootEntryRun":false,"insideLeafTableWindow":false,"referenceRole":"opcode-0x5a-mode0-fallthrough-word","promotesEntrySelection":false}],"descriptorPointerRefs":[{"section":".data","refVa":5515772,"refVaHex":"0x005429fc","targetKind":"descriptor-pointer","valueHex":"0x00542ad4","previousVaHex":"0x005429f8","previousValueHex":"0x00542e80","previousOpcodeHex":"0x80","previousOpcodeMode":46,"previousHandlerHex":"0x0040239f","previousHandlerSection":".text","previousHandlerFixedAdvances":[],"previousHandlerCanJumpToDwordAtPlus4":false,"fallthroughWordOpcodeHex":"0xd4","fallthroughWordHandlerEntryHex":"0x00440a70","fallthroughWordHandlerHex":"0x00080365","fallthroughWordHandlerSection":null,"fallthroughWordHandlerIsCode":false,"fallthroughWordCanJumpToDwordAtPlus4":false,"insideCurrentRootRange":true,"insideCurrentRootEntryRun":true,"insideLeafTableWindow":true,"referenceRole":"leaf-table-entry-cell","promotesEntrySelection":false}],"childPointerRefs":[{"section":".data","refVa":5515992,"refVaHex":"0x00542ad8","targetKind":"child-pointer","valueHex":"0x00542e48","previousVaHex":"0x00542ad4","previousValueHex":"0x0000003f","previousOpcodeHex":"0x3f","previousOpcodeMode":0,"previousHandlerHex":"0x0040239f","previousHandlerSection":".text","previousHandlerFixedAdvances":[],"previousHandlerCanJumpToDwordAtPlus4":false,"fallthroughWordOpcodeHex":"0x48","fallthroughWordHandlerEntryHex":"0x00440840","fallthroughWordHandlerHex":"0x0040eedf","fallthroughWordHandlerSection":".text","fallthroughWordHandlerIsCode":true,"fallthroughWordCanJumpToDwordAtPlus4":false,"insideCurrentRootRange":false,"insideCurrentRootEntryRun":false,"insideLeafTableWindow":false,"referenceRole":"descriptor-child-word","promotesEntrySelection":false}],"entryPointerRefCount":1,"entryPointerTextRefCount":0,"entryPointerPromotingRefCount":0,"entryPointerOpcode5aFallthroughRefCount":1,"entryPointerFallthroughNonCodeRefCount":1,"entryPointerCurrentRootRangeRefCount":0,"entryPointerCurrentRootEntryRunRefCount":0,"entryPointerFallthroughHandlerSummaries":["0x005429fc/0xfc->0x004409b8/.data"],"descriptorPointerRefCount":1,"descriptorPointerTextRefCount":0,"descriptorPointerPromotingRefCount":0,"descriptorPointerOnlyTableCell":true,"childPointerRefCount":1,"childPointerTextRefCount":0,"childPointerPromotingRefCount":0,"childPointerOnlyDescriptorChildWord":true}],"evidenceRefs":[{"path":"out/save_selector_leaf_table_global_context.json","fields":["currentSelectorRouteRows","currentSelectorRoutePairIndices","currentSelectorNegativeRoutePairRowCount","currentSelectorNonNegativeRoutePairRowCount","currentFrontierLeafOnlyNegative"]},{"path":"out/script_handler_table.json","fields":["handlerTableVaHex","opcodeCount","codeHandlerCount","defaultHandlerCount","entries"]},{"path":"out/save_selector_opcode07_indexed_pointers.json","fields":["opcode07IndexMode","rowCount","validTableRowCount","selectedLeafTableWindowSlotCount","selectedNegativeRootEntrySlotCount","selectedCurrentRootEntrySlotCount","selectedWrapperEntrySlotCount","directFrontierTargetCount","promotionStatus"]}],"evidenceRefCount":3,"remainingProofs":["decode a non-direct higher-level selector/table index source for entries 6 or 8","prove normal runtime selection of the negative -12 wrapper entry","prove selected-root execution reaches selector 2:0 on the normal route path","find a strict map1_01a source coordinate or hotspot linked to map2_02d"],"conclusion":"The current selector's route-pair entries have no code-backed direct source refs. Entry -13 has no direct entry-pointer ref at all; entries -12, 6, and 8 each have one direct entry-pointer ref, but all three are opcode 0x5a mode 0 fallthrough words whose low-byte handlers are not executable code. The descriptor refs are only the leaf-table cells and child refs are only descriptor child words. The encoded entry-anchor scan adds no modeled control-flow candidate; raw scalar matches stay non-promoting. The opcode 0x07 zero-extended indexer also selects no leaf-table window, negative entry, current-root entry, wrapper entry, or direct frontier target. This removes the direct/encoded/opcode07 path as proof that a higher-level index selects entries 6/8 or the negative -12 wrapper; normal-route promotion still needs runtime selected-root execution, a decoded index source, or a strict source hotspot."}