UHjhdZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZddlmZe ej!j,dZed z Zd Zd Zd Zd ZdZdZdZdZ dZ!dZ"dZ#dZ$d4dZ%d4dZ&d5dZ'd6dZ(d7dZ)d8dZ*d9dZ+d:dZ,d;dZ-dd!Z0 d?d"Z1d@d#Z2 dA dBd$Z3 dA dCd%Z4dDd&Z5dEd'Z6dFd(Z7dGd)Z8dHd*Z9dId+Z: dJd,Z;dKd-ZdNd0Z?dOd1Z@dPd2ZAeBd3k(reAyy)QzISummarize the address-adjacent selector root before the current 2:0 root.) annotationsN)Path)Any) read_sections)handler_for_opcodeoutmap1_01amap2_02dz0:0z1:0z2:0i(Ti)Ti*Ti*Ti +TiD+Ti+Tcd|dS)N0x08xvalues P/home/exedev/hwanse/tools/summarize_save_selector_address_predecessor_context.pyhex32r# c{ cd|dS)Nr 02xrrs rhex8r'rrcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks r load_jsonr#+s* ;;= ::dnngn6 77rcL|jdd|jdS)Ngroup:slotget)rows r selector_keyr+1s&ggg q 1 22rcR|D]}t||k(s|cStd|d)Nz selector z not found)r+ ValueError) selectorskeyr*s r find_selectorr05s9   #J yZ0 11rc"|r t|dSdS)Nintrs r parse_hexr5<s"3ub>,,rc|D]E}t|d}|t|dz}||cxkr|ks.n1t|d||z zcSy)Nvaraw_sizerawr3sectionsr7sectionstartends r va_to_offsetr?@s]6GDM"c'*-.. B  wu~&"u*5 5 6 rc|D]O}t|d}|t|dz}||cxkr|ks.n1t|jdxsdcSy)Nr7r8name)r4strr)r:s rsection_for_varDIs^2GDM"c'*-.. B  w{{6*0b1 1 2 rcvt||}||dzt|kDrytjd||dS)N   s&.cxt|}|j|}|dzt|kr||dznd}||fS)Nr)rSindexrH)r.rUrRrXr>s r root_rangerYisC  #E KK E#ai#e*4% $C C<rc R|gSt||}t||}||||krgS|||}tjd|}g} d} |j|| } | dkr | S|| z} | j t | t |t || | t| d| dz} a)NrGr)refVaHex targetVaHexr<offsetFromRangeStartoffsetFromRangeStartHexr)r?rIpackfindappendrrDhex) rKr;start_vaend_va target_va start_offset end_offsetdatapatternrefscursorrXref_vas rdword_refs_in_rangermps~ (3Lh/Jz1Z<5O |J 'Dkk$ *G D F  '6* 19  KE! f  +%h7$)'*5z    rc |jd}|jd}g}|D]W}d}|jd|k(rd}|ji|||jd|k(|jd|k(dY|S)NselectedPointerVaHex rowPointerHexzdata-referencer[z(current-selector-row-selected-root-entry)role"isCurrentSelectorSelectedRootEntryisCurrentSelectorRowPointer)r)ra)rjcurrent_selectorselected_entry_hexrow_pointer_hex annotatedrefrqs r#annotate_current_selector_ref_rolesrys)--.DE&**?;OI   77: "4 4=D  25''*2EI[2[+.77:+>/+Q     rc`t||}|gS||||z}g}d}|t|kr|jd|} | dkrnh||| } t| dk\rAtd| Dr/|j t ||z| j dd| dz}|t|kr|d|S)NrrFc3<K|]}d|cxkxrdkncyw) Nr).0bytes r z1printable_string_entries_after..s Bdt!1c!1!1 Bsascii)vaHextextr)r?rHr`allrardecode) rKr;r7limit max_stringsrLchunkentriesrkr>r9s rprintable_string_entries_afterrs(B 'F ~ v~ &EG F 3u: jj&) 7 F3 s8q=S Bc BB NNrF{+ 7+ q 3u:  B 779  )J Irc|dz}tdD]}|r|dz nd}||sntdD]}|dzdk\rdn|dz}||s|S|S)N r r)range)tabler=r'_s rsimulate_opcode12_selected_slotrsv 4s$A)A8) A54A5c |s gdddddgdS|d}t|}g}|;tdD]-}t||}|j||||||dk(d/t |Dchc]%}|j ds|j d'c}|j d|j d|j d |t |xrtd |D|dScc}w) NF)uniqueFillValueHexeslastFillValueHexlastFillHelperArgumentHexlastFillStreamPlus1Hex!secondaryBranchStateAfterLastFill"lastFillAllStartsPassCurrentReaderoutcomesrr) startSlot selectedSlot selectedValuefrontierReaderFallsThroughvalueHexrrc3&K|] }|d yw)rNrrr*s rrzfill_effect..sE 25C, -E )rrrrarQr)boolr)fills last_fillrrr=selectedrs r fill_effectrs $& $)-&*1527  b I $Y /EH 2Y E6ueDH OO" (!&x.3Ho.B   !''gRVRZRZ[eRf(<'g h%MM*5%.]]3F%G"+--0@"A-2.28n/ E 9AE B   'gs %C(<C(c|dzdk7ry|dz dz}|dz dz}|dz dz}|dk(rdnd}|dk}|d k}t|t|t|||||dk(xr|xr|d S) Nrr2rprimaryBranchStatesecondaryBranchStater)rrstreamPlus3Hex stateTablehelperDispatchValid scriptShapedvalidSecondaryFill)r)r stream_plus_1 helper_arg stream_plus_3 state_table helper_valid script_shapeds r decode_op10rs  aZ4'M2+%Jb[D(M*71*<&BXK%L!T)M}-!*-}-!+%)-CCf fYf rc ||k(ry|tk(ry|tk(ry|tk(ry|tk(ryt|cxkr t kry| ||cxkr|ksyy|t kryt |cxkr tkryt|cxkr|kry y y ) Ncurrent-root-exactfrontier-readerz frontier-leaf source-record target-recordleaf-table-windowzcurrent-root-before-writerzwriter-to-reader-windowzpost-reader-current-rootzcurrent-root-other)FRONTIER_READER FRONTIER_LEAF SOURCE_RECORD TARGET_RECORDLEAF_TABLE_STARTLEAF_TABLE_ENDCURRENT_WRITER)r current_root current_ends rclassify_current_root_pointerr"s #     51>1"2,%"E+"E#F ~+00(1,,)- rc ||||k\r;iddddddddddddddd dd dd dd dd dddddddddddiggdSi}d}d}d} d} i} d} d} d}d}d}d}d}d}d}d}g}t||dD]}t|||}||dz}t|}|j|ddz||<t |||}|jddk(r|dz }|jdr|dz }t ||}|r%|dz }|dk(r|dz }n|dk(r| dz } n |dk(r| dz } t |||}|rS| dz } | j|ddz| |<|dk(r| dz } n+|dk(r|dz }n |dk(r|dz }n|d k(r|dz }n |d!k(r|dz }t|}|r|dz }|d"r|dz }|s|jddk(s|sCt|d#ksS|jt|t|||jd$|jd|||d%td||z dz}t|jd&'dd(D cgc] \} }| |d) }!} }|d*k\xr(| d+k\xr!| dk(xr|dk(xr|dk(xr |dk(xr|dkD}"idt|d,t|d|d|d|d| d| d| d | d |d |d |d |d|d|d|d|d|"tt| j|!|dScc}} w)-NrangeHex dwordCountrpointerDwordCountdataPointerDwordCounttextPointerDwordCountrelocPointerDwordCountcurrentRootRangePointerCountcurrentRootExactRefCountfrontierReaderRefCountsourceRecordRefCounttargetRecordRefCountleafTableWindowPointerCountdataHandlerLowByteCountdefaultHandlerLowByteCountopcode10LowByteCountvalidSecondaryFillCountlooksLikeDescriptorDataF)currentRootPointerClasses lowOpcodeTopsamplesrFrrhandlerSectionz.dataisDefaultHandlerz.textz.relocrrrrrrr} handlerVaHex)rr lowOpcodeHexrrpointerSectioncurrentRootPointerClassop10c|d |dfS)Nrrr)items rz.tail_after_last_fill_summary..stTUwhX\]^X_M`r)r/r)rr2 ..)rrMrr)rrDrrrHrarmaxrQitemsdict)#rKr; tail_starttail_endrrlow_opcode_counts pointer_countdata_pointer_counttext_pointer_countreloc_pointer_countcurrent_root_pointer_classescurrent_root_pointer_countexact_current_root_countfrontier_reader_countsource_record_counttarget_record_countleaf_table_countdata_handler_countdefault_handler_countopcode10_countvalid_secondary_countrr7ropcode opcode_hexhandlerpointer_section target_classr dword_countr/low_opcode_toplooks_like_descriptor_datas# rtail_after_last_fill_summaryr:s^X-x1G  !    $Q  $Q  %a   +A  '  %a  #A  #A  *1  &q  )!  #A &q! " &u# $*,)  ,)+M35 !" NGJ!,3h+ = &\ (9(=(=j!(Lq(P*%$S(F; ;;' (G 3 ! #  ;;) * !Q & !(59  Q M')"a'" G+"a'" H,#q(#4UL+V  &! + &9U9Y9YZfhi9jmn9n ( 633(A-(!22%*%0#q(#0#q(#!44 A% 5!  a N()%*% 7;;'78GCt7|b "2Y %e $.$+KK$?&-kk2B&C&5/;   U3ha(Z/A56K!!2!8!8!:@`abecef Cu-N  # &" , # $ ) # "Q & # 1 $  # 1 $  #  " uZ()E(O+<= k  ]  !3   !3   !"5   '(B  #$<  !"7   3   3  &'7  "#5  %&;    "#8! " "#=# $&*&1M1S1S1U*V%W&) sK;ct||}|r|dni}|jdxsg}tt||}|jdxsg}|r|dni} t |} t | jd} |D cgc] } t | c} t|t|d| t|nd|t|vt|v|jdd|r|dxsijdnd| jd| &|$| d z|krt| d zdt|nd|rd ndd | Scc} w) NrrOrrrr? fillCountrFF) r.rrrOcontainsSourcecontainsTargetr firstFillHex lastFillHextailRangeAfterLastFillHex&tailHasKnownSecondaryFillAfterLastFill) rVr)rrrr5r+SOURCETARGET) r.rU root_end_varrowsfirst field_maps fill_rootrreffect last_fill_var*s r root_recordr,s[ i 1DDGE;'-2JeGn.BCI MM' " (bE"b I  FY]]734L378Cl3'8>W~&b{?V{);\_(`a J. J.]];29>qR,,W5D }}W-'K,C WXHX\gHg\A%&'r% *<)= >;@%d  ! 8sD?c  t|}t|t}t|t}t|t}t |dd}t |}|j|} || dz } | dzt|kr|| dznd} t|| \} } t||\}}| t|| t|| d|ni}t|jdxsg}t|jdxsg}t|| }|r|dni}t|jdxsg}t|jdxsg}tt||| | ||}t||||| }|r t!||t |ddddzng}|Dcgc]}|d }}|r t#|nd}t|| | |}t||||}t%|jd }t'||||dznd| ||} d }!d }"t)d |Drd n|rt)d |Drdn|rdnd}#d}$dj+gdtd|dt-| dt-|d|jdd|dtdt.dt0d|jddd j+|xsd!d"| d#d$| d%d&| d'd&| d(d&| d)d*td+t0d,t.d-}%id.t0d/t.d0td1td2td3|jdd4|jdd5|jdd6|jd7d8|jd9d:|jdd;|d| t-| nd?d@| t-| nddA|jdxsgdB|jdxsgidC|jdxsgdD|jdxsgdEt0|vdFt.|vdG||k(dH||k(dI||t0hzk(dJt3||z dKt|dL|dMt)dN|DdOt|dP|dQ|#dR|dS|dT|idU|dV|dW| dX| dYdZ| d[d\| d#d]| d%d^| d'd_| d(d`| d)da| dbdc| ddde| dfdg| dhdi|jdjdk|jdldm|jdjdnuxr|" |!|"d d |$do|dptdqdrg|%dsScc}w)tNrPr2rrOrr[rFrr Fc3>K|]}|jdywrrNr(rs rrz build_summary..!sasww;<az-current-selector-row-entry-with-resource-listc3dK|](}|jdxs|jd*yw)z.cnsz.mlkN)endswithrrs rrz build_summary..$s+$rX\T]]6%:%SdmmF>S%S$rs.0zresource-list-pointer-contextzunclassified-data-referencemissingblockedrBz4The address-adjacent field-map root before selector z is z at z&. It ends exactly at the current root z and has rz secondaryBranchState fill-shaped rows. Its last known fill would satisfy the current reader for every start slot if that root executed immediately before the current root and the state persisted. However it is selector z$, not the logical previous selector z; it contains z but not z]; and its direct current-root dword hit is the current selector's own selected-root entry at roz, followed by resource strings , nonez$. After the last fill, the tail has rzq current-root-range pointers, but exact current-root, frontier-reader, source-record, and target-record refs are r/rrrz. Address adjacency, tail pointer density, a passing fill effect, and this selector-row metadata still do not prove that normal gameplay executes this root before the z frontier reader or that z->z has a strict source hotspot.sourcetargetsourceSelectorlogicalPredecessorSelectorcurrentSelector sourceRootHexlogicalPredecessorRootHexcurrentRootHex¤tSelectorRowPointerTableEntryHexrowPointerVaHexcurrentSelectorRowPointerHexrp#currentSelectorSelectedRootEntryHexaddressPredecessorSelectoraddressPredecessorRootHexaddressPredecessorRangeHexrraddressSuccessorRootHex sourceMapslogicalPredecessorMapsaddressPredecessorMaps currentMaps addressPredecessorContainsSource addressPredecessorContainsTarget0addressPredecessorEqualsLogicalPredecessorMapSet%addressPredecessorEqualsCurrentMapSet)currentEqualsAddressPredecessorPlusSource'sourceSelectorExtraMapsOmittedByCurrent'addressPredecessorToCurrentRootRefCount#addressPredecessorToCurrentRootRefs;addressPredecessorToCurrentRootRefIsCurrentSelectorRowEntryc3>K|]}|jdywr/r(rs rrz build_summary..Ys!K >ACGG8 9K r0'currentToAddressPredecessorRootRefCount#currentToAddressPredecessorRootRefs.addressPredecessorCurrentRootRefClassification0addressPredecessorCurrentRootRefFollowingStrings6addressPredecessorCurrentRootRefFollowingStringEntriesaddressPredecessorRoot currentRootaddressSuccessorRoot#addressPredecessorTailAfterLastFill addressPredecessorTailDwordCountr'addressPredecessorTailPointerDwordCountr2addressPredecessorTailCurrentRootRangePointerCount.addressPredecessorTailCurrentRootExactRefCount,addressPredecessorTailFrontierReaderRefCount*addressPredecessorTailSourceRecordRefCount*addressPredecessorTailTargetRecordRefCount1addressPredecessorTailLeafTableWindowPointerCountr-addressPredecessorTailDataHandlerLowByteCountr-addressPredecessorTailValidSecondaryFillCountr-addressPredecessorTailLooksLikeDescriptorDatar4addressPredecessorLastFillAllStartsPassCurrentReaderr8addressPredecessorTailHasKnownSecondaryFillAfterLastFillr"3addressPredecessorPassingFillStillNotExecutionProofTz$prove whether address-adjacent root z executes before selector zptrace the selector loader or selected-pointer runtime state instead of treating 0x0053f328 metadata as executionzKcapture real selector 2:0 savedata or find a strict map1_01a source hotspot)#selectorIndexOrderSupportsExecution addressContiguityProvesExecutionexecutionOrderProvenstrictHotspotFoundpromotionStatusremainingProofs conclusion)rr0CURRENT_SELECTORSOURCE_SELECTORLOGICAL_PREDECESSOR_SELECTORr4rSrXrHrYr,setr)rVryrmrr+r5ranyjoinrr$r#rQ)&rKr.rr; current_row source_rowlogical_predecessor_rowrrR root_indexaddress_predecessor_rootaddress_successor_rootprevious_start previous_end current_startrsuccessor_record source_mapslogical_predecessor_mapsaddress_predecessor_rowsaddress_predecessor_rowaddress_predecessor_maps current_mapsprevious_to_current_refscurrent_to_previous_refsfollowing_string_entriesr*following_stringsaddress_predecessor_selectoraddress_predecessor_root_recordcurrent_root_recordr+address_predecessor_tail'selector_index_order_supports_execution#address_contiguity_proves_executiondword_ref_classificationpromotion_statusrts& r build_summaryrs S!H +;2W[#-i9Q#R NL!+I|!DM; " - I5z)Mc7def7gi}~  jnn[17R8K"#:#>#>{#K#QrR1)=UV=U6q9[]"#:#>#>{#K#QrR{{39r:LBCV  D    3    $ 'sHc:RST:UV`:ace6fij6jk  1IIVIILc<0G#Him &1  '# &i{L`a<@@OPL; (4 q$  /4+*/' aH`a a 8 $r`q$r!r ( $+ ! j j > j?O>P jPT j ' ( j(, j-23K-L,M jMs j    j( j)H)L)L[)Y(Z j[ j 11  j 2V  j WsUs  j t  j h  j (  j )/x  j 0"  j#.//2H"I!J jKj j 99& ' 16 2 j3- j.FFd-e,f jgh j $$> ? @ jAB j $$< = > j?@ j $$: ; < j=> j $$: ; < j= j   ! j !:! j ;A! j BD! j EK8! j Li! j&L &L &L  /L  %&B L  + L  (<= L  $%<%@%@AU%VL  +//*>?L  1+//BS2TL  ' (HL  .{?U/VL  %&BL  $U+C%DL  %~)>(?rYeYq% BUwzA{&|L  "DZDf5)?#@lpL  jnn[17R!L " !"9"="=k"J"Pb#L $ !"9"="=k"J"Pb%L & {{39r'L ( +F6N,N)L * +F6N,N+L , ; 237O3P?L @ ./GAL B 9:RCL D ;V *? UL Z 9:RSm:n[L \ 78PQi8j]L ^ 56NOe6f_L ` 56NOe6faL b <=U )> cL h 89QRk9liL j 89QRk9lkL l 89QRk9lmL n ?@_@c@c 0A oL t CDcDgDg 4E uL z > + / /0T UY] ] 877L B0W,O %#+23O2PPjk{j| } ~ Y !WL LeJs$ U%c gddd|dd|ddd|d d |d dd |d d |ddd|dd |dd|ddd|dd |ddd|dd|dd|dd|dd|d dd!|d"dd#|d$d%|d&dd'|d(d)|d*d+|d,d-|d.d/|d0d1|d2d3|d4d5|d6d7|d8d9|d:d;|d<d=|d>dd|d?dd@ddAdB}dC|dDfdE|dFfdG|dHffD]\}}|s |jdI|dJdKjdL|jdMxsgDdN|jdOdP|jdQdJ|jdRdJ|jdSdN|jdTxsdUdV|jdWxsdUdV|jdXxsdUdP|jdYdN|jdZxsdUd[|jgd\|d]}|r|jd^|Dn|jd_|jd|jd`dKjda|dbDxsdUz|dc}|jddddde|jdOddf|jdgdh|jdidj|jdkdl|jdmdn|jdodp dq|jdrds|jdtd5|jdud5|jdvd5|jdwdx|jdydz|jd{d||jd}d7|jd~dddKjd|jdxsij DxsdUzdddg|jdxsgD]}|jd|jddV|jddV|jddV|jdxsdUd|jdxsdUdJ|jdxsdUdJ|jdxsdUdJ|jdr$|jdxsijdndUd|jgd|jd|dD|jddj|S)Nz+# Save Selector Address Predecessor ContextrBz - route: `r9z -> r:`z- source selector: `r;z` root `r>z- logical predecessor: `r<r?z- address predecessor: `rErFz ` range `rGz- current selector: `r=r@z:- address predecessor equals logical predecessor map set: rOz2- current equals address predecessor plus source: rQz,- address predecessor -> current root refs: rSz2- current-root ref is current selector row entry: rUz!- current selector row pointer: `rCz)- current selector selected-root entry: `rDz,- current -> address predecessor root refs: rWz$- current-root ref classification: `rYz#- last fill passes current reader: rkz1- tail has known secondary fill after last fill: rlz*- passing fill still not execution proof: rmz$- tail current-root-range pointers: rbz - tail exact current-root refs: rcz- tail frontier-reader refs: rdz"- tail source/target record refs: rer8rfz- tail descriptor-like data: rjz'- address contiguity proves execution: roz- execution order proven: rpz- promotion status: `rrrtz## Root Summaryz| role | selectors | range | contains source | contains target | fills | first fill | last fill | last fill value | all-starts pass | tail after last fill |zD| --- | --- | --- | --- | --- | ---: | --- | --- | --- | --- | --- |address predecessorr\currentr]address successorr^z| z | r6c3(K|] }d|d ywrNrr3s rrzmarkdown..s#WDavQK#Wr.z | `rz` | rrrr-z` | `r rrr!z` |)rBz## Direct RefsrBrTc 3vK|]1}d|dd|dd|dd|dd|jd d 3y w) z- `r[z` -> `r\z ` section `r<z ` offset `r^z` role `rqrNr(rs rrzmarkdown..s #j/"&]);(.siTqa[irrZr_z## Tail After Last Fillz - range: `z - dwords: rz- pointer dwords: r (data r, text r, reloc r)z- current-root-range pointers: rzM- exact current-root / frontier-reader / source-record / target-record refs: rrrrz- leaf-table window pointers: rz- data-handler low-byte rows: rz)- valid secondary fills after last fill: rrzcurrent-root pointer classes: c30K|]\}}|d|ywr&Nrrr/rs rrzmarkdown..sn*#uuAeW%nrzc| va | value | low opcode | handler | pointer section | current-root class | valid secondary fill |z+| --- | --- | --- | --- | --- | --- | --- |rz| `rrrrz` rrrrrz |)rBz## Remaining ProofsrBc3&K|] }d| yw)z- Nrr3s rrzmarkdown..sD2dVDrrs )rarzr)extendr)summarylinesrqr*rjtails rmarkdownrs" 5"  "  WX&'tGH,=+>a@"  w'789'/BZA[[\] "  #7+G#H"IRYZuRvQwwxy "  #7+G#H"IRYZuRvQwxABIJfBgAhhi j "  (9 :;8GL\D]C^^_`"  EWMFAEB C"  =WEp=qD=E F"  ,G4R,S+TTUV"  4G  c   c$))#WCGGKCZB[\'.3/r#'':J2K2Rs1SSVww'(/C0CGGd?|d@dA|dBdC|dDdE|dFdG dH|dIdJ|dKdL|dMdN|dOdP|dQdR|dSdTtj|dUdV|dWdX|dYdZd[|d\d]|d^d_|d`dZda|dbdc|ddde|dfdg|dhdi|djdk|dldZ dmtj|dndodpdq|drdsdt|xsdugdrdvtjd j|dwxsddodxd jgdytj|j d xsddz|j d{d||j d}d~|j dd|j dd|j dd|j dd|j ddi|j ddi|j ddi|j dd|j dd|j dd|j ddk|j ddZdtjd jd|j dxsij Dxsddod|xsdgdrdd|dddd Scc}wcc}w)Nrr\rr]rr^zz r6r.zrrBzrrrrrzr rrr!zrTzr[r\r<r^rqz r_rrrrrz rrrrrc3NK|]}dtj|dyw)z
  • z
    • N)htmlescaper3s rrzhtml_page..s#\tDKK-.e4\s#%rsrzzzz zF z: Save Selector Address Predecessor Contexta zzz4

    Save Selector Address Predecessor Context

    z

    route r9z -> r:z#; logical predecessor r<z#; address predecessor rEz; current r=z ; promotion status rrz .

    z=

    address predecessor equals logical predecessor map set: rOz2; current equals address predecessor plus source: rQz/; address predecessor -> current root refs: rSz2; current-root ref is current selector row entry: rUz&; current selector row pointer: rCz5; current selector selected-root entry: rDz*; current-root ref classification: rYz'; address contiguity proves execution: roz; execution order proven: rpz.

    z&

    last fill passes current reader: rkz1; tail has known secondary fill after last fill: rlz*; passing fill still not execution proof: rmz'

    tail current-root-range pointers: rbz; exact current-root refs: rcz; frontier-reader refs: rdz; source/target record refs: rer8rfz; tail descriptor-like data: rjz

    rtz

    z

    Root Summary

    z z
    roleselectorsrangesourcetargetfillsfirst filllast filllast fill valueall-starts passtail after last fill
    z

    Direct Refs

    zo z"z

    following strings: rZz

    Tail After Last Fill

    z

    range z; dwords: rz; pointer dwords: rrrrrrrz ); current-root-range pointers: rzG; exact current-root/frontier-reader/source-record/target-record refs: rrrrz; leaf-table window pointers: rz; data-handler low-byte rows: rz; valid secondary fills: rrz#

    current-root pointer classes: c30K|]\}}|d|ywrrrs rrzhtml_page..9s*D^YcY\^cse1UGDTD^rrz

    reftargetsectionoffsetrole
    none
    z"z

    Remaining Proofs

    z
      z
    zz)rarrrzr)rCr)r root_rowsrqr*ref_rowsr tail_rowsproofss r html_pagers I (@ AB GM*+ g&<=> c   ;;t$%&;;tyy)=)CDEFGSWWZ%8%>B?@A77+,-.77+,-.77;'()SWW^%<%CDEFSWW]%;%BsCDESWW-?%@%GCHIJ77?@ABSWW-H%I%PSQRS   <@A   [[Z123[[]!3456{{3s9~./01[[%>!?@AB{{3swwv4"5678   H  8 9D88I&,"   [[!1!7R89:[[!4!:;<=[[!8!>B?@A[[!8!?C@A$++VYV]V]^nVoVvsvJwIxy{{377#34;<=>{{377#<=DEFG{{3TWT[T[\bTc 52::;OPilmnop  I WW\IZA[\ \F 99$$$ $ # $ Q $ E $ \$ $ $ ?$ DKK(9:;74;;wW_O`CaBbcFGNOkGlFmmPQXYuQvPwwNOVWhOiNjjJKRSdKeJffr s$ HQCIDHEEwx@kxlwmm\]deN]O\PPBCJKHCIBJJpqxyWqXpYYN O V W | O } N ~ ~ h i m i t i t u | } m u n i o h p p W X _ ` B X C W D D ^ _ f g } _ ~ ^   D E$ 19o1p0qrcdklfdgchhRSZ[PSQRRRW X$ 2':n2o1pqLMTUEMFLGG_`ghV`W_XXuv}~jvkullmnuvbncmddABIJyBzA{{@ A$  GL12348$ "!$" ~#$$ %$& '$( !)$* z+$,  >=>-$. /$0 #4;;tyyAs9t/u/|y|#}"~C D1$2 *3$4 R R  R DKK(<(CDE R EV R W[W_W_`lWmVn R oA R BFBJBJK^B_A` R `g R hlhphpqHhIgJ R JQ R RVRZRZ[rRsQt R t| R }A}E}EF^}_|` R `@ R AEAIAIJhAi@j R jq R rvrzrz{UrVqW R WX R Y]YaYabzY{X| R |} R ~B~F~FG]~^}_ R _` R aeaiaij@ aA `B R B ` R a e a i a i j G a H ` I R I g R h l h p h p q J h K g L R L e R f j f n f n o H f I e J R J g R h l h p h p q J h K g L R L Q R 5$6 .dkk$))D^hlhphprMiNiTRTh[h[h]D^;^;ebe/f.ggk l7$8 9$:  ?>?;$< =$> &?$@ A$B C$D E$F G$$ $1  s B)\"'E?\'c|jdd|dz jtj|dddzd y) NT)parentsexist_ok.save_selector_address_predecessor_context.jsonF),r&) ensure_ascii separatorsrrr)mkdir write_textrdumps)rout_dirs r write_outputsrEsD MM$M. ??KK 7:FMLrcFtjt}|jdtt dz |jdtt dz |jdtt dz |jd tt |j}t|jjt|jgt|ji}t||jt!d |jd z y) N) descriptionz--exez Hwanse2.exe)typedefaultz --selectorszsave_scene_selectors.jsonz--secondary-fill-rootsz'save_selector_secondary_fill_roots.jsonz --out-dirz3wrote save selector address predecessor context -> r)argparseArgumentParser__doc__ add_argumentrROOTOUT parse_argsrrK read_bytesr#r.rrrprint)parserargsrs rmainrMs  $ $ 9F dD=4HI  D#@[:[\ 0tSKtEtu  $<    D $.."%$++R0G '4<<( ? O@@A BCr__main__)rr4returnrC)r!rr"rrr)r*rrrC)r. list[dict]r/rCrr)r str | Noner int | None)r;rr7r4rr)r;rr7r4rr)rKbytesr;rr7r4rr)r.rr list[int])r.rrUr4rr)r.rrUr4rztuple[int, int | None]) rKrr;rrcr4rdrrer4rr)rjrrtrrr)i@) rKrr;rr7r4rr4rr4rr) rKrr;rr7r4rr4rr4rz list[str])rrCr dict | Nonerr)rrr=r4rr4)rrrzlist[int] | None)rrrr)rr4rr)rr4rr4rrrr)rKrr;rrrrrrr4rrrr) r.rrUr4r%rrrrr)N)rKrr.rrrrr)rrrrC)rrrrrNone)rr)Cr __future__rrrrrIsyspathlibrtypingrr!insertrC__file__resolveparentprobe_exe_scene_tablesrsummarize_script_handler_tablerrrrr#r$rvrwrurrrrrrrrrr#r+r0r5r?rDrMrSrVrYrmryrrrrrrrrrr,rrrrr__name__rrrrshO" 3tH~--/66780= H~''* Ul  $   8 32-4       B* ! !! !  !  !  !>              >!H( 0G GGG G  G  G GT:hV_DTn C  zFr
    vavaluelow opcodehandlerpointer sectioncurrent-root classvalid secondary fill
    none