7,Jj36dZddlmZddlZddlZddlZddlmZddlm Z ddl m Z ddl m Z mZmZmZmZmZeej)j*dZed z Zd Zd Zd Zd ZdZdZdZdZdZ gdZ!d,dZ"d-dZ#d.dZ$d/dZ%d0dZ&d0dZ'd1dZ(d2dZ)e f d3dZ*d4dZ+ d5 d6dZ,d7dZ-d8d Z.d9d!Z/ d: d;d"Z0 dd%Z3 d: d?d&Z4d@d'Z5d@d(Z6dAd)Z7dBd*Z8e9d+k(re8yy)CzKConsolidate selected-root execution evidence for the current route blocker.) annotationsN)Path)Any) read_sections)bounded_code_windowcount_rows_by_groupdword_immediate_hitshex32 hex_to_intrel32_transfer_rowsoutmap1_01amap2_02dz2:0 0x00540714 0x0059de30)opcode24Mode1Sourceopcode24CurrentObjectIndexopcode24RuntimeFlagii)r rcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks P/home/exedev/hwanse/tools/summarize_save_selector_selected_root_execution_gap.py load_jsonr$)s* ;;= ::dnngn6 77cj|jdxsgD]}|jd|k(s|cSiS)N watchValuesnameget)summaryr(rows r# watch_valuer-/s;{{=)/R 776?d "J Ir%c |jdxsi}g}tD]}|j|xsg}|Dcgc]I}|jd6|jd%|jdd|jdK}}|so|j|ddj|dj|xsdScc}w) NobservedWatchValuesvalueHexcountx=,z; -)r*WATCH_VALUE_ORDERappendjoin)pollvaluespartsr(rowsr, value_partss r#watch_value_summaryr>6s XX+ , 2F E!<zz$%2 wwz".37773C3Owwz"#1SWWW%5$6 7   LLD6388K#8"9: ;< 99U  "s" sAC c |sy|jdxsi}d|jdd|jdd|jdd |jd d |jd d |jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdS)Nr5 publicPredecessorSelectorContextzfiles=sourceFileCountz; seq=totalSequenceCountz ; samples=totalSampleCountz; publicFiles="publicPredecessorObservedFileCountz ; routeHits=routeSelectorHitCountz; currentRootHits=currentRootHitCountz; dominantDiversion=dominantDiversionSelectorz; diversionContexts=diversionSelectorContextCount/fieldMapDiversionSelectorCount"resourceOnlyDiversionSelectorCountz; diversionRouteEvidence=$diversionRoutePromotionEvidenceFoundz; publicContext=classificationz ; status=promotionStatusr))contextpublic_contexts r#!predecessor_route_attempt_summaryrQEs3 [[!CDJN ./01{{/012;;1234{{#GHIJ[[!89:;";;'<=>?$[[)DEFG ;;6 7 8 ;;7 8 9 ;;; < =>"")++.T"U!VW'++,<=>?++/01 3r%c4 gd}ttdddd}g t d fd }|D]>\}}}t||}|||j dxs|j ||@t dD]}d |z} |d |t | d  S) N) )selected-pointer-globalrSselected-pointer)selector-group-tablerUselector-table)zsource-selector-row-0:0zsource-selector-rowroute-selector)zsource-selector-root-0:0zsource-selector-rootrW)ztarget-selector-row-1:0ztarget-selector-rowrW)ztarget-selector-root-1:0ztarget-selector-rootrW)zcurrent-selector-row-2:0zcurrent-selector-rowcurrent)current-selector-root-2:0zcurrent-selector-rootrX)current-second-level-table-2:0zcurrent-second-level-tablerX)zcurrent-frontier-leaf-2:0zcurrent-frontier-leafrX)current-frontier-reader-2:0zcurrent-frontier-readerrX)current-source-record-map1_01azcurrent-source-record route-record)current-target-record-map2_02dzcurrent-target-recordr] 0x00542b0c 0x00542b44 0x00542bac)rSrYr[r\r^ct|}||vryj|j||t||dy)N)labelvavaHexgroup)r addr7r )rcva_hexrfrdr<seens r#add_rowz5selected_pointer_handler_target_rows..add_rowusG   :t    2Y   r%r0 i`Yzsecondary-branch-state- branch-state)rcstrrhz str | NonerfrmreturnNone)SELECTED_POINTER_GLOBAL_HEXCURRENT_ROOT_HEXsetr-r*ranger ) selected_pointer_usage target_specsfallback_hexesrjr(rcrfr,indexrdr<ris @@r#$selected_pointer_handler_target_rowsrx[sL $?%5'3*6*6 NDUD  +OeU0$7swwz*Fn.@.@.FNOrN % )%159nMN Kr%c:g}t}|jdxsgD]u}|jd}t|}|||vr&|j||j |jdxsd|||jdxsg|dw|r|S|jdxsgD]e}|jd}t|}|||vr&|j||j |jd xsd d |||g|dg|S) NselectedPointerHandlerContexts handlerVaHexr(zhandler: hookVaHexes)rcr{r|rdruntimeTraceHookPointsre mechanismhook:)rrr*r rgr7) rtr<rirO handler_hex handler_varhook_hexhook_vas r#)selected_pointer_handler_call_graph_rootsrs? DUD)--.NOUSU  kk.1  ,  t!3   [[(Dh{m,D'";;}5;      &**+CDJ  88G$X& ?go   -78(D$$:     Kr%c@|jd}t|jd}t|ttfr|gS|Dcgc]}|jddvr|}}g}t }t t|D]}||z} g} |dzt|krXtj|||dzdd} tj|||dzdd } | jd | dfd | | dzfg|d zt|kr5tj|||d zdd } | jd | | d zf| D]\}}}|D]}|jd}t|ts%|d k(r ||dzk(}n|duxr||z|k(}|sD|| |f}||vrN|j||jt| |t|dzt||jd|jd|jdddd |Scc}w)Ndata startVaHexrf>rXrlr]rWrlittleF)signedTz abs16-lowzsigned-rel16-site-plus2rzsigned-rel32-site-plus4rdilrcsectionblocked) siteVaHexkindr0 targetHex targetLabel targetGroup sourceSectionrNpromotesRouteExecution)r*r isinstancebytes bytearrayrrrslenint from_bytesextendr7rgr )windowtargetsrstart_vatargetroute_relevant_targetsr<rioffsetsite_var: u16_value s16_value s32_valuervaluerel_base target_vamatcheskeys r#%selected_pointer_handler_encoded_hitsrsc ::f D&**\23H dUI. /83C $ ::g "_ _  D&)eDD "&V# A:T "tF6A:'>QVWItF6A:'>QUVI MMi.*Iw{C  A:T "tF6A:'>QUVI MM4i1M N%+  !D%0 "JJt, !)S1;&# F(:;G&d2Tx%7G97TGWi0$;  !&w %ej&8 9!&y!1#)::g#6#)::g#6%+ZZ %:'0.3    &N K[s Hc i}i}i}|D]}|jd}|jd}|jd}|r|j|ddz||<|r|j|ddz||<|sm|j|ddz||<|Dcgc]}|jddvr|}}|Dcgc]}|jddvr|} }|rdnd } | t|t|t| dtt|j tt|j tt|j |dd d d Scc}wcc}w) Nrrrrr >rXr]>rlrWz1handler-encoded-route-target-scalars-nonpromotingz0no-encoded-route-target-scalars-in-handler-graphr) rMrawScalarCandidateCount!routeProofRawScalarCandidateCount#routeContextRawScalarCandidateCountpromotingCandidateCounttargetGroupCountstargetLabelCounts kindCounts sampleRowsrN)r*rdictsorteditems) r< group_counts label_counts kind_countsr,rfrcr proof_rows context_rowsrMs r#encoded_target_summaryrs#%L#%L"$K = & &wwv "."2"25!"?6+"3"3"5673Bi$  s E%6E*c:;| ddddddddSt|}t|}t|}|s ddddddddS|Dcgc]@}|d|jd|jd xsgt |d d |dgd B}}t }|D chc]} t | d } } g} g} i:i;g} d }d }d }d }d }|rB|j d } t | d }||vr'|j|t | d }t||}|d k(rtnt}t||||}t||}t|||}t||Dcgc]}i|t||| dd}}|Dcgc]}|jds|}}|Dcgc]}|jddk(s|}}|Dcgc]}|jds|}}|Dcgc]}|jddk(r|}}t!|} t!|}!| j#D]&\}"}#:j|"d t |#z:|"<(|!j#D]&\}"}#;j|"d t |#z;|"<(| j%||t'|z }|t'|z }|t'|z }|t'|t'|z z }| j)id| dd| jdd | jd xsgd |dt|d|jdd|jdd|jdd|jdd| ddt'|d | d!t'|d"t'|d#t'|d$t'|d%t'||!t'|d&||k\r|D]!}t+|jd'}$| dt||d(z|jd)|jd'|jd|jd*xs |$d+|$d,ndg| d|jd)d-|jd'd.}%t'| d/kr| j)|%|$|jddk7s|$|vs|$| vr| j|$|j)|%d*xsd+|$d,dg|$|d(z|%dd $|rBt-t/:j#:t-t/;j#;d0d1h}&d2d3h}'d4d5h}(t1:fd6|&D})t1:fd7|'D}*t1:fd8|(D}+t1;fd9|&D},t1;fd:|'D}-t1;fd;|(D}.|)d kDxs|,d kD}/|*|-z}0|+|.z}1|0d kD}2|1d kDxr|/ xr|2 }3|/rd<}4d=}5n|2rd>}4d=}5n |3rd?}4d}5nd@}4d}5t3| }6idAdBdC|4dD|5dE|/dF|/dG|2dH|0dI|1dJ|3dK|dL|dMt'|dN|D789cgc],}7|7j#D89cic]\}8}9|8d k7s |8|9c}9}8.c}9}8}7dO|D789cgc],}7|7j#D89cic]\}8}9|8d k7s |8|9c}9}8.c}9}8}7dPt'| dQ|dR|idS|dT|dt1:j5d :dU|)dV:jd0d dW:jd1d dX:jd2d dY:jd4d dZ:jd5d d[:jd3d d%t1;j5d\;d]|,d^;jd0d d_;jd1d d`;jd2d ;jd4d ;jd5d ;jd3d |6|6jdC|6jda|6jdb|6jdc|6jdd|6jde|6jdf|6jdg| ddh| ddi|3rdjdlSdkdlScc}wcc} wcc}wcc}wcc}wcc}wcc}wcc}9}8wcc}9}8}7wcc}9}8wcc}9}8}7w)mNFz.selected-pointer-handler-callgraph-unavailablerz missing-exe) availablerMrN proofFoundrouteProofFoundrouteContextFoundunavailableReasonzmissing-handler-rootsrcr{r|rdr)rcr{r|rddepthr!r) max_bytes) functionVaHex functionDepth functionLabelrfrcall targetSectionz.textrwindowStartVaHexrwindowEndVaHexendVaHexwindowByteCount byteCountwindowTermination terminationr!immediateHitCountimmediateHitCountsByGroupdirectTransferCountdirectCallCountmappedDirectCallCounttextDirectCallCountdirectTransferTargetHitCount)$directTransferTargetHitCountsByGroup$encodedTargetRawScalarCandidateCount targetVaHexr rrsub_08x->) fromLabel fromVaHexr callVaHexrrrr!rXr]rWrlrTrVc3BK|]}j|dywrNr).0rfimmediate_countss r# z?selected_pointer_handler_call_graph_contrast..sY5 0 4 4UA >Yc3BK|]}j|dywrr)rs r#rz?selected_pointer_handler_call_graph_contrast..s$(+0UA&(rc3BK|]}j|dywrr)rs r#rz?selected_pointer_handler_call_graph_contrast..s$++0UA&+rc3BK|]}j|dywrr)rrftransfer_countss r#rz?selected_pointer_handler_call_graph_contrast..s"[U?#6#6ua#@"[rc3BK|]}j|dywrr)rs r#rz?selected_pointer_handler_call_graph_contrast..s#+*/E1%+rc3BK|]}j|dywrr)rs r#rz?selected_pointer_handler_call_graph_contrast..s#.*/E1%.rz3selected-pointer-handler-callgraph-route-hit-reviewreview-requiredz7selected-pointer-handler-callgraph-route-context-reviewz8selected-pointer-handler-callgraph-generic-only-contrastz4selected-pointer-handler-callgraph-nonroute-contrastrTrMrNrrrrouteContextHitCountexpectedContextHitCountonlyExpectedContextmaxDepthobservedMaxDepth rootCountrootRows targetRowsreachableFunctionCountdirectCallEdgeCountmappedDirectCallEdgeCounttextDirectCallEdgeCountunmappedDirectCallEdgeCountrouteImmediateHitCountcurrentImmediateHitCountrouteRecordImmediateHitCountrouteSelectorImmediateHitCount selectedPointerImmediateHitCountselectorTableImmediateHitCountbranchStateImmediateHitCountrrouteDirectTransferHitCountcurrentDirectTransferHitCount!routeRecordDirectTransferHitCount#routeSelectorDirectTransferHitCountrrrrrrr @zA bounded direct-call graph rooted at the selected-pointer handlers reaches only expected generic selected-pointer/selector-table context, with no current selector root, route record, route selector, or branch-state hits.znThe selected-pointer handler direct-call graph requires review before it can be treated as non-route contrast.)%selectedPointerDirectTransferHitCount#selectorTableDirectTransferHitCount!branchStateDirectTransferHitCountencodedTargetScanencodedTargetClassificationr.encodedTargetRouteProofRawScalarCandidateCount0encodedTargetRouteContextRawScalarCandidateCount$encodedTargetPromotingCandidateCountencodedTargetGroupCountsencodedTargetLabelCountsencodedTargetKindCountssampleReachableFunctionssampleCallEdges conclusion)rrrxr*rrrpoprgmax"SELECTED_POINTER_HANDLER_MAX_BYTES)SELECTED_POINTER_HANDLER_CALLEE_MAX_BYTESrr r rr rrrrr7r rrsumrr:)<exert max_depthsectionsrootsrrootqueue visited_vasitem queued_vasreachable_functions call_edges encoded_rowsmax_observed_depthdirect_call_edge_countmapped_direct_call_edge_counttext_direct_call_edge_countunmapped_direct_call_edge_count function_varrrimmediate_hits transfershit encoded_hitstransfer transfer_hits call_rowsmapped_call_rowstext_call_rowsrow_immediate_countsrow_transfer_countsrfr1redge proof_groupsreview_context_groupsexpected_context_groupsroute_immediate_countroute_context_immediate_count expected_context_immediate_countroute_transfer_hit_count route_context_transfer_hit_count#expected_context_transfer_hit_count proof_foundroute_context_hit_countexpected_context_hit_countroute_context_foundonly_expected_contextrMpromotion_status encoded_scanr,rrrrs< @@r#,selected_pointer_handler_call_graph_contrastrMs  {N($!&!.  S!H 56L ME23IJG N($!&!8  $  '] HH^488M28bd4j/']O   E  EK.34d#d4j/4J4J')&(O!L$%!"#&'# yy|$t*o + %  $DM" !3U;z /:  %S(K9U-fg>'B =VWM    !&{!3!&!%g    3<Uhx||G?TU U.7Z(8<<;OSY;YXZ Z5>`(,,B_H``%5 !||O,7    3>B1-@0668 RLE5&6&:&:5!&Ds5z&Q U # R/557 PLE5%4%8%8%BSZ%OOE " PL)#i.0%-=)>>%#s>'::#'3y>C@P$  s9~$  $S)9%:$ "3~#6!$ " +C ,>#$ $5H47 4E'$  * I  !! H"8<< #>?I!']";/%\\+6'||M:!)o!>'||M: O.7.Cd9S/*&\||K01HLL4O3PQ D:$!!$'!<<0G; + * NN9 % LLm,F$yo0F $!V  5! E JF#3#9#9#;<=6/"7"7"9:;O~.L-~>13CDYLYY$'(4I(%!(++4K+($ #"[l"[['*+3H+($+..3J.+'(!+K/G!/KK;>^^!ADg!g1A5"Q& $O $# # N, R, S$O$),7LF TF .F  +F  k F  ; F  0 F   7F  "#=F  4F  IF  .F  SZF    +.))+ EJCS%Z E F "   +.))+ EJCS%Z E #F * !#&9":+F , 5-F . $%B/F 0 "#>1F 2 &'F3F 4 S!1!8!8!:;5F 6 $%57F 8 !"79F : #$4$8$8A$F;F < '(8(<(<^Q(O=F > )*:*>*>?OQR*S?F @ +,<,@,@ASUV,WAF B )*:*>*>?OQR*SCF D '(8(<(<^Q(OEF F 'O,B,B,D(EGF H /IF J &'?KF L ()<)/B/BCSUV/W-<-@-@QR-S)'3'7'78H'I0<0@0@ %1 ;G:J:J /; =I &   -C D &  "8<<0I#J&  x||,AB&  HLL);<&  X\\+.&  !(,,/G"H&  x||,AB&  $X\\2M%N&  "8<<0I#J&  !(,,/G"H&  #HLL1K$L!& " ' 5S(T#& $+3,,7W*X,4LL9[,\*2,,7W*X(0 5S(T'/||4Q'R/7||= 19 21 G& &r%c V tt|xst}|Dcgc]}t|t |||}}t d|D|r|dni gd t fd D |Dcgc]/}t|jdtr|dtk\r|1}}td|D}t|xrt fd|D} d jd |Dxsd } |t|r t|nd|| |d | d dScc}wcc}w)N)r c3RK|]}|jdtk(s|!yw)rN)r*-SELECTED_POINTER_HANDLER_CALL_GRAPH_MAX_DEPTHrr,s r#rzHselected_pointer_handler_call_graph_depth_sensitivity..Os!e 37d des'')rrrrrrrrrrrrr rrrrrc3@K|]}j|ywNr))rr default_rows r#rzHselected_pointer_handler_call_graph_depth_sensitivity..fsAc[__S)Arc3lK|],}|jdduxr|jddu.yw)rFrNr)rTs r#rzHselected_pointer_handler_call_graph_depth_sensitivity..ls=   &P3773F+G5+PPs24c3NK|]tfdDk(yw)c3@K|]}j|ywrWr))rrr,s r#rzRselected_pointer_handler_call_graph_depth_sensitivity...qs 2scggcl 2rYN)tuple)rr,baseline stable_keyss @r#rzHselected_pointer_handler_call_graph_depth_sensitivity..ps)<   2k 22h><s!%r4c32K|]}t|ywrW)rm)rrs r#rzHselected_pointer_handler_call_graph_depth_sensitivity..tsA#e*Asr5z"Depth sensitivity over max depths z found no selected-pointer handler current/root/route-selector/branch-state call-graph hits and no promoting encoded target scalars.) depthsChecked defaultDepthmaxDepthCheckedproofAbsentAcrossCheckedDepths#countsStableAtAndBeyondDefaultDepthdefaultDepthRowr<r)rrr  8&#   D eeRbKK(A[AAH! cggj)3 /  OL L !! L23<,<9MA.AAHSJ'E2@3~.d*6/<&0 =p p  e H!s D!;4D&c|xsg}|Dcgc]:}t|jdxsgvrt|jdxsgvr|<}}g}g}|D]}|jdxsgD]]}|jddk(st|jdxsdvs4|jd}|sH||vsM|j |_|jdxsijd xsgD]A}|jd d k(s|jd}|s,||vs1|j |Ct ||Dcgc]%}|jd s|jd 'c}t |Dchc]%}|jd s|jd 'c}t |Dchc]%}|jds|jd'c}t |Dchc]}|jdxsgD]}| c}}|||r|djdnd|r|djdnd|r|djdng|r|djdng|r|djdngtd|Dt||rddSddScc}wcc}wcc}wcc}wcc}}w)N rootFieldMapstrace opcodeHex0x09meaningreactivationContext activatorsropcode09Mode0NextStream writerVaHexstreamStartHexrootHex rootLabelsrrFcurrentWriterPathProofFoundfailedCurrentWriterPathGateIdsmissingEvidenceremainingProofsc3K|]U}d|jdxsdvxs8td|jdxsijdxsgDWyw)zout-of-range valuesopcode10HelperRulerxc3JK|]}d|jdxsdvyw)zout-of-range argument 0x20rwrxNr))rrOs r#rz5current_writer_paths_for...s+-Y1G1M2Ns!#ry contextRowsN)r*anyrTs r#rz+current_writer_paths_for..sm)  "cgg.B&C&Ir J  #(; < BGG V\Z\ ) sAAzblocked-current-internal-onlymissing) writerCount writerVaHexesstreamStartHexes rootHexesrselectedPointerStoreVaHexesactivationStoreVaHexesrrrrroutOfRangeHelperMentionedcurrentInternalOnlyrN) SOURCEr*TARGETrpr7rrrrj) r<r, route_rowsselected_store_vasactivation_store_vassteprdr&rcs r#current_writer_paths_forrs :2D cggo.4" 5&SWW_E]Ecac:d J 4GGG$* 2Dxx $.3NSWS[S[\eSfSljl3mXXg&"$66&--b1  2 WW017R<<\JPb 4Dxx#<<XXg&"$88(//3  4 4:?SUCM:a=,,->?SU%() " ) &  $J/>H:- ,OX- #&b#q\cs/?J2J7J7;J< J< 4K K.#Kc|jd}|dk(ry|dk(ry|dvry|dk(ry |d k(ry |jd ry y)Nr~zsave-loader-writerzrequires-captured-save-selectorzopcode07-indexed-writerz"requires-indexed-slot-current-root>opcode08-zero-checkopcode08-activator-readz,requires-prior-selected-pointer-current-rootzopcode09-mode0-writerz(requires-current-stream-in-current-rangezopcode09-mode1-writerz(requires-stream-operand-in-current-rangerouteRequirementzrequires-route-prerequisitezself-containedr))r,r~s r#hook_requirement_kindrs_ $I((0--3FF=++9++9 ww!", r%c F|xsijdxsi}|jd}|jd||jd|jd|jd|jd|jd|jd |d k(d S) N'selectedPointerImmediateContextEvidencerouteSpecificWindowHitCountimmediateRefCount*currentSelectorRootImmediateWindowHitCount&sourceMapStringImmediateWindowHitCount&targetMapStringImmediateWindowHitCountmapLoaderWindowRelHitCountscriptRunnerWindowRelHitCountselectorTableWindowRelHitCountr) hookWindowScannedRefCounthookWindowRouteSpecificHitCounthookWindowCurrentRootHitCounthookWindowSourceStringHitCounthookWindowTargetStringHitCounthookWindowMapLoaderRelHitCount!hookWindowScriptRunnerRelHitCount"hookWindowSelectorTableRelHitCounthookWindowAllRouteSpecificZeror))edge_trigger_gaprOroute_specific_hit_counts r#$selected_pointer_hook_window_contextrs%2**+TU[Y[G&{{+HI%,[[1D%E+C)05a)b*1++6^*_*1++6^*_*1++6R*S-4[[9X-Y.5kk:Z.[*Ba*G  r%c  |jdxsgDcgc]}|jddur|}}|Dcgc]}|jds|}}|Dcgc]}|jdr|}}|Dcgc]O}|jd|jd|jdt||jddQ}}g} |D],}|jd } | s| | vs| j| .t|} t|} d } t |}|xsi}|xsi}|jd xsi}| | |jd |jd |jd|Dcgc]%}|jds|jd'c}|Dcgc]%}|jds|jd'c}| || t|| d |id|d|d|jdd|jdd|jdd|jdd|jdd|jdd|jdd |jd!d"|jd#d$|jd%d&|jd'd(|jd)d*|jd+d,|jd-d.|jd/id0|jd1d2|jd3d4|jd5d6|jd7d8|jd9d:|jd;d<|jd=d>|jd?d@|dA|jdBdC|jdDdE|jdFdG|jdHdI|jdJdK|jdLxsidM|jdNxsidO|jdPxsi| d kDxr| | k(|jdxsd d kDxr[| d k(xrT|jdJd d k(xr=|jdQdRuxr(|jddRuxr|jddRudSdTdUScc}wcc}wcc}wcc}wcc}wcc}w)VNr}presentFrreaccessr~)rerr~routeRequirementKindrrrrselectedPointerWriterHookCountselectedPointerReaderHookCount!selectedPointerGlobalTextRefCount) traceHookPointCountpresentHookPointCountwriterHookCountreaderHookCountrr|hookMechanismsrouteRequirementKindsrouteRequirementRowsroutePrerequisiteUnprovenCounthookSelfProvingCounthookPromotingCounthookHandlerCallGraph$hookHandlerCallGraphDepthSensitivity"hookHandlerCallGraphClassificationrMhookHandlerCallGraphProofFoundr%hookHandlerCallGraphRouteContextFoundr(hookHandlerCallGraphRouteContextHitCountr+hookHandlerCallGraphExpectedContextHitCountr'hookHandlerCallGraphOnlyExpectedContextrhookHandlerCallGraphMaxDepthrhookHandlerCallGraphRootCountr*hookHandlerCallGraphReachableFunctionCountr'hookHandlerCallGraphDirectCallEdgeCountr-hookHandlerCallGraphMappedDirectCallEdgeCountr+hookHandlerCallGraphTextDirectCallEdgeCountr*hookHandlerCallGraphRouteImmediateHitCountr,hookHandlerCallGraphCurrentImmediateHitCountr0hookHandlerCallGraphRouteRecordImmediateHitCountr2hookHandlerCallGraphRouteSelectorImmediateHitCountr4hookHandlerCallGraphSelectedPointerImmediateHitCountr2hookHandlerCallGraphSelectorTableImmediateHitCountr0hookHandlerCallGraphBranchStateImmediateHitCountr/hookHandlerCallGraphRouteDirectTransferHitCountr3hookHandlerCallGraphDepthSensitivityMaxDepthCheckedrcBhookHandlerCallGraphDepthSensitivityProofAbsentAcrossCheckedDepthsrdGhookHandlerCallGraphDepthSensitivityCountsStableAtAndBeyondDefaultDepthrehookHandlerEncodedTargetScan&hookHandlerEncodedTargetClassificationr/hookHandlerEncodedTargetRawScalarCandidateCountr9hookHandlerEncodedTargetRouteProofRawScalarCandidateCountr;hookHandlerEncodedTargetRouteContextRawScalarCandidateCountr/hookHandlerEncodedTargetPromotingCandidateCountr#hookHandlerEncodedTargetGroupCountsr#hookHandlerEncodedTargetLabelCountsr"hookHandlerEncodedTargetKindCountsrrTz$trace-targets-prerequisites-unprovenr)hookPrerequisitesAllUnproventextRefsAreTraceTargetsOnly gateStatusrN)r*rr7rr)rtrhandler_call_graph$handler_call_graph_depth_sensitivityr,hooksprerequisite_rowsself_proving_rowshook_requirementsrequirement_kindsr hook_countprerequisite_unproven_counthook_promoting_count hook_windowrLs r#*selected_pointer_hook_prerequisite_summaryrs*--.FGM2   779 U *  E  ).M9K1LMM(-QSWW=O5PQQ   WWW%ggh'-$9#$> #(: ;     +ww-. D 11  $ $T *+UJ"%&7"867GHK+1r+O+USU(%))*=>D"L)!+1556VW1556VW-C-G-GHk-l49NSSWWW=M(N;@YCCGGKDX377;/Y!2 1*E #$5 62e  e   2e  /0Te  -.@.D.DEU.V!e " )*<*@*@*N#e $ 01C1G1GH[1\%e & 34F4J4JKa4b'e ( 67I7M7MNg7h)e * 23E3I3IJ_3`+e , '(:(>(>z(J-e . ();)?)? )L/e 0 56H6L6LMe6f1e 2 23E3I3IJ_3`3e 4 89K9O9O ': 5e : 67I7M7M %8 ;e @ 56H6L6L $7 Ae F 78J8N8N &9 Ge L ;P>T>T ,? Se X ?@R@V@V .A Ye ^ =>P>T>T ,? _e d ; 0 4 45F Gse v M 0 4 45U Vye | R 0 4 45Z [e B ' Ce D 12D2H2H )3 Ee J :;M;Q;Q 2< Ke P DEWE[E[ <F Qe V FGYG]G] >H We \ :;M;Q;Q 2< ]e b ./A/E/E &0 0 ge h ./A/E/E &0 0 me n -.@.D.D %/ / se t)3Q(d;VZd;d # ' '(K L QPQUV V H$) H"&&'MqQUVV H @ATI H#&&|4D@  H #&&':;4G<$Ie e;  NQ 8OYs;R9R>R>S2S|jdd?|jdd@t|dA| jddB| jddC| jd/dD| jdxsgidE| jdFxsgdG| jdHxsgdI| jdJdK| jddL| jddMt| dN| jddO| jddP| jd/dQ| jdRxsijdSdT| jdFxsgdU| jdxsgdV| jdHxsgdW| jdJdX| jddY| jddZt| id[| jdd\| jdd]| jd/d^| jdRxsijdSd_| jdFxsgd`| jdxsgda| jdHxsgdb| jdJdc| jddd| jddet| df| jddg| jddh| jd/di| jdRxsijdSdj| jdkdl| jdFxsgidm| jdxsgdn| jdHxsgdo| jdJdp| jddq| jddrt| ds| jddt| jddu| jd/dv| jdRxsijdSdw| jdkdx| jdFxsgdy| jdxsgdz| jdHxsgd{| jdJd|| jdd}| jdid~t| dt|d|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdxsid|jdd|jdd|jdid|jdd|jdd|jdd|jdd|jdd|jdd|jd/d|jdRxsijdSd|jdFxsgd|jdxsgd|jdHxsgd|jdJd|jdd|jddt|d|jdd|jdid|jd/d|jdRxsijdSd|jdkd|jdFxsgd|jdxsgd|jdHxsgd|jdJd|jdd|jddt|d|jddud|jdd|jdd|jdd|jd«d|jdīd|jdƫ|jdǫ|jd|jd|jd|jd«|jdī|jdƫ|jdǫ|jdRxsijdStdȄ|DtdɄ|Ddd˜ S)NanyReachedCurrentRootanyReachedRouteSelectorContextr@memorySnapshotStatussnapshotStatusmemorySelectedSelectorselectedPointerContextSelectormemorySelectedPointerHexselectedPointerStaticValueHexmemoryEqualsCurrentRoot%selectedPointerEqualsCurrentRouteRootinputBaselineSelectorbaselineSelectedPointerContextselectorinputFinalSelectorfinalSelectedPointerContextinputHeldKeyPressedDetectedheldKeyPressedDetected!inputXEventChangedSelectedPointerxEventChangedSelectedPointer(inputKeyBufferPokeChangedSelectedPointer#keyBufferPokeChangedSelectedPointerkeySequenceCount sequenceCountkeySequenceReachedCurrentRootkeySequenceReachedRouteSelectorpollSequenceCountpollSampleCount sampleCountpollObservedSelectorsobservedSelectorspollReachedCurrentRootpollReachedRouteSelectorpreludePollSequenceCountpreludePollSampleCountpreludePollObservedSelectorspreludePollReachedCurrentRootpreludePollReachedRouteSelectorlongPollSequenceCountlongPollSampleCountlongPollObservedSelectorslongPollReachedCurrentRootlongPollReachedRouteSelectorlatePollSequenceCountlatePollSampleCountlatePollStartupWaitSecondsstartupWaitSecondslatePollObservedSelectorslatePollReachedCurrentRootlatePollReachedRouteSelectorrouteWatchPollSequenceCountrouteWatchPollSampleCount routeWatchPollStartupWaitSecondsrouteWatchPollObservedSelectors routeWatchPollReachedCurrentRoot"routeWatchPollReachedRouteSelectorrouteWatchPollValuessavedataLoadPollSequenceCountsavedataLoadPollSampleCount"savedataLoadPollStartupWaitSeconds!savedataLoadPollObservedSelectors"savedataLoadPollReachedCurrentRoot$savedataLoadPollReachedRouteSelectorsavedataLoadPollValues&multislotSavedataLoadPollSequenceCount$multislotSavedataLoadPollSampleCount+multislotSavedataLoadPollStartupWaitSeconds*multislotSavedataLoadPollObservedSelectors,multislotSavedataLoadPollPublicSaveSelectorspublicSaveSelectors4multislotSavedataLoadPollObservedPublicSaveSelectorsobservedPublicSaveSelectors2multislotSavedataLoadPollReachedPublicSaveSelectoranyReachedPublicSaveSelector+multislotSavedataLoadPollReachedCurrentRoot-multislotSavedataLoadPollReachedRouteSelectormultislotSavedataLoadPollValues/caseAliasMultislotSavedataLoadPollSequenceCount-caseAliasMultislotSavedataLoadPollSampleCount4caseAliasMultislotSavedataLoadPollStartupWaitSeconds4caseAliasMultislotSavedataLoadPollCaseAliasesEnabled caseAliasesenabled5caseAliasMultislotSavedataLoadPollPublicSaveSelectors3caseAliasMultislotSavedataLoadPollObservedSelectors=caseAliasMultislotSavedataLoadPollObservedPublicSaveSelectors;caseAliasMultislotSavedataLoadPollReachedPublicSaveSelector4caseAliasMultislotSavedataLoadPollReachedCurrentRoot6caseAliasMultislotSavedataLoadPollReachedRouteSelector(caseAliasMultislotSavedataLoadPollValues8inputPathCaseAliasMultislotSavedataLoadPollSequenceCount6inputPathCaseAliasMultislotSavedataLoadPollSampleCount=inputPathCaseAliasMultislotSavedataLoadPollStartupWaitSeconds=inputPathCaseAliasMultislotSavedataLoadPollCaseAliasesEnabled>inputPathCaseAliasMultislotSavedataLoadPollPublicSaveSelectorssyntheticSelector20InputPathCaseAliasPollReachedStagedSelector;syntheticSelector20InputPathCaseAliasPollReachedCurrentRoot=syntheticSelector20InputPathCaseAliasPollReachedRouteSelector/syntheticSelector20InputPathCaseAliasPollValues:patchedPublicSelector20InputPathCaseAliasPollSequenceCount8patchedPublicSelector20InputPathCaseAliasPollSampleCount?patchedPublicSelector20InputPathCaseAliasPollStartupWaitSeconds?patchedPublicSelector20InputPathCaseAliasPollCaseAliasesEnabled;patchedPublicSelector20InputPathCaseAliasPollStagedSaveKindpatchedPublicSelector20InputPathCaseAliasPollObservedSelectorsDpatchedPublicSelector20InputPathCaseAliasPollObservedStagedSelectorsBpatchedPublicSelector20InputPathCaseAliasPollReachedStagedSelector?patchedPublicSelector20InputPathCaseAliasPollReachedCurrentRootApatchedPublicSelector20InputPathCaseAliasPollReachedRouteSelector3patchedPublicSelector20InputPathCaseAliasPollValues-constructedDiagnosticPollReachedRouteSelectorTfileIoAttachLoadBackendbackendfileIoAttachLoadSequenceCount$fileIoAttachLoadSequenceWithPidCountsequenceWithPidCount*fileIoAttachLoadSequenceWithKeyWritesCountsequenceWithKeyWritesCount fileIoAttachLoadInputTraceUsableinputTraceUsable fileIoAttachLoadMatchedLineCountmatchedLineCountanySavedat1DatAccessc3$K|]}|du ywTNrrs r#rz(runtime_probe_summary..s/l% /lc3$K|]}|du ywrrrs r#rz(runtime_probe_summary.. s1pE%4-1prr) !fileIoAttachLoadAnySavedat1Access fileIoAttachCaseAliasLoadBackend&fileIoAttachCaseAliasLoadSequenceCount-fileIoAttachCaseAliasLoadSequenceWithPidCount3fileIoAttachCaseAliasLoadSequenceWithKeyWritesCount)fileIoAttachCaseAliasLoadInputTraceUsable)fileIoAttachCaseAliasLoadMatchedLineCount*fileIoAttachCaseAliasLoadAnySavedat1Access+fileIoAttachCaseAliasLoadCaseAliasesEnabled anyRuntimePollReachedCurrentRoot"anyRuntimePollReachedRouteSelectorrN)r*r>rQr)memory_snapshot_context input_probekey_sequence_probeselected_pointer_pollselected_pointer_prelude_pollselected_pointer_long_pollselected_pointer_late_pollroute_watch_values_poll#selected_pointer_savedata_load_poll-selected_pointer_multislot_savedata_load_poll8selected_pointer_multislot_savedata_load_case_alias_pollCselected_pointer_multislot_savedata_load_input_path_case_alias_poll1selected_pointer_predecessor_direction_sweep_poll?selected_pointer_predecessor_left_overrun_activation_sweep_poll2selected_pointer_predecessor_route_attempt_contextBselected_pointer_synthetic_selector_2_0_input_path_case_alias_pollGselected_pointer_patched_public_selector_2_0_input_path_case_alias_poll0save_file_io_strace_attach_load_candidates_probe;save_file_io_strace_attach_load_candidates_case_alias_probe poll_reached_current_root_values"poll_reached_route_selector_values predecessor_route_public_contexts r#runtime_probe_summaryr]sN, !!"9:%))*AB"&&'>?"&&'>?##$;<+//0GH599:QR@DDE\]KOOPgh9==>UVGKKLcd:>>?VW ($ !!"BC%))*JK"&&'GH"&&'GH##$DE+//0PQ599:Z[@DDEefKOOPpq9==>^_GKKLlm:>>?_` *& ;>>?abhfh%Q  7 ; ;#>?f#g Q  +//2R"S"YWY!^!^_i!j Q  {/LMSQSXXYcd Q  &{7O'PQ  ,[__=[-\Q  3KOODi4jQ  .22?CQ  ();)?)?@W)XQ  *+=+A+ABb+cQ  266GQ  044]CQ  !6!:!:;N!O!USUQ  !"7";";^$_#Q $ #$A$E$Eo$V%Q & !"?"C"CM"R'Q ( '(E(I(IJ](^(dbd)Q * ()F)J)JKb)c+Q , *+H+L+LMm+n-Q . !;!?!?!P/Q 0 9==mL1Q 2 $%?%C%CDW%X%^\^3Q 4 %&@&D&DE\&]5Q 6 '(B(F(FGg(h7Q 8 !;!?!?!P9Q : 9==mL;Q < %&@&D&DEY&Z=Q > $%?%C%CDW%X%^\^?Q @ %&@&D&DE\&]AQ B '(B(F(FGg(hCQ D &'>'B'B?'SEQ F $%<%@%@%OGQ H +,C,G,GH\,]IQ J *+B+F+FGZ+[+a_aKQ L +,C,G,GH_,`MQ N -.E.I.IJj.kOQ P  34K LQQ R ()L)P)PQ`)aSQ T &'J'N'N}']UQ V -.Q.U.UVj.kWQ X ,-P-T-TUh-i-omoYQ Z -.Q.U.UVm.n[Q \ /0S0W0W ,1 ]Q b !"56Y"ZcQ d 12_2c2cds2teQ f /0]0a0abo0pgQ h 67d7h7h 8 iQ n 5 9 = =>Q R XVXqQ t 7 9 = =>S T ZXZwQ z ? 9 = =>[ \ b`b}Q @ =>k>o>o *? AQ F 67d7h7h #8 GQ L 89f9j9j ,: MQ R *+>?l+mSQ T : D H H YWQ Z 8 D H H W]Q ` ? D H HI] ^cQ f ? E I I- X ^\^ c cdm niQ l @ D H HI^ _ eceoQ r > D H HI\ ] cacuQ x H D H HIf g mkm{Q ~ F D H HIg hAQ D ? D H HI` aGQ J A D H HIi jMQ P 34G D5 QQ V C O S STc dYQ \ A O S STa b_Q b H O S STh ieQ h H P T TUb c igi n nox ykQ n I O S STi j pnpqQ t G O S STg h nlnwQ z Q O S STq r xvx}Q @ O O S STr sCQ F H O S STk lIQ L J O S STt uOQ R <=P O> SQ X 56g6k6k 7 YQ ^ 34e4i4i 5 _Q d :;l;p;p < eQ j : > B B= Q WUW \ \]f gmQ p 67h7l7l 8 qQ v ; = A ABW X ^\^yQ | 9 = A ABU V \Z\Q B C = A AB_ ` fdfEQ H A = A AB` aKQ N : = A ABY ZQQ T < = A ABb cWQ Z ./B =0 [Q ` A K O OP_ `cQ f ? K O OP] ^iQ l F K O OPd eoQ r F L P PQ^ _ ece j jkt uuQ x B K O OP` a{Q ~ G K O OPe f ljlAQ D E K O OPc d jhjGQ J O K O OPm n trtMQ P M K O OPn oSQ V F K O OPg hYQ \ H K O OPp q_Q b :;N K< cQ h )*K >+ iQ n 1 > B BCT UqQ t , > B B< PwQ z 3 > B BCf g}Q @ 1 > B BCT UCQ F 4 > B BCW XIQ L 2 > B BCU VOQ R 9 > B BCg hUQ X 6 > B BCc d[Q ^ 4 > B BCZ [aQ d 7 > B BCZ [gQ j 5 > B BCX YmQ p 8 > B BC[ \ b`bsQ v ; > B BC^ _yQ | ? > B BCb cQ B @ > B BCc dEQ H D > B BCg hKQ N F > B BCi jQQ T E , 0 01A BWQ Z A , 0 01a b]Q ` A N R RSb ccQ f ? N R RS` aiQ l F N R RSg hoQ r F O S STa b hfh m m uQ | C N R RSh i omoQ B E N R RSf g mkmE Q H K N R RSp q M Q P I N R RSq rS Q V F N R RSj kY Q \ H N R R0 _ Q f :;N N< g Q l E S W WXg ho Q r C S W WXe fu Q x J S W WXl m{ Q ~ J T X XYf g mkm r r A Q H F S W WXh iK Q N G S W WXm n trtQ Q T I S W WXk l rprW Q Z O S W W-  c Q f M S W W. i Q p J S W WXo ps Q v L S W W0 y Q @ >?R S@ A Q F 8 S W W0  I Q R "#S#W#WXa#bS Q T ()Y)])]^m)nU Q V /0`0d0d "1 W Q \ 56f6j6j (7 ] Q b +,\,`,`as,tc Q d +,\,`,`as,te Q f .^-a-a ".  H K KI V H K KO \ H K KLb c H K KLh i H K KL^ _ H K KL^ _ H K KLb cI L L] [ a_a f fgp q,//lKk/l,l.11pMo1p.p$a Q Qr%c z |xsi}|sddiS|jdxsi}|jdxsi}|jdxsi}|jdxsi}|jdxsi}|jdxsi}|jd xsi}|jd xsi} |jd xsi} |jd xsi} |jd xsg} | D cgc]$} | jdr| jd&}} t| D chc]$} | jdr| jd&c} }iddd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdxsgd|jdxsid|jdd|jdd|jdd|jd d!|jdd"|jd"d#|jd#xsgid$|jd$xsgd%|jd%xsgd&|jd&xsgd'|jd d(|jd)d*|jdd+|jdxsgd,|jd-xsgd.|jd/d0|jd1d2|jd3d4|jd5d6|jd7xsgd8|jd9xsgd:|jd;d<|jd=d>|jd?id@|jddA|jd dB|jdCdD|jdExsgdF|jdGxsgdH|jddI|jd dJ|jddK|jdLxsgdM|jdNxsgdO|jdxsgdP|jdQdR|jdSdT|jdUdV|jd dW|jddX|jdxsgidY|jdQdZ|jd d[|jdd\|jdxsgd]|jdQd^|jd_d`|jdadb|jddc| jddde| jdfdg| jdhdi| jdjdk| jdlxsgdm| jdnxsgdo| jdodp| jdpdq| jdr||tds| Dtdt| Dtdu| Dtdv| DddwScc} wcc} w)xNrF runtimePollactiveOrderRuntimeEvidencebranchStateRuntimeEvidenceexitCandidateRuntimeEvidenceleftStabilityRuntimeEvidencerecheckactiveOrderRecheck followupAliasbridgeEvidence!globalSelectedPointerPathEvidenceexactFollowupPointerContexts pointerVaHextraceStopReasonTnotRoutePromotionProofrNcurrentSelectorfollowupSelectorcurrentRootHexfollowupRootHexruntimePollSampleCountrruntimePollObservedSelectorsrruntimeSelectorSampleCounts"runtimeTransitionTimelineAvailable+observedCurrentThenFollowupInDiagnosticPoll,coObservedCurrentAndFollowupInDiagnosticPollactiveOrderSourcePoll sourcePollactiveOrderSampleCountactiveOrderCountHexactiveOrderHexesactiveSlotFirstDwordsStaticHexruntimeSlotBaseTableStaticHexesruntimeObjectTableStaticHexesbranchStateSourcePollbranchStateTotalSampleCountrCbranchStateRouteSampleCountbranchStateObservedSelectors"branchStateObservedStagedSelectorsobservedStagedSelectorsbranchStateReachedCurrentRootreachedCurrentRootbranchStateReachedRouteSelectorreachedRouteSelector!branchStateActiveSelectionFlagHexactiveSelectionFlagHex&branchStateRouteActiveSelectionFlagHexrouteActiveSelectionFlagHexbranchStateSecondaryHexessecondaryBranchStateHexesbranchStateRouteSecondaryHexesrouteSecondaryBranchStateHexesbranchStateSecondaryAllZerosecondaryBranchStateAllZero branchStateRouteSecondaryAllZero routeSecondaryBranchStateAllZero+branchStateMatchesPredecessorFillHypothesis matchesPredecessorFillHypothesisbranchStatePromotionStatusexitCandidateSourcePollexitCandidateCountcandidateCountexitCandidateRouteSelectorSidesrouteSelectorSides$exitCandidateBranchStateNonzeroSidesbranchStateNonzeroSidesexitCandidatePromotionStatusleftStabilitySourcePollleftStabilitySampleCountleftStabilityRouteSequenceNamesrouteSequenceNames"leftStabilityNonRouteSequenceNamesnonRouteSequenceNamesleftStabilityObservedSelectors"leftStabilityRouteSelectorHitCountrEleftStabilityOpcode24AllZeroopcode24AllZero$leftStabilityRouteHitReproducibilityrouteHitReproducibilityleftStabilityRecheckSourcePollleftStabilityRecheckSampleCount%leftStabilityRecheckObservedSelectors)leftStabilityRecheckRouteSelectorHitCount leftActiveOrderRecheckSourcePoll!leftActiveOrderRecheckSampleCount'leftActiveOrderRecheckObservedSelectors+leftActiveOrderRecheckRouteSelectorHitCount,leftActiveOrderRecheckActiveOrderCountValuesactiveOrderCountValues+leftActiveOrderRecheckSlot0DescriptorValuesactiveSlot0DescriptorValuesleftStabilityPromotionStatusfollowupAliasRolerolefollowupAliasContainsSourcecontainsSourcefollowupAliasContainsTargetcontainsTargetfollowupAliasHasPublicSamplehasPublicSamplefollowupAliasPublicSampleIdspublicSampleIdsfollowupAliasFieldMaps fieldMaps&aliasToCurrentExecutionLikeBridgeFound3aliasToCurrentAfterLastFillExecutionLikeBridgeFoundglobalPromotingCandidateCountrc3BK|]}|jdduyw)"traceContainsSelectedPointerGlobalTNr)rTs r#rz/diagnostic_exclusion_summary..s$7 FICGG8 9T A7 c3BK|]}|jdduyw) traceContainsCurrentRootExactRefTNr)rTs r#rz/diagnostic_exclusion_summary..s$5 DGCGG6 74 ?5 rBc3BK|]}|jdduyw)traceContainsSourceMapStringTNr)rTs r#rz/diagnostic_exclusion_summary..$1 @CCGG2 3t ;1 rBc3BK|]}|jdduyw)traceContainsTargetMapStringTNr)rTs r#rz/diagnostic_exclusion_summary..rGrB)exactFollowupPointerHexesexactTraceStopReasons'exactTraceContainsSelectedPointerGlobal%exactTraceContainsCurrentRootExactRef!exactTraceContainsSourceMapString!exactTraceContainsTargetMapString&excludedFromSelectedRootExecutionProof)r*rr))runtime_patched_selector_followup_contextrOruntime active_order branch_stateexit_candidatesleft_stabilityleft_stability_recheckleft_active_order_recheckfollowup_aliasbridge global_pathsexact_contextsr,exact_pointer_hexesexact_trace_stop_reasonss r#diagnostic_exclusion_summaryr_%s 7=2G U##kk-(.BG;;;<BL;;;<BLkk"@AGRO[[!?@FBN+// :@b . 2 23G H NB[[17RN [[) * 0bF;;BCIrL[[!?@FBN"  77> "  &!'  77$ % !"'  V TV  '++.F"GV  7;;'89V  7;;'89 V  GKK(:; V  '++&67 V  7;;'89V  !'++m"<V  ' 4G(H(NBV  &w{{3P'Q'WUWV  -gkk:^._V  6w{{Cp7qV  7 Dr8sV  !1!1,!?V  !,"2"2="AV  |//0EF!V " L,,-?@FB#V $ ),*:*:;[*\*b`b%V & *<+;+;<]+^+dbd'V ( ()9)9:Y)Z)`^`)V * !1!1,!?+V , &|'7'78J'K-V . &|'7'7 'F/V 0 ' (8(89L(M(SQS1V 2 -l.>.>?X.Y._]_3V 4 ()9)9:N)O5V 6 *<+;+;V-W9V : 1,2B2BC`2a;V < $\%5%56Q%R%XVX=V > ),*:*:;[*\*b`b?V @ &|'7'78U'VAV B +L,<,<=_,`CV D 6|7G7GHj7kEV F %l&6&67H&IGV H "?#6#6|#DIV J o112BCKV L *?+>+>?S+T+ZXZMV N /0C0CD]0^0dbdOV P '(;(;#5#5l#CSV T #N$6$6}$EUV V *>+=+=>R+S+YWYWV X -n.@.@AX.Y._]_YV Z ).*<*<=P*Q*WUW[V \ -n.@.@AX.Y]V ^ '(:(:;L(M_V ` /0B0BC\0]aV b )*@*D*D\*RcV d *+A+E+Em+TeV f 01G1K1KL_1`1fdfgV h 45K5O5OPg5hiV j +,E,I,I,,WkV l ,-F-J-J=-YmV n 23L3P3PQd3e3kikoV p 67P7T7TUl7mqV r 78Q8U8UVn8osV t 67P7T7TUr7suV v '(:(:;L(MwV x ^//7yV z &~'9'9:J'K{V | &~'9'9:J'K}V ~ '(:(:;L(MV @ '(:(:;L(M(SQSAV B !."4"4["A"GRCV D 1&**=e2fEV F >vzz A@ GV L ()9)9:S)TMV N&9!9367 M[7 4 255 KY5 2 .11 GU1 . .11 GU1 . 37kV V 's 8)Z3,)Z8c |jd|jd|jdg} |jd|jd|jdg} |jddk(xrU|jd dk(xr?|jd dk(xr)|jd dk(xr|jd d u} |jddk(xr@|jddk(xr*|jddk(xr|jddk(} |jd|jdk(xr|jddk(xr|jddk(xri|jddk(xrS|jdd uxr>|jdd uxr)|jdd uxr|jddk(} |jdduxr?|jdduxr*|jddk(xr|jddk(}td | Dxr=td!| Dxr)|jd"duxr|jd#dk(}|jd$du}|jd%d uxr(|jd&d uxr|jd'd u}|jd(d u}d}|s| r| r| r |r |r|r|r|rd)}id*|d+|d,| d-| d.| d/|d0|d1|d2|d3|d4|jd5|jd|jd |jd |jd |jd d6d7|jd|jd|jd|jdd8d9id|jdd|jdd|jdd|jdd:|jd:d|jdd|jdd;|jd;d|jdd|jdd<|jd<d=|jd=d>|jd>d?|jd?d@|jd@dA|jdAdB|jdB|jdC|jddDdE|jdF|jdG|jd|jd|jdH|jdI|jdJ|jdK|jdL|jdM|jdN|jdO|jd|jddPdQ| | |jdR|jdS|jd#dTdU|jdV|jdWxsg|jdX|jdYxsg|jdZ|jd[xsg|jd\|jd]xsg|jd$|jd%d^ d_|jd&|jd'|jd`xsg|jda|jdb|jdc|jdd|jdexsgdfS)gN(nonCurrentOpcode07CurrentRootSelectCount'nonCurrentOpcode09CurrentRootStoreCount1nonCurrentOpcode08NearestCurrentRootProducerCount)nonCurrentOpcode07CurrentRangeSelectCount(nonCurrentOpcode09CurrentRangeStoreCount2nonCurrentOpcode08NearestCurrentRangeProducerCountcurrentSelectorRealSaveCountrselectedPointerRealSaveCountroutePairRealSaveCountroutePromotionRealSaveCountsyntheticDiagnosticExcludedTcurrentCodeRefCountcurrentSelectorRootTextRefCount#currentSecondLevelTableTextRefCountcurrentFrontierReaderRefCountrrrrrrrrr%selectedRootExecutionDispatchRefFoundF0saveSelectorSliceDirectRuntimeDispatchProofFoundsaveSelectorDirectDwordRefCount saveSelectorIndexedDispatchCountc3&K|] }|dk( ywrrrs r#rz.s <5EQJ <c3&K|] }|dk( ywrrrs r#rz.sAu AruselectedRootExecutionRefFound!promotingSelectedPointerPathCountrrrPrrzCselected-root-no-real-selector-no-execution-ref-diagnostic-excludedrMrnoRealSelectedRootnoStaticExecutionRefhooksAreUnprovenTraceTargetsdispatchIsStaticSliceOnlynoNonCurrentOpcodeProducercurrentWritersAreInternalOnlyruntimeHasNoRealRouteHitconstructedDiagnosticExcludedrealSaveCountsvalidRealCandidateCount)rrgrhrirjrkstaticRefCounts)rlrmrnro hookCountsrrrrrrrrrr)rrdispatchCountssaveSelectorHandlerTableHexsaveSelectorSliceOffsetHexdynamicIndexedDispatchRowCountdynamicScopeTableCallbackCount*dynamicSaveSelectorTableImmediateNearCount'saveSelectorTableBaseArithmeticRowCount-saveSelectorTableBaseArithmeticCandidateCount-saveSelectorTableBaseArithmeticCandidateFound.routeRelevantSliceRequiresTableBaseSwitchCount9routeRelevantSliceDataDescriptorGenericByteReachableCount)rrrrrsrrrrrrrrrqrp opcodeCounts-currentInternalOpcode09CurrentRangeStoreCount7currentInternalOpcode08NearestCurrentRangeProducerCount)nonCurrentRootProducerCountsnonCurrentRangeProducerCountsrrrx runtimeCountsrrrrrrr"r%) rrrrrrr"r%rrdiagnosticCountsrrr3r5r=rK)rPrrrr3r5r=rK)r*ri)!selected_root_execution_ref_found save_gatestatic_ref_gatehook_prerequisite_gate dispatch_gate opcode_gatecurrent_writersrRdiagnostic_exclusionnon_current_root_countsnon_current_range_countsno_real_selected_rootno_static_execution_ref hooks_are_unproven_trace_targetsdispatch_is_static_slice_onlyno_non_current_opcode_producerruntime_has_no_real_route_hitconstructed_diagnostic_excluded!current_writers_are_internal_onlyrMs r#)selected_root_execution_rejection_summaryrs  BCABKL CDBCLM   45: A MM8 9Q > A MM2 3q 8 A MM7 8A = A MM7 8D @  12a7 F    A Ba G F    E F! K F    ? @A E  ""#89=S=W=W ,>  _ # & &'= >! C _ # & &'; < A _ # & &'H IQ N _ # & &'G HD P _ # & &'G HPT T _ # & &'N OW[ [ _ # & &'X Y]^ ^% ABeK G   P QUZ Z G   ? @A E G   @ AQ F " <$; << F A(@A A F OO; < E F OO? @A E # %,KK0T$UY^$^! CDL G $ $%M NRV V G $ $%= >$ F$ )8(;(;/B/BCd/e3B3F3F54.=-@-@A`-a  '] 6 8 !#9#=#=>S#T8 ,.D.H.H0/8 #$:$>$>?U$V 8 !"8"<"<=Q"R 8  ()?)C)CD_)`8  ./E/I/I108  -.D.H.H0/8  12H2L2L438 " -.D.H.H0/#8 ( 45K5O5O76)8 . :;Q;U;U=</8 4 9:P:T:T<;58 : 67M7Q7Q98;8 @ Q&**XC8 J 56L6P6P87K8 P >?U?Y?YA@Q8 V H&**OY8 b'**Q@V?Y?YA@k8 7] h +8+<+<=Z+[*7*;*;K=N=N?>>K=N=N?>?L>O>O@?JWIZIZKJAN@Q@QBA6C5F5F76=! i] l ,C-E=H__?>HSIH2=Ad1e  m] B &{{+<=%,[[1H%I%OR&-kk2J&K,3KK8V,W,][]#*;;/D#E)05P)Q)WUW#*;;/D#E)05P)Q)WUW29++>b2c=D[[?>  C] ^ 6J6N6N87';&>&>?W&X,@,D,DEc,d,jhj 4 8 89K L+?+C+CDa+b+?+C+CDa+b6J6N6N87&:%=%=>U%V%\Z\  _] ]r%c"t:t|d}t|d}t|d}t|d}t|d} t|}!t|||| | | | | |||||||||||}"t|}#t ||}$t ||}%id|j dd|j dd|j dd |j d d |j d d |j d xsij d d|j dxsij dd|j dxsij d d|j dd|j dd|j dd|j dd|j dd|j dd|j dd|j dd|j d|j d|j d|j d|j d|j d|j d |j d!|j d"|j d#|j d$|j d%d& }&|j d'|j d(|j d)|j d*|j d+|j d,|j d-d.d/d0|j d%d1 }'|j d2|j d3|j d4|j d5|j d5|j d6|j d6| j d6|j d7|j d8|j d9xsg|j d:xsg|j d;d< }(t|||$|%})id=|j d=d>|j d>d?|j d?d@|j d@dA|j dAdB|j dBdC|j dCdD|j dDdE|j dEdF|j dFdG|j dGdH|j dHdI|j dIdJ|j dJdK|j dKdL|j dLdM|j dM|j dN|j dO|j dP|j dQ|j d%dR}*dSdTdU|'j d(dV|'j d)dW|'j d*dX|'j d+dY|'j d- dZd[d\d]d^jgd_|&j dd`|&j dda|&j d db|&j d dc|&j ddd|&j dde|&j ddf|&j ddf|&j ddg|&j ddf|&j ddh|&j d"df|&j d#di|&j ddj|&j ddk|&j ddl|&j d dm|&j d!dn|&j ddo|&j d$dpd[dqdrds|(j d2dt|(j dudv|(j dwdx|(j dydz|(j d7d{|(j d8 d|d[d}|)j d~d^jgd|)j dd|)j dd|)j dd|)j dd|)j d4d|)j dd|)j dd|)j dd|)j ddf|)j dd|)j ddf|)j ddf|)j ddf|)j ddf|)j ddf|)j dd|)j dd|)j ddf|)j ddf|)j dd|)j ddf|)j ddf|)j ddf|)j ddf|)j dd|)j ddf|)j dd|)j ddf|)j ddf|)j dd|)j ddf|)j ddf|)j ddf|)j dd|)j dddj|)j dxsgxsdddj|)j dxsgxsddd[ddd|*j d?d|*j d@df|*j dAdf|*j dBd|*j dCdf|*j dEdf|*j dGd|*j dDdf|*j dFdf|*j dHd|*j dIdf|*j dJd|*j dQdd[ddd|!j dūddj|!j dǫxsgxsdddj|!j dɫxsgxsdddj|!j d˫xsgxsdd|!j dͫd|!j dϫddj|!j dѫxsgdt|!j dӫxsgdd[ddd^jgdב|"j dثdّ|"j dګdۑ|"j dܫdݑ|"j dޫdߑ|"j dddj|"j dxsgxsdd|"j dd|"j dddj|"j dxsgxsdd|"j dd|"j dddj|"j dxsgxsdd|"j dd|"j dddj|"j dxsgxsdd|"j dd|"j dddj|"j dxsgxsdd|"j dd|"j dd|"j dddj|"j dxsgxsdd|"j dd|"j dddj|"j dxsgxsdd dj|"j d xsgxsdd |"j d d |"j dd|"j dddj|"j dxsgxsdd|"j dd|"j dd|"j dddj|"j dxsgxsdd|"j dd|"j dd|"j d d!|"j d"d#dj|"j d$xsgxsdd%dj|"j d&xsgxsdd'|"j d(d)|"j d*d+|"j d,d-|"j d.d/|"j d0d1dj|"j d2xsgxsdd3dj|"j d4xsgxsdd5|"j d6d7|"j d8d9|"j d:d;|"j d<d=|"j d>d?dj|"j d@xsgxsddAdj|"j dBxsgxsddC|"j dDdE|"j dFdG|"j dHdI|"j dJdKdj|"j dLxsgxsddM|"j dNdO|"j dPdQ|"j dRdS|"j dTdf|"j dUdV|"j dWdf|"j dUdX|"j dYdZ|"j d[d\|"j d]d^|"j d_df|"j d`da|"j dbdf|"j d`dc|"j ddde|"j dfdg|"j dhdid[djdkd^jgdl|#j dmdn|#j dodpdj|#j dqxsgxsddr|#j dsdfdj|#j dtxsgxsddu|#j dvxsdgdwdx|#j dydz|#j d{d||#j d}d~|#j dd|#j dd|#j dddj|#j dxsgxsdddj|#j dxsgxsdd|#j dd|#j dddj|#j dxsgxsdd|#j dd|#j dd|#j dd|#j dddj|#j dxsgxsdddj|#j dxsgxsdd|#j dd|#j dddj|#j dxsgxsdddj|#j dxsgxsdddj|#j dxsgxsdd|#j dd|#j dd|#j dd|#j dddj|#j dxsgxsdd|#j dd|#j dddj|#j dxsgxsdd|#j dd|#j dd|#j ddd[g}+|'j d*dwdwkDxs|&j d$duxs|)j ddwdwkDxs|)j dduxsq|*j dPduxs[|*j dQdwdwkDxsB|"j dhduxs+|"j dޫduxs|"j ddu},t|,|'|(|)|&|*|!|"|# }-|+D.cic]7}.|.j dr#|.j d|.j d9}/}.gd}0|0D1cgc]$}1|/j |1r|/j |1&}2}1gd}3ddÐdĐdŐdƐdǐdȐdɐd}4|0D1cgc]}1|/j |1r |1|4vr|4|1}5}1dgdˢd̜dgd΢d̜dgdТd̜dgdҢd̜dgdԢd̜dgd֢d̜dgdآd̜dgdڢd̜g}6idtdtdtdtdtd|,dP|,d|-j dd|-d|5d|3d%|,sdndd|'d|(d|)d|&d|*id|!d|"d|#d|/j dSd|/j d\d|/j dqd|/j d}d|/j dd|/j d«d|/j dիd|/j djd|0d|/dt|0dt|2d|, xrt|2t|0k(d|+|3t|3|3|6t|6d|-j dddScc}.wcc}1wcc}1w(NrYrZr[r\r^generalHandlerTableHexrsaveSelectorSliceOffsetEntriesrsaveSelectorSliceOffsetBytesHexgeneralIndexedDispatchCount generalTableindexedDispatchCountrrsaveSelectorTabledirectDwordRefCountrsr"dynamicDwordScaledDispatchRowCountrr6dynamicSaveSelectorTableBaseSwitchStaticCandidateFound.saveSelectorTableBaseArithmeticScanWindowBytesrrr#selectedPointerRelativeHandlerCount'selectedPointerRelativeHandlersVerifiedsaveSelectorSliceAnchoredrq1descriptorBoundaryDependsOnSaveSelectorSliceModel%routeRelevantSliceDataDescriptorCount#routeRelevantRawGeneralDefaultCountrrrprN) rrrrqrrrrrrprNrealCandidateCountrrgrhrirjrk0x020x00)0x00020x0003) rrrgrhrirjrkrequiredSelectorBytesrNrl$noStaticDirectCurrentSelectorCodeRefr textRefCountrefCountrrselectedPointerWriteMechanismsselectedPointerReadMechanismsroutePromotionStatus) rlrrrmrnrocurrentSourceRecordRefCountcurrentTargetRecordRefCountrrrrrNselectorRowCountselectorRootCountscannedRootCountopcode07RowCountopcode08RowCountopcode09RowCountrardrbrercrfrr)sourceOrPredecessorOpcode08ActivatorCount)sourceOrPredecessorCurrentRootWriterCount*sourceOrPredecessorCurrentRangeWriterCount!currentInternalOpcode09StoreCount&selectedPointerOpcodePathPromotesRouterwrx)rrrwrxrNsave-loader selected rootzmissing-current-selectorzreal=z; selector2:0=z; selectedPointer=z ; routePair=z; syntheticExcluded=z8no real captured save currently selects 2:0 / 0x00540714)gatestatusrOimpact#save-selector dispatch table anchorzstatic-slice-onlyrxz generalTable=z ; saveTable=z; sliceOffset=z; genericDispatches=z; saveTableRefs=z; saveDispatches=z; dynamicDispatches=rIz; tableBaseArithmetic=z; tableBaseSwitch=z; selectedPointerHandlers=z; handlersVerified=z; sliceRuntimeProof=z; routeDescriptorRows=z; rawGeneralDefaultRows=z; descriptorDependsOnSlice=z; dispatchRef=zvthe 0x00440720 decoder slice and descriptor boundaries are statically anchored but do not prove selector 2:0 executionstatic current-root referencesztable-only-no-text-refzcurrentCodeRefs=z; rootTextRefs=rmz; secondLevelTextRefs=rnz ; readerRefs=roz; writerHooks=z; readerHooks=zPcurrent selector 2:0 is table data, not directly code-referenced route execution#selected-pointer hook prerequisitesrzhooks=rz ; present=rz ; writers=rz ; readers=rz ; textRefs=z; prereqUnproven=rz; selfProving=rz ; promoting=rz ; windows=rrz ; windowRefs=rrrrrrz; handlerCallGraph=rz; handlerGraphRoots/Fns/Calls=rrrz3; handlerGraphRoute/current/record/selector/branch=rrrrrz; handlerGraphGeneric=rrz; handlerGraphDepth=rrrz; handlerEncoded=rrrrz; handlerEncodedClass=rz ; mechanisms=r4rr5z; requirementKinds=rzthe selected-pointer text refs are trace hook targets; their prerequisites and handler call graph still do not reach selector 2:0 route evidence-global opcode 07/08/09 selected-pointer pathszno-non-current-producerzroots=z ; op7/8/9=z; nonCurrentRoot=z; nonCurrentRange=z; currentInternal=z ; promoters=zJsource/predecessor roots do not select or store the current 2:0 root/rangecurrent-root writer pathszcurrent-internal-onlyzwriters=rz ; starts=rz; selectedStores=rz ; activators=rz; outOfRangeHelper=rz ; proofFound=rz; failedGates=rz; missingEvidenceCount=rzVstores inside selector 2:0 cannot prove how normal route execution enters selector 2:0runtime selected-pointer probeszno-real-selector-2:0-observedzmemory=rz; input=rrrz ; keySeq=rz; pollSamples=rz; pollObserved=rz ; pollRoute=rz; preludePollSamples=rz; preludePollObserved=rz; preludePollRoute=rz; longPollSamples=rz; longPollObserved=rz; longPollRoute=r z; latePollSamples=r"z; latePollObserved=r%z; latePollRoute=r'z; routeWatchSamples=r)z; routeWatchObserved=r+z; routeWatchValues=r.z; routeWatchRoute=r-z; saveLoadPollSamples=r0z; saveLoadPollObserved=r2z; saveLoadPollRoute=r4z; multiSaveLoadPollSamples=r7z#; multiSaveLoadPollPublicSelectors=r:z; multiSaveLoadPollObserved=r9z; multiSaveLoadPollPublicHit=r>z; multiSaveLoadPollRoute=rAz$; caseAliasMultiSaveLoadPollSamples=rDz%; caseAliasMultiSaveLoadPollObserved=rJz&; caseAliasMultiSaveLoadPollPublicHit=rLz"; caseAliasMultiSaveLoadPollRoute=rNz-; inputPathCaseAliasMultiSaveLoadPollSamples=rQz.; inputPathCaseAliasMultiSaveLoadPollObserved=rUz/; inputPathCaseAliasMultiSaveLoadPollPublicHit=rWz+; inputPathCaseAliasMultiSaveLoadPollRoute=rYz'; predecessorDirectionSweepPollSamples=r\z$; predecessorDirectionSweepPollKind=r_z(; predecessorDirectionSweepPollObserved=rbz.; predecessorDirectionSweepPollObservedPublic=rcz); predecessorDirectionSweepPollPublicHit=rdz%; predecessorDirectionSweepPollRoute=rfz&; predecessorDirectionSweepPollValues=rgz3; predecessorLeftOverrunActivationSweepPollSamples=riz0; predecessorLeftOverrunActivationSweepPollKind=rlz4; predecessorLeftOverrunActivationSweepPollObserved=rnz:; predecessorLeftOverrunActivationSweepPollObservedPublic=roz5; predecessorLeftOverrunActivationSweepPollPublicHit=rpz1; predecessorLeftOverrunActivationSweepPollRoute=rrz2; predecessorLeftOverrunActivationSweepPollValues=rsz; predecessorRouteAttempt=rtz!; syntheticSelector20PollSamples=rz"; syntheticSelector20PollObserved=rz(; syntheticSelector20PollObservedStaged=rz#; syntheticSelector20PollStagedHit=rz; syntheticSelector20PollRoute=rz%; patchedPublicSelector20PollSamples=rz"; patchedPublicSelector20PollKind=rz&; patchedPublicSelector20PollObserved=rz#; patchedPublicSelector20PollRoute=rz; constructedDiagnosticRoute=rz; fileIoAttachLoadBackend=rz; fileIoAttachLoadPidRuns=rrz; fileIoAttachLoadKeyWrites=rz; fileIoAttachLoadUsable=rz; fileIoAttachLoadSavedat1=rz#; fileIoAttachCaseAliasLoadBackend=rz#; fileIoAttachCaseAliasLoadPidRuns=rrz%; fileIoAttachCaseAliasLoadKeyWrites=rz"; fileIoAttachCaseAliasLoadUsable=rz$; fileIoAttachCaseAliasLoadSavedat1=rz; anyPollRoute=rzreal/public runtime probes have not observed 0x0059de30 reaching 0x00540714; the constructed selector 2:0 hit is diagnostic-only-constructed selector 2:0 diagnostic exclusionzdiagnostic-excludedznotRouteProof=rz; runtimeSamples=rz ; observed=rz; activeOrder=rrz; activeDescriptor=rrz ; followup=r@rz; followupSource=r3z; followupTarget=r5z; followupPublic=r7z ; bridgeExec=r=z; exactPointers=rJz ; traceStops=rKz; branchStateSamples=rz; branchStateRouteSamples=rz; branchStateObserved=rz; branchStateActive=rz; branchStateAllZero=r z; branchStateMatchesFill=r z; exitCandidates=rz; exitRouteSides=rz; exitBranchNonzero=rz; exitCandidateStatus=rz; leftStabilitySamples=rz; leftStabilityRouteSeq=rz; leftStabilityNonRouteSeq=rz; leftStabilityObserved=rz; leftStabilityRouteHits=rz; leftStabilityOpcode24AllZero=r z; leftStabilityRepro=r"z; leftRecheckSamples=r%z; leftRecheckObserved=r&z; leftRecheckRouteHits=r'z ; leftActiveOrderRecheckSamples=r)z!; leftActiveOrderRecheckObserved=r*z"; leftActiveOrderRecheckRouteHits=r+z; leftActiveOrderCount=r,z; leftStabilityStatus=r0zfconstructed save bytes can exercise the load path, but are excluded from selected-root execution proofTrrrr)rrrrrrrr)zEcaptured gameplay savedat with save bytes 0x0002=0x02 and 0x0003=0x00zRruntime watchpoint/poll proof that 0x0059de30 becomes 0x00540714 on the route pathzastatic or VM control-flow proof that a non-current root selects/stores the current 2:0 root/rangezlruntime/control-flow proof that the current stream is interpreted through the 0x00440720 save-selector slicezPstrict map1_01a source hotspot remains required even after selector 2:0 evidencezsave-loader-selected-rootz#save-selector-dispatch-table-anchorzstatic-current-root-referencesz#selected-pointer-hook-prerequisitesz-global-opcode-07-08-09-selected-pointer-pathszcurrent-root-writer-pathszruntime-selected-pointer-probesz-constructed-selector-2:0-diagnostic-exclusionz1out/save_selector_real_savedata_evidence_gap.json)validCandidateCount%requiredSelectorBytePairRealSaveCountrk)r!fieldsz-out/save_selector_selected_pointer_usage.json)selectedPointerGlobalHexcurrentSelectorRootHexrlruntimeTraceHookPointCountrNz-out/save_selector_dispatch_table_context.json)rrrpz4out/save_selector_global_selected_pointer_paths.json)rarbrcrwz+out/save_selector_current_writer_paths.json)rrrNz&out/runtime_selected_pointer_poll.json)rrrzGout/runtime_patched_public_selector_2_0_input_path_case_alias_poll.json)rrrrz2out/runtime_predecessor_route_attempt_context.json)rArBrCrErFrGrLsourcerrrr,selectedRootExecutionRejectionClassificationrMselectedRootExecutionRejectionfailedSelectedRootGateIdsrrsaveLoaderGatestaticReferenceGatehookPrerequisiteGatedispatchTableGateopcodeSelectedPointerGatecurrentWriterPathGateruntimeProbeGatediagnosticExclusionGatesaveLoaderGateStatusdispatchTableGateStatusstaticReferenceGateStatushookPrerequisiteGateStatusopcodeSelectedPointerGateStatuscurrentWriterPathGateStatusruntimeProbeGateStatusdiagnosticExclusionGateStatusselectedRootSubgateStatusOrderselectedRootSubgateStatusesselectedRootSubgateCount$selectedRootNonPromotingSubgateCount#selectedRootAllSubgatesNonPromotinggateRowsa No selected-root execution reference currently promotes map1_01a -> map2_02d. The save-loader path has no real selector 2:0 sample, the 0x00440720 dispatch table remains static-slice evidence rather than an execution reference, direct static references are table-only, global opcode 07/08/09 scans find no non-current producer of the current root/range, the six selected-pointer text refs are trace hook targets whose save/slot/current-range prerequisites are all still unproven, and their local windows contain no current-root/source/target/map-loader/script-runner/selector-table route-specific refs. A bounded handler-rooted selected-pointer direct-call graph reaches only expected generic selected-pointer/selector-table context and no current-root/route-record/route-selector/branch-state hits; its encoded target scalar scan adds no promoting route-execution candidate. Current writer paths are internal to 2:0, and runtime probes (base/prelude/long/late/route-watch) have not observed 0x0059de30 reaching 0x00540714. The supplemental public-save SaveData load-menu polls also observed no selector 2:0/current-root transition; the input-path case-alias multislot poll reached a staged public selector 1:0 but not 2:0. A follow-up predecessor direction sweep reached the public 1:0 selector under the same input-path/case-alias save-load setup and still did not observe selector 2:0/current root. A left-edge overrun activation sweep from the same public predecessor save also observed 1:0/19:1/50:0 states but not selector 2:0/current root, even with Return/z/space tails. The consolidated predecessor route-attempt context now covers high-frequency, nearest-exit, reciprocal-exit, trail-start, trail-left-overrun, coordinate, active-order, and branch-state public predecessor polls; across those 13 poll files it still has zero selector 2:0/current-root hits and only non-promoting diversion selectors. A standalone synthetic selector 2:0 save-shaped poll under the same input-path/case-alias load path still observed only selector 8:0 and did not reach the staged selector or current root. A patched public-base selector 2:0 diagnostic did make the original load path select 0x00540714; its active-order watch is stable at 0x01/[0x00] and its sampled follow-up moves to selector 10:0, which contains map2_02d but not map1_01a. Because those bytes are constructed and the follow-up bridge remains non-execution-like, the diagnostic is excluded from selected-root execution proof. This selected-root blocker is classified as ax. A broader attached strace file-I/O probe covered the same load-menu candidate family with live PID/key-buffer writes and found no savedat file access in those bounded windows. Temporary original archive case aliases reduce resource lookup trace noise, but the case-alias multislot poll still observed only 8:0 and the case-alias file-I/O probe still found no savedat access.)rremainingProofCountnextRequiredEvidence evidenceRefsevidenceRefCountr)r-rrr_rMrqr*rr8rrrrCURRENT_SELECTORrqrp)7rtglobal_selected_pointer_pathsselected_pointer_opcode_pathscurrent_writer_pathsdispatch_table_contextreal_savedata_gapruntime_memory_snapshot_contextruntime_input_path_proberuntime_key_sequence_proberuntime_selected_pointer_poll%runtime_selected_pointer_prelude_poll"runtime_selected_pointer_long_poll"runtime_selected_pointer_late_pollruntime_route_watch_values_poll+runtime_selected_pointer_savedata_load_poll5runtime_selected_pointer_multislot_savedata_load_poll@runtime_selected_pointer_multislot_savedata_load_case_alias_pollKruntime_selected_pointer_multislot_savedata_load_input_path_case_alias_poll9runtime_selected_pointer_predecessor_direction_sweep_pollGruntime_selected_pointer_predecessor_left_overrun_activation_sweep_poll)runtime_predecessor_route_attempt_contextJruntime_selected_pointer_synthetic_selector_2_0_input_path_case_alias_pollOruntime_selected_pointer_patched_public_selector_2_0_input_path_case_alias_poll8runtime_save_file_io_strace_attach_load_candidates_probeCruntime_save_file_io_strace_attach_load_candidates_case_alias_proberrQr current_rootcurrent_second_levelcurrent_frontier_reader source_record target_recordrrRrrrrrrrr gate_rowsrselected_root_rejectionr, gate_statusesgate_status_orderr(non_promoting_statusesremaining_proofsselected_root_gate_ids_by_namefailed_selected_root_gate_ids evidence_refss7 r# build_summaryr,s-<57RSL&'=?_`)*@B_` 68XYM 68XYM./CDO#' "%-**'3=HSAO1RW@K'G*88abEcKab+` ,(? "8"<"<=U"V?%'='A'AB_'`? )*@*D*DEe*f? %&<&@&@A]&^ ? *+A+E+EFg+h ? &(>(B(B>(R(XVX']']^t'u ? *,B,F,FGZ,[,a_a+f+fg|+}? +-C-G-GH[-\-b`b,g,gh~,? )*@*D*D ,+ ? -.D.H.H 0/ ? )*@*D*D ,+ ?$ 56L6P6P 87 %?* ABXB\B\ DC +?0 9:P:T:T <; 1?6 23I3M3M 54 7?< 89O9S9S ;: =?B 89O9S9S ;: C?H0F/I/IJo/p3I3M3M 54 &<%?%?@[%\= >T=W=W ?> 2H1K1K 32 0F/I/I 10 ;Q:T:T <; F\E_E_ GF 2H1K1K 32 2556GH}?MB0334HI#4#8#89R#S(9(=(=>\(](9(=(=>\(]"3"7"78P"Q'8'<'<=Z'['8'<'<=Z'[,2f!E,001BC I 699:OP0F0J0JKq0r-C-G-GHk-l+7+;+;N+K/C/G/G/W)@)D)DZ)P'4'8'8'D'4'8'8'D*@*D*DEe*f*@*D*DEe*f*@*D*DEe*f*ljl)?)C)CDc)d)jhj1556LMOH,  /9==>PQ/:>>?RS/ 9==>PQ/ 9==>PQ / 9==>PQ / 9==>PQ / 34Q4U4U 65 / 45R5V5V 76 / 23P3T3T 54 / 34Q4U4U 65 !/& <=Z=^=^ ?> '/, =>[>_>_ @? -/2 89V9Z9Z ;: 3/8 BC`CdCd ED 9/> 45R5V5V 76 ?/D 45R5V5V 76 E/J 56S6W6W 87 K/P.K-N-NOr-s2O2S2S 43 *G)J)JKj)k-J-N-NOr-s8<<=NO]/Kd00 &?@AB(}}-KLMN##,==1O#P"QR&]]+CDEF%%.]]3P%Q$R T Q :)\\-\ 1 12J KL\M\*../LMN\O\,001MNO\P%\&3%6%67T%U$V\W!\"/!2!23T!U V \W" \ #0"3"34V"W!X \ Y% \ &3%6%67W%X$Y \ Z[ \!$$%EFG\HI\!$$%QRS\T'\(5'8'89b'c&d\ef\!$$%TUV\W#\$1#4#45e#f"g\hi\!$$%`ab\c+\,9+<+<=b+c*d\e$\%2$5$56_$`#a\b%\&3%6%67i%j$k\l'\ (5'8'89`'a&b!\ c)!\"*7):):;`)a(b#\"c,#\&!$$%XYZ'\&['\( -001XYZ)\,O5 :5."?#6#67L#M"NO / 3 34U VWX''6':':;`'a&bc-112QRST.223STUV.223STU Wi :,00>.`.`&.`/334IJK.`L.`1556MNO.`P.`1556GHI.`J.`2556GHI.`J.`3667Z[\ .`]" .` #9"<"<=]"^!_ .` ` .` 699:PQR .` S .`4778LMN.`O.`2556QRS.`TU.`*--.OPQ.`R.`*--.MNO.`PQ.`*--.NOP.`QR.`*--.NOP.`QR.`*--.NOP.`QR.`*--.QRS.`TU.` *--.RST!.` U$!.`$*--.RST%.`$U/%.`(*--.MNO).`(PQ).`**--.Z[\+.`*]^+.`,*--.WXY-.`,ZD-.`0*--.Z[\1.`0]^1.`2*--.\]^3.`2_`3.`4*--.`ab5.`4cd5.`6*--.bcd7.`6ef7.`8*--.`ab9.`8c'9.`<*--.def=.`<gh=.`>*--.bcd?.`>e%?.`B*--.cdeC.`BfgC.`D*--.rstE.`DuvE.`F*--.wxyG.`Fz"G.`J*--._`aK.`JbcK.`L*--.ijkM.`LlmM.`N*--.klmO.`NnoO.`P*--._`aQ.`Pb'Q.`T*--.VWXU.`TYU.`X882667GHNBOVSVWY.`XX$Y.`\882667NOUSUV]Z]^].``ii5 nD/);<=>&??+=>?q??#567q??#5678"??#MNOq??#LMNa??#VWXY#??#NOPPQ??#MNOq??#WXYZ##.??3b#c"dde??#\]^_(__-PQRT c) .0-?..}=>?((?#6#67I#J#PbQXUXYZ""%((?+>+>?\+]+cac"d"khk!lm!hh':':;S'T'ZXZ[b_bcd$$3$7$78S$T#UV-11,?@A"xx(;(;<\(](cacdef((+O,?,?@Q,R,XVX(Y'Z\o 65cTcT'cT'++&>?@cTAcT %<=>cT>@cTAHMaAb@ccTdcT!++&GHIcTJcT '{{+<=>cT? cT!$5L)M)SQS T [X[\ cT] cT %[[)CDE cT F& cT '.kk2J&K%L cT M' cT(+xx 88GKK(]^dbdelilm?cT>n7?cT@8?{{DA8B7CAcT@C3AcTB4;;;?w3x2yCcTBz>CcTD?FkkKC?D>EEcTDE?EcTH88GKK(fgmkmnuruvIcTHw@IcTL;;efgMcTLht2u1vGcTFw3GcTJ88GKK(dekiklspstKcTJu9KcTN88GKK(jkqoqryvyzOcTN{4OcTP5kkB|6}5~UcTT3UcTX;;\]^YcTX_7YcT\88GKK(hiomopwtwx]cT\y4]cT^5?@icThA-icTl;;KLMmcTlNOmcTn;;>?@ocTnA*ocTp+2++6X*Y)ZqcTp[,qcTr-4KK8[,\+]scTr^4scTt5\%]%cacdkhkl0bm0b 4778MNO0bPQ0b880445GHNBOVSVW 0bX$ 0b ),,-MNXSWRXZ[\] 0b ^ 0b1445GHI0bJK0b(++,=>?0b@"0b#7":":;X"Y!Z0b["0b#7":":;X"Y!Z0b["0b#7":":;Y"Z![0b\0b3667_`a0bb!0b"%*>*B*BC^*_*ece!f!mjm n0bo0b"hh';'?'?@W'X'^\^_fcfg0bh&0b';&>&>?\&]%^0b_+0b ,@+C+CDa+b*c!0b d'!0b$880445STZXZ[b_bc%0b$d%%0b&&:%=%=>a%b$c'0b&d&'0b(';&>&>?\&]%^)0b(_*)0b,(++,YZ[-0b,\"-0b.#7":":;O"P!Q/0b.R"/0b2880445VW][]^ebef30b2g%30b6880445[\b`bcjgjk70b6l'70b8(<'?'?@^'_&`90b8a(90b:)=(@(@A[(\'];0b:^);0b>880445VW][]^ebef?0b>g,?0bB880445YZ`^`ahehiC0bBj)C0bF880445UV\Z\]dadeG0bFf*G0bH+?*B*BCg*h)iI0bHj0I0bJ1E0H0HIg0h/iK0bJj&K0bL';&>&>?e&f%gM0bLh&M0bN';&>&>?`&a%bO0bNc'O0bR880445\]cacdkhklS0bRm(S0bT)=(@(@Al(m'nU0bTo1U0bV2F1I1IJm1n0oW0bVp2W0bZ880445^_ecefmjmn[0bZo3[0b\4H3K3KLy3z2{]0b\|(]0b^)=(@(@Ao(p'q_0b^r'_0b`(<'?'?@^'_&`a0bdm7 ytIl  4a81< :   D E M : ! % %&:A > B : " % %&F G4 O : ??: ;t C  : ??> BQ F  : ;;; < D  : ;;8 9T A : ;;0 1T 9&H)   776? **M &    T " $ &A/T*J/T9h%@+L9h &"&%    T "t/M'M 't,%!%H D D K B = ^ I {IMTR &R &R  +R  * R  #$? R  7 R  ()JR  78O8S8STd8eR  )*AR  $%BR  +R  ,M9SdR  )R  R   6R  ]!R " $[#R $ %R & G'R ( "#7)R *  1 12M N+R , "=#4#45Z#[-R . $]%6%67W%X/R 0 %m&7&78]&^1R 2 *=+<+< ;, 3R 8 &}'8'89T'U9R : !-"3"34U"V;R < ():): ;* =R B )*;CR D &}ER F #C(9$:GR H /4J0KIR J .1 1 F*+s3D/EEOR R ISR T,"#34 0% . <8'**+;<=>v9 vaR Ri,%sj&j|S)?Nz+# Save Selector Selected-Root Execution Gaprxz - route: `rz -> r`z- current selector: `rz- current root: `rz- selected-pointer global: `rz%- selected-root execution ref found: rwz- proof found: rz- rejection classification: `rz- failed selected-root gates: `, rr5z(- selected-root subgates non-promoting: r / rz#- runtime/diagnostic gate status: `rz` / `rz- remaining proofs: rz- evidence refs: rz- promotion status: `rNrz## Gatesz%| gate | status | evidence | impact |z| --- | --- | --- | --- |rz| rz | rrOrz |)rxz## Missing Evidencerxc3&K|] }d| ywz- Nrrr&s r#rzmarkdown.. sD2dVDrur)rxz## Next Required Evidencerxc3&K|] }d| ywr2rr3s r#rzmarkdown.. sI2dVIrur)rxz## Evidence Refsrxrrz- `r!z`:  )r8r*r7r)r+linesr,refrs r#markdownr8h s5 WX&'tGH,=+>a@ (9 :;1= G$456a8 &w/I'J&K1M /8W0X/YZ ',/01 '0^(_'``ab )$))GKK@[4\4b`b*c*jgj)kklm 27;a3b2ccfgnpJhKgL M -g6N.O-PPUV]^}V~U@A B w'<=>? G$6789 (9 :;1=    /#- E0z"  V SXs3z?2C3s8}oUW X   LL01 LLD1B)CDD LL67 LLI1G)HII LL-.~&53778,23 s3v;-s6(345 LL 99U r%cdjd|dD}djd|dD}djd|dD}djd |d D}djd d d djgdtj|ddtj|ddtj|ddtj|dd|dd|ddtjt|ddtjdj|j dxsgxsdd |d!d"|d#d$tjt|d%d&tjt|d'd(t |j dxsgd)|d*d+|d,d-tj|d.d/d0tj|d1d2d3d4|d5d6d7|d8d9d7|d8d:d7|d8gS);Nr5c 3K|]k}dtj|ddtj|ddtj|ddtj|dd myw)zrz rrOrz NhtmlescaperTs r#rzhtml_page.. s   {{3v;'(){{3x=)*+{{3z?+,-{{3x=)*+  sA1A3rrxc3NK|]}dtj|dywz
  • 
    • Nr;r3s r#rzhtml_page.. s+  t{{4 !'#%rc3NK|]}dtj|dywr?r;r3s r#rzhtml_page.. s+  t{{4 !'rArc 3K|]X}dtj|ddtjdj|jdxsgdZyw)z
  • r!z : r/rr@N)r<r=r8r*)rr7s r#rzhtml_page.. s]!   S[)*) ;;tyy!2!8b9 : ; !sAA rz]Save Selector Selected-Root Execution Gapzz2

    Save Selector Selected-Root Execution Gap

    z

    Route rz -> rz ; current selector rz; current root rz,; selected-root execution ref found: rwz; proof found: rz"; rejection classification: rz*; failed selected-root gates r4rr5z/; selected-root subgates non-promoting: rr0rz(; runtime/diagnostic gate status: rz / rz; missing evidence: z; remaining proofs: rz; evidence refs: rz; promotion status: rNz .

    z

    rz

    z

    Gates

    zbz
    gatestatusevidenceimpact
    z

    Missing Evidence

    z
      z
    z

    Next Required Evidence

    z

    Evidence Refs

    )r8r<r=rmr*r)r+r# next_items missing_itemsevidence_ref_itemss r# html_pagerG sU :&I23JGG-.M! >* ! 99i y< x x/ x$++gh&789 x xWU]M^A_@` xaA xBFBMBMNUVgNhBiAj xjF xGKGRGRSZ[kSlGmFn xnZ x[bcB[CZD xDS xT[\hTiSj xjL xMQMXMXY\]deS]TYUMVLW xWA xBFBMBMNQNVNVW^WbWbc~WWE C E NF NM J M BN AO xO ~ x F G m  n ~ o xo r xs z { U s V r W xW  x@ D @ K @ K L O P W X p P q L r @ s  t xt D xE I E P E P Q T U \ ] | U } Q ~ E  D @ x@[ x\_`g`k`kl}`~`DBD\E[F xFZ x[bcx[yZz xzK xLSTfLgKh xhB xCGCNCNOVWhOiCjBk xkw x dkk',/0 16l# }oU#) zl%  !"%( r%c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz.save_selector_selected_root_execution_gap.jsonFr) ensure_asciiindentr5rr.save_selector_selected_root_execution_gap.html)mkdir write_textrdumpsrG)r+out_dirs r# write_outputsrR sf MM$M. ??KK 7q9D@L ??KKIV]L^ipKqr%c tjt}|jdtt dz |jdtt |j}tt|jdz it|jdz it|jdz it|jd z gt|jd z it|jd z it|jd z it|jd z it|jdz it|jdz it|jdz it|jdz it|jdz it|jdz it|jdz it|jdz it|jdz it|jdz it|jdz it|jdz it|jdz it|jdz it|jdz it|jdz it|jdz it|jdz it|jd z i|jjr|jjnd}t||jtd!|jd"z y)#N) descriptionz--exez Hwanse2.exe)typedefaultz --out-dirz)save_selector_selected_pointer_usage.jsonz0save_selector_global_selected_pointer_paths.jsonz0save_selector_selected_pointer_opcode_paths.jsonz'save_selector_current_writer_paths.jsonz)save_selector_dispatch_table_context.jsonz-save_selector_real_savedata_evidence_gap.jsonz$runtime_memory_snapshot_context.jsonzruntime_input_path_probe.jsonzruntime_key_sequence_probe.jsonz"runtime_selected_pointer_poll.jsonz*runtime_selected_pointer_prelude_poll.jsonz'runtime_selected_pointer_long_poll.jsonz'runtime_selected_pointer_late_poll.jsonz$runtime_route_watch_values_poll.jsonz0runtime_selected_pointer_savedata_load_poll.jsonz:runtime_selected_pointer_multislot_savedata_load_poll.jsonzEruntime_selected_pointer_multislot_savedata_load_case_alias_poll.jsonzPruntime_selected_pointer_multislot_savedata_load_input_path_case_alias_poll.jsonz>runtime_selected_pointer_predecessor_direction_sweep_poll.jsonzLruntime_selected_pointer_predecessor_left_overrun_activation_sweep_poll.jsonz.runtime_predecessor_route_attempt_context.jsonzOruntime_selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.jsonzTruntime_selected_pointer_patched_public_selector_2_0_input_path_case_alias_poll.jsonz=runtime_save_file_io_strace_attach_load_candidates_probe.jsonzHruntime_save_file_io_strace_attach_load_candidates_case_alias_probe.jsonzmap1_01a_edge_trigger_gap.jsonz.runtime_patched_selector_followup_context.jsonz%wrote selected-root execution gap -> rM)argparseArgumentParser__doc__ add_argumentrROOTOUT parse_argsr,r$rQrr read_bytesrRprint)parserargsr+s r#mainrb s  $ $ 9F dD=4HI  $<    D$,,!LLbQ$,,!SSUWX$,,!SSUWX$,,!JJBO$,,!LLbQ$,,!PPRTU$,,!GGL$,,!@@"E$,,!BBBG$,,!EErJ$,,!MMrR$,,!JJBO$,,!JJBO$,,!GGL$,,!SSUWX$,,!]]_ab$,,!hhjlm$,,!ssuwx$,,!aacef$,,!ooqst$,,!QQSUV$,,!rrtvw$,,!wwy{|$,,!``bde$,,!kkmop$,,!AA2F$,,!QQSUV!%!29G<'4<<( 1$,,Aq2q1r str%__main__)r!rr"rrnr)r+rr(rmrnr)r9rrnrm)rO dict | Nonernrm)rtrrn list[dict])rrrrernre)r<rernr)r bytes | Nonertrr rrnr)r rrOrrnrrW)rrfrtrrkzlist[int] | Nonernr)r<zlist[dict] | Nonernr)r,rrnrm)rrdrnr)NNN) rtrrrdrrdrrdrnr)(rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrnr)rQrdrnr)rrjrrrrrrrrrrrrrRrrrrnr):rtrrrrrrrer rr rr rr rr rrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrdrQrdrrfrnr)r+rrnrm)r+rrQrrnro)rnro):rY __future__rrWr<rpathlibrtypingrprobe_exe_scene_tablesrrQrxrrrrMrPrqrrrrrr_rr,r8rGrRrb__name__rr%r#rosiQ" 0 H~''* Ul  * &+",1)01-?K<8  #,,^@2j&XCH H HH HV'Z $D D D D DN*Z" $%)&*8< H H!H$H+6 H  HVE!EEE E $( E !% E!%E"E*.E48E?CEJNE8<EFJE9=E IM!E"NR#E$7;%E&BF'E( )EPodk'+kkk! k  k  kkkk kP%)=A9`  ` #'` $(` % `  ! `   ` &*` #` !%` $(` ,0` )-` )-` &*` 26`  <@!` "GK#` $RV%` &@D'` (NR)` *04+` ,QU-` .VZ/` 0?C1` 2JN3` 4"5` 60;7` 8 9` : ;` F&R)Xr$uN zFr%