UHj; dZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZdZd Zd Zd Zd Zd ZdZdZddgdgdzzZgdZdgdddgdddgdddgdddgdddegd ddegd!dd"gd#dgZdd&Zd?d'Zd@d(ZdAd)ZdBd*Z dAd+Z!dAd,Z"dAd-Z#dAd.Z$dAd/Z%dCd0Z&dAd1Z'dAd2Z(dDd3Z)dEd4Z* dF dGd5Z+dHd6Z,dHd7Z-efdId8Z.dJd9Z/dKd:Z0e1d;k(re0yy)LzCConsolidate the predecessor branch-state execution/persistence gap.) annotationsN)Path)AnyoutzKruntime_selected_pointer_predecessor_direction_sweep_branch_state_poll.jsonzSruntime_selected_pointer_predecessor_left_overrun_activation_branch_state_poll.jsonzHruntime_selected_pointer_predecessor_nearest_exit_branch_state_poll.jsonzKruntime_selected_pointer_predecessor_reciprocal_exit_branch_state_poll.jsonzFruntime_selected_pointer_predecessor_coordinate_branch_state_poll.jsonzGruntime_selected_pointer_predecessor_trail_start_branch_state_poll.jsonzNruntime_selected_pointer_predecessor_trail_left_overrun_branch_state_poll.jsonzDruntime_selected_pointer_predecessor_highfreq_branch_state_poll.json0x010x00 ))fill-execution-order-proofzJpredecessor fill-site execution/order before the current 0x00542b0c reader)fill-site-execution-contextzSfill-site execution context tying public predecessor observation to the fill stream)normal-route-orderzEnormal route execution order showing selector 1:0 before selector 2:0)!vm-bytecode-reset-scope-ruled-outz6VM bytecode/reset path proof before the current reader)"runtime-branch-state-fill-observedzSroute-relevant runtime branch-state values matching the predecessor fill hypothesis)selector-merge-closedzJclosed selector merge between source 0:0, predecessor 1:0, and current 2:0)strict-source-hotspotz,strict map1_01a source coordinate or hotspotz;out/save_selector_predecessor_fill_execution_order_gap.json) proofFound!failedPredecessorFillOrderGateIdsmissingEvidencepredecessorFillProofGateRows)pathfieldsz>out/save_selector_predecessor_fill_site_execution_context.json)rfailedPredecessorFillGateIdsrfillSiteExecutionContextProvenz1out/save_selector_secondary_global_reset_gap.json)globalResetRuledOutopenRuntimeOrderOrBytecodeGapremainingProofsz.out/save_selector_predecessor_route_order.json)routeOrderProvenselectorMergeGapOpenrz out/save_selector_merge_gap.json)rsourceToCurrentBridgeHitCounttargetToCurrentBridgeHitCountzout/)observedSelectorsobservedPublicSaveSelectorsobservedWatchValuesanyReachedRouteSelectorContext)pollIntervalSecondsr!r"r#r$zout/map1_01a_hotspot_gap.json)strictHotspotFoundeventTransitionCount"manifestPointPromotableSourceCountc*tt|SN)strbool)values [/home/exedev/hwanse/tools/summarize_save_selector_predecessor_branch_state_execution_gap.py bool_textr/s tE{ cBdjd|xsgDxsdS)N,c32K|]}t|ywr*r+.0r-s r. zlist_text..s95CJ9-)join)valuess r. list_textr<s 889FLb9 9 @S@r0c g}t|xsijdxsijD];\}}djd|xsgD}|j |d|xsd=dj|xsdS)Nr#r2c3K|]:}|jd'|jdd|jd<yw)valueHexNxcountgetr6rows r.r7z&watch_value_summary..sF wwz".wwz"#1SWWW%5$6 7 sAA=r9z; )sortedrCitemsr:append)pollpartsnamerowsrendereds r.watch_value_summaryrOs Etzr../DEKRRTU2 d88 zr    vQx3/01 2 99U  "s"r0c|xsijdxsij|xsg}t|dk7ry|djdS)Nr#rrr?)rClen)rJrLrMs r.stable_watch_hexrRsM ZR  2 3 9r > >t D JD 4yA~ 7;;z ""r0cvg}tdD](}t|d|}|gcS|j|*|S)N secondaryBranchState)rangerRrI)rJr;indexr-s r.#stable_secondary_branch_state_hexesrXsK Fr )=eW'EF =I e  Mr0c r|xsijdxsg}t}d}d}d}d}|D]}|jdxsg}td|D} | r|dz }|td|Dz }d} |jdxsgD]9} | jd xsg} | sd } |dz }|j d | D;| s|dz }t |td |Dtd |Dtd|D||||t |t|xr|t |k(d S)NrMrwritesc3hK|]*}|jdxsijddu,yw)writewriteOkTNrBr6r\s r.r7z6selected_pointer_poll_input_quality..s/aQVEIIg.4"99)DLas02rc3nK|]-}|jdxsijddus*d/yw)r\r]TrNrBr^s r.r7z6selected_pointer_poll_input_quality..s3!mEIIg.s&_&zRXZ]G^v&_sc3DK|]}|jdsdyw)linuxPidrNrBrDs r.r7z6selected_pointer_poll_input_quality..s#M#9LA#M  c3DK|]}|jdsdyw) loadedBaseHexrNrBrDs r.r7z6selected_pointer_poll_input_quality..s*Y@X1*Yric3DK|]}|jdsdyw)focusedWindowsrNrBrDs r.r7z6selected_pointer_poll_input_quality..s-]C377K[C\a-]ri) sequenceCountsequenceWithPidCountsequenceWithLoadedBaseCountsequenceWithFocusedWindowCountsequenceWithKeyWritesCountkeyWriteOkCount!sequenceWithObservedKeyPressCountpressedEventCountobservedPressedKeyOffsetsinputObservedInAllSequences)rCsetanysumupdaterQrGr,) rJrMpressed_offsetspressed_event_countsequence_with_observed_presskey_write_ok_countsequence_with_key_writesrErZ row_write_ok row_has_presseventoffsetss r.#selected_pointer_poll_input_qualityrsj JB  F # )rDeO#$  ."(baZ`aa  $ ) $c!m!mmm WWX&," `Eii 34:G $ #q(#&&&_G&__  `  (A - (. T ##M#M M'**Y*Y'Y*--]4-]*]&>--I0%+O%<'+Dz'_6RVYZ^V_6_  r0c|sydjd|jdxsgDxsd}d|jdd|jdd |jd d|jdd |jd d|jdd |jdd|jdd|jdd|S)Nr9r2c32K|]}t|ywr*r4res r.r7z&input_quality_brief..s`vs6{`r8rvzpid=ro/rnz base=rpz keyWrites=rrz pressedSeq=rtz pressedEvents=ruz offsets=)r:rC)qualityrs r.input_quality_briefrs hh`=X1Y1_]_``gdgG w{{1231W[[5Q4RS 9:;1W[[=Y?q_A]@^_kk"EFGqUdIeHfg %89:)G9  Nr0c|sddiStd|jdxsgD}td|jdxsgD}t|}iddd|jdd|jdd |jd d |jd d |jd xsijd d|jdxsgd|jdxsgd|jdxsgd|jdd|jdd|jdd|d|dt|d|d|jdS)N availableFc3XK|]"}t|jdxsd$yw)routeSelectorHitCountrNrdrCrDs r.r7z4compact_predecessor_progress_poll..s$g#cgg&=>C!Dg(*rMc3XK|]"}t|jdxsd$yw)currentRootHitCountrNrrDs r.r7z4compact_predecessor_progress_poll..s$gC(= > C!DgrTrn sampleCountstartupWaitSecondspreludecaseAliasesEnabled caseAliasesenabledpublicSaveSelectorsr!r"anyReachedPublicSaveSelectoranyReachedCurrentRootr$rr watchValues inputQualitypromotionStatus)rzrCrrO)rJroute_hit_countcurrent_hit_count input_qualitys r.!compact_predecessor_progress_pollrs U##gPTPXPXY_P`PfdfggOgPTPXPXY_P`Pfdfgg7=M T /2  txx .  dhh';<   488I&   txx 6<"AA)L   txx(=>D"  TXX&9:@b  &txx0M'N'TRT  '1O(P  *A!B  )$((3S*T    0  *40   ! " 488$56# r0ct|}|jds|S|jd|d<|jdxsgDcgc]%}|jds|jd'c}|d<|Scc}w)NrstagedSaveKindrMrL sequenceNames)rrC)rJcompactrEs r.(compact_predecessor_direction_sweep_pollrsw/5G ;;{ # $)9 :G ;?88F;K;QreCUXU\U\]cUdeGO N fs A<!A<c@t|}|jds|St|}t|d|d<||d<t |dk(|d<t |xrt d|D|d<|tk(|d <t|d <|jd xsg|d <|S) NractiveSelectionFlagactiveSelectionFlagHexsecondaryBranchStateHexesrTsecondaryBranchStateStablec3&K|] }|dk( yw)r Nr5s r.r7z8compact_predecessor_branch_state_poll..sN!NsecondaryBranchStateAllZero matchesPredecessorFillHypothesispredecessorFillHypothesisHexestargetedExitCandidates)rrCrXrRrQr,allPREDECESSOR_FILL_STATE_HEXES)rJrbranch_state_hexess r.%compact_predecessor_branch_state_pollrs6tBO"&&v.4" GGO,2 GGFO WW_5; WW_577=1,/GG4R,S,YWY),1L)M)SQS*-''2N*O*USU! f-'0}}5J'K)27N)O09 >\0]  #&''*>"?&)gg.F&G&M2"ww'89?R!   (3F2I2IJZ2[G ./0C0G0GH^0_G ,-1D1H1HI`1aG -. /G ,0HH5Q,R,XVXG ()&*hh/E&F&L"G "# Nr0c|xsi}|jd|jd|jd|jddS)NrrrrrrB)rs r.compact_best_slotrBsHRI f%(}}-BC!*/F!G(1 6T(U  r0c t|}|jds|S|jdxsi}g}|jdxsgD]}|jid|jdd|jdxsid|jdd|jdd|jdxsgd |jd xsgd |jd xsgd |jd xsgd t|jd d |jd xsgd|jdxsgd|jdxsgd|jdxsgdt|jdd|jdd|jdxsgd|jdxsg|jd|d<|jdxs|jdxsi|d<|jd|d<|jd|d<|jd|d<|jd|d <|jd!|d"<|jd#|d$<|jd%|d&<|jd'|d(<||d)<|jd*xsi|d*<|S)+NrtrailStartCoordinateAnalysisrMrLrrractorStartSlotsactorTargetSlotsactorMovementSlotsactorPathSlots actorBestSlottrailStartSlotstrailTargetSlotstrailMovementSlotstrailPathSlots trailBestSlotrrrrtrailStartClassification startTiletrailStartTileanyActorStartTileObservedtrailAnyActorStartTileObservedanyActorTargetTileObservedtrailAnyActorTargetTileObservedanyTrailStartTileObservedtrailAnyTrailStartTileObservedanyTrailTargetTileObservedtrailAnyTrailTargetTileObservedanyActorMovementObservedtrailAnyActorMovementObservedanyTrailMovementObservedtrailAnyTrailMovementObservedrtrailAnyStartTileObservedrtrailAnyTargetTileObserved trailRowstrailStartBranchStateSplit)rrCrIr)rJranalysisrMrEs r.1compact_predecessor_trail_start_branch_state_pollrLs$3D9G ;;{ #xx67=2H D||F#)r   CGGFO SWW_5;  SWW_5  377=1  sww'89?R  (: ; Ar   !#''*>"?"E2  cgg&67=2  .sww/GH  sww'89?R  (: ; Ar  !#''*>"?"E2  cgg&67=2  .sww/GH  !#''*>"? %cgg.F&G&M2! " sww'89?R#   (+3,,7G*HG &' ( [ 9 ]TXXFV=W ][]G 08 =X0YG ,-19>Z1[G -.08 =X0YG ,-19>Z1[G -./7||$DH'',/5277=17R77=17R$'GG,B$C%(WW-D%E #(: ; Ar!$)"?"E2"%''*>"?"E2"%''*>"?%   *19 =M0NG ,-,4LL,F,L"G ()-5\\--H-NBG )*9AF_9`G 56:B,,Ga:bG 678@ E]8^G 458@ E]8^G 45&*G "#26((;]2^2dbdG ./ N5s*Icp|sddiS|jdxsi}|jdxsi}|jdxsi}iddd|jdd|jdd |jd d |jd xsgd |jd d |jd d |jd d|jdd|jdd|jdd|jdd|jdxsid|jdxs|jdd|jdd|jdd|jdid|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd |jd xsid!|jd!xsid"|jd#d$|jd%d&|jd&d'|jd'd(|jd(d)|jd)d*|jd*id+|jd+d,|jd,d-|jd-d.|jd.d/|jd/d0|jd0d1|jd1d2|jd2d3|jd3xsid4|jd4xsid5|jd5xsgd6|jd7d8|jd9d:|jd:d;|jd;xsgd<|jd<xsgd=|jd=id>|jd>d?|jd?d@|jd@dA|jdAdB|jdBdC|jdCdD|jdDdE|jdEdF|jdFdG|jdGdH|jdHdI|jdIxsgdJ|jdJxsgdK|jdKdL|jdLdM|jdMxsgdN|jdNxsgidO|jdOdP|jdPdQ|jdQdR|jdRdS|jdSxsgdT|jdTdU|jdUdV|jdVdW|jdWdX|jdXdY|jdYdZ|jdZd[|jd[d\|jd\d]|jd]d^|jd^d_|jd_id`|jd`da|jdadb|jdbdc|jdcdd|jddxsgde|jdedf|jdfdg|jdgdh|jdhxsgdi|jdidj|jdjxsgdk|jdkxsgdl|jdldm|jdmdn|jdndo|jdoS)pNrFencodedFillEntryCandidateScanrootTailIsolationScanimmediatePredecessorRowTpredecessorSelectorcurrentSelectorcurrentReaderHex fillSiteslocalFillTraceStartHexlocalFillTraceStopHexlocalFillTraceStopReasonlocalFillTraceStopHandlerHex"localFillTraceContainsAllFillSites"localFillTraceReachesCurrentReader)rootEntryFixedTraversalFillSitesReachabledirectFillSiteRefCountsencodedFillEntryClassificationr'encodedFillEntryRawScalarCandidateCount/encodedFillEntryRootTailRawScalarCandidateCount/encodedFillEntryBranchAttachedEncodedFieldCount0encodedFillEntryModeledControlFlowCandidateCount'encodedFillEntryPromotingCandidateCount'encodedRawScalarRejectionClassificationencodedRawScalarAllScalarOnly#encodedRawScalarNoFixedAdvanceCount!encodedRawScalarNoBranchJumpCount#encodedRawScalarBranchAttachedCountencodedRawScalarScalarOnlyCountencodedRawScalarKindCounts$encodedRawScalarHandlerSectionCountsrootTailDistanceHex distanceHexrootTailDwordCount dwordCountrootTailDescriptorIsolated!rootTailBranchToFillFragmentCount#rootTailFixedFallthroughToFillCount#rootTailBranchClosureClassificationrootTailBranchClosureNodeCount$rootTailBranchClosureBranchSeedCountrootTailBranchClosureEdgeCount+rootTailBranchClosureTailNodeReachFillCount4rootTailBranchClosureTailNodeReachCurrentReaderCount-rootTailBranchClosureBranchSeedReachFillCount6rootTailBranchClosureBranchSeedReachCurrentReaderCountrootTailBranchClosureProofFound*rootTailBranchClosureOutsideSuccessorCount0rootTailBranchClosureOutsideSuccessorClassCounts2rootTailBranchClosureOutsideSuccessorSectionCounts/rootTailBranchClosureOutsideSuccessorSampleRows*rootTailImmediatePredecessorHandlerSectionhandlerSection&rootTailImmediatePredecessorHandlerHex handlerVaHex"predecessorDispatchTableProofFound%predecessorDispatchTableFailedGateIds'predecessorDispatchTableMissingEvidence(predecessorDispatchTableEvidenceRefCount)predecessorDispatchSliceRuntimeProofFound4predecessorDescriptorDependsOnSaveSelectorSliceModel predecessorDispatchSliceRowCount+predecessorDispatchSliceDataDescriptorCount&predecessorDispatchRawGeneralCodeCount2predecessorDispatchRawGeneralDiffersFromSliceCount1predecessorDispatchSliceGenericByteReachableCount4predecessorDispatchSliceRequiresTableBaseSwitchCount1predecessorDispatchDynamicIndexedDispatchRowCount5predecessorDispatchDynamicDwordScaledDispatchRowCount1predecessorDispatchDynamicScopeTableCallbackCount1predecessorDispatchDynamicScopeTableCallbackSites0predecessorDispatchDynamicScopeTableCallbackRows=predecessorDispatchDynamicSaveSelectorTableImmediateNearCount=predecessorDispatchDynamicSaveSelectorTableBaseCandidateCount=predecessorDispatchDynamicSaveSelectorTableBaseCandidateSitesBIY TY sww'<=Y  377#45Y  CGG$67 Y  SWW[)/R Y  !#''*B"C Y  )@!AY  #CGG,F$GY  '0N(OY  -cgg6Z.[Y  -cgg6Z.[Y  4SWW 76 Y  "377+D#E#KY  )#''2R*S+.   , -#Y $ 2377 54 %Y * :377 =< +Y 0 :377 =< 1Y 6 ;CGG >= 7Y < 2377 54 =Y B 2377 54 CY H (1P)QIY J .sww7\/]KY L ,SWW5X-YMY N .sww7\/]OY P *3773T+UQY R %cgg.J&K&QrSY T / 21 1 YY Z y}}];[Y \ immL9]Y ^ %cgg.J&K_Y ` ,SWW5X-YaY b .sww7\/]cY d .sww7\/]eY f )#''2R*SgY h / 21 iY n )#''2R*SoY p 6sww 98 qY v ? BA wY | 8 ;: }Y B A#'' DC CY H *3773T+UIY J 5cgg 87 KY P ;CGG >= = WY X =cgg @? ? _Y ` :377 =< < gY h 5immDT6UiY j 1)--2OkY l -cgg6Z.[mY n 0 32 2 uY v 2377 54 4 }Y ~ 3CGG 65 Y D 4SWW 76 EY J ? BA KY P +CGG4V,WQY R 6sww 98 SY X 1#'' 43 YY ^ =cgg @? _Y d eY j ? BA kY p qY v @ CB wY | }Y B > GY H ;CGG >= = MY N H KJ OY T H KJ UY Z H KJ J _Y ` G JI I eY f TUXU\U\ WV gY l Ecgg HG mY r KCGG NM sY x KCGG NM yY ~ J377 ML L EY F >sww A@ GY L ,SWW5X-YMY N (1P)QOY P &sww/L'MQY R 4SWW 76 SY X 1#'' 43 YY ^ 4SWW 76 _Y d 3CGG 65 eY j 6sww 98 kY p >sww A@ qY v :377 =< wY | 9#'' <; }Y B 8 ;: CY H =cgg @? IY N LSWW ON OY T QRURYRY TS UY Z '0N(O(USU[Y \ (1P)Q]Y ^ ,SWW5X-Y_Y ` /8^0_aY b -cgg6Z.[.a_acY d .sww7\/]eY f ,SWW5X-Y-_]_gY h 377#45;iY j CGG$67kY l (> ?mY n cggl+oY p 377#45qY Yr0c|sddiS|jdxsi}|jdxsi}iddd|jdd|jdd|jdd |jd xsgd |jd d |jd d |jd d |jd d|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdid|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd |jd d!|jd!d"|jd"d#|jd#d$|jd$d%|jd%xsid&|jd&xsiid'|jd'd(|jd(d)|jd)d*|jd*d+|jd+d,|jd,d-|jd-d.|jd.d/|jd/d0|jd0d1|jd1d2|jd2d3|jd3d4|jd4xsid5|jd5xsid6|jd6xsgd7|jd7id8|jd8d9|jd9d:|jd:d;|jd;d<|jd<d=|jd=d>|jd>d?|jd?xsgd@|jd@xsgdA|jdAdB|jdBdC|jdCdD|jdDxsgdE|jdEdF|jdFdG|jdGdH|jdHidI|jdIdJ|jdJdK|jdKdL|jdLdM|jdMdN|jdNdO|jdOdP|jdPdQ|jdQxsgdR|jdRxsgdS|jdSdT|jdTdU|jdUd|jdV|jdW|jdX|jdY|jdZxsi|jd[xsi|jd\|jd]|jd^|jd_xsg|jd`xsg|jdaxsg|jdb|jdcdddide|jdedc|jdcdf|jdfdg|jdgdh|jdhxsgdi|jdidj|jdjdk|jdkdl|jdldm|jdmdn|jdndo|jdodp|jdpdq|jdqdr|jdrds|jdsdt|jdt|jdu|jdvdwdx|jdxdy|jdy|jdz|jd{xsg|jd|xsi|jd}xsg|jd~|jd|jd\|jdxsg|jd`xsg|jdaxsg|jdb|jdcd S)NrFfieldEntrySequenceContextcoordinateSourceContextTrrrrbranchStatePollCountbranchStatePollSequenceCountbranchStatePollSampleCount(branchStatePollPublicPredecessorHitCount"branchStatePollCurrentRootHitCount$branchStatePollRouteSelectorHitCountbranchStatePollAllZeroCountbranchStatePollFillMatchCount&branchStatePollTargetObservationStatus%branchStatePollTargetObservationCount+branchStatePollTargetObservationSampleCount.branchStatePollTargetObservationFillMatchCount3branchStatePollTargetObservationCurrentRootHitCount5branchStatePollTargetObservationRouteSelectorHitCount$branchStatePollCameraOnlyTargetCount&branchStatePollActorOrTrailTargetCountr#r%r&r'r*r+r,r-r.r/r0r1r2r7r8r9r:r;r<r=r>r?r@rArBrCrDrErFdescriptorBridgeProofFound%descriptorEdgeRejectionClassification#descriptorEdgeAllTargetSectionsData'descriptorEdgeDescriptorTargetEdgeCount+descriptorEdgeRouteExecutionTargetEdgeCount/descriptorEdgeRootRouteExecutionTargetEdgeCount/descriptorEdgeFillRouteExecutionTargetEdgeCountr]rZr^rarbrcrdrerfrgrhrirjruntimeFillObservedbranchGateSameTableAndOffset&branchGateSameSelectionBufferOffsetHex(branchGatePostWriterSameOffsetWriteCount'branchGatePostWriterSameOffsetReadCount)branchGatePostWriterOtherOffsetWriteCount.branchGatePostWriterOtherOffsetWriteOffsetsHex(branchGateInvalidSecondaryFillOffsetsHex,branchGateKnownOpcodeStatePreservationStatus%branchGateSlotPreservedByKnownOpcodes/branchGateBranchStateValueStillRuntimeDependentrn snapshotCountfieldEntryCandidateCountsnapshotRouteCandidateCountfinalSelectorCountssnapshotSelectorCountsrpredecessorFieldEntryProofFoundfieldEntryRouteCandidateFound"failedPredecessorFieldEntryGateIdsr evidenceRefsevidenceRefCountr)rnrrrrrrrrrrrrrr finalSelector'coordinateSourceRejectionClassificationpairHitSummaryRows'publicSaveStartPointerTableTileHitCount!publicSaveStartStaticBaseHitCount publicSaveStartTrailRingHitCountpublicSaveStartImageHitCount'publicSaveStartKnownGlobalImageHitCount%observedTrailPointerTableTileHitCountobservedTrailStaticBaseHitCountobservedTrailTrailRingHitCountobservedTrailImageHitCount%observedTrailKnownGlobalImageHitCount"reciprocalPointerTableTileHitCountreciprocalStaticBaseHitCountreciprocalTrailRingHitCountreciprocalImageHitCount)rrrequiredProofGateCountrequiredProofGatePassCountrequiredProofGateFailCountrequiredProofGateStatusOrderrequiredProofGateStatusesrequiredProofGateFailIdsrequiredProofGateAllBlockedrr) rrrrrrrrrrrrrB)context field_entrycoordinate_sources r./compact_predecessor_fill_site_execution_contextr~s U##++9:@bK $=>D"N TN w{{+@AN  7;;'89N  GKK(:; N  W[[-3 N   ,B C N  ' 4R(SN  %gkk2N&ON  3GKK 65 N  -gkk:^._N  / 21 N  &w{{3P'Q!N " (5T)U#N $ 1'++ 43 %N * 0 32 +N 0 6w{{ 98 1N 6 9'++ <; 7N < >w{{ A@ =N B @ CB CN H / 21 IN N 1'++ 43 ON T 4W[[ 76 UN Z )'++6V*W[N \ 27;; 54 ]N b :7;; =< cN h 27;; 54 iN n 27;; 54 oN t (5T)UuN v .w{{;`/awN x ,W[[9\-]yN z .w{{;`/a{N | *7;;7X+Y}N ~ %gkk2N&O&USUN @ / 21 1 EN F %gkk2N&OGN H ,W[[9\-]IN J .w{{;`/aKN L .w{{ 10 MN R )'++6V*WSN T / 21 UN Z )'++6V*W[N \ 6w{{ 98 ]N b ? BA cN h 8 ;: iN n A'++ DC oN t *7;;7X+YuN v 5gkk 87 wN | ;GKK >= = CN D =gkk @? ? KN L :7;; =< < SN T %gkk2N&OUN V 0 32 WN \ .w{{;`/a]N ^ 27;; 54 _N d 6w{{ 98 eN j :7;; =< kN p :7;; =< qN v H KJ wN | > AN B H KJ J GN H Egkk HG IN N KGKK NM ON T KGKK NM UN Z J7;; ML L aN b >w{{ A@ cN h ,W[[9\-]iN j (5T)UkN l &w{{3P'QmN n 4W[[ 76 oN t 1'++ 43 uN z w{{+@A{N | ' 4R(S}N ~ 1'++ 43 N D 3GKK 65 EN J 27;; 54 KN P 4W[[ 76 QN V 9'++ <; ; ]N ^ 3GKK 65 5 eN f 7 :9 gN l 0 32 mN r :7;; =< sN x $(___=(___=(38R(S+6??;X+Y#.??3H#I#OR&1oo6N&O&USU%//,7/:10.9__=\-]2=//433*/@AGR'OON;Ar +0B C*/@A'& yN b ".$ /334DE.$ 0445FG.$  .22?C.$  67H7L7L98 .$  !"3"7"78L"M"SQS.$  67H7L7L98.$  01B1F1F32.$  /0A0E0E21.$ " +,=,A,A.-#.$ ( 67H7L7L98).$ . 45F5J5J76/.$ 4 ./@/D/D105.$ : -.?.C.C0/;.$ @ )*;*?*?@\*]A.$ B 45F5J5J76C.$ H 12C2G2G43I.$ N +,=,A,A.-O.$ T,=+@+@-,(9'<'<=V'W[.$ cN @ !'++.F"GAN B %gkk2N&OCN D'.kk2N&O(/ 4R(S(YWY%,[[1L%M%SQS$+KK0J$K$Qr'.{{3P'Q*1++6V*Wkk,/(/ 4R(S(YWY";;'89?R N39r#KK(:;";;'89[N Nr0c.0at|}t| }t| }t| }t| }t| }t|}t |}t |}t |}t|}t|}|jdxsi} |jdxsi}!|jdxsi}"|jdduxr|jddu}#|jddk(xr)|jd dk(xr|jd d u}$|jd duxr?|jd dk(xr)|jddk(xr|jddu}%|jddu}&|jddu}'|jdduxs(|jdduxs|jddu}(|jddu})|jddu}*|jdduxs|' xs|(xs|jdxr|jdduxsh|jdxr|jdduxs?|jdxr|jdduxs|jdxr|jdduxs|jdxr|jdduxs|jdxr|jdduxs|jdxr|jdduxsv|jdxr|jdduxsN|jdxr|jdduxs&|jdxr|jddu}+|jdduxs|jdduxs||jdduxsg|jdduxsR|jdduxs=|jdduxs(|jdduxs|jddu},|#xr|$xr |%xr|&xr|*xr|'xr|( xr|jd xs|jdduxr|jd xs|jdduxr|jd xr|jd xrv|jd xrb|jd xrN|jd xr:|jd xr&|jd xr|jd xs|,}-|jd xs|jddu|jd xs|jddu|'|*|,|( |)d}.tD/0cgc]\}/}0|.j|/dur|/}1}/}0tD/2cgc]\}/}2|.j|/dur|2}3}/}2|-xr|)}4|jdxr;|jdduxr&|jd|jdxsgv}5|jd}6|5r|6d ur|jddurdnd }7id!|7d"t|5d#|jd$dud%|jd&xsgd'|jd(xsgd)|6d*|jdd+|jd+d,|$d-|jd dk(d.|jddud/|%d|&d|'d|(d0|jdd|jdd1d2i}8|jdr(|jddur|jddurd3nd |jddu|jd$du|jd&xsg|jd(xsg|jd|jd|jd+d4d5 }9|jdr(|jddur|jddurd6nd |jddu|jd$du|jd&xsg|jd(xsg|jd|jd|jd+|jd7xsgd8d9 }:|jdr(|jddur|jddurd:nd |jddu|jd$du|jd&xsg|jd(xsg|jd|jd|jd+|jd7xsgd8d9 };|jdr(|jddur|jd;d urd|jd;|jd?xsgd@dA }<|jdBxsd |jddu|jd$du|jd&xsg|jd(xsg|jd|jd|jd+|jdC|jdD|jdE|jdF|jdGxsgdHdI}=|jdJxsd |jddu|jd$du|jd&xsg|jd(xsg|jd|jd|jd+|jdK|jdL|jdM|jdN|jdOxsgdPdQ}>|jdr(|jddur|jddurdRnd |jddu|jd$du|jd&xsg|jd(xsg|jd|jd|jd+|jdSdTdU }?dV|#rdWndXdY|jdZd[t|jd\d]|jdd^d_|jd`d ur|jdadurdbndcddjgde|jd`df|jdgdht|jdidjt|jdkxsgdl|jdmdn|jdado|jdpdq|jdrds|jdtdu|jdvdw|jdxdy|jdzd{|jd|d}|jd~d}|jdd|jdd|jdd|jdd^d|jdxsdd|jdd|jdd}|jdd|jdd}|jdd}|jdd|jdd}|jdd|jdd}|jdd|jdd}|jdd}|jdd|jdd^d|$rdndd|jdd|jdd|jd d|jd d^d|%rdndd|jdd|jd d|jdd|jdd^d|&rdndd|jdd|jdd|"jdd|"jdd^d|+rdndd|'d|jddt|jdd|jdd|* d^d|jdr(|jddur|jd$d urdnd|jdsdŐnd|jdǫd|jdɫd|jd˫d|jdͫdt|jdϫdt|jdѫdt|jddt|jdԫd|jdd|jd׫d|jd$d|jdګd|jdܫd^d|jdr(|jddur|jd$d urdnd|jdsdŐn!d|jdd|jdǫd|jdɫd|jd˫d|jdͫdt|jdϫdt|jdѫdt|jddt|jdԫd|jdd|jd׫d|jd$d|jdګd|jdܫd^d|jdr(|jddur|jd$d urdnd|jdsdŐnd|jd;d|jd?d^d|jdr|jdBxsdnd|jdsdŐnddjgdߑ|jdd|jdǫdȑ|jdɫdʑ|jd˫d̑|jdͫdБt|jdѫdґt|jddӑt|jdԫd|jd+dt|jd&d|jdd|jddؑ|jd$d|jdBd|jdCd|jdDd|jdEd|jdFd|jdGd^d|jdr|jdJxsdnd|jdsdŐnddjgdߑ|jdd|jdǫdȑ|jdɫdʑ|jd˫d̑|jdͫdБt|jdѫdґt|jddӑt|jdԫd|jd+dt|jd&d|jdd|jddؑ|jd$d|jdJd|jdKd|jdLd|jdMd|jdNd|jdOd^d|jdr)|jddur|jd$d urdnd|jdsdŐnddjgdߑ|jdd|jdSd|jdǫdȑ|jdɫdʑ|jd˫d̑|jdͫdБt|jdѫdґt|jddӑt|jdԫd|jd+dt|jd&dt|jd(d|jdd|jddؑ|jd$dۑ|jdܫd^d|jdr'|jdr|jddurdnd|jdr|jdsdŐn:ddjgd|jdd |jd d |jd d |jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd}|jdd}|jdd}|jdd |jd!d}|jd"d#|jd$d%|jd&d't|jd(d)|jd*d}|jd+d}|jd,dΑ|jd-d֑|jd.dؑ|jd/d0|jd1d|jd2d3|jd4d5|jd6d7|jd8d}|jd9d:|jd;d<|jdd=|jdd>|jd?xsijd@dA|jd?xsijdBdC|jdDdE|jdFd}|jdGdH|jdId}|jdJdK|jdLdMt|jdNdOt|jdPdQ|jdRxsijdSdT|jdRxsijdUd}|jdRxsijdVd}|jdRxsijdWd}|jdRxsijdXdY|jdRxsijdZd}|jdRxsijd[d}|jdRxsijd\d}|jdRxsijd]d^|jdRxsijd_d}|jdRxsijd`d}|jdRxsijdad}|jdRxsijdbdc|jdd^dd|7dk(rdend df|8d!dg|8d"d|8d+dt|8d%dht|8d'd|8d)d|8d*di|8d,dj|8d-dk|8d.dl|8d/dm|8d1d^dn|(rdndodp|jdqdr|jdsd}|jdtdu|jdvd}|jdw d^dx|)rdyndzd{|)d||jd}d~|jdd^g}@|3}Ad}Biddddd|jdd|jdd|jdd|jdd|jdxs| jdd|jdZd\|jd\xsgd|#d|jdd|jdd|jd d|jd d |jd d|jdd|jdid|!jdd |jd d|&d|+d|*dg|jdgdi|jdixsgdk|jdkxsgdm|jdmd`|jd`da|jdadp|jdpdr|jdrdt|jdtdv|jdvdx|jdxdz|jdzid||jd|d|jdd~|jd~d|jdxsgd|jdxsgd|jdd|jdd|jdxsgd|jdxsgd|jdd|jdd|jdd|jdd|jdxsgd;|jd;d|jdd|jdid|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|d|d|d|id|d|d|d|d|d|d|d|d|,d|jdd|8d|9d|:d|;d|<d|=d|>id|?d|jdd|jdd|'d|jdd|jdxsgd|jdd|(d0|jdd|jddF|jdFdG|jdGdI|jdIdJ|jdJdL|jdLdN|jdNxsgdP|jdPxsgidD|jdDd|jdd|jdd|)d|-d|1d|3d|.d|3d|-d|4d|4sdnddt dtt d@dAdBScc}0}/wcc}2}/w(NrUhelper routeScopeallStartsPassReaderT%predecessorFillWouldPassCurrentReadertailOpcode10RowCountrtailValidSecondaryFillCountlocalTailResetFoundFclosedStaticResetScope directGlobalSecondaryWriterCount!unresolvedGlobalSecondaryRefCount%helperOnlyCalledInsideOpcode10HandlerselectorOrderResetGapClosedrrr&rrrrrr)r r r rrrrrrr"rz,public-predecessor-reached-fill-not-observedznot-classifiedrpublicPredecessorReachedpublicRouteReachedr$observedStateHexesrexpectedFillHexesrobservedMatchesFillobservedAllZerorstaticNoLocalTailReset#staticNoDirectGlobalSecondaryWriterstaticHelperOpcode10OnlystaticResetScopeClosedfillExecutionOrderProofFoundnextProofFocusz/fill-site execution/order before current readerz)left-overrun-activation-fill-not-observedzJdecoded fill-fragment entry or a route-relevant selector 2:0 runtime trace) rrrrrrrrrznearest-exit-fill-not-observedrzKcaptured selector 2:0 save, watchpoint trace, or decoded non-linear VM path) rrrrrrrrrrz"reciprocal-exits-fill-not-observedrzcoordinate-target-not-observedrrrzTfind the runtime gameplay object/position source or capture a real selector 2:0 save) rrrrrrrrrrrrrrrrrrzZselector 2:0/current-root observation or branch-state fill on the moving trail/camera path)rrrrrrrrrrrrrrrr r r rrzOwatch the edge-overrun transition producer or capture selector 2:0/current-root)rrrrrrrrrractorTargetObservedtrailTargetObservedrrz high-frequency-fill-not-observedr%z8fill-site execution/order before selected-pointer reader) rrrrrrrrr%rzpredecessor-fill-effectzwould-pass-current-readerz not-provenzfill= fillValueHexz sites=predecessorFillVasz; allStartsPassReader=)kindstatusdetailz%predecessor-dispatch-slice-dependencyrOrPzslice-runtime-proof-missingzreview-requiredzsliceRuntimeProof=z; dispatchTableProof=rKz; dispatchFailedGates=rLz; dispatchMissingEvidenceCount=rMz; dispatchEvidenceRefs=rNz; descriptorDependsOnSlice=z; rows=rQz ; sliceData=rRz ; rawCode=rSz ; rawDiffers=rTz; byteReachable=rUz; requiresTableBase=rVz; dynamicDispatches=rWrrYr\z; dynamicTableBaseCandidate=r`z; tableBaseArithmeticRows=raz ; tableBaseArithmeticCandidates=rbz!predecessor-raw-generic-callgraphrfz not-availablezdepth=rhz; functions/edges=rirjz; route/fill/currentImm=rkrlrmz; selected/branchImm=rnroz; route/fillTransfers=rprqz; depthSensitivity=rrrsrtz; proof=rgzpredecessor-local-tailzno-local-resetztail-reset-openz tailRange= tailRangeHexz; tailOpcode10=z; tailValidSecondary=z; localTailResetFound=zstatic-secondary-reset-scopezstatic-scope-closedzstatic-scope-openz secondary=secondaryRangeHexz; directGlobalWriters=z; unresolvedRefs=z; helperOpcode10Only=zselector-order-reset-windowzclosed-in-selector-orderopenzselectorAdjacent=selectorAdjacentz; intermediateSelectors=intermediateSelectorCountz; currentBeforeFrontierFills='currentRootValidBeforeFrontierFillCountz; predecessorTailFills=&predecessorTailValidSecondaryFillCountzruntime-execution-orderprovenzrouteOrderProven=z; sourcePrevious=sourceRoutePreviousSelectorz; sourceOverlap=#sourceRoutePreviousConfirmedOverlapz; predecessorTargetOnly=predecessorIsTargetSideOnlyz; globalResetRuledOut=z!bounded-predecessor-progress-pollz-public-predecessor-observed-route-not-reachedznot runzseq=rn samples=rz prelude=rz caseAliases=r public=r observed=r!z observedPublic= input=r publicHit= currentRoot=r route2:0=z routeHits=rz watch=rz(bounded-predecessor-direction-sweep-pollz4public-predecessor-direction-sweep-route-not-reachedzkind=rz; seq=z%bounded-predecessor-branch-state-pollz:public-predecessor-branch-state-all-zero-route-not-reachedz activeFlag=z secondaryState=z expectedFill= matchesFill= allZero=z=bounded-predecessor-left-overrun-activation-branch-state-pollzEleft-overrun-activation-public-predecessor-all-zero-route-not-reachedz2bounded-predecessor-nearest-exit-branch-state-pollz:nearest-exit-public-predecessor-all-zero-route-not-reachedz targets=z5bounded-predecessor-reciprocal-exit-branch-state-pollz>reciprocal-exits-public-predecessor-all-zero-route-not-reachedz0bounded-predecessor-coordinate-branch-state-poll coordinateClass= startObserved= targetObserved= rows=z1bounded-predecessor-trail-start-branch-state-poll trailClass=z trailStartObserved=z trailTargetObserved= actorMove= trailMove=z8bounded-predecessor-trail-left-overrun-branch-state-poll overrunClass= cameraTarget= cameraOutside= actorTarget= trailTarget=z,high-frequency-predecessor-branch-state-pollzr reason=rz handler=r z; rootEntryReach=r#z ; encoded=r% raw=r& rootTailRaw=r' promoting=r* rawScalarReject=r+z5 rawScalarNoFixed/noBranch/branchAttached/scalarOnly=r-r.r/r0z ; proofGates=rwruz pass=rvz allBlocked=ryz blockedIds=rxz; polls=rrrrrr fillMatches=rr targetStatus=r descriptorEdgeReject=r descriptorRouteEdges=rr tableBaseReject=re tableBaseArithmeticRows= tableBaseArithmeticCandidates= fieldEntryCandidates=rr snapshotRouteCandidates=rz branchGatePreserve=rz branchGateSameOffset=rrz branchGateSameOffsetWriteRead=rrz branchGateOtherWrites=r@rz branchGateInvalidFillOffsets=r coordinateReject=rr$ coordinateStartPtrStaticTrailImage=rrrr$ coordinateTrailPtrStaticTrailImage=rrrr) coordinateReciprocalPtrStaticTrailImage=rrrr proof=zruntime-branch-state-splitz*fill-not-observed-after-public-predecessorzclassification= publicPredecessorReached= expected=z staticNoLocalTailReset=z% staticNoDirectGlobalSecondaryWriter=z staticHelperOpcode10Only=z staticResetScopeClosed= next=zselector-mergeclosedzsamePreviousContainsRoutePair=samePreviousContainsRoutePairz; sourceCurrentBridge=rcurrentToSourceBridgeHitCountz; targetCurrentBridge=r currentToTargetBridgeHitCountzstrict-hotspotfoundmissingzstrictHotspotFound=z; eventTransitions=r'z; manifestPromotableSource=r(aThe predecessor branch-state candidate is now narrow but still non-promoting: 1:0's fill would make the current reader pass, the predecessor root does not locally reset it, and the known static secondary reset scope is closed. A public predecessor branch-state poll observed selector 1:0 but kept secondaryBranchState[0..11] all zero, and a targeted nearest-exit poll aimed at the closest map2_02d -> map1_01a geometry hint kept the same branch-state bytes all zero. The longer reciprocal-exit paths to the remaining map2_02d target-side hints also kept the same branch-state bytes all zero. The coordinate-qualified repeat did not observe any actor slot reaching the planned reciprocal target tiles, so the geometry-path negative evidence is now explicitly qualified by a runtime-position gap. A follow-up trail-start poll used the observed party trail (15,26) as the start source and saw trail/camera movement but no target actor/trail tile, no branch-state fill, and no selector 2:0/current-root hit; a left-edge overrun variant reached camera (1,14) without producing selector 2:0 or nonzero branch state. A 5ms high-frequency predecessor poll also reached public selector 1:0 while keeping secondaryBranchState[0..11] all zero. The remaining gap is execution, not static value math: selector-table adjacency still does not prove that the normal route executes 1:0 then 2:0, the selector merge shape remains open, and no strict map1_01a source hotspot has been found.sourcemap1_01atargetmap2_02dpredecessorRootHexrcurrentRootHexsecondaryBranchStateRangeHexrangeHexpredecessorFillValueHexpredecessorTailRangeHexpredecessorTailOpcode10RowCountpredecessorLocalTailResetFoundhelperDirectCallCountdirectCallCountrXrZr[r]r^r_rcrd predecessorFillExecutionOrderGap#predecessorFillSiteExecutionContextpredecessorProgressPollpredecessorDirectionSweepPollpredecessorBranchStatePoll/predecessorLeftOverrunActivationBranchStatePoll%predecessorNearestExitBranchStatePoll(predecessorReciprocalExitBranchStatePoll$predecessorCoordinateBranchStatePoll$predecessorTrailStartBranchStatePoll*predecessorTrailLeftOverrunBranchStatePoll'predecessorHighFrequencyBranchStatePollruntimePredecessorFillObserved#publicPredecessorBranchStateAllZeroruntimeBranchStateSplit,leftOverrunActivationRuntimeBranchStateSplit"nearestExitRuntimeBranchStateSplit%reciprocalExitRuntimeBranchStateSplit!coordinateRuntimeBranchStateSplit!trailStartRuntimeBranchStateSplit'trailLeftOverrunRuntimeBranchStateSplit$highFrequencyRuntimeBranchStateSplitrr!failedBranchStateExecutionGateIdsrbranchStateExecutionGatePass#branchStateExecutionMissingEvidencebranchStateExecutionProofFoundpersistencePromotablerzready-for-reviewrrevidencer conclusion)rrrrrrrr~rrC$BRANCH_STATE_EXECUTION_GATE_EVIDENCEr,r<r:rQr$BRANCH_STATE_EXECUTION_EVIDENCE_REFS)Cpredecessor_persistence_gappredecessor_state_effectpredecessor_tail_resetsecondary_reset_scopesecondary_global_reset_gappredecessor_route_order merge_gap hotspot_gappredecessor_progress_poll predecessor_direction_sweep_pollpredecessor_branch_state_poll5predecessor_left_overrun_activation_branch_state_poll*predecessor_nearest_exit_branch_state_poll-predecessor_reciprocal_exit_branch_state_poll(predecessor_coordinate_branch_state_poll)predecessor_trail_start_branch_state_poll0predecessor_trail_left_overrun_branch_state_poll&predecessor_highfreq_branch_state_poll$predecessor_fill_execution_order_gap'predecessor_fill_site_execution_context progress_polldirection_sweep_pollbranch_state_poll)left_overrun_activation_branch_state_pollnearest_exit_branch_state_poll!reciprocal_exit_branch_state_pollcoordinate_branch_state_polltrail_start_branch_state_poll$trail_left_overrun_branch_state_pollhighfreq_branch_state_pollfill_execution_order_gapfill_site_execution_context secondaryr route_scopepredecessor_fill_would_passpredecessor_local_tail_closedstatic_reset_scope_closedselector_order_reset_closedroute_order_provenselector_merge_gap_openstrict_hotspot_foundglobal_reset_ruled_outruntime_order_gap_openruntime_fill_observed"branch_state_execution_proof_found branch_state_execution_gate_passgate_id_missing_evidence&failed_branch_state_execution_gate_idsmissing_evidence'branch_state_execution_missing_evidencepersistence_promotablepublic_predecessor_reachedobserved_fill_matchesruntime_split_classificationruntime_branch_state_split%left_overrun_activation_runtime_splitnearest_exit_runtime_splitreciprocal_exit_runtime_splitcoordinate_runtime_splittrail_start_runtime_split trail_left_overrun_runtime_splithighfreq_runtime_splitrTremaining_proofsrUsC r. build_summaryrsG,66OPMCDde=>[\0U=1-&K2&")N5)%$T0$ %V1%!,d8,("P." L, #R/#&))*@AGRI " & &x 0 6BF'++L9?RK $$%:;tC ] ' + +,S TX\ \ ""#9:a? G " & &'D E J G " & &'< = F" #&&'?@DH \ & * *+M NRS S \ & * *+N OST T \ ' * *+R SW[ [  #="@"@A^"_cg"g0445GHDP#''(>?4G 9 " & &'= >$ F 9 ==/ 0D 8 '??+?@DH7;;`aimm#* ( + . .{ ; c.223UV^bb+* 0 . 1 1+ > f1556XYaee3* 8 ) , ,[ 9 a,001ST\``;* @ * - -k : b-112TU]aaC* H 1 4 4[ A i4889[\dhhK* P ' * *; 7 _*../QRZ^^U\ @ATI V 4 8 89[ \`d d V ) - -.P QUY Y V - 0 01S TX\ \ V ( + +,N OSW W  V ) , ,-O PTX X  V 0 3 34V W[_ _  V & ) )*L MQU U $ ) %  (  #    ( '  ),,[9 9 B'++L9TA ,// < < Y*../OPTXX "&))+66DAEEkRRD6::;GGD:==kJJD588EE D 699+FF D =@@MM D366{CC %%7'@),,[9 9 B'++L9TA,// < < Y*../OPTXX0-C.C%$B$BCj$kos$s" !";" &'B" ."  7" '(@(D(D\(R!"" )*E*I*I ,+ #"( K)"29<<[I9==>\]aee9==>[\`dd 8" 6 9 9:X Y]a aGKKLlmquuGKKLghnlnFJJKklrprHLLMopDHHIfg"K"O"OPh"if#-),.11+>.223QRVZZ.223PQUYY -"$B$F$FGe$fjn$n<@@Aabfjj<@@A\]cac;??@`ageg=AABde9==>[\"@"D"DE]"^"@"D"DE]"^"dbdg!"*144[A1556TUY]]1556STX\\ 1"$E$I$IJh$imq$q?CCDdeimm?CCD_`fdf>BBCcdjhj@DDEgh<@@A^_"C"G"GH`"a"C"G"GH`"a"gegg!%!*,// <,001OPTXX,001RSW\\ -.112TUiYi$@$D$DEc$dhl$l:>>?_`dhh:>>?Z[a_a9==>^_ece;??@bc7;;"B"BC["\*F*J*JKk*l+G+K+KLm+n6::;KLRPRp% *8;;>?_`fdf<@@Acd8<<=Z["?"C"CD\"]%B%F%FGb%c&C&G&GHd&e)F)J)JKj)k)F)J)JKj)k266{CIrv!$ 1 4 45U V jZj$H$L$LMk$lpt$tBFFGghlppBFFGbcigiAEEFfgmkmCGGHjk?CCDab"F"J"JKc"d D H H 5! "F!I!I 6"  DGG 4  DGG 4 !E H HI_ ` fdfk1($:*--k:*../MNRVV*../LMQUU /"$>$B$BCa$bfj$j8<<=]^bff8<<=XY_]_7;;<\]cac9==>`a599:WX"<"@"@AY"Z9==>STT!(.5P1Vb044^DEF"#;#?#?@T#UVWX''?'C'CDY'Z&[]  <,//0[\`ee,001ghlpp.'vv$v%=%A%ABm%n$ovp&v&>&B&BCg&h%ivj'v599:abcdve0v /334]^dbdef v g( v )A(D(DEo(p'q v r, v-E,H,HI-A,BvBv1445WXYvZv699:ghivjv4778`abvcv7::;opqvr!v":!=!=>q!r svt%v&>%A%ABx%y$zv{%v&>%A%ABu%v$wvxyv,//0cdevfgv ,//0opq!v r-!v$,//0{|}%v$~+%v(,//0lmn)v(o1)v,,//0rst-v! F8.223VW1556STUV#+//0[\]]^+//0XYZ[)+//0[\]]^+//0Z[\\]+//0]^_`&+//0efggh+//0abcd'+//0`abbc+//0_`ab$+//0deffg+//0stuuv+//0xyz{1556UVW%Y  6-*G&M^377GHI 6 : :;Q RST&&<&@&@A^&_%`a''='A'ABW'X&Y[ 3/H+Na7;;g.h-ij((38`(a'bd . 6fH#$6#78""9"="=>["\!]^!!*+B+F+FGl+m!n op))@)D)DEb)c(de''=&> @ 8!$$[1!%%&DEM!%%&FG5P@%%((5=,,_=>i HYHYZgHhGij,00;1RSTU!!.!2!23Q!R ST##0#4#45L#M"NO - 1 12R STU!!.!2!23J!K LM*..}=> @ 8?(++K8(,,-KLPTT(,,-MNRWWG%,// <0445EFGH/33ODEF377 FGH377 BCD##7#;#;*B*BCV*W XYZ&&/0D0H0HIf0g&h%ij01E1I1I.1YZ[\!!5!9!9:X!Y Z[##7#;#;<%((5%))*GHDP%))*JKuTM%),,[9-112BCDE,00ABC044]CDE044Y?@A##4#8#89M#N"OP )*;*?*?@S*T UVW&&/0A0E0EFc0d&e%fg01B1F1F~1VWXY""3"7"78P"Q!RS&&/0A0E0EFa0b&c%de$$-.?.C.CDd.e$f#gh##4#8#89[#\"]^0445RSTU 1 5 56V WXY.22=ABD @T=@@M=AAB_`dhh=AABbcgllX%ADD[QEIIJZ[\]DHHYZ[HLL][\]HLLYWXY##L#P#PQe#f"gh )*S*W*WXk*l mno& !J!N!NOl!mnop01Z1^1^_m1nopq""K"O"OPh"i!jk&&/0Y0]0]^y0z&{%|}$ !J!N!NOo!pqrs##L#P#PQs#t"uvHLLMjklm I M MNn opqFJJ=YZ!\ DI255kB2667TUY]]2667WX\aaM%699+F:>>?OPQR9==oNOP=AA-PQR=AA)LMN##A#E#EFZ#["\] )*H*L*LM`*a bcd& !?!C!CDa!bcde01O1S1STb1cdef""@"D"DE]"^!_`&&/0N0R0RSn0o&p%qr$ !?!C!CDd!efgh##A#E#EFh#i"jk=AAB_`ab > B BCc def=AABZ[\!^ DL588E599:WX\``599:Z[_ddQ%9<<[I=AABRSTU<@@QRS@DD]STU@DDYOPQ##D#H#HI]#^"_` )*K*O*OPc*d efg& !B!F!FGd!efgh01R1V1VWe1fghi""C"G"GH`"a!bc&&/0Q0U0UVq0r&s%tu$ !B!F!FGg!hijk##D#H#HIk#l"mn@DDEbcde A E EFf ghi@DDE]^_!a DG033K@0445VW[``1%477 DQQeQ8<<=MNOQPQ7;;OLMQNQ;?? NOQPQ <?? JKQL#Q$@#C#CDX#Y"Z Q[ Q !**F*J*JK^*_ `a Q b& Q!!=!A!AB_!`abQcQ11M1Q1QR`1abcQd"Q#?"B"BC["\!]Q^&Q'00L0P0PQl0m&n%oQp#Q$@#C#CDf#g"hQiQ <??@]^_Q` Q!= @ @Aa bcQd'Q(D'G'GHj'k&lQm%Q&B%E%EFf%g$hQi&Q 'C&F&FGh&i%j!Q k!Q"9<<=MNO#Q DH144[A.112LM`Q`$588EMMeM9==>NOPMQM8<<_MNMOM<@@OPMQM =@@KLMM#M$A#D#DEY#Z"[ M\ M !**G*K*KL_*` ab M c& M!!>!B!BC`!abcMdM11N1R1RSa1bcdMe"M#@"C"CD\"]!^M_&M'00M0Q0QRm0n&o%pMq#M$A#D#DEg#h"iMjM =@@A^_`Ma M!> A ABb cdMe"M#@"C"CD^"_!`Ma*M+H*K*KLg*h)iMj+M ,I+L+LMi+j*k!M l!!M""?!B!BCb!c d#M"e!#M$"?!B!BCb!c d%M$e%M&:==kJK'M! FO8;;KH5889YZm^m$<?? L__e_@DDEUVW_X_?CCOTU_V_CGG VW_X_ DGG RS_T#_$H#K#KL`#a"b _c _ !**N*R*RSf*g hi _ j& _!!E!I!IJg!hij_k_11U1Y1YZh1ijk_l"_#G"J"JKc"d!e_f&_!!E!I!IJe!fgh_i#_$H#K#KLn#o"p_q_ DGGHefg_h _!E H HIi jk_l$_ <??@`ab!_ c$!_$<??@ijk%_$l%%_(<??@jkl)_(m#)_,<??@hij-_,k#-_0<??@hij1_0k1_2ADDE[\]3_' RC.11+>.223PQUYY.223STX]]O%255kBMMeM6::;KLMMN M : > >?T UVMWM599/JKMLM :==mLMMNM :==iHI MJ# M $>#A#ABV#W"X M Y M !**D*H*HI\*] ^_ M `& M!!;!?!?@]!^_`MaM11K1O1OP^1_`aMb"M#="@"@AY"Z![M\&M'00J0N0NOj0k&l%mMn$M!!;!?!?@`!abcMd#M$>#A#ABd#e"fMgM :==>[\]M^ M !; > >?_ `a!M b!M"8;;MJK#M! F2,// </33K@/334TU]aa%033K@266{CKaKakKa":">">?W"X!YKaY[Ka/334KLMKaNKa6::;UVWKaXKa 8;;g!h iKaj'Ka0334]^_Ka`KKa0334YZ[Ka\]Ka0334WXYKaZ[Ka0334YZ[Ka\]Ka0334UVWKaX"Ka"0334Z[\#Ka"]^#Ka$0334STU%Ka$V%Ka&5889\]^'Ka&_"'Ka(#;">">?d"e!f)Ka(g")Ka,!!9!=!=>b!cde-Ka,f-Ka.9<<=STU/Ka.VW/Ka03667UVW1Ka0XY1Ka23667STU3Ka2V3Ka4:==>hij5Ka4k#5Ka6$?#B#BCg#h"i7Ka6j 7Ka8!< ? ?@f gh9Ka8i#9Ka:$?#B#BCb#c"d;Ka:e;Ka< ;>>?\]^=Ka<_$=Ka>%@$C$CDl$m#n?Ka>o,?KaB3667^_`CKaBa,CKaF3667hijGKaFklGKaH3667hijIKaHk'IKaL3667lmnMKaLo/MKaP3667stuQKaPv5QKaT3667yz{UKaT|,UKaV.I-L-LMh-i-omo,t,tvP-Q,RWKaVR/WKaX1L0O0OPk0l0rpr/w/wyV0W/XYKaXX*YKa\3667efg]Ka\h,]Ka`3667UVWaKa`XYaKab3667_`acKabb5cKaf3667abcgKafdegKah3667`abiKahc-iKal3667bcdmKalefmKan!!>?TUC  9==>RS C  6::;LM C  599:JK C  '(B(F(FGZ([)% == $C  "#;#?#?#OC  6::;OPVTVC  01LC  "#9#=#=n#MC  *+A+E+EF\+]C  12H2L2LMj2kC  )*@*D*DEZ*[C  +,F,J,JKm,n!C " ,-G-K-KLo-p#C $ 01K1O1O 32 %C * ,=!>+C , !"<"@"@AY"Z-C . &'B/C 0 ()?1C 2 53C 4 -.F.J.J 0/ 5C : 01I1M1M 32 2 AC B 23K3O3O 54 4 IC J 34L4P4P 65 KC P 45M5Q5Q 76 QC V ?@X@\@\ BA WC \ +,D,H,H .- ]C b 67O7S7S 98 cC h 12J2N2N 43 iC n =>V>Z>Z @? oC t <=U=Y=Y ?> uC z ?@X@\@\ BA {C @ <=U=Y=Y ?> AC F @AYA]A] CB GC L <=U=Y=Y ?> MC R <=U=Y=Y ?> > WC X ;= = ]C ^ HIaIeIe KJ _C d H $ ( (O gC n H $ ( (O  wC z G $ ( (N  CC F T $ ( ([ IC P E $ ( (L SC Z K $ ( (R ]C d K $ ( (R gC n J $ ( (Q  wC z >?W?[?[ A@ {C @ ,-E-I-I /. AC F ()A)E)E +* GC L &'?'C'C )( MC R 45M5Q5Q 76 SC X 12J2N2N 43 YC ^ 45M5Q5Q 76 _C d 34L4P4P 65 eC j 67O7S7S 98 kC p >?W?[?[ A@ qC v :;S;W;W =< wC | 9:R:V:V <; }C B 89Q9U9U ;: CC H =>V>Z>Z @? IC N L $ ( (S QC X Q $ ( (X [C b +,DcC d ./JeC f "=gC h ()=iC j %&7kC l :;dmC n 01OoC p 34UqC r /0LsC t /0MuC v 56ZwC x 23MyC z )*?{C | ./@/D/DEb/c}C ~ "#=C @ 78]AC B -.HCC D 01NEC F ,-EGC H ,-FIC J 23SKC L /0FMC N 7;;'B'BC`'aUC V ./F/J/J 10 0 ]C ^ &'>'B'BC`'a_C `  7aC b '(@(D(D\(RcC d )*E*I*I ,+ eC j '(C(G(G *) kC p 12M2Q2Q 43 qC v 34O4S4S 65 wC | 23N3R3R 54 }C B 45P5T5T 76 CC H 9:U:Y:Y <; ; OC P 34O4S4S 65 5 WC X 78S8W8W :9 YC ^ 01L1P1P 32 _C d :;V;Z;Z =< eC j 2kC l 8mC n ,-SoC p BqC r '(HsC t ./VuC v )*LwC x !7yC z ,B9HZ{C | <}C ~ C DEC @ HAC B +CC D jEC CQ. /sCB >CBc!<gdd|ddd|dd|ddd |d d |d dd |dd |ddd|dd|dd|dd|dd|dd|dd|dd|dd |jd!xsijd"d#|jd!xsijd$d%|jd!xsijd&d'|jd!xsijd(d)|jd!xsijd*d+|jd!xsijd,d-|jd!xsijd.d/|jd!xsijd0d1|jd!xsijd2d3|jd!xsijd4djgd5|jd6d7|jd8d9t|jd:d;t|jd<xsgd=|jd>d?|jd@dA|jdBdC|jdDdE|jdFdG|jdHdI|jdJdK|jdLdM|jdNdM|jdOdPt|jdQdR|jdSdTt|jdUdV|jdWdX|jdYdZ|jd[d\|jd]d^|jd_d`|jdadM|jdbdc|jdddM|jdedM|jdfdg|jdhdM|jdidj|jdkdM|jdldm|jdndM|jdodM|jdpdq|jdrdjgds|jdtxsijdudM|jdtxsijdvdM|jdtxsijdwdx|jdtxsijdydz|jdtxsijd{d||jdtxsijd}d~|jdtxsijdd|jdtxsijdd|jdtxsijdd|jdtxsijdd|jdtxsijddM|jdtxsijddZ|jdtxsijd[d|jdtxsijdxsijdd|jdtxsijdxsijdd|jdtxsijdxsijdd|jdtxsijdxsijddM|jdtxsijdxsijddM|jdtxsijdxsijddM|jdtxsijdxsijdd|jdtxsijdxsijddM|jdtxsijdxsijddM|jdtxsijdxsijddM|jdtxsijdxsijdd|jdtxsijdxsijddM|jdtxsijdxsijddM|jdtxsijdxsijddM|jdtxsijdxsijddq|jdtxsijdd|jdijdd|jdijddt|jdijddt |jdijdd|jdijdd||jdijd d|jdijdd|jdijddt|jdijddt |jdijdd|jdijdd||jdijd d|jdijdd|jdijddt|jdijddt |jdijddt|jdijdd|jdijdd|jdijdd||jdijdd|jdijdd|jdijddt|jdijddt |jdijddt|jdijdd|jdijdd|jdijdd||jdijdd|jdijdd|jdijddt|jdijddt |jdijddt|jdijdd|jdijdd|jdijdd||jdijdd|jdijdd|jdijddt|jdijddt |jdijddt|jdijdd|jdijdd|jdijdd||jdijdd|jdijdd|jdijdd|jdijdd|jdijdd|jdijddt|jdijddt |jdijddt|jdijdd|jdijdd|jdijdd||jdijdd|jdijdūd|jdijdƫd|jdijdǫd|jdijdɫd|jdijdd|jdijddt|jdijddt |jdijddt|jdijdd|jdijdd|jdijdd||jdijdd|jdijdͫd|jdijdϫd|jdijdѫd|jdijdԫd|jdijdd|jdijddt|jdijddxt|jdijd֫dt |jdijddt|jdijdd|jdijdd|jdijdd||jdijdd|jdثxsijd٫d|jdثxsijd۫dt|jdثxsijdܫdt|jdثxsijdޫd|jdثxsijd d|jdxsijd٫d|jdxsijd۫dt|jdxsijdܫdt|jdxsijdޫd|jdxsijd d|jdxsijd٫d|jdxsijd۫dt|jdxsijdܫdt|jdxsijdޫd|jdxsijd d|jdxsijd٫d|jdxsijd۫d|jdxsijdd|jdxsijdd|jdxsijd d|jdxsijd٫d|jdxsijd۫d|jdxsijdƫd|jdxsijdǫd|jdxsijdd|jdxsijdɫd|jdxsijdd|jdxsijd٫d|jdxsijd۫d|jdxsijdd|jdxsijdd|jdxsijdd|jdxsijdd|jdxsijdd|jdxsijd٫d|jdxsijd۫d|jdxsijdd|jdxsijdd|jdxsijdԫd|jdxsijdd|jdxsijdd|dd|dd|jdd|jdd|jdd|jddM|jdd|jddM|jd d |jd d t|jd dt|jdd|dd|dd|jd"dt|jddt|jdxsgd|jdd|dd|dd|d ddd!dd"d#}|d$D]-}|j d%|d&d'|d(d'|d)d*/|j gd+|j d,|d-D|j dd.j|S(/Nz6# Save Selector Predecessor Branch-State Execution GaprrUz - route: `r+ -> r-`z- predecessor: `rz` root `r/z - current: `rr0z.- predecessor fill would pass current reader: rz&- predecessor local tail reset found: r6z#- direct global secondary writers: rz$- unresolved global secondary refs: rz- helper opcode10-only: rz- closed static reset scope: rz#- selector-order reset gap closed: rz#- runtime order/bytecode gap open: rz3- predecessor fill execution/order gap: proofFound=r9rz localTrace=rr rrrz rootEntryReach=r#z encoded=r%rr&rr'rr*rr+z;- predecessor dispatch slice dependency: sliceRuntimeProof=rOz dispatchTableProof=rKz dispatchFailedGates=rLz dispatchMissingEvidenceCount=rMz dispatchEvidenceRefs=rNz descriptorDependsOnSlice=rPrrQz sliceData=rRz rawDiffers=rTz byteReachable=rUz requiresTableBase=rVz dynamicDispatches=rWrrYr\z dynamicScopeSites=rZz dynamicTableBaseCandidate=r`z dynamicTableBaseCandidateSites=r^rrarrbrrez&- predecessor raw generic call graph: rfz depth=rhz functions/edges=rirjz route/fill/currentImm=rkrlrmz selected/branchImm=rnroz route/fillTransfers=rprqz depthSensitivity=rrrsrtr!rgz1- predecessor fill-site execution context: polls=r:rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr rrrrrz!- predecessor progress poll: seq=r;rnrrrr!rrrrr$z(- predecessor direction sweep poll: seq=r<z%- predecessor branch-state poll: seq=r=z state=rrrrz2- predecessor nearest-exit branch-state poll: seq=r?z5- predecessor reciprocal-exit branch-state poll: seq=r@z0- predecessor coordinate branch-state poll: seq=rArrrrrrz1- predecessor trail-start branch-state poll: seq=rBrrrrrrz8- predecessor trail-left-overrun branch-state poll: seq=rCrrrr rr z9- predecessor high-frequency branch-state poll: interval=rDr%r r"z- runtime branch-state split: rGrr"rrr#rr$rz- nearest-exit runtime split: rIz!- reciprocal-exit runtime split: rJz- coordinate runtime split: rKz- trail-start runtime split: rLrrz$- trail-left-overrun runtime split: rMrrr rr rz - high-frequency runtime split: rNz observedFill=rrz interval=z routeReached=rz- route order proven: rz- selector merge gap open: rz$- fill execution/order proof found: rz&- fill-site execution context proven: z.- branch gate preservation via fill context: `rz` same-offset rrz write/read rrz other rrr invalid rz- global reset ruled out: rz- strict hotspot found: r&z- proof found: z'- failed branch-state execution gates: rOz- missing evidence count: rz- evidence refs: rz&- branch-state execution proof found: rRz- persistence promotable: rSz- promotion status: `rz ## Evidencez| kind | status | detail |z| --- | --- | --- |rTz| rz | rrz |)rz## Remaining Proofsrc3&K|] }d| yw)z- Nrr6rs r.r7zmarkdown..2 sD2dVDrr )rCr:r<rQrrIextend)summarylinesrEs r.markdownrUsd4X @X  X   X  X  WX&'tGH,=+>a@ X  7#89:(7K_C`Baabc X  w012(7CS;T:UUVWX  9Ah9i8jkX  19Y1Z0[\X  .g6X.Y-Z[X  /w7Z/[.\]X  #7+R#S"TUX  (0H(I'JKX  .g6S.T-UVX  .g6U.V-WXX " ";;'IJPbUUVbcde";;'IJPbUUVnoppr >?E2JJKbcde{{#EFL"QQRlmno&{{+MNTRTYY[FGHH $FGM2RRSstuvKK BCIrNNOxyz{#KK(JKQrVVXIJKK!++&HIORTTU~AA ' ,N O USUZZ\E FG H#X < d d ! d!(-X!Y Z d[" d")++.R"S!T dU# d$-W[[9`-a#b"c dd, d-0 ?@A[[!>?@A&{{+VWXXY{{CDEF%{{FGH{{EFGq{{HIJK"{{PQRRS{{LMNO#{{KLMQ{{JKLM {{OPQQR{{^_``a{{cdef[[!@AB' DmX X! x! x ! xkk"GHNBSSTjkl! xlm! x ABHbMMNlmn! xno! x ABHbMMNjkl! xm! x{{#HIORTTUAB ! xB ! x $KK(MNTRTYYZ~A ! x A ! x !%JKQrVVW}~ ! x @ ! x$KK(MNTRTYYZyz{! x|! x $IJPbUUVstu! xv! x%[[)NOUSUZZ\DEF! xF$! x&-[[1V%W%][]$b$bdK%L$M! xM$! x ABHbMMNAB! xBC! x ABHbMMNAB! xB! x!( ,Q R XVX]]_T UV! xV$! x'.kk2W&X&^\^%c%cd&A&GEG%L%LMg%h$i! xi'! x *15Z)[)a_a(f(fhC)D)JHJ(O(OPm(n'o!! x o !! x"#*++.S"T"ZXZ!_!_`y!z"AA!F!FGp!q r#! x"r2#! x&BCIrNNOhiomottv_`a'! x&ab'! x(BCIrNNOhiomottvYZ[)! x([\)! x*BCIrNNOhiomottvXYZ+! x*Z[+! x,BCIrNNOhiomottvTUV-! x,V2-! x0BCIrNNOhiomottv]^_1! x0_`1! x2BCIrNNOhiomottvWXY3! x2YZ3! x4BCIrNNOhiomottvVWX5! x4XY5! x6BCIrNNOhiomottvRST7! x6T77! x:BCIrNNOhiomottvZ[\;! x:\];! x<BCIrNNOhiomottvTUV=! x<VW=! x>BCIrNNOhiomottvSTU?! x>UV?! x@BCIrNNOhiomottvOPQA! x@QA! xBkk"GHNBSSTtuvC! xYX ^ ,GKK8QSU,V,Z,Z[j,k+lluv}wBwBC\^`wawewefswtvuu@IJQJUJUVoqsJtJxJxyLJM@NOOVWjkrkvkvwPRTkUkYkYZhkiWjVkkvw~wBwBC\^`wawewefDwEvFFPQXQ\Q\]vxzQ{QQ@`QaPb c_X ` 37;;?^`b3c3g3ghw3x2yzCDKDODOPoqsDtDxDxyFDGCHHRS\]d]h]hiHJL]M]Q]QRe]fSgRhhopCDKDODOPoqsDtDxDxyGDHpIoJJUV]VaVabACEVFVJVJKiVjUkkuv}vAvABacevfvjvjkK vL uM N aX b 0 K=LLUV]VaVabIKMVNVRVRS`VaUbblmvw~wBwBCjlnwowswstGwHmIlJJQRefmfqfqrY[]f^fbfbcqfrRsQtt{|EFMFQFQRy{}F~FBFBC^F_|`{aanovozoz{b d f og ok ok l N oO nP P Y Z a Z e Z e f M O Q Z R Z V Z V W t Z u Y v v @ A H A L A L M t v x A y A } A } ~ ^ A _ @ ` a eX f @ Lvxz@{@@APAQ@RR[\c\g\ghRTV\W\[\[\i\j[kkuv@G@K@KLvxz@{@@@S@TvUuVV]^qryr}r}~hjlrmrqrqr@rA^B]CCJKTU\U`U`aKMOUPUTUTUpUqKrJss@ A H A L A L M w y { A | A @ A @ A c A d @ e e n o v o z o z { e g i o j o n o n o L o M n N N X Y ` Y d Y d e O Q S Y T Y X Y X Y y Y z X { | gX h ;7;;Gmoq;r;v;vxGmX n &g.D&E%FGoX p /w{{;Y/Z.[\qX r 1=]1^0_`sX v  JKLM";;'EFGq{{CDEF{{EFGq{{DEFG{{FGH%UVWXY -W!XYZ \wX N %W-B%C$DEOX P #7+?#@"ABQX R '++l345SX V 6%HIJK MWX \ %S5F)G)M2%N$OP]X ^ GKK(:;<=_X ` 19Y1Z0[\aX b %W-D%E$FGcX d (9 :;1=eX f gX h iX j kX l %mX n oX Erz"O r#f+c#h-CM?"MNO LL01 LLD1B)CDD LL 99U r0c,&djd|dD}djd|dD}djdddd d d d d ddtj|dddtj|ddtj|ddtjt|ddtjt|ddtjt|ddtjt|dd dt |dd t |d!d"t |d#d$t |d%d&t |j d'd(t |j d)d*tjt|j d+d,tjt|j d-d.tjt|j d/d.tjt|j d0d1t |j d2d3t |j d4d5t |d6d7tj|d8dd9jgd:tjt|j d'd;tjt|j d)d<tjt|j d=xsij d>d.tjt|j d=xsij d?d.tjt|j d=xsij d@dAtjt|j dBdCtjt|j dDd.tjt|j dEdFtjt|j dGd.tjt|j dHdFtjt|j dIdJtjt |j dKdLtjt |j dMdNtjt|j dOxsij dPdQtjt|j d=xsij dRdStjt|j d=xsij dTxsij dUdVtjt|j d=xsij dTxsij dWd.tjt|j d=xsij dTxsij dXd.tjt|j d=xsij dTxsij dYd.tjt|j d=xsij dTxsij dZdFtjt|j d=xsij dTxsij d[d.tjt|j d=xsij dTxsij d\d.tjt|j d=xsij dTxsij d]d.tjt|j d=xsij dTxsij d^dFtjt|j d=xsij dTxsij d_d.tjt|j d=xsij dTxsij d`d.tjt|j d=xsij dTxsij dad.tjt|j d=xsij dTxsij dbdcddt |dedft |j dgdhtjt |j didjtjtt|j dkxsgdltjt|j dmdnt |dodptj|d8ddqtjt|j drxsij dsdttjt|j drxsij dudvtjt |j drxsij dwdxtjt |j drxsij dydztjt|j drxsij d{dc d|tjt|j d}xsij dsdttjt|j d}xsij dudvtjt |j d}xsij dwdxtjt |j d}xsij dydztjt|j d}xsij d{dc d~tjt|j dxsij dsdttjt|j dxsij dudvtjt |j dxsij dwdxtjt |j dxsij dydztjt|j dxsij d{dc dtjt|j dxsij dsdttjt|j dxsij dudtjt|j dxsij ddtjt|j dxsij ddtjt|j dxsij d{dc dtjt|j dxsij dsdttjt|j dxsij dudtjt|j dxsij ddtjt|j dxsij ddtjt|j dxsij ddtjt|j dxsij d{dc dtjt|j dxsij dsdttjt|j dxsij dudtjt|j dxsij ddtjt|j dxsij ddtjt|j dxsij ddtjt|j dxsij d{dc dd|ddd|dddd9gS)Nrc 3K|]R}dtj|ddtj|ddtj|ddTyw)zrz rrz NhtmlescaperDs r.r7zhtml_page..8 sg   {{3v;'(){{3x=)*+{{3x=)*+ sAArTc3NK|]}dtj|dyw)z
  • z
    • Nrrs r.r7zhtml_page..@ s#cd4;;t#4"5U;cs#%rzzzz zE Save Selector Predecessor Branch-State Execution Gapa zzz?

    Save Selector Predecessor Branch-State Execution Gap

    z

    rUz

    z

    Route: r+rr-z; predecessor rz root r/z; current rr0z .

    z

    Proof: fillPass=rz; staticClosed=rz ; routeOrder=rz; selectorMergeOpen=rz; fillOrderProof=rz; fillContextProof=rz; rawGenericCallGraph=rfz3; rawGenericCallGraph depth/functions/edges rhrrirjz; rawGenericCallGraph proof rgz; runtimeFillObserved=rEz; strictHotspot=r&z; promotion rrz5

    fill-site execution context: order proof z; context proof z; polls r:rrrz; branch gate preserve rz.; same-offset/write-read/other/invalid rr rrrrrrrz; encoded r9r%z; target status rz!; coordinate reject rrzB; coordinate start/trail/reciprocal ptr-static-trail-image rrrrrrrrrrrrz.

    z)

    branch-state execution proof found: rRz; proof found: rz-; failed branch-state execution gates: rOz; missing evidence: rz; evidence refs: rz; persistence promotable: rSz; promotion status: z(

    runtime branch-state split: rGrz; public predecessor reached rz; observed rz; expected rz; next rz(

    nearest-exit runtime split: rIz+

    reciprocal-exit runtime split: rJz&

    coordinate runtime split: rKz; start observed rz; target observed rz; next z'

    trail-start runtime split: rLrrz; trail movement rz.

    trail-left-overrun runtime split: rMz; camera target rz; camera outside rz; route reached rz

    Evidence

    zS z
    kindstatusdetail
    z

    Remaining Proofs

    z
      z
    zz)r:rrr+r/rCr<rQ)r evidence_rows proof_itemss r. html_pager7 sII :& M))cPaHbccK 99    & S i   MDKK 567t <WX%678T[[QYIZ=[<\]%%)[[W=R5S1T%U$VW"kk#g6J.K*LMNO!!%S9J1K-L!M NO"kk#g6F.G*HIJ, X%g.U&VWXY )'2J*K LMN'0B(CDEF%%.w7M/N%O$PQ""+GKK8V,W"X!YZ$$-gkk:Z.[$\#]^S5X)Y%Z[\]=;;s7;;/L#MNOPPQ;;s7;;/Z#[\]^^_;;s7;;/W#XYZ[\-W[[)HIJKL''0=]1^'_&`a!!*73G+H!I JK##';;w7H/I#J"K<#Y(#m#m#m#{{3w{{;Y/Z+[\]#m^!#m!%S=]1^-_!` a#mb#m;;sGKK0U$V$\Z\#a#abx#yz{| #m  #m ;;sGKK0U$V$\Z\#a#acA$B CDE #m#m;;sGKK0U$V$\Z\#a#ab~# ABC#mC#mS5c)d%efg#mh8#m;;s7;;/M#NOPQ#mRS#m;;s7;;/W#XYZ[#m\]#m;;s7;;/Y#Z[\]#m^_#m;;s7;;/X#YZ[\#m]^#m ;;s7;;/Z#[\]^!#m _`!#m";;y5e)fghi##m"j##m$ ;;y=g1h'ijk%#m$l!%#m&"&S'++>`2a2geg1l1lnN2O.P"Q!R'#m&R''#m((,{{3 Di8j8pnp7u7uw_8`4a(b'c)#m(c)#m,S7;;7\+]+cac*h*hjC+D+JHJ*O*OPy*z&{|}-#m,}L-#m0;;sW[[1V%W%][]$b$bc|$}%DBD$I$IJs$t uvw1#m0wx1#m2;;sW[[1V%W%][]$b$bc|$}%DBD$I$IJm$n opq3#m2qr3#m4;;sW[[1V%W%][]$b$bc|$}%DBD$I$IJl$m nop5#m4pq5#m6;;sW[[1V%W%][]$b$bc|$}%DBD$I$IJh$i jkl7#m6lm7#m8;;sW[[1V%W%][]$b$bc|$}%DBD$I$IJq$r stu9#m8uv9#m:;;sW[[1V%W%][]$b$bc|$}%DBD$I$IJk$l mno;#m:op;#m<;;sW[[1V%W%][]$b$bc|$}%DBD$I$IJj$k lmn=#m<no=#m>;;sW[[1V%W%][]$b$bc|$}%DBD$I$IJf$g hij?#m>jk?#m@;;sW[[1V%W%][]$b$bc|$}%DBD$I$IJn$o pqrA#m@rsA#mB;;sW[[1V%W%][]$b$bc|$}%DBD$I$IJh$i jklC#mBlmC#mD;;sW[[1V%W%][]$b$bc|$}%DBD$I$IJg$h ijkE#mDklE#mF;;sW[[1V%W%][]$b$bc|$}%DBD$I$IJc$d efgG#mFglG#mL<W%EFGHI W[[6789Yw{{;^/_%`abc%;;s3w{{3D'E'K#LMNOP";;s7;;/A#BCDEF+W%<=>?@W->%?@A O ;;;sGKK0I$J$Pb#U#UVf#ghijk..2kk#w{{Kd?e?kik>p>prL?M;N/O.PP""&++iE^9_9ece8j8jk9A/B#C"DD""&++iE^9_9ece8j8jk~8/A#B"CC C5N)O)USU(Z(Z[k(l$mnoot v;;;sGKK0T$U$[Y[#`#`aq#rstuv..2kk#w{{Ko?p?vtv>{>{}W?X;Y/Z.[[""&++iEi9j9pnp8u8uwK9L/M#N"OO""&++iEi9j9pnp8u8uwJ9K/L#M"NN C5Y)Z)`^`(e(efv(w$xyzz A>;;sGKK0W$X$^\^#c#cdt#uvwxy..2kk#w{{Kr?s?ywy>~>~@Z?[;\/].^^""&++iEl9m9sqs8x8xzN9O/P#Q"RR""&++iEl9m9sqs8x8xzM9N/O#P"QQ C5\)])cac(h(hiy(z${|}~C D9;;sGKK0S$T$ZXZ#_#_`p#qrstu..2kk#w{{Kn?o?usu>z>z|V?W;X/Y.ZZ""&++c7;;?b3c3igi2n2npP3Q/R#S"TT##';;sGKK@c4d4jhj3o3oqR4S0T$U#VV C5X)Y)_]_(d(deu(v$wxyy~ @:;;sGKK0S$T$ZXZ#_#_`p#qrstu..2kk#w{{Kn?o?usu>z>z|V?W;X/Y.ZZ""&++c7;;?b3c3igi2n2npK3L/M#N"OO##';;sGKK@c4d4jhj3o3oqM4N0O$P#QQ""&++c7;;?b3c3igi2n2npO3P/Q#R"SS C5X)Y)_]_(d(deu(v$wxyy~ @A;;sGKK0Y$Z$`^`#e#efv#wxyz{..2kk#w{{Kt?u?{y{?A?AB\?];^/_.``!!%S'++>g2h2nln1s1suK2L.M"N!OO""&++c7;;?h3i3omo2t2tvM3N/O#P"QQ!!%S'++>g2h2nln1s1suI2J.K"L!MM C5^)_)ece(j(jk{(|$}~@E F "aboapqA B )[M '   kV X Xr0c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz9save_selector_predecessor_branch_state_execution_gap.jsonF) ensure_asciiindentrutf-8encoding9save_selector_predecessor_branch_state_execution_gap.html)mkdir write_textjsondumpsr)rout_dirs r. write_outputsr sk MM$M. JJVV 7q9D@W JJVV'Wr0cLtj|jdS)Nrr)rloads read_text)rs r. load_jsonr s ::dnngn6 77r0c tjt}|jdtt dz |jdtt dz |jdtt dz |jd tt d z |jd tt d z |jd tt dz |jdtt dz |jdtt dz |jdtt dz |jdtt dz |jdtt t z |jdtt tz |jdtt tz |jdtt tz |jdtt tz |jdtt tz |jdtt tz |jdtt tz |jdtt d z |jd!tt d"z |jd#tt |j}tt!|j"t!|j$t!|j&t!|j(t!|j*t!|j,t!|j.t!|j0|j2j5rt!|j2ni|j6j5rt!|j6ni|j8j5rt!|j8ni|j:j5rt!|j:ni|j<j5rt!|j<ni|j>j5rt!|j>ni|j@j5rt!|j@ni|jBj5rt!|jBni|jDj5rt!|jDni|jFj5rt!|jFni|jHj5rt!|jHni|jJj5rt!|jJni}tM||jNtQd$|jNd%z y)&N) descriptionz--predecessor-persistence-gapz.save_selector_predecessor_persistence_gap.json)typedefaultz--predecessor-state-effectz+save_selector_predecessor_state_effect.jsonz--predecessor-tail-resetz)save_selector_predecessor_tail_reset.jsonz--secondary-reset-scopez(save_selector_secondary_reset_scope.jsonz--secondary-global-reset-gapz-save_selector_secondary_global_reset_gap.jsonz--predecessor-route-orderz*save_selector_predecessor_route_order.jsonz --merge-gapzsave_selector_merge_gap.jsonz --hotspot-gapzmap1_01a_hotspot_gap.jsonz--predecessor-progress-pollz7runtime_selected_pointer_predecessor_progress_poll.jsonz"--predecessor-direction-sweep-pollz>runtime_selected_pointer_predecessor_direction_sweep_poll.jsonz--predecessor-branch-state-pollz7--predecessor-left-overrun-activation-branch-state-pollz,--predecessor-nearest-exit-branch-state-pollz/--predecessor-reciprocal-exit-branch-state-pollz*--predecessor-coordinate-branch-state-pollz+--predecessor-trail-start-branch-state-pollz2--predecessor-trail-left-overrun-branch-state-pollz(--predecessor-highfreq-branch-state-pollz&--predecessor-fill-execution-order-gapz7save_selector_predecessor_fill_execution_order_gap.jsonz)--predecessor-fill-site-execution-contextz:save_selector_predecessor_fill_site_execution_context.jsonz --out-dirz0wrote predecessor branch-state execution gap -> r))argparseArgumentParser__doc__ add_argumentrOUTPREDECESSOR_BRANCH_STATE_POLL5PREDECESSOR_LEFT_OVERRUN_ACTIVATION_BRANCH_STATE_POLL*PREDECESSOR_NEAREST_EXIT_BRANCH_STATE_POLL-PREDECESSOR_RECIPROCAL_EXIT_BRANCH_STATE_POLL(PREDECESSOR_COORDINATE_BRANCH_STATE_POLL)PREDECESSOR_TRAIL_START_BRANCH_STATE_POLL0PREDECESSOR_TRAIL_LEFT_OVERRUN_BRANCH_STATE_POLL&PREDECESSOR_HIGHFREQ_BRANCH_STATE_POLL parse_argsrrrXrYrZr[r\r]r^r_r`existsrarbrcrdrerfrgrhrirjrkrrprint)parserargsrs r.mainr s6  $ $ 9F 7dCSCMCD 44O|I|} 2sMxGxy 1cLvFvw 6T3RALAB 3$NzHz{  D#@^:^_ dCB]<]^ 5D#QJKJK <4QTXXRXY 9cTqNqr A KK  6 @@  9 CC  4 >>  5 ??  < FF  2 <<  0 OO  3 RR   $<    D$223$//0$--.$,,-$112$../$..!$""#595S5S5Z5Z5\ $001bd<@   4 4 ; ; = $;;<   7 7 > > @ $>>? M'GP'4<<( : <<U U V Xr0__main__)r-rreturnr+)r;zlist[Any] | Nonerr+)rJ dict | Nonerr+)rJrrLr+rz str | None)rJrrz list[str])rJrrr)rrrr+)rrrr)rzrrr)rrrr) NNNNNNNNNNNN)*rXrrYrrZrr[rr\rr]rr^rr_rr`rrarrbrrcrrdrrerrfrrgrrhrrirrjrrkrrr)rrrr+)rrrrrNone)rrrr)rr)2r __future__rrrrpathlibrtypingr__file__resolverROOTrrrrrrrrrrrVrWr/r<rOrRrXrrrrrrrrrrr~rrrrrrr__name__rr0r.rsI"  H~''* Ul mY6O+R.M)N*U1K'!'/6(R-?($@N Q D A 3 456 =>?  0 }F($RA ##!H 6" F&R$N_DS~.24815IM>BAE<@=ADH:>8<;?)~!%~"~!~ ~ !% ~ " ~~~ +~'2~$/~