UHjEdZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZmZe ej!j*dZedz Zd Zd Zgd Zgd Zd ddddddddgZd&dZd&dZd'dZd(dZ d)dZ!d*dZ"d+dZ#d,dZ$d-dZ%d.dZ&d/dZ'd0dZ(d1d Z)d2d!Z*d2d"Z+efd3d#Z,d4d$Z-e.d%k(re-yy)5zPSummarize script-local sources for the gate offsets before the current frontier.) annotationsN)Path)Any) read_sections va_to_offsetoutmap1_01amap2_02d)zscript-local-gate-byte-writerzglobal-script-gate-byte-writerz(runtime-inherited-selection-buffer-statezcontrol-path-fallthrough-proof)zRopcode 0x12/0x13 writer to selectionBuffer[0xe8] or [0xea] before the current gatezHruntime sample showing inherited gate bytes on the current selector pathzHcontrol-flow proof that the gate fallthrough reaches the frontier readerzUstrict hotspot or selected-root context tying the fallthrough to map1_01a -> map2_02d Hwanse2.exezGdword-aligned save-selector script scan for gate-offset readers/writers)path descriptionzout/save_scene_selectors.jsonz@selector root ranges used to isolate the current 2:0 script rootz.out/save_selector_branch_gate_consistency.jsonzRnearest current writer/frontier reader gate rows that define offsets 0xe8 and 0xeacd|dS)N0x08xvalues H/home/exedev/hwanse/tools/summarize_save_selector_gate_offset_sources.pyhex32r2 c{ cd|dS)Nr02xrrs rhex8r6rrcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)r fallbacks r load_jsonr%:s* ;;= ::dnngn6 77rcV|D]}|jddk(s|cStd)Nnamez.dataz Hwanse2.exe has no .data section)get ValueError)sectionssections r data_sectionr,@s5 ;;v ' )N 7 88rcvt||}||dzt|kDrytjd||dS)Nr<r=r>r?r<>r>r?r=) r4vaHexrvalueHexrA opcodeHex operation stateTablestreamPlus1HexselectionBufferOffsetselectionBufferOffsetHexwritesSelectionBufferreadsSelectionBuffer validHelperDispatch)rrrBrG)r4rrArF stream_plus_2rows r decode_rowrY[s T\F --aZ4'Mb[D(Mr%L&\)&1!-0}-!.$($7!'}|jd|k(s|jd|k(s-|jd}nt|tstd|t |Dchc]'}t|jdts#|d)c}}|Dcgc] }||kDs | }}||r|d|fS|dz|fScc}wcc}w)N:groupslotselectedPointerzmissing selector ri@)r( isinstanceintr)sorted) selectorsr\r]selectedlabelrXrootsroot next_rootss rselector_root_rangerhusHgQtf E 777 u $D)@ww01H  h $,UG455 ios:cggVgNhjmCnC)*o pE#(<4D8O$Q-QTU-UWXY ""4k:1= T][ (75> 9U# 3./7: KK   Krc|Dcgc] }|d|k(s |}}|Dcgc]}||dcxkr|ksnn|}}|Dcgc] }|d|ks |}}|Dcgc] }|ds | } }|Dcgc] }|ds | } }|Dcgc] }|ds | } }idt|d|dt|dt|dtd|Dd t| d td |Dd t|d td|Ddt| dt|dt| d|d|d|dddt | dt | d| rdiS| rdiSdiScc}wcc}wcc}wcc}wcc}wcc}w)NrQr4rS gateVaHexrRglobalRowCountglobalReaderCountc3,K|] }|ds dywrTrNr.0rXs r z!summarize_gate..s YsSAW=X Y globalWriterCountglobalFillLikeCountc32K|]}|ddk(s dyw)rAr<rNrrys rr{z!summarize_gate..s"Us8}PT?T1"Us currentRootRowCountcurrentRootReaderCountc3,K|] }|ds dywrxrrys rr{z!summarize_gate..s%\CDZ@[a%\r|currentRootWriterCountcurrentRootRowsBeforeGateCount currentRootWriterBeforeGateCountcurrentRootRowscurrentRootRowsBeforeGate globalSamples scriptLocalSelectionWriterFound globalScriptSelectionWriterFoundsourceClassificationzscript-local writerz)global script writer outside current rootzJno opcode 0x12/0x13 script writer; inherited/runtime selection-buffer byte)rrr0sumbool) r5gate_varp root_startroot_endrX global_rows root_rowsroot_rows_before_gateglobal_writers root_writersroot_writers_before_gates rsummarize_gaters."&Q3#.E*F&*P3QKQ +RzSY/Q/QRIR,5MSTW9LSMM%0QcC8O4PcQNQ#,MC4K0LCMLM/DeLcHdee U7^   #DL  #k*   S Yk YY   S0   s"U "UU  s9~  !#%\9%\"\  !#l"3  )#.C*D  +C0H,I  9  $%:  Sb)  *40H+I! " +D,@# $ ' "' ,=+ .^/  RRMQMesC E#E#E(E( E- E- E2!E2+ E76E7 E< E<c g}|jdxsgD]i}|jddk7rt|dd}|jd}t|tst|dd}|j||fk|S)NselectionOpcodeRowsBetweenrM0x11rKr<rQrR)r(r`r_rn)gate_consistencyrprXr4r5s rgate_offsets_from_consistencyrs D##$@AGR" 77; 6 )  Wr "01&#&78"=F VRL!" Krc t|}t|dd\}}}t|}|D chc]\}} | } }} t||| } |D cgc]\}} t || | ||} }} t d| D}t d| D}d}idt dtd|d t|d t|d t|d t| d |D cgc]\}} t|c} }d|d|dddddddddtdtdtdttd| |dScc} }wcc} }wcc} }w)Nrc3&K|] }|d yw)rNrrys rr{z build_summary..s!^S#&G"H!^c3&K|] }|d yw)rNrrys rr{z build_summary..sYC BCYraThe control gates before the current frontier reader use selectionBuffer offsets 0xe8 and 0xea, but the dword-aligned save-selector script scan finds no opcode 0x12/0x13 writer for either offset globally or inside the current 2:0 root. In the current root these offsets appear only as reader gates. That means the fallthrough path depends on inherited/runtime selection-buffer bytes rather than a script-local setup in this root, so control-flow proof remains open.sourcetargetselectorrootHex rootRangeHexz.. gateCountgateOffsetsHexanyScriptLocalSelectionWriteranyGlobalScriptSelectionWritercontrolPathGateStatuszinherited-runtime-statecontrolPathProofStatusblocked proofFoundFgateOffsetSourceProofFoundfailedGateOffsetSourceGateIdsmissingEvidence evidenceRefsevidenceRefCount)promotionStatusgates conclusion)rrhrrrranySOURCETARGETrr0r"FAILED_GATE_OFFSET_SOURCE_GATE_IDS#GATE_OFFSET_SOURCE_MISSING_EVIDENCE GATE_OFFSET_SOURCE_EVIDENCE_REFS)r3rbrr*rrrrr5_varorpr gate_rowsany_script_local_writerany_global_writerrs r build_summaryrsS!H%8Aq%I"J( )*: ;E)./+&#v/G/ #x 1D % FG vwj(CI"!^T]!^^YyYY O & &  H  5$   5,-Rh/@A   S^   5AKFC4<A  ()@  )*;  !:  !)  e  %e  ()K  >  8! " C @A# $% ) 0(Bs D1D7D= c0ddd|dd|dd|dd |d d |d d ddjd|dDd|dd|dd|ddd|ddd|ddd|ddd|d dd|d!dd"dg}|jd#|d$D|jgd%|jd&|d'D|jgd(|jd)|d*D|jgd+|d,D]>}|jd-|d.d/|d0d1|d2d3|d4d3|d5d3|d6d3|d7d8@|jgd9|d,D]}|jd:|d.d;|d0dddD]H}|jd-|d?d/|d@d/|dAd1|dBd3|dCd3|dDt|d.dEkd8 J|d>s|jdF|jddGj|S)HNz## Save Selector Gate Offset Sourcesz - route: rz -> rz - selector: `rz` root `rz` (`rz`)z- gate offsets: , c3(K|] }d|d yw)`Nrrzitems rr{zmarkdown..s$WTqa[$Wrz%- any script-local selection writer: rz&- any global script selection writer: rz- control path gate status: `rrz- control path proof status: `rz- proofFound: `rz- gateOffsetSourceProofFound: `rz- promotion status: `rrz## Failed Gatesc3(K|] }d|d yw)- `rNrrs rr{zmarkdown..sT43tfATrr)rz## Missing Evidencerc3&K|] }d| yw)z- Nrrs rr{zmarkdown..sD2dVDrr)rz## Evidence Refsrc38K|]}d|dd|dyw)rr z`: rNrrys rr{zmarkdown.. s/  c&k]#c-012sr)rz## Gatesrzc| gate | offset | root rows | root writers before gate | global readers | global writers | source |z/| --- | --- | ---: | ---: | ---: | ---: | --- |rz| `rtz` | `rRz` | rz | rrvr}rz |)rz## Current Root Rowsrz ### Gate `z ` offset `z6| va | value | op | operation | table | before gate? |z%| --- | --- | --- | --- | --- | --- |rrKrLrMrNrOr4r<z| - | - | - | - | - | - | )joinextendrnr`)summarylinesgaterXs rmarkdownrs5- GH%&d78+<*=>  +,HWY5G4HWUcMdLeegh 499$WWEU=V$WWXY /8W0X/YZ 09Y1Z0[\ '0G(H'IK (1I)J(K1M ',/02 )'2N*O)PPQR (9 :;1=    # E& LLT73R+STT LL  LLD1B)CDD LL  LL>* LL   ${#$E$/I*J)K4)*+3t4V/W.XX['()T2E-F,Gs*+,B 0   LL12  k*+:d;U6V5WWX Y  D 3   )* C LLc'l^5Z(9s;?O>PPT{#$CL(9':#c$i#dS^N_acJd>d=eegi   %& LL4 5 R 99U rcNg}g}djd|dD}djd|dD}djd|dD}|dD]u}|jd tj|d d tj|d d |dd|dd|dd|ddtj|ddg}t |d d}|dD]} |jd tj| dd tj| dd tj| dd tj| ddtj| dd| d|kd |j dtj|d dtj|d dd g|d!xd"jgd#d$d%d&d'd(d)d*d+d,d-d.d/d0d1d2d3d4d5d6d7tj|d8d9tj|d:d;tj|d<d=tj|d>d? d@tjdAj|dBdC|dDdE|dFdGtj|dHdI|dJdKtj|dLd? dMtj|dNdOdPdQ|dRdSdQ|dRdTdQ|dRdUdV|dW|dXdYdS)ZNrc3NK|]}dtj|dyw)
  • z
    • Nhtmlescapers rr{zhtml_page..2s+  T[[&'|4#%rc3NK|]}dtj|dyw)z
  • 
    • Nrrs rr{zhtml_page..6s+  t{{4 !'rrc3K|]9}dtj|ddtj|dd;yw)rr z : rrNrrys rr{zhtml_page..:sE  T[[V-.i C DV8W7XX]^s?ArrzrtzrRzrz rrvr}rz r<rrKrLrMrNrOr4z

    Gate z Offset z

    zz
    vavalueopoperationtablebefore gate?
    rzzzz zF z2 Save Selector Gate Offset Sourcesz zzz,

    Save Selector Gate Offset Sources

    z

    route rz -> rz; selector rz; root rz .

    z

    gate offsets: rrz%; any script-local selection writer: rz&; any global script selection writer: rz"; control path gate status: rz; proofFound rz!; promotion status: rz

    rz

    z

    Failed Gates

    z
      z
    z

    Missing Evidence

    z

    Evidence Refs

    z

    Gates

    z z
    gateoffsetroot rowsroot writers before gateglobal readersglobal writerssource
    zz)rrnrrr`r) rr detail_parts failed_gatesmissing_evidence evidence_refsrrprrXs r html_pager/s IL77;<Lww-.GG>*M   T+%6789T*D%EFGH-./0:;<=+,-.+,-.;;t$:;<=>  d;',)* C KK![[W678![[Z9:;![[[)9:;<{{3{#3456{{3|#45674y7*+,    dkk${*;<==RSWS^S^_cd~_TASBBN O N      3 > 99&&& & # & Q & = & & r& 1& 7& :& G& f& t& Q& '!&" #&$ %&& '&( 7)&* DKK(9:;;OPTP[P[\cdl\mPnOopHIMITITU\]gUhIiHjj~CJJKRSaKbc~ddp q+&, dkk$))G ?&@ A&B C&D E&F G&H I&J K&& &rc|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz&save_selector_gate_offset_sources.jsonFr) ensure_asciiindentrrr&save_selector_gate_offset_sources.html)mkdir write_textr!dumpsr)rout_dirs r write_outputsrse MM$M. 77CC 7q9D@D 77CCIgDVahCircFtjt}|jdtt dz |jdtt dz |jdtt dz |jd tt |j}t|jjt|jgt|ji}t||jt!d |jd z y) N)rz--exer )typedefaultz --selectorszsave_scene_selectors.jsonz--gate-consistencyz*save_selector_branch_gate_consistency.jsonz --out-dirz+wrote save selector gate offset sources -> r)argparseArgumentParser__doc__ add_argumentrROOTOUT parse_argsrr3 read_bytesr%rbrrrprint)parserargsrs rmainrs  $ $ 9F dD=4HI  D#@[:[\ ,4GsAst  $<    D $.."%$'',G '4<<( 7 Go8o7p qrr__main__)rr`returnstr)r rr$rrr)r* list[dict]rdict)r3bytesr*rr4r`rz int | None)rAr`rr)rFr`rr)r4r`rr`rz dict | None)rbrr\r`r]r`rztuple[int, int, str])r3rr*rrozset[int]rr) r5r`rr`rprrr`rr`rr)rrrzlist[tuple[int, int]])r3rrbrrrrr)rrrr)rrrrrNone)rr)/r __future__rrrr!r1syspathlibrtypingrr insertr__file__resolveparentprobe_exe_scene_tablesrrrrrrrrrrrrr%r,r6rBrGrYrhrrrrrrrrr__name__rrrrs7V" 3tH~--/6678> H~''* Ul  &" '#` 0Y Ak $ 8 94R4 O  F (VBJTn25j s  zFr