{"source":"map1_01a","target":"map2_02d","predecessorSelector":"1:0","predecessorRootHex":"0x00478364","currentSelector":"2:0","currentRootHex":"0x00540714","currentReaderHex":"0x00542b0c","fillSites":["0x004844d0","0x004844d8"],"expectedBranchStateHexes":["0x01","0x01","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"selectorProgressPolls":[{"name":"progress","available":true,"stagedSaveKind":null,"sequenceCount":6,"sampleCount":1547,"observedSelectors":["19:1","1:0","50:0"],"observedPublicSaveSelectors":["1:0"],"publicPredecessorReached":true,"currentRootReached":false,"routeSelectorReached":false,"promotionStatus":"blocked"},{"name":"direction-sweep","available":true,"stagedSaveKind":"public predecessor direction sweep","sequenceCount":8,"sampleCount":3380,"observedSelectors":["50:0","19:1","1:0"],"observedPublicSaveSelectors":["1:0"],"publicPredecessorReached":true,"currentRootReached":false,"routeSelectorReached":false,"promotionStatus":"blocked"}],"selectorProgressSampleCount":4927,"branchStatePolls":[{"name":"direction-sweep","available":true,"stagedSaveKind":"public predecessor direction sweep branch-state watch","sequenceCount":8,"sampleCount":3377,"observedSelectors":["19:1","1:0"],"observedPublicSaveSelectors":["1:0"],"publicPredecessorReached":true,"currentRootReached":false,"routeSelectorReached":false,"activeSelectionFlagHex":"0x01","secondaryBranchStateHexes":["0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"secondaryBranchStateAllZero":true,"matchesPredecessorFillHypothesis":false,"splitClassification":"public-predecessor-reached-fill-not-observed","splitNextProofFocus":"fill-site execution/order before current reader","coordinateTargetObserved":null,"trailStartTargetObserved":null,"trailStartMovementObserved":null,"trailLeftOverrunCameraTargetObserved":null,"trailLeftOverrunActorTargetObserved":null,"trailLeftOverrunTrailTargetObserved":null},{"name":"left-overrun-activation","available":true,"stagedSaveKind":"public predecessor left-overrun activation branch-state watch","sequenceCount":4,"sampleCount":2297,"observedSelectors":["50:0"],"observedPublicSaveSelectors":[],"publicPredecessorReached":false,"currentRootReached":false,"routeSelectorReached":false,"activeSelectionFlagHex":"0x01","secondaryBranchStateHexes":["0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"secondaryBranchStateAllZero":true,"matchesPredecessorFillHypothesis":false,"splitClassification":"not-classified","splitNextProofFocus":"decoded fill-fragment entry or a route-relevant selector 2:0 runtime trace","coordinateTargetObserved":null,"trailStartTargetObserved":null,"trailStartMovementObserved":null,"trailLeftOverrunCameraTargetObserved":null,"trailLeftOverrunActorTargetObserved":null,"trailLeftOverrunTrailTargetObserved":null},{"name":"nearest-exit","available":true,"stagedSaveKind":"public predecessor nearest-exit branch-state watch","sequenceCount":3,"sampleCount":1383,"observedSelectors":["19:1","1:0","50:0"],"observedPublicSaveSelectors":["1:0"],"publicPredecessorReached":true,"currentRootReached":false,"routeSelectorReached":false,"activeSelectionFlagHex":"0x01","secondaryBranchStateHexes":["0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"secondaryBranchStateAllZero":true,"matchesPredecessorFillHypothesis":false,"splitClassification":"nearest-exit-fill-not-observed","splitNextProofFocus":"captured selector 2:0 save, watchpoint trace, or decoded non-linear VM path","coordinateTargetObserved":null,"trailStartTargetObserved":null,"trailStartMovementObserved":null,"trailLeftOverrunCameraTargetObserved":null,"trailLeftOverrunActorTargetObserved":null,"trailLeftOverrunTrailTargetObserved":null},{"name":"reciprocal-exits","available":true,"stagedSaveKind":"public predecessor reciprocal-exit branch-state watch","sequenceCount":3,"sampleCount":11386,"observedSelectors":["50:0","19:1","1:0"],"observedPublicSaveSelectors":["1:0"],"publicPredecessorReached":true,"currentRootReached":false,"routeSelectorReached":false,"activeSelectionFlagHex":"0x01","secondaryBranchStateHexes":["0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"secondaryBranchStateAllZero":true,"matchesPredecessorFillHypothesis":false,"splitClassification":"reciprocal-exits-fill-not-observed","splitNextProofFocus":"captured selector 2:0 save, watchpoint trace, or decoded non-linear VM path","coordinateTargetObserved":null,"trailStartTargetObserved":null,"trailStartMovementObserved":null,"trailLeftOverrunCameraTargetObserved":null,"trailLeftOverrunActorTargetObserved":null,"trailLeftOverrunTrailTargetObserved":null},{"name":"coordinate","available":true,"stagedSaveKind":"public predecessor coordinate branch-state watch","sequenceCount":3,"sampleCount":11161,"observedSelectors":["19:1","1:0","50:0"],"observedPublicSaveSelectors":["1:0"],"publicPredecessorReached":true,"currentRootReached":false,"routeSelectorReached":false,"activeSelectionFlagHex":"0x01","secondaryBranchStateHexes":["0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"secondaryBranchStateAllZero":true,"matchesPredecessorFillHypothesis":false,"splitClassification":"coordinate-target-not-observed","splitNextProofFocus":"find the runtime gameplay object/position source or capture a real selector 2:0 save","coordinateTargetObserved":false,"trailStartTargetObserved":null,"trailStartMovementObserved":null,"trailLeftOverrunCameraTargetObserved":null,"trailLeftOverrunActorTargetObserved":null,"trailLeftOverrunTrailTargetObserved":null},{"name":"trail-start","available":true,"stagedSaveKind":"public predecessor trail-start branch-state watch","sequenceCount":4,"sampleCount":10928,"observedSelectors":["19:1","1:0"],"observedPublicSaveSelectors":["1:0"],"publicPredecessorReached":true,"currentRootReached":false,"routeSelectorReached":false,"activeSelectionFlagHex":"0x01","secondaryBranchStateHexes":["0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"secondaryBranchStateAllZero":true,"matchesPredecessorFillHypothesis":false,"splitClassification":"trail-start-movement-without-target","splitNextProofFocus":"selector 2:0/current-root observation or branch-state fill on the moving trail/camera path","coordinateTargetObserved":null,"trailStartTargetObserved":false,"trailStartMovementObserved":true,"trailLeftOverrunCameraTargetObserved":null,"trailLeftOverrunActorTargetObserved":null,"trailLeftOverrunTrailTargetObserved":null},{"name":"trail-left-overrun","available":true,"stagedSaveKind":"public predecessor trail-left overrun branch-state watch","sequenceCount":3,"sampleCount":4297,"observedSelectors":["50:0"],"observedPublicSaveSelectors":[],"publicPredecessorReached":false,"currentRootReached":false,"routeSelectorReached":false,"activeSelectionFlagHex":"0x01","secondaryBranchStateHexes":["0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"secondaryBranchStateAllZero":true,"matchesPredecessorFillHypothesis":false,"splitClassification":"edge-target-not-observed","splitNextProofFocus":"watch the edge-overrun transition producer or capture selector 2:0/current-root","coordinateTargetObserved":null,"trailStartTargetObserved":null,"trailStartMovementObserved":null,"trailLeftOverrunCameraTargetObserved":false,"trailLeftOverrunActorTargetObserved":false,"trailLeftOverrunTrailTargetObserved":false},{"name":"high-frequency","available":true,"stagedSaveKind":"public predecessor high-frequency branch-state watch","sequenceCount":2,"sampleCount":2090,"observedSelectors":["1:0","19:1","8:0"],"observedPublicSaveSelectors":["1:0"],"publicPredecessorReached":true,"currentRootReached":false,"routeSelectorReached":false,"activeSelectionFlagHex":"0x01","secondaryBranchStateHexes":["0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00","0x00"],"secondaryBranchStateAllZero":true,"matchesPredecessorFillHypothesis":false,"splitClassification":"high-frequency-fill-not-observed","splitNextProofFocus":"fill-site execution/order before selected-pointer reader","coordinateTargetObserved":null,"trailStartTargetObserved":null,"trailStartMovementObserved":null,"trailLeftOverrunCameraTargetObserved":null,"trailLeftOverrunActorTargetObserved":null,"trailLeftOverrunTrailTargetObserved":null}],"branchStatePollCount":8,"branchStatePollSequenceCount":30,"branchStatePollSampleCount":46919,"branchStatePollPublicPredecessorHitCount":6,"branchStatePollCurrentRootHitCount":0,"branchStatePollRouteSelectorHitCount":0,"branchStatePollAllZeroCount":8,"branchStatePollFillMatchCount":0,"branchStatePollMovementOrTargetCount":1,"branchStatePollMovementOrTargetSampleCount":10928,"branchStatePollMovementOrTargetFillMatchCount":0,"branchStatePollMovementOrTargetAllZeroCount":1,"branchStatePollTargetObservationCount":0,"branchStatePollTargetObservationSampleCount":0,"branchStatePollTargetObservationFillMatchCount":0,"branchStatePollTargetObservationAllZeroCount":0,"branchStatePollTargetObservationRouteSelectorHitCount":0,"branchStatePollTargetObservationCurrentRootHitCount":0,"branchStatePollCameraOnlyTargetCount":0,"branchStatePollActorOrTrailTargetCount":0,"branchStatePollTargetObservationStatus":"target-not-observed","localFillTraceStartHex":"0x004844d0","localFillTraceStopHex":"0x004844dc","localFillTraceStopReason":"no-fixed-advance","localFillTraceStopHandlerHex":"0x00440c5c","localFillTraceContainsAllFillSites":true,"localFillTraceReachesCurrentReader":false,"rootEntryFixedTraversalVisitedNodeCount":23,"rootEntryFixedTraversalStopRows":[{"vaHex":"0x004783e0","reason":"no-fixed-advance","valueHex":"0x004783d0","opcodeHex":"0xd0","handlerVaHex":"0x00440a9c"}],"rootEntryFixedTraversalFillSitesReachable":false,"directFillSiteRefCounts":{"0x004844d0":0,"0x004844d8":0},"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,"rootTailDistanceHex":"0xc0f0","rootTailDwordCount":12348,"rootTailTextHandlerRowCount":7350,"rootTailDataHandlerRowCount":1443,"rootTailOtherHandlerRowCount":3555,"rootTailBranchCapableRowCount":591,"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,"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"}],"rootTailImmediatePredecessorHandlerSection":".data","rootTailImmediatePredecessorHandlerHex":"0x00440c5c","rootStopToFillBridgeFound":false,"fillStopToCurrentBridgeFound":false,"descriptorBridgeProofFound":false,"descriptorBridgeFailedGateIds":["root-stop-to-fill-bridge","fill-stop-to-current-bridge","route-execution-target-edge","descriptor-encoded-route-target-control-flow","runtime-or-decoded-nonlinear-vm-path"],"descriptorBridgeMissingEvidence":["root-stop descriptor edge or node reaching the predecessor fill fragment","fill-stop descriptor edge or node reaching the current root, wrapper, frontier, or reader","descriptor closure target edge classified as route execution rather than descriptor-only data","encoded descriptor scalar attached to modeled route-execution control flow","runtime trace or decoded non-linear VM path crossing the descriptor boundary"],"descriptorBridgeEvidenceRefCount":3,"descriptorEdgeRejection":{"classification":"descriptor-only-no-route-execution-edge","descriptorTargetEdgeCount":10,"routeExecutionTargetEdgeCount":0,"rootDescriptorTargetEdgeCount":9,"fillDescriptorTargetEdgeCount":1,"rootRouteExecutionTargetEdgeCount":0,"fillRouteExecutionTargetEdgeCount":0,"sharedDescriptorOnly":true,"allTargetSectionsData":true,"rootDescriptorOnlyTargetLabels":["c0-fill-stop-descriptor","e8-route-descriptor"],"fillDescriptorOnlyTargetLabels":["c0-fill-stop-descriptor"],"promotionStatus":"blocked"},"descriptorEdgeRejectionClassification":"descriptor-only-no-route-execution-edge","descriptorEdgeAllTargetSectionsData":true,"descriptorEdgeDescriptorTargetEdgeCount":10,"descriptorEdgeRouteExecutionTargetEdgeCount":0,"descriptorEdgeRootDescriptorTargetEdgeCount":9,"descriptorEdgeFillDescriptorTargetEdgeCount":1,"descriptorEdgeRootRouteExecutionTargetEdgeCount":0,"descriptorEdgeFillRouteExecutionTargetEdgeCount":0,"descriptorEdgeRootDescriptorOnlyTargetLabels":["c0-fill-stop-descriptor","e8-route-descriptor"],"descriptorEdgeFillDescriptorOnlyTargetLabels":["c0-fill-stop-descriptor"],"descriptorEncodedTargetScan":{"classification":"descriptor-encoded-route-target-scalars-nonpromoting","rawScalarCandidateCount":1,"rootRawScalarCandidateCount":1,"fillRawScalarCandidateCount":0,"promotingCandidateCount":0,"targetLabelCounts":{"predecessor-fill-site-1":1},"kindCounts":{"abs16-low":1},"sampleRows":[{"closure":"root-stop-descriptor","kind":"abs16-low","sourceNodeHex":"0x004938a8","slotVaHex":"0x004938ac","slotOffsetFromNodeHex":"0x00000004","valueHex":"0x000044d8","targetHex":"0x004844d8","targetLabel":"predecessor-fill-site-1","sourceSection":".data","promotionStatus":"blocked","promotesRouteExecution":false}],"promotionStatus":"blocked"},"descriptorEncodedTargetClassification":"descriptor-encoded-route-target-scalars-nonpromoting","descriptorEncodedTargetRawScalarCandidateCount":1,"descriptorEncodedTargetRootRawScalarCandidateCount":1,"descriptorEncodedTargetFillRawScalarCandidateCount":0,"descriptorEncodedTargetPromotingCandidateCount":0,"descriptorEncodedTargetLabelCounts":{"predecessor-fill-site-1":1},"descriptorEncodedTargetKindCounts":{"abs16-low":1},"predecessorDispatchSliceRuntimeProofFound":false,"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"],"predecessorDispatchTableEvidenceRefCount":3,"predecessorDescriptorDependsOnSaveSelectorSliceModel":true,"predecessorDispatchSliceRowCount":2,"predecessorDispatchSliceDataDescriptorCount":2,"predecessorDispatchRawGeneralCodeCount":2,"predecessorDispatchRawGeneralDiffersFromSliceCount":2,"predecessorDispatchSliceGenericByteReachableCount":0,"predecessorDispatchSliceRequiresTableBaseSwitchCount":2,"predecessorDispatchDynamicIndexedDispatchRowCount":3,"predecessorDispatchDynamicDwordScaledDispatchRowCount":3,"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":[],"predecessorDispatchDynamicSaveSelectorTableBaseSwitchStaticCandidateFound":false,"predecessorDispatchSaveSelectorTableBaseArithmeticRowCount":116,"predecessorDispatchSaveSelectorTableBaseArithmeticCandidateCount":0,"predecessorDispatchSaveSelectorTableBaseArithmeticCandidateFound":false,"predecessorDispatchSaveSelectorTableBaseArithmeticCandidateRows":[],"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","predecessorDispatchTableBaseAuditRowCount":6,"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,"rawGenericCallGraphMaxDepth":3,"rawGenericCallGraphReachableFunctionCount":4,"rawGenericCallGraphDirectCallEdgeCount":10,"rawGenericCallGraphRouteImmediateHitCount":0,"rawGenericCallGraphFillImmediateHitCount":0,"rawGenericCallGraphCurrentImmediateHitCount":0,"rawGenericCallGraphSelectedPointerImmediateHitCount":0,"rawGenericCallGraphBranchStateImmediateHitCount":0,"rawGenericCallGraphRouteDirectTransferHitCount":0,"rawGenericCallGraphFillDirectTransferHitCount":0,"rawGenericCallGraphDepthSensitivityMaxDepthChecked":6,"rawGenericCallGraphDepthSensitivityProofAbsentAcrossCheckedDepths":true,"rawGenericCallGraphDepthSensitivityCountsStableAtAndBeyondDefaultDepth":true,"descriptorRootClosureVisitedNodeCount":949,"descriptorRootClosureEdgeCount":4316,"descriptorRootClosureFillSiteEdgeHitCount":0,"descriptorRootClosureCurrentReaderEdgeHitCount":0,"descriptorFillClosureVisitedNodeCount":2,"descriptorFillClosureEdgeCount":3,"descriptorFillClosureFillSiteEdgeHitCount":0,"descriptorFillClosureCurrentReaderEdgeHitCount":0,"runtimeFillObserved":false,"runtimeBranchStateAllZero":true,"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."},"fieldEntrySequenceContext":{"sequenceCount":22,"fieldEntryCandidateCount":0,"fieldEntryCandidateNames":[],"finalSelectorCounts":{"1:0":12,"50:0":2,"8:0":2,"19:1":6},"finalCameraTileCounts":{"5,15":18,"0,0":4},"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.","snapshotCount":85,"snapshotRouteCandidateCount":0,"snapshotRouteCandidateNames":[],"snapshotSelectorCounts":{"8:0":10,"1:0":64,"50:0":4,"19:1":7},"snapshotCameraTileCounts":{"0,0":14,"5,15":71}},"staticNoLocalTailReset":true,"staticResetScopeClosed":true,"selectorOrderResetGapClosed":true,"branchGateSameTableAndOffset":true,"branchGateSameSelectionBufferOffsetHex":"0x20","branchGatePostWriterSameOffsetWriteCount":0,"branchGatePostWriterSameOffsetReadCount":0,"branchGatePostWriterOtherOffsetWriteCount":3,"branchGatePostWriterOtherOffsetWriteOffsetsHex":["0x0a","0x0d","0x68"],"branchGateInvalidSecondaryFillOffsetsHex":["0x54","0xe6","0xe7"],"branchGateKnownOpcodeStatePreservationStatus":"same-selection-slot-preserved-known-opcodes","branchGateSlotPreservedByKnownOpcodes":true,"branchGateBranchStateValueStillRuntimeDependent":true,"routeOrderProven":false,"selectorMergeGapOpen":true,"requiredProofGates":[{"gate":"root-entry-to-fill","passed":false,"status":"blocked","detail":"visited=23; targets=0x004844d0,0x004844d8; reached=-; stop=0x004783e0:no-fixed-advance"},{"gate":"descriptor-boundary-bridge","passed":false,"status":"blocked","detail":"rootNodes=949; rootFillEdges=0; rootReaderEdges=0; fillNodes=2; fillReaderEdges=0; edgeReject=descriptor-only-no-route-execution-edge; descriptorEdges=9/1; routeEdges=0/0; encodedRouteTargets=1/0; encodedClass=descriptor-encoded-route-target-scalars-nonpromoting; bridgeProof=False; bridgeFailedGates=root-stop-to-fill-bridge,fill-stop-to-current-bridge,route-execution-target-edge,descriptor-encoded-route-target-control-flow,runtime-or-decoded-nonlinear-vm-path; bridgeMissingEvidenceCount=5; bridgeEvidenceRefs=3"},{"gate":"dispatch-slice-runtime-proof","passed":false,"status":"blocked","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; rawDiffers=2; byteReachable=0; requiresTableBase=2; dynamicDispatches=3/3/0; dynamicTableBaseCandidate=False; tableBaseArithmetic=116/0; tableBaseReject=table-base-switch-required-no-dynamic-save-selector-candidate"},{"gate":"runtime-fill-observed","passed":false,"status":"blocked","detail":"polls=8; seq=30; samples=46919; publicHits=6; fillMatches=0; allZero=8"},{"gate":"route-order","passed":false,"status":"blocked","detail":"routeOrderProven=False"},{"gate":"selector-merge-closed","passed":false,"status":"blocked","detail":"selectorMergeGapOpen=True"}],"requiredProofGateCount":6,"requiredProofGatePassCount":0,"requiredProofGateFailCount":6,"requiredProofGateStatusOrder":["root-entry-to-fill","descriptor-boundary-bridge","dispatch-slice-runtime-proof","runtime-fill-observed","route-order","selector-merge-closed"],"requiredProofGateStatuses":{"root-entry-to-fill":"blocked","descriptor-boundary-bridge":"blocked","dispatch-slice-runtime-proof":"blocked","runtime-fill-observed":"blocked","route-order":"blocked","selector-merge-closed":"blocked"},"requiredProofGateFailIds":["root-entry-to-fill","descriptor-boundary-bridge","dispatch-slice-runtime-proof","runtime-fill-observed","route-order","selector-merge-closed"],"requiredProofGateAllBlocked":true,"proofFound":false,"failedPredecessorFillGateIds":["root-entry-to-fill","descriptor-boundary-bridge","dispatch-slice-runtime-proof","runtime-fill-observed","route-order","selector-merge-closed"],"missingEvidence":["root-entry execution path from 0x00478364 to 0x004844d0/0x004844d8","descriptor-boundary bridge from predecessor root stop through fill to current reader","runtime proof that predecessor fill stream executes through the save-selector dispatch slice","runtime branch-state observation matching the predecessor fill hypothesis","predecessor-to-current route order proof before the 0x00542b0c reader","closed selector-merge proof connecting predecessor 1:0 and source 0:0 into current 2:0"],"evidenceRefs":[{"path":"out/save_selector_predecessor_fill_execution_order_gap.json","fields":["localFillTraceContainsAllFillSites","localFillTraceReachesCurrentReader","rootEntryFixedTraversalFillSitesReachable","predecessorDispatchSliceRuntimeProofFound","predecessorDispatchTableBaseAuditRows","predecessorFillProofGateRows","proofFound"]},{"path":"out/save_selector_predecessor_branch_state_execution_gap.json","fields":["predecessorBranchStatePoll","runtimeBranchStateSplit","publicPredecessorBranchStateAllZero","branchStateExecutionProofFound","runtimePredecessorFillObserved"]},{"path":"out/save_selector_predecessor_descriptor_bridge_gap.json","fields":["proofFound","failedDescriptorBridgeGateIds","missingEvidence","evidenceRefCount","descriptorEdgeRejectionClassification","rootStopToFillBridgeFound","fillStopToCurrentBridgeFound","descriptorBridgeProofFound"]},{"path":"out/runtime_predecessor_coordinate_source_scan.json","fields":["classification","coordinateSourceRejectionClassification","publicSaveStartPointerTableTileHitCount","publicSaveStartStaticBaseHitCount","publicSaveStartTrailRingHitCount","publicSaveStartImageHitCount","reciprocalPointerTableTileHitCount","reciprocalStaticBaseHitCount","reciprocalTrailRingHitCount","reciprocalImageHitCount"]},{"path":"out/runtime_predecessor_field_entry_sequence_scan.json","fields":["sequenceCount","snapshotCount","snapshotRouteCandidateCount","snapshotSelectorCounts","classificationCounts","proofFound","predecessorFieldEntryProofFound","failedPredecessorFieldEntryGateIds","missingEvidence","evidenceRefs","evidenceRefCount","promotionStatus"]},{"path":"out/save_selector_branch_gate_consistency.json","fields":["knownOpcodeStatePreservationStatus","sameTableAndOffset","sameSelectionBufferOffsetHex","postWriterSameOffsetWriteCount","postWriterSameOffsetReadCount","postWriterOtherOffsetWriteCount","invalidSecondaryFillOffsetsHex"]}],"evidenceRefCount":6,"fillSiteExecutionContextProven":false,"promotionStatus":"blocked","evidence":[{"kind":"local-fill-fragment","status":"local-fragment-only","detail":"start=0x004844d0; fills=0x004844d0,0x004844d8; stop=0x004844dc reason=no-fixed-advance; reachesReader=False"},{"kind":"root-entry-to-fill","status":"fill-sites-not-reached","detail":"root=0x00478364; rootEntryReachable=False; directFillRefs={'0x004844d0': 0, '0x004844d8': 0}"},{"kind":"encoded-fill-entry-candidates","status":"raw-encoded-scalars-nonpromoting","detail":"range=0x00478364..0x004844d0; 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; 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=.data/0x00440c5c"},{"kind":"descriptor-boundary-bridge","status":"no-execution-bridge","detail":"rootStopBridge=False; fillStopBridge=False; rootClosureNodes=949; fillClosureNodes=2; edgeReject=descriptor-only-no-route-execution-edge"},{"kind":"descriptor-edge-rejection","status":"descriptor-only-no-route-execution-edge","detail":"descriptorEdges=9/1; routeEdges=0/0; allTargetSectionsData=True; rootLabels=['c0-fill-stop-descriptor', 'e8-route-descriptor']; fillLabels=['c0-fill-stop-descriptor']"},{"kind":"descriptor-encoded-target-scan","status":"descriptor-encoded-route-target-scalars-nonpromoting","detail":"raw=1; root/fill=1/0; promoting=0; targets={'predecessor-fill-site-1': 1}; kinds={'abs16-low': 1}"},{"kind":"dispatch-slice-runtime-proof","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; tableBaseArithmetic=116/0; tableBaseReject=table-base-switch-required-no-dynamic-save-selector-candidate; tableBaseCandidates=0; tableBaseCandidateSites=-"},{"kind":"dispatch-table-base-rejection","status":"table-base-switch-required-no-dynamic-save-selector-candidate","detail":"requiresTableBase=2; byteReachable=0; dynamicDispatches=3/3/0; dwordScaled=3; tableBaseCandidates=0; scopeSites=0x00438456,0x004390b7,0x004390f3; tableBaseCandidateSites=-; tableBaseStaticCandidate=False"},{"kind":"raw-generic-callgraph-contrast","status":"raw-generic-callgraph-nonroute-contrast","detail":"depth=3; functions=4; edges=10; route/fill/currentImm=0/0/0; selected/branchImm=0/0; route/fillTransfers=0/0; proof=False; depthSensitivity=6/True/True"},{"kind":"runtime-branch-state-polls","status":"public-predecessor-fill-not-observed","detail":"polls=8; seq=30; samples=46919; publicHits=6; routeHits=0; currentRootHits=0; fillMatches=0; allZero=8"},{"kind":"runtime-target-observation","status":"target-not-observed","detail":"movementOrTargetPolls=1; movementOrTargetSamples=10928; targetPolls=0; targetSamples=0; cameraOnly=0; actorOrTrailTarget=0; targetFillMatches=0; targetAllZero=0; targetRouteHits=0; targetCurrentHits=0"},{"kind":"runtime-field-entry-input","status":"field-entry-not-found","detail":"coordinateClass=start-coordinate-found-in-image-memory; finalSelector=19:1; sequenceCount=22; fieldEntryCandidates=0; finalSelectors={'1:0': 12, '50:0': 2, '8:0': 2, '19:1': 6}; finalCameras={'5,15': 18, '0,0': 4}; snapshots=85; snapshotRouteCandidates=0; 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}; proofFound=False; candidateProof=False; failedGates=field-entry-input-sequence,selector-2-0-snapshot,route-relevant-runtime-object-tile,selected-root-execution-proof; evidenceRefs=4; trailLeftOverrunCameraTarget=False"},{"kind":"state-preservation-vs-execution","status":"preservation-narrowed-execution-unproven","detail":"staticNoLocalTailReset=True; staticResetScopeClosed=True; selectorOrderResetGapClosed=True; branchGatePreserve=same-selection-slot-preserved-known-opcodes; branchGateSameOffset=True/0x20; branchGateSameOffsetWriteRead=0/0; branchGateOtherWrites=3@0x0a,0x0d,0x68; branchGateInvalidFillOffsets=0x54,0xe6,0xe7; routeOrder=False; mergeClosed=False"}],"remainingProofs":["capture execution at 0x004844d0/0x004844d8 on the public route before 0x00542b0c","decode the non-linear root-entry path from 0x00478364 to the fill fragment","replace public-predecessor all-zero branch-state polls with a fill-observed runtime trace","prove predecessor-to-current route order and close selector merge"],"conclusion":"The predecessor 1:0 fill fragment is a real local fragment, but it is still not proven to execute on the normal path before the current 0x00542b0c reader. Root-entry fixed traversal does not reach 0x004844d0/0x004844d8, descriptor-boundary closure does not bridge into the fill/current path, and 8 branch-state runtime poll families reach the public predecessor without observing the expected secondaryBranchState fill."}