TJjbBvdZddlmZddlZddlZddlZddlZddlZddlZddl m Z ddl m Z ejjdee ej#j$ddlmZmZmZe ej#j.dZedz Zd Zd Zd Zd Zd ZdZddhZ gdZ!gdZ"dgdddgdddgddgZ#d*dZ$d+dZ%d,dZ&d-dZ'd.dZ(d/d0dZ)d1dZ* d2 d3d Z+d4d5d!Z,d6d"Z- d7d#Z.d8d$Z/d9d%Z0d9d&Z1edfd:d'Z2d;d(Z3e4d)k(re3yy)predecessor reverse reuse hits in the selector merge gap.) annotationsN)Path)Any)find_cns_strings read_sections va_to_offsetoutmap1_01amap2_02dz0:0z1:0z2:0iDHiDH)z"predecessor-current-forward-bridgezreverse-reuse-fill-site-hitz selector-2:0-runtime-or-savedatazstrict-source-hotspot)z@predecessor/target-side forward bridge into current selector 2:0zKreverse reuse target at predecessor fill site or executable fill/order edgez?selector 2:0 gameplay savedat or selected-pointer runtime tracez,strict map1_01a source coordinate or hotspot Hwanse2.exe)z#1:0 predecessor selector root rangez2:0 current selector root rangez%current->predecessor dword reuse hitszpredecessor fill site addresses)pathfieldsz*out/save_selector_merge_bridge_matrix.json)currentToPredecessorHitCount¤tToPredecessorBeforeFillHitCount$currentToPredecessorFillSiteHitCountforwardMergeBridgeHitCountdirectMergeExecutionBridgeFoundz*out/save_selector_merge_execution_gap.json) proofFound#failedSelectorMergeExecutionGateIdsmissingEvidencecd|dS)N0x08xvalues J/home/exedev/hwanse/tools/summarize_save_selector_reverse_reuse_context.pyhex32rGs c{ c"|r t|dSdS)N)intrs r parse_hexr$Ks"3ub>,,r cp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks r load_jsonr.Os* ;;= ::dnngn6 77r cvt||}||dzt|kDrytjd||dS)Nzg}t||dD]}t|||}|j|xsd}|rt|dk7r6t|||dz} |j |t ||j d|t| trd| dndd|S)Nr0r:z.cnsr04x)recordVa recordVaHexmapfilename sceneIdHex) ranger8getrErTr removesuffix isinstancer#) r4r5stringsstartendrowsr6rrDscene_ids rfield_record_startsroxs DE3"  C2.{{5;B'x~4 sHb1f5  9$$V,1;Hc1JBxn-PT     Kr cg}||dzz }t||dzdD]N}t|||} |j| xsd} | s(|jt || t | dP|| dS)Nr0r r_)refVaHexrDkind)rfr8rgrTrrE) r4r5rj scan_starttargetlimitrefs aligned_endr6rrDs rprevious_cns_refsrxs DFQJ'KJ a3  C2.{{5;B'  b TN    =r c(g}t|D]}||dzz}t|||}||St|t|d|dzdd} ||vr||| d<t||| d<nt ||d| d<nd | d<|j | |S) Nr0r02x)vaHexvalueHex lowByteHexcnsrrpointerscalar)rfr8rrErrT) r4r5rjr6countrmindexitem_varrows r dword_samplers Duuqy.C73 =  K7^e ut|C01  G  CJ"75>2CK (E * 6#CK"CK C#$ Kr cN|Dcgc] }|d|ks |}}|r|dSdScc}w)Nrar_r) field_startsrtrpreviouss rnearest_field_beforers7+Is:&/HIHI#8B<--Js ""ct|jd}t|jd}||iS|dz}t|||||} t||} |tvrd} n|t kr|rd} n|t krd} nd} t |t |||t k|tv| | | t||||d t|||d S) Nr} sourceVaHexr0zfill-site-targetz unaligned-pre-fill-payload-reusezaligned-pre-fill-payload-reusezpost-fill-or-unknown-reuse)r) r targetVaHextargetAlignmentbeforePredecessorFilltargetsPredecessorFillSiteclassificationnearestFieldRecordBeforepreviousCnsRefstargetDwordSample textSample) r$rgrxrPREDECESSOR_FILL_SITESFIRST_PREDECESSOR_FILLrrr]) r4r5rjhitpredecessor_startrrtsource alignmentprevious_fields nearest_fieldrs r classify_hitrsswwz* +F sww}- .F ~  I'Xw@QSYZO(v>M ''+ ( (Y; ( (95V}V}$!'*@!@&,0F&F($1*)#x&PQR)#x@  r c @t|}t||}td|jdxsgDd}|s t dt |jddj dddxsd}t |jddj dddxs|}t|||||}|jd xsgDcgc]}t||||||} }| D cgc]} | s|  } } i} i} | D]q} | jd xsd } | j| ddz| | <| jd xsi}|jd xsd}| j|ddz| |<std| D}t| |z }d}idtdtdtdtdtdt| d|jdd|jddtd| Ddtd| Dd|d|dt!t#| j%d t!t#| j%d!| dd"d#d$d%d$t&t(d&t(t*tt*|d'Scc}wcc} w)(Nc3K|]6}|jdtk(r|jdtk(r|8yw)sourceSelectortargetSelectorN)rgCURRENT_SELECTORPREDECESSOR_SELECTOR.0rs r z build_summary..s> ww'(,<<()-AA  s<>pairsz(missing current->predecessor bridge pairtargetRangeHexrGz..r rhitsrunknownrrcnonec3JK|]}|jddk(sdyw)rrr Nrgrs rrz build_summary..s!McSWW5F-G1-LMs##aThe current 2:0 -> predecessor 1:0 reverse hits are reuse pointers into the predecessor pre-fill payload area: every hit lands before the 0x004844d0/0x004844d8 secondaryBranchState fill sites, none targets a fill site, and many targets are unaligned payload/text positions. They explain shared script/resource material between the selector roots, but they are not a predecessor-to-current execution bridge and cannot prove map1_01a->map2_02d progression.rrtrpredecessorSelectorcurrentSelectorreverseHitCountrrbeforePredecessorFillHitCountc3DK|]}|jdsdyw)rr Nrrs rrz build_summary..s,c3#''JaBbQ,c  fillSiteHitCountc3DK|]}|jdsdyw)rr Nrrs rrz build_summary..s[cSWW=Y5Z[ralignedTargetCountunalignedTargetCountclassificationCountsnearestFieldRecordCounts sampleRowsrFreverseReuseProofFoundblocked)failedReverseReuseGateIdsrpromotionStatusremainingProofs evidenceRefsevidenceRefCount conclusion)rrnextrg ValueErrorr$rVrorsumr1SOURCETARGETSOURCE_SELECTORrrdictsorteditemsFAILED_REVERSE_REUSE_GATE_IDSMISSING_EVIDENCE EVIDENCE_REFS)r4merge_bridge_matrixr5rjpairrpredecessor_endrrrmrclassification_countsnearest_field_countsrnearestmap_name aligned_countunaligned_countrs r build_summaryrs;S!HsH-G  .227;Ar  D CDD!$((+;R"@"F"FtQ"OPQ"RSXWX)92 > D DT1 Ma PQfUfO h9JO \F88F#)r   S(GS2CVL D  'C3C 'D ',.+-S!12?i0E0I0I.Z[0\_`0`n-''45;;;u%/)=)A)A(A)NQR)RX& S MTMMM$i-/O * & &  /  3   +   3t9   %&9&=&=>Z&[  *+>+B+BCd+e  (,c$,c)c  C[T[[  m    V,A,G,G,I%J K  #D0D0J0J0L)M$N  d3Bi  e! " !%# $&C+$+% . 1 -  (sJ2J:Jc`ddd|dd|ddd|d d |d d |d d|dd|dd|dd|dd|ddd|ddd|ddd|ddddg}|jd|djD|jgd |d!D]}|jd"xsi}|jd#|d$d%|d&d'|d(d)|d*d)|jd+xsd,d-|jd.xsd,d'|jd/xsd,d0|jgd1|jd2|d3D|jgd4|jd5|d6D|jgd7|jd8|d9D|jgd:|d;D]>}|jd<|d=d>d?j |jd@xsg@|jddAj |S)BNz%# Save Selector Reverse Reuse ContextrGz - route: `rz -> rt`z%- current->predecessor reverse hits: rz- before predecessor fill: rz- fill-site hits: rz- aligned targets: rz- unaligned targets: rz- forward merge bridge hits: rz'- direct merge execution bridge found: rz- proof found: `rz- reverse reuse proof found: `rz- promotion status: `rrz## Classification Countsc32K|]\}}d|d|yw)- : Nrrkeyrs rrzmarkdown..9s!_e2cU"UG$_sr)rGz## Sample RowsrGzR| current ref | predecessor target | class | align | nearest field | text sample |z&| --- | --- | --- | ---: | --- | --- |rrz| `rz` | `rz` | rz | rrc-z `rbrz |)rGz## Failed Reverse-Reuse GatesrGc3&K|] }d| ywrNrritems rrzmarkdown..IsN2dVNr)rGz## Missing EvidencerGc3&K|] }d| ywrrrs rrzmarkdown..KD2dVDrr)rGz## Remaining ProofsrGc3&K|] }d| ywrrrs rrzmarkdown..Mrrr)rGz## Evidence RefsrGrz- `rz`: , r )extendrrgrTrU)summarylinesrrrefs rmarkdownr$s/ WX&'tGH,=+>a@ /8I0J/KL %g.M&N%OP W%789: g&:;<= (> ?@A '0L(M'NO 1':[2\1]^ 7<013 (1I)J(K1M (9 :;1=   " % E( LL_w?U7V7\7\7^__ LL|$ ''45; #m$%U3}+=*>d3GWCXBYY\$%&c'++e*<*C)DBw{{S`GaGhehFiimww|$+,B 0   LL:; LLN1L)MNN LL01 LLD1B)CDD LL01 LLD1B)CDD LL-.~&Q s3v;-s499SWWX5F5L"+M*NOPQ LL 99U r cdjd|djD}g}|dD]}|jdxsi}|jdt j |ddt j |d d t j |d d |d d t j |jdxsddt j |jdxsdd t j |jdxsdddjd|dD}djd|dD}djd|dD}djd|dD}djdddd |d!d"|d#d$|d%d&|d'd(|d)d* d+|d,d-|d.d/|d0d1|d2d3|d4d5|d6d7t j |d8d9d:t j |d;d<d=|d>d?d@dj|dAdB|d>dC|d>dD|d>dE|d>gS)FNrGc3ZK|]#\}}dtj|d|d%yw)
  • r
    • Nhtmlescapers rrzhtml_page..Vs5 C t{{3 5'/s)+rrrzrzrzrz rrcrz rbrz c3NK|]}dtj|dywrrNrrs rrzhtml_page..gs#\tDKK-.e4\#%rc3NK|]}dtj|dywrrrs rrzhtml_page..hs#ltT$++d"3!4E:lrrc3NK|]}dtj|dywrrrs rrzhtml_page..is#]$T[[./u5]rrc 3K|]X}dtj|ddtjdj|jdxsgdZyw)z
  • rz : rrrN)rrrUrg)rrs rrzhtml_page..jsY  T[[V-.i DIIcggV^N_NeceDf8g7hhmnsAA rrzWSave Selector Reverse Reuse Contextzz,

    Save Selector Reverse Reuse Context

    z

    Route rz -> rtz/; current->predecessor reverse hits: rz; before predecessor fill: rz; fill-site hits: rz.

    z

    Aligned targets: rz; unaligned targets: rz; forward merge bridge hits: rz'; direct merge execution bridge found: rz; proof found: rz*; reverse reuse proof found: rz!; promotion status: rz .

    z

    rz

    z"

    Classification Counts

      z
    z

    Sample Rows

    zz
    current refpredecessor targetclassalignnearest fieldtext sample
    z'

    Failed Reverse-Reuse Gates

      z

      Missing Evidence

        z

        Remaining Proofs

          z

          Evidence Refs

            )rUrrgrTrr) rcountsrmrrproofs failed_gatesmissingrvs r html_pagerUs WW!"89??AF D|$  ''45;  S%789:S%789:;;s#34567()*+;;w{{518S9:'$++gkkZgNhNoloBpAqr;;sww|4;<=>     WW\IZA[\ \F77lwOjGkllLgg]'J[B\]]G 77>* D 99c y6 '(+,GGH4E3FFuv}PwQvRRmnuvUnVmWWijqrDjEiFFK L w';<==RSZ[qSrRstQRYZvRwQxx_`ghI`J_KK`ahiuav`wwabijBbCaDDefjfqfqryzKrLfMeNNZ [ dkk',/0 16 ,VHE: f   1,uE 'y6 'xu5 $TF%0 r c|jdd|dz }|jtj|dddzd |9|jjdd|jt |d |S) NT)parentsexist_okz(save_selector_reverse_reuse_context.jsonF) ensure_asciiindentrr&r')mkdir write_textr*dumpsparentr)rout_dirhtml_outjson_outs r write_outputsrs MM$M.CCH  7q9D@dT:Ig.A Or ctjt}|jdtt dz |jdtt dz |jdtt |jdt |j}t|jjt|ji}t||j|j}t!d |y) N) descriptionz--exer )typedefaultz--merge-bridge-matrixz&save_selector_merge_bridge_matrix.jsonz --out-dirz --html-out)rz-wrote save selector reverse reuse context -> )argparseArgumentParser__doc__ add_argumentrROOTOUT parse_argsrr4 read_bytesr.rrrrprint)parserargsrrs rmainr"s  $ $ 9F dD=4HI /dCJrDrs  $<  40    D $**B/GWdllDMMBH 9( DEr __main__)rr#returnstr)rz str | Noner$ int | None)rrr-rr$r)r4bytesr5 list[dict]r6r#r$r&)rDr%r$r%)@) r4r'r5r(r6r#rWr#r$r%) r4r'r5r(rjdict[int, str]rkr#rlr#r$r()r0)r4r'r5r(rjr*rsr#rtr#rur#r$r()r) r4r'r5r(rjr*r6r#rr#r$r()rr(rtr#r$z dict | None)r4r'r5r(rjr*rrrr#rr(r$r)r4r'rrr$r)rrr$r%)rrrrrz Path | Noner$r)r$None)5r __future__rrrr*rAr2syspathlibrtypingrrinsertr%__file__resolverprobe_exe_scene_tablesrrrrrrrrrrrrrrrrrr$r.r8rEr]rorxrrrrrrrr"__name__rr rr5sQ" 3tH~--/6678PP H~''* Ul  #$j1!  =  = ) >-8 4  1 0       ... " """  "  "  " "J?D.b)X25d  F zFr