UHjSbdZddlmZddlZddlZddlZddlmZeejjdZ e dz Z dZ dZd gd d d gd d gZgdZgdZgdZd"dZd#dZd$dZd%dZd&dZe edd'dZd(dZd)dZd)dZd*dZd+dZd,dZd,dZe fd-dZ d.d Z!e"d!k(re!yy)/z=Summarize the strict event-link gap for map1_01a -> map2_02d.) annotationsN)Pathoutmap1_01amap2_02dzout/field_map_record_roots.json) clustersstrictEventLinkedClusterCountselectorOnlyClusterCount proofFoundfieldMapRecordRootsProofFoundfailedFieldMapRecordRootGateIdsmissingEvidence evidenceRefsevidenceRefCountpromotionStatus)pathfieldszout/event_transitions.json)maptargetseventDispatchRefsconditionLinkedStrings)zdirect-strict-event-transitionzsource-outgoing-strict-clusterztarget-strict-clusterz'selector-only-frontier-not-event-linked)z3direct strict event transition map1_01a -> map2_02dz@strict event cluster sourced by map1_01a and linking to map2_02dz)strict target-linked cluster for map2_02dzInon-selector-only current frontier event link or equivalent trigger proof)z?find a direct strict event transition from map1_01a to map2_02dzGfind a source-outgoing strict cluster from map1_01a that links map2_02dz0find a strict target-linked cluster for map2_02dzZreplace selector-only frontier adjacency with a strict event or equivalent runtime triggercp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks F/home/exedev/hwanse/tools/summarize_map1_01a_strict_target_link_gap.py load_jsonr#=s* ;;= ::dnngn6 77cBdjd|xsgDxsdS)N,c32K|]}t|yw)N)str).0values r" zcsv..Ds95CJ9s-)join)valuess r"csvr/Cs 889FLb9 9 @S@r$cR|sy|jdd|jdS)Nr,clusterStartHexz.. clusterEndHexgetclusters r" cluster_ranger7Gs. kk+, -R O0L/M NNr$c<t|jdxsg}|jdxsgD]S}|jdxsgD]9}t|ts|j ds&|j |dd;Ut t|S)Nrrrz.cns)listr4 isinstancer(endswithappendsortedset)eventrrefr*s r" event_targetsrBMs599Y'-2.Gyy,-3+WW56<" +E%%%..*@uSbz* ++ #g, r$c||jd|jd|jdt|dS)Nr recordVaHex rawPointCount)rrDrEr)r4rB)r@s r" compact_eventrFVs8yyyy/?3 '  r$)sourcetargetc |jdxsg}|jdxsg}|jdxsg}|jdxsg}|jdxsgDcgc]I}|jd|jd|jd|jd xsgd K}}id t|d |jd d |jd d|jdd|d|d|d|jddd|d|jddd|jdddt|dt|dtfd|Ddtfd|Ddtfd|Dd|v|v|vxr|v|v|vt fd|Dt fd|DdScc}w)N manifestMaps eventSourceseventFieldLinks routePairs eventRecordsrDr pointCount fieldLinks)rDrrOrPclusterRangeHexr1r2classificationeventRecordCountrsaveSelectorRefCountcurrentFrontierPairCountmanifestMapCountroutePairCountsourceOutgoingRoutePairCountc3LK|]}|jdk(sdyw)rGrNr3)r)rowrGs r"r+z"compact_cluster..{&, (9V(CA, $$targetIncomingRoutePairCountc3LK|]}|jdk(sdyw)rHrNr3)r)rZrHs r"r+z"compact_cluster..~r[r\sourceTargetRoutePairCountc3rK|].}|jdk(r|jdk(rd0yw)rGrHrNr3r)rZrGrHs r"r+z"compact_cluster..s:* wwx F*swwx/@F/J * 47containsSourcec3rK|].}|jdk(xr|jdk(0ywrGrHNr3ras r"r+z"compact_cluster..s=(  GGH  ' GCGGH,=,G G( rbc3K|]A}|jdk(xr'|jdk(xr|jdCyw)rGrHisCurrentFrontierNr3ras r"r+z"compact_cluster..sV&  GGH  ' -!V+ -+, -& sAA )containsTargetincomingOnlyForSourceoutgoingFromSource linksTargethasSourceTargetRoutePairhasCurrentFrontierPair)r4r7lensumany) r6rGrH manifest_maps event_sources event_links route_pairsrecord event_recordss `` r"compact_clusterrw_sxKK/52MKK/52M++/06BK++l+1rKkk.17R  "::m4::e$ **\2 **\28b  M( =1( 7;;'89(  _5(  '++&67 (   (   (  ;(  GKK(:A>(   (   ,BA F(  #GKK0JA$N(  C .(  #k*(  ', $, ) ( " ', $, ) #( ( %c* "* ' )( 2 &M13( 4!M1!';!6!V6;V$ 5,$'( "( % #&& # & # E( (s.AG!c0||jdxsgvS)NrJr3)r6map_names r" contains_maprzs  N39r ::r$cX|jddk(xs|jdddkDS)NrRzstrict event-linked clusterrSrr3r5s r" is_strictr|s0 ;;' (,I I sW[[YkmnMorsMssr$cZ|jdddk(xr|jdddkDS)NrSrrTr3r5s r"is_selector_onlyr~s1 ;;)1 - 2 aw{{CY[\7]`a7aar$c|D]e}|jdxsgD]K}|jdtk(s|jdtk(s5|jdsG|ccSgy)NrMrGrHrgr4SOURCETARGET)r r6pairs r"find_current_frontier_clusterrsgKK -3 D"f,HHX&&0HH01   r$c|jdxsg}|Dcgc]-}|jdtk(rtt|vr|/}}|Dcgc]}t |rt |tr|!}}|Dcgc]:}t|jdxsgvrt|jdxsgvr|<}}|Dcgc]}t|jdxsgvr|!}}|Dcgc]}t |rt |tr|!} }|Dcgc]}t |rt |tr|!} }| Dcgc]}t |ts|} }| Dcgc])}td|jdxsgDr|+} }t|} | r t| nd}|xsijdd}|xsijd d}|xsijd d}t|xstd |D}t| xr7| jd ddk(xr d t| jdxsdv}idtdtdt|d|Dcgc] }t|c}dt|d|Dcgc] }t|c}dt|dt|dt| d| Dcgc] }t|c}dt| d| Dcgc] }t|c}dt| dt| d| rdndd |xsijd!d"||||xsijd#|||d$d$ttt t"tt"d%d&d'}|Scc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}w)(Nr rrLrKc3K|]6}|jdtk(xr|jdtk(8ywrer)r)rZs r"r+z build_summary..s<  GGH  ' GCGGH,=,G G s<>rMrWrrXr]c3K|]<}t|jdxsgvxrt|jdxsgv>yw)rKrLN)rr4rr)r6s r"r+z build_summary..sPA  7;;~.4"5 = w{{#45; < =AsAArSz selector-onlyrRrGrH directStrictEventTransitionCountdirectStrictEventTransitionssourceStrictClusterCountsourceStrictClusters$sourceIncomingOnlyStrictClusterCount sourceOutgoingStrictClusterCounttargetStrictClusterCounttargetStrictClusterstargetSelectorOnlyClusterCounttargetSelectorOnlyClusters$targetSelectorOnlySourceOverlapCount3targetSelectorOnlySourceTargetRoutePairClusterCount-targetSelectorOnlyCurrentFrontierClusterCountrcurrentFrontierManifestMapCountrVcurrentFrontierRoutePairCountr_FblockedaStrict event evidence around map1_01a is incoming-only: the nearby strict cluster 0x005032d8..0x00503350 is sourced by map1_02b and links into map1_01a. No strict event transition starts at map1_01a and targets map2_02d, while map2_02d appears only in selector-only clusters, including the current frontier 0x00542b44..0x00542e74. The only selector-only cluster that overlaps both source and target is that current frontier, where the source-target edge is one member of a broad route-pair list rather than an event row. This keeps map1_01a -> map2_02d blocked until a strict source hotspot, runtime trace, or equivalent trigger proof is found.)+currentFrontierSourceOutgoingRoutePairCount+currentFrontierTargetIncomingRoutePairCount)currentFrontierSourceTargetRoutePairCountcurrentFrontierCluster$currentFrontierClusterIsSelectorOnlystrictTargetLinkFoundr strictTargetLinkProofFoundfailedStrictTargetLinkGateIdsrremainingProofsrrr conclusion)r4rrrBr|rzr~rprrwboolr(rnrF"FAILED_STRICT_TARGET_LINK_GATE_IDS#STRICT_TARGET_LINK_MISSING_EVIDENCE#STRICT_TARGET_LINK_REMAINING_PROOFS EVIDENCE_REFS)field_map_rootsevent_transitionsr r@direct_strict_eventsr6source_strict_clusterssource_incoming_only_clusterssource_outgoing_clusterstarget_strict_clusterstarget_selector_only_clusters#target_selector_only_source_overlap0target_selector_only_source_target_pair_clusterscurrent_frontier_clustercurrent_frontier!current_frontier_route_pair_count¤t_frontier_source_outgoing_count¤t_frontier_target_incoming_countstrict_target_link_found!current_frontier_is_selector_onlysummarys r" build_summaryrs"":.4"H'  99U v %&M%4H*H  ( W ,w"?  6% gkk"34: ;w{{[iOjOpnp@q %!% 6  gkk.17R 8    ( W ,w"?  (% G $gv)F %!% =+ WV\@]+'+ 58   {{<06B   848 =XFD\'?@bf)9)?R(D(DEUWX(Y%.>.D"-I-I&.*/?.D"-I-I&.* $$89 SA.A> )-  Y $ ( ();Q ?1 D Y s#;#?#?@P#Q#WUWX X)% .&.&. +C0D,E. 'K_(`%u)=(` . #C(>$? . I_ `g!9 ` . /4Q0R. +C0H,I. #C(>$?. I_ `g!9 `. )#.K*L. %Ol&mGw'?&m. /4W0X. >s <@ ." 8>V\]#.$ *,<,B+G+GHZ+[%.& ()J'.(8^7]6F6L"5Q5Q (6 #30Q!9&+)K>>% .$ jK.G^ NM % %+8>)a `!a&msM2N $N|jd?xsgD}|jd@rdAn|jdBrdCnd(}|j d7|dDd9|dEdFd&j|dGxsd(dFd&j|dHxsd(dF|xsd(dF|d; |jgdI|dJD]J}|j d7|dDd9|dEdF|dKdF|dLdF|dMdF|dNdF|dOdF|dPdF|dQd;L|j ddRj|S)SNz!# map1_01a Strict Target Link Gaprz- route under test: `rGz -> rH`z#- direct strict event transitions: rz- source strict clusters: rz(- source incoming-only strict clusters: rz#- source outgoing strict clusters: rz- target strict clusters: rz!- target selector-only clusters: rz3- target selector-only clusters containing source: rz5- target selector-only source->target pair clusters: rzN- current frontier selector-only route pairs/source outgoing/target incoming: rz / rrz"- current frontier selector-only: rz- strict target link found: rz- proof found: r z"- strict target-link proof found: rz#- failed strict target-link gates: , rr,z- missing evidence count: rz- evidence refs: rz- promotion status: `rrz## Missing Evidencec3&K|] }d| ywz- Nr)items r"r+zmarkdown..:N2dVN)rz## Remaining Proofsrc3&K|] }d| ywrrrs r"r+zmarkdown..@rrr)rz## Evidence Refsrz| path | fields |z | --- | --- |rz| `rz` | rz |)rz## Source Strict ClustersrzH| cluster | class | event sources | event links | event records | role |z%| --- | --- | --- | --- | --- | --- |rc3FK|]}|jdxsdywrDr,Nr3r)rus r"r+zmarkdown..Rs!mFJJ}5<<m!rNri incoming-onlyrjoutgoingrQrRz | rKrL)rz ## Target Selector-Only Clustersrz| cluster | class | selector refs | maps | route pairs | source outgoing | target incoming | source->target | current frontier |z=| --- | --- | ---: | ---: | ---: | ---: | ---: | ---: | --- |rrTrVrWrXr]r_rm )r-r4rnextendr=r/)rlinesrAr6recordsroles r"markdownrs5+  12$wx7H6IK -g6X.Y-Z[ $W-G%H$IJ 27;a3b2cd -g6X.Y-Z[ $W-G%H$IJ +G4T,U+VW =gFl>m=no ?H}@~? A X 2 3 4C @ A B# @ A B D -W5[-\,]^ &w/F'G&HI ',/01 ,W5Q-R,ST -dii Dc8d8jhj.k.ror-st $S5F)G)M2%N$OP G$6789 (9 :;1=    9 E< LLN5F)G)M2NN LL  LLN5F)G)M2NN LL{{>*0bR s3776?+4CGGH4E4K0L/MRPQR LL12 ))m7;;WeKfKljlmm")++.E"FZaZeZefzZ{JBE '+,-T':J2K1LCyy018S9yy!234;|d:d?d@dgS)ANrc3NK|]}dtj|dywz
  • z
    • Nhtmlescapers r"r+zhtml_page..ms(,0$t{{4 !'#%rc3NK|]}dtj|dywrrrs r"r+zhtml_page..ps#g$T[[./u5grrc3NK|]}dtj|dywrrrs r"r+zhtml_page..qs#iD$t{{4017irrrc 3K|]g}dtjt|jddtjt |jdxsgdiyw)rr N)rrr(r4r/)r)rAs r"r+zhtml_page..rsg"   [[SWWV_!5678{{3swwx06B789: "sA-A/rc3$K|]}dtj|ddtjt|ddtjdj|dxsddtjdj|dxsddtjdjd |j d xsgDxsdd|j d rd n|j d rdndd  yw)rrQrrR rrKr,rLc3FK|]}|jdxsdywrr3rs r"r+z&html_page...s!$v&VZZ %>%E#%E$vrrNrirrjrrN)rrr(r-r4rs r"r+zhtml_page..ys   [[):!;<=>{{3w'789:;<{{499W^%<=DEFG{{499W->%?@GCHIJ{{499$vT[T_T_`nToTusu$vv}z}~@")++.E"FZaZeZefzZ{JBEFF   sDDrc3K|]l}dtj|ddtjt|dd|dd|dd|dd|dd|d d|d d|d d ny w)rrQrrRrrTrVrWrXr]r_rmrN)rrr(rs r"r+zhtml_page..s   [[):!;<=>{{3w'789:;<-./0)*+,'()*567856783456/012  sA2A4rzzzz zF z0 map1_01a Strict Target Link Gapa zzz*

    map1_01a Strict Target Link Gap

    z

    route rGz -> rHz#; direct strict transitions rz; target strict clusters rz2; target selector-only clusters containing source rz; current frontier route pairs rz; strict target link found: rz; proof found: r z"; strict target-link proof found: rz; missing evidence count z; evidence refs rz; promotion status rz .

    z

    rz

    z.

    failed strict target-link gates

      z
    z

    Missing Evidence

      z

      Remaining Proofs

        z

        Evidence Refs

        zD z
        pathfields
        z!

        Source Strict Clusters

        z z(

        Target Selector-Only Clusters

        z
        clusterclassevent sourcesevent linksevent recordsrole
        zz)r-r4rnrr)r failed_gatesmissing remainingevidence_ref_rows source_rows target_rowss r" html_pagerls~774;KK@_4`4fdfLggg'++N_B`BfdfggGiGKKPaDbDhfhiiI " ;;~.4" ")) 56  K)) ;<  K 99"P: \4 GH-.ggh6G5HI%%,-O%P$QR"")*D"E!FG; 9 : ;<((/0O(P'QR%%,-D%E$FG -./++23O+P*QR""%gkk2C&D&J"K!LM %789:"")*;" r) argparseArgumentParser__doc__ add_argumentrOUT parse_argsrr#rrprint)parserargsrs r"mainrs  $ $ 9F  $<    D$,,!>>C$,,!992>G'4<<( 5dllEk6k5l mnr$__main__)rr)r.zlist[object] | Nonereturnr()r6 dict | Nonerr()r@dictrz list[str])r@rrr)r6rrGr(rHr(rr)r6rryr(rr)r6rrr)r list[dict]rr)rrrr rr)rrrr()rrrrrNone)rr )#r __future__rrrrpathlibr__file__resolverROOTrrrrrrrr#r/r7rBrFrwrzr|r~rrrrrr__name__rr$r"rsC"  H~''* Ul  6  - ! 4&" '# '#8 AO  5;&6r;tb hVNbPf25 o zFr$
        clusterclassselector refsmapsroute pairssource outgoingtarget incomingsource->targetcurrent frontier