JjdZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz Zdd d d d d dZd%d&dZd'dZd(dZd)dZd*dZd+dZd,dZd-dZd.dZd.dZd.dZd.dZd/dZd0dZd1dZd0dZ d2 d3dZ d4d Z!d4d!Z"edfd5d"Z#d6d#Z$e%d$k(re$yy)7z4Consolidate predecessor fill-site execution context.) annotationsN)Path)AnyoutzBroot-entry execution path from 0x00478364 to 0x004844d0/0x004844d8zTdescriptor-boundary bridge from predecessor root stop through fill to current readerz\runtime proof that predecessor fill stream executes through the save-selector dispatch slicezIruntime branch-state observation matching the predecessor fill hypothesiszEpredecessor-to-current route order proof before the 0x00542b0c readerzVclosed selector-merge proof connecting predecessor 1:0 and source 0:0 into current 2:0)root-entry-to-filldescriptor-boundary-bridgedispatch-slice-runtime-proofruntime-fill-observed route-orderselector-merge-closedcx|js|iS|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks \/home/exedev/hwanse/tools/summarize_save_selector_predecessor_fill_site_execution_context.py load_jsonrs5 ;;=%r383 ::dnngn6 77cBdjd|xsgDxsdS)N,c32K|]}t|ywN)str).0values r zcsv.. s95CJ9s-)join)valuess rcsvr&s 889FLb9 9 @S@rc*tt|Sr)rbool)r!s r bool_textr)#s tE{ rchd}|D]} |t|xsdz }|S#ttf$rY+wxYw)Nr)int TypeError ValueError)r%totalr!s rint_sumr/'sM E  S!_ $E L:&   s 11c\t|Dcgc]}|j|c}Scc}wrr/get)hitslabelslabels rtarget_hit_sumr61s# 8DHHUO8 998)c Hddddddddd }|j||xsiS) NruntimeBranchStateSplit,leftOverrunActivationRuntimeBranchStateSplit"nearestExitRuntimeBranchStateSplit%reciprocalExitRuntimeBranchStateSplit!coordinateRuntimeBranchStateSplit!trailStartRuntimeBranchStateSplit'trailLeftOverrunRuntimeBranchStateSplit$highFrequencyRuntimeBranchStateSplit)direction-sweepleft-overrun-activation nearest-exitreciprocal-exits coordinate trail-starttrail-left-overrunhigh-frequencyr2)row_namebranch_state_execution_gap key_by_names r split_forrM5s>4#Q<C9:G@ K & ) )+h*? @ FBFrc v|xsi}||jddu|jd|jd|jd|jdxsg|jdxsg|jddu|jd du|jd du|jd d S) N availableTstagedSaveKind sequenceCount sampleCountobservedSelectorsobservedPublicSaveSelectorsanyReachedPublicSaveSelectoranyReachedCurrentRootanyReachedRouteSelectorContextpromotionStatus) namerOrPrQrRrSrTpublicPredecessorReachedcurrentRootReachedrouteSelectorReachedrXrI)rYpolls rcompact_selector_pollr^Cs :2DXXk*d2((#34/2xx .!XX&9:@b'+xx0M'N'TRT$(HH-K$LPT$T"hh'>?4G $)I Jd R88$56  rc:|xsi}|xsi}id|d|jddud|jdd|jdd|jdd|jdxsgd|jdxsgd |jd dud |jd dud |jddud|jdd|jdxsgd|jddud|jddud|jdd|jdd|jd|jd|jd|jd|jd|jddS)NrYrOTrPrQrRrSrTrZrUr[rVr\rWactiveSelectionFlagHexsecondaryBranchStateHexessecondaryBranchStateAllZero matchesPredecessorFillHypothesissplitClassificationclassificationsplitNextProofFocusnextProofFocuscoordinateTargetObservedcoordinateAnyTargetTileObservedtrailAnyTargetTileObservedtrailAnyTrailMovementObservedcameraTargetObservedactorTargetObservedtrailTargetObserved)trailStartTargetObservedtrailStartMovementObserved$trailLeftOverrunCameraTargetObserved#trailLeftOverrunActorTargetObserved#trailLeftOverrunTrailTargetObservedrI)rYr]splits rcompact_branch_state_pollruTs :2D KRE  TXXk*d2  $((#34  /2   txx .   TXX&9:@b   &txx0M'N'TRT  #DHH-K$LPT$T  dhh'>?4G  )I Jd R  !$((+C"D  $TXX.I%J%Pb  &txx0M'NRV'V  +DHH5W,X\`,`  uyy)9:  uyy)9:! " #EII.O$P# $%*II.J$K&+ii0O&P05 :P0Q/4yy9N/O/4yy9N/O- rc,tfddDS)Nc3DK|]}j|duywTNrIr keyrows rr"z-branch_row_target_observed..rs&      )rhrorqrrrsanyr{s`rbranch_row_target_observedrqs      rc,tfddDS)Nc3DK|]}j|duywrxrIrys rr"z.s&   r|)rhrorrrsr}rs`r)branch_row_actor_or_trail_target_observedr~s   rc||jdduxr(|jdduxr|jdduS)NrqTrrrsrIrs r&branch_row_camera_only_target_observedrsI 674? G GG9 :$ F G GG9 :$ FrcB|jdduxs t|S)NrpT)r2rrs r&branch_row_movement_or_target_observedrs# 77/ 0D 8 [D"II*U\Y\H(7(;(;Ha(H1(LOH %,?,C,CHa,PST,T  )\\,/52F"JJsO,Afjjo->?J(5(9(9*a(H1(LM* %,=,A,A*a,PST,T j )5 %)" *  ! ( ()9)9&)A B 8:MN :B'+xx ) % &( (,xx0M'N'gRg"&((+C"D"W$(HH-G$H$YM  rc*>O|jdxs|jd}|jdxs|jd}|xsi}|xsi}|xsi}|jd|k7s|jd|k7ri}|jdxsg}|jdxsg} td|jdtd|jdg} td|jd td|td |jd td |td |jd td |td|jdtd|td|jdtd|td|jdtd|td|jdtd|td|jdtd|g} | D cgc] } | ds |  } } t d| D}t d| D}t d| D}t d| D}t d| D}t d| D}t d| D}t d | D}| D cgc]} t | s| }} | D cgc]} t | s| }} | D cgc]} t| s| }} | D cgc]} t| s| }} |r:|s8td!|Ds&td"|Dstd#|Dsd$n|rd%nd&}t|}id'|jd'd(|jd(d)|jd)d*|jd+xsijd,d-|jd.xsid/|jd/xsgd0|jd0d1|jd1d2|jd2d3|jd3t|d4d5|jd5d6|jd6d7|jd7d8|jd8d9|jd9t|d:d;|jd;d<|jd<|jd=|jd>|jd?|jd@xsg|jdAdB}idC|jdCdD|jdDdE|jdExsgdF|jdFxsidG|jdGxsidH|jdHxsidI|jdIxsid)|jd)dJ|jdJdK|jdKdL|jdLdM|jdMdN|jdNdO|jdOdP|jdPdQ|jdQxsgdR|jdRxsg|jd@xsg|jdSxsg|jdT|jdAdU}|jt||jdVxsi}|jdWxsg}|r|dXni} |jdYxsi}!|jdZxsi}"|jd[xsi}#|#jd\xsi}$|jd]xsi}%|jd^xsi}&|jd_xsi}'|jd`xsi}(|%jdaxsi})|&jdaxsi}*dbdcg}+t|)|+},t|*|+}-|jdddeu}.|jdfdeu}/|jdgdeu}0|jdhdeuxs|jdideuxs|dXkD}1|jdjdeu}2|jdkdlu}3|jdmxsi}4|jdnxs|4jdnxsg}5|jdoxsi}6|jdpxsi}7|.xr|/xr|0xr |1xr|2xr|3}8dq|.|.rdrndsdt|jdudvt|jdwxsgdxt|jdyxsgdz| jd{d|| jd} d~d|/|/rdrndsdj!gd|%jdud|,d|)jdd|&jdud|*jdd|'jd'd|'jdd|'jdd|'jdd|'jdd|(jdd|(jdd|(jd'd|jdJdt|jddt#|jdRxsgd|jdTd~d|0|0rdrndsdj!gd|jdgd|jddt|jddt#|jdxsgd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|4jd'd~d|1|1rdrndsdt#| d|d|d|d|d| d~d|2|2rdrndsd|2d~d|3|3rdrndsd|3 d~g}9t d|9D}:t#|9|:z };|9D cgc]} | d }<} |9D cic] } | d| d }=} |9D cgc]} | drdeus | d}>} |>D?cgc]}?t$j|?|?}@}?dgdâdĜdgdƢdĜdgdȢdĜdgdʢdĜdgd̢dĜdgd΢dĜg}Ad|jdЫdeurdndd|jdԫdt|jd֫xsgdz|jd׫d|jd٫d|jd۫ dܜdq|.sdndd|jdd|.d|jddܜd|!jd'xsdd|!jdd|!jdd|!jdd|!jdd|!jdd|!jd dܜd|"jd'xsdd|"jdd|"jdd|"jdd|"jdd|"jdd|"jdd|"jddܜd|#jd'xsddj!gd|#jdd|#jdd|#jdd|#jdd|#jdd|#jdd|#jdd|#jdd |#jd d |#jd d |#jdd|#jdxsijdd|#jdxsijdd|#jdxsijdd|#jdxsijdd|#jdxsijdd|#jdxsijdd|#jdxsijdd|$jdd|$jddܜd|/sdndd|jdd |jd!d"|%jdud#|&jdud|'jd' dܜd$|'jd'xsdd%|'jdd|'jdd|'jdd|'jdd&|'jd'd(|'jd)d*|'jd+dܜd,|(jd'xsdd-|(jdd.|(jd/d|(jd0d|(jddv|(jd1d|(jd2 dܜd|jdgdlur|jddeurd3nd4dj!gd|jdgd|jddt|jddt#|jdxsgd|jdd|jdd|jd5d6|jd7d8|jd9d|jdd|jdd|jdd|jdd|jdd|jdd:t|jd;d|jdd|jdd|jdd|4jd'd<|4jd=d>t|4jd?dܜd@|4jd'xsddA|4jdd|4jdd|4jdd|4jdd|4jddB|4jdCd<|4jd=d:t|4jd;d>t|4jd?dD|4jddܜdE|6jd'xsddF|6jdGdH|6jdIdJ|6jdKdL|6jdMd|6jdNd|6jdOdP|6jdQd|6jdRdS|6jdTd|6jdUdV|6jdJdW|7jdXd|7jdYd|7jdZdܜd[|r|sd\nd]dt#| d|d|d|d^|d_|d|d|dܜd`|dat#|dbt'|dct#|ddt'|det#|dft#|dgt dh|Ddit dj|Ddkt dl|Ddmt dn|Ddܜdo|jdDdXk(rdpndqdj!gdr|jd'ds|jd*dt|jdCdu|jdDdv|jdFdw|jdGdx|jdydz|jd{d||jd}d~|jdd|jdHd|jdJd|jdKdt|jdQd|jdTdt)d| Dddܜddd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jddt|dt| d|2d|3dܜg}Bdt#| d}Cid|d|d|jdd|jdd|jdd|jdd|jdd|jd֫xsgd|jdxsijdxsgd| d|d| dt#| d|d|d|d|id|d|d|dt#|dt'|dt d|Ddt d|Ddt#|dt'|dt d|Ddt d|Ddt d|Ddt d|Ddt#|dt#|d|d|jdԫid|jd׫d|jd٫d|jdīd|jdЫd|jd۫d|jdud|dd|jddd|jdxsidY|!d|!jdd|!jdd|!jdd|!jdd|!jdd|!jd'dZ|"id|"jd'd|"jdϫd|"jdd|"jdd|"jdd|"jdd|"jdd|"jdd[|#d|jd֫d|#jdd|#jdd|#jdd|#jdd|#jdd|#jdݫd|#jdid|#jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdid|$jdd|$jdd|jdd!|jd!df|/d|jdxsgd|jdRxsgd|jdTd_|'d|'jd'd|'jd'd|'jdd|'jdd|'jdd|'jdd|'jdd|'jdid|'jd)xsgd|'jd+xsgd`|(d|(jd'd|(jdd|(jd/d|(jd0d|(jdd|(jd1xsid|(jd2xsidg|jdgd|jdd|jdxsgd|jdxsgd|jdd|jdd5|jd5id7|jd7d9|jd9d|jdd|jdd|jdd|jddC|jdCd|jdd;|jd;xsgd|jdxsgd|jdd=|jd=d?|jd?xsgd |jd xsgd|jdd|jdd|jdid |jd d |jd xsgdm|4d |4jd'd t#|5do|6dp|7d|6jd'd|6jdJd|6jdGd|6jdId|6jdKd|6jdMd|6jdNd|6jdOd|6jdQd|6jdRid|6jdTd|6jdUd|7jdXd|7jdYd|7jdZd|%jdud|%jdd|,d |)jdd!|&jdud"|&jdd#|-d$|*jdd%|1d&|jd&d'|d(|id|jdd|jdd|jdd)|jdd*|jdd+|jdd,|jdd-|jdd.|d/| d0|jdd1|jd2d3|jd4dj|2dk|jdkd5|9d6t#|9id7|:d8|;d9|<d:|=d;|>ddR@dSAdTt#|Ad>|8d)|8rd?ndsd@Bd@gdAdACScc} wcc} wcc} wcc} wcc} wcc} wcc} wcc} wcc}?w(BNsourcetarget$postWriterOtherOffsetWriteOffsetsHexinvalidSecondaryFillOffsetsHexprogresspredecessorProgressPollrApredecessorDirectionSweepPollpredecessorBranchStatePollrB/predecessorLeftOverrunActivationBranchStatePollrC%predecessorNearestExitBranchStatePollrD(predecessorReciprocalExitBranchStatePollrE$predecessorCoordinateBranchStatePollrF$predecessorTrailStartBranchStatePollrG*predecessorTrailLeftOverrunBranchStatePollrH'predecessorHighFrequencyBranchStatePollrOc3dK|](}|ds t|jdxsd*yw)rOrRrNr+r2r r{s rr"z build_summary..s/)-0#kJZCGGM " 'a()s 0#0c3XK|]"}t|jdxsd$yw)rRrNrrs rr"z build_summary..s($-0CGGM " 'a($(*c3XK|]"}t|jdxsd$yw)rQrNrrs rr"z build_summary.."s(&/2CGGO $ )*&rc3,K|] }|ds dywrbrNrs rr"z build_summary..%s&c2O.P& c3,K|] }|ds dywrcrNrrs rr"z build_summary..(s(c2T.U(rc3,K|] }|ds dyw)rZrNrrs rr"z build_summary..+s(c2L.M(rc3,K|] }|ds dywr\rNrrs rr"z build_summary...s'c2H.I'rc3,K|] }|ds dywr[rNrrs rr"z build_summary..1s.c2F.G.rc3&K|] }|d yw)rcNrrs rr"z build_summary..EspC>?pc3&K|] }|d yw)r\Nrrs rr"z build_summary..Fsd23drc3&K|] }|d yw)r[Nrrs rr"z build_summary..Gsbc01brz$camera-target-only-fill-not-observedzactor-or-trail-target-observedztarget-not-observedre'coordinateSourceRejectionClassificationrX finalSelectorrrfinalCameraTilerpairHitSummaryRows'publicSaveStartPointerTableTileHitCount!publicSaveStartStaticBaseHitCount publicSaveStartTrailRingHitCountpublicSaveStartImageHitCountzpublic-save-start'publicSaveStartKnownGlobalImageHitCount%observedTrailPointerTableTileHitCountobservedTrailStaticBaseHitCountobservedTrailTrailRingHitCountobservedTrailImageHitCountzobserved-trail%observedTrailKnownGlobalImageHitCount"reciprocalPointerTableTileHitCountreciprocalStaticBaseHitCountreciprocalTrailRingHitCountreciprocalImageHitCountremainingProofs conclusion)rrrrrrQfieldEntryCandidateCountfieldEntryCandidateNamesfinalSelectorCountsfinalCameraTileCountsclassificationCountsactiveOrderPatternCounts proofFoundpredecessorFieldEntryProofFoundfieldEntryRouteCandidateFoundselector2FinalObservedselector2SnapshotObserved#routeRelevantRuntimeObjectTileFoundselectedRootExecutionProofFound"failedPredecessorFieldEntryGateIdsmissingEvidence evidenceRefsevidenceRefCount)rrrrrootEntryFixedTraversalstopRowsrencodedFillEntryCandidateScanencodedRawScalarRejectionrootTailIsolationScanimmediatePredecessorRowrootStopDescriptorClosurefillStopDescriptorClosuredescriptorEdgeRejectiondescriptorEncodedTargetScantargetEdgeHitszpredecessor-fill-site-0zpredecessor-fill-site-1)rootEntryFixedTraversalFillSitesReachableTdescriptorBridgeProofFound)predecessorDispatchSliceRuntimeProofFoundruntimeObservedFillruntimePredecessorFillObservedrouteOrderProvenselectorMergeGapOpenF%predecessorDispatchTableBaseRejection%predecessorDispatchTableBaseAuditRowsrawGenericCallGraphContrast#rawGenericCallGraphDepthSensitivityrpassedblockedzvisited=visitedNodeCountz ; targets= targetHexesz ; reached=reachableTargetHexesz; stop=vaHex:reason)gaterstatusdetailr z rootNodes=z; rootFillEdges=z; rootReaderEdges=zcurrent-readerz ; fillNodes=z; fillReaderEdges=z ; edgeReject=z; descriptorEdges=rootDescriptorTargetEdgeCount/fillDescriptorTargetEdgeCountz ; routeEdges=!rootRouteExecutionTargetEdgeCount!fillRouteExecutionTargetEdgeCountz; encodedRouteTargets=rawScalarCandidateCountpromotingCandidateCountz; encodedClass=z; bridgeProof=z; bridgeFailedGates=failedDescriptorBridgeGateIdsz; bridgeMissingEvidenceCount=z; bridgeEvidenceRefs=r zsliceRuntimeProof=z; dispatchTableProof="predecessorDispatchTableProofFoundz; dispatchFailedGates=%predecessorDispatchTableFailedGateIdsz; dispatchMissingEvidenceCount='predecessorDispatchTableMissingEvidencez; dispatchEvidenceRefs=(predecessorDispatchTableEvidenceRefCountz; descriptorDependsOnSlice=4predecessorDescriptorDependsOnSaveSelectorSliceModelz ; rawDiffers=2predecessorDispatchRawGeneralDiffersFromSliceCountz; byteReachable=1predecessorDispatchSliceGenericByteReachableCountz; requiresTableBase=4predecessorDispatchSliceRequiresTableBaseSwitchCountz; dynamicDispatches=1predecessorDispatchDynamicIndexedDispatchRowCount1predecessorDispatchDynamicScopeTableCallbackCount=predecessorDispatchDynamicSaveSelectorTableImmediateNearCountz; dynamicTableBaseCandidate=IpredecessorDispatchDynamicSaveSelectorTableBaseSwitchStaticCandidateFoundz; tableBaseArithmetic=:predecessorDispatchSaveSelectorTableBaseArithmeticRowCount@predecessorDispatchSaveSelectorTableBaseArithmeticCandidateCountz; tableBaseReject=r zpolls=z; seq=z ; samples=z ; publicHits=z; fillMatches=z ; allZero=r zrouteOrderProven=r zselectorMergeGapOpen=c3,K|] }|ds dyw)rrNrrs rr"z build_summary..3s(\scRZm(\rrrz;out/save_selector_predecessor_fill_execution_order_gap.json)"localFillTraceContainsAllFillSites"localFillTraceReachesCurrentReaderrrrpredecessorFillProofGateRowsr)rfieldsz=out/save_selector_predecessor_branch_state_execution_gap.json)rr9#publicPredecessorBranchStateAllZerobranchStateExecutionProofFoundr z8out/save_selector_predecessor_descriptor_bridge_gap.json)rr$rr%descriptorEdgeRejectionClassificationrootStopToFillBridgeFoundfillStopToCurrentBridgeFoundrz3out/runtime_predecessor_coordinate_source_scan.json) rerrrrrrrrrz6out/runtime_predecessor_field_entry_sequence_scan.json) rQrrrrrrrrrrrXz.out/save_selector_branch_gate_consistency.json)"knownOpcodeStatePreservationStatussameTableAndOffsetsameSelectionBufferOffsetHexpostWriterSameOffsetWriteCountpostWriterSameOffsetReadCountpostWriterOtherOffsetWriteCountrzlocal-fill-fragmentr4zlocal-fragment-onlyzfill-fragment-missingzstart=localFillTraceStartHexz; fills= fillSiteslocalFillTraceStopHexz reason=localFillTraceStopReasonz; reachesReader=r5)kindrrzfill-sites-not-reachedzfill-sites-reachedzroot=predecessorRootHexz; rootEntryReachable=z; directFillRefs=directFillSiteRefCountszencoded-fill-entry-candidatesz not-availablezrange= scanRangeHexz ; rawScalars=z; rootTailRawScalars=rootTailRawScalarCandidateCountz; branchAttached=branchAttachedEncodedFieldCountz; modeledControlFlow= modeledControlFlowCandidateCountz ; promoting=zencoded-raw-scalar-rejectionz rawScalars=z; kinds=rawScalarKindCountsz ; sections=rawScalarHandlerSectionCountsz-; noFixed/noBranch/branchAttached/scalarOnly=rawScalarNoFixedAdvanceCountrawScalarNoBranchJumpCountrawScalarBranchAttachedCountrawScalarScalarOnlyCountzroot-tail-isolationrangeHexz ; distance= distanceHexz; rows= dwordCountz ; handlers=textHandlerRowCountdataHandlerRowCountotherHandlerRowCountz; branchTargetClasses=branchTargetClassCountsz; branchTargetSections=branchTargetSectionCountsz; branchToFill=branchToFillFragmentCountz; branchToReader=branchToCurrentReaderCountz; fixedToFill=fixedFallthroughToFillCountz; branchClosure= branchClosurebranchSeedCount edgeCountbranchSeedReachFillCount!branchSeedReachCurrentReaderCountz; branchClosureOutside=outsideSuccessorCountoutsideSuccessorClassCountsoutsideSuccessorSectionCountsz; immediateBeforeFill=handlerSection handlerVaHexzno-execution-bridgez bridge-foundzrootStopBridge=r;z; fillStopBridge=r<z; rootClosureNodes=z; fillClosureNodes=zdescriptor-edge-rejectionzdescriptorEdges=z; allTargetSectionsData=allTargetSectionsDataz ; rootLabels=rootDescriptorOnlyTargetLabelsz ; fillLabels=fillDescriptorOnlyTargetLabelszdescriptor-encoded-target-scanzraw=z ; root/fill=rootRawScalarCandidateCountfillRawScalarCandidateCounttargetLabelCounts kindCountszslice-runtime-proof-missingzreview-required predecessorDispatchSliceRowCountz ; sliceData=+predecessorDispatchSliceDataDescriptorCountz ; rawCode=&predecessorDispatchRawGeneralCodeCountz ; scopeSites=1predecessorDispatchDynamicScopeTableCallbackSitesz; tableBaseCandidates==predecessorDispatchDynamicSaveSelectorTableBaseCandidateCountz; tableBaseCandidateSites==predecessorDispatchDynamicSaveSelectorTableBaseCandidateSiteszdispatch-table-base-rejectionzrequiresTableBase=z; dwordScaled=5predecessorDispatchDynamicDwordScaledDispatchRowCountz; tableBaseStaticCandidate=zraw-generic-callgraph-contrastzdepth=maxDepthz ; functions=reachableFunctionCountz; edges=directCallEdgeCountz; route/fill/currentImm=routeImmediateHitCountfillImmediateHitCountcurrentImmediateHitCountz; selected/branchImm= selectedPointerImmediateHitCountbranchStateImmediateHitCountz; route/fillTransfers=routeDirectTransferHitCountfillDirectTransferHitCountz; proof=z; depthSensitivity=maxDepthCheckedproofAbsentAcrossCheckedDepths#countsStableAtAndBeyondDefaultDepthzruntime-branch-state-pollsz$public-predecessor-fill-not-observedznot-classifiedz ; routeHits=z; currentRootHits=zruntime-target-observationzmovementOrTargetPolls=z; movementOrTargetSamples=z; targetPolls=z; targetSamples=z ; cameraOnly=z; actorOrTrailTarget=z; targetFillMatches=c3,K|] }|ds dywrrrs rr"z build_summary..sstSCPrLsqtrz; targetAllZero=c3,K|] }|ds dywrrrs rr"z build_summary..ts$}3Z]^{Z|Q$}rz; targetRouteHits=c3,K|] }|ds dywrrrs rr"z build_summary..us&xS\_`v\wq&xrz; targetCurrentHits=c3,K|] }|ds dywrrrs rr"z build_summary..vs(xs^abv^w(xrzruntime-field-entry-inputzfield-entry-not-foundzfield-entry-candidate-foundzcoordinateClass=z; finalSelector=z; sequenceCount=z; fieldEntryCandidates=z; finalSelectors=z; finalCameras=z ; snapshots=rz; snapshotRouteCandidates=rz; snapshotSelectors=rz; snapshotCameras=rz ; classes=z ; proofFound=z; candidateProof=z; failedGates=; evidenceRefs=z; trailLeftOverrunCameraTarget=c3PK|]}|ddk(s |jd yw)rYrGrqNrIrs rr"z build_summary..s7SSnqrxny~RoR!GHSs &&zstate-preservation-vs-executionz(preservation-narrowed-execution-unprovenzstaticNoLocalTailReset=staticNoLocalTailResetz; staticResetScopeClosed=staticResetScopeClosedz; selectorOrderResetGapClosed=selectorOrderResetGapClosedz; branchGatePreserve=r=z; branchGateSameOffset=r>r?z ; branchGateSameOffsetWriteRead=r@rAz; branchGateOtherWrites=rB@z; branchGateInvalidFillOffsets=z ; routeOrder=z; mergeClosed=a(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 zz branch-state runtime poll families reach the public predecessor without observing the expected secondaryBranchState fill.predecessorSelectorcurrentSelectorcurrentRootHexcurrentReaderHexexpectedBranchStateHexesr9expectedFillHexesselectorProgressPollsselectorProgressSampleCountbranchStatePollsbranchStatePollCountbranchStatePollSequenceCountbranchStatePollSampleCount(branchStatePollPublicPredecessorHitCount"branchStatePollCurrentRootHitCount$branchStatePollRouteSelectorHitCountbranchStatePollAllZeroCountbranchStatePollFillMatchCount$branchStatePollMovementOrTargetCount*branchStatePollMovementOrTargetSampleCount-branchStatePollMovementOrTargetFillMatchCountc3,K|] }|ds dywrrrs rr"z build_summary..s= EgAhA= r+branchStatePollMovementOrTargetAllZeroCountc3,K|] }|ds dywrrrs rr"z build_summary..s; EbAcA; r%branchStatePollTargetObservationCount+branchStatePollTargetObservationSampleCount.branchStatePollTargetObservationFillMatchCountc3,K|] }|ds dywrrrs rr"z build_summary..s> EgAhA> r,branchStatePollTargetObservationAllZeroCountc3,K|] }|ds dywrrrs rr"z build_summary..s< EbAcA< r5branchStatePollTargetObservationRouteSelectorHitCountc3,K|] }|ds dywrrrs rr"z build_summary..sE E[A\AE r3branchStatePollTargetObservationCurrentRootHitCountc3,K|] }|ds dywrrrs rr"z build_summary..sC EYAZAC r$branchStatePollCameraOnlyTargetCount&branchStatePollActorOrTrailTargetCount&branchStatePollTargetObservationStatuslocalFillTraceStopHandlerHex'rootEntryFixedTraversalVisitedNodeCountrootEntryFixedTraversalStopRows'encodedFillEntryRawScalarCandidateCount/encodedFillEntryRootTailRawScalarCandidateCount/encodedFillEntryBranchAttachedEncodedFieldCount0encodedFillEntryModeledControlFlowCandidateCount'encodedFillEntryPromotingCandidateCountencodedFillEntryClassification'encodedRawScalarRejectionClassificationencodedRawScalarAllScalarOnlyrawScalarAllScalarOnly#encodedRawScalarNoFixedAdvanceCount!encodedRawScalarNoBranchJumpCount#encodedRawScalarBranchAttachedCountencodedRawScalarScalarOnlyCountencodedRawScalarKindCounts$encodedRawScalarHandlerSectionCountsrootTailDescriptorIsolatedrootTailDistanceHexrootTailDwordCountrootTailTextHandlerRowCountrootTailDataHandlerRowCountrootTailOtherHandlerRowCountrootTailBranchCapableRowCountbranchCapableRowCountrootTailBranchTargetClassCounts!rootTailBranchTargetSectionCounts!rootTailBranchToFillFragmentCount"rootTailBranchToCurrentReaderCount#rootTailFixedFallthroughToFillCount#rootTailBranchClosureClassificationrootTailBranchClosureNodeCount$rootTailBranchClosureBranchSeedCountrootTailBranchClosureEdgeCount+rootTailBranchClosureTailNodeReachFillCount4rootTailBranchClosureTailNodeReachCurrentReaderCount-rootTailBranchClosureBranchSeedReachFillCount6rootTailBranchClosureBranchSeedReachCurrentReaderCountrootTailBranchClosureProofFound*rootTailBranchClosureOutsideSuccessorCount0rootTailBranchClosureOutsideSuccessorClassCounts2rootTailBranchClosureOutsideSuccessorSectionCounts/rootTailBranchClosureOutsideSuccessorSampleRows*rootTailImmediatePredecessorHandlerSection&rootTailImmediatePredecessorHandlerHexdescriptorBridgeFailedGateIdsdescriptorBridgeMissingEvidence descriptorBridgeEvidenceRefCountr:#descriptorEdgeAllTargetSectionsData'descriptorEdgeDescriptorTargetEdgeCountdescriptorTargetEdgeCount+descriptorEdgeRouteExecutionTargetEdgeCountrouteExecutionTargetEdgeCount+descriptorEdgeRootDescriptorTargetEdgeCount+descriptorEdgeFillDescriptorTargetEdgeCount/descriptorEdgeRootRouteExecutionTargetEdgeCount/descriptorEdgeFillRouteExecutionTargetEdgeCount,descriptorEdgeRootDescriptorOnlyTargetLabels,descriptorEdgeFillDescriptorOnlyTargetLabels%descriptorEncodedTargetClassification.descriptorEncodedTargetRawScalarCandidateCount2descriptorEncodedTargetRootRawScalarCandidateCount2descriptorEncodedTargetFillRawScalarCandidateCount.descriptorEncodedTargetPromotingCandidateCount"descriptorEncodedTargetLabelCounts!descriptorEncodedTargetKindCounts0predecessorDispatchDynamicScopeTableCallbackRows ? "  & * *+Q R m%? @ " & * *+W X *,F G "  & * *+T U &(B C I)T-CWSc+FVSWW%()4F)&"!$$4I$!#&&6K&##&&*&#%((*(%!%((*(%!$''*'$ +..*.+'-,0J30O,(,-/0YZ]0^/+/-,0VWZ0[,(,-,0VWZ0[,(, 1;pKoppd?cddb=abb / 3. "+!//E F10445EF113I3M3M 54 1 1556GH 1 3778PQWUW\\]gh 1 488FL"1 4889MNTRT1 23I3M3M 54 1 ,-C-G-G /. 1 +,B,F,F .- 1$ '(>(B(B * 24G H) %1, 23I3M3M 54 -12 01G1K1K 32 318 *+A+E+E -, 91> )*@*D*D ,+ ?1D %&<&@&@ ( 24D E' E1L 01G1K1K 32 M1R -.D.H.H 0/ S1X)?(B(BCa(b'='A'AB_'`#9#=#=>W#X1556GHNB,00>a1d!266G!"$=$A$AB\$]! #$=$A$AB\$]$cac! 8<<=RSYWY ! !:!>!>?V!W!][] !  9 = =>T U [Y[ ! #$=$A$AB\$]$cac! 4889JK! /33LA! *+D+H+H -, ! ()B)F)F +* ! !";"?"?@X"Y!!" $%>%B%BC^%_#!$ ./H/L/L 10 %!* *+D+H+H -, +!0 -.G.K.K 0/ / 7!8 4889JKQr9!:5889JKQr155nEK599:LM/33LAA!DDE^_`3778QRXVX/33J?E21E*1-2O1556UV\Z\#;#?#?@[#\#b`b 2667NOUSU&9&=&=>W&X&^\^#3778STZXZ3778STZXZ 5 9 9:S T ZXZ%:%>%>?\%]%cac" 7 ; ;!0,7::;fgkoo3778TUY]] $$%PQUYY! !$$%:;tC - % ) )*J Kt S - (1 , 2556HITQ4889OPTYY $$%LMSQS" !$$%LM  ( , ,-T U  # 699:WX^\^ $$%JKQr!  " # " ( " " "   " " ')-"9hy/334FGHI377 FL"MNO3778NOUSUVWX'++G45Q7J7J87T6UW 1-"9hyVV*V4889KLMVN!V!I JVK#V#<#@#@AQ#R"SVTV5889KLMVN#V$=#@#@AQ#R"S VT V 8;;hIYY$Y%=%A%ABm%n$oYp&Y&>&B&BCg&h%iYj'Y/334[\]^Y_0Y /334]^dbdef Y g( Y )A(D(DEo(p'q Y r, Y-E,H,HI-A,BYBY7::;opqYr!Y":!=!=>q!r sYt%Y&>%A%ABx%y$zY{%Y&>%A%ABu%v$wYxyY,//0cdeYfgY,//0opqYr-Y,//0{|}Y~'Y (@'C'CEA(B'C!Y CD!Y",//0rst#Y"u##Y$$A#D#DEU#V"W%Y  6,+"7hY234F;V:WX45]C`Bab<=ZHcGdf "("4h))*<)=>  ,+"7hY-2G.G-HI  gYt&)(\6J(\%\"%()=%>A_%_"?S'TF 'T$'T.B$'*F S]"$ $ 4$s8}D7PF $ $ 4  +..w@ R T O  J  M  $E IPMf*'++,PQUYY,(1556NOPQ599+FL"MNO0445LMNO2667QRST!!9!=!=>b!c d f )6M.Sg0445IJKL&&=%>?"":">">?X"Y!Z\  4(,,-=>Q/+//?@A0445NOPQ&&8&<&<=^&_%`a""4"8"89Z"[!\]&&8&<&<=_&`%ab/334MNO Q 32667GH[O:>>?XYZ[599:OPQR8<<=\]^_>/334RSTTU/334PQRRS/334RSTTU/334NOPR *)--.>?R?II&I,00<=I>I/33MBCIDI+// =>I?I'**+@AB ICD I '**+@AB I CD I '**+ABC I D' I(;'>'>?X'Y&ZI[(I)<(?(?@[(\']I^ I!4 7 78S TUIV"I#6"9"9:V"W!XIYI 3667TUVIW!I(++O<BGGHYZ[I\]I(++O<BGG TUIVWI(++O<BGGHbcdIefI (++O<BGGHklm!I n(!I$(++O<BGGH_`a%I$bc%I&(++O<BGGHefg'I&hi'I((++O<BGGHghi)I(j')I,3667GHI-I,JK-I.366~FG/I  >13J+P^!"7";";QRST7;;LIJ L 3,//0[\`ee,001ghlpp.'}}$}%=%A%ABm%n$o}p&}&>&B&BCg&h%i}j'}/334[\]^}_0} /334]^dbdef } g( } )A(D(DEo(p'q } r, }-E,H,HI-A,B}B}1445WXY}Z}699:ghi}j}4778`ab}c}7::;opq}r!}":!=!=>q!r s}t%}&>%A%ABx%y$z}{%}&>%A%ABu%v$w}xy},//0cde}fg} ,//0opq!} r!}$/334ghij%}$k-%}(,//0{|})}(~')}*(@'C'CEA(B'C+}*CD+},,//0rst-},u#-}.$A#D#DEU#V"W/}.X'/}0(E'H'HJI(J'K1}0K+1}44889xyz{5}% N43778HI\_$0445klmn!0445hijk%0445hijjk0445hijjk0445tuvw0445lmno'0445tuvw4889lmnop+4889xyz{|,0446ABC#D  25,001ABUo/33J?@A3778PQRS/334IJKL))--.FGH)--.EFGq)--.HIJK&)--.PQRRS)--.LMNO')--.KLMQ)--.JKLM/33LABC$/334EFGq/334TUVVW/334YZ[#]  21,5R=!234F;V:WX45]C`Bab9::LMpLqr<=ZHcGdf 1<(-Q)R(ST++67[+\*]^"#GHIJ!!,-Q!R ST!"FGHI&&)*Q&R%ST%t$Httuv!!$$}2V$}!} ~##&&x4X&x#x"yz%%((x6Z(x%x$y {  $0"&&'ABaG..\\"\#5#9#9:J#K"L\M!\!3!7!7!H I\J!\!4!8!8!I J\K(\)<(?(?@Z(['\\]"\#6"9"9:O"P!Q \R \ !4 7 78O PQ \ R \ 144_EF \ G+ \,?+B+BC`+a*b\c%\&9%<%<=U%V$W\X#\$7#:#:;U#V"W\X\/223IJK\L\255lCD\E"\#6"9"9:["\!]\^\ ##6#:#:;_#`ab\c \!4 7 78J KL\M0\ STjSUYZ[!\  46@)*B*F*FG_*`)ab**B*F*FG_*`)ab//G/K/KLi/j.kl&*../STUV(*../CDEQ*../MNOP1*../OPQQR*../NOPQ)*../PQRRS67890789:01@U?V!X  CXMt n $ % &'< <t &t &t  7;;D"t  #%?%C%CD]%^%dbd$i$i % % t  !3t  &'Et  2t  $9 :!t " '(C#t $ %&?%t & 34Q't ( -.Q)t * /0L+t , &'B-t . ()F/t 0 /4X0Y1t 2 5kBf6g3t 4 8= == : 5t : 6s; =; 8 ;t @ 05Y1ZAt B 6{Cg7hCt D 9#> => ; Et J 7< =< 9 Kt P @E =E B Qt V >sC =C @ Wt \ /4X0Y]t ^ 1#6]2^_t ` 12Xat b !":">">?W"Xct d !9!=!=>U!Vet f #$<$@$@A[$\gt h '(@(D(DEc(dit j -.F.J.J 0/ kt p -.F.J.J 0/ qt v 23G3K3KL^3_wt x *+?yt z 45M5Q5Q 76 {t @ "#;#?#?@Y#Z#`^`At B ();Ct D 23E3I3IJc3dEt F :;M;Q;Q -< Gt L :;M;Q;Q -< Mt R ;&B&BC_&`Et F 266}EGt H 155lCIt J &':'>'>?T'UKt L &':'>'>?T'UMt N '(;(?(?@V(WOt P ()<)@)@AX)YQt R *+>+B+BC\+]St T ,-@-D-DE`-aUt V ,-E-I-I /. Wt \ -.F.J.J 0/ ]t b ./G/K/K 10 ct h ./G/K/K 10 it n )*B*F*F ,+ ot t /0H0L0L 21 ut z )*B*F*F ,+ {t @ 67O7S7S 98 At F ?@X@\@\ BA Gt L 89Q9U9U ;: Mt R ABZB^B^ DC St X *+C+G+G -, Yt ^ 56N6R6R 87 _t d ;= et j =>V>Z>Z @? kt p :;S;W;W =< qt v 56U6Y6Y 7 wt | 12Q2U2U 3 }t B $%:%>%>?Z%[Ct D '(=(A(AB`(aEt F %&=Gt H ()>)B)B +* * Ot P *+@+D+DEV+W+][]Qt R +,A,E,EFX,YSt T "#\>`>` )? at f =>\>`>` )? gt l 9:X:\:\ %; mt r -.L.P.PQd.e/ ut v ,-K-O-OP\-]. yt z 45M5Q5Q 76 {t @ -.F.J.J 0/ At F 01I1M1M 32 2 Mt N 23K3O3O 54 4 Ut V 34L4P4P 65 Wt \ ?@X@\@\ BA ]t b +,D,H,H .- ct h 67O7S7S 98 it n 12J2N2N 43 ot t =>V>Z>Z @? ut z <=U=Y=Y ?> {t @ ?@X@\@\ BA At F <=U=Y=Y ?> Gt L @AYA]A] CB Mt R <=U=Y=Y ?> St X <=U=Y=Y ?> > ]t ^ ;= = ct d HIaIeIe KJ et j H $ ( (O mt t H $ ( (O  }t @ G $ ( (N  I t L T $ ( ([ O t V E $ ( (L Y t ` K $ ( (R c t j K $ ( (R m t t J $ ( (Q  } t @ 01NA t B > ) - -.> ?E t H 4S9W5XI t J &'=K t L ./KM t N ,-C-G-GHX-YO t P ()?)C)CL)QQ t R &'='A'A*'MS t T 45K5O5O $6 U t Z 12H2L2L !3 [ t ` 45K5O5O $6 a t f 34J4N4N #5 g t l 67M7Q7Q &8 m t r >?U?Y?Y .@ s t x :;Q;U;U *< y t ~ 9:P:T:T );  t D 89O9S9S (: E t J =>Z>^>^ ? K t P L ( , ,-M NS t V Q ( , ,-R SY t \ 01H1L1LM_1`] t ^ )*A*E*Ek*R_ t ` 45]a t b 9:S:W:W ; c t h 01H1L1LM_1`i t j )*A*E*Ek*Rk t l 45]m t n 9:S:W:W ; o t t 4u t v $%=%A%AB]%^w t x "#5y t z $%8{ t | !":">">?W"X} t ~ !":">">?W"X t @ &'?'C'CDa'bA t B '(?(C(CDX(YC t D 12I2M2M *3 E t J 34K4O4O ,5 K t P 23J3N3N +4 Q t V 45L5P5P -6 W t \ 9:Y] t ^ 34T_ t ` 78O8S8S 09 a t f 01H1L1L *2 g t l :;R;V;V 3< m t r .s t t  8 < <=S Tu t v 2w t x !#&:";y t z %&D{ t | %&D} t ~ '(H t @ $%AA t B #$@C t D & $ % ) Q.LPQ.QG t J 8K t L '(DM t N +O t P  Q t R C .S t T )*LU t V 1S-YbW t X MY t Z  [ t f jg t tmX2,/,,p(U$$si B]2B]28B]7 B]7B]<$B]<.B^?B^ B^B^ B^ #B^9 B^B^B^c!gdd|ddd|dd|ddd |d d |d dd |dd |dd|dddt|jddd|jddt|jdddt|jdxsgd|dd|dd|dd d!|d"d#|d$d%|d&d'|d(d%|d)d*|d+d|d,d d-|d.d|d/d d0|d1d%|d2d%|d3d4|d5d%|d6d7|d8dd9|d:d;|d<d%t|jd=xsgd>|d?d@|dAdB|dCdD|dEdF|jdGddH|jdId%|jdJd%|jdKd%|jdLdM|dNd%|dOdP|dQdR|dSd%|dTdU|jdVdW|jdXdY|jdZdd[|d\d]t|jd^dd_t|jd`xsgd%|jdadb|jdcddd|jded%|jdfdg|jdhd%|jdidj dk|jdld%|jdmd%|jdnd%|jdodp|jdqddjgdr|jdsdt|jdudvt|jdwdxt|jdyxsgdz|jd{d||jd}d~|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jddt|jdd|jddt|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|dd%|dd|jdxsijdd|jdxsijdd|jdxsijdd%|jdxsijddt|jdxsijdd|jdxsijdd|jdxsijddd|jdxsijdd|jdxsijdëd|jdxsijdūd|jdxsijdƫd|jdxsijdǫd|jdxsijdȫd|jdxsijdʫd|jdxsijd˫d|jdxsijd̫d|jdxsijdͫd|jdxsijdϫd|jdxsijdЫd|jdxsijdѫd|jdxsijdҫd|jdԫdd|jd֫d|jd׫d|jd٫d|jdګd|jd۫dt|jdݫdt|jd߫d|dd%|dd|jddt|jddd|jdd|dd|dd|ddddd|jdxsgDcgc]}d| c}ddddd}|jdxsgD]&}|j d|dd|dd|dd(|j gd|jdxsgD]P}|j d|dd|jdd|jdd|jdd R|j gd|jdxsgD]E}|j d|jddt|jddG|j gd|jdxsgD]}|j d|dd|jddt|jdd |jd d|jd d|jd d|jd d|jdxsdd|j gd|j d|jdxsgD|j ddj|Scc}w(Nz7# Save Selector Predecessor Fill Site Execution Contextrrz - route: `rz -> r`z- predecessor: `rz` root `rHz - current: `rrz ` reader `rz- fill sites: `rDz- proof found: rz"- failed predecessor fill gates: `r*z- missing evidence count: rz- branch-state poll coverage: rz polls, r sequences, rz samplesz - public predecessor poll hits: rz1- current/root route hits in branch-state polls: r / rz!- fill matches / all-zero polls: rrz$- movement-or-target poll coverage: rrz- target-observation polls: rrz.- target-observation fill/current/route hits: rrrz3- target-observation camera-only / actor-or-trail: rrz- target-observation status: `rz!- root-entry reaches fill sites: rz&- root-entry traversal visited/stops: rrz!- encoded fill-entry candidates: r raw rz / root-tail rz / promoting rz!- encoded raw scalar rejection: `rzE- encoded raw scalar no-fixed/no-branch/branch-attached/scalar-only: rrrrz- root-tail isolation: rrz rows; descriptor isolated rz(- root-tail branch/fallthrough to fill: rrz/- root-tail branch closure outside successors: rz classes `rz ` sections `rz!- descriptor bridge proof found: rz#- descriptor bridge failed gates: `rz3- descriptor bridge missing evidence count / refs: rrz- descriptor edge rejection: `r:z,- descriptor / route execution edge counts: rrz (root/fill route rr)z5- descriptor encoded target raw/root/fill/promoting: rrrrz-- descriptor encoded target classification: `rz;- predecessor dispatch slice dependency: sliceRuntimeProof=rz dispatchTableProof=r%z dispatchFailedGates=r&z dispatchMissingEvidenceCount=r'z dispatchEvidenceRefs=r(z descriptorDependsOnSlice=r)z rows=rpz sliceData=rqz rawDiffers=r*z byteReachable=r+z requiresTableBase=r,z dynamicDispatches=r-rr.r/z dynamicScopeSites=rsz dynamicTableBaseCandidate=r0z dynamicTableBaseCandidateSites=ruz tableBaseArithmetic=r1r2z tableBaseReject=rz- raw generic call graph: rz depth=rz functions/edges=rrz route/fill/currentImm=rrrz selected/branchImm=rrz route/fillTransfers=rrz depthSensitivity=rrr z proof=rz&- descriptor closure nodes root/fill: r rz"- field-entry sequence snapshots: rrz snapshots; route candidates rz- field-entry proof: rz failed=`rz` evidenceRefs=rz#- field-entry snapshot selectors: `rz- coordinate source: class=rrez reject=rz! startPointer/static/trail/image=rrrrz! trailPointer/static/trail/image=rrrrz& reciprocalPointer/static/trail/image=rrrrz- branch gate preservation: `rzQ- branch gate same-slot / same-offset write-read / other writes / invalid fills: rrz; rrrrrz ; invalid rz&- required proof gates passed/failed: r$r%z$- required proof gates all blocked: r)z#- required proof gate failed ids: `r(z- evidence refs: z- runtime fill observed: rz&- fill-site execution context proven: r+z- promotion status: `rXz## Missing Evidence- z ## Evidencez| kind | status | detail |z| --- | --- | --- |r,z| rGz | rrz |)rz## Required Proof Gatesrz#| gate | passed | status | detail |z| --- | --- | --- | --- |r"rr)rz## Source Evidence Refsrz| path | fields |z | --- | --- |rrz | `r7z` |)rz## Branch-State PollsrzO| poll | samples | selectors | public | route | fill match | all zero | split |z2| --- | ---: | --- | --- | --- | --- | --- | --- |rrYrRrSz` | rZr\rcrbrdr#)rz## Remaining Proofsrc3&K|] }d| yw)rvNrr items rr"zmarkdown..9sN2dVNrr )r&r2rr$rextend)summaryrylinesr{refs rmarkdownrhsj Aj  j   j  j  WX&'tGH,=+>a@ j  7#89:(7K_C`Baabc j  w012(7CS;T:UU_`ghz`{_||}~j  #gkk+678:j  '++l345j  -S=[1\-],^^_`j  %S5F)G)M2%N$OPj  )1G)H(IRYZxRyQz{GHOPlHmGnnv wj  +73]+^*_`j  gFl>m=nnqry{csdre f'j ( )1Y)Z([[\])j * ,G4_,`+ab+j , 19b1c0ddghklslwlwyZm[ma_aibhc d-j . ,G4T,U+VV[\ceN]O\PP]^efW^X]YYfgnoXgYfZ [/j 0 ,GKK8a,b+ccde1j 4 T{{@AB#{{>?@{{@AB#{{<=>  @5j @ "'*?"@!AWMaEbDcc~@GHd@ef gAj B 37;^3_2``cdkmReSdT UCj F >{{GHIJ $VWXY %YZ[[\ ^Gj P ,G4P,Q+RSQj T GKK ?@AB! EUj \ B7;;@AGRHI{{=>? A]j d )5\)](^^_`ej h ;{{DEFc{{HIJK ' ,] ^__b{{LMNa  Qij v D{{KLMS{{OPQQT{{OPQQT{{KLM  Owj B 8 Dk8l7mmnoCj F d d ! d!(-X!Y Z d[" d")++.R"S!T dU# d$'w{{3Z'[#\"] d^, d-0 }2~..A% d$A#% d&$+;;/k#l"m' d&no' d({{]^_) d(`) d* '{{+`ab+ dGj v ){{>?@A[[!>?@A&{{+VWXXY{{CDEF%{{FGH{{EFGq{{HIJK"{{PQRRS{{LMNO#{{KLMQ{{JKLM {{OPQQR{{^_``a{{cdef[[!@AB' Dwj ` 19`1a0bbefmoVgWfX Yaj b -gkk:U.V.\Z\-a-abq-r,stQSZS^S^_zS{SAARFRFGdReQf gcj f $ 78>BCCLQRRU 78>BCCDefghW[[!<=CHHImnopq$[[)DEKPPQcde  ggj t .w{{;V/W/][].b.bc{.|-}}~uj x {{#<=CHHIYZ\] $=>D"IIJstvw/67=2BBClmoop67=2BBCfgiij67=2BBCefhhi67=2BBCabde/67=2BBCjkmmn67=2BBCdeggh67=2BBCcdffg67=2BBC_`bc467=2BBCghjjk67=2BBCabdde67=2BBC`accd67=2BBC\]_# ayj ^ ( 4b(c'ddef_j b `{{9:;1{{CDER{{EFGq{{DEFb{{FGH7;;OPQRS7;;'QRST Vcj t 19U1V0WWZ[bc\A[B Cuj v /w{{;X/Y.Z[wj x .c'++>X2Y.Z-[[\]yj z GKK(:;<={j | $G,A$B#CD}j ~ 19Y1Z0[\j @ (9 :;1=Aj B Cj D Ej F Gj H#*++.?"@"FB G$Btf+ GIj J Kj L Mj N Oj P %Qj R Sj EV{{:&,"O r#f+c#h-CM?"MNO LL{{/06B  V S!2 33swwx7H6ISWWU]M^L__a b   LL{{>*0bL r#''&/*$s37783D/E.FcJKL LL{{-.4"  V S!7 8SI\A]=^<__cww1233sww?U7V6WWZww9:;3swwGd?e>ffiww,-45R 9   LL01 LLN5F)G)M2NN LL 99U ] Hs tc djd|jdxsgD}djd|jdxsgD}djd|jdxsgD}djd|jd xsgD}djd |jd xsgD}djd |jd xsgD}djddddddddddtj|dddtj|ddtj|ddtjt |dd tjt |d!d"tjt |d#d$ d%jgd&|d'd(|d)d*|d+d,|d-d.|d/d0|d1d2|d3d4|d5d6|d7d8|d9d:|d;d<|d=d>|d?d>|d@dA|dBd>|dCdDtj|dEdF|jdGxsijdHdI|jdGxsijdJdKt |jdGxsijdLd>t |jdGxsijdMdNtjt |jdGxsijdOdPtjt |jdGxsijdQdRtjt |jdSxsijdTdUtjt |jdSxsijdVdWtjt |jdSxsijdXdUtjt |jdSxsijdYdUtjt |jdSxsijdZdUtjt |jdSxsijd[d\tjt |jdSxsijd]dUtjt |jdSxsijd^dUtjt |jdSxsijd_dUtjt |jdSxsijd`dad%jgdbt |dcddtjt |dedftjt |dgdhtjt |didjtjt |jdkdltjt |jdmd>tjt |jdnd>tjt |jdod>tjt |jdpdqtjt |drd>tjt |dsdtt |dudvt |dwdxtjt |jdydztjt t|jd{xsgd|tjt |jd}d~tjt |jddtjt |jdd>tjt |jddtjt |jdd>tjt |jdd>tjt |jdd>tjt |jddtjt |jddtjt |jddtjt |jddtjt t|jdxsgdtjt |jddtjt |jddtjt |jdd>tjt |jddtjt |jddtjt |jddtjt |jdd>tjt |jddtjt |jdd>tjt |jdd>tjt |jddtjt |jdd>tjt |jdd>tjt |jddtjt |jddtjt |jdd>tjt |jddtjt |jdd>tjt |jddtjt |jddtjt |jddtjt |jddt |dd|dd|ddtjt |jdQdt |jddt |jdLdtjt |jddt|jd xsgdt |dd‘tj|dd$dd|dƝdd|dɝdd|dɝdd|dɝdd|dɝdd|dƝddd%gS)Nrzc 3K|]R}dtj|ddtj|ddtj|ddTyw)rG rr Nhtmlescapers rr"zhtml_page..?sg   {{3v;'(){{3x=)*+{{3x=)*+ sAAr,c3LK|]}dtj|ddtjt|jddtjt |jddt |jddt |jddt |jd dt |jd dtjt|jd xsd d yw)rrYrrRzrSzrZr\rcrbrdr#rN)rrrr2r&r)rs rr"zhtml_page..Gs   {{3v;'(){{3sww}56789[[SWW-@%A!BCDE!;<=>?!789:;!CDEFG!>?@AB{{3sww'<=DEFGH  sD"D$rc3BK|]}dtj|ddt|jddtjt |jddtjt |jdd yw)rrrrrrrN)rrr)r2rrs rr"zhtml_page..Ts    {{3v;'()*+,-{{3swwx01234{{3swwx01234   sBBr"c3NK|]}dtj|dywz
  • z
    • Nrrxs rr"zhtml_page..]s(,0$t{{4 !'#%rc3NK|]}dtj|dywrrrxs rr"zhtml_page..`s(',0$t{{4 !''rrc 3K|]c}dtjt|jddtjt |jddeyw)zrzr7zN)rrrr2r&)r r~s rr"zhtml_page..csb"   [[SWWV_!5678[[SWWX%6!789: "sA)A+rzzzz zF Save Selector Predecessor Fill Site Execution Contexta zzz@

    Save Selector Predecessor Fill Site Execution Context

    z

    rz

    z

    Route: rz -> rz; predecessor rz root rHz; current reader rz .

    rz

    Runtime coverage: rz branch-state polls, rrrrz samples; public hits rz ; route hits rz; fill matches rz; all-zero polls rz#; movement-or-target poll coverage rz polls (rz$ samples); target-observation polls rz (rz6 samples); target-observation fill/current/route hits rrrrz2; target-observation camera-only / actor-or-trail rrz"; target-observation status rz(; field-entry sequence snapshots rrz with route candidates rz; field-entry proof rrz; failed gates rrrz; coordinate source rrersrz#; start pointer/static/trail/image rrrrz(; reciprocal pointer/static/trail/image rrrrz.

    z6

    Execution proof: root-entry reaches fills rz; encoded entry rrtrz promoting rz; raw scalar rejection rz7 no-fixed/no-branch/branch-attached/scalar-only rrrrz ; root-tail rrz rows isolated rz; descriptor bridge rz!; descriptor bridge failed gates rz+; descriptor bridge missing evidence count rz"; descriptor bridge evidence refs rz"; descriptor edge rejection r:z2; descriptor / route execution edge counts rrz4; descriptor encoded target raw/root/fill/promoting rrrrz1; descriptor encoded target classification rz; dispatch table proof r%z; dispatch failed gates r&z"; dispatch missing evidence count r'z; dispatch evidence refs r(z; table-base rejection rz/; table-base arithmetic rows/candidates r1r2z; raw generic call graph rz depth rz functions/edges rrz route/fill/current immediates rrrz; depth sensitivity rrr z!; branch gate preservation rz+ same-slot/write-read/other/invalid rr rrrrrz invalid rz; runtime fill rz; proof gates r$z passed / r%z failed; evidence refs z; all blocked r)z; proof found z&; failed predecessor fill gates r*z ; missing evidence count z; context proven r+z; promotion status rXz

    Missing Evidence

    z
      z
    z

    Evidence

    zS z
    kindstatusdetail
    z

    Required Proof Gates

    zb z

    Source Evidence Refs

    zD
    gatepassedstatusdetail
    z

    Branch-State Polls

    z
    pathfields
    z

    Remaining Proofs

    zz)r$r2rrrr)r&r)r|rn poll_rowsproof_gate_rows proof_itemsmissing_evidence_itemsevidence_ref_rowss r html_pager>s(II ;;z*0b M ;;128b  Iii ;;34: O))4;KK@Q4R4XVXK"YY'4;KK@Q4R4XVX' " ;;~.4" " 99"P eJ  GL12348 [[!234GDKKPXHY?#+ v"@A#+ v$?@A%+ v$B/%+ v&04{{7Ck;l/m.n'+ v&o.'+ v* 78>BCCOTU++ v*V%++ v. 78>BCCDabc/+ v.d!/+ v2'++&ABHbMMl[\]3+ v2^_3+ v4'++&ABHbMMNopqr5+ v4s5+ v8{{3 ,G H NBSSTxyz{|9+ v8}9+ v<{{3 ,G H NBSSTfghij=+ v<k!=+ v@{{3 ,E F L"QQRbcdefA+ v@gjA+ vB{{3 ,E F L"QQR{|}~C+ vB@0C+ vF{{3 ,E F L"QQR{|}~G+ vF@CG+ vH{{3 ,E F L"QQRuvwxyI+ vHz}I+ vJ{{3 ,E F L"QQRtuvwxK+ vJy|K+ vL{{3 ,E F L"QQRpqrstM+ vLu5M+ vP{{3 ,E F L"QQRvwxyzQ+ vP{~Q+ vR{{3 ,E F L"QQRpqrstS+ vRuxS+ vT{{3 ,E F L"QQRopqrsU+ vTtwU+ vV{{3 ,E F L"QQRklmnoW+ vVpuW+ v\R \R \ (R \(1':e2f(g'hR \iR \![[W5U-V)WXYR \ZR \;;s7+T#UVWXR \YR \S1Z)[%\]^ R \_ R \ [[W[[1Z%[!\]^ R \ _> R \{{3w{{+PQRSTR \UVR \{{3w{{+NOPQRR \STR \{{3w{{+PQRSTR \UVR \{{3w{{+LMNOPR \QR \S1F)G%HIJR \KLR \{{3w';<=>?R \@R \"'*F"GHIR \J!R \"+73O+P!Q RR \S.R \"{{3w{{+JKLMN#R \"O8#R \&{{3s7;;/P#Q#WUWXYZ['R \&\/'R \*{{3w{{+MNOPQ+R \*R+R \.[[W[[1X%Y!Z[\/R \.]8/R \2{{3w{{+TUVWX3R \2YZ3R \4{{3w{{+XYZ[\5R \4]A5R \8{{3w{{+[\]^_9R \8`a9R \:{{3w{{+_`abc;R \:de;R \<{{3w{{+_`abc=R \<de=R \>{{3w{{+[\]^_?R \>`?R \B[[W[[1X%Y!Z[\CR \B]$CR \F{{3w{{+OPQRSGR \FT%GR \J{{3w{{+RSTUVKR \JW/KR \N{{3s7;;/X#Y#_]_`abcOR \Nd&OR \R{{3w{{+UVWXYSR \RZSR \V[[W[[1f%g!hijWR \Vk5WR \Z{{3w{{+ghijk[R \Zlm[R \\{{3w{{+mnopq]R \\r]R \`[[W[[1T%U!VWXaR \`YaR \d{{3w{{+HIJKLeR \dMeR \h{{3w{{+VWXYZiR \h[\iR \j{{3w{{+STUVWkR \jX-kR \n{{3w{{+VWXYZoR \n[\oR \p{{3w{{+UVWXYqR \pZ[qR \r{{3w{{+XYZ[\sR \r]!sR \v{{3w{{+_`abcwR \vdewR \x{{3w{{+nopqryR \xstyR \z{{3w{{+stuvw{R \zx{R \~[[W[[1_%`!abcR \~d2R \B{{3w{{+IJKLMCR \BNOCR \D{{3w{{+STUVWER \DXYER \F{{3w{{+UVWXYGR \FZ[GR \H{{3w{{+TUVWXIR \HYZIR \J{{3w{{+VWXYZKR \J[\KR \L{{3w{{+[\]^_MR \L`MR \N{{3w{{3]'^#_`aOR \NbOR \P&g.C&DEFQR \PGQR \R##?@ASR \RBLSR \T345UR \T6UR \V"[[W[[9K-L)MNOWR \VPWR \X%W[[1N%OPQYR \XRYR \Z%W[[%>?@[R \ZA[R \^[[W[[1O%P!QRS_R \^T&_R \`'*'++6G*H*NB&O%PaR \`QaR \b(0P(QRScR \bT&cR \d'+kk':K2L&M%NeR \dO[eR \h & '(. ]^k]ll|}) lm|l}~N O) NO`Naaqr' qr{q||L M%  U# Gdd drc|jdd|dz }|jtj|dddzd |9|jjdd|jt |d |S) NT)parentsexist_okz:save_selector_predecessor_fill_site_execution_context.jsonF) ensure_asciiindentrzrr)mkdir write_textrdumpsparentr)r|out_dirhtml_outjson_outs r write_outputsrs MM$M.UUH  7q9D@dT:Ig.A Orc tjt}|jdtt |jdtt dz |jdtt dz |jdtt d z |jd tt d z |jd tt d z |jdtt dz |jdt|j }tt|jt|jt|jt|jt|jt|j}t||j |j"}t%d|y)N) descriptionz --out-dir)typedefaultz--fill-execution-order-gapz7save_selector_predecessor_fill_execution_order_gap.jsonz--branch-state-execution-gapz9save_selector_predecessor_branch_state_execution_gap.jsonz--descriptor-bridge-gapz4save_selector_predecessor_descriptor_bridge_gap.jsonz--coordinate-source-scanz/runtime_predecessor_coordinate_source_scan.jsonz--field-entry-sequence-scanz2runtime_predecessor_field_entry_sequence_scan.jsonz--branch-gate-consistencyz*save_selector_branch_gate_consistency.jsonz --html-out)rz1wrote predecessor fill-site execution context -> )argparseArgumentParser__doc__ add_argumentrOUT parse_argsrorr0rKr1r2r3r4rrrprint)parserargsr|rs rmainrs  $ $ 9F  $< $ OO  & QQ  ! LL  " GG  % JJ  # BB   40    D$//0$112$,,-$--.$001$../ GWdllDMMBH ; * r__main__r)rrrz Any | Nonereturnr)r%zlist[Any] | Nonerr)r!rrr)r%z list[Any]rr+)r3dictr4z list[str]rr+)rJrrKrrr)rYrr] dict | Nonerr)rYrr]rrtrrr)r{rrr()rz list[dict]rr+)rrrr)rrrYrrz int | None)NNN)r0rrKrr1rr2rr3rr4rrr)r|rrr)r|rrrrz Path | Nonerr)rNone)&r __future__rrrrpathlibrtypingr__file__resolverROOTrr.rr&r)r/r6rMr^rurrrrrrrrrorrrr__name__rrrrsE:"  H~''* Ul_"x%ChZu &"8 A: G":  \=$V+/-1+/ V"V $V V( V + V ) V Vr$SlPf25d /d zFr
    pollsamplesselectorspublicroutefill matchall zerosplit