IjAdZddlmZddlZddlZddlZddlZddlmZddl m Z ejjde eejj ddlmZddlmZeejj*dZed z Zd Zd Zd Zd ZdZddZddZddZddZ ddZ! d d!dZ"d"dZ#d#dZ$d#dZ%d$d%dZ&d&dZ'e(dk(re'yy)'zVExplain unreadable nearest producers before source/predecessor opcode 0x08 activators.) annotationsN)Path)Any) read_sections)section_name_for_vaoutmap1_01amap2_02dz0:0z1:0z2:0cp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks R/home/exedev/hwanse/tools/summarize_save_selector_opcode08_unreadable_producers.py load_jsonrs* ;;= ::dnngn6 77c |syt|dS)N)int)values r parse_hexr"s  ub>rc6t|}|yt||SN)rr)sections value_hexrs r hex_sectionr"(s! i E } x //rci}|jdxsgD]L}|jd}|jdxsgD]!}|s|jds||||df<#N|S)N contextScansselectorrowsvaHexget)selected_pointer_opcode_pathsr&scanr%rows r row_indexr-/sy D-11.AGR588J'88F#)r 5CCGGG,14hG -. 55 Krc|jd}|jd}|dk(r|jd}|jd}t||}||jd||t|||jd|jdt||jd|||t|||jd xsi|d d d Sd d d S|dk(rw||jd||t|||jd|jd|jd|jd|jdxsidd d S||jd||t||dd dS)N opcodeHexvalueHex0x07selectedSlotHexselectedValueHexr'indexoperandTableHexselectedValueClassz?opcode 0x07 selected slot is outside mapped executable sectionszGopcode 0x07 selected value is unreadable in the static executable imageF)r% producerVaHexproducerOpcodeHexproducerValueHexproducerValueSectionr4r5operandTableSectionr2selectedSlotSectionr3selectedValueSectionr6unreadableReasonstaticCurrentPointerEvidence0x09modemodeHexstoredPointerSourcestoredPointerHexstoredPointerClasszPopcode 0x09 row uses an unsupported mode, so no static stored pointer is decoded) r%r7r8r9r:rArBrCrDrEr>r?zunsupported producer opcode)r%r7r8r9r:r>r?)r)r")r r% producer_rowopcoder! selected_slotselected_valueselected_slot_sections rexplain_producerrK9s   k *F  ,I $(():; %))*<= +Hm D )--g6!' )$/)$D!%%g.+//0AB#.x9I9IJ[9\#],#8 .$/.$I"."2"23G"H"NB)0R-2'  "Z,1'  * )--g6!' )$/)$D $$V,#'' 2#/#3#34I#J , 0 01C D"."2"23G"H"NB r,1  %))'2#% +Hi @9(- rc |xsttdz i}|xsttdz i}t|}t|}g}i}|j dxsgD]+}|j d}|t t hvr$|j dxsgD]} | j ddk7r| j d} |j || fi} t||| } || j d | j d | j d | d } |j| || xsd f}|j|i| d| j d | j d d}|dxxdz cc<| j d |d<.t|jd}|D cgc]+} | j dxsij ddk(r| -}} |D cgc]+} | j dxsij ddk(r| -}} |D cgc](} | j dxsij d| *}} |D cgc]+} | j dxsij ddk(r| -}} |D cgc](} | j dxsij dr| *}} d}idtdtd t d!t d"td#t|d$t|d%t|d&t|d't|d(t|d)t|d*d+d,d-d.|d|d/gd0d1|iScc} wcc} wcc} wcc} wcc} w)2N.save_selector_opcode08_activation_windows.json0save_selector_selected_pointer_opcode_paths.jsoncontextWindowsr% activationsnearestProducerBucket unreadablenearestProducerVaHexactivationVaHexactivationValueHex distanceBytes)r%rTrUrVproducerr)activationCountfirstActivationVaHexlastActivationVaHexrYrr[ch|jdxsdt|jdxsdfS)Nr%rXr7r)r)r)r,s rzbuild_summary..s-,2Icggo>V4W4\[\]r)keyrWr8r1r@r<rCzunsupported-moder?aThe unreadable source/predecessor opcode 0x08 producer windows do not hide a static current-selector producer. Opcode 0x07 cases point their selected slots at unmapped scalar/table-like addresses, and opcode 0x09 cases use unsupported modes instead of a decoded next-stream/current pointer store. This keeps opcode 0x08 promotion blocked until a runtime selected-pointer trace or captured selector 2:0 save appears.sourcetargetsourceSelectorpredecessorSelectorcurrentSelector,sourceOrPredecessorUnreadableActivationCountuniqueUnreadableProducerCount!opcode07UnreadableActivationCount!opcode09UnreadableActivationCount+opcode07UnmappedSelectedSlotActivationCount&opcode09UnsupportedModeActivationCount!staticCurrentPointerEvidenceCount'opcode08UnreadableProducerPromotesRouteFpromotionStatusblocked producerRowsremainingProofs)z2capture opcode 0x08 selected-pointer runtime statez)capture a real selector 2:0 gameplay savez3find a strict map1_01a source coordinate or hotspot conclusion)rOUTrr-r)SOURCE_SELECTORPREDECESSOR_SELECTORrKappend setdefaultsortedvaluesSOURCETARGETCURRENT_SELECTORlen)exeactivation_windowsr*r indexed_rowsrPproducer_groupscontextr% activation producer_varF explanationr,r^group producer_rowsopcode07_activationsopcode09_activations"opcode07_unmapped_slot_activations opcode09_unsupported_activationscurrent_static_hitsrps r build_summaryrosN ,ty?o9oqs/t$A%Y @@ F!S!H:;LK35O%))*:;ArM;;z* O-AB B !++m4: MJ~~56,F$..)?@K'++X{,CRHL*8X|LK$#->>2C#D&0nn5I&J!+!@' C   s #[.B/C#..s55#$(27H(I'1~~6G'H 5E # $ ) $+5>>:K+LE' (- M M6 ]M # GGJ  %2 * *+> ?6 I  # GGJ  %2 * *+> ?6 I  ,* GGJ  %2 * *+@ A I *&* ,( GGJ  %2 * *+@ AEW W ($( # GGJ  %2 * *+I J    & &  /  3   +   7K8H   (]);  ,S1E-F  ,S1E-F  6s;]7^  1#6V2W  ,S1D-E  25  9     {! "  # , j- 7*(s-0M#0M-M  0M-Mc |jd}|dk(r*d|jdd|jdxsdS|dk(r*d |jd d |jd xsdS|jd xsdS)Nr8r1z op7 slot=r2z slotSection=r<-r@z op9 mode=rBz valueSection=r:r>r()r,rGs rproducer_briefrs WW( )F  123477#89@SA C  *+,GG$:;BsC E  77% & -#-rcddd|dd|dd|dd |d d |d d |dd|dd|dd|dd|dd|ddd|ddddddg}|dD]}|jd|jd d!|jd"d#|jd$d%|jd&d!|jd'd#t|d%|jd(d!|jd)d*|jgd+|d,D]}|jd-xsi}|jd|jd d!|jd.d!|jd"d!|jd&d#|jd/d0|jd1d2 |jgd3|jd4|d5D|jdd6j |S)7Nz0# Save Selector Opcode 0x08 Unreadable ProducersrXz - route: r_z -> r`z-- source/predecessor unreadable activations: rdz- unique unreadable producers: rez&- opcode 0x07 unreadable activations: rfz2- opcode 0x07 unmapped selected-slot activations: rhz&- opcode 0x09 unreadable activations: rgz,- opcode 0x09 unsupported-mode activations: riz#- static current-pointer evidence: rjz/- opcode08 unreadable producer promotes route: rkz- promotion status: `rl`rpz## Unique ProducerszS| selector | producer | activations | opcode | value | explanation | first | last |z2| --- | --- | ---: | --- | --- | --- | --- | --- |rnz| `r%z` | `r7z` | rYz | `r8r9rZr[z` |)rXz## Activation RowsrXzA| selector | activation | producer | opcode | distance | reason |z&| --- | --- | --- | --- | ---: | --- |rPrWrTrVz | r>z |)rXz## Remaining ProofsrXc3&K|] }d| yw)z- N.0items r zmarkdown.. sD2dVDsro )rtr)rextendjoin)summarylinesr,rWs rmarkdownrs: GH%&d78+<*=> 7@n8o7pq )'2Q*R)ST 09\1]0^_ r%r7rYzr8r9rZr[zN)htmlescapestrr)rrr,s rrzhtml_page..s"   [[SWWZ%8!9:;<[[SWW_%=!>?@Aww()*+[[SWW-@%A!BCDE[[SWW-?%@!ABCD{{>#./01[[SWW-C%D!EFGH[[SWW-B%C!DEFG  sEErnc3K|]U}dtjt|jddtjt|jddtjt|jdxsijddtjt|jdxsijddtjt|jdd tjt|jdxsijd d Xy w) rr%rrTrWr7r8rrVz r>z N)rrrr)rs rrzhtml_page..s"   [[SWWZ%8!9:;<[[SWW->%?!@ABC[[cggj&9&?R%D%D_%U!VWXY[[cggj&9&?R%D%DEX%Y!Z[\]{{3sww789:;{{3 3 9r>>?QRSTUV   sEErPrXc3NK|]}dtj|dyw)z
  • z
    • N)rrrs rrzhtml_page..(s#\tDKK-.e4\s#%rozzzz zF z? Save Selector Opcode 0x08 Unreadable Producersz zzz9

    Save Selector Opcode 0x08 Unreadable Producers

    z

    route r_z -> r`z,; source/predecessor unreadable activations rdz; unique unreadable producers rez"; static current-pointer evidence rjz.; opcode08 unreadable producer promotes route rkz.

    z(

    opcode 0x07 unreadable activations rfz1; opcode 0x07 unmapped selected-slot activations rhz+; opcode 0x09 unsupported-mode activations riz

    rpz

    z

    Unique Producers

    z z
    selectorproduceractivationsopcodevalueexplanationfirstlast
    z

    Activation Rows

    z z

    Remaining Proofs

      z
    z)rrr)rractivation_rowsproofss r html_pagersII >*  Mii =)  OWW\IZA[\ \F 99"PIq0es6&C dkk'("345WT[[QYIZ=[<\]IJQR@JAIBB`ahiHaI`JJlmtuXmYlZZHIPQzI{H||A B 27;^3_2`aRSZ[HSIRJJuv}~fvguhhm n  GL12348% u$ W )&7= rc|jdd|dz jtj|ddd|:|jjdd|jt |dyy) NT)parentsexist_ok0save_selector_opcode08_unreadable_producers.jsonF),:) ensure_ascii separatorsr r)mkdir write_textrdumpsparentr)rout_dirhtml_outs r write_outputsrKs{ MM$M. AAMM 7:FNdT:Ig.Arctj}|jdttdz |jdtt dz |jdtt dz |jdtt |jd tdd |j }t|jjt|jit|ji}t||j|jt!d |jd z y)Nz--exez Hwanse2.exe)typedefaultz--activation-windowsrMz--selected-pointerrNz --out-dirz --html-outz!Optional HTML report output path.)rrhelpz8wrote save selector opcode 0x08 unreadable producers -> r)argparseArgumentParser add_argumentrROOTrq parse_argsrr| read_bytesrr}selected_pointerrrrprint)parserargsrs rmainrVs  $ $ &F dD=4HI .T3IyCyz ,4GyAyz  $<  4Dgh    D $))2.$'',G '4<<7 DT\\UGFGEH IJr__main__)rrrrreturnr)r str | Nonerz int | None)r list[dict]r!rrr)r*dictrzdict[tuple[str, str], dict])r rr%rrFrrr)NN)r|bytesr} dict | Noner*rrr)r,rrr)rrrrr)rrrrrz Path | NonerNone)rr))__doc__ __future__rrrrsyspathlibrtypingrrinsertr__file__resolverprobe_exe_scene_tablesrsummarize_script_handler_tablerrrrqrxryrrrsrzrrr"r-rKrrrrrr__name__rrrrs\" 3tH~--/66780> H~''* Ul  8  03p'+15_ _#_$/_ _D .,^9xBJ" zFr
    selectoractivationproduceropcodedistancereason