JjN<dZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZmZe ej!j*dZedz Zd Zd Zd Zgd Zgd ZdgdddgddgZd"dZd#dZd$dZ d%dZ!d&dZ"d'dZ#d(dZ$d)dZ%d*dZ&d+d,dZ'd-dZ(d-dZ)edfd.dZ*d/d Z+e,d!k(re+yy)0zISummarize route selector root references for the current merge/order gap.) annotationsN)Path)Any) offset_to_va read_sectionsoutmap1_01amap2_02d)z0:0z1:0z2:0)zselector-root-code-refzpredecessor-current-root-linkzroute-order-execution-proofz%strict-hotspot-or-real-selector-proof)z;code or runtime reference executing route selector root 2:0zCpredecessor 1:0 root/control-flow link to current selector root 2:0zIroute-order proof from source/predecessor selectors into current selectorzDstrict source hotspot or captured selector 2:0 save/runtime evidence Hwanse2.exe)zselector row-pointer dword refszselected-root dword refsz.text reference classification)pathfieldszout/save_scene_selectors.json)groupslot rowPointerHexselectedPointerHex fieldMapscd|dS)N0x08xvalues K/home/exedev/hwanse/tools/summarize_save_selector_route_root_ref_context.pyhex32r3s c{ c"|r t|dSdS)N)intrs r parse_hexr 7s"3ub>,,rcL|jdd|jdS)Nr:rget)rows r selector_keyr&;s&ggg q 1 22rcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)r fallbacks r load_jsonr0?s* ;;= ::dnngn6 77rc|D]O}t|d}|t|dz}||cxkr|ks.n1t|jdxsdcSy)Nvaraw_sizename)rstrr$)sectionsr2sectionstartends rsection_for_var;Es^2GDM"c'*-.. B  w{{6*0b1 1 2 rc tjd|}g}d} |j||}|dkr |St||}|2|j |t |t |t ||d|dz}`)Nz KK!"I$V})(B7     rcR|D]}t||k(s|cStd|d)N selector z not found)r& ValueError) selectorskeyr%s r selector_rowrObs9   #J yZ0 11rc t|jd}d}|dk(r&|jd|jdk(rd}n*|dk(r%|jd|jdk(rd}i||||jd d k(|:t|jd |t|jdz d Sdd S) Nr>other rowPointerrowPointerVaHex selector-table-row-pointer-entry selectedRootselectedPointerVaHex selector-row-selected-root-entryr8z.text)refKindrole isTextRefoffsetFromRowPointerVa)r r$)r%selectorref_kindref_varYs r classify_refr_is swwz* +F D<CGGJ$78<? ?    rcjt|jd}t|jd}||tdt|dt |||Dcgc]}t ||d}}t |||Dcgc]}t ||d}}||zDcgc]}|jds|}}t |dk(xrE|d jd d k(xr,t |dk(xr|d jd d k(xr| } |jd xsg} t||jd|jd|jd|jd| t| vt| vt |t |t |||| dScc}wcc}wcc}w)NrrrKz missing pointer fieldsrRrUrZrrrYrTrWrrSrV)r\rowPointerTableEntryHexrselectedRootEntryHexselectedRootHexrcontainsSourcecontainsTargetrowPointerRefCountselectedRootRefCount textRefCountrowPointerRefsselectedRootRefstableOnlyChain) r r$rLr&rIr_lenSOURCETARGET) rDr7r\ row_pointer selected_rootrefrow_pointer_refsselected_root_refs text_refstable_only_chain field_mapss rbuild_selector_summaryrw}sHLL9:Khll+?@AMm39\(%;$<z build_summary..s?3-.?c3&K|] }|d yw)rhNrr|s rr~z build_summary..s<N+.s-*   +.?"@@*s!$rirjrdreaThe route-relevant selector roots 0:0, 1:0, and 2:0 each have a selector-table-only pointer chain: one table entry points to a selector row, and that row points to the selected root. No .text dword ref targets these row pointers or roots, and the predecessor root has no direct pointer to the current root. This reinforces the selector-merge gap: 0:0 is source-side, 1:0 is target-side, and 2:0 carries both maps, but the static root references are table membership, not execution order proof.sourcerErMallRouteSelectorRootsTableOnlyanyRouteSelectorRootTextRefs(sourceTargetSplitAcrossPreviousSelectors currentSelectorContainsRoutePair predecessorToCurrentRootRefFoundrouteOrderProvenF proofFoundrouteRootRefProofFoundfailedRouteRootRefGateIdsmissingEvidence evidenceRefsevidenceRefCountpromotionStatusblockedremainingProofs)zXfind runtime/control-flow proof that target-side selector 1:0 state reaches selector 2:0zCfind a strict map1_01a source hotspot or equivalent runtime triggerzQreplace selector table adjacency with captured selector 2:0 save/runtime evidence conclusion)r0OUTrROUTE_SELECTORSrwrOallanyrmrnFAILED_ROUTE_ROOT_REF_GATE_IDSROUTE_ROOT_REF_MISSING_EVIDENCEROUTE_ROOT_REF_EVIDENCE_REFSrl)rDrMr7rNrows source_rowpredecessor_rowall_table_only any_text_refspredecessor_to_current_root_refcurrent_contains_pairsource_target_splitrrs @r build_summaryrs&2 #HcBceg8hIS!H#   sHl9c.JK D aJ1gOq'K?$??N[#$ "+, , " , - " 01 1 " "  Z & &  T  ).   '   34G   +,A  +,K  E  e  !%  $%C  :  4  C <=  9! "  # , j- 9 sD&c>ddd|dd|ddd|d d |d d |d d|dd|dd|dd|dd|dddj|jdxsgxsddt|jdxsgd|jdd |d!dd|d"dd#dg}|jd$|dD|jgd%|d&D]a}dj|d'}|j d(|d)d*|d+d*|d,d*|d-d*|d.d/|d0|d1d2|d3d0|d4d0|d5d6c|jgd7|jd8|d9D|j dd:j|S);Nz,# Save Selector Route Root Reference Contextr5z - route: `rz -> rE`z'- all route selector roots table-only: rz&- any route selector root .text refs: rz1- source/target split across previous selectors: rz(- current selector contains route pair: rz)- predecessor -> current root ref found: rz- route order proven: rz- proof found: rz- route root-ref proof found: rz- failed route root-ref gates: , r-z- missing evidence count: rz- evidence refs: rz- promotion status: `rrz## Missing Evidencec3&K|] }d| ywz- Nrr}items rr~zmarkdown..D2dVDr)r5z## Selector Rootsr5z| selector | row pointer entry | row pointer | root entry | selected root | field maps | refs row/root | text refs | table-only |z9| --- | --- | --- | --- | --- | --- | ---: | ---: | --- |rMrz| `r\z` | `rarrbrcz` | z | rf/rgrhrkz |)r5z## Remaining Proofsr5c3&K|] }d| ywrrrs rr~zmarkdown..rrr )joinr$rlextendrC)summarylinesr%mapss rmarkdownrsd6 WX&'tGH,=+>a@ 1':Z2[1\] 09W1X0YZ ;GDn ',/01 (1I)J(KL )$))GKK@[4\4b`b*c*jgj)kl $S5F)G)M2%N$OP GKK(:;<= (9 :;1=    ) E, LLD1B)CDD LL{# yy[)* #j/"%,E(F'GuSQ`MaLbc*+,E#6G2H1IdVSV'()3/E+F*Gs3~K^J__b#$%R )   LL01 LLD1B)CDD LL 99U rcg}|dD]}|jdtj|ddtj|ddtj|ddtj|ddtj|dd tjd j|d d |d d|dd |dd |dddjd|j dxsgD}djd|j dxsgD}djd|dD}djgdddddd d!d"d#d$d%d&d'd(d)d*d+d,d-d.d/tj|d0d1tj|d2d3|d4d5|d6d7|d8d9|d:d;|d<d=t |j dxsgd>|j d?d@tj|dAdBdCtj|dDdEdF|dGdH|dGdIdJ|dKdLdM|dGdNdOdS)PNrMzr\zrarrbrczrrz rfrrgrhrkz r5c3NK|]}dtj|dywz
  • z
    • Nhtmlescapers rr~zhtml_page..s(,0$t{{4 !'#%rc3NK|]}dtj|dywrrrs rr~zhtml_page..s#g$T[[./u5grrc3NK|]}dtj|dywrrrs rr~zhtml_page..s#\tDKK-.e4\rrrzzzz zF z; Save Selector Route Root Reference Contextz zzz5

    Save Selector Route Root Reference Context

    z

    route rz -> rEz.; all route selector roots table-only: rz&; any route selector root .text refs: rz1; source/target split across previous selectors: rz); predecessor -> current root ref found: rz; proof found: rz; missing evidence count: z; evidence refs: rz; promotion status rz .

    z

    rz

    z*

    Failed Route Root-Ref Gates

      z
    z

    Missing Evidence

      z

      Selector Roots

      z z
      selectorrow pointer entryrow pointerroot entryselected rootfield mapsrefs row/roottext refstable-only
      z

      Remaining Proofs

      z
        zz)rCrrrr$rl)r selector_rowsr% failed_gatesmissingproofss r html_pager sM{#   S_567S)B%CDEFS%9:;<S)?%@ABCS):%;<=>;;tyy[)9:;<=+,-Qs3I/J.KL~&'('()*    774;KK@[4\4b`bLggg'++N_B`BfdfggG WW\IZA[\ \F 99*** * # * Q * F * * r* 1* 7* :* G* f* t* Q* '!*" #*$ %*& '*( @)** DKK(9:;74;;wW_O`CaBbc0078X0Y/Z[//67U/V.WX::ABl:m9no229:\2]1^_ -./##&w{{3D'E'K#L"MN!++&89:;""&++g6G.H"I!J, X+*<  GL12348=*> 5\N%H?*@ *'%8A*B $C*D iE*F G*H I*J &K*L M*N O*P Q*R S** *rc|jdd|dz }|jtj|dddzd |9|jjdd|jt |d |S) NT)parentsexist_okz)save_selector_route_root_ref_context.jsonFrz) ensure_asciiindentrr(r))mkdir write_textr,dumpsparentr)rout_dirhtml_outjson_outs r write_outputsrMs MM$M.DDH  7q9D@dT:Ig.A Orctjt}|jdtt dz |jdtt dz |jdtt |jdt |j}t|jjt|jg}t||j|j}t!d |y) N) descriptionz--exer )typedefaultz --selectorsryz --out-dirz --html-out)rz4wrote save selector route root reference context -> )argparseArgumentParser__doc__ add_argumentrROOTr parse_argsrrD read_bytesr0rMrrrprint)parserargsrrs rmainrZs  $ $ 9F dD=4HI  D#@[:[\  $<  40    DDHH//19T^^R3PQGWdllDMMBH @ KLr__main__)rrreturnr6)r str | Nonerz int | None)r%dictrr6)r rr/rrr)r7 list[dict]r2rrr)rDbytesr7rrErrr)rMrrNr6rr)r%rr\rr]r6rr)rDrr7rr\rrr)N)rDrrMzlist[dict] | Nonerr)rrrr6)rrrrrz Path | Nonerr)rNone)-r __future__rrrr,r@syspathlibrtypingrr insertr6__file__resolverprobe_exe_scene_tablesrrrrrrmrnrrrrrr r&r0r;rIrOr_rwrrrrr__name__rrrrsO" 3tH~--/6678> H~''* Ul  '" # 0W  -38 (2(%P6r*Z?D25d  M zFr