Jjx dZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz Zdd d d d Zd gdddgdddgdddgdddgdddgdddgdddgdddgddd gd!dg Zd*d+d"Zd,d#Z d-d$Zd.d%Zd.d&Zedfd/d'Zd0d(Zed)k(reyy)1z>Summarize why selector merge evidence is closed as shape-only.) annotationsN)Path)Anyoutz[source/predecessor forward bridge or execution-like selector merge bridge into selector 2:0z3real selected-root runtime execution for 0x00540714zCobserved predecessor opcode 0x10 fill context and route-order proofz:strict map1_01a source coordinate or tile hotspot evidence)selector-merge-execution-proofselected-root-runtime-execution"predecessor-fill-route-order-proofstrict-source-hotspotz*out/save_selector_merge_execution_gap.json) selectorMergeExecutionProofFound proofFound#failedSelectorMergeExecutionGateIdsmissingEvidenceevidenceRefCount)pathfieldsz,out/save_selector_merge_runtime_context.json)selectorMergeRuntimeProofFoundr !failedSelectorMergeRuntimeGateIdsrrz(out/save_selector_set_decomposition.json)"currentEqualsPredecessorPlusSource#sourcePredecessorUnionCoversCurrentsourcePredecessorUnionExtraMapsr z,out/save_selector_recomposition_lattice.json)currentroutePairOnlyCurrentSelectorexactPairUnionCountz+out/save_selector_target_alias_bridges.json)targetAliasSelectors publicCoveredForwardHitSelectors"addressAdjacentForwardHitSelectorsforwardHitsAddressAdjacentOnly#targetAliasExecutionExclusionStatusz-out/save_selector_route_root_ref_context.json)allRouteSelectorRootsTableOnly predecessorToCurrentRootRefFound(sourceTargetSplitAcrossPreviousSelectorsz.out/save_selector_predecessor_bridge_refs.json)forwardExecutionBridgeFoundforwardBridgeRowspromotionStatusz2out/save_selector_selected_root_execution_gap.json)selectedRootExecutionRefFoundruntimeProbeGatediagnosticExclusionGater z8out/save_selector_predecessor_fill_opcode10_context.json)r $failedPredecessorFillOpcode10GateIdsrrruntimeObservedAllZerobranchStatePollFillMatchCountz2out/save_selector_predecessor_persistence_gap.json)routeOrderProvenpersistenceProvenselectorMergeGapOpenr%cx|js|iS|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks J/home/exedev/hwanse/tools/summarize_save_selector_merge_closure_context.py load_jsonr9ys5 ;;=%r383 ::dnngn6 77cBdjd|xsgDxsdS)N,c32K|]}t|ywN)str).0values r8 zcsv..s95CJ9s-)join)valuess r8csvrFs 889FLb9 9 @S@r:c f|jdxsi} |jdxsi} |jdxsi} |jdxs(| jdxs|jdxsg} |jdduxr|jddu}|jdduxs| jddu}t| dkD}|xr|xr|jd du}|jd dk(xr*|jd dk(xr|jd dk(}|jd dk(xr*|jddk(xr|jddk(}|jdduxr*|jddk(xr|jddk(}|jddk(xr|jddu}|jdduxr|jddu}|jdduxr(| jdduxr| jddu}|jdduxr)|jdduxr|jddk(}| jd }|jd!duxs=|jdduxs(|jdduxs|jd"du}|jd#duxr|jddu}|xr|xr|jdduxr|du}|jd$duxr|jd%du}|xr|xr| }g}|s|jd&|s|jd'|jddur|dus|jd(|r|jd)|D cgc]} tj| | }!} |rd*nd+}"d,|r|rd-nd.d/|d0|d1t | d2|jd3d4|jd5d6|jd7d8|jd9d:d;|rd|jd d?|jd d@|jdAdB|jdCdD|jdE d:dF|rdGnd.dH|jd dI|jddJ|jdd:dK|r|rdLnd.dMt |jdNdOt |jdPdQt |jdRdS|jddT|jddU|jd d:dV|rdWnd.dX|jddY|jdZd[|jdd\|jd]d:d^|rd_nd.d`|jdda| jddb| jdcdd| jdd:de|rdfnd.dg|jdhdi|jdjdk|jdldm|jddn|jddo|jd d:dp|durdqnd.dr|ds| jdtdu| jdvd:dw|rdxndydz|jd$d{|jd%d:g }#d|}$id}|jd}xsd~d|jdxsdd|jdd|jdd|jdd|jdd|d|d| d|d3|jd3d5|jd5d7|jd7d9|jd9d |d |jd d|jdid |jd d |jd dA|jdAdC|jdCdE|jdEd|d |jd d|jdd|jdd|dN|jdNxsgd|jdPxsgd|jdRxsgd|jdd|jdd|jdd|jdid|d|jdZd|jdd|jd]d|jd"d|jdd| jddc| jdcd| jdd|jdd|jdjd|jdld|jdd|jdd|jdd |d| jdtid| jdvd$|jd$d%|jd%d!|d#|d|d|d|d|!dt dtt d|dv| d|"d|#dgdd|$Scc} w)Nrr'r(rrTrrmergeShapeOnlysourceToCurrentBridgeHitCountpredecessorToCurrentHitCountforwardMergeBridgeHitCountcurrentToPredecessorHitCount3¤tToPredecessorBeforeFillHitCount$currentToPredecessorFillSiteHitCountr!publicCoveredForwardHitAliasCountforwardHitPublicSampleCountrz address-adjacent-alias-data-only&aliasToCurrentExecutionLikeBridgeFoundFr r!r&"anyRuntimePollReachedRouteSelector&excludedFromSelectedRootExecutionProofr r*r+r,r r#rstrictSourceCoordinateFoundtileHotspotConfirmedrr r r zready-for-reviewblockedz shape-closurezshape-only-overinclusiveopenz#currentEqualsPredecessorPlusSource=z; unionCoversCurrent=z; extra=z; routePairOnlyCurrent=rz; exactCurrentPairUnions=currentExactPairUnionCountz; coveringCurrentPairUnions=currentCoveringPairUnionCountz; globalExactPairUnions=globalExactPairUnionCount)kindstatusdetailzforward-closurezno-forward-bridgezsourceToCurrent=z; predecessorToCurrent=z; forwardMergeBridge=z ; encodedRaw=+forwardEncodedAnchorRawScalarCandidateCountz; encodedPromoting=+forwardEncodedAnchorPromotingCandidateCountz; encodedMerge= encodedMergeExecutionBridgeFoundzreverse-closurezreverse-reuse-before-fill-onlyzcurrentToPredecessor=z ; beforeFill=z ; fillSite=z alias-closurezaddress-adjacent-data-onlyztargetAliases=rz; publicForward=rz; addressAdjacentForward=rz; publicSamples=z; executionLike=z ; exclusion=zroute-root-closurez table-onlyz allTableOnly=z ; textRefs=anyRouteSelectorRootTextRefsz; predecessorToCurrentRootRef=z"; sourceTargetSplitAcrossPrevious=r"zselected-root-runtimezreal-route-not-observedzselectedRootExecutionRefFound=z; anyRuntimePollRoute=z; constructedDiagnosticRoute=-constructedDiagnosticPollReachedRouteSelectorz; diagnosticExcluded=zpredecessor-fill-closurezopcode10-context-nonpromotingzopcodeHandler=opcodeHandlerHexz; helperOpcode10Only=)helperOnlyDirectCallInsideOpcode10Handlerz; directFillRefs=directFillSiteTextRefCountz; runtimeAllZero=z; fillMatches=z; proof=zroute-order-closurezroute-order-unprovenzrouteOrderProven=z; persistenceProven=r-z; selectorMergeGapOpen=r.zstrict-hotspotmissingpresentz strictSource=z; tileHotspot=aSelector 2:0 can be explained as a source/predecessor set recomposition, but the closure remains shape-only: the union over-includes map1_02b, there is no source/predecessor forward bridge into 2:0, reverse hits are before-fill reuse, target-alias hits are address-adjacent data only, route-root refs are table-only, and runtime evidence still lacks a real selected-root route observation.sourcemap1_01atargetmap2_02dsourceSelectorpredecessorSelectorcurrentSelectorcurrentRootHexshapeOverIncludesExtraMapscurrentToSourceBridgeHitCountforwardBridgeAbsentreverseReuseBeforeFillOnly+targetAliasPublicCoveredForwardHitSelectors-targetAliasAddressAdjacentForwardHitSelectors&targetAliasForwardHitPublicSampleCount)targetAliasForwardHitsAddressAdjacentOnly,targetAliasToCurrentExecutionLikeBridgeFoundrouteRootsTableOnlyrouteRootTextRefs-routeRootRefsPredecessorToCurrentRootRefFound5routeRootRefsSourceTargetSplitAcrossPreviousSelectors,predecessorBridgeForwardExecutionBridgeFound&constructedDiagnosticExcludedFromProof!predecessorFillOpcode10ProofFound@predecessorFillOpcode10HelperOnlyDirectCallInsideOpcode10Handler1predecessorFillOpcode10DirectFillSiteTextRefCount-predecessorFillOpcode10RuntimeObservedAllZero1predecessorFillOpcode10BranchStatePollSampleCountbranchStatePollSampleCount4predecessorFillOpcode10BranchStatePollFillMatchCountpredecessorPersistenceProven-predecessorPersistenceGapSelectorMergeGapOpenselectorMergeClosureProofFoundfailedSelectorMergeGateIdsr evidenceRefsr&predecessorPersistenceUsableForCurrentr%evidenceremainingProofs)z;prove a source/predecessor forward bridge into selector 2:0z;capture real selected-root runtime execution for 0x00540714zLturn predecessor opcode 0x10 fill context into an observed route-order proofz?find strict map1_01a source coordinate or tile hotspot evidence conclusion)getlenappend'SELECTOR_MERGE_MISSING_EVIDENCE_BY_GATErF$SELECTOR_MERGE_CLOSURE_EVIDENCE_REFS)%merge_execution_gapmerge_runtime_contextset_decompositionrecomposition_latticetarget_alias_bridgesroute_root_ref_contextpredecessor_bridge_refsselected_root_execution_gap!predecessor_fill_opcode10_contextpredecessor_persistence_gapr runtime_gatediagnostic_gate extra_maps¤t_equals_predecessor_plus_source'source_predecessor_union_covers_currentshape_over_includes_extra_maps shape_onlyforward_bridge_absentreverse_reuse_before_fill_only#alias_forward_address_adjacent_onlyalias_execution_excludedroute_roots_table_onlyselected_root_runtime_absentpredecessor_fill_non_promotingroute_order_proven$selector_merge_execution_proof_found"selector_merge_runtime_proof_found*predecessor_persistence_usable_for_currentstrict_hotspot_missing"selector_merge_closure_proof_foundfailed_selector_merge_gate_idsgate_idmissing_evidencepromotion_statusrrs% r8 build_summaryrs5$'' 28bG.223EFL"L1556OPVTVO AB  ;;8 9   !B C     DEM P  ! !"F G4 O+  EF$N F ;;< = E,&)_q%8". @ 3 @ ! % %&6 74 ?  ?@AE G  # #$B Cq H G  # #$@ AQ F  >?2E Q  # #$L MQS S Q  # #$J Kq P#   !ABdJ I $ $%H IQ N I $ $%B Cq H(   !FG - . X $ $%M NRW W ""#CDL T " & &'I Je S $''(GHEQ R   A Be K R    H IT Q! *--l;uD X - 1 12J Kt S X - 1 12Q RVW W# 5889KL BCtK N  # #$L MQU U N ! % %&H IT Q N # & &'D E M ) !!"BCtK U ' + +,K LPT T' - ' . ' - 1 1, ?4 G ' $ & / !!"?@EI G ! % %&< = F - ' . '& &' &(" /&--.NO -&--.OP)--l;tC $ &&--.RS&--.EF6  033GWE.P)U^$4>Ca0gm56\5]^&&M%NOZ))@&**+IJKL**=*A*AB^*_)`a--@-D-DEd-e,fg))<)@)@A\)](^ ` &-B)"#6#:#:;Z#["\]((;(?(?@^(_'`a&&9&=&=>Z&[%\]1556cdef$$7$;$;T%U!V WX!!$%9%=%=>`%a!b cd**-.B.F.FGk.l*m)no!!5!9!9:W!X YZ!!5!9!9:b!c de1556[\] _ )&>|LM O *0Be0K,QW#$6#78%%@%D%DEX%Y$Z[((C(G(GH^(_'`b  %#9iy 5 9 9:W XYZ4889OPQS  {eHN h z %))(3Azz %))(3Azz  -112BCz  2667LM z  .223DE z  -112BC z  -.Tz  ./Vz  *:z  %&Dz  '(;(?(?@^(_z  %&9&=&=>Z&[z  ()<)@)@A`)az  $%8%<%<=X%Yz  *z  ()<)@)@A`)a!z " ()<)@)@A`)a#z $ '(;(?(?@^(_%z & %&9&=&=>Z&['z ( 67J7N7N 98 )z . 67J7N7N 98 /z 4 +,?,C,C .- 5z : 4;z < '(;(?(?@^(_=z > 12E2I2I 43 ?z D /0C0G0G 21 Ez J %&DKz L  4 8 89O P VTVMz N 67K7O7O .8 8 Uz V 89M9Q9Q 0: : ]z ^ 12F2J2J )3 _z d 45I5M5M ,6 ez j ./C/G/G 10 kz p 78L8P8P 49 qz v 5wz x 3778VWyz z 89O9S9S .: {z @ @AWA[A[ 6B Az F 78O8S8S )9 Gz L ()D)H)H +* Mz R -l.>.>?c.dSz T 89I9I ;: Uz Z 1/2E2E 43 [z ` ,-N-R-RS_-`az b K - 1 12] ^ez h <=^=b=b (> iz n 89Z9^9^ $: oz t <=^=b=b (> uz z ?@a@e@e +A {z @ .Az B '(C(G(GH[(\Cz D 89T9X9X ": Ez J &'<'@'@A^'_Kz L  5 9 9:P QMz N +,POz P )*LQz R )*LSz T 8Uz V %&DWz X +Yz Z <[z \ C DE]z ^ 12\_z ` $F Faz b +cz d Hez f  gz r jsz zcsj.c gdd|ddd|dd|ddd |d d |d d |ddd|ddd|ddt|ddd|dd|ddt|ddt|ddd|dd|d d!|d"d#|d$d%|d&d'|d(d'|d)d*|d+d,t|jd-dd.t|jd/xsgd0|jd1d2|d3d4|d5ddd6d|jd/xsgDcgc]}d7| c}dd8dd9d:}|d;D]&}|jd<|d=d>|d?d>|d@dA(|j gdB|j dC|dDD|jddEj |Scc}w)FNz%# Save Selector Merge Closure Contextrz - route: `riz -> rk`z- selectors: source `rmz`, predecessor `rnz `, current `roz- current root: `rpz- merge shape only: rHz"- source+predecessor extra maps: `rz- forward bridge absent: rsz"- reverse reuse before fill only: rtz4- alias public/address-adjacent forward selectors: `ruz` / `rvz- route roots table only: rzz%- selected-root execution ref found: r&z$- predecessor opcode10 proof found: rz- route order proven: r,z8- selector merge execution/runtime/closure proof found: r z / rrz- proof found: r z - failed selector-merge gates: `rz- missing evidence count: rz- evidence refs: rz.- predecessor persistence usable for current: rz- promotion status: `r%z## Missing Evidence- z ## Evidencez| kind | status | detail |z| --- | --- | --- |rz| r\z | r]r^z |)rz## Remaining Proofsrc3&K|] }d| yw)rNr@items r8rBzmarkdown..sD2dVDsr )rFrrrextendrD)summaryrlinesrows r8markdownrs! /!  !   !  !  WX&'tGH,=+>a@ !  (8 9::J7ShKiJjjvw~@QxRwSST U !  G$456a8!  w'789:!  -S9Z1[-\,]]^_!  $G,A$B#CD!  -W5Q-R,ST!  ?s7KxCy?z>{|ABEFMN}F~BA@@A B!  %W-B%C$DE!  08W0X/YZ!  /w7Z/[.\]!  !);!< =>!! " C7KmCnBoorsz|\t]s^^abijJbKaL M#! $ ',/01%! & +3w{{;W/X+Y*ZZ[\'! ( %S5F)G)M2%N$OP)! * GKK(:;<=+! , 9Ai9j8kl-! . (9 :;1=/! 0 1! 2 3! 4 5! 6#*++.?"@"FB G$Btf+ G7! 8 9! : ;! < =! > %?! @ A! EDz"O r#f+c#h-CM?"MNO LL01 LLD1B)CDD LL 99U  Hs Gc,tdjd|dD}djd|dD}djd|jdxsgD}djdd d d d d ddddtj|dddtjt |ddtjt |ddtjt |ddtjt |ddtjt |ddtjt |dd d!|d"d#tjt |d$d%|d&d'|d(d)|d*d+|d,d-|d.d/|d0d1|d2d3|d4d5tjt |jd6d7t |jdxsgd8|jd9d:tj|d;d dtjt |d?d@|dAdBtjt |dCd dDdE|dFdGdH|dIdJdE|dFdKdLdMgS)NNrc 3K|]R}dtj|ddtj|ddtj|ddTyw)zr\z r]r^z Nhtmlescape)r@rs r8rBzhtml_page..sg   {{3v;'(){{3x=)*+{{3x=)*+ sAArc3NK|]}dtj|dywz
  • z
    • Nrrs r8rBzhtml_page..s#cd4;;t#4"5U;c#%rc3NK|]}dtj|dywrrrs r8rBzhtml_page..s(,0$t{{4 !'rrzzzz z4 Save Selector Merge Closure Contexta zzz.

    Save Selector Merge Closure Context

    z

    rz

    z

    Route: riz -> rkz; source rmz; predecessor rnz; current roz root rpz .

    z

    Closure: shapeOnly=rHz; extraMaps=rz; forwardBridgeAbsent=rsz; reverseBeforeFillOnly=rtz; routeRootsTableOnly=rzz; selectedRootExecution=r&z; opcode10Proof=rz ; routeOrder=r,z; closureProof=rz ; proofFound=r z!; failedSelectorMergeGates=rz; missingEvidenceCount=z; evidenceRefs=rz; status r%z/

    Alias closure: publicForward=ruz&; addressAdjacentForward=rvz; publicSamples=rwz; exclusion rz

    Missing Evidence

    z
      z
    z

    Evidence

    zS z
    kindstatusdetail
    z

    Remaining Proofs

    zzr)rDrrrr?rFr)r evidence_rows proof_items missing_itemss r8 html_pagersvII :& M))cPaHbccKII4;KK@Q4R4XVXM 99    & B i   <DKK 567t <S):%;<=>S):%;<=> $ C8H0I,J KLM%%)[[W=R5S1T%U$VW!!%S9J1K-L!M NO"kk#g6F.G*HIJ, X$%5678##';;s7;\3]/^#_"`a''./D'E&FG))01M)N(OP''./D'E&FG))01P)Q(RS!!()L!M NO%&89:; '(H IJK%l345S5Q)R%STUV((+GKK8I,J,Pb(Q'RS ' ,> ?@A $ G4E,F GH V$''+{{3w?l7m3n'o&pq004 CHw@x ) argparseArgumentParser__doc__ add_argumentrOUT parse_argsrr9rrrprint)parserargsrrs r8mainr\s.  $ $ 9F  $<  40    D$,,!IIJ$,,!KKL$,,!GGH$,,!KKL$,,!JJK$,,!LLM$,,!MMN$,,!QQR$,,!WWX$,,!QQR GWdllDMMBH 9( DEr:__main__r>)rrr7z Any | Nonereturnr)rEzlist[Any] | Nonerr?)rdictrrrrrrrrrrrrrrrrrrrr)rrrr?)rrrrrz Path | Nonerr)rNone)r __future__rrrr4pathlibrtypingr__file__resolverROOTrrrr9rFrrrrr__name__rr:r8rsD"  H~''* Ul f'\MY +'=  ?  ; ? >  @ A E K  E i]($@8 AVVVV V  V ! V"V"&V(,V"&V Vr (VEP25d F* zFr: