7,JjdZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZmZmZddlmZe ej!j0dZed z Zed z Zd Zd Zd ZdZdZ dZ!dZ"dZ#dZ$dZ%dZ&dZ'dZ(gdZ)gdZ*d gdddgdddddgdd gd!dd"gd#dgZ+d$Z,d%Z-d&Z.dHd'Z/dId(Z0dJd)Z1dKd*Z2dLd+Z3dMd,Z4dNd-Z5dOd.Z6dPd/Z7dQd0Z8dRd1Z9dSd2Z:dTd3Z;dUd4ZdXd7Z? dY dZd8Z@d[d9ZAd\d:ZB d]d;ZC d^d<ZDd_d=ZEd`d>ZFdad?ZGe>f dbd@ZH dc dddAZI de dfdBZJdgdCZKdgdDZLefdhdEZMdidFZNeOdGk(reNyy)jzOScan direct dword bridges between target-side aliases and current selector 2:0.) annotationsN)Path)Any)find_cns_strings read_sections va_to_offset) trace_streamoutz Hwanse2.exemap1_01amap2_02dz2:0ix5Ti(Ti)Ti*Ti*Ti +TiD+Ti+Tix.T)ztarget-alias-execution-orderzbranch-state-persistencez*real-selector-2:0-or-selected-root-runtimezstrict-source-hotspot)z7target-side alias execution before current selector 2:0z?secondaryBranchState persistence into current reader 0x00542b0cz:selector 2:0 savedata or runtime selected-pointer evidencezstrict map1_01a source hotspot)ztarget alias root rangeszcurrent selector 2:0 rangezpre-writer trace windows)pathfieldszout/save_scene_selectors.json)groupslotselectedPointerHex fieldMapsz%out/save_selector_mapset_aliases.jsontargetAliasSelectorspublicCoveredAliasSelectorsz+out/save_selector_secondary_fill_roots.json)rootsfillEntryReferenceRoots"predecessorFillEntryCandidateFoundz'out/save_selector_leaf_index_space.json)rowsroutePairEntryIndicescorrectedReaderHitCountz map1_01a.cnsz map2_02d.cnsz middata.mlkcd|dS)N0x08xvalues I/home/exedev/hwanse/tools/summarize_save_selector_target_alias_bridges.pyhex32r#Ns c{ c@t|d| t|SdS)Nz..?)r#)startends r" range_hexr)Rs+El^2COeCjE FFE FFr$cp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks r" load_jsonr3Vs* ;;= ::dnngn6 77r$c"|r t|dSdS)N)intr s r" parse_hexr7\s"3ub>,,r$cL|jdd|jdS)Nr:rget)rows r" selector_keyr=`s&ggg q 1 22r$cR|D]}t||k(s|cStd|d)Nz selector z not found)r= ValueError) selectorskeyr<s r" find_selectorrBds9   #J yZ0 11r$c|Dchc]3}|jdr |jdrt|dd5}}t|Scc}w)Nrrr5)r;r6sorted)r@r<rs r" unique_rootsrEksW   77; CGG,@$A C$ %r* E  %=  s8A cxt|}|j|}|dzt|kr||dznd}||fS)Nr )rEindexlen)r@root_varrGr(s r" root_rangerJtsC  #E KK E#ai#e*4% $C C<r$cvt||}||dzt|kDrytjd||dS)Nz#''06B 779  )J Ir$c|xsijdxsgDcic]%}|jdr|jd|'c}Scc}w)Nr entryVaHexr:)leaf_index_spacer<s r"leaf_index_rows_by_entryr\sS%*//7=2   77<   s"  s*A ct|jd}t|jd}t|jd}t|jd}||k(ry||k(ry||k(ry||k(ryy)NselectedPointerVaHex rowPointerHexz(current-selector-row-selected-root-entryzcurrent-selector-row-pointerz&alias-selector-row-selected-root-entryzalias-selector-row-pointerroot-range-datar7r;) source_vacurrent_selectoralias_selectorcurrent_selected_entrycurrent_row_pointeralias_selected_entryalias_row_pointers r"source_location_roleris&'7';';current root 2:0$current source scene record map1_01a$current target scene record map2_02d%current frontier reader/resource gater)labels r"promoting_labelrvs  r$c|ry|dk(ry|dk(ry|dvry|tkry|tkry |tkry |tk(ry |tkry |t kry |t kryy)Nselector-row-metadatarqzcurrent-root-exactrtfrontier-reader-exact>rrrsroute-scene-record-exactpre-writer-script-rangezwriter-payload-rangeleaf-table-windowz wrapper-entryzleaf-or-wrapper-child-rangezreader-to-scene-gapfrontier-scene-cluster-rangezpost-frontier-current-tail)CURRENT_WRITERCURRENT_LEAF_TABLE_STARTCURRENT_LEAF_TABLE_ENDCURRENT_WRAPPER_ENTRYCURRENT_READERCURRENT_SOURCE_RECORDCURRENT_FRONTIER_CLUSTER_END)r! target_label metadata_likes r"current_target_classrs&))#>>&gg) ~( ''% %%" %% ~, $$$ ++- 'r$cZ|ry|jdrd|vry|jdryy)Nrxalias zsecondaryBranchState fillzalias-secondary-fillz alias rootzalias-root-exactrk) startswith)_valuerrs r"generic_target_classrs5&x(-HL-X%|,! %r$cBt|tfd|DS)Nc3K|]D}|jdk(xs*|jdk(xs|jdk(Fyw)vaHexbranchTargetHexfallthroughVaHexNr:).0r<va_hexs r" z$trace_contains_va..s\  F" 1 77$ % / 1 77% && 0 1sA A )r#any)tracerQrs @r"trace_contains_vars( 2YF   r$cri}i}|D]|}|jddk7rt|jd}|5|j|ddz||<|j|gj|jd~g} t |j D] \}} t |||||} | r| dni} | jt|| |j|gddt| | jd | jd t| tt| tt| tt| tt| txst| t| ddD cgc]%} | jd s| jd 'c} | dd d | Scc} w)N targetClassr{valueHexrr sourceVaHex stopReasonr opcodeHexr5) targetHexsourceHitCountsampleSourceVaHextraceStepCounttraceStopReasontraceStopVaHexcontainsCurrentWritercontainsCurrentReadercontainsSourceRecordcontainsTargetRecordcontainsRouteSceneRecord firstOpcodesr)r;r7 setdefaultappendrDitemsr r#rHrr~rrCURRENT_TARGET_RECORD)rOrPstringshits max_stepscounts source_vashitr!rcountrstopr<s r"summarize_pre_writer_tracesrs F')JH 77= !%> > #''*-. =  5!,q0u eR(// 0FGH Dv||~. uS(GUIF!uRyr u#!+r!:2A!>!%j#xx 5"hhw/%6un%M%6un%M$5e=R$S$5e=R$S!%)>?C$U,AB=B2AY_c#''R]J^SWW[1_3BZ!   * K`s 8F4 F4 cpi}|D].}|jd}|s|j|ddz||<0|S)Nrrr r:)rrr target_classs r"count_target_classesr sKF?ww}-  %zz,:Q>| ? Mr$c|tk(ry|tk(ryt|cxkr tkryt|cxkr t kryt |cxkr t kryyy)Ncurrent-source-scene-recordcurrent-target-scene-recordzcurrent-leaf-table-windowz$current-wrapper-or-leaf-child-windowzcurrent-frontier-clusterzcurrent-root-data)rrrrrrr)ref_vas r"package_resource_ref_rolers_ &&, &&,6B,BB*C7758>">>)? r$c F|gSi}|D]9}t|jd}| |jds2|d||<;g}t||dD]J} t||| }|||vr|j t | t |||t | dL|S)NrtextrL)refVaHex resourceVaHex resourceNamerole)r7r;rangerSrr#r) rOrP current_start current_endstring_entries names_by_var<r!refsrs r"'scan_current_root_package_resource_refsr"s "$K-#'''*+  !$VK - D {A6  C62 =E4  f "5\'.-f5     Kr$c|xsi}|jdxsg}|jdxsg}|jdxsg}|r|dni} t|v} t|v} t|v} t |jd} t |jd}|jdxsd}| xr|xr t |}t |||||}|Dcgc] }|d d k(r|}}|Dcgc] }|d d k(r|}}t d |Dxrt d |D}i}|D]}|d }|j|ddz||<!d}|rdnd}|rdnd}id|d|jdd|jdd|jddd| jdd| jdd|d|d |d!|d"| d#| d$| d%t|d&|d'tt|jd(|||t |jd)t |jd*t |jd+|jd,d|jd-d|jd.d|jd/d|jd0dt |jd1t |jd2|||d3Scc}wcc}w)4N0addressPredecessorCurrentRootRefFollowingStrings6addressPredecessorCurrentRootRefFollowingStringEntries#addressPredecessorToCurrentRootRefsr'addressPredecessorToCurrentRootRefCount;addressPredecessorToCurrentRootRefIsCurrentSelectorRowEntry.addressPredecessorCurrentRootRefClassificationunknownrrrc34K|]}|dtk(ywrN)ADDRESS_PACKAGE_REQUIRED_SOURCErr<s r"rz5summarize_address_adjacent_package..gs isC #B B ic34K|]}|dtk(ywr)ADDRESS_PACKAGE_REQUIRED_TARGETrs r"rz5summarize_address_adjacent_package..hsm3N#'FFmrr Fzpackage-prefix-shape-onlyz not-foundzaddress-adjacent 10:0 contains the current 2:0 root pointer followed by a resource list that includes source/target map resources, but the pointer is selector-row/package metadata and still has no execution, consumer, reader, or scene-record edgezAaddress-adjacent package prefix not found in the supplied contextpackagePrefixFoundselectoraddressPredecessorSelectorrangeHexaddressPredecessorRangeHexcurrentRootRefCountcurrentRootRefHexrcurrentRootTargetHex targetVaHexcurrentRootRefClassification$currentRootPointerIsSelectorRowEntryfollowingStringsfollowingStringEntriesincludesAudioResourceincludesSourceMapResourceincludesTargetMapResource"currentRootPackageResourceRefCountcurrentRootPackageResourceRefs'currentRootPackageResourceRefRoleCounts$sourceSceneRecordPackageResourceRefs addressPredecessorContainsSource addressPredecessorContainsTarget)currentEqualsAddressPredecessorPlusSource2addressPredecessorTailCurrentRootRangePointerCount.addressPredecessorTailCurrentRootExactRefCount,addressPredecessorTailFrontierReaderRefCount*addressPredecessorTailSourceRecordRefCount*addressPredecessorTailTargetRecordRefCount-addressPredecessorTailLooksLikeDescriptorData addressContiguityProvesExecution)$targetSceneRecordPackageResourceRefs¤tSceneRecordsUsePackageResourcescontainsSourceFieldMapcontainsTargetFieldMapr tailCurrentRootRangePointerCounttailCurrentRootExactRefCounttailFrontierReaderRefCounttailSourceRecordRefCounttailTargetRecordRefCounttailLooksLikeDescriptorDatarrouteProofFoundstatusnote) r;rrADDRESS_PACKAGE_AUDIO_RESOURCEboolrrrHdictrDr)rOrPrraddress_predecessor_contextcontextfollowing_stringsfollowing_string_entriescurrent_root_refs current_refincludes_sourceincludes_targetincludes_audiocurrent_root_pointer_found*current_root_pointer_is_selector_row_entryclassificationpackage_prefix_foundcurrent_root_resource_refsr<source_scene_resource_refstarget_scene_resource_refs+current_scene_records_use_package_resourcesresource_ref_role_countsrefrroute_proof_foundrrs r""summarize_address_adjacent_packager>s*/RG $VW][]&{{+cdjhj $IJPb*;#A&K59JJO59JJO37HHN!%gkk2[&\!]15 QR2.[[!QR_V_N" $ 6 $ " # "I  "2" v;7 7 "" 2" v;7 7 "" iNh ii n mRlm m002)S6{)A)E)EdA)NQR)R &S  $    CQ  % 2% GKK <=%  GKK <=%  w{{+TVWX %  [__Z8 %    > %  '%  /0Z%  -%  !":%  %  $_%  $_%  -c2L.M%  )*D%  24?W?]?]?_8`3a!% " /0J#% $1K2]"&w{{3U'V"W"&w{{3U'V"W59 KKC D6 -4KK @!- )0 4dfg(h&-kk2`bc&d$+KK0\^_$`$+KK0\^_$`'+GKK8g,h'i,0=_1`,a,I% %;""s K-K#cRdjfdtDxsdS)N, c32K|]}|d|yw)r9Nr)rrArs r"rz$class_counts_text..s FuAfSk]+Fs-)joinrD)rs`r"class_counts_textr%s! 99Fvf~F F M#Mr$cL|d}|d}id|dd|jdd|jdd|jdd|jdd|jdxsgd |jd d |jd d |jdd|jdd|jdd|jdd|jdxsid|jdd|jdd|jdd|jdid|jdd|jdd|jdd|jdd|jdd|jdd |jd d!|jd!xsid"|jd"d#|jd#d$|jd$d%|jd%d&|jd&d'|jd'd(|jd(d)|jd)d*|jd*|jd+|jd,|jd d-S).NaliasToCurrentcurrentToAliasrrrU rootRangeHex fillCountpublicSampleIdsaliasToCurrentHitCounthitCountaliasToCurrentMetadataHitCountmetadataHitCountaliasToCurrentDataHitCount dataHitCount#aliasToCurrentPromotingDataHitCountpromotingDataHitCount'aliasToCurrentPromotingMetadataHitCount)aliasToCurrentReaderOrSceneRecordHitCountreaderOrSceneRecordHitCountaliasToCurrentTargetClassCountstargetClassCountsaliasToCurrentLeafTableHitCount(aliasToCurrentLeafTableRoutePairHitCount.aliasToCurrentLeafTableCorrectedReaderHitCount.aliasToCurrentLeafTableEffectiveReaderHitCount(aliasToCurrentPreWriterUniqueTargetCount1aliasToCurrentPreWriterTraceCurrentWriterHitCount1aliasToCurrentPreWriterTraceCurrentReaderHitCount4aliasToCurrentPreWriterTraceRouteSceneRecordHitCount#aliasToCurrentAfterLastFillHitCount+aliasToCurrentAfterLastFillMetadataHitCount'aliasToCurrentAfterLastFillDataHitCount,aliasToCurrentAfterLastFillTargetClassCounts,aliasToCurrentAfterLastFillPreWriterHitCount,aliasToCurrentAfterLastFillLeafTableHitCount;aliasToCurrentAfterLastFillLeafTableCorrectedReaderHitCount;aliasToCurrentAfterLastFillLeafTableEffectiveReaderHitCount6aliasToCurrentAfterLastFillReaderOrSceneRecordHitCount5aliasToCurrentAfterLastFillPreWriterUniqueTargetCount5aliasToCurrentAfterLastFillTraceCurrentWriterHitCount5aliasToCurrentAfterLastFillTraceCurrentReaderHitCount8aliasToCurrentAfterLastFillTraceRouteSceneRecordHitCount&aliasToCurrentExecutionLikeBridgeFound3aliasToCurrentAfterLastFillExecutionLikeBridgeFound)rNrOcurrentToAliasHitCountr:)r<alias_to_currentcurrent_to_aliass r"compact_alias_rowrSs+,+,J C OJ J  3779%J  / J  SWW[) J  377#45; J  !"2"6"6z"BJ  )*:*>*>?Q*RJ  %&6&:&:>&JJ  ./?/C/CD[/\J  2377 54 J  45E5I5IJg5hJ  *+;+?+?@S+T+ZXZJ  *3773T+U!J " 3CGG 3J 8 9J > ? BA ?J D .sww7\/]EJ F 6sww 98 GJ L 2377;d3eMJ N 7 :9 9 SJ T 7 :9 UJ Z 7 :9 [J ` Fsww IH aJ f Fsww IH gJ l A#'' DC mJ r @ CB sJ x @ CB yJ ~ @ CB J D CCGG FE EJ J36'':b2c?Bww A@ #3"6"6z"BSJ Jr$cR|yt|jd}|duxr||kDS)NFrra)rfloor_varbs r"hit_source_afterrVs3#''-01I D 9Y%99r$c |t||t||dddddgdSd} d} g} t||dD]} t||| } | | dz } | dz } |duxr|| cxkxr|knc}|j| }|s|I|| }|dk7}t | |||}|| ||}| j t | t | |||||dt| }t||t||| | t| td| Dtd| Dtd | Dtd | Dtd | D|| d S) Nr)sourceRangeHextargetRangeHexreadableDwordCountunreadableDwordCountr-r/r1rrLr r`)rrinsideTargetRange targetLabelrsourceLocationRole metadataLikec3,K|] }|ds dywr_r Nrrs r"rz$scan_dword_bridge..5sIcS5HI c3,K|] }|dr dywrarrs r"rz$scan_dword_bridge..6sI#S5HAIrbc3>K|]}t|dsdyw)r]r Nrvrs r"rz$scan_dword_bridge..7s%_C?3}K];^a%_sc3FK|]}t|dr |dsdywr]r_r Nrers r"rz$scan_dword_bridge..8s,% s=123~;N % !c3.K|] }|ddvrdywr>ryrzr}r Nrrs r"rz$scan_dword_bridge..<s*+ =!& + ) rXrYrZr[r-r/r1promotingExactHitCountr3r6r8r) r)rrSr;rorr#rrHsum)rOrP source_start source_end target_startrmrnsource_role_fntarget_class_fnreadable unreadablerrQr!inside_target_range exact_labelrrrrtarget_class_countss r"scan_dword_bridgerxs' jA' jA"#$% !  HJ DL*a0 C2. = !OJ A (4[9[Q[9[#''. "{': b! 11 )%z=Y &ulMJ   9e !4''"&)   ./t4#L*=#L*=& *IITIIIII"%%_4%_"_!$% % " (++ + ( 1- r$cv 6t|t6t6jd}| t dt ||\}}t } |dtdtdtdi} t|} t||} g} |jdxsijdxsgD]}|jd }t||}t|jd}|t d |d t ||\}}|d |i}tt||}|jd xsg}|D](}t|jd}| d|d||<*t|||||| | |f6fd t }|dDcgc]}t!|dr|dr|}}|r!t|dxsijdnd}|dDcgc]}t#||r|}}t|||| ||||f6fd }g}|dD]"}|jddk7r| j|jdxsi} |j%i|| jd| jd| jd| jd| jd| jd| jd | jd!| jd"| jd#| jd$| jd%| jd&d' %t'd(|D}!t'd)|D}"t'd*|D}#t'd+|D}$|Dcgc]}t#||r|}%}t'd,|%D}&t'd-|%D}'t'd.|D}(t'd/|D})t)||| |d}*t'd0|*D}+t'd1|*D},t'd2|*D}-t)||| |}.t'd3|.D}/t'd4|.D}0t'd5|.D}1t'd6|D}2t'd7|D}3|2d8kDxs|3d8kDxs|/d8kDxs |0d8kDxs|1d8kD}4|d9d8kD}5| j%id |d:|jd:d;t|d|r|d8xsijdndd?|r|dxsijdndd@|jd@xsgdA|dB|dCt-|dD|dE|dFt-|dG|!dH|"dI|#idJ|$dK|(dL|)dM|*dNt-|*dO|+dP|,dQ|-dR|5dS|dTt-|dUt'dV|DdWt'dX|DdYt'dZ|Dd[t'd\|Dd]|&d^|'|3|2t/||.t-|.|/|0|1|4|d_d8kDxr|d`d8k(da | Scc}wcc}wcc}w)bNr.current selector is missing selectedPointerHexrqrtrrrstargetAliasGroupaliasesrzalias selector z is missing selectedPointerHexz alias root fillsrrz secondaryBranchState fillct||SNrirQrdrcs r"zalias_rows..x6J2O_ao6pr$rr]r_rct||Srrrs r"rzalias_rows..rr$rr|rrootRelativeIndexinsideCurrentRootEntryRun descriptorHexchildPointerHexdescriptorHasRoutePairchildHasRoutePair%descriptorTraceContainsFrontierReader childTraceContainsFrontierReader.correctedDescriptorTraceContainsFrontierReader%correctedDescriptorFrontierReaderStep.effectiveDescriptorTraceContainsFrontierReaderisFrontierLeafChild routeRelevant) rrrrrrrrrrrrrc3dK|](}|jds|jdrd*yw)rrr Nr:rrs r"rzalias_rows..s1. ww/0CGG.s1* ww>?377KmCn * rc3BK|]}|jdrdywrr Nr:rs r"rzalias_rows..s%4 wwGH 4 c3K|]9}|jds"|jds|jdrd;ywrrrr Nr:rs r"rzalias_rows..s?4 ?@77=>77KL 4 ?Ac3BK|]}|jdrdywrr:rs r"rzalias_rows..s'D wwGH D rc3K|]9}|jds"|jds|jdrd;ywrr:rs r"rzalias_rows..sAD ?@77=>77KL D rc3DK|]}|jdsdyw)rr Nr:rs r"rzalias_rows..s0psQTQXQXYnQo0p  c3nK|]-}t|jdtr |ddkrd/yw)rrr N) isinstancer;r6rs r"rzalias_rows..s:, #''"56<EXAY\]A] , s35c3DK|]}|jdsdywrr Nr:rrs r"rzalias_rows..+s%PUPYPYZqPrA+src3DK|]}|jdsdywrr Nr:rs r"rzalias_rows..rrc3BK|]}|jdrdywrr Nr:rs r"rzalias_rows..s%1 yy34 1 rc3BK|]}|jdrdywrr:rs r"rzalias_rows..%1 yy01 1 rc3BK|]}|jdrdywrr:rs r"rzalias_rows..rrc3BK|]}|jdrdywrr:rs r"rzalias_rows..s%6 yy34 6 rc3FK|]}t|dr |dsdywrgrers r"rzalias_rows..s,7 s=123~;N 7 rhc3.K|] }|ddvrdywrjrrs r"rzalias_rows..s*? =!& ? rkrr3rrUr)r* firstFillHex lastFillHexr+r'r(r4#aliasToCurrentPromotingMetadataHitsaliasToCurrentLeafTableHitsr9r:%aliasToCurrentLeafTableReaderHitCountr;r<+aliasToCurrentLeafTableFrontierLeafHitCount'aliasToCurrentLeafTableNegativeHitCountaliasToCurrentPreWriterTracesr=r>r?r@rNaliasToCurrentAfterLastFillHitsrArCc3*K|] }|dsd ywrarrs r"rzalias_rows..s ;>*;rBc3*K|] }|drd ywrarrs r"rzalias_rows..s ?~&?rrEc30K|]}|ddk(rdyw)rr{r Nrrs r"rzalias_rows.."s(@}%)BB@rFc30K|]}|ddk(rdyw)rr|r Nrrs r"rzalias_rows..&s(@}%)<<@rrGrHr-r1) rI0aliasToCurrentAfterLastFillPromotingDataHitCountrD*aliasToCurrentAfterLastFillPreWriterTracesrJrKrLrMrOaliasToCurrentMetadataOnly)rBCURRENT_SELECTORr7r;r?rJCURRENT_ROOT_FALLBACK_ENDrrrr\rrXr#rxrrvrVrrmrr)rHr)7rOrPr@mapset_aliasesrWr[ current_rootr_current_dynamic_endrcurrent_exact_targetsleaf_rows_by_entryrraliasrrd alias_root alias_start alias_endalias_exact_targets fill_rootr}fillfill_varQr(alias_to_current_promoting_metadata_hits last_fill_va%alias_to_current_after_last_fill_hitsrRleaf_table_hitsleaf_rowleaf_table_route_pair_hit_countleaf_table_reader_hit_count%leaf_table_corrected_reader_hit_count%leaf_table_effective_reader_hit_countafter_last_fill_leaf_table_hits5after_last_fill_leaf_table_corrected_reader_hit_count5after_last_fill_leaf_table_effective_reader_hit_count"leaf_table_frontier_leaf_hit_countleaf_table_negative_hit_countpre_writer_tracespre_writer_trace_writer_countpre_writer_trace_reader_count"pre_writer_trace_route_scene_count!after_last_fill_pre_writer_traces"after_last_fill_trace_writer_count"after_last_fill_trace_reader_count'after_last_fill_trace_route_scene_count(after_last_fill_promoting_data_hit_count0after_last_fill_reader_or_scene_record_hit_countafter_last_fill_execution_likealias_to_current_execution_likercs7 @r" alias_rowsrIs%Y0@A-112FGHLIJJ*4Y *M'M'+K(?EE  22BCsH-G D $$%78>BCCINTRT[ 99Z(&y(;~112FGH  xj8VWX X!+Iz!B Y +hZ0 "% "35IJ  g&," ]D 12G"17zA[/\#G, ]-       !&4 p   ,F34 s=12s>7J 4 04 EJy%)/r!6!6w!?@t +F31 \2 1 -1 -       &4 p  #F+ Cww}%)<<)--cggj.ABHbH  " "$$%-\\2E%F-5\\:U-V!)o!>#+<<0A#B*2,,7O*P%-\\2E%F9AFm9n4%$   0+.. (. + ''** (* ' #144 (4 1 -144 (4 1 -++ \2 + '+ ADD 8D A =ADD 8D A =.10po0p-p*(+, (, ) %8XwP`agPhi(++s;L+s(s%(++s;L+s(s%-01 ,1 . *-H    1 - ) .11 <1 . *.11 <1 . *366 <6 3 /477 >7 4 0? < 8 5q 8 ;?!C ;1A5 ;2A5 ;7: '+;;R*SVW*W' > > EIIf%>  uZ(>  Ik9= > U > UU1X^009 >  UE"IO009>  uyy):;Ar>  .>  .>  6s;c7d>  23[>  *?>  .s?/C>  78W> 45P!> " =>c#> $ =>c%> & :;]'> ( 67T)> * ,->+> , 7 . @A^/> 0 @A^1> 2 CDf3> 4 56U5> 6 ./T7> 8 237\3]9> : 6s;B;8;> B :3?B?<C> J ;C@B@=K> R ;C@B@=S> Z JLA[> \ JLA]> ^Gw@h > {[ x KC4 1 v+ sX, X12X6c t|}||nttdz g}||nttdz i}||nttdz i}||nttdz i}||nttdz i}t|t}t |j d}| tdt||\} } t} t||||||} td| D} td | D}td | D}td | D}td | D}td | D}| Dcgc]}|dD] }d|di| }}}t|Dchc]}|d c}}t|Dchc]$}|j dr|j d&c}}|dkDxr |dk(xr||k(}td| D}td| D}td| D}td| D}td| D}td| D}td| D}td| D} td| D}!td| D}"td| D}#td| D}$td| D}%td| D}&td | D}'td!| D}(td"| D})td#| D}*td$| D}+td%| D},td&| D}-td'| D}.td(| D}/td)| D}0td*| D}1i}2i}3| D]k}|d+d,jD]\}4}5|2j |4d|5z|2|4<|d-jD]\}4}5|3j |4d|5z|3|4<m| Dcgc] }|d.r|d}6}| Dcgc] }|d/r|d}7}| Dcgc] }|d0r|d}8}| Dcgc]}|d+d1dkDr|d}9}| Dcgc]}|d+d2dkDr|d}:}| Dcgc]}|d3dkDr|d};}| Dcgc]}|d4dkDr|d}<}t| Dcgc] }|d+d2 c}d5}=t| Dcgc]}|d4 c}d5}>| Dcgc]}|=dkDr|d+d2|=k(r|d}?}| Dcgc]}|>dkDr |d4|>k(r|d}@}| Dcgc]}|d+d1dk(r|d}A}t| DBchc]}|j d6xsgD]}B|B c}B}}C| Dcgc]}|j d6r|d}D}| Dcgc]#}|j d6r|d+d1dkDr|d%}E}| Dcgc]#}|j d6r|d+d2dkDr|d%}F}| Dcgc] }|j d6r |d4dkDr|d"}G}t| DBchc])}|d+d1dkDr|j d6xsgD]}B|B+c}B}}H| Dcgc]2}d7t!|j d8xsd9vr|d+d1dkDr|d4}I}| Dcgc]2}d7t!|j d8xsd9vr|d+d2dkDr|d4}J}| Dcgc]#}|j d6s|d+d1dkDr|d%}K}t#|9xrt%|9t%Ik(}L|9rEsLrd:nErd;nd<}M|6s |7sLrEs|rd=nd>}N|Nd=k(rd?d@j'IxsdAdBndC}Ot)||| | |}PdD}QidEt*dFt,dGtdHt/|dIt1| | dJ| Dcgc]}|d c}dK| dL| Dcgc] }t3|c}d6CdMDdNt|DdOEdPt|EdQFdRt|FdSGdTt|GidUHdVIdWJdXKdYLdZMd[Nd\Od]Pd^|Pd_d`|Pdadb|Pdcdd|Pdedf|Pdgdh|Pdidj|Pdkdl|Pdmidn|Pdodp|9dq|:dr|;ds|<dt|?du@dv| dw|dx|dy|dz|d{|d||d|d}|d~|id|d|2d|d|d|d|d|d|d| d|!d|"d|#d|$d3|%d4|&d|'d|(id|)d|*d|+d|,d|-d-|3d|.d|/d|0d|1d/t#|7d|7d.t#|6d|6d|8dAdddt4t6t8tt8dt6QdScc}}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}B}wcc}wcc}wcc}wcc}wcc}B}wcc}wcc}wcc}wcc}wcc}w)Nsave_scene_selectors.json!save_selector_mapset_aliases.json'save_selector_secondary_fill_roots.json#save_selector_leaf_index_space.json.save_selector_address_predecessor_context.jsonrrzc3,K|] }|ddyw)r'r-Nrrs r"rz build_summary..`s$W3S)9%::%F$Wc3,K|] }|ddyw)r'r/Nrrs r"rz build_summary..as-h\_c2B.CDV.W-hrc3,K|] }|ddyw)r'r1Nrrs r"rz build_summary..bs)`TW#.>*?*O)`rc3,K|] }|ddyw)r'rlNrrs r"rz build_summary..cs4uilS9I5JKc5d4urc3,K|] }|ddyw)r'r3Nrrs r"rz build_summary..ds3sgjC8H4IJa4b3src3&K|] }|d yw)r4Nrrs r"rz build_summary..es8;> 568rrr^rc3,K|] }|ddyw)r'r6Nrrs r"rz build_summary..zs!<AD ;<<rc3&K|] }|d yw)r9Nrrs r"rz build_summary..}s/g[^4U0V/grc3&K|] }|d yw)r:Nrrs r"rz build_summary..~s;.s79< 347rc3&K|] }|d yw)r;Nrrs r"rz build_summary..ABE <=Arc3&K|] }|d yw)r<Nrrs r"rz build_summary..rrc3&K|] }|d yw)rNrrs r"rz build_summary..>?B 9:>rc3&K|] }|d yw)rNrrs r"rz build_summary..s8xlo=f9g8xrc3&K|] }|d yw)r=Nrrs r"rz build_summary..s:Nrrs r"rz build_summary..EEH ?@Erc3&K|] }|d yw)r?Nrrs r"rz build_summary..rrc3&K|] }|d yw)r@Nrrs r"rz build_summary..sIHK BCIrc3&K|] }|d yw)rANrrs r"rz build_summary..s57: 125rc3&K|] }|d yw)rCNrrs r"rz build_summary..s:;> 56:rc3&K|] }|d yw)rBNrrs r"rz build_summary..rrc3&K|] }|d yw)rENrrs r"rz build_summary..@@C :;@rc3&K|] }|d yw)rFNrrs r"rz build_summary..r rc3&K|] }|d yw)rGNrrs r"rz build_summary..QOR IJQrc3&K|] }|d yw)rHNrrs r"rz build_summary..rrc3&K|] }|d yw)rINrrs r"rz build_summary..sLJM DELrc3&K|] }|d yw)rNrrs r"rz build_summary..sDDG >?Drc3&K|] }|d yw)rJNrrs r"rz build_summary..JIL CDJrc3&K|] }|d yw)rKNrrs r"rz build_summary..rrc3&K|] }|d yw)rLNrrs r"rz build_summary..rrc3&K|] }|d yw)rMNrrs r"rz build_summary..sNLO FGNrr'r8rDrNrOrr-r1rArC)defaultr+zaddress-adjacentrzuncovered-address-adjacent-onlycoveredzno-forward-hitsz address-adjacent-alias-data-onlyopenzWpublic-covered aliases have no forward hits; all forward/data/tail-data hits come from ,r#zq, with exact current-root promotion limited to selector-row metadata and no writer/reader/scene-record trace hitsz9target alias bridge still needs separate execution reviewaIThe target-side alias bridge scan finds direct dword links from target aliases into the bounded current 2:0 root range, but all forward hits come from the non-public, address-adjacent 10:0 range; the public-covered target alias 1:0 has no forward hits. None of those links directly targets the current root, the 0x00542b0c reader, or the map1_01a/map2_02d scene-record pair as a data edge. The sole exact current-root hit is selector-row metadata at 0x0053f328 rather than a root-range data edge. Two leaf-table hits land on current route-pair descriptor entries; their raw traces stop before the frontier reader, while the opcode-0x2c-corrected traces do reach it. The after-last-fill subset contains only 10:0 tail data links into pre-writer script and leaf-table windows, and those pre-writer traces still do not reach the current writer, reader, or route scene records. The address-adjacent 10:0 prefix also contains the current 2:0 root pointer followed by a resource list containing middata.mlk and source/target map CNS names, which is a useful package/list shape clue but still metadata rather than an execution edge. The hits therefore narrow likely shared substructure and corrected route-pair adjacency between alias roots but still do not prove runtime leaf selection, execution order, branch-state persistence, or a strict map1_01a hotspot.sourcetargetcurrentSelectorcurrentRootHexcurrentRootRangeHexr aliasRowsaliasBridgeSummaryRowsrpublicCoveredAliasCount publicCoveredForwardHitSelectors!publicCoveredForwardHitAliasCount!publicCoveredForwardDataSelectors"publicCoveredForwardDataAliasCount'publicCoveredAfterLastFillDataSelectors(publicCoveredAfterLastFillDataAliasCountforwardHitPublicSampleCount"addressAdjacentForwardHitSelectors#addressAdjacentForwardDataSelectorsnonPublicForwardHitSelectorsforwardHitsAddressAdjacentOnlypublicForwardHitCoverageStatus#targetAliasExecutionExclusionStatus#targetAliasExecutionExclusionDetailaddressAdjacentPackageBridge!addressAdjacentPackagePrefixFoundraddressAdjacentPackageStatusr%addressAdjacentPackageRouteProofFoundr&addressAdjacentPackageFollowingStringsr2addressAdjacentPackageCurrentRootRefClassificationr/addressAdjacentPackageIncludesSourceMapResourcer/addressAdjacentPackageIncludesTargetMapResourcer1addressAdjacentPackageCurrentRootResourceRefCountrr?r@rBrErFrGrHrIrrJrKrLrM/aliasToCurrentAfterLastFillExecutionLikeAliases"aliasToCurrentExecutionLikeAliases!aliasToCurrentMetadataOnlyAliasesaliasesWithoutForwardHits proofFoundFblocked)targetAliasBridgeProofFoundfailedTargetAliasBridgeGateIdsmissingEvidence evidenceRefsevidenceRefCountpromotionStatusremainingProofs conclusion)rr3OUTrBrr7r;r?rJrrrmrDrmaxrHstrr setr$rSOURCETARGETr#r)rS#FAILED_TARGET_ALIAS_BRIDGE_GATE_IDS$TARGET_ALIAS_BRIDGE_MISSING_EVIDENCE!TARGET_ALIAS_BRIDGE_EVIDENCE_REFS)RrOr@rrWr[r rPrcrrrrralias_to_current_hit_count#alias_to_current_metadata_hit_countalias_to_current_data_hit_count*alias_to_current_promoting_exact_hit_count)alias_to_current_promoting_data_hit_count-alias_to_current_promoting_metadata_hit_countr<rr1alias_to_current_promoting_metadata_hit_selectors0alias_to_current_promoting_metadata_source_roles.alias_to_current_promoting_exact_metadata_only1alias_to_current_reader_or_scene_record_hit_count%alias_to_current_leaf_table_hit_count0alias_to_current_leaf_table_route_pair_hit_count,alias_to_current_leaf_table_reader_hit_count6alias_to_current_leaf_table_corrected_reader_hit_count6alias_to_current_leaf_table_effective_reader_hit_count3alias_to_current_leaf_table_frontier_leaf_hit_count.alias_to_current_leaf_table_negative_hit_count/alias_to_current_pre_writer_unique_target_count:alias_to_current_pre_writer_trace_current_writer_hit_count:alias_to_current_pre_writer_trace_current_reader_hit_count>alias_to_current_pre_writer_trace_route_scene_record_hit_count*alias_to_current_after_last_fill_hit_count/alias_to_current_after_last_fill_data_hit_count3alias_to_current_after_last_fill_metadata_hit_count5alias_to_current_after_last_fill_pre_writer_hit_count5alias_to_current_after_last_fill_leaf_table_hit_countFalias_to_current_after_last_fill_leaf_table_corrected_reader_hit_countFalias_to_current_after_last_fill_leaf_table_effective_reader_hit_countAalias_to_current_after_last_fill_reader_or_scene_record_hit_count9alias_to_current_after_last_fill_promoting_data_hit_count?alias_to_current_after_last_fill_pre_writer_unique_target_count?alias_to_current_after_last_fill_trace_current_writer_hit_count?alias_to_current_after_last_fill_trace_current_reader_hit_countCalias_to_current_after_last_fill_trace_route_scene_record_hit_count$alias_to_current_target_class_counts4alias_to_current_after_last_fill_target_class_countsrrexecution_like_aliases&after_last_fill_execution_like_aliasesmetadata_only_aliasesaliases_with_forward_hitsaliases_with_forward_data_hits!aliases_with_after_last_fill_hits&aliases_with_after_last_fill_data_hitsmax_forward_data_hitsmax_after_last_fill_data_hitsdominant_forward_data_aliases%dominant_after_last_fill_data_aliasesaliases_without_forward_hits sample_idpublic_sample_idspublic_covered_aliases"public_covered_forward_hit_aliases#public_covered_forward_data_aliases+public_covered_after_last_fill_data_aliasesforward_hit_public_sample_count$address_adjacent_forward_hit_aliases%address_adjacent_forward_data_aliasesnon_public_forward_hit_aliases"forward_hits_address_adjacent_only"public_forward_hit_coverage_status'target_alias_execution_exclusion_status'target_alias_execution_exclusion_detailaddress_adjacent_package_bridgerUsR r" build_summaryr?sS!H&2 #HcBceg8hI'5'A^yQTWzQz|~GN +  sFF K  '  sBBB G ' 2 $ sMMr R %Y0@A-112FGHLIJJ*4Y *M'M'+K c8Y@TVf gD!$$WRV$W!W*--hcg-h*h'&))`[_)`&`#144upt4u1u.033snr3s0s-478BF851 0 <=0  S_,,0,0,0 9?#K@J@958>;?  77' ( $%?84 3Q6 h 5 : h 9=g g3 9<<HL<95-0/gbf/g,g)7:;CG;84477@D740>AAIMA>:>AAIMA>:;>>FJ>;7698xsw8x5x269:CG:73BEELPEB>BEELPEB>FIIOSIFB255>B52.7::BF:73;>>FJ>;7=@@GK@=9=@@GK@=9NQQVZQNJNQQVZQNJILLQULIEADDKODA=GJJPTJGCGJJPTJGCGJJPTJGCKNNSWNKG<>(KM8#&'7#89L#M#S#S#U  L%488qIEQ 1 > $''U#V#\#\#^  L%DHHWXY\aa A N    7 8 J.  D E J.*.  + , J!    ,q 0 J!!&    01 4 J&"&)  4 5 9 J)%).  8 9A = J.*.  :>?3  ~ .?%(CGHC 6 7H%! %  1 $-=)>~)NRg)g J%!%-  )A -=>B__ J-)-$    , 1 J$ $   !239r       77$ % J*  77$ %#.>*? *Ka*O J*&*+  77$ %#.>*?*ORS*S J+'+3  77$ %#.W*X[\*\ J3/3 '*+    ,q 0!239r +  ++'#,  SWWV_%:!; ;  !* - 1 J,(,-  SWWV_%:!; ;  !. 1A 5 J-)-& ww()c2B.CJ.ORS.S J&"& &' X ) *c2V.W W' &62 * . '':26> +, 36X X b 888 9 @S ABP PI ,'I # '# 5h &h &h  +h  % - h  y D h  D ASZ A h  Th  !T"Jc#4S#9"Jh  ,h  &'=h  "3'=#>h  +,Nh  ,S1S-Th  ,-Ph  -c2U.Vh  23^!h " 3C8c4d#h $ &'F%h & -.R'h ( ./T)h * '(F+h , )*L-h . )*L/h 0 ./V1h 2 ./V3h 4 '(G5h 6 ,-LMa-b7h 8 '(G(Q9h : 01PQb1c;h < 12QRd2e=h > =>] *? ?h D :;Z '< Eh J :;Z '< Kh P <=\ 0> Qh V GHg 4I Wh \ !";]h ^ %&D_h ` '(Iah b +,Rch d %&Ceh f +,Qgh h !"tDj?ksh t :;auh v 1$7M2Nwh x -.Dyh z ,-B{h | $%A}h ~ eh @(-*M?9 AB$? Oh hQ0 @?x .  ! & ) . @ I% -$    * + 3 + , - &D!B"Js e2 e)e# e("e-9e2e7-e< f$ff $ f=ff>f!#f$ f*3(f/!(f4%f9.f> :7g77g 4(g ggc gddd|dd|ddd|d d |d dd d j|ddd|dd|dd|dd|dd|dd|dd|ddd j|dxsddd d j|d!xsddd"d j|d#xsddd$d j|d%xsdd d j|d&xsdd d j|d'xsddd(|d)d*d j|d+xsdd d j|d,xsddd-|d.d/|d0dd1|d2d3|d4d5d6|d7d8|d9dd:|d;dd<|d=d>|d?d@|dAdB|dCdD|dEdF|dGdH|dIdJ|dKdL|dMdN|dOdP|dQdR|dSdT|dUd>|dVd>|dWdX|dYdZ|d[d>|d\d>|d]d^|d_d>|d`d>|dadb|dcd>|ddde|dfd>|dgd>|dhdi|djdk|dldmd j|dnxsdddod j|dpxsdddqd j|drxsdddsd j|dtxsdd d j|duxsdddvd j|dwxsdddxd j|dyxsdddz|d{d|d j|d}d~t|dd|jdd|ddd|ddddd|djdxsddd|djdxsddd|djdxsdd|djdxsddd|djdxsddd|djddd j|djdxsgxsddd|djdd>|djdd|djdd|djdd>|djdd|djdd>|djdd>|djdd|djddt|djdxsiddd jd|djdxsgDxsdddd jd|djdxsgDxsddd|djdd|djddd|djdddddd}|drG|dD]>}|j d|dd|dd|dd|dd|dd|dd|dd@n|j d|j gd|dD]}t|d}t|d}|j djgd|dd|dddj|d!xsdd|ddƑ|ddƑ|dƑ|d\dƑ|dƑ|dOd>|dQdƑ|dSdƑ|dUd>|dVd>|dWdƑ|dd|j gdȢ|dD]}|d}|d}|j djgd|dd|dd|dd|ddƑ|ddƑ|dd>|dd>|dd>|ddƑ|dYdƑ|dfd>|dgd>|dhdƑ|ddƑ|dld|j gdӢt |djD]\}} |j d|d| |j gd֢t |djD]\}} |j d|d| |j gdע|dD]h}|j d|dd|dYd|d[d|d\d|d_d|d`d|dcd>|ddd|dad|dd|dfd>|dgd>|dhd|djdj|j gd٢|dD]}|dD]}t|jd۫xs|jdܫ} t|jdݫxs|jdޫ} t|jd߫} t| xs| } |j d|dd|dd|dd|jdd|jdxsdd|jdxsdd| d| d| d| d|jdd |j gd|dD]}|dD]}|j d|dd|dd|dd|dd|jdxsdd|jdxsdd|dd|dd|dddj|jdxsgxsdd|j gd|dD]}|j d|d|dd}|s4|j d|j d|j dX|j gd|D],}|j d|dd|dd|dd|dd .|j d|j ddg|j d|dD|j ddj|S)Nz$# Save Selector Target Alias Bridgesrz - route: `rz` -> `r`z- current selector/root: `r z` / `r!z- target aliases: `r!rz- alias -> current hits: r,z"- alias -> current metadata hits: r.z- alias -> current data hits: r0z)- alias -> current promoting exact hits: rDz(- alias -> current promoting data hits: r2z,- alias -> current promoting metadata hits: r4z*- promoting exact hits are metadata-only: rEz$- promoting metadata source roles: `rGr#z- public samples: `r+z- public-covered aliases: `rz8- public-covered forward/data/after-fill-data aliases: `r&r(r*z#- forward-hit public sample count: r,z*- address-adjacent forward/data aliases: `r-r.z&- forward hits address-adjacent only: r0z'- public forward-hit coverage status: `r1z%- target-alias execution exclusion: `r2z` (r3)z)- address-adjacent package prefix found: r5z$- address-adjacent package status: `r6z4- address-adjacent package current-root ref class: `r9z<- address-adjacent package resources include source/target: r:/r;z7- address-adjacent package current-root resource refs: r<z@- address-adjacent package scene records use package resources: r=z.- address-adjacent package route proof found: r7z-- alias -> current reader/scene-record hits: r5z$- alias -> current leaf-table hits: r9z/- alias -> current leaf-table route-pair hits: r:z+- alias -> current leaf-table reader hits: rz5- alias -> current leaf-table corrected reader hits: r;z5- alias -> current leaf-table effective reader hits: r<z.- alias -> current pre-writer unique targets: r=zA- pre-writer traces hitting current writer/reader/scene records: r>r?r@z)- alias -> current after last fill hits: rAz5- after last fill metadata/data/promoting-data hits: rBrCrz;- after last fill pre-writer/leaf-table/reader-scene hits: rErFrIz>- after last fill leaf-table corrected/effective reader hits: rGrHzA- after-fill traces hitting current writer/reader/scene records: rKrLrMz/- after last fill execution-like bridge found: rOz0- execution-like alias -> current bridge found: rNz- aliases with forward hits: `r>z#- aliases with forward data hits: `r?z&- aliases with after-fill data hits: `rAz-- dominant forward/after-fill data aliases: `rBrCz- metadata-only aliases: `rJz!- aliases without forward hits: `rKz- proof found: rLz$- failed target-alias bridge gates: rOz- missing evidence count: rPz- evidence refs: rRz- promotion status: `rSrUz"## Address-Adjacent Package Prefixz - selector: `r4rz - range: `rz- current-root ref: `rrz- current-root ref class: `rz.- current-root pointer is selector-row entry: rz- following resources: `rz%- contains source/target field maps: rrz2- current equals address-predecessor plus source: rz*- tail current-root range/exact pointers: rrz)- tail reader/source/target record refs: rrrz&- current-root package resource refs: rz,- current-root package resource ref roles: `rz- source scene resource refs: `c3@K|]}|jddywrr#Nr:rs r"rzmarkdown..$"4wUXCGGNC4P4wrz- target scene resource refs: `c3@K|]}|jddywrr:rs r"rzmarkdown..%rrrz/- current scene records use package resources: rz - status: `rz- note: rz## Promoting Exact HitszT| selector | source | value | target label | source role | target class | metadata |z+| --- | --- | --- | --- | --- | --- | --- |rz| `z` | `rrz` | r]z | `r^rr_z |z| - | - | - | - | - | - | - |)rz## Alias Bridge Summaryrz| selector | role | public samples | hits | data | classes | after-fill data | after-fill classes | leaf corrected/effective | pre-writer targets | trace W/R/S | current->alias |zN| --- | --- | --- | ---: | ---: | --- | ---: | --- | --- | ---: | --- | ---: |r$r7rDrrz | rP)rz ## Alias Rowsrz| selector | role | root range | fills | alias->current hits | metadata/data/promoting/promoting-data | after last fill hits | after-fill traces W/R/S | current->alias hits | execution-like |zA| --- | --- | --- | ---: | ---: | --- | ---: | --- | ---: | --- |r#r'r(r)r*r-r/r1rlr3)rz## Target Classesrz- `z`: )rz!## After Last Fill Target Classesr)rz## After Last Fill Summaryrz| selector | tail hits | metadata | data | pre-writer | leaf-table | corrected/effective leaf reader | reader/scene | unique trace targets | trace W/R/S | execution-like |zJ| --- | ---: | ---: | ---: | ---: | ---: | --- | ---: | ---: | --- | --- |rJ)rz## Leaf-Table Hitsrz| selector | source | entry | index | descriptor | child | route pair | raw reader | corrected reader | effective reader | frontier leaf |zD| --- | --- | --- | ---: | --- | --- | --- | --- | --- | --- | --- |rrrrrrrrrr)rz## Pre-Writer Trace Targetsrz\| selector | target | hits | steps | stop | writer | reader | scene record | first opcodes |z9| --- | --- | ---: | ---: | --- | --- | --- | --- | --- |rrrrrz @ `rrrrrz` |)rz## Forward Hitsrz### rz- none)rz/| source | value | target label | source role |z| --- | --- | --- | --- |z## Remaining Proofsc3&K|] }d| yw)z- Nrritems r"rzmarkdown..sD2dVDrrT ) r$rHr;r%rextendrDrr )summarylinesrr<classes after_classesrQrRrr route_pairreadercorrected_readereffective_reader trace_rowrs r"markdownrsR .R  R  WX&'vgh.?-@BR  %W->%?$@gN^F_E``ab R  dii0F(GHIK R  $G,D$E#FG R  -W5U-V,WXR  )1M)N(OPR  4G}}~1R 2 GwPAHBGCCDELM~ED@ A3R 4 B'J}B~A A5R 6 K7TRLSKT U7R 8 9Ah9i8jk9R : 8@k8l7mn;R < /w7X/Y.Z[=R > :'Bl:m9no?R @ 6g>e6f5ghAR B @Hx@y?z{CR D @Hx@y?z{ER F 9Ak9l8mnGR H LGUHMILJJKLSTGLHKIIJKRSIKJJK LIR J 4GY6Z,[,b_b+ccdecR d ',/01eR f /tyyAa9b/c.degR h %S1B)C%D$EFiR j GKK(:;<=kR l (9 :;1=mR n oR p  qR r sR t -uR v wR x  >?CCJOVSVWWXYyR z W;<@@LSPSTTUV{R | (F G K KL_ ` gdghhnovxVpWp[p[\rpspzwzo{{| }}R ~ &g.L&M&Q&QRp&q&xux%yyz{R @ 9A_9`9d9dfL:M9N OAR B #499W5S-T-X-XYk-l-rpr#s#zwz"{{|}CR D 08V0W0[0[\t0u/vvwxA_y`ydyde}y~x @ER F =WEc=d=h=hjU>V=W XGR H 5W=[5\5`5`bD6E5FFGHOPnHoHsHstRHSGT UIR J 4G>vFGHYR Z [R \ "]R ^ _R ` _aR b 6cR Ef45@A C LLc*o&eC ,>+?uS_DUUY}%&d3/C+D*EF &'tC,?+@D    45 LL/0  #C(I$JK)#.\*]^   1 1c 1#j/" 1$ 1s6{m 14 1EVAW8X8_\_7` 1`d 1ehjBfCeD 1DG 1/01 114 15 1>A 1BO 1PS 1CDE 1FG 1HKK{G|F} 1~A 1=>?  1@C  1 FGH  1 IJ  1 KNOBKCJD  1 DE  1 FIJ@FAEB  1 BE  1 +,-  1 .0  1    LL{# /0/0  b bc b#j/" b$ bs6{m b4 bN8K7L bD bQTU`QaPb bbe b +, b,/ b0@AS0T/U bUV bWghvWwVx bxy b{KLd{ezf bfg bhxyPhQgR bRU b89: b:= b>ABy>z={ b{| b~ABy~z}{ b{| b}@A{}||} b}@ b +, b-0 b144\0]/^ b_a b   LL./%g.O&P&V&V&XY5 e s<.E7345 LL>?%g.\&]&c&c&ef5 e s<.E7345 LL{#   #j/"$s+P'Q&RRU@AB#<=>cABC3ABC3PQRRSTWYVUWTXX[KLMSJKLCJKLAcSJOKNLLMNQRLNMMNNQHIJ" N    LL{# 45 Ccgg&>?_377K^C_`J#''"IJycggVxNyzF#CGG,\$]^ #F$>.>?  LLc*o&eC ,>+?uS_DUUY77./0SWW_5M5TQT4UVGG-.5#6d:,c&QT#$C(8'9SWWEZ=[<\\^`    LL{#<= I LLc*o&eIk,B+C4 RbHcGddg-./s9==AR3S3ZWZ2[[_`i`m`mn~`aGDG`HHL456c)D[:\9]]`789chhy}}UcGdGjhj>k>ror=ssvx   LL,-{#  tC O,-.#$V, LL  LL " LL   ij C LLc-()s:.?tC DVCWW[\_`t\u[vvyz    R  LL',- LLD1B)CDD LL 99U r$c#rdjd|dD}g}|dD]R}djd|ddD}|sd}|jdtj|d d |d Td jd |dD}djgdddddtj|ddtj|dddtj|ddtj|dddtjdj|ddd|d d!|d"d#|d$d%d&|d'd%d(|d)d%d*|d+d%d,|d-d%d.tjdj|d/xsd0dd1tjdj|d2xsd0dd3tjdj|d4xsd0dd5tjdj|d6xsd0dtjdj|d7xsd0dtjdj|d8xsd0dd9|d:d%d;tjdj|d<xsd0dtjdj|d=xsd0dd>|d?d%d@tj|dAddBtj|dCdDtj|dEdFdG|dHd%dItj|dJddKtj|dLddM|dNdO|dPd%dQ|dRd%dS|dTd%dU|dVd%dW|dXd%dY|dZd%d[|d\d%d]|d^d%d_|d`d%da|dbd%dc|ddd%de|dfdO|dgdO|dhd%di|djd%dk|dldO|dmdO|dnd%do|dpdO|dqdO|drd%ds|dtdO|dud%dv|dwdO|dxdO|dyd%dz|d{d%d||d}d%d~tjdj|dxsd0ddtjdj|dxsd0ddtjdj|dxsd0ddtjdj|dxsd0dtjdj|dxsd0ddtjdj|dxsd0ddtjdj|dxsd0dd|dddtjdj|dddt |dd%d|j dd%dtj|ddddddtjt |dj d xsd0dtjt |dj dxsd0ddtjt |dj dxsd0dtjt |dj dxsd0ddtjt |dj dxsd0ddtjdj|dj dxsgxsd0dd|dj ddO|dj dd%d|dj dd%d|dj ddO|dj dd%d|dj ddO|dj ddO|dj dd%d|dj dd%dtjt|dj dxsiddtjdjd|dj dxsgDxsd0ddtjdjd|dj dxsgDxsd0dd|dj dd%dtjt |dj dxsd d%ddd|dDcgc]}dtj|d dtj|ddtj|ddtj|ddtj|ddtj|dd|ddɝc}d dʑdˑ|dDcgc]}d jgdtj|d dÑtjt |ddőtjdj|d2xsd0dÑ|d dΑ|d$dΑtjt|ddΑ|dmdΑtjt|ddΑ|d`dO|dbdΑ|dddΑ|dfdO|dgdO|dhdΑ|ddɑc}d dґdӑ|dDcgc]l}dtj|d d|djd|dld|dmd|dpd|dqd|dtdO|dud|drd|dd|dwdO|dxdO|dyd|d{dɝnc}d dՑd֑|dDcgc]}|dD]}dtj|d dtj|ddtj|ddtjt |j dثdtjt |j d٫xsd0dtjt |j dګxsd0dt|j d۫xs|j dܫdt|j dݫxs|j dޫdt|j d߫dt|j dݫxs$|j dޫxs|j d߫d|j ddɝc}}d dd|dDcgc]}|dD]}dtj|d dtj|dd|dd|ddtjt |j dxsd0dtjt |j dxsd0d|dd|dd|ddtjdj|j dxsgxsd0dc}}d dtj|dddd|d ddt|djD cgc]!\}} dtj|d| d%#c} }dddt|djD cgc]!\}} dtj|d| d%#c} }dd|dd|dScc}wcc}wcc}wcc}}wcc}}wcc} }wcc} }w)Nrc 3K|]}djgdtj|ddtjt|ddtj|dd|dd|d d d|d d d |d d d |d dd |d dd|dd|dd |dd |dd|dd d|ddyw)rrrr)r* r'r-r/rr1rlr3rArKrLrMr(rN N)r$htmlescaperXrs r"rzhtml_page..sc     [[Z12 3 {{3s6{+,- . [[^!456 7 ; !  #$Z01  2  #$%789  :;    sC)C+r#c 3K|]k}dtj|ddtj|ddtj|ddtj|dd my w) rrrrr]rr^Nrrrs r"rzhtml_page..s   S%789:S_567;;s=1234S)=%>?@A   sA1A3r'rz"nonez

rzq

z
sourcevaluetarget labelsource role
rc3NK|]}dtj|dyw)z
  • 
    • Nrrs r"rzhtml_page..s#\tDKK-.e4\s#%rTzVSave Selector Target Alias Bridgeszz+

    Save Selector Target Alias Bridges

    z
      z
    • route: rz -> rz
      • z!
    • current selector/root: r z / r!z
    • target aliases: r!rz
    • alias -> current hits: r,z metadata r.z data r0rz.
    • alias -> current promoting exact hits: rDz-
    • alias -> current promoting data hits: r2z1
    • alias -> current promoting metadata hits: r4z,
    • promoting exact hits are metadata-only: rEz+
    • promoting metadata source roles: rGr#z
    • public samples: r+z"
    • public-covered aliases: rz?
    • public-covered forward/data/after-fill-data aliases: r&r(r*z%
    • forward-hit public sample count: r,z1
    • address-adjacent forward/data aliases: r-r.z(
    • forward hits address-adjacent only: r0z.
    • public forward-hit coverage status: r1z,
    • target-alias execution exclusion: r2z (r3z)
      • z+
    • address-adjacent package prefix found: r5z+
    • address-adjacent package status: r6z;
    • address-adjacent package current-root ref class: r9z>
    • address-adjacent package resources include source/target: r:rr;z9
    • address-adjacent package current-root resource refs: r<zB
    • address-adjacent package scene records use package resources: r=z0
    • address-adjacent package route proof found: r7z2
    • alias -> current reader/scene-record hits: r5z)
    • alias -> current leaf-table hits: r9z4
    • alias -> current leaf-table route-pair hits: r:z0
    • alias -> current leaf-table reader hits: rz:
    • alias -> current leaf-table corrected reader hits: r;z:
    • alias -> current leaf-table effective reader hits: r<z3
    • alias -> current pre-writer unique targets: r=zC
    • pre-writer traces hitting current writer/reader/scene records: r>r?r@z.
    • alias -> current after last fill hits: rAz7
    • after last fill metadata/data/promoting-data hits: rBrCrz=
    • after last fill pre-writer/leaf-table/reader-scene hits: rErFrIz@
    • after last fill leaf-table corrected/effective reader hits: rGrHzC
    • after-fill traces hitting current writer/reader/scene records: rKrLrMz1
    • after last fill execution-like bridge found: rOz5
    • execution-like alias -> current bridge found: rNz%
    • aliases with forward hits: r>z*
    • aliases with forward data hits: r?z-
    • aliases with after-fill data hits: rAz4
    • dominant forward/after-fill data aliases: rBrCz!
    • metadata-only aliases: rJz(
    • aliases without forward hits: rKz
    • proof found: rLz,
    • failed target-alias bridge gates: rrOz
    • missing evidence count: rPz
    • evidence refs: rRz
    • promotion status: rSz
    z(

    Address-Adjacent Package Prefix

    z
  • selector/range: r4rz
  • current-root ref: rrz"
  • current-root ref class: rz
  • following resources: rz'
  • contains source/target field maps: rrz4
  • current equals address-predecessor plus source: rz,
  • tail current-root range/exact pointers: rrz+
  • tail reader/source/target record refs: rrrz(
  • current-root package resource refs: rz3
  • current-root package resource ref roles: rz&
  • source scene resource refs: c3@K|]}|jddywrr:rs r"rzhtml_page..%GJhksww~_bGcGJrrz&
  • target scene resource refs: c3@K|]}|jddywrr:rs r"rzhtml_page..rrrz1
  • current scene records use package resources: rz
  • note: rz

    Promoting Exact Hits

    zrrrrrrr]rr^rr_rz

    Alias Bridge Summary

    a"
    selectorsourcevaluetarget labelsource roletarget classmetadata
    r$rrr7rDrPz

    After Last Fill Summary

    a
    selectorrolepublic sampleshitsdataclassesafter-fill dataafter-fill classesleaf corrected/effectivepre-writer targetstrace W/R/Scurrent->alias
    rJz

    Leaf-Table Hits

    z
    selectortail hitsmetadatadatapre-writerleaf-tablecorrected/effective leaf readerreader/sceneunique trace targetstrace W/R/Sexecution-like
    rrrrrrrrrrz!

    Pre-Writer Trace Targets

    z
    selectorsourceentryindexdescriptorchildroute pairraw readercorrected readereffective readerfrontier leaf
    rrrrrz @ rrrrrrz

    rUz

    z

    Alias Rows

    a
    selectortargethitsstepsstopwriterreaderscene recordfirst opcodes
    z

    Target Classes

    z
  • z : z'

    After Last Fill Target Classes

    z

    Forward Hits

    z

    Remaining Proofs

    ) r$rrrrHr;rXr%r rDr) rrforward_sectionsr<hit_rowsproofsrrrrs r" html_pagers,;'J{# 99 +,V4  =H4;;s:/01{j( *  "WW\IZA[\ \F 99|b| G| 6|  | DKK(9:;;OPTP[P[\cdl\mPnOoo{| | ,DKK@Q8R,S+TTdeiepepqxzJrKfLeMMY Z | %T[[7CY;Z1[%\$]]ij| )1I)J(K:V]^~VVAAGHOPlHmGnns t| 9Ag9h8iino| 8@e8f7gglm| a6b5cchi-|. 6dkk'JhBi6j5kkwx/|0 FdkkRY[OSPGQFRR^ _1|2 IRCJDIEEFGNO@GAFBBG H3|4 DGLEADBBG H5|6 MWVTNUMVV[ \7|8 ;7Cj;k:llqr9|: =WEp=q ?wGq?r>ssxy?|@ ;7Cj;k:llqrA|B EWM}E~D@E FC|D EWM}E~D@E FE|F >gFp>q=rrwxG|H NgWJOKNLLMNUVINJMKKLMTUKMLLMMR SI|J 9Af9g8hhmnK|L B'JwBxAyyz|CDm|n{oopqxykqlpmmr sM|N HP~HHAABCJKyCzB{{|}DE}}~|D EO|P K7TQLRKSSTU\]ZU[T\\a bQ|R NgWNOONPPQRYZQRRQSSTU\]WUXTYY^ _S|T eDk|l 't{{7;L3M'N&O|\m|n o|p 3q|r s|t %T[[W=[5\5`5`ak5l5sps1t%u$vwGHLHSHSTWX_`~XXCXCDNXOXVSVTWHXGYYe fu|v 't{{3w?]7^7b7bcv7w7~{~3(A'BBVW[WbWbcfgnoMgNgRgRSigjgqnqcrWsVtt@ Aw|x -T[[WEc=d=h=hjH>I>PMP:Q.R-SS_ `y|z *$++diiHf@g@k@kl~@AFDF7G7NKN+O*PP\ ]{|| 2':X2Y2]2]^v2w1xxy{BCa{b{f{fg{@zAAF G}|~ ?wGe?f?j?jlW@X?YY^ _|@ 7w?]7^7b7bdF8G7HHIJQRpJqJuJuvTJUIVV[ \A|B 6g>\6]6a6ab~66AABCJKiCjCnCnoICJBKKLMTUsMtMxMxySMTLUUZ [C|D 37;Y3Z3^3^`D4E3FFK LE|F >dkkJ[\ceC]D]H]HIr]s]ywyKz?{>||H IG|H 1TYYGJovxVpWp[p[\BpCpIGIGJ>J>QNQ2R1SS_ `I|J 1TYYGJovxVpWp[p[\BpCpIGIGJ>J>QNQ2R1SS_ `K|L ?@AS%789:~&'(  W|n o|p (q|r ms|R78     S_56 7 ;;s3v;/01 2 SXXc2C.D%E%LMN O /01 2  345  6  ;;05V1WXYZ  [ @AB C ;;05c1defg h GHI JK LOOLAKB B ABC D JKL MN ORSFOGNH HI JMNDJEIF F /01 2  u|V W|X +Y|Z ][|x{+  S_567<=>?DEFG@ABCEFGHEFGHTUVVWX[]ZY[X\\OPQRNOPQNOPPQRUWNSORPPQRUVPRQQRRLMNO  ]|| }|~ #|@ |A|^{+  89  S_567S%789:S_567;;s377+>#?@ABCS)A)HS%IJKLS1B)C)Js%KLMN 89YSWWEX=YZ[\ GHwCGGTvLwxyz PQRST GHuCGGTvLwu{~|C|CDt|uvww770123    C|d e|f ,g|h Bi|B{+   !@A  S_567Y{%;<=>-./0-./0;;s9==1B#C#JsKLMYW[WbWbcfgpgtgtvFhGhNKNdOXPWQQ45674567789:SXXimmN.K.Qr%R%YVYZ[\    k|H I|J dkk',/0 16K|L M|N gO|P Q|R S|T "U|V W|\(.g6W.X.^.^.`'a # e\239UG5 I Y|` a|b 2c|d e|j(.g6d.e.k.k.m'n # e\239UG5 I g|n o|p q|r s|t $u|v vhew|| |V  ( & ( .  s/9B&~ /D!~ A1~ "F?~! 3D~' &~- &~3 c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz'save_selector_target_alias_bridges.jsonF) ensure_asciiindentrr+r,'save_selector_target_alias_bridges.html)mkdir write_textr/dumpsr)rout_dirs r" write_outputsrse MM$M. 88DD 7q9D@E 88DDYwEWbiDjr$c xtjt}|jdtt |jdtt dz |jdtt dz |jdtt d z |jd tt d z |jd tt d z |jdtt |j}t|jjt|jgt|jit|jit|jit|j i}t#||j$t'd|j$dz y)N) descriptionz--exe)typerz --selectorsrz--mapset-aliasesrz--secondary-fill-rootsrz--leaf-index-spacerz--address-predecessor-contextrz --out-dirzwrote target alias bridges -> r)argparseArgumentParser__doc__ add_argumentrEXErV parse_argsrrO read_bytesr3r@rrWr[r rrprint)parserargsrs r"mainrss  $ $ 9F dC8  D#@[:[\ *sEh?hi 0tSKtEtu ,4GlAlm 7dCSCMCD  $<    D $.."%$%%r*$++R0$'',$22B7 G'4<<( *4<<:c+c*d efr$__main__)r!r6returnrX)r'r6r( int | NonerrX)rrr2rrr)r!z str | Nonerr)r<r rrX)r@ list[dict]rArXrr )r@rrz list[int])r@rrIr6rztuple[int, int | None])rObytesrPrrQr6rr)rVrXrWr rr )r[ dict | Nonerzdict[str, dict])rbr6rcr rdr rrX) r!r6rlr6rmrrndict[int, str]rrX)rurXrr )r!r6rrXrr rrX)rr6rrXrr rrX)rrrQr6rr )0) rOrrPrrrrrrr6rr)rrrdict[str, int])rr6rrX) rOrrPrrr6rrrrrr) rOrrPrrr6rrr rrr )rrrrX)r<r rr )rr rUrrr )rOrrPrrnr6rorrpr6rmrrnrrr r)rOrrPrr@rrr rWr r[rrr)NNNNN)rOrr@zlist[dict] | NonerrrWrr[rr rrr )rr rrX)rr rrrNone)rr)Pr __future__rrrr/rMsyspathlibrtypingrrinsertrX__file__resolveparentprobe_exe_scene_tablesrrr%summarize_save_selector_stream_tracesr rROOTrVrrZr[rrr~rrrCURRENT_LEAF_STARTrrrrr\r]r^rrrr#r)r3r7r=rBrErJrSrXr\rirorvrrrrrrrrr%rSrVrxrrrrrr__name__rr$r"rsU" 3tH~--/6678PP> H~''* Ul ]  &%#""")'# ($ 0F 8)+HI >\ :N+%!4#1"0!.G8 -324  "(4& ' '''  '  '  'T       8b bbb b "- b  bJNM`: )H HHH H  H  H"H Hb%) s sss s  s " ssp$("&(,$(/3 Y Y Y Y& Y " Y "- Y Yx Nb_D25kg, zFr$
    • selectorroleroot rangefillsalias->currentmetadata/data/promoting/promoting-dataafter last fill hitsafter-fill traces W/R/Scurrent->aliasexecution-like