{"source":"map1_01a","target":"map2_02d","predecessorSelector":"1:0","predecessorRootHex":"0x00478364","currentSelector":"2:0","currentRootHex":"0x00540714","currentReaderHex":"0x00542b0c","fillSites":["0x004844d0","0x004844d8"],"localFillTraceStartHex":"0x004844d0","localFillTrace":[{"step":0,"vaHex":"0x004844d0","valueHex":"0x00000210","opcodeHex":"0x10","handlerVaHex":"0x0040b49e","fixedAdvances":[4],"branchTargetHex":null,"fallthroughVaHex":null,"stopReason":null},{"step":1,"vaHex":"0x004844d4","valueHex":"0x00000100","opcodeHex":"0x00","handlerVaHex":"0x0040239f","fixedAdvances":[4],"branchTargetHex":null,"fallthroughVaHex":null,"stopReason":null},{"step":2,"vaHex":"0x004844d8","valueHex":"0x00000210","opcodeHex":"0x10","handlerVaHex":"0x0040b49e","fixedAdvances":[4],"branchTargetHex":null,"fallthroughVaHex":null,"stopReason":null},{"step":3,"vaHex":"0x004844dc","valueHex":"0x000000c0","opcodeHex":"0xc0","handlerVaHex":"0x00440c5c","fixedAdvances":[],"branchTargetHex":null,"fallthroughVaHex":null,"stopReason":"no-fixed-advance"}],"localFillTraceContainsAllFillSites":true,"localFillTraceStopHex":"0x004844dc","localFillTraceStopValueHex":"0x000000c0","localFillTraceStopOpcodeHex":"0xc0","localFillTraceStopReason":"no-fixed-advance","localFillTraceStopHandlerHex":"0x00440c5c","localFillTraceReachesCurrentReader":false,"rootEntryFixedTraversal":{"available":true,"startHex":"0x00478364","rootEndHex":"0x0048458c","visitedNodeCount":23,"maxNodes":512,"targetHexes":["0x004844d0","0x004844d8"],"reachableTargetHexes":[],"allTargetsReachable":false,"stopRows":[{"vaHex":"0x004783e0","reason":"no-fixed-advance","valueHex":"0x004783d0","opcodeHex":"0xd0","handlerVaHex":"0x00440a9c"}]},"rootEntryFixedTraversalFillSitesReachable":false,"directFillSiteRefCounts":{"0x004844d0":0,"0x004844d8":0},"fillEntryCandidateScan":{"available":true,"fillFragmentRangeHex":"0x004844d0..0x004844e0","allDwordRefCount":0,"predecessorRootRangeDwordRefCount":0,"rootBranchTargetCandidateCount":0,"dwordRefs":[],"rootBranchTargetCandidates":[],"entryCandidateFound":false},"encodedFillEntryCandidateScan":{"available":true,"scanRangeHex":"0x00478364..0x004844d0","rootTailRangeHex":"0x004783e0..0x004844d0","fillFragmentRangeHex":"0x004844d0..0x004844e0","targetVaHexes":["0x004844d0","0x004844d4","0x004844d8","0x004844dc"],"targetLow16Hexes":["0x44d0","0x44d4","0x44d8","0x44dc"],"rootRelativeU16Hexes":["0xc16c","0xc170","0xc174","0xc178"],"rawScalarCandidateCounts":{"abs16Low":1,"rootRelativeU16":0,"rootRelativeU32":0,"signedRel16SitePlus2":2,"signedRel32SitePlus4":1},"rootTailRawScalarCandidateCounts":{"abs16Low":1,"rootRelativeU16":0,"rootRelativeU32":0,"signedRel16SitePlus2":2,"signedRel32SitePlus4":1},"rawScalarCandidateCount":4,"rootTailRawScalarCandidateCount":4,"branchAttachedEncodedFieldCount":0,"modeledFixedAdvanceToFillCount":0,"modeledControlFlowCandidateCount":0,"promotingCandidateCount":0,"rawScalarCandidateRows":[{"kind":"abs16-low","siteVaHex":"0x0047c0b4","rowVaHex":"0x0047c0b4","valueHex":"0x44d4","targetVaHex":"0x004844d4","opcodeHex":"0xd4","handlerVaHex":"0x00080365","handlerSection":null,"handlerCanJumpToDwordAtPlus4":false,"handlerFixedAdvances":[],"startsAtBranchTargetField":false},{"kind":"signed-rel16-site-plus2","siteVaHex":"0x004803e5","rowVaHex":"0x004803e4","valueHex":"0x40e9","targetVaHex":"0x004844d0","opcodeHex":"0xb8","handlerVaHex":"0x0000034b","handlerSection":null,"handlerCanJumpToDwordAtPlus4":false,"handlerFixedAdvances":[],"startsAtBranchTargetField":false},{"kind":"signed-rel32-site-plus4","siteVaHex":"0x00484440","rowVaHex":"0x00484440","valueHex":"0x00000090","targetVaHex":"0x004844d4","opcodeHex":"0x90","handlerVaHex":"0x6d00736e","handlerSection":null,"handlerCanJumpToDwordAtPlus4":false,"handlerFixedAdvances":[],"startsAtBranchTargetField":false},{"kind":"signed-rel16-site-plus2","siteVaHex":"0x004844ce","rowVaHex":"0x004844cc","valueHex":"0x0000","targetVaHex":"0x004844d0","opcodeHex":"0xc0","handlerVaHex":"0x00440c5c","handlerSection":".data","handlerCanJumpToDwordAtPlus4":false,"handlerFixedAdvances":[],"startsAtBranchTargetField":false}],"branchAttachedEncodedRows":[],"modeledFixedAdvanceRows":[],"classification":"raw-encoded-scalars-nonpromoting","promotionStatus":"blocked"},"encodedFillEntryRawScalarCandidateCount":4,"encodedFillEntryRootTailRawScalarCandidateCount":4,"encodedFillEntryBranchAttachedEncodedFieldCount":0,"encodedFillEntryModeledControlFlowCandidateCount":0,"encodedFillEntryPromotingCandidateCount":0,"encodedFillEntryClassification":"raw-encoded-scalars-nonpromoting","encodedRawScalarRejection":{"available":true,"rawScalarCandidateCount":4,"rawScalarKindCounts":{"abs16-low":1,"signed-rel16-site-plus2":2,"signed-rel32-site-plus4":1},"rawScalarHandlerSectionCounts":{"-":3,".data":1},"rawScalarNoFixedAdvanceCount":4,"rawScalarNoBranchJumpCount":4,"rawScalarBranchAttachedCount":0,"rawScalarScalarOnlyCount":4,"rawScalarAllScalarOnly":true,"classification":"scalar-only-no-branch-or-fixed-advance","promotionStatus":"blocked"},"encodedRawScalarRejectionClassification":"scalar-only-no-branch-or-fixed-advance","encodedRawScalarAllScalarOnly":true,"encodedRawScalarNoFixedAdvanceCount":4,"encodedRawScalarNoBranchJumpCount":4,"encodedRawScalarBranchAttachedCount":0,"encodedRawScalarScalarOnlyCount":4,"encodedRawScalarKindCounts":{"abs16-low":1,"signed-rel16-site-plus2":2,"signed-rel32-site-plus4":1},"encodedRawScalarHandlerSectionCounts":{"-":3,".data":1},"rootTailIsolationScan":{"available":true,"rangeHex":"0x004783e0..0x004844d0","distanceBytes":49392,"distanceHex":"0xc0f0","dwordCount":12348,"textHandlerRowCount":7350,"dataHandlerRowCount":1443,"otherHandlerRowCount":3555,"dataNoAdvanceRowCount":1443,"branchCapableRowCount":591,"branchTargetClassCounts":{"before-root-tail":262,"inside-root-tail":80,"mapped-.data":111,"unmapped":138},"branchTargetSectionCounts":{".data":221,".text":3,"unmapped":367},"branchTargetSampleRows":[{"siteVaHex":"0x00478434","opcodeHex":"0x32","handlerVaHex":"0x0040d8cb","targetVaHex":"0x00477cc0","targetClass":"before-root-tail","targetSection":".data"},{"siteVaHex":"0x00478440","opcodeHex":"0x31","handlerVaHex":"0x0040d85b","targetVaHex":"0x00000004","targetClass":"before-root-tail","targetSection":"unmapped"},{"siteVaHex":"0x0047847c","opcodeHex":"0x3c","handlerVaHex":"0x0040e150","targetVaHex":"0x00000307","targetClass":"before-root-tail","targetSection":"unmapped"},{"siteVaHex":"0x00478530","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x005531fc","targetClass":"mapped-.data","targetSection":".data"},{"siteVaHex":"0x00478548","opcodeHex":"0x32","handlerVaHex":"0x0040d8cb","targetVaHex":"0x004786a4","targetClass":"inside-root-tail","targetSection":".data"},{"siteVaHex":"0x0047856c","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x0055324c","targetClass":"mapped-.data","targetSection":".data"},{"siteVaHex":"0x00478588","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x005532d8","targetClass":"mapped-.data","targetSection":".data"},{"siteVaHex":"0x004785ac","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x00553402","targetClass":"mapped-.data","targetSection":".data"},{"siteVaHex":"0x004785d8","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x00553476","targetClass":"mapped-.data","targetSection":".data"},{"siteVaHex":"0x0047863c","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x005534ee","targetClass":"mapped-.data","targetSection":".data"},{"siteVaHex":"0x00478654","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x0055357a","targetClass":"mapped-.data","targetSection":".data"},{"siteVaHex":"0x00478668","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x005536c4","targetClass":"mapped-.data","targetSection":".data"},{"siteVaHex":"0x00478688","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x00553716","targetClass":"mapped-.data","targetSection":".data"},{"siteVaHex":"0x004786b0","opcodeHex":"0x31","handlerVaHex":"0x0040d85b","targetVaHex":"0x0000032f","targetClass":"before-root-tail","targetSection":"unmapped"},{"siteVaHex":"0x004786b4","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x00553772","targetClass":"mapped-.data","targetSection":".data"},{"siteVaHex":"0x004786e0","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x005537c0","targetClass":"mapped-.data","targetSection":".data"},{"siteVaHex":"0x004786ec","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x0055380a","targetClass":"mapped-.data","targetSection":".data"},{"siteVaHex":"0x0047877c","opcodeHex":"0x30","handlerVaHex":"0x0040d698","targetVaHex":"0x0000007c","targetClass":"before-root-tail","targetSection":"unmapped"},{"siteVaHex":"0x004787b8","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x0055385a","targetClass":"mapped-.data","targetSection":".data"},{"siteVaHex":"0x004787c4","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x00553982","targetClass":"mapped-.data","targetSection":".data"},{"siteVaHex":"0x004787ec","opcodeHex":"0x31","handlerVaHex":"0x0040d85b","targetVaHex":"0x0000032f","targetClass":"before-root-tail","targetSection":"unmapped"},{"siteVaHex":"0x004787f0","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x00553a28","targetClass":"mapped-.data","targetSection":".data"},{"siteVaHex":"0x0047889c","opcodeHex":"0x68","handlerVaHex":"0x004101ec","targetVaHex":"0x00000307","targetClass":"before-root-tail","targetSection":"unmapped"},{"siteVaHex":"0x004788b8","opcodeHex":"0x2f","handlerVaHex":"0x0040d4dd","targetVaHex":"0x00553aaa","targetClass":"mapped-.data","targetSection":".data"}],"branchToFillFragmentCount":0,"branchToCurrentReaderCount":0,"fixedFallthroughToFillCount":0,"immediatePredecessorRow":{"vaHex":"0x004844cc","valueHex":"0x000000c0","opcodeHex":"0xc0","handlerVaHex":"0x00440c5c","handlerSection":".data","fixedAdvances":[],"canJumpToDwordAtPlus4":false},"nearbyRows":[{"vaHex":"0x004844b0","valueHex":"0x000001b0","opcodeHex":"0xb0","handlerVaHex":"0x00000352","handlerSection":null,"fixedAdvances":[],"canJumpToDwordAtPlus4":false},{"vaHex":"0x004844b4","valueHex":"0x00000100","opcodeHex":"0x00","handlerVaHex":"0x0040239f","handlerSection":".text","fixedAdvances":[4],"canJumpToDwordAtPlus4":false},{"vaHex":"0x004844b8","valueHex":"0x000001b0","opcodeHex":"0xb0","handlerVaHex":"0x00000352","handlerSection":null,"fixedAdvances":[],"canJumpToDwordAtPlus4":false},{"vaHex":"0x004844bc","valueHex":"0x000000c0","opcodeHex":"0xc0","handlerVaHex":"0x00440c5c","handlerSection":".data","fixedAdvances":[],"canJumpToDwordAtPlus4":false},{"vaHex":"0x004844c0","valueHex":"0x000001e0","opcodeHex":"0xe0","handlerVaHex":"0x00440c28","handlerSection":".data","fixedAdvances":[],"canJumpToDwordAtPlus4":false},{"vaHex":"0x004844c4","valueHex":"0x00000100","opcodeHex":"0x00","handlerVaHex":"0x0040239f","handlerSection":".text","fixedAdvances":[4],"canJumpToDwordAtPlus4":false},{"vaHex":"0x004844c8","valueHex":"0x000001e0","opcodeHex":"0xe0","handlerVaHex":"0x00440c28","handlerSection":".data","fixedAdvances":[],"canJumpToDwordAtPlus4":false},{"vaHex":"0x004844cc","valueHex":"0x000000c0","opcodeHex":"0xc0","handlerVaHex":"0x00440c5c","handlerSection":".data","fixedAdvances":[],"canJumpToDwordAtPlus4":false},{"vaHex":"0x004844d0","valueHex":"0x00000210","opcodeHex":"0x10","handlerVaHex":"0x0040b49e","handlerSection":".text","fixedAdvances":[4],"canJumpToDwordAtPlus4":false},{"vaHex":"0x004844d4","valueHex":"0x00000100","opcodeHex":"0x00","handlerVaHex":"0x0040239f","handlerSection":".text","fixedAdvances":[4],"canJumpToDwordAtPlus4":false},{"vaHex":"0x004844d8","valueHex":"0x00000210","opcodeHex":"0x10","handlerVaHex":"0x0040b49e","handlerSection":".text","fixedAdvances":[4],"canJumpToDwordAtPlus4":false},{"vaHex":"0x004844dc","valueHex":"0x000000c0","opcodeHex":"0xc0","handlerVaHex":"0x00440c5c","handlerSection":".data","fixedAdvances":[],"canJumpToDwordAtPlus4":false}],"branchToFillRows":[],"branchToCurrentReaderRows":[],"fixedFallthroughToFillRows":[],"branchClosure":{"available":true,"nodeCount":12352,"tailNodeCount":12348,"fillTargetNodeCount":4,"branchSeedCount":591,"edgeCount":7249,"outsideSuccessorCount":512,"outsideSuccessorClassCounts":{"before-root-tail":262,"inside-root-tail":1,"mapped-.data":111,"unmapped":138},"outsideSuccessorSectionCounts":{".data":142,".text":3,"unmapped":367},"outsideSuccessorSampleRows":[{"sourceVaHex":"0x00478434","targetVaHex":"0x00477cc0","targetClass":"before-root-tail","targetSection":".data"},{"sourceVaHex":"0x00478440","targetVaHex":"0x00000004","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x0047847c","targetVaHex":"0x00000307","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x00478530","targetVaHex":"0x005531fc","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x0047856c","targetVaHex":"0x0055324c","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x00478588","targetVaHex":"0x005532d8","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004785ac","targetVaHex":"0x00553402","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004785d8","targetVaHex":"0x00553476","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x0047863c","targetVaHex":"0x005534ee","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x00478654","targetVaHex":"0x0055357a","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x00478668","targetVaHex":"0x005536c4","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x00478688","targetVaHex":"0x00553716","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004786b0","targetVaHex":"0x0000032f","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x004786b4","targetVaHex":"0x00553772","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004786e0","targetVaHex":"0x005537c0","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004786ec","targetVaHex":"0x0055380a","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x0047877c","targetVaHex":"0x0000007c","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x004787b8","targetVaHex":"0x0055385a","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004787c4","targetVaHex":"0x00553982","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004787ec","targetVaHex":"0x0000032f","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x004787f0","targetVaHex":"0x00553a28","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x0047889c","targetVaHex":"0x00000307","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x004788b8","targetVaHex":"0x00553aaa","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004788cc","targetVaHex":"0x00553af8","targetClass":"mapped-.data","targetSection":".data"}],"stopReasonCounts":{"multiple-advances":13,"no-fixed-advance":5169},"tailNodeReachFillCount":0,"tailNodeReachCurrentReaderCount":0,"branchSeedReachFillCount":0,"branchSeedReachCurrentReaderCount":0,"branchSeedReachFillRows":[],"branchSeedReachCurrentReaderRows":[],"proofFound":false,"classification":"branch-closure-no-fill-or-current-reader"},"descriptorIsolatedTail":true,"classification":"descriptor-isolated-tail"},"rootTailDescriptorIsolated":true,"rootTailBranchTargetClassCounts":{"before-root-tail":262,"inside-root-tail":80,"mapped-.data":111,"unmapped":138},"rootTailBranchTargetSectionCounts":{".data":221,".text":3,"unmapped":367},"rootTailBranchToFillFragmentCount":0,"rootTailBranchToCurrentReaderCount":0,"rootTailFixedFallthroughToFillCount":0,"rootTailBranchClosure":{"available":true,"nodeCount":12352,"tailNodeCount":12348,"fillTargetNodeCount":4,"branchSeedCount":591,"edgeCount":7249,"outsideSuccessorCount":512,"outsideSuccessorClassCounts":{"before-root-tail":262,"inside-root-tail":1,"mapped-.data":111,"unmapped":138},"outsideSuccessorSectionCounts":{".data":142,".text":3,"unmapped":367},"outsideSuccessorSampleRows":[{"sourceVaHex":"0x00478434","targetVaHex":"0x00477cc0","targetClass":"before-root-tail","targetSection":".data"},{"sourceVaHex":"0x00478440","targetVaHex":"0x00000004","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x0047847c","targetVaHex":"0x00000307","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x00478530","targetVaHex":"0x005531fc","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x0047856c","targetVaHex":"0x0055324c","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x00478588","targetVaHex":"0x005532d8","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004785ac","targetVaHex":"0x00553402","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004785d8","targetVaHex":"0x00553476","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x0047863c","targetVaHex":"0x005534ee","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x00478654","targetVaHex":"0x0055357a","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x00478668","targetVaHex":"0x005536c4","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x00478688","targetVaHex":"0x00553716","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004786b0","targetVaHex":"0x0000032f","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x004786b4","targetVaHex":"0x00553772","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004786e0","targetVaHex":"0x005537c0","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004786ec","targetVaHex":"0x0055380a","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x0047877c","targetVaHex":"0x0000007c","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x004787b8","targetVaHex":"0x0055385a","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004787c4","targetVaHex":"0x00553982","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004787ec","targetVaHex":"0x0000032f","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x004787f0","targetVaHex":"0x00553a28","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x0047889c","targetVaHex":"0x00000307","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x004788b8","targetVaHex":"0x00553aaa","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004788cc","targetVaHex":"0x00553af8","targetClass":"mapped-.data","targetSection":".data"}],"stopReasonCounts":{"multiple-advances":13,"no-fixed-advance":5169},"tailNodeReachFillCount":0,"tailNodeReachCurrentReaderCount":0,"branchSeedReachFillCount":0,"branchSeedReachCurrentReaderCount":0,"branchSeedReachFillRows":[],"branchSeedReachCurrentReaderRows":[],"proofFound":false,"classification":"branch-closure-no-fill-or-current-reader"},"rootTailBranchClosureClassification":"branch-closure-no-fill-or-current-reader","rootTailBranchClosureNodeCount":12352,"rootTailBranchClosureBranchSeedCount":591,"rootTailBranchClosureEdgeCount":7249,"rootTailBranchClosureTailNodeReachFillCount":0,"rootTailBranchClosureTailNodeReachCurrentReaderCount":0,"rootTailBranchClosureBranchSeedReachFillCount":0,"rootTailBranchClosureBranchSeedReachCurrentReaderCount":0,"rootTailBranchClosureProofFound":false,"rootTailBranchClosureOutsideSuccessorCount":512,"rootTailBranchClosureOutsideSuccessorClassCounts":{"before-root-tail":262,"inside-root-tail":1,"mapped-.data":111,"unmapped":138},"rootTailBranchClosureOutsideSuccessorSectionCounts":{".data":142,".text":3,"unmapped":367},"rootTailBranchClosureOutsideSuccessorSampleRows":[{"sourceVaHex":"0x00478434","targetVaHex":"0x00477cc0","targetClass":"before-root-tail","targetSection":".data"},{"sourceVaHex":"0x00478440","targetVaHex":"0x00000004","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x0047847c","targetVaHex":"0x00000307","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x00478530","targetVaHex":"0x005531fc","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x0047856c","targetVaHex":"0x0055324c","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x00478588","targetVaHex":"0x005532d8","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004785ac","targetVaHex":"0x00553402","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004785d8","targetVaHex":"0x00553476","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x0047863c","targetVaHex":"0x005534ee","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x00478654","targetVaHex":"0x0055357a","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x00478668","targetVaHex":"0x005536c4","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x00478688","targetVaHex":"0x00553716","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004786b0","targetVaHex":"0x0000032f","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x004786b4","targetVaHex":"0x00553772","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004786e0","targetVaHex":"0x005537c0","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004786ec","targetVaHex":"0x0055380a","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x0047877c","targetVaHex":"0x0000007c","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x004787b8","targetVaHex":"0x0055385a","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004787c4","targetVaHex":"0x00553982","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004787ec","targetVaHex":"0x0000032f","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x004787f0","targetVaHex":"0x00553a28","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x0047889c","targetVaHex":"0x00000307","targetClass":"before-root-tail","targetSection":"unmapped"},{"sourceVaHex":"0x004788b8","targetVaHex":"0x00553aaa","targetClass":"mapped-.data","targetSection":".data"},{"sourceVaHex":"0x004788cc","targetVaHex":"0x00553af8","targetClass":"mapped-.data","targetSection":".data"}],"publicPredecessorReached":true,"runtimeObservedFill":false,"fieldEntrySequenceContext":{"sequenceCount":22,"fieldEntryCandidateCount":0,"fieldEntryCandidateNames":[],"snapshotCount":85,"snapshotRouteCandidateCount":0,"snapshotRouteCandidateNames":[],"finalSelectorCounts":{"1:0":12,"50:0":2,"8:0":2,"19:1":6},"finalCameraTileCounts":{"5,15":18,"0,0":4},"snapshotSelectorCounts":{"8:0":10,"1:0":64,"50:0":4,"19:1":7},"snapshotCameraTileCounts":{"0,0":14,"5,15":71},"classificationCounts":{"start-coordinate-found-in-image-memory":18,"start-coordinate-not-found-outside-camera-snapshot":4},"activeOrderPatternCounts":{"0,2,2,3,3,0":18,"2,2,2,3,3,0":4},"promotionStatus":"diagnostic-only","proofFound":false,"predecessorFieldEntryProofFound":false,"fieldEntryRouteCandidateFound":false,"selector2FinalObserved":false,"selector2SnapshotObserved":false,"routeRelevantRuntimeObjectTileFound":false,"selectedRootExecutionProofFound":false,"failedPredecessorFieldEntryGateIds":["field-entry-input-sequence","selector-2-0-snapshot","route-relevant-runtime-object-tile","selected-root-execution-proof"],"missingEvidence":["input sequence from the public predecessor save that reaches selector 2:0 or a route-relevant runtime object tile","transient or final selector 2:0 snapshot during field-entry follow-up","plausible nonzero route object +0xe8/+0xea tile in runtime pointer tables","selected-root execution proof linking the field-entry path to current root 0x00540714"],"remainingProofs":["input sequence from the public predecessor save that reaches selector 2:0 or a route-relevant runtime object tile","transient or final selector 2:0 snapshot during field-entry follow-up","plausible nonzero route object +0xe8/+0xea tile in runtime pointer tables","selected-root execution proof linking the field-entry path to current root 0x00540714"],"evidenceRefs":[{"path":"data/public_savedata/flack3r/savedat2.dat","fields":["sourceSave","timing","sequenceCount"]},{"path":"tools/probe_runtime_predecessor_field_entry_sequence_scan.py","fields":["SEQUENCES","run_scan","summarize_row"]},{"path":"out/runtime_predecessor_field_entry_sequence_scan.json","fields":["rows","fieldEntryCandidateCount","snapshotRouteCandidateCount","finalSelectorCounts","snapshotSelectorCounts"]},{"path":"out/runtime_predecessor_coordinate_source_scan.json","fields":["classification","coordinateSourceRejectionClassification","promotionStatus"]}],"evidenceRefCount":4,"conclusion":"This sweep tries load-menu follow-up, direction, confirm/cancel, and short movement/action sequences and checks whether any one reaches selector 2:0 or exposes a plausible nonzero runtime object +0xe8/+0xea tile. It is diagnostic evidence for finding the original field-entry input path."},"fieldEntrySequenceCount":22,"fieldEntryCandidateCount":0,"fieldEntryCandidateNames":[],"fieldEntrySnapshotCount":85,"fieldEntrySnapshotRouteCandidateCount":0,"fieldEntrySnapshotRouteCandidateNames":[],"fieldEntryFinalSelectorCounts":{"1:0":12,"50:0":2,"8:0":2,"19:1":6},"fieldEntryFinalCameraTileCounts":{"5,15":18,"0,0":4},"fieldEntrySnapshotSelectorCounts":{"8:0":10,"1:0":64,"50:0":4,"19:1":7},"fieldEntrySnapshotCameraTileCounts":{"0,0":14,"5,15":71},"fieldEntryClassificationCounts":{"start-coordinate-found-in-image-memory":18,"start-coordinate-not-found-outside-camera-snapshot":4},"fieldEntryRouteCandidateFound":false,"fieldEntryInputStatus":"field-entry-not-found","fieldEntryProofFound":false,"predecessorFieldEntryProofFound":false,"fieldEntryFailedGateIds":["field-entry-input-sequence","selector-2-0-snapshot","route-relevant-runtime-object-tile","selected-root-execution-proof"],"fieldEntryMissingEvidence":["input sequence from the public predecessor save that reaches selector 2:0 or a route-relevant runtime object tile","transient or final selector 2:0 snapshot during field-entry follow-up","plausible nonzero route object +0xe8/+0xea tile in runtime pointer tables","selected-root execution proof linking the field-entry path to current root 0x00540714"],"fieldEntryEvidenceRefCount":4,"fieldEntryEvidenceRefs":[{"path":"data/public_savedata/flack3r/savedat2.dat","fields":["sourceSave","timing","sequenceCount"]},{"path":"tools/probe_runtime_predecessor_field_entry_sequence_scan.py","fields":["SEQUENCES","run_scan","summarize_row"]},{"path":"out/runtime_predecessor_field_entry_sequence_scan.json","fields":["rows","fieldEntryCandidateCount","snapshotRouteCandidateCount","finalSelectorCounts","snapshotSelectorCounts"]},{"path":"out/runtime_predecessor_coordinate_source_scan.json","fields":["classification","coordinateSourceRejectionClassification","promotionStatus"]}],"coordinateSourceContext":{"classification":"start-coordinate-found-in-image-memory","coordinateSourceRejectionClassification":"save-camera-memory-only-no-route-object-coordinate-source","promotionStatus":"diagnostic-only","finalSelector":"19:1","finalCameraTile":{"x":5,"y":15,"pairHex":"0x000f0005"},"pairHitSummaryRows":[{"target":"public-save-start","pairHex":"0x000f0005","pointerTableHitCount":0,"pointerTableTileHitCount":0,"staticBaseHitCount":1,"trailRingHitCount":0,"imageHitCount":2,"knownGlobalImageHitCount":1},{"target":"observed-trail","pairHex":"0x001a000f","pointerTableHitCount":0,"pointerTableTileHitCount":0,"staticBaseHitCount":0,"trailRingHitCount":7,"imageHitCount":10,"knownGlobalImageHitCount":8},{"target":"reciprocal-left","pairHex":"0x000e0001","pointerTableHitCount":0,"pointerTableTileHitCount":0,"staticBaseHitCount":0,"trailRingHitCount":0,"imageHitCount":64,"knownGlobalImageHitCount":0},{"target":"reciprocal-top","pairHex":"0x0000002e","pointerTableHitCount":0,"pointerTableTileHitCount":0,"staticBaseHitCount":0,"trailRingHitCount":0,"imageHitCount":54,"knownGlobalImageHitCount":0},{"target":"reciprocal-bottom","pairHex":"0x002f002f","pointerTableHitCount":0,"pointerTableTileHitCount":0,"staticBaseHitCount":0,"trailRingHitCount":0,"imageHitCount":0,"knownGlobalImageHitCount":0},{"target":"reciprocal-right","pairHex":"0x0010005f","pointerTableHitCount":0,"pointerTableTileHitCount":0,"staticBaseHitCount":0,"trailRingHitCount":0,"imageHitCount":0,"knownGlobalImageHitCount":0}],"publicSaveStartPointerTableTileHitCount":0,"publicSaveStartStaticBaseHitCount":1,"publicSaveStartTrailRingHitCount":0,"publicSaveStartImageHitCount":2,"publicSaveStartKnownGlobalImageHitCount":1,"observedTrailPointerTableTileHitCount":0,"observedTrailStaticBaseHitCount":0,"observedTrailTrailRingHitCount":7,"observedTrailImageHitCount":10,"observedTrailKnownGlobalImageHitCount":8,"reciprocalPointerTableTileHitCount":0,"reciprocalStaticBaseHitCount":0,"reciprocalTrailRingHitCount":0,"reciprocalImageHitCount":118,"remainingProofs":["find a runtime object or actor tile source for the public predecessor start coordinate","observe a reciprocal target coordinate in an actor/trail source, not only camera or image memory","connect the coordinate source to selector 2:0/current root execution before promotion"],"conclusion":"This scan locates where public predecessor coordinate pairs live after the original load-menu path. It is diagnostic source-finding for coordinate watches, not normal route promotion."},"coordinateSourceClassification":"start-coordinate-found-in-image-memory","coordinateSourceRejectionClassification":"save-camera-memory-only-no-route-object-coordinate-source","coordinateSourcePromotionStatus":"diagnostic-only","coordinateSourceFinalSelector":"19:1","coordinateSourceFinalCameraTile":{"x":5,"y":15,"pairHex":"0x000f0005"},"coordinateSourcePublicStartPointerTableTileHitCount":0,"coordinateSourcePublicStartStaticBaseHitCount":1,"coordinateSourcePublicStartTrailRingHitCount":0,"coordinateSourcePublicStartImageHitCount":2,"coordinateSourceObservedTrailPointerTableTileHitCount":0,"coordinateSourceObservedTrailStaticBaseHitCount":0,"coordinateSourceObservedTrailTrailRingHitCount":7,"coordinateSourceObservedTrailImageHitCount":10,"coordinateSourceReciprocalPointerTableTileHitCount":0,"coordinateSourceReciprocalStaticBaseHitCount":0,"coordinateSourceReciprocalTrailRingHitCount":0,"coordinateSourceReciprocalImageHitCount":118,"runtimeBranchStateAllZero":true,"staticNoLocalTailReset":true,"staticResetScopeClosed":true,"selectorOrderResetGapClosed":true,"predecessorToCurrentForwardBridgeFound":false,"predecessorToCurrentHitCount":0,"currentToPredecessorHitCount":51,"reverseReuseBeforeFillCount":51,"reverseReuseFillSiteHitCount":0,"forwardMergeBridgeHitCount":0,"predecessorRootStopIsDataDescriptor":true,"predecessorFillStopIsDataDescriptor":true,"predecessorRootStopDescriptorHex":"0x00440a9c","predecessorFillStopDescriptorHex":"0x00440c5c","predecessorRootStopDescriptorSharedOpcodes":["0xc7","0xca","0xcd","0xd0","0xd3","0xd6","0xd9"],"predecessorFillStopDescriptorSharedOpcodes":["0xc0","0xf5"],"predecessorDataDescriptorBoundariesProven":true,"predecessorDataDescriptorBoundaryPromotes":false,"predecessorDispatchSliceDependency":{"available":true,"proofFound":false,"dispatchTableProofFound":false,"failedDispatchTableGateIds":["save-selector-slice-runtime-dispatch","descriptor-boundary-runtime-bridge","dynamic-save-selector-table-base-candidate","route-relevant-slice-table-base-switch"],"missingEvidence":["runtime dispatch proof for the 0x00440720 save-selector slice","runtime bridge from route descriptor boundaries into the save-selector slice","dynamic register-base dispatch candidate using the save-selector table base","route-relevant table-base switch proof for descriptor-boundary rows"],"evidenceRefs":[{"path":"Hwanse2.exe","fields":["0x0040234c generic indexed dispatch immediate","0x00440538 general dispatch table","0x00440720 save-selector dispatch slice","0x0047f1d8 event-object dispatch table"]},{"path":"out/save_selector_stream_traces.json","fields":["source","target","trace","opcodeHex","handlerVaHex"]},{"path":"out/save_selector_dispatch_table_context.json","fields":["relativeOpcodeRows","routeRelevantDispatchRows","dynamicIndexedDispatchRows","dynamicScopeTableCallbackRows","dynamicSaveSelectorTableBaseCandidateRows"]}],"evidenceRefCount":3,"saveSelectorSliceDirectRuntimeDispatchProofFound":false,"saveSelectorDispatchRuntimeProofFound":false,"descriptorBoundaryDependsOnSaveSelectorSliceModel":true,"predecessorDispatchSliceRowCount":2,"predecessorDispatchSliceDataDescriptorCount":2,"predecessorDispatchRawGeneralCodeCount":2,"predecessorDispatchRawGeneralDiffersFromSliceCount":2,"predecessorDispatchSliceGenericByteReachableCount":0,"predecessorDispatchSliceRequiresTableBaseSwitchCount":2,"predecessorDispatchDynamicIndexedDispatchRowCount":3,"predecessorDispatchDynamicDwordScaledDispatchRowCount":3,"predecessorDispatchDynamicIndexedDispatchRows":[{"instructionVaHex":"0x00438456","kind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff54b308","rawOffset":227414,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-registration-scope-table-callback","contextReason":"nearby fs:0 SEH registration plus state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":true,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390b7","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":4,"displacementHex":"+0x4","encodingHex":"ff548f04","rawOffset":230583,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390f3","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff548f08","rawOffset":230643,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk; helper calls the SEH registration walker","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false}],"predecessorDispatchDynamicDwordScaledDispatchRows":[{"instructionVaHex":"0x00438456","kind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff54b308","rawOffset":227414,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-registration-scope-table-callback","contextReason":"nearby fs:0 SEH registration plus state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":true,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390b7","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":4,"displacementHex":"+0x4","encodingHex":"ff548f04","rawOffset":230583,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390f3","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff548f08","rawOffset":230643,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk; helper calls the SEH registration walker","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false}],"predecessorDispatchDynamicScopeTableCallbackCount":3,"predecessorDispatchDynamicSaveSelectorTableImmediateNearCount":0,"predecessorDispatchDynamicSaveSelectorTableBaseCandidateCount":0,"predecessorDispatchSaveSelectorTableBaseArithmeticRowCount":116,"predecessorDispatchSaveSelectorTableBaseArithmeticCandidateCount":0,"predecessorDispatchSaveSelectorTableBaseArithmeticCandidateFound":false,"predecessorDispatchSaveSelectorTableBaseArithmeticCandidateRows":[],"predecessorDispatchDynamicScopeTableCallbackSites":["0x00438456","0x004390b7","0x004390f3"],"predecessorDispatchDynamicScopeTableCallbackRows":[{"instructionVaHex":"0x00438456","kind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"displacementHex":"+0x8","contextClassification":"seh-registration-scope-table-callback","contextReason":"nearby fs:0 SEH registration plus state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0},{"instructionVaHex":"0x004390b7","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x4","contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0},{"instructionVaHex":"0x004390f3","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x8","contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk; helper calls the SEH registration walker","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0}],"predecessorDispatchDynamicSaveSelectorTableBaseCandidateSites":[],"predecessorDispatchDynamicSaveSelectorTableBaseCandidateRows":[],"predecessorDispatchDynamicSaveSelectorTableBaseSwitchStaticCandidateFound":false,"predecessorDispatchTableBaseRejection":{"classification":"table-base-switch-required-no-dynamic-save-selector-candidate","predecessorDispatchSliceRowCount":2,"predecessorDispatchSliceRequiresTableBaseSwitchCount":2,"predecessorDispatchSliceGenericByteReachableCount":0,"predecessorDispatchDynamicIndexedDispatchRowCount":3,"predecessorDispatchDynamicDwordScaledDispatchRowCount":3,"predecessorDispatchDynamicScopeTableCallbackCount":3,"predecessorDispatchDynamicSaveSelectorTableImmediateNearCount":0,"predecessorDispatchDynamicSaveSelectorTableBaseCandidateCount":0,"predecessorDispatchSaveSelectorTableBaseArithmeticRowCount":116,"predecessorDispatchSaveSelectorTableBaseArithmeticCandidateCount":0,"predecessorDispatchSaveSelectorTableBaseArithmeticCandidateFound":false,"predecessorDispatchSaveSelectorTableBaseArithmeticCandidateRows":[],"predecessorDispatchDynamicScopeTableCallbackSites":["0x00438456","0x004390b7","0x004390f3"],"predecessorDispatchDynamicScopeTableCallbackRows":[{"instructionVaHex":"0x00438456","kind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"displacementHex":"+0x8","contextClassification":"seh-registration-scope-table-callback","contextReason":"nearby fs:0 SEH registration plus state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0},{"instructionVaHex":"0x004390b7","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x4","contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0},{"instructionVaHex":"0x004390f3","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x8","contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk; helper calls the SEH registration walker","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0}],"predecessorDispatchDynamicSaveSelectorTableBaseCandidateSites":[],"predecessorDispatchDynamicSaveSelectorTableBaseCandidateRows":[],"predecessorDispatchDynamicSaveSelectorTableBaseSwitchStaticCandidateFound":false,"promotionStatus":"blocked","predecessorDispatchDynamicIndexedDispatchRows":[{"instructionVaHex":"0x00438456","kind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff54b308","rawOffset":227414,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-registration-scope-table-callback","contextReason":"nearby fs:0 SEH registration plus state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":true,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390b7","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":4,"displacementHex":"+0x4","encodingHex":"ff548f04","rawOffset":230583,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390f3","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff548f08","rawOffset":230643,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk; helper calls the SEH registration walker","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false}],"predecessorDispatchDynamicDwordScaledDispatchRows":[{"instructionVaHex":"0x00438456","kind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff54b308","rawOffset":227414,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-registration-scope-table-callback","contextReason":"nearby fs:0 SEH registration plus state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":true,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390b7","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":4,"displacementHex":"+0x4","encodingHex":"ff548f04","rawOffset":230583,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390f3","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff548f08","rawOffset":230643,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk; helper calls the SEH registration walker","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false}],"predecessorDispatchTableBaseAuditRows":[{"kind":"slice-descriptor-row","siteVaHex":"0x004783e0","role":"predecessor-root-entry-stop","status":"slice-descriptor-requires-table-base","lowByteOpcodeHex":"0xd0","saveHandlerVaHex":"0x00440a9c","saveHandlerSection":".data","rawGeneralHandlerVaHex":"0x0040f02a","rawGeneralHandlerSection":".text","rawGeneralDiffersFromSlice":true,"sliceHandlerReachableViaGenericByteDispatch":false,"sliceHandlerRequiresSaveSelectorTableBase":true,"candidateForSaveSelectorTableBase":false,"detail":"role=predecessor-root-entry-stop; opcode=0xd0; slice=0x00440a9c/.data; raw=0x0040f02a/.text; byteReachable=False; rawDiffers=True; requiresTableBase=True"},{"kind":"slice-descriptor-row","siteVaHex":"0x004844dc","role":"predecessor-fill-fragment-stop","status":"slice-descriptor-requires-table-base","lowByteOpcodeHex":"0xc0","saveHandlerVaHex":"0x00440c5c","saveHandlerSection":".data","rawGeneralHandlerVaHex":"0x0040ec00","rawGeneralHandlerSection":".text","rawGeneralDiffersFromSlice":true,"sliceHandlerReachableViaGenericByteDispatch":false,"sliceHandlerRequiresSaveSelectorTableBase":true,"candidateForSaveSelectorTableBase":false,"detail":"role=predecessor-fill-fragment-stop; opcode=0xc0; slice=0x00440c5c/.data; raw=0x0040ec00/.text; byteReachable=False; rawDiffers=True; requiresTableBase=True"},{"kind":"dynamic-indexed-dispatch-row","siteVaHex":"0x00438456","status":"seh-scope-callback-not-save-selector","instructionVaHex":"0x00438456","dispatchKind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"displacementHex":"+0x8","isDwordScaledIndex":true,"contextClassification":"seh-registration-scope-table-callback","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"hasSehRegistrationPattern":true,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"detail":"form=call ebx+esi*4+0x8; dwordScaled=True; context=seh-registration-scope-table-callback; stride=12; saveImm=0; knownImm=0; candidate=False; seh=True; sentinel=True; triplet=True"},{"kind":"dynamic-indexed-dispatch-row","siteVaHex":"0x004390b7","status":"seh-scope-callback-not-save-selector","instructionVaHex":"0x004390b7","dispatchKind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x4","isDwordScaledIndex":true,"contextClassification":"seh-scope-table-callback","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"detail":"form=call edi+ecx*4+0x4; dwordScaled=True; context=seh-scope-table-callback; stride=12; saveImm=0; knownImm=0; candidate=False; seh=False; sentinel=True; triplet=True"},{"kind":"dynamic-indexed-dispatch-row","siteVaHex":"0x004390f3","status":"seh-scope-callback-not-save-selector","instructionVaHex":"0x004390f3","dispatchKind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x8","isDwordScaledIndex":true,"contextClassification":"seh-scope-table-callback","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"detail":"form=call edi+ecx*4+0x8; dwordScaled=True; context=seh-scope-table-callback; stride=12; saveImm=0; knownImm=0; candidate=False; seh=False; sentinel=True; triplet=True"},{"kind":"table-base-arithmetic-scan","siteVaHex":"-","status":"no-save-selector-table-base-arithmetic-candidate","rowCount":116,"candidateCount":0,"candidateFound":false,"candidateRowCount":0,"detail":"rows=116; candidates=0; found=False; candidateRows=0"}]},"predecessorDispatchTableBaseRejectionClassification":"table-base-switch-required-no-dynamic-save-selector-candidate","predecessorDispatchTableBaseAuditRows":[{"kind":"slice-descriptor-row","siteVaHex":"0x004783e0","role":"predecessor-root-entry-stop","status":"slice-descriptor-requires-table-base","lowByteOpcodeHex":"0xd0","saveHandlerVaHex":"0x00440a9c","saveHandlerSection":".data","rawGeneralHandlerVaHex":"0x0040f02a","rawGeneralHandlerSection":".text","rawGeneralDiffersFromSlice":true,"sliceHandlerReachableViaGenericByteDispatch":false,"sliceHandlerRequiresSaveSelectorTableBase":true,"candidateForSaveSelectorTableBase":false,"detail":"role=predecessor-root-entry-stop; opcode=0xd0; slice=0x00440a9c/.data; raw=0x0040f02a/.text; byteReachable=False; rawDiffers=True; requiresTableBase=True"},{"kind":"slice-descriptor-row","siteVaHex":"0x004844dc","role":"predecessor-fill-fragment-stop","status":"slice-descriptor-requires-table-base","lowByteOpcodeHex":"0xc0","saveHandlerVaHex":"0x00440c5c","saveHandlerSection":".data","rawGeneralHandlerVaHex":"0x0040ec00","rawGeneralHandlerSection":".text","rawGeneralDiffersFromSlice":true,"sliceHandlerReachableViaGenericByteDispatch":false,"sliceHandlerRequiresSaveSelectorTableBase":true,"candidateForSaveSelectorTableBase":false,"detail":"role=predecessor-fill-fragment-stop; opcode=0xc0; slice=0x00440c5c/.data; raw=0x0040ec00/.text; byteReachable=False; rawDiffers=True; requiresTableBase=True"},{"kind":"dynamic-indexed-dispatch-row","siteVaHex":"0x00438456","status":"seh-scope-callback-not-save-selector","instructionVaHex":"0x00438456","dispatchKind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"displacementHex":"+0x8","isDwordScaledIndex":true,"contextClassification":"seh-registration-scope-table-callback","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"hasSehRegistrationPattern":true,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"detail":"form=call ebx+esi*4+0x8; dwordScaled=True; context=seh-registration-scope-table-callback; stride=12; saveImm=0; knownImm=0; candidate=False; seh=True; sentinel=True; triplet=True"},{"kind":"dynamic-indexed-dispatch-row","siteVaHex":"0x004390b7","status":"seh-scope-callback-not-save-selector","instructionVaHex":"0x004390b7","dispatchKind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x4","isDwordScaledIndex":true,"contextClassification":"seh-scope-table-callback","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"detail":"form=call edi+ecx*4+0x4; dwordScaled=True; context=seh-scope-table-callback; stride=12; saveImm=0; knownImm=0; candidate=False; seh=False; sentinel=True; triplet=True"},{"kind":"dynamic-indexed-dispatch-row","siteVaHex":"0x004390f3","status":"seh-scope-callback-not-save-selector","instructionVaHex":"0x004390f3","dispatchKind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x8","isDwordScaledIndex":true,"contextClassification":"seh-scope-table-callback","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"detail":"form=call edi+ecx*4+0x8; dwordScaled=True; context=seh-scope-table-callback; stride=12; saveImm=0; knownImm=0; candidate=False; seh=False; sentinel=True; triplet=True"},{"kind":"table-base-arithmetic-scan","siteVaHex":"-","status":"no-save-selector-table-base-arithmetic-candidate","rowCount":116,"candidateCount":0,"candidateFound":false,"candidateRowCount":0,"detail":"rows=116; candidates=0; found=False; candidateRows=0"}],"predecessorDispatchRows":[{"relativeOpcode":208,"relativeOpcodeHex":"0xd0","saveEntryVaHex":"0x00440a60","saveHandlerVaHex":"0x00440a9c","saveHandlerSection":".data","generalRawEntryVaHex":"0x00440878","generalRawHandlerVaHex":"0x0040f02a","generalRawHandlerSection":".text","generalAbsoluteOpcode":330,"generalAbsoluteOpcodeHex":"0x14a","generalAbsoluteDispatchByteHex":null,"generalAbsoluteByteReachable":false,"generalAbsoluteEntryVaHex":"0x00440a60","generalAbsoluteHandlerVaHex":"0x00440a9c","generalAbsoluteMatchesSaveHandler":true,"generalAbsoluteHandlerReachableViaByteDispatch":false,"saveHandlerIsDefault":false,"role":"predecessor-root-entry-stop","siteVaHex":"0x004783e0","lowByteOpcode":208,"lowByteOpcodeHex":"0xd0","sliceHandlerIsDataDescriptor":true,"sliceHandlerIsCode":false,"rawGeneralHandlerIsDefault":false,"rawGeneralHandlerIsCode":true,"rawGeneralDiffersFromSlice":true,"sliceHandlerReachableViaGenericByteDispatch":false,"sliceHandlerRequiresSaveSelectorTableBase":true},{"relativeOpcode":192,"relativeOpcodeHex":"0xc0","saveEntryVaHex":"0x00440a20","saveHandlerVaHex":"0x00440c5c","saveHandlerSection":".data","generalRawEntryVaHex":"0x00440838","generalRawHandlerVaHex":"0x0040ec00","generalRawHandlerSection":".text","generalAbsoluteOpcode":314,"generalAbsoluteOpcodeHex":"0x13a","generalAbsoluteDispatchByteHex":null,"generalAbsoluteByteReachable":false,"generalAbsoluteEntryVaHex":"0x00440a20","generalAbsoluteHandlerVaHex":"0x00440c5c","generalAbsoluteMatchesSaveHandler":true,"generalAbsoluteHandlerReachableViaByteDispatch":false,"saveHandlerIsDefault":false,"role":"predecessor-fill-fragment-stop","siteVaHex":"0x004844dc","lowByteOpcode":192,"lowByteOpcodeHex":"0xc0","sliceHandlerIsDataDescriptor":true,"sliceHandlerIsCode":false,"rawGeneralHandlerIsDefault":false,"rawGeneralHandlerIsCode":true,"rawGeneralDiffersFromSlice":true,"sliceHandlerReachableViaGenericByteDispatch":false,"sliceHandlerRequiresSaveSelectorTableBase":true}],"predecessorRootStopSliceHandlerHex":"0x00440a9c","predecessorRootStopSliceHandlerSection":".data","predecessorRootStopRawGeneralHandlerHex":"0x0040f02a","predecessorRootStopRawGeneralHandlerSection":".text","predecessorRootStopSliceGenericByteReachable":false,"predecessorRootStopSliceRequiresTableBaseSwitch":true,"predecessorFillStopSliceHandlerHex":"0x00440c5c","predecessorFillStopSliceHandlerSection":".data","predecessorFillStopRawGeneralHandlerHex":"0x0040ec00","predecessorFillStopRawGeneralHandlerSection":".text","predecessorFillStopSliceGenericByteReachable":false,"predecessorFillStopSliceRequiresTableBaseSwitch":true,"promotionStatus":"blocked"},"predecessorDispatchTableProofFound":false,"predecessorDispatchTableFailedGateIds":["save-selector-slice-runtime-dispatch","descriptor-boundary-runtime-bridge","dynamic-save-selector-table-base-candidate","route-relevant-slice-table-base-switch"],"predecessorDispatchTableMissingEvidence":["runtime dispatch proof for the 0x00440720 save-selector slice","runtime bridge from route descriptor boundaries into the save-selector slice","dynamic register-base dispatch candidate using the save-selector table base","route-relevant table-base switch proof for descriptor-boundary rows"],"predecessorDispatchTableEvidenceRefs":[{"path":"Hwanse2.exe","fields":["0x0040234c generic indexed dispatch immediate","0x00440538 general dispatch table","0x00440720 save-selector dispatch slice","0x0047f1d8 event-object dispatch table"]},{"path":"out/save_selector_stream_traces.json","fields":["source","target","trace","opcodeHex","handlerVaHex"]},{"path":"out/save_selector_dispatch_table_context.json","fields":["relativeOpcodeRows","routeRelevantDispatchRows","dynamicIndexedDispatchRows","dynamicScopeTableCallbackRows","dynamicSaveSelectorTableBaseCandidateRows"]}],"predecessorDispatchTableEvidenceRefCount":3,"predecessorDispatchSliceRuntimeProofFound":false,"predecessorDescriptorDependsOnSaveSelectorSliceModel":true,"predecessorDispatchSliceRowCount":2,"predecessorDispatchSliceDataDescriptorCount":2,"predecessorDispatchRawGeneralCodeCount":2,"predecessorDispatchRawGeneralDiffersFromSliceCount":2,"predecessorDispatchSliceGenericByteReachableCount":0,"predecessorDispatchSliceRequiresTableBaseSwitchCount":2,"predecessorDispatchDynamicIndexedDispatchRowCount":3,"predecessorDispatchDynamicDwordScaledDispatchRowCount":3,"predecessorDispatchDynamicIndexedDispatchRows":[{"instructionVaHex":"0x00438456","kind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff54b308","rawOffset":227414,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-registration-scope-table-callback","contextReason":"nearby fs:0 SEH registration plus state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":true,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390b7","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":4,"displacementHex":"+0x4","encodingHex":"ff548f04","rawOffset":230583,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390f3","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff548f08","rawOffset":230643,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk; helper calls the SEH registration walker","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false}],"predecessorDispatchDynamicDwordScaledDispatchRows":[{"instructionVaHex":"0x00438456","kind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff54b308","rawOffset":227414,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-registration-scope-table-callback","contextReason":"nearby fs:0 SEH registration plus state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":true,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390b7","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":4,"displacementHex":"+0x4","encodingHex":"ff548f04","rawOffset":230583,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390f3","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff548f08","rawOffset":230643,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk; helper calls the SEH registration walker","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false}],"predecessorDispatchDynamicScopeTableCallbackCount":3,"predecessorDispatchDynamicScopeTableCallbackSites":["0x00438456","0x004390b7","0x004390f3"],"predecessorDispatchDynamicScopeTableCallbackRows":[{"instructionVaHex":"0x00438456","kind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"displacementHex":"+0x8","contextClassification":"seh-registration-scope-table-callback","contextReason":"nearby fs:0 SEH registration plus state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0},{"instructionVaHex":"0x004390b7","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x4","contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0},{"instructionVaHex":"0x004390f3","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x8","contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk; helper calls the SEH registration walker","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0}],"predecessorDispatchDynamicSaveSelectorTableImmediateNearCount":0,"predecessorDispatchDynamicSaveSelectorTableBaseCandidateCount":0,"predecessorDispatchDynamicSaveSelectorTableBaseCandidateSites":[],"predecessorDispatchDynamicSaveSelectorTableBaseCandidateRows":[],"predecessorDispatchSaveSelectorTableBaseArithmeticRowCount":116,"predecessorDispatchSaveSelectorTableBaseArithmeticCandidateCount":0,"predecessorDispatchSaveSelectorTableBaseArithmeticCandidateFound":false,"predecessorDispatchSaveSelectorTableBaseArithmeticCandidateRows":[],"predecessorDispatchDynamicSaveSelectorTableBaseSwitchStaticCandidateFound":false,"predecessorDispatchTableBaseRejection":{"classification":"table-base-switch-required-no-dynamic-save-selector-candidate","predecessorDispatchSliceRowCount":2,"predecessorDispatchSliceRequiresTableBaseSwitchCount":2,"predecessorDispatchSliceGenericByteReachableCount":0,"predecessorDispatchDynamicIndexedDispatchRowCount":3,"predecessorDispatchDynamicDwordScaledDispatchRowCount":3,"predecessorDispatchDynamicScopeTableCallbackCount":3,"predecessorDispatchDynamicSaveSelectorTableImmediateNearCount":0,"predecessorDispatchDynamicSaveSelectorTableBaseCandidateCount":0,"predecessorDispatchSaveSelectorTableBaseArithmeticRowCount":116,"predecessorDispatchSaveSelectorTableBaseArithmeticCandidateCount":0,"predecessorDispatchSaveSelectorTableBaseArithmeticCandidateFound":false,"predecessorDispatchSaveSelectorTableBaseArithmeticCandidateRows":[],"predecessorDispatchDynamicScopeTableCallbackSites":["0x00438456","0x004390b7","0x004390f3"],"predecessorDispatchDynamicScopeTableCallbackRows":[{"instructionVaHex":"0x00438456","kind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"displacementHex":"+0x8","contextClassification":"seh-registration-scope-table-callback","contextReason":"nearby fs:0 SEH registration plus state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0},{"instructionVaHex":"0x004390b7","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x4","contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0},{"instructionVaHex":"0x004390f3","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x8","contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk; helper calls the SEH registration walker","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0}],"predecessorDispatchDynamicSaveSelectorTableBaseCandidateSites":[],"predecessorDispatchDynamicSaveSelectorTableBaseCandidateRows":[],"predecessorDispatchDynamicSaveSelectorTableBaseSwitchStaticCandidateFound":false,"promotionStatus":"blocked","predecessorDispatchDynamicIndexedDispatchRows":[{"instructionVaHex":"0x00438456","kind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff54b308","rawOffset":227414,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-registration-scope-table-callback","contextReason":"nearby fs:0 SEH registration plus state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":true,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390b7","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":4,"displacementHex":"+0x4","encodingHex":"ff548f04","rawOffset":230583,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390f3","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff548f08","rawOffset":230643,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk; helper calls the SEH registration walker","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false}],"predecessorDispatchDynamicDwordScaledDispatchRows":[{"instructionVaHex":"0x00438456","kind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff54b308","rawOffset":227414,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-registration-scope-table-callback","contextReason":"nearby fs:0 SEH registration plus state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":true,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390b7","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":4,"displacementHex":"+0x4","encodingHex":"ff548f04","rawOffset":230583,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false},{"instructionVaHex":"0x004390f3","kind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"isDwordScaledIndex":true,"displacement":8,"displacementHex":"+0x8","encodingHex":"ff548f08","rawOffset":230643,"nearbyTableImmediateRefs":[],"nearbyTableBaseArithmeticRefs":[],"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"contextClassification":"seh-scope-table-callback","contextReason":"state==-1 sentinel and index*3 triplet table walk; helper calls the SEH registration walker","scopeTableStrideBytes":12,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"candidateForSaveSelectorTableBase":false}],"predecessorDispatchTableBaseAuditRows":[{"kind":"slice-descriptor-row","siteVaHex":"0x004783e0","role":"predecessor-root-entry-stop","status":"slice-descriptor-requires-table-base","lowByteOpcodeHex":"0xd0","saveHandlerVaHex":"0x00440a9c","saveHandlerSection":".data","rawGeneralHandlerVaHex":"0x0040f02a","rawGeneralHandlerSection":".text","rawGeneralDiffersFromSlice":true,"sliceHandlerReachableViaGenericByteDispatch":false,"sliceHandlerRequiresSaveSelectorTableBase":true,"candidateForSaveSelectorTableBase":false,"detail":"role=predecessor-root-entry-stop; opcode=0xd0; slice=0x00440a9c/.data; raw=0x0040f02a/.text; byteReachable=False; rawDiffers=True; requiresTableBase=True"},{"kind":"slice-descriptor-row","siteVaHex":"0x004844dc","role":"predecessor-fill-fragment-stop","status":"slice-descriptor-requires-table-base","lowByteOpcodeHex":"0xc0","saveHandlerVaHex":"0x00440c5c","saveHandlerSection":".data","rawGeneralHandlerVaHex":"0x0040ec00","rawGeneralHandlerSection":".text","rawGeneralDiffersFromSlice":true,"sliceHandlerReachableViaGenericByteDispatch":false,"sliceHandlerRequiresSaveSelectorTableBase":true,"candidateForSaveSelectorTableBase":false,"detail":"role=predecessor-fill-fragment-stop; opcode=0xc0; slice=0x00440c5c/.data; raw=0x0040ec00/.text; byteReachable=False; rawDiffers=True; requiresTableBase=True"},{"kind":"dynamic-indexed-dispatch-row","siteVaHex":"0x00438456","status":"seh-scope-callback-not-save-selector","instructionVaHex":"0x00438456","dispatchKind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"displacementHex":"+0x8","isDwordScaledIndex":true,"contextClassification":"seh-registration-scope-table-callback","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"hasSehRegistrationPattern":true,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"detail":"form=call ebx+esi*4+0x8; dwordScaled=True; context=seh-registration-scope-table-callback; stride=12; saveImm=0; knownImm=0; candidate=False; seh=True; sentinel=True; triplet=True"},{"kind":"dynamic-indexed-dispatch-row","siteVaHex":"0x004390b7","status":"seh-scope-callback-not-save-selector","instructionVaHex":"0x004390b7","dispatchKind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x4","isDwordScaledIndex":true,"contextClassification":"seh-scope-table-callback","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"detail":"form=call edi+ecx*4+0x4; dwordScaled=True; context=seh-scope-table-callback; stride=12; saveImm=0; knownImm=0; candidate=False; seh=False; sentinel=True; triplet=True"},{"kind":"dynamic-indexed-dispatch-row","siteVaHex":"0x004390f3","status":"seh-scope-callback-not-save-selector","instructionVaHex":"0x004390f3","dispatchKind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x8","isDwordScaledIndex":true,"contextClassification":"seh-scope-table-callback","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"detail":"form=call edi+ecx*4+0x8; dwordScaled=True; context=seh-scope-table-callback; stride=12; saveImm=0; knownImm=0; candidate=False; seh=False; sentinel=True; triplet=True"},{"kind":"table-base-arithmetic-scan","siteVaHex":"-","status":"no-save-selector-table-base-arithmetic-candidate","rowCount":116,"candidateCount":0,"candidateFound":false,"candidateRowCount":0,"detail":"rows=116; candidates=0; found=False; candidateRows=0"}]},"predecessorDispatchTableBaseRejectionClassification":"table-base-switch-required-no-dynamic-save-selector-candidate","predecessorDispatchTableBaseAuditRows":[{"kind":"slice-descriptor-row","siteVaHex":"0x004783e0","role":"predecessor-root-entry-stop","status":"slice-descriptor-requires-table-base","lowByteOpcodeHex":"0xd0","saveHandlerVaHex":"0x00440a9c","saveHandlerSection":".data","rawGeneralHandlerVaHex":"0x0040f02a","rawGeneralHandlerSection":".text","rawGeneralDiffersFromSlice":true,"sliceHandlerReachableViaGenericByteDispatch":false,"sliceHandlerRequiresSaveSelectorTableBase":true,"candidateForSaveSelectorTableBase":false,"detail":"role=predecessor-root-entry-stop; opcode=0xd0; slice=0x00440a9c/.data; raw=0x0040f02a/.text; byteReachable=False; rawDiffers=True; requiresTableBase=True"},{"kind":"slice-descriptor-row","siteVaHex":"0x004844dc","role":"predecessor-fill-fragment-stop","status":"slice-descriptor-requires-table-base","lowByteOpcodeHex":"0xc0","saveHandlerVaHex":"0x00440c5c","saveHandlerSection":".data","rawGeneralHandlerVaHex":"0x0040ec00","rawGeneralHandlerSection":".text","rawGeneralDiffersFromSlice":true,"sliceHandlerReachableViaGenericByteDispatch":false,"sliceHandlerRequiresSaveSelectorTableBase":true,"candidateForSaveSelectorTableBase":false,"detail":"role=predecessor-fill-fragment-stop; opcode=0xc0; slice=0x00440c5c/.data; raw=0x0040ec00/.text; byteReachable=False; rawDiffers=True; requiresTableBase=True"},{"kind":"dynamic-indexed-dispatch-row","siteVaHex":"0x00438456","status":"seh-scope-callback-not-save-selector","instructionVaHex":"0x00438456","dispatchKind":"call","baseRegister":"ebx","indexRegister":"esi","scale":4,"displacementHex":"+0x8","isDwordScaledIndex":true,"contextClassification":"seh-registration-scope-table-callback","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"hasSehRegistrationPattern":true,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"detail":"form=call ebx+esi*4+0x8; dwordScaled=True; context=seh-registration-scope-table-callback; stride=12; saveImm=0; knownImm=0; candidate=False; seh=True; sentinel=True; triplet=True"},{"kind":"dynamic-indexed-dispatch-row","siteVaHex":"0x004390b7","status":"seh-scope-callback-not-save-selector","instructionVaHex":"0x004390b7","dispatchKind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x4","isDwordScaledIndex":true,"contextClassification":"seh-scope-table-callback","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"detail":"form=call edi+ecx*4+0x4; dwordScaled=True; context=seh-scope-table-callback; stride=12; saveImm=0; knownImm=0; candidate=False; seh=False; sentinel=True; triplet=True"},{"kind":"dynamic-indexed-dispatch-row","siteVaHex":"0x004390f3","status":"seh-scope-callback-not-save-selector","instructionVaHex":"0x004390f3","dispatchKind":"call","baseRegister":"edi","indexRegister":"ecx","scale":4,"displacementHex":"+0x8","isDwordScaledIndex":true,"contextClassification":"seh-scope-table-callback","scopeTableStrideBytes":12,"candidateForSaveSelectorTableBase":false,"nearbySaveSelectorTableImmediateCount":0,"nearbyKnownDispatchTableImmediateCount":0,"hasSehRegistrationPattern":false,"hasSentinelMinusOneStateCheck":true,"hasTripletIndexScalePattern":true,"detail":"form=call edi+ecx*4+0x8; dwordScaled=True; context=seh-scope-table-callback; stride=12; saveImm=0; knownImm=0; candidate=False; seh=False; sentinel=True; triplet=True"},{"kind":"table-base-arithmetic-scan","siteVaHex":"-","status":"no-save-selector-table-base-arithmetic-candidate","rowCount":116,"candidateCount":0,"candidateFound":false,"candidateRowCount":0,"detail":"rows=116; candidates=0; found=False; candidateRows=0"}],"rawGenericDispatchContrast":{"available":true,"classification":"raw-generic-handlers-nonroute-contrast","promotionStatus":"blocked","maxWindowBytes":1024,"targetRows":[{"label":"predecessor-root-entry","vaHex":"0x00478364","group":"predecessor-root"},{"label":"predecessor-root-stop","vaHex":"0x004783e0","group":"predecessor-root"},{"label":"predecessor-fill-site-0","vaHex":"0x004844d0","group":"fill"},{"label":"predecessor-fill-site-1","vaHex":"0x004844d8","group":"fill"},{"label":"predecessor-fill-stop","vaHex":"0x004844dc","group":"fill"},{"label":"current-root","vaHex":"0x00540714","group":"current"},{"label":"current-reader","vaHex":"0x00542b0c","group":"current"},{"label":"wrapper-leaf","vaHex":"0x00542a04","group":"current"},{"label":"frontier-leaf","vaHex":"0x00542ae8","group":"current"},{"label":"source-record","vaHex":"0x00542b44","group":"route-record"},{"label":"target-record","vaHex":"0x00542bac","group":"route-record"},{"label":"selected-pointer-global","vaHex":"0x0059de30","group":"selected-pointer"},{"label":"secondary-branch-state-0","vaHex":"0x0059e360","group":"branch-state"},{"label":"secondary-branch-state-1","vaHex":"0x0059e361","group":"branch-state"},{"label":"secondary-branch-state-2","vaHex":"0x0059e362","group":"branch-state"},{"label":"secondary-branch-state-3","vaHex":"0x0059e363","group":"branch-state"},{"label":"secondary-branch-state-4","vaHex":"0x0059e364","group":"branch-state"},{"label":"secondary-branch-state-5","vaHex":"0x0059e365","group":"branch-state"},{"label":"secondary-branch-state-6","vaHex":"0x0059e366","group":"branch-state"},{"label":"secondary-branch-state-7","vaHex":"0x0059e367","group":"branch-state"},{"label":"secondary-branch-state-8","vaHex":"0x0059e368","group":"branch-state"},{"label":"secondary-branch-state-9","vaHex":"0x0059e369","group":"branch-state"},{"label":"secondary-branch-state-10","vaHex":"0x0059e36a","group":"branch-state"},{"label":"secondary-branch-state-11","vaHex":"0x0059e36b","group":"branch-state"}],"handlerCount":2,"handlerRows":[{"role":"predecessor-root-entry-stop","siteVaHex":"0x004783e0","relativeOpcodeHex":"0xd0","sliceHandlerVaHex":"0x00440a9c","sliceHandlerSection":".data","rawGenericHandlerVaHex":"0x0040f02a","rawGenericHandlerSection":".text","rawGeneralDiffersFromSlice":true,"windowStartVaHex":"0x0040f02a","windowEndVaHex":"0x0040f1f4","windowByteCount":458,"windowTermination":"ret","immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"predecessorRootImmediateHitCount":0,"immediateHits":[],"directTransferCount":17,"directCallCount":3,"mappedDirectCallCount":0,"unmappedDirectCallCount":3,"mappedDirectCallTargets":[],"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0,"directTransfers":[{"siteVaHex":"0x0040f041","kind":"jmp","targetVaHex":"0x0040f1c5","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040f04d","kind":"jmp","targetVaHex":"0x0040f055","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040f058","kind":"call","targetVaHex":"0x3b4135d3","targetSection":null,"targetLabel":null,"group":null},{"siteVaHex":"0x0040f0aa","kind":"jmp","targetVaHex":"0x0040f052","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040f0af","kind":"jmp","targetVaHex":"0x0040f1e8","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040f0bb","kind":"jmp","targetVaHex":"0x0040f0c3","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040f0c6","kind":"call","targetVaHex":"0x3b413641","targetSection":null,"targetLabel":null,"group":null},{"siteVaHex":"0x0040f10f","kind":"jmp","targetVaHex":"0x0040f130","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040f130","kind":"jmp","targetVaHex":"0x0040f0c0","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040f135","kind":"jmp","targetVaHex":"0x0040f1e8","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040f141","kind":"jmp","targetVaHex":"0x0040f149","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040f14c","kind":"call","targetVaHex":"0x3b4136c7","targetSection":null,"targetLabel":null,"group":null},{"siteVaHex":"0x0040f195","kind":"jmp","targetVaHex":"0x0040f1b6","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040f1b6","kind":"jmp","targetVaHex":"0x0040f146","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040f1bb","kind":"jmp","targetVaHex":"0x0040f1e8","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040f1c0","kind":"jmp","targetVaHex":"0x0040f1e8","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040f1e3","kind":"jmp","targetVaHex":"0x0040f1e8","targetSection":".text","targetLabel":null,"group":null}]},{"role":"predecessor-fill-fragment-stop","siteVaHex":"0x004844dc","relativeOpcodeHex":"0xc0","sliceHandlerVaHex":"0x00440c5c","sliceHandlerSection":".data","rawGenericHandlerVaHex":"0x0040ec00","rawGenericHandlerSection":".text","rawGeneralDiffersFromSlice":true,"windowStartVaHex":"0x0040ec00","windowEndVaHex":"0x0040ee14","windowByteCount":532,"windowTermination":"ret","immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"predecessorRootImmediateHitCount":0,"immediateHits":[],"directTransferCount":11,"directCallCount":6,"mappedDirectCallCount":2,"unmappedDirectCallCount":4,"mappedDirectCallTargets":["0x00416c77","0x004173db"],"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0,"directTransfers":[{"siteVaHex":"0x0040ec17","kind":"call","targetVaHex":"0x00416c77","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040ec21","kind":"call","targetVaHex":"0xec867976","targetSection":null,"targetLabel":null,"group":null},{"siteVaHex":"0x0040ec2e","kind":"call","targetVaHex":"0x004173db","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040ec3c","kind":"call","targetVaHex":"0x08867751","targetSection":null,"targetLabel":null,"group":null},{"siteVaHex":"0x0040ec75","kind":"jmp","targetVaHex":"0x0040ec86","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040ecc0","kind":"jmp","targetVaHex":"0x0040ecf9","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040ed30","kind":"jmp","targetVaHex":"0x0040ed41","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040ed7b","kind":"jmp","targetVaHex":"0x0040edb4","targetSection":".text","targetLabel":null,"group":null},{"siteVaHex":"0x0040ed88","kind":"call","targetVaHex":"0x0f6135c6","targetSection":null,"targetLabel":null,"group":null},{"siteVaHex":"0x0040ed97","kind":"call","targetVaHex":"0x4dccad9f","targetSection":null,"targetLabel":null,"group":null},{"siteVaHex":"0x0040edeb","kind":"jmp","targetVaHex":"0x0040edfc","targetSection":".text","targetLabel":null,"group":null}]}],"immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"predecessorRootImmediateHitCount":0,"directTransferCount":28,"directCallCount":9,"mappedDirectCallCount":2,"unmappedDirectCallCount":7,"mappedDirectCallTargets":["0x00416c77","0x004173db"],"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0,"oneHopMappedCalleeContrast":{"calleeCount":2,"calleeRows":[{"calleeVaHex":"0x00416c77","windowStartVaHex":"0x00416c77","windowEndVaHex":"0x00416ce2","windowByteCount":107,"windowTermination":"ret","immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0,"immediateHits":[],"directTransfers":[{"siteVaHex":"0x00416cd8","kind":"jmp","targetVaHex":"0x00416cdd","targetSection":".text","targetLabel":null,"group":null}]},{"calleeVaHex":"0x004173db","windowStartVaHex":"0x004173db","windowEndVaHex":"0x00417426","windowByteCount":75,"windowTermination":"ret","immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0,"immediateHits":[],"directTransfers":[{"siteVaHex":"0x004173e8","kind":"call","targetVaHex":"0x014098fd","targetSection":null,"targetLabel":null,"group":null},{"siteVaHex":"0x0041741c","kind":"jmp","targetVaHex":"0x00417421","targetSection":".text","targetLabel":null,"group":null}]}],"immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0,"routeProofFound":false},"oneHopMappedCalleeCount":2,"oneHopRouteImmediateHitCount":0,"oneHopFillImmediateHitCount":0,"oneHopCurrentImmediateHitCount":0,"oneHopSelectedPointerImmediateHitCount":0,"oneHopBranchStateImmediateHitCount":0,"oneHopRouteDirectTransferHitCount":0,"oneHopFillDirectTransferHitCount":0,"oneHopRouteProofFound":false,"callGraphContrast":{"available":true,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeProofFound":false,"routeContextFound":false,"routeContextHitCount":0,"maxDepth":3,"observedMaxDepth":1,"rootCount":2,"rootRows":[{"label":"predecessor-root-entry-stop:0x0040f02a","role":"predecessor-root-entry-stop","handlerVaHex":"0x0040f02a","handlerSection":".text"},{"label":"predecessor-fill-fragment-stop:0x0040ec00","role":"predecessor-fill-fragment-stop","handlerVaHex":"0x0040ec00","handlerSection":".text"}],"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"unmappedDirectCallEdgeCount":8,"immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0,"sampleReachableFunctions":[{"label":"predecessor-root-entry-stop:0x0040f02a","role":"predecessor-root-entry-stop","depth":0,"functionVaHex":"0x0040f02a","windowStartVaHex":"0x0040f02a","windowEndVaHex":"0x0040f1f4","windowByteCount":458,"windowTermination":"ret","path":["predecessor-root-entry-stop:0x0040f02a"],"immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"directTransferCount":17,"directCallCount":3,"mappedDirectCallCount":0,"textDirectCallCount":0,"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"label":"predecessor-fill-fragment-stop:0x0040ec00","role":"predecessor-fill-fragment-stop","depth":0,"functionVaHex":"0x0040ec00","windowStartVaHex":"0x0040ec00","windowEndVaHex":"0x0040ee14","windowByteCount":532,"windowTermination":"ret","path":["predecessor-fill-fragment-stop:0x0040ec00"],"immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"directTransferCount":11,"directCallCount":6,"mappedDirectCallCount":2,"textDirectCallCount":2,"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"label":"sub_00416c77","role":null,"depth":1,"functionVaHex":"0x00416c77","windowStartVaHex":"0x00416c77","windowEndVaHex":"0x00416ce2","windowByteCount":107,"windowTermination":"ret","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ec17->0x00416c77"],"immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"directTransferCount":1,"directCallCount":0,"mappedDirectCallCount":0,"textDirectCallCount":0,"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"label":"sub_004173db","role":null,"depth":1,"functionVaHex":"0x004173db","windowStartVaHex":"0x004173db","windowEndVaHex":"0x00417426","windowByteCount":75,"windowTermination":"ret","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ec2e->0x004173db"],"immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"directTransferCount":2,"directCallCount":1,"mappedDirectCallCount":0,"textDirectCallCount":0,"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0}],"sampleCallEdges":[{"fromLabel":"predecessor-root-entry-stop:0x0040f02a","fromVaHex":"0x0040f02a","depth":1,"callVaHex":"0x0040f058","targetVaHex":"0x3b4135d3","targetSection":null,"targetLabel":"sub_3b4135d3","path":["predecessor-root-entry-stop:0x0040f02a","0x0040f058->0x3b4135d3"]},{"fromLabel":"predecessor-root-entry-stop:0x0040f02a","fromVaHex":"0x0040f02a","depth":1,"callVaHex":"0x0040f0c6","targetVaHex":"0x3b413641","targetSection":null,"targetLabel":"sub_3b413641","path":["predecessor-root-entry-stop:0x0040f02a","0x0040f0c6->0x3b413641"]},{"fromLabel":"predecessor-root-entry-stop:0x0040f02a","fromVaHex":"0x0040f02a","depth":1,"callVaHex":"0x0040f14c","targetVaHex":"0x3b4136c7","targetSection":null,"targetLabel":"sub_3b4136c7","path":["predecessor-root-entry-stop:0x0040f02a","0x0040f14c->0x3b4136c7"]},{"fromLabel":"predecessor-fill-fragment-stop:0x0040ec00","fromVaHex":"0x0040ec00","depth":1,"callVaHex":"0x0040ec17","targetVaHex":"0x00416c77","targetSection":".text","targetLabel":"sub_00416c77","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ec17->0x00416c77"]},{"fromLabel":"predecessor-fill-fragment-stop:0x0040ec00","fromVaHex":"0x0040ec00","depth":1,"callVaHex":"0x0040ec21","targetVaHex":"0xec867976","targetSection":null,"targetLabel":"sub_ec867976","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ec21->0xec867976"]},{"fromLabel":"predecessor-fill-fragment-stop:0x0040ec00","fromVaHex":"0x0040ec00","depth":1,"callVaHex":"0x0040ec2e","targetVaHex":"0x004173db","targetSection":".text","targetLabel":"sub_004173db","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ec2e->0x004173db"]},{"fromLabel":"predecessor-fill-fragment-stop:0x0040ec00","fromVaHex":"0x0040ec00","depth":1,"callVaHex":"0x0040ec3c","targetVaHex":"0x08867751","targetSection":null,"targetLabel":"sub_08867751","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ec3c->0x08867751"]},{"fromLabel":"predecessor-fill-fragment-stop:0x0040ec00","fromVaHex":"0x0040ec00","depth":1,"callVaHex":"0x0040ed88","targetVaHex":"0x0f6135c6","targetSection":null,"targetLabel":"sub_0f6135c6","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ed88->0x0f6135c6"]},{"fromLabel":"predecessor-fill-fragment-stop:0x0040ec00","fromVaHex":"0x0040ec00","depth":1,"callVaHex":"0x0040ed97","targetVaHex":"0x4dccad9f","targetSection":null,"targetLabel":"sub_4dccad9f","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ed97->0x4dccad9f"]},{"fromLabel":"sub_004173db","fromVaHex":"0x004173db","depth":2,"callVaHex":"0x004173e8","targetVaHex":"0x014098fd","targetSection":null,"targetLabel":"sub_014098fd","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ec2e->0x004173db","0x004173e8->0x014098fd"]}],"conclusion":"A bounded raw generic direct-call graph from the predecessor raw handlers found no route, fill, current, selected-pointer, or secondary-branch-state hits."},"callGraphDepthSensitivity":{"depthsChecked":[1,2,3,4,5,6],"defaultDepth":3,"maxDepthChecked":6,"proofAbsentAcrossCheckedDepths":true,"countsStableAtAndBeyondDefaultDepth":true,"defaultDepthRow":{"maxDepth":3,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeContextFound":false,"routeContextHitCount":0,"observedMaxDepth":1,"rootCount":2,"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},"rows":[{"maxDepth":1,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeContextFound":false,"routeContextHitCount":0,"observedMaxDepth":1,"rootCount":2,"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"maxDepth":2,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeContextFound":false,"routeContextHitCount":0,"observedMaxDepth":1,"rootCount":2,"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"maxDepth":3,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeContextFound":false,"routeContextHitCount":0,"observedMaxDepth":1,"rootCount":2,"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"maxDepth":4,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeContextFound":false,"routeContextHitCount":0,"observedMaxDepth":1,"rootCount":2,"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"maxDepth":5,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeContextFound":false,"routeContextHitCount":0,"observedMaxDepth":1,"rootCount":2,"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"maxDepth":6,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeContextFound":false,"routeContextHitCount":0,"observedMaxDepth":1,"rootCount":2,"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0}],"conclusion":"Depth sensitivity over max depths 1,2,3,4,5,6 found no raw generic route/fill/current, selected-pointer, or secondary-branch-state hits. Counts are stable at and beyond the default depth, so increasing the bounded call-graph depth does not make the raw generic dispatch contrast promotable."},"callGraphClassification":"raw-generic-callgraph-nonroute-contrast","callGraphProofFound":false,"callGraphRouteContextFound":false,"callGraphRouteContextHitCount":0,"callGraphMaxDepth":3,"callGraphReachableFunctionCount":4,"callGraphDirectCallEdgeCount":10,"callGraphMappedDirectCallEdgeCount":2,"callGraphTextDirectCallEdgeCount":2,"callGraphRouteImmediateHitCount":0,"callGraphFillImmediateHitCount":0,"callGraphCurrentImmediateHitCount":0,"callGraphSelectedPointerImmediateHitCount":0,"callGraphBranchStateImmediateHitCount":0,"callGraphRouteDirectTransferHitCount":0,"callGraphFillDirectTransferHitCount":0,"callGraphDepthSensitivityMaxDepthChecked":6,"callGraphDepthSensitivityProofAbsentAcrossCheckedDepths":true,"callGraphDepthSensitivityCountsStableAtAndBeyondDefaultDepth":true,"routeProofFound":false,"conclusion":"Bounded raw generic handler windows for the predecessor stop low bytes contain no direct route/fill/current immediates or direct transfer targets; mapped one-hop callees and a bounded direct-call graph have the same non-route shape, so raw generic dispatch does not supply the missing predecessor fill/current bridge."},"rawGenericHandlerCount":2,"rawGenericClassification":"raw-generic-handlers-nonroute-contrast","rawGenericRouteImmediateHitCount":0,"rawGenericFillImmediateHitCount":0,"rawGenericCurrentImmediateHitCount":0,"rawGenericSelectedPointerImmediateHitCount":0,"rawGenericBranchStateImmediateHitCount":0,"rawGenericDirectTransferCount":28,"rawGenericDirectCallCount":9,"rawGenericMappedDirectCallCount":2,"rawGenericUnmappedDirectCallCount":7,"rawGenericMappedDirectCallTargets":["0x00416c77","0x004173db"],"rawGenericRouteDirectTransferHitCount":0,"rawGenericFillDirectTransferHitCount":0,"rawGenericOneHopMappedCalleeCount":2,"rawGenericOneHopRouteImmediateHitCount":0,"rawGenericOneHopFillImmediateHitCount":0,"rawGenericOneHopCurrentImmediateHitCount":0,"rawGenericOneHopSelectedPointerImmediateHitCount":0,"rawGenericOneHopBranchStateImmediateHitCount":0,"rawGenericOneHopRouteDirectTransferHitCount":0,"rawGenericOneHopFillDirectTransferHitCount":0,"rawGenericOneHopRouteProofFound":false,"rawGenericCallGraphContrast":{"available":true,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeProofFound":false,"routeContextFound":false,"routeContextHitCount":0,"maxDepth":3,"observedMaxDepth":1,"rootCount":2,"rootRows":[{"label":"predecessor-root-entry-stop:0x0040f02a","role":"predecessor-root-entry-stop","handlerVaHex":"0x0040f02a","handlerSection":".text"},{"label":"predecessor-fill-fragment-stop:0x0040ec00","role":"predecessor-fill-fragment-stop","handlerVaHex":"0x0040ec00","handlerSection":".text"}],"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"unmappedDirectCallEdgeCount":8,"immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0,"sampleReachableFunctions":[{"label":"predecessor-root-entry-stop:0x0040f02a","role":"predecessor-root-entry-stop","depth":0,"functionVaHex":"0x0040f02a","windowStartVaHex":"0x0040f02a","windowEndVaHex":"0x0040f1f4","windowByteCount":458,"windowTermination":"ret","path":["predecessor-root-entry-stop:0x0040f02a"],"immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"directTransferCount":17,"directCallCount":3,"mappedDirectCallCount":0,"textDirectCallCount":0,"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"label":"predecessor-fill-fragment-stop:0x0040ec00","role":"predecessor-fill-fragment-stop","depth":0,"functionVaHex":"0x0040ec00","windowStartVaHex":"0x0040ec00","windowEndVaHex":"0x0040ee14","windowByteCount":532,"windowTermination":"ret","path":["predecessor-fill-fragment-stop:0x0040ec00"],"immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"directTransferCount":11,"directCallCount":6,"mappedDirectCallCount":2,"textDirectCallCount":2,"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"label":"sub_00416c77","role":null,"depth":1,"functionVaHex":"0x00416c77","windowStartVaHex":"0x00416c77","windowEndVaHex":"0x00416ce2","windowByteCount":107,"windowTermination":"ret","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ec17->0x00416c77"],"immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"directTransferCount":1,"directCallCount":0,"mappedDirectCallCount":0,"textDirectCallCount":0,"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"label":"sub_004173db","role":null,"depth":1,"functionVaHex":"0x004173db","windowStartVaHex":"0x004173db","windowEndVaHex":"0x00417426","windowByteCount":75,"windowTermination":"ret","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ec2e->0x004173db"],"immediateHitCount":0,"immediateHitCountsByGroup":{},"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"directTransferCount":2,"directCallCount":1,"mappedDirectCallCount":0,"textDirectCallCount":0,"directTransferTargetHitCount":0,"directTransferTargetHitCountsByGroup":{},"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0}],"sampleCallEdges":[{"fromLabel":"predecessor-root-entry-stop:0x0040f02a","fromVaHex":"0x0040f02a","depth":1,"callVaHex":"0x0040f058","targetVaHex":"0x3b4135d3","targetSection":null,"targetLabel":"sub_3b4135d3","path":["predecessor-root-entry-stop:0x0040f02a","0x0040f058->0x3b4135d3"]},{"fromLabel":"predecessor-root-entry-stop:0x0040f02a","fromVaHex":"0x0040f02a","depth":1,"callVaHex":"0x0040f0c6","targetVaHex":"0x3b413641","targetSection":null,"targetLabel":"sub_3b413641","path":["predecessor-root-entry-stop:0x0040f02a","0x0040f0c6->0x3b413641"]},{"fromLabel":"predecessor-root-entry-stop:0x0040f02a","fromVaHex":"0x0040f02a","depth":1,"callVaHex":"0x0040f14c","targetVaHex":"0x3b4136c7","targetSection":null,"targetLabel":"sub_3b4136c7","path":["predecessor-root-entry-stop:0x0040f02a","0x0040f14c->0x3b4136c7"]},{"fromLabel":"predecessor-fill-fragment-stop:0x0040ec00","fromVaHex":"0x0040ec00","depth":1,"callVaHex":"0x0040ec17","targetVaHex":"0x00416c77","targetSection":".text","targetLabel":"sub_00416c77","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ec17->0x00416c77"]},{"fromLabel":"predecessor-fill-fragment-stop:0x0040ec00","fromVaHex":"0x0040ec00","depth":1,"callVaHex":"0x0040ec21","targetVaHex":"0xec867976","targetSection":null,"targetLabel":"sub_ec867976","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ec21->0xec867976"]},{"fromLabel":"predecessor-fill-fragment-stop:0x0040ec00","fromVaHex":"0x0040ec00","depth":1,"callVaHex":"0x0040ec2e","targetVaHex":"0x004173db","targetSection":".text","targetLabel":"sub_004173db","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ec2e->0x004173db"]},{"fromLabel":"predecessor-fill-fragment-stop:0x0040ec00","fromVaHex":"0x0040ec00","depth":1,"callVaHex":"0x0040ec3c","targetVaHex":"0x08867751","targetSection":null,"targetLabel":"sub_08867751","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ec3c->0x08867751"]},{"fromLabel":"predecessor-fill-fragment-stop:0x0040ec00","fromVaHex":"0x0040ec00","depth":1,"callVaHex":"0x0040ed88","targetVaHex":"0x0f6135c6","targetSection":null,"targetLabel":"sub_0f6135c6","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ed88->0x0f6135c6"]},{"fromLabel":"predecessor-fill-fragment-stop:0x0040ec00","fromVaHex":"0x0040ec00","depth":1,"callVaHex":"0x0040ed97","targetVaHex":"0x4dccad9f","targetSection":null,"targetLabel":"sub_4dccad9f","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ed97->0x4dccad9f"]},{"fromLabel":"sub_004173db","fromVaHex":"0x004173db","depth":2,"callVaHex":"0x004173e8","targetVaHex":"0x014098fd","targetSection":null,"targetLabel":"sub_014098fd","path":["predecessor-fill-fragment-stop:0x0040ec00","0x0040ec2e->0x004173db","0x004173e8->0x014098fd"]}],"conclusion":"A bounded raw generic direct-call graph from the predecessor raw handlers found no route, fill, current, selected-pointer, or secondary-branch-state hits."},"rawGenericCallGraphDepthSensitivity":{"depthsChecked":[1,2,3,4,5,6],"defaultDepth":3,"maxDepthChecked":6,"proofAbsentAcrossCheckedDepths":true,"countsStableAtAndBeyondDefaultDepth":true,"defaultDepthRow":{"maxDepth":3,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeContextFound":false,"routeContextHitCount":0,"observedMaxDepth":1,"rootCount":2,"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},"rows":[{"maxDepth":1,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeContextFound":false,"routeContextHitCount":0,"observedMaxDepth":1,"rootCount":2,"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"maxDepth":2,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeContextFound":false,"routeContextHitCount":0,"observedMaxDepth":1,"rootCount":2,"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"maxDepth":3,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeContextFound":false,"routeContextHitCount":0,"observedMaxDepth":1,"rootCount":2,"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"maxDepth":4,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeContextFound":false,"routeContextHitCount":0,"observedMaxDepth":1,"rootCount":2,"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"maxDepth":5,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeContextFound":false,"routeContextHitCount":0,"observedMaxDepth":1,"rootCount":2,"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0},{"maxDepth":6,"classification":"raw-generic-callgraph-nonroute-contrast","promotionStatus":"blocked","proofFound":false,"routeContextFound":false,"routeContextHitCount":0,"observedMaxDepth":1,"rootCount":2,"reachableFunctionCount":4,"directCallEdgeCount":10,"mappedDirectCallEdgeCount":2,"textDirectCallEdgeCount":2,"routeImmediateHitCount":0,"fillImmediateHitCount":0,"currentImmediateHitCount":0,"selectedPointerImmediateHitCount":0,"branchStateImmediateHitCount":0,"routeDirectTransferHitCount":0,"fillDirectTransferHitCount":0}],"conclusion":"Depth sensitivity over max depths 1,2,3,4,5,6 found no raw generic route/fill/current, selected-pointer, or secondary-branch-state hits. Counts are stable at and beyond the default depth, so increasing the bounded call-graph depth does not make the raw generic dispatch contrast promotable."},"rawGenericCallGraphClassification":"raw-generic-callgraph-nonroute-contrast","rawGenericCallGraphProofFound":false,"rawGenericCallGraphRouteContextFound":false,"rawGenericCallGraphRouteContextHitCount":0,"rawGenericCallGraphMaxDepth":3,"rawGenericCallGraphReachableFunctionCount":4,"rawGenericCallGraphDirectCallEdgeCount":10,"rawGenericCallGraphMappedDirectCallEdgeCount":2,"rawGenericCallGraphTextDirectCallEdgeCount":2,"rawGenericCallGraphRouteImmediateHitCount":0,"rawGenericCallGraphFillImmediateHitCount":0,"rawGenericCallGraphCurrentImmediateHitCount":0,"rawGenericCallGraphSelectedPointerImmediateHitCount":0,"rawGenericCallGraphBranchStateImmediateHitCount":0,"rawGenericCallGraphRouteDirectTransferHitCount":0,"rawGenericCallGraphFillDirectTransferHitCount":0,"rawGenericCallGraphDepthSensitivityMaxDepthChecked":6,"rawGenericCallGraphDepthSensitivityProofAbsentAcrossCheckedDepths":true,"rawGenericCallGraphDepthSensitivityCountsStableAtAndBeyondDefaultDepth":true,"rawGenericRouteProofFound":false,"predecessorRootStopRawGeneralHandlerHex":"0x0040f02a","predecessorFillStopRawGeneralHandlerHex":"0x0040ec00","predecessorRootStopSliceGenericByteReachable":false,"predecessorFillStopSliceGenericByteReachable":false,"predecessorRootStopSliceRequiresTableBaseSwitch":true,"predecessorFillStopSliceRequiresTableBaseSwitch":true,"routeOrderProven":false,"selectorMergeGapOpen":true,"routeOrderAndSelectorMergeClosed":false,"selectorMergeShapeOnly":true,"selectorMergeForwardBridgeAbsent":true,"selectorMergeReverseReuseBeforeFillOnly":true,"selectorMergeRuntimeProofFound":false,"selectorMergeClosureProofFound":false,"predecessorPersistenceUsableForCurrent":false,"selectorMergeEncodedExecutionBridgeFound":false,"selectorMergeConstructedDiagnosticExcludedFromProof":true,"selectorMergeRemainingProofs":["capture real selected-root runtime execution for 0x00540714","capture selected-root execution for 0x00540714 on a non-diagnostic path","find strict map1_01a source coordinate or tile hotspot evidence","observe predecessor fill-state on the route path before the current reader","prove a source/predecessor forward bridge into selector 2:0","turn predecessor opcode 0x10 fill context into an observed route-order proof"],"predecessorFillProofGateRows":[{"id":"localFillStreamReachesCurrentReader","pass":false,"status":"stops-before-current-reader","detail":"0x004844d0->0x004844dc reason=no-fixed-advance reader=0x00542b0c"},{"id":"rootEntryFixedTraversalReachesFillSites","pass":false,"status":"fill-sites-not-reached","detail":"visited=23 reached=-"},{"id":"fillFragmentEntryCandidateFound","pass":false,"status":"no-direct-entry-candidates","detail":"dwordRefs=0 rootBranchTargets=0"},{"id":"encodedFillEntryControlFlowCandidateFound","pass":false,"status":"raw-encoded-scalars-nonpromoting","detail":"raw=4 branchAttached=0 modeled=0 promoting=0"},{"id":"rootTailBranchClosureReachesFillOrReader","pass":false,"status":"branch-closure-no-fill-or-current-reader","detail":"seeds=591 edges=7249 fill=0 reader=0"},{"id":"descriptorSliceRuntimeDispatchProven","pass":false,"status":"slice-runtime-proof-missing","detail":"dependsOnSlice=True requiresTableBase=2 tableBaseCandidates=0"},{"id":"rawGenericRouteProofFound","pass":false,"status":"raw-generic-handlers-nonroute-contrast","detail":"routeImm=0 fillImm=0 currentImm=0 callGraphProof=False"},{"id":"runtimeObservedPredecessorFill","pass":false,"status":"runtime-fill-not-observed","detail":"publicPredecessorReached=True branchStateAllZero=True"},{"id":"predecessorToCurrentForwardBridgeFound","pass":false,"status":"no-forward-bridge","detail":"predecessorToCurrent=0 forwardMerge=0"},{"id":"routeOrderAndSelectorMergeClosed","pass":false,"status":"route-order-unproven-or-merge-gap-open","detail":"routeOrderProven=False selectorMergeGapOpen=True"}],"predecessorFillProofGateCount":10,"predecessorFillProofGatePassCount":0,"predecessorFillProofGateBlockedCount":10,"predecessorFillProofGateBlockedIds":["localFillStreamReachesCurrentReader","rootEntryFixedTraversalReachesFillSites","fillFragmentEntryCandidateFound","encodedFillEntryControlFlowCandidateFound","rootTailBranchClosureReachesFillOrReader","descriptorSliceRuntimeDispatchProven","rawGenericRouteProofFound","runtimeObservedPredecessorFill","predecessorToCurrentForwardBridgeFound","routeOrderAndSelectorMergeClosed"],"predecessorFillAllProofGatesBlocked":true,"evidenceRefs":[{"path":"out/save_selector_predecessor_branch_state_execution_gap.json","fields":["publicPredecessorReached","runtimeObservedFill","runtimeBranchStateAllZero","predecessorFillExecutionOrderGap","branchStateExecutionProofFound"]},{"path":"out/save_selector_predecessor_tail_reset.json","fields":["localTailResetFound","tailValidSecondaryFillCount","tailDirectCurrentRouteBridgeFound","promotionStatus"]},{"path":"out/save_selector_predecessor_persistence_gap.json","fields":["predecessorFillWouldPassCurrentReader","currentRootHasNoKnownBeforeFrontierOverwrite","persistenceProven","selectorMergeGapOpen","promotionStatus"]},{"path":"out/save_selector_predecessor_route_order.json","fields":["routeOrderProven","selectorMergeGapOpen","selectorIndexOrderSupportsPredecessor","selectorProgressSupportsPredecessor","promotionStatus"]},{"path":"out/save_selector_data_descriptor_opcode_map.json","fields":["proofFound","failedDataDescriptorGateIds","missingEvidence","evidenceRefCount","predecessorRootStopIsDataDescriptor","predecessorFillStopIsDataDescriptor","d0DescriptorSharedHandlerOpcodes","c0DescriptorSharedHandlerOpcodes","promotionStatus"]},{"path":"out/save_selector_dispatch_table_context.json","fields":["proofFound","failedDispatchTableGateIds","missingEvidence","evidenceRefCount","saveSelectorSliceDirectRuntimeDispatchProofFound","descriptorBoundaryDependsOnSaveSelectorSliceModel","routeRelevantSliceDataDescriptorRequiresTableBaseSwitchCount","dynamicSaveSelectorTableBaseCandidateCount","promotionStatus"]},{"path":"out/runtime_predecessor_field_entry_sequence_scan.json","fields":["sequenceCount","fieldEntryCandidateCount","snapshotCount","snapshotRouteCandidateCount","finalSelectorCounts","proofFound","predecessorFieldEntryProofFound","failedPredecessorFieldEntryGateIds","missingEvidence","evidenceRefs","evidenceRefCount","promotionStatus"]},{"path":"out/runtime_predecessor_coordinate_source_scan.json","fields":["classification","coordinateSourceRejectionClassification","publicSaveStartPointerTableTileHitCount","observedTrailTrailRingHitCount","reciprocalImageHitCount","promotionStatus"]},{"path":"out/save_selector_merge_execution_gap.json","fields":["predecessorToCurrentHitCount","forwardMergeBridgeHitCount","currentToPredecessorBeforeFillHitCount","selectorMergeExecutionProofFound","promotionStatus"]},{"path":"out/save_selector_merge_runtime_context.json","fields":["mergeShapeOnly","forwardBridgeAbsent","reverseReuseBeforeFillOnly","selectorMergeRuntimeProofFound","promotionStatus"]},{"path":"out/save_selector_merge_closure_context.json","fields":["selectorMergeClosureProofFound","predecessorPersistenceUsableForCurrent","routeOrderProven","selectedRootExecutionRefFound","promotionStatus"]}],"evidenceRefCount":11,"proofFound":false,"failedPredecessorFillOrderGateIds":["localFillStreamReachesCurrentReader","rootEntryFixedTraversalReachesFillSites","fillFragmentEntryCandidateFound","encodedFillEntryControlFlowCandidateFound","rootTailBranchClosureReachesFillOrReader","descriptorSliceRuntimeDispatchProven","rawGenericRouteProofFound","runtimeObservedPredecessorFill","predecessorToCurrentForwardBridgeFound","routeOrderAndSelectorMergeClosed"],"missingEvidence":["local predecessor fill stream reaches current reader 0x00542b0c","fixed traversal from predecessor root entry reaches 0x004844d0/0x004844d8","direct or branch-backed entry into the fill fragment","encoded fill-entry scalar attached to modeled control flow","root-tail branch closure reaches the fill fragment or current reader","runtime dispatch proof for save-selector slice descriptor boundaries","raw generic handler or call-graph route/fill/current proof","runtime observation of predecessor fill branch-state values","predecessor-to-current forward execution bridge","route-order proof with selector merge closure"],"promotionStatus":"blocked","evidence":[{"kind":"local-fill-stream","status":"fills-then-descriptor-boundary","detail":"start=0x004844d0; sites=0x004844d0,0x004844d8; containsAllFillSites=True; stop=0x004844dc reason=no-fixed-advance handler=0x00440c5c; reachesReader=False"},{"kind":"root-entry-fixed-traversal","status":"fill-sites-not-reached","detail":"start=0x00478364; rootEnd=0x0048458c; visited=23; targets=0x004844d0,0x004844d8; reached=-; stops=0x004783e0; directFillRefs={'0x004844d0': 0, '0x004844d8': 0}"},{"kind":"fill-fragment-entry-candidates","status":"no-direct-entry-candidates","detail":"range=0x004844d0..0x004844e0; allDwordRefs=0; rootRangeDwordRefs=0; rootBranchTargets=0"},{"kind":"encoded-fill-entry-candidates","status":"raw-encoded-scalars-nonpromoting","detail":"range=0x00478364..0x004844d0; targetLow16=0x44d0,0x44d4,0x44d8,0x44dc; rawScalars=4; rootTailRawScalars=4; branchAttached=0; modeledControlFlow=0; promoting=0"},{"kind":"encoded-raw-scalar-rejection","status":"scalar-only-no-branch-or-fixed-advance","detail":"rawScalars=4; kinds={'abs16-low': 1, 'signed-rel16-site-plus2': 2, 'signed-rel32-site-plus4': 1}; sections={'-': 3, '.data': 1}; noFixed/noBranch/branchAttached/scalarOnly=4/4/0/4"},{"kind":"root-tail-isolation","status":"descriptor-isolated-tail","detail":"range=0x004783e0..0x004844d0; distance=0xc0f0; rows=12348; handlers=7350/1443/3555; branchRows=591; branchTargetClasses={'before-root-tail': 262, 'inside-root-tail': 80, 'mapped-.data': 111, 'unmapped': 138}; branchTargetSections={'.data': 221, '.text': 3, 'unmapped': 367}; branchToFill=0; branchToReader=0; fixedToFill=0; branchClosure=591/7249/0/0; branchClosureOutside=512/{'before-root-tail': 262, 'inside-root-tail': 1, 'mapped-.data': 111, 'unmapped': 138}/{'.data': 142, '.text': 3, 'unmapped': 367}; immediateBeforeFill=0x004844cc:0xc0/.data"},{"kind":"predecessor-data-descriptor-boundaries","status":"data-descriptors-not-control-flow","detail":"rootStop=0x004783e0/0xd0->0x00440a9c .data; fillStop=0x004844dc/0xc0->0x00440c5c .data; d0Opcodes=0xc7,0xca,0xcd,0xd0,0xd3,0xd6,0xd9; c0Opcodes=0xc0,0xf5"},{"kind":"predecessor-dispatch-slice-dependency","status":"slice-runtime-proof-missing","detail":"sliceRuntimeProof=False; dispatchTableProof=False; dispatchFailedGates=save-selector-slice-runtime-dispatch,descriptor-boundary-runtime-bridge,dynamic-save-selector-table-base-candidate,route-relevant-slice-table-base-switch; dispatchMissingEvidenceCount=4; dispatchEvidenceRefs=3; descriptorDependsOnSlice=True; rows=2; sliceData=2; rawCode=2; rawDiffers=2; byteReachable=0; requiresTableBase=2; dynamicDispatches=3/3/0; scopeSites=0x00438456,0x004390b7,0x004390f3; dynamicTableBaseCandidate=False; dynamicTableBaseCandidateCount=0; tableBaseArithmeticRows=116; tableBaseArithmeticCandidates=0; dynamicTableBaseCandidateSites=-; tableBaseReject=table-base-switch-required-no-dynamic-save-selector-candidate; rootSlice/raw=0x00440a9c/0x0040f02a; fillSlice/raw=0x00440c5c/0x0040ec00"},{"kind":"predecessor-dispatch-table-base-rejection","status":"table-base-switch-required-no-dynamic-save-selector-candidate","detail":"requiresTableBase=2; byteReachable=0; dynamicDispatches=3/3; scopeCallbacks=3; scopeSites=0x00438456,0x004390b7,0x004390f3; tableImmediateNear=0; tableBaseCandidates=0; tableBaseCandidateSites=-; tableBaseStaticCandidate=False"},{"kind":"predecessor-raw-generic-handler-contrast","status":"raw-generic-handlers-nonroute-contrast","detail":"handlers=2; routeImm=0; fillImm=0; currentImm=0; selectedPtrImm=0; branchStateImm=0; directCalls=9; mappedCalls=2; oneHopRouteImm=0; oneHopFillImm=0; oneHopRouteTransfers=0; routeTransfers=0; fillTransfers=0; callGraph=raw-generic-callgraph-nonroute-contrast; callGraphDepth=3; callGraphFunctions=4; callGraphEdges=10; callGraphRoute/fill/currentImm=0/0/0; callGraphSelected/branchImm=0/0; callGraphRoute/fillTransfers=0/0; callGraphProof=False; depthSensitivity=6/True/True; routeProof=False; maxWindow=0x400"},{"kind":"runtime-branch-state","status":"public-predecessor-fill-not-observed","detail":"publicPredecessorReached=True; runtimeObservedFill=False; branchStateAllZero=True; split=public-predecessor-reached-fill-not-observed"},{"kind":"runtime-field-entry-input","status":"field-entry-not-found","detail":"sequences=22; fieldEntryCandidates=0; fieldEntryNames=-; snapshots=85; snapshotRouteCandidates=0; snapshotRouteNames=-; finalSelectors={'1:0': 12, '50:0': 2, '8:0': 2, '19:1': 6}; finalCameras={'5,15': 18, '0,0': 4}; snapshotSelectors={'8:0': 10, '1:0': 64, '50:0': 4, '19:1': 7}; snapshotCameras={'0,0': 14, '5,15': 71}; classes={'start-coordinate-found-in-image-memory': 18, 'start-coordinate-not-found-outside-camera-snapshot': 4}; promotes=diagnostic-only"},{"kind":"runtime-coordinate-source","status":"coordinate-source-diagnostic-only","detail":"classification=start-coordinate-found-in-image-memory; reject=save-camera-memory-only-no-route-object-coordinate-source; finalSelector=19:1; finalCamera={'x': 5, 'y': 15, 'pairHex': '0x000f0005'}; publicStartPtr/static/trail/image=0/1/0/2; observedTrailPtr/static/trail/image=0/0/7/10; reciprocalPtr/static/trail/image=0/0/0/118; promotes=diagnostic-only"},{"kind":"static-reset-window","status":"closed-static-reset-window","detail":"localTailReset=False; tailValidSecondary=0; staticResetScopeClosed=True; selectorOrderResetGapClosed=True"},{"kind":"predecessor-current-bridge","status":"no-forward-bridge","detail":"predecessorToCurrent=0; currentToPredecessor=51; reverseBeforeFill=51; reverseFillSite=0; forwardMergeBridge=0"},{"kind":"selector-route-order","status":"route-order-unproven","detail":"routeOrderProven=False; sourcePrevious=0:0; predecessorTargetOnly=True; selectorMergeGapOpen=True"},{"kind":"selector-merge-closure","status":"selector-merge-open","detail":"shapeOnly=True; forwardBridgeAbsent=True; reverseBeforeFillOnly=True; runtimeProof=False; closureProof=False; persistenceUsable=False; encodedBridge=False; diagnosticExcluded=True"}],"remainingProofs":["prove the 1:0 fill fragment is entered on the normal public route before the 0x00542b0c reader","connect the predecessor root entry to the 0x004844d0 fill fragment through a decoded non-linear path","bridge the descriptor boundary at 0x004844dc without guessing through data rows","prove the predecessor descriptor stops are reached through the 0x00440720 save-selector slice at runtime","replace the bounded raw generic handler/call-graph non-route contrast with a real save-selector table-base runtime dispatch proof","find a field-entry input path that reaches selector 2:0 or a route-relevant runtime object tile","observe the predecessor fill values at runtime on a route-relevant path","prove selector route order and close the selector merge gap"],"conclusion":"The 1:0 predecessor fill sites form a real local stream fragment and both modeled fill opcodes are reachable from 0x004844d0 by linear handler advances, but bounded root-entry traversal through fixed advances and valid branch targets does not reach those fill sites. The local fill trace stops at 0x004844dc on a no-fixed-advance descriptor boundary and never reaches the current 0x00542b0c reader. Runtime polling reached the public predecessor selector yet still observed all-zero secondaryBranchState. The root-entry tail branch-target audit classifies all 591 branch-capable rows as before-tail, inside-tail, mapped data, or unmapped targets, with 0 branches to the fill fragment or current reader. A multi-hop root-tail branch closure over 12352 nodes and 7249 graph edges likewise reaches 0 fill/current-reader seeds; its 512 outside successors classify as before-root-tail=262, inside-root-tail=1, mapped-.data=111, unmapped=138. The root-entry stop and fill-fragment stop both resolve through .data descriptor rows under the save-selector slice, while the same low bytes resolve to executable handlers under the raw generic table. Because direct runtime dispatch into the slice is still unproven, those descriptor boundaries are static model evidence rather than predecessor execution proof. Bounded raw generic handler windows, their mapped one-hop callees, and the bounded raw generic call graph contain no direct route/fill/current immediates or route/fill direct transfer targets, so the raw generic alternative does not supply the missing bridge either. The field-entry input sweep also found 0 selector 2:0 route candidates across 22 sequences and 85 snapshots. The coordinate-source scan leaves the public predecessor start coordinate in save/camera/image memory only and keeps reciprocal target coordinates out of object/trail sources, so it is diagnostic rather than a route object source. No forward predecessor-to-current execution bridge or route-order proof is present."}