7,Jjf zdZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz Zdd d d d d ZdgdddgdddgdddgdddgdddgdddgddgZd&dZd'dZ d(dZd)d Zd)d!Zefd*d"Zd+d#Zd,d$Zed%k(reyy)-zAConsolidate selector-merge shape evidence versus execution proof.) annotationsN)Path)AnyoutzGVM control-flow edge from source selector 0:0 into current selector 2:0z@predecessor/target-side forward bridge into current selector 2:0z\execution-like target-alias bridge, encoded merge bridge, or predecessor-to-current root refz8branch-state execution proof reaching the current readerz,strict map1_01a source coordinate or hotspot)source-current-bridge"predecessor-current-forward-bridge!execution-like-bridge-or-root-refbranch-state-execution-proofstrict-source-hotspotz(out/save_selector_set_decomposition.json)"currentEqualsPredecessorPlusSource#sourcePredecessorUnionCoversCurrentsourcePredecessorUnionExtraMaps proofFound)pathfieldsz,out/save_selector_recomposition_lattice.json)currentroutePairOnlyCurrentSelectorexactPairUnionCountoneMapAugmentationCountz out/save_selector_merge_gap.json)sourceToCurrentBridgeHitCountcurrentToSourceBridgeHitCounttargetToCurrentBridgeHitCountselectorMergeGapOpenz*out/save_selector_merge_bridge_matrix.json)sourceToCurrentHitCountpredecessorToCurrentHitCountcurrentToPredecessorHitCount¤tToPredecessorBeforeFillHitCount$currentToPredecessorFillSiteHitCountforwardMergeBridgeHitCount encodedMergeExecutionBridgeFoundz+out/save_selector_target_alias_bridges.json)targetAliasSelectors&aliasToCurrentExecutionLikeBridgeFoundforwardHitsAddressAdjacentOnly#targetAliasExecutionExclusionStatusaliasBridgeSummaryRowsz-out/save_selector_route_root_ref_context.json)allRouteSelectorRootsTableOnly predecessorToCurrentRootRefFound(sourceTargetSplitAcrossPreviousSelectorsz=out/save_selector_predecessor_branch_state_execution_gap.json)branchStateExecutionProofFoundruntimeBranchStateSplitstrictHotspotFoundrcBdjd|xsgDxsdS)N,c32K|]}t|yw)N)str).0values H/home/exedev/hwanse/tools/summarize_save_selector_merge_execution_gap.py zcsv..as95CJ9s-)join)valuess r3csvr8`s 889FLb9 9 @S@c^xsidjfdtDxsdS)Nr.c32K|]}|d|yw):N)r1keycountss r3r4z$class_counts_text..fs Esse1VC[M*Esr5)r6sorted)r?s`r3class_counts_textrAds* \rF 88EfVnE E LLr9cH|jdxsi}|jdxsi}|jdxsi} |jdxsi} t|jdxr|jd} |jdxs|jdxsg} |jddu} t|jd xsg}t|jd xsg}|jd }|jd duxs(|jd duxs|jddu}|jddk(xr*|jddk(xr|jddk(}|jddk(xr|jddk(}|jddk(xr*|jddk(xr|jddk(}|jddu}|jddu}|jd du}|jdxsg}|jdxsg}|jdxsg}|jdxsg}|jdxsg}|jd xsg}|jd!xsg}|jd"xsg}|jd#} |jd$}!|jd%}"|jd&}#|jd'}$|jd(du}%|jd)du}&|xs |%xs|xs|}'|'xr|&}(|jd*du})|(}*g}+|r|+jd+|r|+jd,|'s|+jd-|&s|+jd.|)s|+jd/|+D,cgc]},tj|,|,}-},|jd0duxs|jd1d2k(xs|' }.|.rd2nd3}/d4| rd5nd6d7| d8t | d9| d:d;|dk(rd|d?|d@|jdAd:d+|rd KK< =.*  56   !B C  * 4778VW[__ -E!F!L"Mgkk*EFL"M!4!8!89U!V ABdJ c  # #$L MQU U c  # #$Y Z^b b(  56!; D MM9 :a ? D  # #$= >! C!  >?1D @ MM9 :a ?'  >?2E Q  # #$L MQS S Q  # #$J Kq P 4778XY]aa%;%?%?@b%cgk%k"*>*B*BCk*lpt*t')=)A)ABZ)[)a_a&*>*B*BC_*`*fdf'-A-E-EFh-i-omo*+?+C+CD`+a+geg(';'?'?@X'Y'_]_$,@,D,DEb,c,igi),@,D,DEg,h,nln)  !EFL"40D/G/GHh/i,.B.F.FGl.m+.B.F.FGl.m+':'>'>?l'm$-@-D-D5.*  BCtK) /223STX\\' , / / / ) / / ) -S1S(BEEFZ[_cc5K/1,#0778OP)0778\] /0778[\ -0778VW 0778OP@  :==gwO  ,-5 4  " "#= >) K 43 3 %)B)BCX)Y(Z\  ,">hI"9==1P#Q"RS##,==1P#Q"RS))<)@)@AZ)[(\^  9"Dh)'(;(?(?@^(_'`a##,==1P#Q"RS&&@%AB>?@$$J#KL DE G 8-?)V'(;(?(?@^(_'`a1556^_`a/334Z[\^  *2U*[kGG(G33778NOPQGRG,001IJKGL!G!5!9!9:Z![ \G\]G(++,HIJGK&G (++,UVW G XY G (++,QRS G T% G&:%=%=>h%i$jGkG2556[\]G^%G&))K%L$MGNG ##FGHGI(G),,R(S'TGU'G(++O'P&QGR!G"%%J!K LGM!G"%%J!K LGM*G+..]*^)_G`"G #K!K!G L!G"EE#G"F#G$ 4778cde%G$f!%G&"E E'G  6-&efgh22T1UV'9==>]^_`&&L&P&PQe&f%g i kaHF W[ #''1?Z[ #''1?Z[  /--j9d=N=R=RSc=d[  ,,Y7a;L;P;PQ`;a [  377 CsGXG\G\]rGs [  266yApEVEZEZ[oEp [  +// ;g?P?T?TUf?g[  *..y9d=N=R=RSc=d[  -.T[  .w{{;`/a[  .w{{;`/a[  *+P[  '(?[  !"7";";%>?T%U#[ $ "#8#<#<=V#W%[ & (7V)W'[ ( (7V)W)[ * '(;(?(?@^(_+[ , '(;(?(?@^(_-[ . 12E2I2IJr2s/[ 0 /0C0G0GHn0o1[ 2 %&@3[ 4 *+N5[ 6 67W7[ 8 67]9[ : +,P;[ <  4 8 89O P VTV=[ > '(<(@(@AY(Z?[ @ /0D0H0HIi0jA[ B +,@,D,DEa,bC[ D 89M9Q9Q 5: E[ J 45I5M5M 16 K[ P 9:N:R:R 6; Q[ V 45I5M5M 16 W[ \ )*L][ ^ *+N_[ ` 01Wa[ b +,Pc[ d ,-Re[ f 67\g[ h 78L8P8P /9 i[ n 12F2J2J )3 o[ t 89hu[ v 45I5M5M ,6 w[ | 45]}[ ~ ./V[ @ ./VA[ B '(HC[ D 78[E[ F 5G[ H %&DI[ J 34J4N4N 65 K[ P )*LQ[ R +,PS[ T )*MU[ V kW[ X 2Y[ Z ./W[[ \ +][ ^ >_[ ` C FGa[ b  7c[ d +e[ f Hg[ h  i[ t ju[ [gshcgdd|ddd|dd|ddd |d d |d dd |dd |ddd|dd |ddd|ddt|dd|dd|dd|dd|dd|d d|d!d"|d#d|d$d%|d&d|d'd(|d)d*|d+d,|d-d|d.d/|d0d1t|d2dt|d3dt|d4d5t|d6d7t|d8d9|d:d;|d<dd=|d>d?|d@dA|dBdC|dDdE|dFdGt|jdHdIt|jdJxsgdK|jdLdM|dNdO|dPdddQd|jdJxsgDcgc]}dR| c}ddSddTdU}|dVD]&}|jdW|dXdY|dZdY|d[d\(|j gd]|d^D]}t |jd_}t |jd`}|jda|jdbdc|jdddY|jdedY|jdfdY|jdgdY|dY|dY|jdhdi|jdjdi|jdkdY|jdld\|j gdm|j dn|doD|jddpj |Scc}w)qNz## Save Selector Merge Execution Gapr^rz - route: `ro -> rq`z- source selector: `rDz` root `rtz- predecessor selector: `rErvz- current selector: `rCrwz*- current equals predecessor plus source: r z!- source+predecessor extra maps: rz$- route pair only current selector: rz- current exact pair unions: rzz- source/current bridge hits: r / rz#- predecessor/current bridge hits: rrz3- current->predecessor before-fill/fill-site hits: rrz3- forward encoded-anchor raw/promoting candidates: rTrUz(- encoded merge execution bridge found: r!z - target alias -> current hits: r}z-- target alias promoting metadata/data hits: rrz3- target alias exact promoting hits metadata-only: rz7- target alias forward/data/after-fill-data selectors: rrrz1- target alias public-covered forward selectors: rz3- target alias address-adjacent forward selectors: rz+- target alias public coverage/exclusion: `rz` / `r%z,- target alias execution-like bridge found: rz"- route root execution ref found: rz&- branch-state execution proof found: r*z(- selector merge execution proof found: rz- proof found: rz)- failed selector-merge execution gates: rz- missing evidence count: rz- evidence refs: rz- selector merge gap open: rz- promotion status: `rz## Missing Evidence- z ## Evidencez| kind | status | detail |z| --- | --- | --- |rz| rXz | rYrZz |)r^z## Target Alias Bridge Summaryr^zq| selector | role | hits | data | after-fill data | classes | after-fill classes | trace W/R/S | current->alias |z;| --- | --- | ---: | ---: | ---: | --- | --- | --- | ---: |raliasToCurrentTargetClassCounts,aliasToCurrentAfterLastFillTargetClassCountsz| `rsz` | roler_rb'aliasToCurrentAfterLastFillDataHitCount1aliasToCurrentPreWriterTraceCurrentWriterHitCountra1aliasToCurrentPreWriterTraceCurrentReaderHitCount4aliasToCurrentPreWriterTraceRouteSceneRecordHitCountcurrentToAliasHitCount)r^z## Remaining Proofsr^c3&K|] }d| yw)rNr=r1items r3r4zmarkdown..sD2dVDsr )r8rrrextendrAr6)summaryrlinesrowclasses after_classess r3markdownrs, -,  ,   ,  ,  WX&'tGH,=+>a@ ,  w'789'/BZA[[\] ,  $G,A$B#C8GThLiKjjkl,  (9 :;8GL\D]C^^_`,  5W=a5b4cd,  ,C8Y0Z,[+\],  /w7U/V.WX,  (0L(M'NO,  )1P)Q(RRUV]^}V~U A,  .g6T.U-VVYZacA[BZC D,  >gFn>o=ppst{}cudte f,  >gFs>t=uuxzABozpyq r!, " 37;]3^2_`#, $ +73Q+R*ST%, & 8@o8p7qqtu|~ivjuk l', ( >gFv>w=xy), * B#gNnFoBpAqqtuxzABczdveuffijmnuv]n^j_i` a+, , c'JyBz>{=|}/, 0 6g>i6j5kkpqxz_r`qaab c1, 2 7w?m7n6op3, 4 -W5Q-R,ST5, 6 19Y1Z0[\7, 8 37;]3^2_`9, : ',/01;, < 4C Di8j4k3lm=, > %S5F)G)M2%N$OP?, @ GKK(:;<=A, B &g.D&E%FGC, D (9 :;1=E, F G, H I, J K, L#*++.?"@"FB G$Btf+ GM, N O, P Q, R S, T %U, V W, EZz"O r#f+c#h-CM?"MNO LL56  #CGG,M$NO)#''2`*ab  #''*%&d3776?*;3swwG_?`>aadww345SAj9k8llois=/wwJKLAwwJKLAwwMNOsww/01  5    LL01 LLD1B)CDD LL 99U ? Hs M;c&8djd|dD}djd|dD}djd|jdxsgD}djdd d d d d ddddtj|dddtj|ddtj|ddtjt |ddtjt |ddtjt |ddtjt |ddtjt |d dtjt |d!d"d#|d$d%|d&d'|d(d)|d*d+|d,d-|d.d/|d0d1tjt |jd2d3t |jdxsgd4|jd5d6tj|d7d"d8|d9d:|d;dd?tjt |d@dAtjt |dBdCdDtjt |dEdFtjt |dGdHtjt |dIdJtjt |dKd" dL|dMdN|dOdCdP|dQdCdRdS|dTdUdV|dWdXdYdjdZ|d[Dd\d]dS|dTd^d_d`gS)aNrc 3K|]R}dtj|ddtj|ddtj|ddTyw)zrX rYrZ Nhtmlescaper1rs r3r4zhtml_page..sg   {{3v;'(){{3x=)*+{{3x=)*+ sAArc3NK|]}dtj|dywz
  • z
    • Nrrs r3r4zhtml_page..s#cd4;;t#4"5U;c#%rc3NK|]}dtj|dywrrrs r3r4zhtml_page..s(,0$t{{4 !'rrzzzz z2 Save Selector Merge Execution Gapa zzz,

    Save Selector Merge Execution Gap

    z

    rz

    z

    Route: rorrqz; source rDz root rtz; predecessor rErvz; current rCrwz .

    z

    Proof: mergeShape=r z; exactPairUnions=rzz; directMergeExecution=rHz; encodedMergeExecution=r!z; routeRootExecution=rz; branchStateExecution=r*z ; proofFound=rz*; failedSelectorMergeExecutionGates=rz; missingEvidenceCount=z; evidenceRefs=rz; status rz+

    selector merge execution proof found: rz; selector merge gap open: rz; promotion status: zS

    target alias forward/data/after-fill-data selectors: forwardHitAliases=rrgrrhrz.

    z

    target alias public-covered forward selectors; target alias address-adjacent forward selectors; target alias public coverage/exclusion: publicForward=rrirz; coverage rz; exclusion r%z7

    target alias promoting metadata/data hits: rrrz=

    target alias exact promoting hits metadata-only: rz

    Missing Evidence

    z
      z
    z

    Evidence

    zS z
    kindstatusdetail
    z&

    Target Alias Bridge Summary

    z c3K|]>}dtjt|jddtjt|jdd|jdd|jdd|jddtjt |jddtjt |jd d|jd d |jd d |jd d|jddAyw)z
    selectorrolehitsdataafter-fill dataclassesafter-fill classestrace W/R/Scurrent->alias
    rszrrr_rbrrrrrarrrrN)rrr0rrArs r3r4zhtml_page..6s>![[SWWZ-@)ABCD{{3swwv#789:ww789:ww;<=>wwHIJK{{#4SWW=^5_#`abc{{#4SWW=k5l#mnopwwRSTTU77NOPPQ77QRSTww789: sEErz
    z

    Remaining Proofs

    zzr^)r6rrrr0r8r)r evidence_rows proof_items missing_itemss r3 html_pagersII :& M))cPaHbccKII4;KK@Q4R4XVXM 99    & @ i   :DKK 567t <WX%678T[[QYIZ=[<\] $ C8H0I,J KLM"kk#go.F*GHIJ%%)[[W=R5S1T%U$VW"kk#g6J.K*LMNO!!%S9J1K-L!M NO"kk#g6F.G*HIJ,X%&JKLM##*+G#H"IJ((/0Q(R'ST))01S)T(UV&&-.J&K%LM((/0P(Q'RS%l345S5Z)[%\]^_((+GKK8I,J,Pb(Q'RS ' ,> ?@A $ G4E,F GH  V>=>?@,1234W->%?@A O%%)[[W=]5^1_%`$ab#{{3w7X/Y+Z[\]((, C@g8h4i(j'kkpr !!%S9f1g-h!i jk**.++c'Bq:r6s*t)uv""&++c':e2f.g"h!ij##';;s7;`3a/b#c"ddp rJJKLCFGHO PKLMUT *]O5 ) !aboapqA B 4 ` II##AB  ! )[M '   {^ ` `r9c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz&save_selector_merge_execution_gap.jsonF) ensure_asciiindentrutf-8encoding&save_selector_merge_execution_gap.html)mkdir write_textjsondumpsr)rout_dirs r3 write_outputsr Pse MM$M. 77CC 7q9D@D 77CCIgDVahCir9cLtj|jdS)Nrr)r loads read_text)rs r3 load_jsonrYs ::dnngn6 77r9c tjt}|jdtt dz |jdtt dz |jdtt dz |jd tt d z |jd tt d z |jd tt dz |jdtt dz |jdtt |j }tt|jt|jt|jt|jt|jt|jt|j}t!||j"t%d|j"dz y)N) descriptionz--set-decompositionz$save_selector_set_decomposition.json)typedefaultz--recomposition-latticez(save_selector_recomposition_lattice.jsonz --merge-gapzsave_selector_merge_gap.jsonz--merge-bridge-matrixz&save_selector_merge_bridge_matrix.jsonz--target-alias-bridgesz'save_selector_target_alias_bridges.jsonz--route-root-ref-contextz)save_selector_route_root_ref_context.jsonz(--predecessor-branch-state-execution-gapz9save_selector_predecessor_branch_state_execution_gap.jsonz --out-dirz&wrote selector merge execution gap -> r)argparseArgumentParser__doc__ add_argumentrOUT parse_argsrrrrrrrrrr r print)parserargsrs r3mainr]s  $ $ 9F -D#HnBno 1cLvFvw  D#@^:^_ /dCJrDrs 0tSKtEtu 2sMxGxy 2 QQ   $<    D$(()$,,-$..!$**+$++,$--.$==>G'4<<( 24<r+stG"  H~''* UlgJ g$^K 51; ? 3 =  >  @ P uC*&LAM kkkk k  k ! k-1k k\ FRm`25j8n8 zFr9