@JjKldZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZmZmZddlmZmZddlmZe ej!j6d Zed z Zd Zd Zd Z dZ!dZ"dZ#dZ$dgdddddgddddgddgddgZ%dddd Z&d0d!Z'd1d"Z(d2d#Z)d3d$Z*d4d%Z+d5d&Z,d6d'Z- d7d(Z.d8d)Z/ d9d*Z0d:d+Z1d:d,Z2d;dzBSummarize the selector leaf table around the current 2:0 frontier.) annotationsN)Path)Any)find_cns_strings read_sections va_to_offset)handler_for_opcodesection_name_for_va) trace_streamoutiTi)Ti)Ti*Ti*Ti*Ti +Tz'out/save_scene_selector_references.json)labelkindresourcepathHex)pathfieldsz#out/save_selector_leaf_streams.jsonleafPointerHex fieldRecordsz$out/save_selector_stream_traces.json streamVaHextracezout/script_handler_table.json)handlerTableVaHexentriescodeHandlerCountdefaultHandlerCountzRruntime selector/index that chooses 0x00542a04 or 0x00542ae8 from the table windowz@wrapper 0x00542a04 execution into 0x00542ae8 on the normal routez,strict map1_01a source coordinate or hotspot)runtime-selector-indexwrapper-frontier-executionstrict-hotspotcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks G/home/exedev/hwanse/tools/summarize_save_selector_leaf_table_context.py load_jsonr)Ms* ;;= ::dnngn6 77cd|dS)N0x08xvalues r(hex32r1Ss c{ r*c"|r t|dSdS)N)intr/s r( parse_hexr5Ws"3ub>,,r*cvt||}||dzt|kDrytjd||dS)N)sectionrefVaHexr )r:packfindappendr1) r<r=r0needlerefsrEstartenddataposs r( refs_to_valuerPbs [[u %F D -gj))5~iiQh KK"6?!'$-#"56 ))FC!G,C Qh - Kr*ctfd|Dd}|sgS|jdxsgDcgc]%}|jds|jd'c}Scc}w)Nc3LK|]}|jdk(s|yw)rNget.0itemleaf_hexs r( z&field_maps_for_leaf..ts"X:J1Kx1WX$$rmap)nextrT) leaf_streamsrXrowrecords ` r(field_maps_for_leafr`ssU XXZ^ _C  ,/GGN,C,Ir _&VZZX]M^FJJu  __ _s A Ac~tfd|Dd}|sytd|jdxsgDS)Nc3LK|]}|jdk(s|yw)rNrSrUs r(rYz(trace_contains_reader..{s!V$((=2IX2UVrZFc3^K|]%}|jdttk('yw)vaHexN)rTr1FRONTIER_READERrVrWs r(rYz(trace_contains_reader..~s#^ttxx E/$::^s+-r)r\anyrT) stream_tracesrXr^s ` r(trace_contains_readerrizs< VVX\ ]C  ^swwwGWG][]^ ^^r*cbt|||}t|| t|ndt|cxkxr tkncd}|d|d<|S|dz}t |||} t ||} |j d|d| jd| jd| jd d t|} t|| } |tk(rd |d<n@|tk(rd |d<n1| rd |d<n)||vrd|d<|||d<n| rd|d<| |d<| |d<nd|d<| r| |d<| |d<t|| |d<|S)N)rdvalueHexinsideRootTableWindow unreadablerr,02x handlerVaHexhandlerSection isCodeHandler) lowByteHexlowByteHandlerVaHexlowByteHandlerSectionlowByteIsCodeHandlerwrapperLeafPointerfrontierLeafPointer leafPointercnspointer targetVaHex targetSectionscalarr leafFieldMapstraceContainsFrontierReader) r@r1 TABLE_START WRAPPER_LEAFr r updaterTr` FRONTIER_LEAFri) r<r=stringsr>r]rhr0r^opcodehandlerrE value_hex leaf_mapss r(row_atrsq S(B 'Er$)$5E%L4!,!A\!A C  }"F  T\F h7G!(E2GJJ6#,'&{{>:!(-=!> ' O <  e I#L)  HHV$XXg&,+. HH^4((<0#xx(9: $); <   88L !  K  Kr*c t|}t||}tttdzdDcgc]}t ||||||}}|Dcgc]}|j ddvr|} }td| Dd} t|||t} t|||t} |Dcgc]V}|j ddk(r@|j ddk(r,|j d d vrd |j d xsgvr|X} }d dttfDcic]}t|t|||}}d}d}g}|s|jdt|tts|jd|s|jd|Dcgc]}tj ||}}d}idddtt dtt"dttdttdt$dt't$dttdttdtt(d|dt'| d | d!| r| j d"ndd#t+| xr| j d$d%| d&| d't'| | dd(||||||d)gd*|d+ Scc}wcc}wcc}wcc}wcc}w),Nr r7r>ryrwrxc3JK|]}|jddk(s|yw)rrxNrSrVr^s r(rYz build_summary..s ^SWWV_H]5]^s##rz2:0fieldMapr>map1_01amap2_02d 0x005429dcri*Ti*TFrrraThe current selector root points at the 0x005429dc leaf table window. That window directly references 0x00542ac0 and 0x00542ad4, and it reaches the reader-bearing frontier leaf 0x00542ae8 through a small wrapper at 0x00542a04 whose second dword points at 0x00542ae8. This strengthens the evidence that the frontier leaf belongs to the current selector table, but the wrapper trace still stops on a data-backed low byte and does not prove runtime selection of 0x00542ae8. Strict source hotspot evidence is still missing.selectorrootHexrootTablePointerHextableWindowHexz.. evidenceRefsevidenceRefCountwrapperLeafHexfrontierLeafHexfrontierReaderHex tableRows leafRefCountleafRefsfrontierLeafRefVaHexrd%frontierLeafRefIsDirectRootTableEntryrl wrapperTrace frontierTraceselectorPathCount blocked)z]decode the runtime selector/index that chooses 0x00542a04 or 0x00542ae8 from the table windowzLprove the wrapper at 0x00542a04 executes into 0x00542ae8 in the normal routez1find strict map1_01a source coordinate or hotspot) selectorPathsdirectLeafRefsruntimeSelectionProven proofFoundfailedLeafTableGateIdsmissingEvidencestrictHotspotFoundpromotionStatusremainingProofs conclusion)rrrange WINDOW_START WINDOW_ENDrrTr\rrrr1rPrIri#LEAF_TABLE_MISSING_EVIDENCE_BY_GATE CURRENT_ROOTr EVIDENCE_REFSr9rebool)r<selector_referencesr]rhr=rr> table_rowsr^ leaf_refs frontier_ref wrapper_tracefrontier_traceselector_pathsr0direct_leaf_refsruntime_selection_provenstrict_hotspot_foundfailed_leaf_table_gate_idsgate_idmissing_evidencers r( build_summaryrsh S!HsH-G j1na8  sHgr<GJ " 776?Z Z I^ ^`deL!#x,GM"3'=IN* 777 u $ GGFOz ) GGJ #; ; SWWY/52 6 N!*m\J  e mC599 % !# #"))*BC l0C D"))*FG "))*:;2  ,//A  x E 5&  u[1  U<01E*4E3FG    C .  % -  5/  U?3  Z  I  I  \ 0 0 9t  0l6p|GWGWXoGp1q     ! " S0# $(,*":."<+2$ !?  UsJ)J.(AJ3J8J=cddd|dd|ddd|d dd |d dd |d dd|ddd|ddd|dd|ddd|dd|dd|dd|dddj|jd xsgxsd!dd"t|jd#xsgd$|d%d&|d'd(|d)dd|d*dg}|jd+dg|jd,|jd#xsgD|jgd-|jd.xsgD]J}|j d/|jd0d1dj|jd2xsgL|jgd3|d4D]}|j d5|d6d7|d8d9|jd:d;dj|jd<xsgxsd!d;|jd=d!d>|jd?xsd!d@|jdAxsd!dB|jgdC|dDD]}|j dE|jdFd>|jd6d7|jd8d7|jdGd7|jdHd9|jdIxsd!dB |jgdJ|dKD]}|j dE|jdFd>|jd6d7|jd8d7|jdGd7|jdHd7|jdLxsd!d7|jdMxsd!d9|jdIxsd!dB|jgdN|jdO|dPD|j ddQj|S)RNz"# Save Selector Leaf Table Contextz - selector: `rz` root `r`z- root table pointer: `rz- table window: `rz- wrapper leaf: `rz- frontier leaf: `rz- frontier reader: `rz- leaf refs in window: rz- frontier leaf ref: `rz,- frontier leaf is direct root table entry: rz,- selector path rows for map1_01a/map2_02d: rz- runtime selection proven: rz- proof found: rz- failed leaf-table gates: `, r-z- missing evidence count: rz- strict hotspot found: rz- promotion status: rz- evidence refs: `rrz## Missing Evidencec3&K|] }d| ywz- Nr.rfs r(rYzmarkdown..4sN2dVN)rz## Evidence Refsrrz- `rz`: r)rz## Table Windowrz5| va | value | kind | leaf maps | reader? | handler |z%| --- | --- | --- | --- | --- | --- |rz| `rdz` | `rkz` | rz | rrz | `rtz` ruz |)rz## Wrapper Tracerz/| step | va | value | opcode | handler | stop |z&| ---: | --- | --- | --- | --- | --- |rz| rrrpr)rz## Frontier TracerzM| step | va | value | opcode | handler | branch target | fallthrough | stop |z2| ---: | --- | --- | --- | --- | --- | --- | --- |rrr)rz## Remaining Proofsrc3&K|] }d| ywrr.rfs r(rYzmarkdown..WsD2dVDrr )joinrTr9extendrI)summarylinesrefr^s r(markdownrs,  +,HWY5G4HJ !'*?"@!AC G$456a8 G$456a8 W%678: w':; !'."9!:; )?!@ AC 6w?f7g6hi 6w?R7S6TU &w/G'H&IJ ',/01 &tyy=U1V1\Z\']'dad&eefg $S5F)G)M2%N$OP "7+?#@"AB w'89:; W%789;   - E0 LL',- LLN5F)G)M2NN LL-.{{>*0b  #''&/"#dii0A0GR&H%I J   LL{#  #g,uS_$5T#''&/9J#yy17R8?C@ww4c:;<-.5#6bAX9Y9`]`8aac e   LLKL~&  !cggg&6%7uSWWZ=P+B*C4P\H]HdadGeeg i   LLvw'  !cggg&6%7uSWWZ=P+B*CD)*1c2%@R8S8ZWZ7[[_ww|$+,B 0   LL01 LLD1B)CDD LL 99U r*cdjd|jdxsgD}djd|dD}djd|dD}djd |d D}djd |d D}djd |jdxsgD}djdddd|dd|dd|dd|dd d|dd|dd|d dd!|d"d#|d$d%|d&d'|d(d)|d*d+tjd,j|jd-xsgxsd.d/t |jdxsgd0tj|d1d2d3tj|d4d2d5|d6d7d8|d9d:|d9d;|d|drz : rrNhtmlescapestrrTr)rVrs r(rYzhtml_page..]sf   S1239 ;;tyy!2!8b9 : ; sA3A5rrc3K|]@}dtj|ddtjt|ddtjt|jddtjdj |jdxsgxsd dtjt|jd d d tjt|jd xsd d tjt|jdxsd dCyw)zrdrkrz rrrrrtz ru Nrrs r(rYzhtml_page..ds=   [[W./0[[S_!5678{{3swwv/012{{499SWW_%=%CDKLMN{{3sww'DcJKLMN[[SWW-B%C%Js!KLMXVZVaVabefifmfmoFgGgNKNcOWPVQQ   sEE rc3K|]}d|jddtjt|jddtjt|jddtjt|jddtjt|jddtjt|jd xsd d y w) rrrdrrkrrprrrrNrTrrrrs r(rYzhtml_page..os   wwv [[SWWW%5!6789[[SWWZ%8!9:;<[[SWW[%9!:;<=[[SWW^%?@{{3sww|4;<=>?   sD D rc3K|]h}d|jddtjt|jddtjt|jddtjt|jddtjt|jddtjt|jdxsd dtjt|jd xsd d tjt|jd xsd d kyw)rrrrdrrkrrprrrrrrNrrs r(rYzhtml_page..zs4   wwv [[SWWW%5!6789[[SWWZ%8!9:;<[[SWW[%9!:;<=[[SWW^%?@[[SWW->%?%F3!GHIJ[[SWW-?%@%GC!HIJK{{3sww|4;<=>?  sE/E1rc3NK|]}dtj|dywz
  • rNrrrfs r(rYzhtml_page..s#\tDKK-.e4\#%rc3NK|]}dtj|dywrrrfs r(rYzhtml_page..s(,0$t{{4 !'rrzTSave Selector Leaf Table Contextzz)

    Save Selector Leaf Table Context

    z

    selector rz root rz"; root table pointer rz; table window rz .

    z

    wrapper leaf rz; frontier leaf rz; frontier reader rz

    leaf refs in window: rz; frontier leaf ref rz3; frontier leaf is direct root table entry: rz; runtime selection proven: rz ; proofFound=rz; failedLeafTableGates=,rrz; missingEvidenceCount=z; promotion status: rz

    z

    rz

    Evidence refs: rz.

    z

    Missing Evidence

      z
    z

    Evidence Refs

      z

      Table Window

      z
      vavaluekindleaf mapsreader?handler
      z

      Wrapper Trace

      z

      Frontier Trace

      stepvavalueopcodehandlerstop
      z

      Remaining Proofs

        )rrTrrr9)r evidence_refsr wrapper_rows frontier_rowsproofs missing_itemss r( html_pager\sGG ;;~.4" M ;'  J99 >*  LII ?+  MWW\IZA[\ \FGG4;KK@Q4R4XVXM 99` G3 WZ011DWYEWDXXz|CDY|Z{[[wx@PxQwRR^ _ )9!: ;;XY`arYsXtuTU\]pUqTrr~  "7>#:";;UV]^tVuUvwjkrsZk[j\\xy@AYyZx[[hipq}i~h\]a]h]hiliqiqryr}r}~VrWr][]i^iebe]f\ggEFIJQJUJUVgJhJnlnFoEppDEIEPEPQXYjQkElDmmq r dkk',/0 16 #G,>$?#@F ' e< $]O59 ^ Y D 'xu5) r*c|jdd|dz }|jtj|dddzd |9|jjdd|jt |d |S) NT)parentsexist_okz%save_selector_leaf_table_context.jsonF) ensure_asciiindentrr r!)mkdir write_textr$dumpsparentr)rout_dirhtml_outjson_outs r( write_outputsrs MM$M.@@H  7q9D@dT:Ig.A Or*c tj}|jdttdz |jdtt dz |jdtt dz |jdtt d z |jd tt |jd t |j }t|jjt|jgt|jgt|jg}t||j|j }t#d |y)Nz--exez Hwanse2.exe)typedefaultz--selector-refsz#save_scene_selector_references.jsonz--leaf-streamszsave_selector_leaf_streams.jsonz--stream-tracesz save_selector_stream_traces.jsonz --out-dirz --html-out)rz*wrote save selector leaf table context -> )argparseArgumentParser add_argumentrROOTOUT parse_argsrr< read_bytesr) selector_refsr]rhrrrprint)parserargsrrs r(mainrs&  $ $ &F dD=4HI )cDi>ij (tSCd=de )cDf>fg  $<  40    D $$$b)$##R($$$b) G WdllDMMBH 6xj ABr*__main__)rrr'rreturnr)r0r4rr)r0z str | Noner int | None)r<bytesr= list[dict]r>r4rr)r<rr=rr0r4rr)r]rrXrrz list[str])rhrrXrrr)r<rr=rrdict[int, str]r>r4r]rrhrrdict) r<rr=rrrrLr4rr) r<rrrr]rrhrrr)rrrr)N)rrrrrz Path | Nonerr)rNone)6__doc__ __future__rr rr$r:syspathlibrtypingrrinsertr__file__resolverprobe_exe_scene_tablesrrrsummarize_script_handler_tabler r %summarize_save_selector_stream_tracesr rr rrrrrrrrerrr)r1r5r@rPr`rirrrrrrr__name__r.r*r(r*sH" 3tH~--/6678PPR> H~''* Ul      : 6   7   0 1! J ] KD'#8 -4"`_/ /// /  /  / /d$R R#RR R  Rj?DDN C& zFr*
      stepvavalueopcodehandlerbranch targetfallthroughstop