Jjd#Z2d?d$Z3d@dAd%Z4dBd&Z5dCd'Z6d4d(Z7d@dDd)Z8dEd*Z9dEd+Z:d@dFd,Z;dGd-Zrcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks r load_jsonr.4s* ;;= ::dnngn6 77rc||yt||}||dzt|kDrytjd||dS)Nzr#sorted) selectorsr@rootrootss r unique_rootsrIGsX   77; sww';<=D    E  %= s6A cr|D]2}t|d}|t|dz}||cxkr |ks.|cS4y)Nr6raw_sizer!)r5r6sectionrrs rsection_end_for_varMRsOGDM"c'*-.. B  J  rc||}|dzt|kr||dznd}t||}|| t||S||S|S)Nr )r1rMmin)r5rHindexrG next_root section_ends rroot_endrS[s^ ;>rcf|Dcgc]!}t|jd|k(r|#c}Scc}w)NrD)r#r>)rFrGr@s rselector_rows_for_rootrUds9   SWW12 3t ;   s&.cg}t}|D]C}|jdxsgD])}||vs|j||j|+E|S)NrC)setr>appendadd)rowsmapsseenr@names rfield_maps_for_rowsr^ks` D 5DGGK(.B D4 D!  Krcdt|}g}t|D]\}}t|||}t||}|Dcgc] }t |} }|j ||t |t||| | r| dndt||tk(xst| vt||d |Scc}w)Nr) rGrrootHexrangeHexselectorLabelsprimarySelectorrC isCurrentRootrL) rI enumeraterSrUrArXrrr^ CURRENT_ROOTCURRENT_SELECTORr ) r5rFrHmetasrPrGrrZr@labelss r root_metadatarjvs  #E E ' tx.%i6156#.%66 T{!$,$,2vay,T2!\1O5E5O*8T:    L7sB-c>|duxrt|cxkxr tkScSN)CURRENT_RANGE_STARTCURRENT_RANGE_ENDrs rcurrent_range_containsros$   Q!4!Q@Q!QQ!QQrc"|ddiS|D]}||dk(s d|d|d|ddcS|D]9}|jd }||d|cxkr|ks&n)d |d|d|ddcSt||}|rd |d S|d z dkr |dzdkrddiSddiS)Nkind unreadablerGz selector-rootrbrcr`)rqrbrcr`rzselector-rangepointer)rqrLr iiiscript-scalar-or-pairscalar)r>r )r5rhrmetarrLs rclassify_valuerws } %% DL '"&'7"8#'(9#: ?  hhuo ?tF|u:s:("&'7"8#'(9#: ?  "(E2G!g66  56>g"=/00 H rc |dz dz}t|||dz}|||dzznd}t|||}|t|t|||t|t|t||||tk(t |dS)Nrr0)rPoperandTableHexoperandTableClassselectedSlotHexselectedValueHexselectedValueClassselectedCurrentRootselectedCurrentRanger8rrwrfro) r4r5rhr6rrPtable selected_slotselected_values rdecode_opcode07rs aZ4 E S(BF +E).):EEAI%Mc8];N <+HeUC /!.1,XunM-= 6~ F  rc |dz dz}|dk(r|dz}d}n|dk(rt|||dz}d}nd}d}|d |d |t|t||||tk(t |d S) Nrryrr0z next-streamr zstream+4-pointerzunsupported-moder02x)modemodeHexstoredPointerSourcestoredPointerHexstoredPointerClassstoresCurrentRootstoresCurrentRanger)r4r5rhr6rrstoredsources rdecode_opcode09rs QJ$ D qya #xa0##Sz?%!&M,XufE#|34V< rc t|jd}|dk(r|jdxsi}|jd||jd|jd||jd|jd|jd d u|jd d ud S|d k(r|jdxsi}|jd||jd|jd||jd|jd|jdd u|jdd ud SiS)N opcodeHex0x07r~vaHexvalueHexr}rqrcrTr) producerVaHexproducerOpcodeHexproducerValueHexproducerPointerHexproducerPointerClassproducerPointerKindproducerPointerSelectorproducesCurrentRootproducesCurrentRange0x09rrrrr=)r@opcode pointer_classs rproducer_from_rowrs= WW[ !F  45;  WWW-!' # 3"%''*<"=$1#0#4#4V#<'4'8'89J'K#&77+@#AT#I$'GG,B$Ct$K   45;  WWW-!' # 3"%''*<"=$1#0#4#4V#<'4'8'89J'K#&77+>#?4#G$'GG,@$AT$I   Irc|sy|jdry|jdry|jdt|jdxsgvry|jd }|r t|Sd S) Nno-local-producerrz current-rootrz current-rangerrb own-rangerunknown)r>rWstr)rvproducerrqs rproducer_bucketrsr "||)*||*+||-.#dhh?O6P6VTV2WW <<- .D3t9+)+rc ~|jdxsg|jd|jd|jd|jd|jd|jd|d}|jd r(|jd |d <|jd |d <|jd r(|jd |d <|jd |d <|rP|jd |d<|jd|d<|jd|d<|jd|d<|S)Nrbrcr`rarrr)rbrcr`rarrr candidateKindr}r~rrrnearestProducerVaHexrnearestProducerOpcodeHexrnearestProducerPointerHexrnearestProducerPointerClassr=)rvr@rqrr s r candidate_rowrs2((#34:88$5688I&HHZ(!GGJ'WW[) C ww!""%''*<"= $'GG,@$A ! ww!""%''*<"= $'GG,@$A !&.ll?&C "#*2,,7J*K &'+3<<8L+M '(-5\\:P-Q )* Jrcvt|||}|jd|jdt|k(dS)N handlerVaHex handlerVa)r validHandler)rr>OPCODE_HANDLERS)r4r5rhandlers rhandler_contextrs< h7G N3 K0OF4KK rc |d}|jd}iddddddddddd dd dd dd dd ddddddddddddddd}g}g}d} | i||dggdSt||dD]} t||| } | | dz} | tvr"t | t | d| dd} | dk(r|dxxdz cc<| j t |||| | | dr |d xxdz cc<| dr |d xxdz cc<t| } |d r| ds| j t||| |jt|| d!| d"k(rB|dxxdz cc<t|| }| r| jd#r |dxxdz cc<| r| jd$r |dxxdz cc<|d%k(r|dxxdz cc<n8|d&k(r|dxxdz cc<n%|d'k(r|dxxdz cc<n|d(k(r |dxxdz cc<|d sL| rJ| jd$r9| j t||| |jt|| d)| |d s| s| jd$st|d*ks |jt|| d+| *| d,k(s1|dxxdz cc<| j t|||| | | d-dk(r|dxxdz cc<n| d-dk(r |dxxdz cc<| d.r |d xxdz cc<| d/r |d xxdz cc<| jd0xsi}|jd1t|jd2xsgvr |d xxdz cc<t| } |d s=| d/r8| j t||| |jt|| d3|d sP| d/sWt|d*ksg|jt|| d4t||d<i||d5||dS)6NrGr opcode07Countr opcode08Count opcode09Countopcode09Mode0Countopcode09Mode1Countopcode07SelectsCurrentRootCount opcode07SelectsCurrentRangeCountopcode09StoresCurrentRootCountopcode09StoresCurrentRangeCountopcode09StoresOwnRangeCount'opcode08NearestCurrentRootProducerCount(opcode08NearestCurrentRangeProducerCount$opcode08NearestOwnRangeProducerCount(opcode08NearestScriptScalarProducerCount&opcode08NearestUnreadableProducerCount#opcode08NearestNoLocalProducerCountpromotingCandidateCountF)scanned candidateRows sampleRowsr0ryrr)rrrrr rrrdzopcode07-selects-current-rangerrrrrtrrrz opcode08-activates-current-range z'current-internal-opcode08-current-rangerrrrrrcrbzopcode09-stores-current-rangez'current-internal-opcode09-current-rangeT)r>ranger8rrupdaterrrrXrrr1rrW)r4r5rhrvrrcountscandidate_rows sample_rows last_producerr6rrr@bucketrs r scan_rootrs& LE ((5/C  a  a  *1  +A )! *1 &q 21 3A / 3A 1! .q!" "1#F&NK!%M {Z$Z&ZURWYZZE3">hh+ =   ( 2Ye fS\*  T> ? #q ( # JJsHeRG H()89Q>9)*9:a?:-c2M(S1G-H ?3&AB%%mD#?_&`a t^ ? #q ( #$T=9F!2!23H!I@AQFA!2!23I!JABaGB$=>!C>22ABaGB<'?@AE@..<=B=(]}?P?PQg?h ?3&AB%%mD#?acp&qrO$=;L;LMc;dilmxiy|~i~""=s9GG$89?RM  !23s488DT;U;[Y[7\\45:5-c2M(S1E-F ?3&AB%%mD#?^&_`O$-A)Bs;GWZ\G\""=sh~),N(;F $%     '!  rcd|jdd|jdd|jdd|jdd |jd d |jd d |jdS)Nzop7=rz op8=rz op9=rz selectCurrent=rz storeCurrent=rz op8Current=rz candidates=rr=r?s r scan_briefrs sww'(cggo.F-GuSWWUdMeLfg!CDEF ABCDggHIJKgg789  ;rct|}||nttdz g}t||}|Dcgc]}t ||||c}Dcgc]}|j dr|c}t dDi}Dcgc]}|j dxsgD]}| } }}fd} fd} t| dkD} | sdnd } td Dd d dd}Dcgc]}id|j dd|j dd|j dd|j dd|j dd|j dd|j ddddt|j dxsgd|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'd(}}id)td*td+td,ttd-ttt d.t|d/t|d0t#d1Dd2| dd3| dd4| dd5| dd6| dd7| dd8| d d9| dd:| d!| d"|j d d|j d"dt| | | rd;nd<| dd=|j d>xsgdd?||gd@| dA Scc}wcc}wcc}}wcc}w)BNsave_scene_selectors.jsonrdc3DK|]}|jds|yw)rdNr=.0r@s r z build_summary..sJ1IJ  rc.tfdDS)Nc3ZK|]"}t|jxsd$ywrNr"r>rr@keys rrz2build_summary....s#DsC 12D(+sum)rscanss`rzbuild_summary..sDeDDrc.tfdDS)Nc3ZK|]"}t|jxsd$ywrrrs rrz2build_summary....s#'\3CGGCL,=A(>'\rr)rnon_current_scanss`rrzbuild_summary..sC'\J['\$\rraThe all-selector selected-pointer scan found no non-current save-selector root that selects, stores, or locally activates the current 2:0 bounded root/range. Current 2:0 still has internal continuation stores/activations, but those do not prove a predecessor/source root enters the current root. Selected-root execution remains blocked until a runtime trace, captured selector 2:0 save, or strict map1_01a hotspot is found.zThe all-selector scan found non-current selected-pointer references into the current 2:0 bounded range. Those rows require manual/runtime review before any route promotion.c 3*K|]}|jdrx|jd|jd|jd|jddd|jd|jd|jdd yw) rrcrbr`rCNrrr)rcrbr`rCrrrr=rs rrz build_summary..s ww'$'77+<#="%''*:";779- WW[1#26!$!9.s)16Q@Y8Z8_^_`rT)rreverserrcrbr`rarLrCr fieldMapCountrrrrrrrrrrrrrrrrr)rrrrrrrrrtargetcurrentSelectorcurrentRootHexcurrentRangeHexselectorRowCountselectorRootCountscannedRootCountc3DK|]}|jdsdyw)rr Nr=rs rrz build_summary..sIccggi6HIropcode07RowCountopcode08RowCountopcode09RowCount(nonCurrentOpcode07CurrentRootSelectCount)nonCurrentOpcode07CurrentRangeSelectCount'nonCurrentOpcode09CurrentRootStoreCount(nonCurrentOpcode09CurrentRangeStoreCount nonCurrentOpcode08ActivatorCount1nonCurrentOpcode08NearestCurrentRootProducerCountz needs-reviewblockedr)zNcapture a runtime selected-pointer trace proving 0x0059de30 reaches 0x00540714zOreplace the synthetic selector 2:0 savedat vector with a captured gameplay savez3find a strict map1_01a source coordinate or hotspot) 2nonCurrentOpcode08NearestCurrentRangeProducerCount-currentInternalOpcode09CurrentRangeStoreCount7currentInternalOpcode08NearestCurrentRangeProducerCount!promotingSelectedPointerPathCountselectedRootExecutionRefFoundpromotionStatusrcurrentInternalSampleRows$topSelectorsByOpcode08ActivatorCountselectorRootScansremainingProofs conclusion)rr.OUTrjrr>nextr1rESOURCETARGETrgrrfrrmrnr)r4rFr5rhrvr@ current_scanscan candidatertotalnon_current_total!selected_root_execution_ref_foundrtop_activators compact_scansrrs @@r build_summaryrsS!H&2 #HcBceg8hI (I .E?D EtYsHeT 2 EE(-NSWW_5MNJJBOL& /28b  N EE\(+N(;a(?% 1  |  S   a  r! NZ98 7 sww'89 cgg&67  swwy)   +  swwy)  SWW_5   -cr2  S!5!;<  swwy)  SWW_5  SWW_5  SWW_5  !#''*>"?  !#''*>"?  .sww7X/Y /8Z0[! " -cgg6V.W# $03ww7X/Y7:ww?h7i8;@j8k47GGf6g3677;`3a'*ww/H'I3 M<" &" &"  +"  % - "  9%8:KL "  C N "  SZ"  CIUII"  E/2"  E/2"  E/2"  34EFg4h"  45FGi5j"  23DEe3f"  34EFg4h"  +,=o,N!" " <=NOx=y#" $?PPz>{9E9I9IJkmn9oCOCSCST~ABDC-0-@)J-N>T]'-&2&6&6|&D&JCR%P0>* !C" "K FNHsOO(O#O(GOcddd|dd|dd|dd |d d |d d d|dd|dd|dd|dd|dd|dd|dd|dd|dd|dd|dd |d!d|d"d#|d$d%|d&d'|d(d d|d)dd*dd+d,g}|d-D]}d.j|jd/xsg}|jd0rd1nd}|jd2|d |d3|jd4d5|jd6d7|jd8d9t|d: |j gd;|d<s|jd=|d<D]}|jd>xs(|jd?xs|jd@xsdA}|jd2d.j|jd/xsgd5|jd4d5|jdBd5|jdCd7|jdDd3|dE |j gdF|j dG|dHD|jddIj|S)JNz-# Save Selector Global Selected-Pointer Pathsz - route: rz -> rz- current selector: `rz` root `rz ` range `r`z!- selector rows / roots scanned: r / rz- opcode rows: 0x07=r, 0x08=r, 0x09=rz5- non-current current-root selects/stores/producers: rrrz6- non-current current-range selects/stores/producers: rrrz3- current internal current-range stores/producers: rrz)- promoting selected-pointer path count: r z%- selected-root execution ref found: r z- promotion status: `r rz## Selector Root Countsz+| selector | root | range | maps | counts |z | --- | --- | --- | ---: | --- |r,rbrd currentz| `z | `r`z` | `raz` | rz | z |)rz## Candidate Rowsrz2| selector | root | va | opcode | kind | pointer |z%| --- | --- | --- | --- | --- | --- |rz| - | - | - | - | none | - |r}rr-rrrz` |)rz## Remaining Proofsrc3&K|] }d| yw)z- Nrritems rrzmarkdown..(sD2dVDsr )joinr>rXrextend)summarylinesr@ricurrentrss rmarkdownr0s7 GH%&d78+<*=> (9 :;8GL\D]C^^ghoqBiChDDE F +G4F,G+HGTfLgKhi w'9:;77K]C^B__fgnpBhCgD E ?Hr@s?ttwxAjykxllopwxkplom n @ItAu@vvy{BCm{nzoorsz{osprq r =gFu>v=wwz|CD}|~{ @ 3G<_4`3ab /8W0X/YZ (9 :;1=   ! 5*' E**+ #''"239r: # 8*b &7)4 (:';5AT@UUYww'(JsO+|d<d?|d@dAS)BNr*c3K|]}dtjdj|jdxsgd|jdrdnddtjt |jdd tjt |jd d |jd d tjt |d yw)r$rbzrdr%rr`rarz z N)htmlescaper+r>rrrs rrzhtml_page...s   [[#''2B*C*Ir!JKLGbebibijybzT^ACTDD[[SWWY%7!89:;[[SWWZ%8!9:;<ww'(){{:c?+,-   sC(C*rc3K|]P}dtjdj|jdxsgdtjt |jddtjt |jddtjt |jddtjt |jdd tjt |jd xs(|jd xs|jd xsd d Syw)r3r$rbr5r`rrr6rr4r}rrr&zN)r7r8r+r>rrs rrzhtml_page..8s=   [[#''2B*C*Ir!JKLM[[SWWY%7!89:;[[SWWW%5!6789[[SWW[%9!:;<={{3sww789:;[[SWW-?%@&OCGGL^D_&OcfcjcjlGdH&OLO"PQRR   sEErz"nonerc3NK|]}dtj|dyw)z
  • z
    • N)r7r8r(s rrzhtml_page..Cs#\tDKK-.e4\s#%rzzzz zF z< Save Selector Global Selected-Pointer Pathsz zzz6

    Save Selector Global Selected-Pointer Paths

    z

    route rz -> rz; roots scanned rz); promoting selected-pointer path count: r z%; selected-root execution ref found: r z; promotion status r z .

    z

    opcode rows: 0x07=rr"rr#rz.

    z9

    non-current current-range selects/stores/producers: rr!rrz3; current internal current-range stores/producers: rrz

    rz

    z

    Selector Root Counts

    zp z
    selectorrootrangemapscounts
    z

    Candidate Rows

    z} z

    Remaining Proofs

      z
    z)r+r7r8)r- root_rowsrproofss r html_pager=-s ./  IYY ?+   0 0WW\IZA[\ \F 99      #  Q  G    r  1  f  t  7  '      ! " A# $ dkk'("345WT[[QYIZ=[<\\lmtvHnImJJst{|_t`saaFGNOnGoFppIJNJUJUV]^oVpJqIrr~ % & "'*<"=!>ggN`FaEbbijqsEkFjGGL M' ( DGLwDxCyy|~EFp~q}rruv}~rvsuttghop_h`gaadelmfegdhhm n) *  GL12348+ , *- . {/ 0 1 2 3 4 $5 6 H7 8 9 : ; < *&7= > ?   rc|jdd|dz jtj|ddd|:|jjdd|jt |dyy) NT)parentsexist_ok0save_selector_global_selected_pointer_paths.jsonF)r$r;) ensure_ascii separatorsr%r&)mkdir write_textr)dumpsparentr=)r-out_dirhtml_outs r write_outputsrJgs{ MM$M. AAMM 7:FNdT:Ig.Arctj}|jdttdz |jdtt dz |jdtt |jdtdd |j }t|jjt|jg}t||j|jtd |jd z y) Nz--exez Hwanse2.exe)typedefaultz --selectorsrz --out-dirz --html-outz!Optional HTML report output path.)rLrMhelpz5wrote save selector global selected-pointer paths -> rA)argparseArgumentParser add_argumentrROOTr parse_argsrr4 read_bytesr.rFrJrHrIprint)parserargsr-s rmainrXrs  $ $ &F dD=4HI  D#@[:[\  $<  4Dgh    D $.."%G'4<<7 ? <<L L M Or__main__)r int | Nonereturn str | None)rr"rrZr[r)rr\r[rZ)r,rr-rr[r)r4bytesr5 list[dict]r6rZr[rZ)r@dictr[r)rFr^r[ list[int])r5r^r6r"r[rZ)r5r^rHr`rPr"r[rZ)rFr^rGr"r[r^)rZr^r[z list[str])r5r^rFr^r[r^)rrZr[bool)r5r^rhr^rrZr[r_) r4r]r5r^rhr^r6r"rr"r[r_)r@r_r[r_)rvr_r dict | Noner[rrl) rvr_r@r_rqrrrbr[r_)r4r]r5r^rr"r[r_) r4r]r5r^rhr^rvr_r[r_)r4r]rFzlist[dict] | Noner[r_)r-r_r[r)r-r_rHrrIz Path | Noner[None)r[rc)>__doc__ __future__rrOr7r)r2syspathlibrtypingrr,insertr__file__resolverGprobe_exe_scene_tablesrrsummarize_script_handler_tablerr r?rRrrrrgrfrmrnrrrr#r.r8rArIrMrSrUr^rjrorwrrrrrrrrrr0r=rJrX__name__rrrrosOI" 3tH~--/6678>R H~''* Ul        G 8 43?*R8",> ,2aHk\/d7tB$ zFr
    selectorrootvaopcodekindpointer