UHjFrdZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZddlmZmZmZe ej!j0dZed z Zd Zd Zd Zd ZdZdZ dZ!dZ"dZ#dZ$dgdddgddgZ%gdZ&gdZ'd*dZ(d+dZ)d,dZ*d-dZ+ d.dZ,d/d Z- d0d!Z. d1d"Z/d2d#Z0d3d$Z1d4d%Z2d4d&Z3d5d'Z4d6d(Z5e6d)k(re5yy)7zBCompare save-selector leaf-table windows across all selector rows.) annotationsN)Path)Any)collect_linked_cns)find_cns_strings read_sections va_to_offsetoutmap1_01amap2_02dz2:0iTi)Ti*Ti +T?i zout/save_scene_selectors.json)groupslot firstDwords)pathfields Hwanse2.exe)zselector leaf-table dwordsz descriptor marker/child pointerszCNS linked field maps)z"runtime-negative-wrapper-selectionz)nonnegative-route-pair-entry-reader-proofzselected-root-executionzstrict-hotspot)z;runtime selection of the current negative -12 wrapper entryz[normal-route proof that a non-negative current route-pair entry reaches the frontier readerz2selected-root/current-root runtime execution proofz,strict map1_01a source coordinate or hotspotcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks N/home/exedev/hwanse/tools/summarize_save_selector_leaf_table_global_context.py load_jsonr As* ;;= ::dnngn6 77c2t|trd|dSdS)N0x08x) isinstanceint)values rhex32r(Gs)%5Rc{ ?4?r!ct|tsyt||}||dzt|kDryt j d||dS)Nzr!c&t|vxrt|vSN)SOURCETARGET)mapss rhas_route_pairrEjs T> ,fn,r!c||dzz}t|||}t|||} | tk(rt|||dznd} t|||||} t||||| } t| } t| }id|d|dt |d|dk\dt |dt | d | tk(d t | d | d | d | d|dt | xs| d| xs|d|t k(d| tk(d|tk(S)Nr*selector entryIndex entryVaHexentryIsNonNegativer descriptorHexdescriptorMarkerHexdescriptorIsMarkerShapechildPointerHexdescriptorFieldMapschildFieldMapsdescriptorHasRoutePairchildHasRoutePairhasAnyFieldMapEvidence hasRoutePairisCurrentSelectorisFrontierLeafChildisFrontierLeafDescriptor)r2DESCRIPTOR_MARKERr?rEr(boolCURRENT_SELECTOR FRONTIER_LEAF)r.r/r=r>rG table_pointerr7entry_va descriptormarkerchilddescriptor_maps child_mapsroute_pair_descriptorroute_pair_childs r entry_rowrensuqy(H#x2J c8Z 0F7=AR7RHS(JN 3X\E,S(GUJWO'XwuMJ*?;%j1 H e  eHo  eqj   z*   uV}   "6->#>  5<    *  !"7  -  !$'D*"E  -A1A  X)99  u 5! " #J-$?# r!c g}|D]j}t|d|jdd|jd|jfdttt dzDl|S)Nr:rc 3@K|]}t|ywrA)re).0r7r>r.r/rGr=r\s r z'selector_window_rows..s*  c8WeX}e T sr )r:r5extendrange INDEX_START INDEX_END) r.r/r=r> selector_rowsrows selector_rowrGr\s ```` @@rselector_window_rowsrss D% %lA6  "&&w/0,2B2B62J1KL   {IM:    Kr!c t|}t||}i}t|||||}t|Dchc]}|d c}}|Dcgc]}|j ds|}}|Dcgc]}|j dddks|} }|Dcgc]}|j dddk\s|} }t| Dchc]}|d c}} t| Dchc]}|d c}} |Dcgc]}|dt k(s|} }| Dcgc]}|j ds|}}|Dcgc]}|j dddks|}}|Dcgc]}|j dddk\s|}}| Dcgc]&}|j ds|j dr|(}}|Dcgc]}|j ds|}}|Dcgc]}|j dddks|}}|Dcgc]}|j dddk\s|}}d}id t d td t d ttd ttdttdttdtdttdtt gdt|dt|dt| dt| dt| dt| dt|idt|dt|dt|dt|dt|d|Dcgc]}|d c}d |d!t#|xrt%d"|Dd#|d$|Dcgc]$}|dd%d&t d'hvr|j dr|&c}dd(d)d*d+d*d,t&d-t(d.d*d/d*d0d1t(|d2Scc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}w)3NrGrSrHrrTrVrWaAcross selector rows, field-map-bearing entries commonly appear on both sides of each selector's root table pointer. The current reader-bearing frontier leaf 0x00542ae8 appears only as the child of the current selector's negative root-relative entry -12, while the non-negative current entries that contain the map1_01a/map2_02d route pair do not by themselves prove the reader path. This keeps the wrapper as sliding-window context evidence rather than normal-transition proof.sourcetargetcurrentSelectorcurrentRootHexcurrentTablePointerHexfrontierLeafHexfrontierReaderHex evidenceRefsevidenceRefCountwindowIndexRangeselectorTableCountfieldEntryRowCountnegativeFieldEntryRowCountnonNegativeFieldEntryRowCount!selectorsWithNegativeFieldEntries$selectorsWithNonNegativeFieldEntriesroutePairRowCountroutePairNegativeRowCountroutePairNonNegativeRowCount currentSelectorRoutePairRowCount(currentSelectorNegativeRoutePairRowCount+currentSelectorNonNegativeRoutePairRowCountcurrentSelectorRoutePairIndicescurrentSelectorFrontierLeafRowscurrentFrontierLeafOnlyNegativec3FK|]}|jdddkyw)rHrN)r5)rjr6s rrkz build_summary..s N a(1,Ns!currentSelectorRouteRowssampleSelectorRowsz0:0z1:0z10:0 proofFoundFleafTableGlobalProofFoundfailedLeafTableGlobalGateIdsmissingEvidenceruntimeSelectionProvenstrictHotspotFoundpromotionStatusblocked)remainingProofs conclusion)rrrssortedr5rZrBrCr( CURRENT_ROOTCURRENT_TABLE_POINTERr[FRONTIER_READER EVIDENCE_REFSr+rnrorYall!FAILED_LEAF_TABLE_GLOBAL_GATE_IDSMISSING_EVIDENCE)r.rpr/r=r>rqr6selectors_with_table field_rowsnegative_field_rowscurrent_field_rowsselectors_with_negativeselectors_with_currentcurrent_selector_rowscurrent_route_rowscurrent_negative_route_rowscurrent_nonnegative_route_rowscurrent_frontier_rowsroute_pair_rowsroute_pair_negative_rowsroute_pair_nonnegative_rowsrs r build_summaryrsS!HsH-G"$E Xw} MD!d"Cs3z?"CD!%K#1I)J#KJK*4U3 a8PST8T3UU)3U#sww|Q7OST7T#UU$AT%U#c*o%UV#@R$SS_$ST,0XSC OGW4WSXX)>Z##''.BY#ZZ2D"e3P\^_H`cdHd3"e"e5G%ic377S_abKcghKhc%i"%i, 77( )SWW5O-P '+Fscggn.EsFOF/>_#'',XYBZ]^B^__2A"c3SWW\[\E]abEb3"c"c d) &) &)  +)  % - )  !%(="> )  5/ )  U?3)   )  C .)  [)4)  c"67)  c*o)  %c*=&>)  (-?)@)  ,S1H-I)  /4J0K!) " S1#) $ $S)A%B%) & ',G(H') ( +C0B,C)) * 3C8S4T+) , 6s;Y7Z-) . *I[+\#C ,=+\/) 0 *+@1) 2 *40E+F,O N8MN N5) 6 #$67) 8 % :5%1A6"JJswwWeOf   29) @ eA) B $UC) D '(IE) F +G) H !%I) J eK) L 9M) N, Q) )1#DKUU%U$SXZ"e%iG_"c>,]  s N. N3 N3*N8N8N=*N=9 O O,O >O OO)OOO)O3+O $O%;O%O* O**O/O/ O4 )O9 cRdj|j|xsgxsdS)N, -)joinr5)r6keys r maps_textrs# 99SWWS\'R ( /C/r!cddd|dd|ddd|d d |d dd |d dd|ddd|ddd|dd|dd|dd|ddd|dd|dd|d d!|d"d#|d$d%|d&dd'|d(dd)|d*dd+|d,dd|d-dd.dg}|jd/xsgD]J}|jd0|jd1d2d3j|jd4xsgL|jgd5|d6D]}|jd7|d8d9|d:d;|jd<d;|jd=xsd>d?|d@dAt |dBdAt |dCdA|jdDdA|jdExs|jdFdG|jgdH|dID]n}|jdJ|dKd?|d8d9|d:d;|jd<d;|jd=xsd>d?|d@dAt |dBdAt |dCdGp|jgdL|jdM|dND|jgdO|jdP|dQD|jgdR|jdS|dTD|jddUj|S)VNz)# Save Selector Leaf Table Global Contextz - route: `ruz -> rv`z- current selector: `rwz` root `rxz- current table pointer: `ryz- frontier leaf: `rzz- frontier reader: `r{z- selector tables scanned: rz- field-map entry rows: rz (rz negative, rz non-negative)z)- selectors with negative field entries: rz-- selectors with non-negative field entries: rz- current route-pair rows: r at rz'- current frontier leaf only negative: rz- proof found: `rz"- leaf table global proof found: `rz- promotion status: `rz- evidence refs: `r}rz## Evidence Refsr|z- `rz`: rr)rz## Current Selector Route Rowsrzk| index | entry | descriptor | child | non-negative | desc maps | child maps | route pair | frontier leaf |z8| ---: | --- | --- | --- | --- | --- | --- | --- | --- |rz| rHz | `rIz` | `rKrNrz` | rJz | rOrPrTrVrWz |)rz### Sample Cross-Selector Route RowsrzY| selector | index | entry | descriptor | child | non-negative | desc maps | child maps |z2| --- | ---: | --- | --- | --- | --- | --- | --- |rz| `rG)rz## Remaining Proofsrc3&K|] }d| ywz- Nrjr9s rrkzmarkdown../D2dVDr)rz!## Failed Leaf-Table Global Gatesrc3&K|] }d| ywrrrs rrkzmarkdown..1sQ2dVQrr)rz## Missing Evidencerc3&K|] }d| ywrrrs rrkzmarkdown..3rrr )r5appendrrlr)summarylinesrefr6s rmarkdownrs"3 WX&'tGH,=+>a@ (9 :;8GL\D]C^^_` $W-E%F$GqI W%678: w':; %g.B&C%DE "7+?#@"AGLhDiCjjuv}^w_v``n o 3G<_4`3ab 7@f8g7hi %g.P&Q%RRVW^`AXBWC D 1':[2\1]^ 7<013 ,W5P-Q,RRST (9 :;1= W%789;    - E0{{>*0b  #''&/"#dii0A0GR&H%I J   LL12  \"#4L(9':%@X?YZ)*1c2$s;O7P6QQT345S3HX9Y8ZZ]ww~&'s3773H+I+pSWWUoMp*qqs u   LL+,  #j/"$s<'8&9c,>O=PQ()sww7H/I/PS.QQU'()Ys? LLQ1O)PQQ LL01 LLD1B)CDD LL 99U r!c#~djd|jdxsgD}dEd}djd|dD}djd|dD}djd |d D}d jd d ddddddddd|dd|dd|dd|dd|dd |d!d"|d#d$|d%d&|d'd(|d)d*|d+d,d-tj|d.d/d0|d1d2d3|d4d5d6d7||d8d9d:d;dd:d?d@|d4dAd@|d4dBd@|d4dCdDdgS)FNrc 3K|]m}dtjt|jddtjdj |jdxsgdoyw)z
  • rz : rr
    • N)htmlescapestrr5r)rjrs rrkzhtml_page..9sf   S1239 ;;tyy!2!8b9 : ; sA3A5r|cg}|D]=}|rdtj|ddnd}|jd|d|ddtjt|d d tjt|j d d tjt|j d xsd d|ddtjt |ddtjt |dd|j dd|j dxs|j dd@dj |S)Nz rGz rzzrHzrIzrKrNrzrJz rOrPrTrVrWz )rrrrr5rr)rqinclude_selectorcellsr6 selector_cells rrow_htmlzhtml_page..row_htmlAsa CWgjS_)E(FlSmoM LL /s<()*![[S->)?@AB![[SWW_-E)FGHI![[SWW5F-G-N3)OPQR/012{{9S2G#HIJK{{9S2B#CDEFww~./0ww45\A[9\]^    wwu~r!c3NK|]}dtj|dywz
  • rNrrrs rrkzhtml_page..Us#\tDKK-.e4\#%rc3NK|]}dtj|dywrrrs rrkzhtml_page..Vs+  t{{4 !'rrc3NK|]}dtj|dywrrrs rrkzhtml_page..Zs#]$T[[./u5]rrrzzzz zF z8 Save Selector Leaf Table Global Contexta zzz2

    Save Selector Leaf Table Global Context

    z

    route ruz -> rvz ; current selector rwz!; selector tables scanned rz ; field rows rz; current route rows rrrz; frontier only negative rz; proof found rz-; leaf table global proof found rz; promotion rz .

    z

    rz

    z

    Evidence refs: r}z.

    z

    Evidence Refs

      z
    z&

    Current Selector Route Rows

    z z rFz
    indexentrydescriptorchildnon-negativedesc mapschild mapsroute pairfrontier leaf
    z+

    Sample Cross-Selector Route Rows

    z rTz

    Remaining Proofs

    z
      z)

      Failed Leaf-Table Global Gates

      z

      Missing Evidence

      zz)rq list[dict]rrYreturnr)rr5rr)r evidence_refsrproofs failed_gatesmissings r html_pager8sGG ;;~.4" M(WW\IZA[\ \F77:;Lgg]'J[B\]]G 99"PB \< GH-.ggh6G5HHhiprCjDiEEfgnoCgDfEERSZ[oSpRqqFGNOqGrFsswx@axbwcc|}DEf}g|hh|}DEQ}R|SS@AHIdAe@ff@ G H Y @ Z [ [ g h  GL12348 %g.@&A%B%H &}oU;0 L HW%?@%HIIYZ5 ] HW%9:DABBRS% 3 e$%   ; r!c|jdd|dz jtj|dddzd y) NT)parentsexist_ok,save_selector_leaf_table_global_context.jsonFrg) ensure_asciiindentrrr)mkdir write_textrdumps)rout_dirs r write_outputsr|sD MM$M. ==II 7q9D@Jr!ctjt}|jdtt dz |jdtt dz |jdtt |j}t|jjt|jg}t||jtd|jd z y) N) descriptionz--exer)typedefaultz --selectorszsave_scene_selectors.jsonz --out-dirz#wrote leaf table global context -> r)argparseArgumentParser__doc__ add_argumentrROOTOUT parse_argsrr. read_bytesr selectorsrrprint)parserargsrs rmainrs  $ $ 9F dD=4HI  D#@[:[\  $<    D $.."%G'4<<( / ?m0m/n opr!__main__)rrrrrr)r' int | Nonerz str | None)r.bytesr/rr0rrr)r6dictr7r&rr) r.rr/rr=dict[int, str]r>dict[int, list[str]]r4rr list[str])rDrrrY)r.rr/rr=rr>rrGrr\r&r7r&rr) r.rr/rr=rr>rrprrr)r.rrprrr)r6rrrrr)rrrr)rrrrrNone)rr)7r __future__rrrrr,syspathlibrtypingrrinsertr__file__resolveparentparse_savedatarprobe_exe_scene_tablesrrr rrrrBrCrZrrr[rrXrnrorrrr r(r2r:r?rErersrrrrrr__name__rr!rrsH" 3tH~--/6678-PP H~''* Ul   "  0   $%! 8 @4>          -# ### #  #  # # #L      (FR0@FAH q zFr!
    selectorindexentrydescriptorchildnon-negativedesc mapschild mapsroute pairfrontier leaf