IjWL HdZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZmZddlmZmZe ej!j0dZed z Zd Zd Zd Zd ZdZddddZ edddddedddddedddddiZ!d1dZ"d2dZ#d3dZ$d4d Z%d5d!Z&d6d"Z'd6d#Z(d7d$Z)d5d%Z*d8d&Z+d8d'Z,d9d(Z-d:d;d)Z.dd,Z1d>d-Z2d:d?d.Z3d@d/Z4e5d0k(re4yy)AzOSummarize selected-pointer opcode 0x07/0x08/0x09 paths in route selector roots.) annotationsN)Path)Any) read_sections va_to_offset)handler_for_opcodesection_name_for_vaoutmap1_01amap2_02dz0:0z1:0z2:0i@iɭ@i@) zsource-side confirmed selectoriPip5P)rolerootstartendz target-side predecessor selectoridGiEHzcurrent merge/frontier selectoriTix5Tcd|dS)N0x08x)values R/home/exedev/hwanse/tools/summarize_save_selector_selected_pointer_opcode_paths.pyhex32r8s c{ c4t|dt|S)Nz..)r)rrs r range_hexr<sEl^2eCj\ **rcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks r load_jsonr)@s* ;;= ::dnngn6 77rc||yt||}||dzt|kDrytjd||dS)Nzzselector_row..Ts9 www5(SWWV_-D  s47)splitintnext) selectorslabel group_text slot_textr7r8s @@r selector_rowrEOsI!KKQ/J  OE y>D  $   rcp|ytjD]\}}|d|cxkr |dks|cSy)NrrCONTEXT_RANGESitemsrrBr<s rcontext_for_valuerK\sJ }$**, s w<5 -3u: -L . rcZ|ytjD]\}}||dk(s|cSy)NrrGrJs rexact_root_for_valuerMes< }$**, s CK L rc|ddiSt|}t|}|rd|dS|rd|dSt||}|rd|dS|dz d kr |d zd krdd iSdd iS)Nkind unreadablez selector-root)rOselectorzselector-rangepointer)rOsectioniiizscript-scalar-or-pairscalar)rKrMr )r0rcontextrrSs rclassify_valuerWns } %%&G  &D 'T::(g>>!(E2G!g66  56>g"=/00 H rct||}t|}||dt|dt|d|d|j dxsgdS)Nrrrr fieldMaps)rQrrootHexrangeHexrY)rErHrrr:)rArBr<rVs rcontext_summaryr\s\ y% (CU#G)gg.?WW[)/R  rc 6|dz dz}t|||dz}|||dzznd}t|||}t||}|| t|ndt||| t|nd| t|nd||ttdk(t |tk(dS)Nrr+r)indexoperandTableHexoperandTableClassselectedSlotHexselectedValueHexselectedValueClassselectedCurrentRootselectedCurrentRange)r3rWrrHCURRENT_SELECTORrK) r/r0r1rr_table selected_slotselected_valueselected_classs rdecode_opcode07rls aZ4 E S(BF +E).):EEAI%Mc8];N#Hn=N+0+<5<$+He<3@3L5/RV5C5OE.1UY,-@P1QRX1YY 1. AEU U  rc |dz dz}|dk(r|dz}d}n|dk(rt|||dz}d}nd}d}|d |d || t|ndt|||ttd k(t |tk(d S) Nrr^rr+z next-streamr zstream+4-pointerzunsupported-moder02xr)modemodeHexstoredPointerSourcestoredPointerHexstoredPointerClassstoresCurrentRootstoresCurrentRange)r3rrWrHrgrK)r/r0r1rrostored stored_sources rdecode_opcode09rxs QJ$ D qya% #xa0* * Sz?,-3-?E&MT,Xv>#~6F'G'OO/7;KK rct}g}t|d|ddD] }t|||}||dz}|tvr"t |||}t |t |d|d|j d|j dt|k(d d } |d k(r1| jt||||tk7xr| d | d <nO|dk(r| jdddn5|dk(r0| jt||||tk7xr| d| d <|j| |D cgc] } | ddk(s | } } |D cgc] } | ddk(s | } } |D cgc] } | ddk(s | } } | D cgc]} | j ddk(s| } } | D cgc]} | j ddk(s| }} |dt|d|dt| t| t| t| t|td| Dtd| Dtd| Dtd| Dtfd | Dtd!|D|d"Scc} wcc} wcc} wcc} wcc} w)#Nrrr+r^rrn handlerVaHex handlerVaF)rQvaHexvalueHex opcodeHexrz validHandlerroutePromotionCandidaterrfrrzNactivates 0x0059de30 if it is nonzero; static target depends on runtime globalT)meaningrequiresRuntimeSelectedPointerrrur~0x070x080x09rorr rc3DK|]}|jdsdyw)rer Nr9r;r<s rr=zscan_context..s.lSSWWUjMkq.l  c3DK|]}|jdsdyw)rfr Nr9rs rr=zscan_context..s/nccggVlNm/nrc3DK|]}|jdsdyw)rtr Nr9rs rr=zscan_context..s-iCCGGTgLha-irc3DK|]}|jdsdyw)rur Nr9rs rr=zscan_context..s.kSSWWUiMjq.krc3K|]5}t|jdrt|ddndk(s2d7yw)rrrTNr )rKr:r?)r;r<rBs rr=zscan_context..sF+IZ038J0KC&' ,QUJ J1+s3>>c3DK|]}|jdsdyw)rr Nr9rs rr=zscan_context..s+d#IbAcA+dr)rQrr[ opcode07Count opcode08Count opcode09Countopcode09Mode0Countopcode09Mode1Countopcode07SelectsCurrentRootCount opcode07SelectsCurrentRangeCountopcode09StoresCurrentRootCountopcode09StoresCurrentRangeCountopcode09StoresOwnRangeCountroutePromotionCandidateCountrows)rHranger3OPCODE_HANDLERSrrr:updaterlrgrxappendrr,sum)r/r0rBrVrr1ropcodehandlerr< opcode07_rows opcode08_rows opcode09_rowsopcode09_mode0_rowsopcode09_mode1_rowss ` r scan_contextrsU#G DGG$gena8h+ =   ( $S(F;2Ye fS\*#KK7#KK 48OO',  T> JJsHb%@ A-26F-F-f3OeKfC) * t^ JJk26 t^ JJsHb%@ A-26F-F-d3OcKdC) * C9:%)GSC ,<,FSGMG$(GSC ,<,FSGMG$(GSC ,<,FSGMG*7P33776?a;O3PP*7P33776?a;O3PPgg.?]+]+]+!"56!"56+..lM.l+l,//n]/n,n*--i=-i*i+..kM.k+k'*+ +(),+d+d(d#  HGGPPs<4 I4I4 I9I9$ I>2I><JJ J:Jct|}||nttdz g}ttt g}|Dcgc]}t ||}}|Dcgc]}t|||}}|Dcgc]}|dt k7s|}}td|D} td|D} td|D} td|D} d} ttttt ||| | | | dd d gd | d Scc}wcc}wcc}w) Nsave_scene_selectors.jsonrQc32K|]}|d|dzyw)rrNrrs rr=z build_summary..s)5  ./#6W2XX5c32K|]}|d|dzyw)rrNrrs rr=z build_summary..s)3  -.5U1VV3rc3&K|] }|d yw)rNrrs rr=z build_summary..s.as?/C.ac3:K|]}|dtk(s|yw)rQN)rgrs rr=z build_summary..sTJCS0STsa]The source-side 0:0 and target-side 1:0 roots contain opcode 0x08 activators, but their local opcode 0x07/0x09 selected-pointer writers never select or store the current 2:0 root/range. All opcode 0x09 rows in those non-current roots are mode 0 next-stream stores back into their own root windows. Current 2:0 has its own mode 0 continuation stores, but those only preserve internal current-root streams. Therefore the static selected-pointer opcode paths do not prove a 0:0/1:0 -> 2:0 runtime jump; promotion still requires a selector 2:0 save, selected-pointer runtime trace, or strict map1_01a hotspot.rFblocked)zIcapture a selector 2:0 gameplay savedat or selected-pointer runtime tracezFprove opcode 0x08 activates 0x0059de30 == 0x00540714 on the route pathz3find a strict map1_01a source coordinate or hotspot)sourcetargetsourceSelectorpredecessorSelectorcurrentSelectorcontexts contextScans)sourceOrPredecessorOpcode08ActivatorCount)sourceOrPredecessorCurrentRootWriterCount*sourceOrPredecessorCurrentRangeWriterCount!currentInternalOpcode09StoreCount&selectedPointerOpcodePathPromotesRoutepromotionStatusremainingProofs conclusion) rr)OUTSOURCE_SELECTORPREDECESSOR_SELECTORrgr\rrr@SOURCETARGET)r/rAr0labelsrBrscansr<non_current_scans*source_or_predecessor_current_target_count(source_or_predecessor_current_root_count$source_or_predecessor_opcode08_count current_scanrs r build_summaryrs:S!H&2 #HcBceg8hI35E FF?EFe 51FHF=C DE\#x / DE D(-UZDT1TUU145$52.033$30,,/.aO`.a+a(TuTTL [)3+5Y5]6`-9:[-\27$ !' +G DUsC8C=+D=Dcfd|dd|dd|dd|dd |d d |d d |dd|dS)Nzop7=rz op8=rz op9=rz mode0=rz mode1=rz selectCurrent=rz storeCurrent=rz promoteCandidates=rr)r<s r scan_briefrs s?#$E#o*>)?uSEYDZ[)*+737K3L2MN?@AB=>?@ !?@A  Crc g}|dD]}|jdr|j|&|jddk(r|j|L|jddk(sat|dksp|j||ddS)Nrrr~rr ()r:rr,)scanrr<s rinteresting_rowsr's DF| 77, - KK  WW[ !V + KK  WW[ !V +D B KK   9rcddd|dd|dd|dd |d d |d d d|dd|dd|dd|dd|dd|dd d|ddddddg}|dD]2}|jd|d d!|d"d#|d$d!t|d% 4|jgd&d'}|dD]}t|D]}d(}|j d)xs|j d*xsd+}|j d,xs|j d-xsi}|j d.xs|j d/xsd+}|j d }|r|d0|}|jd|d d1|d2d1|d3d1|d4d1|d!|d5|j d6d%|s|jd7|jgd8|jd9|d:D|jdd;j |S) rz- selectors: source `rz`, predecessor `rz `, current `r`z-- source/predecessor opcode 0x08 activators: rz+- source/predecessor current-root writers: rz,- source/predecessor current-range writers: rz'- current internal opcode 0x09 stores: rz/- selected-pointer opcode path promotes route: rz- promotion status: `rrz## Context Countsz$| selector | role | range | counts |z| --- | --- | --- | --- |rz| `rQz` | rz | `r[z |)rz## Route-Relevant RowsrzY| selector | va | opcode | value | selected/stored pointer | kind | promotion candidate |z+| --- | --- | --- | --- | --- | --- | --- |FTrcrr-rdrsrOr z` | `r|r~r}z | rz| - | - | - | - | - | - | - |)rz## Remaining Proofsrc3&K|] }d| yw)z- Nrr;items rr=zmarkdown..csD2dVDrr )rrextendrr:join) summarylinesrany_rowsr< pointer_hex pointer_classrOrQs rmarkdownr3s7 GH%&d78+<*=> (8 9::J7ShKiJjjvw~@QxRwSST U 7@k8l7mn 5g>i6j5kl 6w?k7l6mn 1':]2^1_` 9'Bj:k9lm (9 :;1=    .## E&'  $z"#4V ~T$z:J9K4PZ[_P`Oaac d   LLH' #D) CH''"45[AS9T[X[KGG$89`SWWEY=Z`^`M $$V,I 0BIcD$((4Hq + LLd:&'uS\N%K@P?QQVWZ[eWfVgh=TF#cgg6O.P-QQSU     45 LL01 LLD1B)CDD LL 99U rc!djd|dD}g}|dD][}t|D]I}|jdxs|jdxsd}|jdxs|jdxsi}|jd xs|jd xsd}|jd }|r|d |}|jd t j |d dt j |ddt j |ddt j |ddt j |dt j |d|jddL^djd|dD} djdddddddd d!d"d#d$d%d&d'd(d)d*t j |d+d,t j |d-d.|d/d0|d1d2t j |d3d4 d5|d6d7|d8d.|d/d9|d:d; dd?d@|dAdBdCdj|dAdD| dEdFgS)GNrc 3K|]q}dtj|ddtj|ddtj|ddtjt|d syw)rQrzr[ N)htmlescaper)r;rs rr=zhtml_page..is   [[j!1234{{4<()*[[j!1234{{:d+,-.  sA7A9rrcrrrrdrsrOrrQrrzr|r~r}rz rrrc3NK|]}dtj|dyw)z
  • z
    • N)rrrs rr=zhtml_page..s#\tDKK-.e4\s#%rzzzz zF z< Save Selector Selected-Pointer Opcode Pathsz zzz6

    Save Selector Selected-Pointer Opcode Paths

    z

    route rz -> rz+; source/predecessor current-range writers rz.; selected-pointer opcode path promotes route rz; promotion status rz .

    z/

    source/predecessor opcode 0x08 activators rz*; source/predecessor current-root writers rz&; current internal opcode 0x09 stores rz.

    z

    rz

    z

    Context Counts

    zc z
    selectorrolerangecounts
    z

    Route-Relevant Rows

    z z

    Remaining Proofs

      z
    z)rrr:rrr) r count_rows route_rowsrr<rrrOrQproofss r html_pagerhsN+JJ'#D) C''"45[AS9T[X[KGG$89`SWWEY=Z`^`M $$V,I 0BIcD$((4Hq +   ![[j)9:;<![[W678![[[)9:;<![[Z9:;![[567{{4()*ww89:;  &WW\IZA[\ \F 99"PFq0es6&@ dkk'("345WT[[QYIZ=[<\]HIPQ}I~Hmnuv^n_m``yz~zEzEFMN_F`zaybbn o 9'Bm:n9opZ[bcN[OZPP{|CDp|q{rrXY`aDYEXFFK L  GL12348#m( u   )&7= rc|jdd|dz jtj|dddzd |:|jjdd|jt |d yy) NT)parentsexist_ok0save_selector_selected_pointer_opcode_paths.jsonF),r5) ensure_ascii separatorsrr r!)mkdir write_textr$dumpsparentr)rout_dirhtml_outs r write_outputsrs MM$M. AAMM 7:FMNdT: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.)rrhelpz5wrote save selector selected-pointer opcode paths -> r)argparseArgumentParser add_argumentrROOTr parse_argsrr/ read_bytesr)rArrrprint)parserargsrs rmainr s  $ $ &F dD=4HI  D#@[:[\  $<  4Dgh    D $.."%G'4<<7 A$,,RDCDBE FGr__main__)rr?returnstr)rr?rr?r r)r'rr(rr r)r/bytesr0 list[dict]r1 int | Noner r)rArrBrr dict)rrr z str | None)r0rrrr r) r/rr0rr1r?rr?r r)r/rr0rrBrr r)N)r/rrAzlist[dict] | Noner r)r<rr r)rrr r)rrr r)rrrrrz Path | Noner None)r r)6__doc__ __future__rrrr$r-syspathlibrtypingrr'insertr__file__resolverprobe_exe_scene_tablesrrsummarize_script_handler_tablerr rrrrrrrrgrrHrrr)r3rErKrMrWr\rlrxrrrrrrrr __name__rrrrsgU" 3tH~--/6678>R H~''* Ul     0  2  1 ,+8 4 " $,7t-` 2j>BB G zFr
    selectorvaopcodevalueselected/stored pointerkindpromotion candidate