UHj@FdZddlmZddlZddlZddlZddlZddlmZddl m Z ee jjdZedz ZdZd Zd Zd Zd Zdd ZddZddZd dZd!dZd"dZd"dZd#dZd$dZd%dZd&dZd'dZ d'dZ!efd(dZ"d)dZ#e$dk(re#yy)*zAScan all save-scene selector map sets for recomposition patterns.) annotationsN)Path)Anyoutmap1_01amap2_02dz0:0z1:0z2:0cp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks J/home/exedev/hwanse/tools/summarize_save_selector_recomposition_lattice.py load_jsonrs* ;;= ::dnngn6 77cL|jdd|jdS)Ngroup:slot)getrows r selector_keyrs&ggg q 1 22rcht|Dcgc]}|jds|c}dScc}w)N fieldMapsczt|jdxsdt|jdxsdfS)Nrrr)intrrs rz$ordered_field_rows..#s0SWWW-23S9MA5NOrkey)sortedr) selectorsrs rordered_field_rowsr( s. !:SWW[%9: O :s//cR|D]}t||k(s|cStd|d)Nz selector z not found)r ValueError)rowsr%rs r find_selectorr,'s9   #J yZ0 11rct||jd|jdxsgt|jdxsgdS)NselectedPointerHexr )selectorrootHexr fieldMapCount)rrlenrs rcompact_selectorr3.sH %77/0WW[)/RSWW[17R8  rc g}t|D]\}}t|jdxsg}|d|D]}t|jdxsg}t||z }t||z }t |dk(sL|rO|j t ||jdt ||jd|dt |t |d|S)Nr rr.r)r/r0 baseSelector baseRootHexaddedMapcurrentMapCount baseMapCount) enumeratesetrr&r2appendr) r+outputindexr current_mapsprevious previous_mapsaddedremoveds rone_map_augmentation_rowsrD7s Fo s377;/526 Ve H [ 9 ?R@M<-78E]\9:G5zQw ,S 1"ww';<$0$:#+<<0D#E %a'*<'8$' $6  Mrc g}t|D]\}}t|jdxsg}tj|d|dD]\}}t|jdxsgt|jdxsgz}||k(sI|j t ||jdt |t ||jd|jdt|d|S)Nr r.)r/r0 leftSelector rightSelector leftRootHex rightRootHexmapCount)r:r;r itertools combinationsr<rr2)r+r=r>rr?leftrightunions rexact_pair_union_rowsrQLs Fo  s377;/526 $11$v,B KD%-34s599[;Q;WUW7XXE $ ,S 1"ww';<$0$6%1%%8#'88,@#A$)II.B$C #L 1   Mrc t||}t|jdxsdt|jdxsdf}t|jdxsg}|Dcgc]C}t|jdxsdt|jdxsdf|kr|E}}g}t j |dD]\}} t|jdxsgt| jdxsgz} || ksI|j t|t| t| |z t|| z | |k(t| dt|dScc}w) Nrrrr rF)rGrHextraVsCurrentmissingVsCurrentunionEqualsCurrent unionMapCountc0t|d|d|dfS)NrSrGrH)r2rs rr#z$covering_pair_rows..ts$3s3C/D+Es>GZ\_`o\p*qrr$) r,r"rr;rLrMr<rr&r2) r+r/ current_row current_orderr?r previous_rowsr=rNrOrPs rcovering_pair_rowsr[_sgh/K16Q7[__V=T=YXY9Z[M{{39r:L   %A &CGGFO,@q(A B] R M F --mQ?  eDHH[)/R03uyy7M7SQS3TT 5 MM ,T 2!-e!4"()=">$*<%+?$@&+|&;!$U    &q rr#s+AE4c t|}|Dcgc].}|t|jdxsgkr t|0c}Scc}w)Nr )r;rr3)r+mapswantedrs rselectors_containingr_wsM YF   S-34 4   s3Act|t}t|t}t|t}t |j dxsg}t |j dxsg}t |j dxsg}t |t}t|Dcgc]}|dtk(r|} }t|Dcgc]}|dtk(r|} }t|t|t|t|ttt|tt|t||thzk(|||zk(|||zkt||z|z t|||zz | | |dScc}wcc}w)Nr r/)sourceSelectorpredecessorSelectorcurrentSelector"selectorsContainingSourceAndTargetselectorsContainingSourceselectorsContainingTarget"currentEqualsPredecessorPlusSource#currentEqualsSourcePredecessorUnion#sourcePredecessorUnionCoversCurrentsourcePredecessorUnionExtraMaps!sourcePredecessorUnionMissingMapscurrentOneMapAugmentationscurrentExactPairUnionscurrentCoveringPairUnions)r,SOURCE_SELECTORPREDECESSOR_SELECTORCURRENT_SELECTORr;rr[rDrQr3r_SOURCETARGETr&) r+ source_rowpredecessor_rowrX source_mapspredecessor_mapsr?covering_pairsr one_map_rowsexact_pair_rowss rcurrent_summaryr{st_5J#D*>?O&67Kjnn[17R8K?..{;ArB{{39r:L'.>?N06 z?. . L -T2 z?. . O +:6/@+K8.B4QW.X%9$%G%9$%G.:?OSYRZ?Z.[/; N^@^/_/; N^@^/_+1;AQ3QUa2a+b-3LKRbDb4c-d&2"1%3 s (E3 E8cNt|}t|}t|}t|}|d}|Dcgc]}|d c}tgk(}|d}dt |dtdt dtdtd t d d j|d xsd d} idt dtdt |dt |dt |dt |Dchc]}|d c}dt |d|d|d|d|ddddddd| d gd!d"|dd#Scc}wcc}w)$Nrdr/rnzAcross z* selectors with field maps, only selector z contains both z and z!. Its map set equals predecessor z plus z7, while the source+predecessor union over-covers it by , rjzno mapsz. This strengthens the selector-recomposition diagnosis, but it still does not prove runtime execution order, selected-pointer activation, or a strict map1_01a source hotspot.sourcetargetselectorWithFieldMapCountoneMapAugmentationCountexactPairUnionCountexactPairUnionSelectorCountroutePairSelectorCountroutePairOnlyCurrentSelectorcurrentoneMapAugmentationsexactPairUnionspromotionStatusblockedexecutionOrderProvenFstrictHotspotFound conclusionremainingProofs)zOcapture a real selector 2:0 gameplay savedata or selected-pointer runtime tracezHprove VM/control-flow execution into selector 2:0 on the confirmed routez@find a strict map1_01a source coordinate or hotspot for map2_02dcurrentTopCoveringPairs ) r(rDrQr{rqr2rrrsrpjoin) r'r+ryrzrroute_pair_selectorsrroute_pair_only_currentcurrent_covering_pairsrs r build_summaryrs i (D,T2L+D1Od#G"#GH:NO3s:OTdSee$%@A #d)FGWFXXg (%x@AU@VV\]c\de@ 99W>? @ MI NOS S & &  $SY  "3|#4   s?3   &s+WC O+W'X   !#&:";  '(?  7  |  ?  9    e  j   ! * "#9#2#>+ P ,Xs D D" c>|d}ddd|dd|ddd |d d |d d |dd|ddd|dd|dd|ddt|dddj|dxsdd|ddd|d dd!dd"d#g}|d$D];}|jd%|d&d'|d(d)|d*d+dj|d,d- =|jgd.|d/D]X}|jd%|d0d'|d1d)|d2d+dj|d3xsd4d+dj|d5xsd4d- Z|jgd6|d7D]2}|jd%|d&d'|d8d'|d9d)|d:d+|d;d- 4|jgd<|d=D],}|jd%|d&d'|d0d'|d1d)|d>d- .|jgd?|jd@|dAD|jddBj|S)CNrz%# Save Selector Recomposition Latticez - route: `r~z -> r`z- selectors with field maps: rz- one-map augmentation rows: rz- exact previous pair unions: rz across rz selector(s)z- route-pair selector count: rz$- route pair only current selector: rz*- current equals predecessor plus source: rgz"- current exact pair union count: rmz)- current source+predecessor extra maps: r}rjnonez- promotion status: `rrz## Route Pair Selectorsz&| selector | root | map count | maps |z| --- | --- | ---: | --- |rdz| `r/z` | `r0z` | r1z | r z |)rz## Current Covering Pair Unionsrz3| left | right | equals current | extra | missing |z| --- | --- | --- | --- | --- |rrGrHrUrS-rT)rz## One-Map Augmentationsrz:| selector | base | added map | current maps | base maps |z!| --- | --- | --- | ---: | ---: |rr5r7r8r9)rz## Exact Pair Unionsrz'| selector | left | right | map count |z| --- | --- | --- | ---: |rrK)rz## Remaining Proofsrc3&K|] }d| yw)z- N.0items r zmarkdown.. sD2dVDsr )r2rr<extend)summaryrlinesrs rmarkdownrsJi G/ WX&'tGH,=+>a@ '0K(L'MN '0I(J'KL (1F)G(HQXYvQwPxyE F '0H(I'JK .w7U/V.WX 4W=a5b4cd ,S9Q1R-S,TU 3DIIgFg>h4i4sms3tu (9 :;1=   ! 0$' E*;<  #j/"%I'7tCb B   LL()  #j/"%N(;'dS)@Nrc:djddDS)Nrc3K|]g}dtj|ddtj|dd|ddtjdj|dd iy w) r/r0r1 r}r Nhtmlescaperrrs rrz5html_page..route_pair_rows..s   S_567S^456'();;tyy[)9:;<=   sA-A/rdr)rsrroute_pair_rowsz"html_page..route_pair_rowss)yy CD   rc:djddDS)Nrc3BK|]}dtj|ddtj|dd|ddtjdj|dxsd dtjdj|d xsd d y w) rrGrrHrrUrr}rSrrTrNrrs rrz3html_page..covering_rows..s   S%89:;S%9:;<+,-.;;tyy-=)>?F3GHI;;tyy-?)@AHSIJK    sBBrrrsr covering_rowsz html_page..covering_rowss)yy  89   rc:djddDS)Nrc 3K|]^}dtj|ddtj|ddtj|dd|dd|dd `y w) rr/rr5r7rr8rr9rNrrrs rrz2html_page..one_map_rows..*s   S_567S%89:;S_567()*+~&'(    sA$A&rrrsrryzhtml_page..one_map_rows)s)yy  45   rc:djddDS)Nrc 3K|]X}dtj|ddtj|ddtj|dd|dd Zyw) rr/rrGrHrrKrNrrs rrz0html_page..exact_rows..6sx   S_567S%89:;S%9:;<z?#$   sAA rrrsr exact_rowszhtml_page..exact_rows5s)yy 01   rrc3NK|]}dtj|dyw)z
  • z
    • Nrrs rrzhtml_page..@s#adDT!2 359as#%rrzzzz zF z4 Save Selector Recomposition Latticea zzz.

    Save Selector Recomposition Lattice

    z

    route r~z -> rz#; selectors with field maps rz; one-map augmentations rz; exact previous pair unions rz; route pair selector count rz#; route pair only current selector rz; promotion rz .

    z-

    current equals predecessor plus source: rgz"; current exact pair union count: rmz); current source+predecessor extra maps: r}rjrz.

    z

    rz

    z

    Route Pair Selectors

    ze z
    selectorrootmap countmaps
    z'

    Current Covering Pair Unions

    zx z

    One-Map Augmentations

    z
    leftrightequals currentextramissing
    z

    Exact Pair Unions

    zf
    selectorbaseadded mapcurrent mapsbase maps
    z

    Remaining Proofs

    z
      z
    zz)returnstr)rr2rr)rrrryr proof_itemsrs` @r html_pagersxi G        ''agN_F`aaK 99### # # # Q # ? # \# # # 9# GH-.ggh6G5HHklsuPmQlRRjkrsLkMjNNklstIlJkKKghopHhIgJJmnuvTnUmVVhipqBiChDDP Q# 8@d8e7fgIJMNUVnNoJpIqqZ[_[f[fgkgpgpqxyZq[g\gf`f[gZhhm n#  GL12348# *# p# !#" ##$ 2%#& C'#( )#* +#, +-#. J/#0 1#2 3#4 '5#6 q7#8  9#: ;#< &=#>  U#?#@ A#B C#D E## #rc|jdd|dz jtj|dddzd y) NT)parentsexist_ok(save_selector_recomposition_lattice.jsonFrF) ensure_asciiindentrr r )mkdir write_textrdumps)rout_dirs r write_outputsrgsD MM$M. 99EE 7q9D@Frc6tjt}|jdtt |j }tt|jdz g}t||jtd|jdz y)N) descriptionz --out-dir)typedefaultzsave_scene_selectors.jsonz-wrote save selector recomposition lattice -> r) argparseArgumentParser__doc__ add_argumentrOUT parse_argsrrrrprint)parserargsrs rmainrosz  $ $ 9F  $<    DIdll5P&PRTUVG'4<<( 9$,,Is:s9t uvr__main__)rrrrrr)rdictrr)r' list[dict]rr)r+rr%rrr)rrrr)r+rrr)r+rr/rrr)r+rr]rrr)r+rrr)r'rrr)rrrr)rrrrrNone)rr)%r __future__rrrrLrpathlibrtypingr__file__resolverROOTrrrrsrorprqrrr(r,r3rDrQr[r_r{rrrrr__name__rrrrsG"   H~''* Ul  8 32*&s0D&RAHUp25w zFr
    selectorleftrightmap count