UHjfdZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZdZd Zd Zgd Zgd Zd ddddddddddddddgZd)dZd*dZd+dZd,dZd-dZd.dZd/dZd0dZd1d Zd2d!Z d3 d4d"Zd5d#Z d6d$Z!d6d%Z"efd7d&Z#d8d'Z$e%d(k(re$yy)9zERank map1_01a geometry exit candidates for the current route blocker.) annotationsN)Path)Anyoutmap1_01amap2_02dmap1_02b)zstrict-source-hotspotztarget-map-control-flowz'strict-or-confirmed-outgoing-transitionz selected-root-or-real-save-proof),strict map1_01a source coordinate or hotspotBruntime/control-flow proof that the selected exit targets map2_02dzdstrict or confirmed outgoing transition for map1_01a -> map2_02d rather than selector-adjacency-onlyz;real selector 2:0 savedata or selected-root execution tracezout/map_exit_candidates.jsonzGgeometry exit candidates, target hints, and reciprocal exit projections)path descriptionz!out/map_exit_coordinate_refs.jsonzApacked-coordinate diagnostics for map1_01a -> map2_02d candidateszout/route_assist_frontier.jsonzIrouteAssist trial URLs and source/target spawn probes for candidate exitszdata/transition_reviews.jsonzEconfirmed incoming reviews separated from outgoing proof requirementsz,out/save_selector_scene_adjacency_index.jsonzCselector adjacency rows and strict/confirmed outgoing backing flagscp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)r fallbacks C/home/exedev/hwanse/tools/summarize_map1_01a_exit_target_ranking.py load_jsonr5s* ;;= ::dnngn6 77c.tfd|DiS)Nc3LK|]}|jdk(s|yw)mapNget).0rownames r zmap_exit_row..<s ?$(>?s$$)next)rowsr"s `r map_exit_rowr&;s ?? DDrc,|jdxsiS)Nsampler) candidates rr(r(?s == " (b(rc|t|}|jd|jd|jdfS)Nsidexy)r(r)r)points r candidate_keyr/Cs2 9 E == %))C.%))C. @@rch|jdxsgD]}|jd|k(s|cSy)N targetHintstargetr)r)r2hints r find_hintr4Hs: m,2 88H  'K rc|D]}|jdtk(s|jd|k(s1|jd|k(sF|jd|k(s[|jd|k(sp|jdxsi}|jd|jd|jd xsijd |jd xsijd d cSd dddd S)Nsourcer2r+r,r- packedScansstatus promotablexytotalyx)r8r9xyTotalyxTotalz not-scannedF)rSOURCE)r%r+r,r-r2r!scanss rcoordinate_statusrAOs GGH  '!V+4' ! !GGM*0bE''(+!ggl3!IIdO1r66w?!IIdO1r66w?      rc |syt|}|jdxsgD]_}t|}|jd|jdk(s3|jd|jdk(sW|jd|jdk(s{t|t}|s|jd|jdk(s|jd|jdk(s|jd|jdk(s|jd|jd|jd|jd|jddk(|jddcSy) NexitCandidatesr+r,r- edgeDistancerprojectionDelta)r+r,r-rD autoTriggerreverseProjectionDelta)r(rr4r?) target_mapsource_candidate target_hint source_pointr) target_point reverse_hints rreciprocal_exitrNgs\ *+L^^$45; i( MM& ![__V%< <  %)==  %)==$Y7L $$V,0@0D0DV0LL $$S)\-=-=c-BB $$S)\-=-=c-BB&MM&1%))#.%))#.$-MM.$A#,==#@A#E.:.>.>?P.Q , rctd|Di}t|jdxsgD]\}}|jdxsi}|jd|k(s0|jd|k(sE|jd|k(sZ|dz|jd|jd |jd |jd d cSy) Nc3K|]6}|jdtk(r|jdtk(r|8yw)r6r2N)rr?BLOCKED_TARGETr items rr#z)route_assist_candidate..s9 xx!V+0Bn0T  s<>candidateExitsr(r+r,r-rrFsourceStandablerouteAssistUrltargetSpawnUrl)orderrFrUrVrW)r$ enumerater)route_assist_rowsr+r,r-r!indexr)r.s rroute_assist_candidater\s  .   C&cgg.>&?&E2F y h'-2 == D (UYYs^q-@UYYs^WXEX(}}];#,==1B#C"+--0@"A"+--0@"A    rc g}|jD]}|jdtk7s|jddk7r0|j|jd|jd|jd|jd|jd|jd|jd d t |d S) Nr2state confirmedr6r,r-spawnXspawnY recordVaHex)r6r2r,r-r`rarbc~|jdxsd|jdxsd|jdxsdfS)Nr6r,r-rr!s rz,confirmed_incoming_reviews..s<):)@b#''#,BTRTVYV]V]^aVbVhfh(irkey)valuesrr?appendsorted)reviewsr%reviews rconfirmed_incoming_reviewsros D.."   ::h 6 )VZZ-@K-O  jj*jj*CCjj*jj*!::m4     $i jjrcg}|jdxsgD]}|jdtk7r|j|jd|jd|jdxsg|jdxsg|jdxsg|jdxsg|jd d u|jd d u|jd d u|jd d t|dS)NpairRowsr6r2occurrenceCount selectors leafPointers sourceRecords targetRecordsstrictEventBackedTconfirmedReviewBackedselectorAdjacencyOnlyclassification) r2rrrsrtrurvrwrxryrzcV|jdxsd|jdxsdfS)Nr2rdrrrrrfs rrgz(selector_outgoing_rows..s)):)@b#''J[B\Ba`a(brrh)rr?rkrl)scene_adjacency_indexr%r!s rselector_outgoing_rowsr}s D$((4:  778  &  ggh'"ww'89-3GGN39r WW_5; WW_5;!$)t#|d?|d@|j dAddB|j dAddC|dDt#|dE|dFdGdHdGdIt0dJt2dKt4dLt#t4dMdNdOgdPdQ|Scc}wcc}wcc}wcc}}wcc}wcc}w)RNmap_exit_candidates.jsonmap_exit_coordinate_refs.jsonroute_assist_frontier.jsondatatransition_reviews.json(save_selector_scene_adjacency_index.jsonr%rCselectorTargetCandidatesr+r,r-rFrDrErank)r+r,r-rFrDrEr)r2blockedRouteTarget targetHintreciprocalExitcoordinateEvidencer standablelayer0layer1 reviewUrltrialUrl) r+r,r-rDrFrrr targetCounttargets routeAssistrrc3LK|]}|jdtk(ywr2NrrQr r2s rr#z build_summary.. s^6 8$6^"$rc3LK|]}|jdtk(ywrrrs rr#z build_summary.. s]&vzz(#~5]rc3LK|]}|jdtk(ywrr RETURN_TARGETrs rr#z build_summary..s\vzz(#}4\rr2c3DK|]}|jdsdyw)rrNrrs rr#z build_summary..s!*vzz:J/K*  c3nK|]-}|jdxsijddk(rd/yw)rr8z*coordinate-like-hit-without-table-text-refrNrrs rr#z build_summary..s=/  JJ+ , 2 7 7 A 7 8 /s35c3K|]F}|jdxsgD],}|jdxsijddurd.Hyw)rrr9TrNr)r r!r2s rr#z build_summary.."s[&ggi(.B&  JJ+ , 2 7 7 E M & &sA Aryc3RK|]}|jdtk(s|!ywrrr r!s rr#z build_summary..*s!eSARVdAdSe''c3RK|]}|jdtk(s|!ywrrrs rr#z build_summary..+s!cC@QUb@bCcrz has z geometry exits and z auto edge candidates for a. Reciprocal target hints make the top and bottom exits useful routeAssist tests, but every candidate remains geometry-only: coordinate scans do not provide a promotable strict source hotspot, and the confirmed incoming map1_02b event only proves entry into map1_01a, not an outgoing map1_01a -> map2_02d transition. The scene-list outgoing candidates from map1_01a are also selector-adjacency-only, so there is no alternate strict or confirmed outgoing transition to promote.r6 blockedTarget returnTarget sourceMapSizewidthheight)rrblockedTargetCandidates exitCountblockedTargetExitCountautoBlockedTargetExitCount#blockedTargetReturnOverlapExitCount blockedTargetReciprocalExitCount#blockedTargetCoordinateLikeHitCountcoordinatePromotableCountselectorOutgoingCandidateCountselectorOutgoingTargets!selectorOutgoingStrictBackedCountc3DK|]}|jdsdyw)rwrNrrs rr#z build_summary..Gs0psSVSZSZ[nSo0pr$selectorOutgoingConfirmedBackedCountc3DK|]}|jdsdyw)rxrNrrs rr#z build_summary..Hs!4 cgg6M.NA4 rselectorOutgoingOnlyCountselectorOutgoingCandidates$blockedTargetSelectorOccurrenceCountrr#returnTargetSelectorOccurrenceCountconfirmedIncomingReviewsconfirmedIncomingCountexits proofFoundFexitTargetRankingProofFoundfailedExitTargetRankingGateIdsmissingEvidence evidenceRefsevidenceRefCountpromotionStatusblockedremainingProofs)r r z6real selector 2:0 savedata or equivalent runtime trace conclusion)rOUTROOTr&r?rQrr/ isinstanceintrlr4rkrNrAr\r(lenanysumror}r$r#FAILED_EXIT_TARGET_RANKING_GATE_IDS$EXIT_TARGET_RANKING_MISSING_EVIDENCE!EXIT_TARGET_RANKING_EVIDENCE_REFS) map_exit_candidatesmap_exit_coordinate_refsroute_assist_frontiertransition_reviewsr| source_maprH coord_rowsrr)r+r,r-rr2r3 target_rowassistr! auto_blockedblocked_target_exitsreturn_overlap_exitsblocked_target_rowsblocked_target_reciprocal_count$blocked_target_coordinate_like_countcoordinate_promotable_countincomingselector_outgoingselector_only_outgoingblocked_selectorreturn_selectorrs r build_summaryrsG2E1P-V_ (( WBJ)--f5;J E^^$45;( "9- a!S!As); Y]]+EFL"M FY/D%&96BJ NN &,&>!HHV,###'88M#:$(HH^$<'+xx0A'B HHV, $"1*i"N^+'8 D!QPV&W  (((=tQJ %MM.9$==8A= *..{;Y'++H5Y'++H5w<!"{3! j1  5( T 77= ! ^SWWYEWE][]^ ^ L  ]CGGIDVD\Z\] ]  , \3779CUC[Y[\ \  ( ggi(.B  ::h > 1  '**+*'#,//)/,( #&&&# **<=H./DE->cc#''JaBbccce,=egijc+<ceghO (%E |#7L8I7JJd  p p+ &+ +   +  ^^G, nnX. +  #JNN3M$N$TRT+  ":>>2K#L#RPR+  SZ+  !#&:";+  %c,&7+  .s3G/H+  +,K+  ./S+  $%@!+ " )#.?*@#+ $ "AR#S#CGGH$5#S%+ & ,S0p>O0p-p'+ ( /4 *4 1 )+ . $S)?%@/+ 0 %&71+ 2 /0@0D0DEVXY0Z3+ 4 ./B/BCTVW/X5+ 6 #H7+ 8 !#h-9+ : ;+ < e=+ > &u?+ @ )*MA+ B ?C+ D 9E+ F C ABG+ H 9I+ J  K+ T jU+ +] ,d:$Ts*.?W3.W '.W;W*WWW c |jdxsi}|jdxsi}|jdxsi}|r[|jdd|jdd|jdd |jd d |jd  nd }|rI|jdd|jdd|jdd|jdnd }|r7|jdd|jdd|jdnd }|jdd|d|d|S)Nrrrr+ r,,r- auto=rFz proj=rE-z reverseProj=rGr8z xy=r=z yx=r>r2z hint z ; reciprocal z; coord r)r2r3 reciprocalcoord hint_textreciprocal_text coord_texts r target_textrbsn ::l # )rD,-3J JJ+ , 2E  88F  Adhhsm_Adhhsm_='(txx8I/J.K M   >>& ! "!JNN3$7#8*..:M9NO!~~&>?@ B   99X  tEIIi$8#9eii >R=ST  jj" #6)M/ARRZ[eZf ggrcddd|dd|djdd|djd d |d d d djd|dDd|dd|dd|dd|dd d|dd|dd|dd |d!d" d#|d$d%|d&d'|d(d)|d*d+|d,d d-|d.d d/|d0d|d1dd2dg}|jd3|d4D|jgd5|jd6|d7D|jgd8|jd9|d:D|jgd;|d<D]b}|jd=|dd>|dd?|d@dA|dBdC|jdDd?|jdEdF|jdGd d|d<s|jdH|jgdI|dJD]}d?j|jdKxsgdLzd?j|jdMxsgz}|jdN|jdBdO|jdPdQdjdR|jdSxsgDxsdTdQ|dQ|jdUdQ|jdVdQ|jdWdX|dJs|jdY|jgdZ|d[D]}|jd\xsi}|r8d]|jd^d_|jd`da|jdbndT}dcjdd|jdexsgD}|jdf|dgdh|dd?|d@di|jdjdk|jdldQ|d`dQ|dQ|dm|jdndo|jgdp|jdq|drD|jddsj|S)tNz# map1_01a Exit Target Rankingrdz - source: `r6z` size rrr,rz- blocked target: `r`z- selector targets: , c3(K|] }d|d ywrNrs rr#zmarkdown..s(i61VHA(irz - selector outgoing candidates: rz (selector-only rz, strict-backed rz, confirmed-backed r)z- exit candidates: rz (rz mention blocked target, rz auto for blocked target, rz also mention return target)z2- blocked-target reciprocal/coordinate-like hits: rz / rz- coordinate-promotable exits: rz- confirmed incoming reviews: rz- proof found: `rz$- exit target ranking proof found: `rz- promotion status: rrz## Failed Gatesc3(K|] }d|d yw)- `rNrrRs rr#zmarkdown..sU43tfAUrr)rdz## Missing Evidencerdc3&K|] }d| ywz- NrrRs rr#zmarkdown..D2dVDr)rdz## Evidence Refsrdc38K|]}d|dd|dyw)rr z`: rNrrs rr#zmarkdown..s/  c&k]#c-012sr)rdz## Confirmed Incoming Contextrdrrz` `rr-z` -> `r2z ` spawn `r`raz ` record `rbz- none)rdz## Selector Outgoing CandidatesrdzK| target | occurrences | selectors | records | strict | confirmed | class |z,| --- | ---: | --- | --- | --- | --- | --- |rru -> rvz| `z` | rrz | c3(K|] }d|d ywrr)r values rr#zmarkdown..sN%1UG1Nrrsrrwrxrzz |z| - | 0 | - | - | - | - | - |)rdz## Exit Candidatesrdz2| side | tile | auto | assist | targets | review |z%| --- | --- | --- | --- | --- | --- |rrorder rXrrF standable=rU
c32K|]}t|ywN)rrs rr#zmarkdown..sYfk&1Ysrz| r+z | `z` l0=r l1=rz | [open](rz) |)rdz## Remaining Proofsrdc3&K|] }d| ywrrrRs rr#zmarkdown..rrr )rjoinextendrk)summarylinesr!recordsr assist_textrs rmarkdownrzsT( gh'(0H0L0LW0U/VVWX_`oXpXtXtu}X~W A go67q9 tyy(iWMgEh(iijk *73S+T*UV!"=>??OPWX{P|O}~#$JKLA O gk232g>V6W5XXq / 0 11K 8 9 ::V X =WEg=h* LL 12  #h-CH:Qs3xjs8}oNggh'(#''(*;)d?|d@dA|dBdC|dDdE|dFdG|dHdI|dJdK|dLdM|dNdO|dPdQ|dRdSdTtj|dUdVdWdX| dYdZdX| dYd[dX| dYd\dX|dYd]d^d7j|xsd_d`dadbd7j|d`dcdX| dYgS)dNrrrrXrrFrrUrrc3XK|]"}tjt|$ywr)htmlescaperrs rr#zhtml_page..sf6dkk+f*=>fs(*rzr+zr,rr-z
l0=rr rz zopenrdc3fK|]}dtjt|dd|dd|ddtjt|dd|jd d|jd d tjt|jd d yw)
  • r6z r,rr-z -> r2z spawn r`raz record rb
    • N)rrstrrrs rr#zhtml_page..s  T[[S]!3456S !CH:%6t{{3s8}CU7V6WXwwx()3778+<*==RSWS^S^_bcfcjcjkxcy_zS{R|}I JsB/B1rz
  • none
    • rrurrvrrszr2zrrzrwrxrzz c3NK|]}dtj|dywz
  • 
    • NrrrRs rr#zhtml_page..s#\tDKK-.e4\#%rc3NK|]}dtj|dyw)rrNrrRs rr#zhtml_page..s+  T[[&'|4r rc3NK|]}dtj|dywrrrRs rr#zhtml_page..s+  t{{4 !'r rc3K|]9}dtj|ddtj|dd;yw)rr z     : rrNrrs rr#zhtml_page.. sE  T[[V-.i C DV8W7XX]^s?Arr zPmap1_01a Exit Target Rankingzz%

    map1_01a Exit Target Ranking

    z

    blocked target rz; exits rz; blocked-target exits rz ; auto exits for blocked target rz1; blocked-target exits also naming return target rz"; reciprocal blocked-target hints rz&; coordinate-like blocked-target hits rz; coordinate-promotable exits rz; selector outgoing candidates rz / selector-only rz; proof found rz ; promotion status rz .

    z

    rz

    z

    Failed Gates

    z
      z
    z

    Missing Evidence

    z

    Evidence Refs

    z#

    Confirmed Incoming Context

    z%

    Selector Outgoing Candidates

    zz>z
    targetoccurrencesselectorsrecordsstrictconfirmedclass
    No selector outgoing candidates.
    z

    Exit Candidates

    z{z

    Remaining Proofs

    )rr rkrrr)rr%r!rrrr selector_rowsrrsproofs failed_gatesmissing_evidence evidence_refss r html_pager)s Dw '-2VZZ() =0I/J+V\V`V`arVsUt u  ++fSWWU^M_Meceff  ;;s3v;/012S !CH:^CGGH77,-./Y/01W-./77./01772345;;s377+;#<=>?@    WW\IZA[\ \F77<=Lww-.GG>*M 99\ I/ "7?#;"> 7q9D@?rc tjt}|jdtt dz |jdtt dz |jdtt dz |jd tt d z d z |jd tt d z |jdtt |j}tt|jgt|jit|jgt|jit|ji}t||j t#d|j dz y)N)rz --map-exitsr)typedefaultz--coordinate-refsrz--route-assistrz--transition-reviewsrrz--scene-adjacencyrz --out-dirz&wrote map1_01a exit target ranking -> r-)argparseArgumentParser__doc__ add_argumentrrr parse_argsrr map_exitscoordinate_refs route_assistrscene_adjacencyr5r4print)parserargsrs rmainrE3sG  $ $ 9F  D#@Z:Z[ +$Fe@ef (tSC_=_` .T4&=SlClm +$Fp@pq  $<    D$.."%$&&+$##R($))2.$&&+ G'4<<( 24<rSsnK"  H~''* Ul  '# ($/` 4Z 1b /^ ?\#%!08 E)A 0:*k"d*.2,0/3&*)- a*a)a-a$ a ' a  aHh0]@Nb25i( zFr
    sidetileautoassisttargetsreview