1Jj[|dZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZmZddlmZmZe ej!j0dZed z Zd Zd Zd Zd ZdZgdZ gdZ!dgdddgddgZ"ddhZ#e$e#Z%eddddddddddd d!d"d# d$ed%d&d&d'd(d)d)d*d$ed+d,d,d-d.d/d0d0d0d1d1d1d2d3d4d5 d$iZ&dKd6Z'dLd7Z(dMd8Z)dNd9Z*dOd:Z+dPd;Z,dPd<Z-dPd=Z.dPd>Z/dQd?Z0dOd@Z1dRdAZ2 dSdBZ3 dSdCZ4dTdUdDZ5dVdEZ6dWdFZ7dWdGZ8dTdXdHZ9dYdIZ:e;dJk(re:yy)ZzFBuild a direct bridge matrix for the 0:0, 1:0, and 2:0 selector roots.) annotationsN)Path)Any) read_sections va_to_offset)byte_at handler_entryoutmap1_01amap2_02dz0:0z1:0z2:0)z selector-2:0-runtime-or-savedatazsource-current-vm-control-flowzstrict-source-hotspot)z?selector 2:0 gameplay savedat or selected-pointer runtime tracez5VM control flow from source-side 0:0 into current 2:0z,strict map1_01a source coordinate or hotspot Hwanse2.exe)z0:0 source selector root rangez#1:0 predecessor selector root rangez2:0 current selector root rangezencoded anchor scan windows)pathfieldszout/save_scene_selectors.json)groupslotselectedPointerHex fieldMapsDHDHzsource-side confirmed selectorPip5Pzsource root 0:0zsource pointer nodezsource map1_01a leafzsource shared leafz"source entry scene record map1_01azsource map1_02b leafz)source strict event scene record map1_02bz"source event dispatch neighborhood) ri42PiD2Pi`2Pi|2Pi2Pi2PiP3Pi\3P)roleroot scan_startscan_end exact_targetsz target-side predecessor selectordGiEHzpredecessor root 1:0z%predecessor secondaryBranchState fill)rrrzcurrent merge/frontier selectorTix5Tzcurrent root 2:0zcurrent pointer nodezcurrent map1_01a leafzcurrent shared leafz%current frontier reader/resource gatez$current source scene record map1_01az$current target scene record map2_02d) ri)Ti*Ti*Ti*Ti*Ti*Ti*Ti +TiD+Ti+Tcd|dS)N0x08xvalues H/home/exedev/hwanse/tools/summarize_save_selector_merge_bridge_matrix.pyhex32r&ks c{ c4t|dt|S)Nz..)r&)startends r% range_hexr+osEl^2eCj\ **r'cp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks r% load_jsonr5ss* ;;= ::dnngn6 77r'c"|r t|dSdS)N)intr#s r% parse_hexr9ys"3ub>,,r'c|jdd\}}t|t|tfd|DiS)N:r c3rK|].}|jdk(r|jdk(r|0yw)rrNget).0rowrrs r% zselector_row..s9 www5(SWWV_-D  s47)splitr8next) selectorslabel group_text slot_textrrs @@r% selector_rowrH}sI!KKQ/J  OE y>D  $   r'cvt||}||dzt|kDrytjd||dS)Nz> Hm,&+& 3; LL% & 'C& s 5$%& Jr'ct|}t||}||dt|dt|d|d|j dxsg|j dxsgdS)Nrrrrr linkedCns)selectorr rootVaHex scanRangeHexrrm)CONTEXTSrHr&r+r>)rDrEcontextr@s r%context_summaryrssmuoG y% (C76?+!',"79LMWW[)/RWW[)/R  r'c~t|jDcgc]\}}t||dc}}Scc}}w)N)vaHexrE)sorteditemsr&)targetsr$rEs r%exact_target_rowsrys<#7==?3  E5,/  s9c!"#$t|}t|}t|dj}i}i}i} |D cic]\} } | |  } } } |D]^\} } |j| dzgj | | f| |dz }d|cxkrdkr nn| | f||<d|cxkrdksUnX| | f| |<`i#g$g!g}dddddd}d"#fd "d#!"$fd }t |d|d D]F}t |}||j|gD]\} } |d xxd z cc<|d ||| | d !|j|}||\} } |dxxd z cc<|d||| | d t|}|5|d z|z} | j| } | |dxxd z cc<|d||| | d t|}|| j|}||\} } |dxxd z cc<|d||| | dt|}||dz|z} | j| } | -|dxxd z cc<|d||| | dIt|d|d dD]}t|}"|}|jdxsgD]c}||z} | j| } | |j t||t| | |jd|jddet|j}t!!}t!|}|}|rd} n|rd} nd} ||t#|d|d t!|t%|d|||||| |rdnd$!|dd d!Scc} } w)$Nrirrl)abs16LowsourceRelativeU16sourceRelativeU32signedRel16SitePlus2signedRel32SitePlus4c>|iS|vrt||<|SN)r )opcoderP handler_cacherQs r%cached_handlerz2scan_encoded_anchor_bridge..cached_handlers3 >I  &$1#x$HM& !V$$r'c|dz}t |} |}|t|t|d|d|dzzdz zd|dzdt|||d|dnd|jd |jd |jd d u|jd xsg|jd d uxr||dzk(d } t dkr j | | dr!t dkr j | yyy)Nr r 0rWx02x handlerVaHexhandlerSectioncanJumpToDwordAtPlus4T fixedAdvancesrJ) kind siteVaHexrowVaHexvalueHex targetVaHex targetLabel opcodeHexrrhandlerCanJumpToDwordAtPlus4handlerFixedAdvancesstartsAtBranchTargetField r)rr&r>rLra)rsite_var$ target_varEwidthrow_varhandlerr@branch_attached_rowsrrPraw_rowsrQs r%add_rowz+scan_encoded_anchor_bridge..add_rows+2h/ (wf UqUQY'71&<=a {!^LM + .4.@2fS\*d#KK7%kk*:;,3KK8O,PTX,X$+KK$@$FB 34<VFUVJAV  x=2  OOC * +4H0IB0N ' ' ,1O +r'rr{r z abs16-lowrWr|zsource-relative-u16r~zsigned-rel16-site-plus2r}zsource-relative-u32rJrzsigned-rel32-site-plus4rrr)radvancerrrrz%encoded-anchor-control-flow-candidatez'raw-encoded-anchor-scalars-nonpromotingzno-encoded-anchor-candidateszready-for-reviewblockedr)sourceSelectortargetSelectorsourceRangeHextargetExactAnchorCounttargetExactAnchorsrawScalarCandidateCountsrawScalarCandidateCountbranchAttachedEncodedFieldCount modeledControlFlowCandidateCountpromotingCandidateCountclassificationpromotionStatusrawScalarCandidateRowsbranchAttachedEncodedRowsmodeledControlFlowRows)r int | Nonereturndict)rstrrr8r$r8rr8rErrr8rNone)rqrvrw setdefaultrarkrXr>rZrTr\rcrr&sumvaluesrLr+ry)%rPrQ source_label target_labelsourcetarget target_rows low16_targetssource_rel16_targetssource_rel32_targetsrRrErrrel modeled_rowscountsrrvalue16 rel_targetrel16value32rel32rrrr raw_countbranch_attached_count modeled_countpromoting_countrrrrrs%`` @@@@r%scan_encoded_anchor_bridgers^ l #F l #F06689K68M79790;<92uRYz@RS\C73  $1$5$5gr$B L 5z"a'" Wgy%K L.11':J%#- 5*+q0+-wESTUc8W5E #aK%/ %)))4$12a725wyRWYZ[c8W5  -11':J%#- 5*+q0+-wESTUc8W5E #aK%/ %)))4$12a725wyRWYZ[?\B|,fZ.@!Dh/ ({{?39r G(I!%%i0E}   "6]"$Y/$ ' N ;")++.>"? !  "FMMO$I 45 %M#O@ B7&&#F<$8&:LM"%k"2/0GH$*#,+@,9#2(1@-i"*%9".s"3 c=s Mc >t|}t|}g}d}d}t|d|ddD]} t||| } | |dz }|dz }|d| cxkxr|dknc} |dj| } | s| L|j t | t | | | |t k(xr | tk| tvd||t|d|dt|d|d||t|td|Dtd |Dt|d|d S) NrrrrJr r) sourceVaHexrinsideTargetRangetargetExactLabelbeforePredecessorFilltargetsPredecessorFillSitec3,K|] }|ds dyw)rr Nr"r?r@s r%rAz+scan_direct_dword_bridge..~s,_3#F]B^Q,_ c3,K|] }|ds dyw)rr Nr"rs r%rAz+scan_direct_dword_bridge..s-eC3GcCda-er) rrrtargetRangeHexreadableDwordCountunreadableDwordCounthitCounthitCountBeforePredecessorFillhitCountToPredecessorFillSitestargetExactValueshits) rqrcrTr>rar&PREDECESSOR_SELECTORFIRST_PREDECESSOR_FILLPREDECESSOR_FILL_SITESr+rLrry) rPrQrrrrrreadable unreadablerRr$inside_target_range exact_labels r%scan_direct_dword_bridgerYs` l #F l #F DHJF<(&*PP_-11%8 "{':   9e !4 +%15I%I%leVlNl*/3I*I    &'&#F<$8&:LM#F<$8&:LM& *I),,_$,_)_*--e4-e*e.vo/FG  r'ct|}||nttdz g}ttt g}|Dcgc].}|D]'}||k7r it ||||dt||||i)0}}}|Dcic] }|d|df|}}|ttf} |tt f} |tt f} |t tf} | d| dz| dz} td| | | fD}td| | | fD}td|D}| dd kDxr| d | dk(xr| d d k(}| d kD}|d kD}d }id tdtdtdtdt d|Dcgc]}t||c}d|d| dd| dd| dd| dd| d d| d d|d| d|d||||dddtttttdgdt|d Scc}}wcc}wcc}w)!Nsave_scene_selectors.jsonencodedAnchorScanrrrc3fK|])}|jdxsijdd+yw)rrrNr=rs r%rAz build_summary..s5+  $ % +001JAN+/1c3fK|])}|jdxsijdd+ywrrrNr=rs r%rAz build_summary..s51  $ % +001JAN1rc3fK|])}|jdxsijdd+ywrr=rs r%rAz build_summary..s5)  $ % +001JAN)rrrraThe pairwise direct-dword bridge matrix finds no source-side 0:0 -> target-side 1:0 bridge, no source-side 0:0 -> current 2:0 bridge, and no target-side 1:0 -> current 2:0 bridge. The only route-relevant nonzero bridge remains the current 2:0 -> predecessor 1:0 reverse reuse, and every such target lands before the predecessor secondaryBranchState fill sites. The encoded exact-anchor scan adds no modeled control-flow candidate in the forward merge directions; any encoded anchor matches are raw scalar collisions unless a runtime VM path proves otherwise. This keeps the selector-merge hypothesis blocked: static data pointers and encoded scalar anchors do not prove that the confirmed source route executes through 1:0 and then into 2:0.rrpredecessorSelectorcurrentSelectorcontextspairssourceToPredecessorHitCountsourceToCurrentHitCountpredecessorToCurrentHitCountcurrentToPredecessorHitCount¤tToPredecessorBeforeFillHitCount$currentToPredecessorFillSiteHitCount$currentPredecessorHitsBeforeFillOnlyforwardMergeBridgeHitCountdirectMergeExecutionBridgeFound+forwardEncodedAnchorRawScalarCandidateCountrF)zyThis matrix covers direct dword values and exact-anchor encoded scalar shapes in the known selector/root context windows.znIt does not rule out VM-dispatched execution order, save-state progression, or indirect runtime state changes.z\It does not replace the strict source hotspot or runtime selected-pointer proof requirement.)+forwardEncodedAnchorPromotingCandidateCount$encodedAnchorPromotingCandidateCount encodedMergeExecutionBridgeFoundselectorMergeProofStatus proofFoundmergeBridgeMatrixProofFoundfailedMergeBridgeGateIdsmissingEvidence evidenceRefsevidenceRefCountr limitationsremainingProofs conclusion)rr5OUTSOURCE_SELECTORrCURRENT_SELECTORrrrSOURCETARGETrsFAILED_MERGE_BRIDGE_GATE_IDSMERGE_BRIDGE_MISSING_EVIDENCEMERGE_BRIDGE_EVIDENCE_REFSrL)rPrDrQlabelsrr pair_rowsr@ by_directionsource_to_predecessorsource_to_currentpredecessor_to_currentcurrent_to_predecessorforward_merge_bridge_count forward_encoded_anchor_raw_count&forward_encoded_anchor_promoting_countencoded_anchor_promoting_count)current_predecessor_hits_before_fill_only#direct_merge_execution_bridge_found$encoded_merge_execution_bridge_foundr rEs r% build_summaryr#shS!H&2 #HcBceg8hI35E FF      V   &sHffE !;C6SY!Z  I   $4 56;L)/;O)PQ$o7G%HI)+?AQ*RS)+;=Q*RSj) J ' (  , - (++)+<>TU+($.11)+<>TU1.*&)))&" z*Q. J "#B CG]^hGi i J "#C D I. +Eq*H'+QTU+U( )$ &$ &$  /$  3 $  + $  FK5_Y6K $  $  &'z(J$  '(>z(J$  12HIh2i$  /0FGg0h$  /0Y$  %&@$  *+N!$ " 67W#$ $8^0N,P$-',$@82 :;$ 9 G$ $g`Ls3G3G$$G)c @|dd|dd|dd|dd|d  S) Nrz->rz hits=rz beforeFill=rz fillSites=rr")r@s r% pair_briefr%sS  !C(8$9#:&Z@QR9:;<9:; =r'c&ddd|dd|dd|dd |d d |d d d|dd|dd|dd|dd|dd|dddtddtdd d|d d!|d"d#|d$d%|d&d'|d(d)|d*d d+|d,d-d.j|d/d0t|d1d2|jd3d4|d5d d|d6dd7dd8d9g}|d:D]?}|j d;|d<d=|d>d?|d@d=d.j|dAxsdBdC A|j gdD|dED]w}|jdFxsi}|j d;|dd|dGdH|dIdH|dJd=|dKdL|dMdL|dNdL|jdOdL|jdPdCy|j gdQ|dED]}|jdFxsi}|j d;|dd|dGd=|jdRdL|jdOdL|jdSdL|jdTdL|jdPdC|j gdU|dED]}|dKdVk(r |j dW|dd|dGddXdYg|dZdd[D]B}|j d;|d\dH|d]d=|jd^xsdBdL|d_dL|d`dC Dt|dZd[kDr$|j dat|dZd[z db|j d|j dcdg|j dd|deD|j ddfj|S)gNz## Save Selector Merge Bridge Matrixz - route: rz -> rz- selectors: source `rz`, predecessor `rz `, current `r`z- source -> predecessor hits: rz- source -> current hits: rz- predecessor -> current hits: rz- current -> predecessor hits: rz (before fill rz , fill sites r)z- predecessor fill sites: `rz`, `rz- forward merge bridge hits: rz'- direct merge execution bridge found: rz&- forward encoded-anchor raw scalars: rz/- forward encoded-anchor promoting candidates: rz(- encoded merge execution bridge found: rz - selector merge proof status: `rz- proof found: rz- failed merge-bridge gates: , rz- missing evidence count: rz- evidence refs: r z- promotion status: `rr z ## Contextsz-| selector | role | scan range | field maps |z| --- | --- | --- | --- |rz| `rnz` | rz | `rpr-z |)r'z## Pair Matrixr'zy| direction | source range | target range | dword hits | before fill | fill-site hits | encoded raw | encoded promoting |z6| --- | --- | --- | ---: | ---: | ---: | ---: | ---: |rrrz` | `rrrz | rrrr)r'z## Encoded Anchor Scanr'za| direction | classification | raw scalars | branch-attached | modeled control-flow | promoting |z)| --- | --- | ---: | ---: | ---: | ---: |rrr)r'z## Route-Relevant Hitsr'rz### zJ| source VA | value | exact target | before predecessor fill | fill site |z| --- | --- | --- | --- | --- |rPrrrrrz| ... | ... | z more hits omitted | ... | ... |z## Remaining Proofsc3&K|] }d| yw)z- Nr"r?items r%rAzmarkdown..AsD2dVDsr  )r&joinrLr>rarb)summarylinesr@encodedhits r%markdownr6ss- GH%&d78+<*=> (8 9::J7ShKiJjjvw~@QxRwSST U (1N)O(PQ $W-F%G$HI )'2P*Q)RS )'2P*Q)RR`ahjRbSaTTabijPbQaRRS T %eJ&7%8U:=Nc{{=>?s{{456b  :   LL34w z?a   3'()c2B.C-D E  X -   v;s# C LLc-()s:.?t77-.5#6c#>U:V9WWZ345R9   s6{ b LL>#c&k*:R*?)@@`a b R#$ LL',- LLD1B)CDD LL 99U r'c djd|dD}dWd dj fd|dD}djd|dD}g}|dD]p}|dd k(r djd |d dd D}|jd tj|ddtj|dd|drdjd|dD}djd|dD}djgddddddddd d!d"d#d$d%d&d'd(d)tj|d*dtj|d+d,|d-d.|d/d0|d1d2tj|d3d4 d5|d6d7|d8d9|d:d;|d<d= d>|d?d@tjdAj|dBdCt |dDdE|j dFd4 dG|dHd=dItj|dJdKdLdM|dNdOdP|dNdQdR|dN|dS|dTdU|dTdVS)XNr0c3K|]~}dtj|ddtj|ddtj|ddtjdj|dxsdd y w) rnrzrpr*rr+ N)htmlescaper1rs r%rAzhtml_page..Gs   [[Z123{{3v;'()[[^!4567{{499S%56=#>?@  sBBrcf|jdxsi}dtj|ddtj|ddtj|ddtj|dd |d d |d d |d d |jdd |jddS)Nrr9r -> rrrr:r rrrrr;)r>r<r=)r@r4s r%pair_rowzhtml_page..pair_rowPs''-.4" S)9%:;._s   src34K|]}dtj|ddtj|ddtjt|jdxsijdd|jdxsijdd|jdxsijd d|jdxsijd d|jdxsijd d y w)r9rr?rr:rrrArrrrr;N)r<r=rr>rs r%rAzhtml_page..cs!   [[%5!678 CP`La@b?cd{{3(; < BGGHXYZ[\]+,2778QRST+,2778YZ[\+,2778Z[\]+,2778QRST   sDDrrc 3K|]n}dtj|ddtj|ddtj|jdxsdd|dd|d d py w) r9rr@rr:rr+rArrr;N)r<r=r>)r?r5s r%rAzhtml_page..rs   S%789:S_567;;sww'9:AcBCD./013456    sA4A6rr,z

rr?rz

z
source VAvalueexact targetbefore predecessor fillfill site
r'c3NK|]}dtj|dywz
  • z
    • Nr<r=r.s r%rAzhtml_page..s#\tDKK-.e4\#%r c3NK|]}dtj|dywrGrHr.s r%rAzhtml_page..s#]dDT!2 359]rIr zzzz zF z2 Save Selector Merge Bridge Matrixz zzz,

    Save Selector Merge Bridge Matrix

    z

    route rrz; forward merge bridge hits rz&; direct merge execution bridge found rz'; encoded merge execution bridge found rz; promotion status rz .

    z

    source -> predecessor hits rz; source -> current hits rz; predecessor -> current hits rz; current -> predecessor hits rz.

    z

    proof found rz); failed merge-bridge gates ,rz ; missing evidence rz; evidence refs r zm

    predecessor fill sites 0x004844d0, 0x004844d8; current reverse fill-site hits rz

    r z

    z

    Contexts

    zl z
    selectorrolescan rangefield maps
    z

    Pair Matrix

    z z

    Encoded Anchor Scan

    z
    directionsource rangetarget rangedword hitsbefore fillfill-site hitsencoded rawencoded promoting
    z

    Remaining Proofs

      z
    z

    Limitations

      zr@rrr)r1rar<r=rLr>) r2 context_rowsr encoded_rows hit_sectionsr@hit_rowsproofsr rBs @r% html_pagerRFs599:&L   7#I99 7#  LLw  z?a  99  6{3B'    4;;s#3456gdkk#N^J_>`=abUj( *  &WW\IZA[\ \F'']gmF\]]K 99((( ( # ( Q ( = ( ( r( 1( f( t( 7( '( ( ( !(" 7#($ dkk'("345WT[[QYIZ=[<\\xzAB^z_y``FGNOpGqFrrYZabDZEYFF_`d`k`klstElF`G_HHT U%(& +73P+Q*RRklsuNmOlPPnovwUoVnWWuv}~\v]u^^c d'(( "',"7!88abfbmbmnqnvnvw~@Zx[o\c]b^^~BCJK\C]^~__|}D}H}HI[}\|]]i j)(* x 9 : ;5 B+(.  GL12348/(0 1(2 w3(4 5(6 7(8 !9(: [;(< =(> ?(@ )A(B wC(D E(F G(H I(J *&7K(L %[M7M(N O(( (r'c|jdd|dz jtj|ddd|:|jjdd|jt |dyy) NT)parentsexist_ok&save_selector_merge_bridge_matrix.jsonF)rKr;) ensure_ascii separatorsr-r.)mkdir write_textr1dumpsparentrR)r2out_dirhtml_outs r% write_outputsr_s{ MM$M. 77CC 7:FDdT:Ig.Ar'ctj}|jdttdz |jdtt dz |jdtt |jdt|j }t|jjt|jg}t||j|jtd |jd z y) Nz--exer)typedefaultz --selectorsrz --out-dirz --html-out)raz+wrote save selector merge bridge matrix -> rV)argparseArgumentParser add_argumentrROOTr  parse_argsr#rP read_bytesr5rDr_r]r^print)parserargsr2s r%mainrls  $ $ &F dD=4HI  D#@[:[\  $<  40    D $.."%G'4<<7 7 Go8o7p qrr'__main__)r$r8rr)r)r8r*r8rr)rrr4rrr)r$z str | Nonerr)rD list[dict]rErrr)rPbytesrQrnrRr8rr)rQrnrdr8rer8rz list[int])rxzdict[int, str]rrn) rProrQrnrrrrrrr)rProrDzlist[dict] | NonerrrL)r2rrr)r2rr]rr^z Path | Nonerr)rr)<__doc__ __future__rrcr<r1rMsyspathlibrtypingrrinsertr__file__resolver\probe_exe_scene_tablesrr%summarize_save_selector_stream_tracesrr rTrfr rrrrrrrrrr`rrqr&r+r5r9rHrTrXrZr\rkrsryrrr#r%r6rRr_rl__name__r"r'r%r{sbL" 3tH~--/6678>H H~''* Ul    ! 0F %j1340 )-.,,<.C<  "2 .?? 1 *.///---?>>  ;0 f+8 - 4444  M MMM M  M`) ))) )  )X[|XvfRB s zFr'
    directionclassificationraw scalarsbranch-attachedmodeled control-flowpromoting