UHj@ dZddlmZddlZddlZddlZddlZddlZddlZddl m Z ddl m Z ddl mZejj!dee ej'j(ddlmZe ej'j.dZed z Zd Zd Zd d hZdZgdZgdZddddddgZ d%dZ!d&dZ"d&dZ#d'dZ$d(dZ%d)dZ&d*dZ'd+dZ(d,dZ)d-dZ*d.d Z+d.d!Z,efd/d"Z-d0d#Z.e/d$k(re.yy)1zCSummarize global selector-root patterns for inherited gate offsets.) annotationsN)Counter)Path)Any) read_sectionsoutmap1_01amap2_02diT)zlocal-writer-for-gate-offsetszroute-specific-root-patternzcurrent-root-fallthrough-proof)zAlocal opcode 0x12/0x13 writer for selectionBuffer[0xe8] or [0xea]z_route-specific selector-root pattern instead of reader-only inherited offsets across many rootsz8runtime fallthrough proof for the current root gate rows Hwanse2.exez;global dword-aligned scan of save-selector gate offset rows)path descriptionzout/save_scene_selectors.jsonzHselector root labels and field-map overlap used to group the offset rowscp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks I/home/exedev/hwanse/tools/summarize_save_selector_gate_offset_patterns.py load_jsonr0s* ;;= ::dnngn6 77cd|dS)N0x08xvalues rhex32r#6 c{ rcd|dS)Nr02xr r!s rhex8r':r$rcV|D]}|jddk(s|cStd)Nnamez.dataz Hwanse2.exe has no .data section)get ValueError)sectionssections r data_sectionr.>s5 ;;v ' )N 7 88rc|dz}|dvry|dz dz}|dz dz}|tvry|t||t||t|ddddd ||d k(rd nd t||t||d k(|dvd S)N>r1fillBranchStateTablereadSelectedStateAndBranchselectActiveStateSlotselectMatchingRuntimeSlot)r1r2r3r4rprimaryBranchStatesecondaryBranchStater2>r3r4) vavaHexr"valueHexopcode opcodeHex operation stateTablestreamPlus1HexselectionBufferOffsetselectionBufferOffsetHexisReaderisWriter)OFFSETSr#r')r<r"r? stream_plus_1 stream_plus_2s r decode_rowrKEs T\F --aZ4'Mb[D(MG#r%L&\(.)-    /!D"EL#W]$7$7 $D$JKO%)7=b*=*=k*J*Pb%QRTST%U !"$O(<<^#oJ^@^N!\1M C KrcTi}|D]@}|d|k7s|jds|j|dgj|Bg}t|j dD]\}}|d}|j||jdxsg|jdxsgt |t d|Dt d |Dtd |Dtd |D|dd Dcgc]}|d |d|d|d|ddc}d |Scc}w)NrDrNc*t|d |dfS)Nrr)rg)items rz&root_rows_for_offset..s#dSTg,X\]^X_H`r)keyrrqrrc3,K|] }|ds dywrFrNr .0r\s r z'root_rows_for_offset..ISZqI c3,K|] }|ds dywrGrNr rs rrz'root_rows_for_offset..rrc3>K|]}|jdyw)rtNr*rs rrz'root_rows_for_offset..sMC 7Mc3>K|]}|jdyw)ruNrrs rrz'root_rows_for_offset..sK#sww}5Krr5r=r>r@rArBr=r>r@rArB) rNrOrProwCount readerCount writerCountrtru sampleRows)r*rWrXrYitemsrgsumany)rrby_rootr\ summariesroot_hex root_rowsfirsts rroot_rows_for_offsetrsO%'G; & '6 19K 3y>2.55c:;I%gmmo;`a )! ii -3?39rIIIIIIIIIM9MMKKK%Ra=  !\ #J!$[!1!$[!1"%l"3     ,  s:D%ct||}g}td|D}ttD]}|Dcgc] }|d|k(s |}}t ||}|Dcgc]}|j ds|} }|Dcgc]}|j ds|} }|j t|t|td|Dtd|Dt|t| t| | Dcgc]}|d|d|d |d |d d c}|dd | d td|D} d} idddtdtdttdt|dtd|Dd|dt| d|dddddtd td!t d"tt d#d$d%| Scc}wcc}wcc}wcc}w)&Nc3,K|] }|ds dywrr rs rrz build_summary..s=cS_=rrDrurtc3,K|] }|ds dywrr rs rrz build_summary..KS3z?qKrc3,K|] }|ds dywrr rs rrz build_summary..rrr=r>r@rArBr ) offsetHexrrr rootCountrouteOverlapRootCountcurrentRootRowCountcurrentRootRowstopRootsrouteOverlapRootsc3bK|]'}|jds|jd)yw)rNNrrs rrz build_summary..s$T#AS3779-Ts//aOffsets 0xe8 and 0xea are reader-only inherited gate offsets across many selector roots, not map1_01a-specific local setup. The global scan finds 981 reader rows and 0 opcode 0x12/0x13 writers for these offsets; current root 2:0 contributes only reader rows. This keeps the gate fallthrough blocked on runtime/inherited selection-buffer state rather than promoting map1_01a->map2_02d.scopez_global dword-aligned save-selector rows for gate offsets 0xe8 and 0xea grouped by selector rootsourcetargetcurrentRootHex totalRowCounttotalReaderCountc3,K|] }|ds dywrr rs rrz build_summary..sEcS_ErtotalWriterCountroffsets proofFoundFgateOffsetPatternProofFoundfailedGateOffsetPatternGateIdsmissingEvidence evidenceRefsevidenceRefCountpromotionStatusblocked conclusion)rrrYrHrr*rXr'rgrrzr{r#r|#FAILED_GATE_OFFSET_PATTERN_GATE_IDS$GATE_OFFSET_PATTERN_MISSING_EVIDENCE!GATE_OFFSET_PATTERN_EVIDENCE_REFS) r}rZrr total_writersrr\ offset_rowsrbcurrent_root_rowsroute_overlap_roots root_counterrs r build_summaryrsi S) $DG=T==M/ &*Usc2I.Jf.TsU U$T62,7RS377=;QSRR.3Ossww~7NsOOfK(KKKKKKKKU%()<%=#&'8#9-  !\ #J!$[!1!$[!1"%l"3  cr !4'   4TTTL h  r &  &  % -   T   CETEE   M  S&  7  e  &u  )*M  ?  9  C AB  9! " j# AVRO s) GGG2G<G G <Gcddd|dddd|dd|d d d |d d d |dd|dd|dd|dd|dd d|dd d|dd|ddddg}|jd|dD|jgd|jd |d!D|jgd"|jd#|d$D|jgd%|d&D]>}|jd'|d(d)|d*d+|d,d+|d-d+|dd+|d.d+|d/d0@|d&D]}|jdd1|d(d2dd3d4g|d5D]p}|jd'|d6d)d7j|d8dd9xsd:d+d7j|d;dd<xsd:d+|d*d+|d,d+|d-d+|d=d+|d>d0r|jdd?j|S)@Nz$# Save Selector Gate Offset PatternszScope: r.z - route: `rz -> r`z- current root: `rz- total rows: rz- total readers: rz- total writers: rz- roots with rows: rz- proofFound: `rz - gateOffsetPatternProofFound: `rz- promotion status: rrz## Failed Gatesc3(K|] }d|d yw)- `rNr rrs rrzmarkdown..sU43tfAUsr)rz## Missing Evidencerc3&K|] }d| yw)z- Nr rs rrzmarkdown..sD2dVDsr)rz## Evidence Refsrc38K|]}d|dd|dyw)rrz`: rNr rs rrzmarkdown..s/  c&k]#c-012sr)rz## Offset SummaryrzW| offset | rows | readers | writers | roots | route-overlap roots | current-root rows |z1| --- | ---: | ---: | ---: | ---: | ---: | ---: |rz| `rz` | rz | rrrrz |z ## Offset `z ` Top RootszM| root | labels | maps | rows | readers | writers | route overlap | current |z4| --- | --- | --- | ---: | ---: | ---: | --- | --- |rrN, rOro-rPrtru )extendrXjoin)summarylinesrr]s rmarkdownrs. ''"#1% WX&'tGH,=+>a@ G$456a8 123 G$6789 G$6789 gk234 ',/02 *73P+Q*RRST w'89:;    % E( LLU73S+TUU LL  LLD1B)CDD LL  LL>* LL "  ${#$Dj)9(:#d=>Q=RRUVZ[hViUjjmK !T*A%B$C3tLaGbFcce g   "  ${+,K 8  [ B   $ D LLd9o&d499T(^BQ5G+H+OC*PPS99T+.r23:s;3tJ?O>PPS &'s4 +>*?s4CWBXX[\`an\o[pprt    LL 99U rcpdjd|dD}djd|dD}djd|dD}djd |d D}g}|d D]K}djd |d D}|jd tj|dd|dMdjddddtj|ddddtj|ddtj|dddtj|ddd|d d!d"|d#d!d$|d%d!d&|d'd!d(|d)dd*tj|d+d!d,d-tj|d.d/d0d|d,d1d|d,d2d|d,d3d4|dg|S)5Nrc3NK|]}dtj|dyw)
    • Nhtmlescapers rrzhtml_page..@s+  T[[&'|4#%rc3NK|]}dtj|dyw)z
  • 
    • Nrrs rrzhtml_page..Ds+  t{{4 !'rrc3K|]9}dtj|ddtj|dd;yw)rrz : rrNrrs rrzhtml_page..HsE  T[[V-.i C DV8W7XX]^s?Arrc3K|]D}dtj|dd|dd|dd|dd|dd|dd|d d Fy w) rr rrrrr Nrrs rrzhtml_page..Ls   [[k!2345J !M"#$M"#$K !"+,-.)*+,  sA A rc3LK|]}dtj|ddtjdj|dddxsddtjdj|d dd xsdd|d d|d d|d d|dd|ddyw)rrNrrrONrorrrPrrrrrtrur)rrr)rr]s rrzhtml_page..Zs   T)_567;;tyyh);<CDEF;;tyyk):2A)>?F3GHI #$% &'( &'('() &'(   sB"B$rz

    Offset rz Top Roots

    z
    rootlabelsmapsrowsreaderswritersroute overlapcurrent
    zVSave Selector Gate Offset Patternsaz+

    Save Selector Gate Offset Patterns

    z

    Scope: rz.

    z
      z
    • route: rz -> rrz
    • current root: rz
    • total rows: rrz
    • total readers: rz
    • total writers: rz
    • roots with rows: rz
    • proofFound: rz
    • promotion status: rz
    z

    rz

    z

    Failed Gates

    z

    Missing Evidence

    z

    Evidence Refs

    z

    Offset Summary

    z)rrXrr)r failed_gatesmissing_evidence evidence_refsrr,rrbs r html_pager?sp77<=Lww-.GG>*M)) I&  KH "   Z(     D,= >?@qg% '  & 99b L5 T[[!12359 DKK(9:;74;;wW_O`CaBbbno "4;;w7G/H#I"J,W 7?34E: g&89:%@ g&89:%@  45U; !6 7|D W5F-G!H IO dkk',/0 16 |nE"#  & }oU#! q34 5 rc|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz'save_selector_gate_offset_patterns.jsonF) ensure_asciiindentrrr'save_selector_gate_offset_patterns.html)mkdir write_textrdumpsr)rout_dirs r write_outputsrse MM$M. 88DD 7q9D@E 88DDYwEWbiDjrctj}|jdttdz |jdtt dz |jdtt |j }t|jjt|jg}t||jtd|jdz y) Nz--exer)typedefaultz --selectorszsave_scene_selectors.jsonz --out-dirzwrote gate offset patterns -> r)argparseArgumentParser add_argumentrROOTOUT parse_argsrr} read_bytesrrZrrprint)parserargsrs rmainr s  $ $ &F dD=4HI  D#@[:[\  $<    D $.."%G'4<<( *4<<:c+c*d efr__main__)rrrrreturnr)r"rVr str)r, list[dict]r dict)r<rVr"rVr z dict | None)rZrr z!tuple[list[int], dict[int, dict]])r<rVrbz list[int]r z int | None)r}bytesrZrr r)rrrrVr r)r}rrZrr r)rrr r)rrrrr None)r r)0__doc__ __future__rrrerrrwsys collectionsrpathlibrtypingrrinsertr__file__resolveparentprobe_exe_scene_tablesrrrrrzr{rHr|rrrrr#r'r.rKrcrjrrrrrrr __name__r rrrs,I" 3tH~--/66780 H~''* Ul   , '# ($T 0a %!8 9<80@7t@FHV25k g zFr
    offsetrowsreaderswritersrootsroute-overlap rootscurrent-root rows