JJj~dZddlmZddlZddlZddlZddlmZddlm Z ddl m Z e e jjdZedz Zd Zd Zed z Zed z Zed z Zedz Zedz ZdZdZdZdZdZdgdddgdddgdddgdddgddd gd!dgZd:d"Zd;d#Zdd&Z"d?d'Z#d@d(Z$dAd)Z%dBd*Z&dCd+Z' dDd,Z(dEd-Z)dFd.Z* dGd/Z+dHd0Z, dId1Z-dJd2Z.d:d3Z/edddddf dKd4Z0dLd5Z1dLd6Z2edfdMd7Z3dNd8Z4e5d9k(re4yy)Oz2Summarize predecessor-save runtime route attempts.) annotationsN)Counter)Path)Anyout%runtime_selected_pointer_predecessor_z _poll.jsonz!save_selector_mapset_aliases.jsonz(save_selector_scene_adjacency_index.jsonz0save_selector_global_selected_pointer_paths.jsonzsave_scene_selectors.jsonz#save_scene_selector_references.json1:02:0 0x00540714map1_01amap2_02d3out/runtime_selected_pointer_predecessor_*poll.json)uniqueSelectorContextsrouteSelectorHitCountcurrentRootHitCountuniqueWatchValues)pathfieldsz%out/save_selector_mapset_aliases.json)duplicateGroupstargetAliasGroupaliases fieldMapsz,out/save_selector_scene_adjacency_index.json)pairRows selectorsstrictEventBackedconfirmedReviewBackedselectorAdjacencyOnlyz4out/save_selector_global_selected_pointer_paths.json)selectorRootScansselectedRootExecutionRefFoundopcode07SelectsCurrentRootCountopcode09StoresCurrentRootCountzout/save_scene_selectors.json)groupslotselectedPointerHexrz'out/save_scene_selector_references.json)labelresourcefilename sceneMatchedpathHexcLtj|jdSNutf-8encoding)jsonloads read_textrs P/home/exedev/hwanse/tools/summarize_runtime_predecessor_route_attempt_context.py load_jsonr5Ws ::dnngn6 77cp|jr%tj|jdSiSr,)existsr0r1r2r3s r4load_optional_jsonr9[s);?;;=4::dnngn6 7PbPr6c|j}|jtr|ttd}|j t r|dtt  }|j ddS)N_-)name startswithPREFIXlenendswithSUFFIXreplace)rr=s r4 short_labelrD_sV 99D vCKL! }}VNs6{l# <<S !!r6c t}|D]Y}|jdxsgD]?}|jd}|s||xxt|jdxsdz cc<A[|S)Nrselectorcountr)rgetint)rowscountsrowitemrFs r4selector_countsrNhsu"9F@GG45; @Dxx +Hx C(9(>Q$??  @@ Mr6c t}|D]}|jdxsi}|jD]d\}}|j|s|xsgD]D}|jd}|s||d|xxt |jdxsdz cc<Fft t |jS)NrvalueHex=rGr)rrHitemsr>rIdictsorted) rJprefixrKrLuniquekeyvaluesvalue value_hexs r4watch_value_countsr[rs"9FQ,-3!<<> QKC>>&)2 Q!IIj1 cU!I;/0C '8J8Oa4PP0 Q QQ v||~& ''r6c:sytfd|xsgDS)NFc3:K|]}t|k(yw)N)str).0rYrFs r4 z#selector_matches..s@%s5zX%@s)any)rXrFs `r4selector_matchesrbs  @6F!%%&89?RL l#YYy)/R E%&599Z+@H+L   Ir6c|jdxsgD]+}t|ts|jd|k(s)|cSiS)NrrF)rHrlrS) alias_grouprFrps r4 alias_rowrtsE+1r eT "uyy'<'HL Ir6cTg}|jdxsgD] }t|jd|s |j|jd|jd|jd|jdxsg|jdxsg|jdxsg|jdxsgt|jd t|jd t|jd |jd d |S)NrrsourcetargetoccurrenceCount leafPointers sourceRecords targetRecordsrrrclassification) rvrwrxrryrzr{rrrr|)rHrbrgbool)scene_adjacencyrFrJrLs r4scene_adjacency_rowsrs!#D"":.4" CGGK0( ; KK''(+''(+#&77+<#= WW[17R # 7 =2!$!9!?R!$!9!?R%)#''2E*F%G)-cgg6M.N)O)-cgg6M.N)O"%''*:";   Kr6c.|siS|jdxsgD]w}t|jd|s id|jdd|jdxsgd|jdd|jdd|jddt|jdd|jdxsgd |jd d |jd d |jd d |jd d |jd d|jdd|jdd|jdd|jdd|jdd|jdicSiS)NrselectorLabelsprimarySelectorrootHexrangeHexsection isCurrentRootr fieldMapCount opcode07Count opcode08Count opcode09Countr! opcode07SelectsCurrentRangeCountr"opcode09StoresCurrentRangeCount'opcode08NearestCurrentRootProducerCount(opcode08NearestCurrentRangeProducerCountpromotingCandidateCount)rHrbr})selected_pointer_pathsrFrLs r4selected_pointer_path_forrs  %))*=>D" CGG$45x @!377+<#= #''*:";"Ar3779-CGGJ/  3779-   cggo&>!? SWW[17R !9 !9 !9 !92377;\3]3CGG<^4_1#'':Z2[2377;\3] :377=<!&;CGG>=',*3773L+M- 4 Ir6c|jdrt|jdS|jdd|jdS)Nr&r#:r$)rHr^)rLs r4selector_labelrsF www3777#$$ggg q 1 22r6c |siS|xsgD]~}t||k(s||jd|jd|jdxsg|jdxsg|jd|jddcSiS)Nr% rowPointerHexr linkedCnslinkedScanDepthlinkedScannedPointers)rFr%rrrrr)rrH)save_scene_selectorsrFrLs r4static_selector_rowrs  #)r  # ( *$&)gg.B&C!$!9 WW[17R WW[17R#&77+<#=),1H)I   Ir6c g}|s|S|xsgD]}|jd|k7r|j|jd|jd|jdt|jd|jd|jdxsg|jd|jd xsgd |S) Nr&r'r(kindr) sceneIdHextilesetsdepthr*)r'r(rr)rrrr*)rHrgr})save_scene_selector_refsrFrefsrLs r4selector_resource_refsrs"$D  '-2   777 x '   + +GGFO !89'',/ +1rWWW%wwy)/R     Kr6c,tfddDS)Nc3ZK|]"}tj|xsd$yw)rNrIrH)r_rW selected_paths r4r`z/current_path_candidate_count..s.   M  c " 'a( s(+)r!rr"rrrr)sum)rs`r4current_path_candidate_countrs      r6c t||} t| |} t||} t||} t ||}| j dxs;| j dxs(| j dxs| j dxsg}t ||}td|D}td|D}td|D}td|D}t|Dchc].}|j dst|j d0c}}t| }t| j dxst|v}t| j dxst|v}t|tk(xs!|xs|xs|xs|xs|j d }|tk(rd }n'|s |r|d k(rd }n|r|s|s|s|t!|k(rd }nd}id|d| d|d|d|r||z nd dt!t#||dt#||d| j dxs$| j dxs| j dd|d|tk(d|tthvd|d|d| j dxsgDcgc]4}t%|t&r"|j dr|j d6c}d| j dxs|d| j dd | j d!id"| j d#d$| j d%d&| d't| d(t!|d)|d*t|xr | xr|d k(d+|d,|dd-d.|d/t!|d0|d1|d2|d3| d4t| d5|t|j d |t)||d6Scc}wcc}w)7Nrc3DK|]}|jdsdyw)rrNrHr_rLs r4r`z+selector_runtime_context..9sSScgg>Q6RqS  c3DK|]}|jdsdyw)rrNrrs r4r`z+selector_runtime_context..:sZAX9Y!Zrc3DK|]}|jdsdyw)rrNrrs r4r`z+selector_runtime_context..;s^CSWWE\=]a^rc3DK|]}|jdsdyw)r)rNrrs r4r`z+selector_runtime_context..<s&TSCGGN8>+ &   */8DNSNSSLZ~ZZO^>^^#&&TD&T#T ]#Q[I\S!45]^N">}"M;??+;<=YzAYO;??+;<=YzAYO O# G  G  G  G '  G " % %&E F ..G D%AQ%F?% 3~#6 6F@* H* *  .*  | *  >BV3Wo[`[d[den[o*  Z*  'O(C*  x,G+YY*  _*  _*  "y17R #t$)< GGJ  * & {{;Iz'* (  ),)* * %eii0G&H+* , ' 2K(L-* . %))K0/* 0 Z1* 2 !$z"23* 4 !#d)5* 6 $%A7* 8 TZ*nZ9UYZ9Z[9* : ;* < Sb =* > n?* @ !#n"5A* B ./BC* D / E* F 3OG* H }I* J #D$7K* L 9:UM* N*..D.H.HIh.i)j'<1(NKS* *5^P s(N7?N7 9N<c>|dk(rd|dS|dk(rd|dS|dk(r yy) Nrz Selector z resolves to non-scene CNS resource references with no field maps, so its runtime samples are menu/resource diagnostics, not map1_01a -> map2_02d route proof.rz resolves to a different field-map alias group whose adjacency rows are selector-list metadata only and have no strict/confirmed route edge or current-root producer.rzThe public predecessor selector 1:0 belongs to the target-side map set, but the observed runtime attempts never transition from it into selector 2:0/current root or the expected branch-state fill.zaThis selector context is retained as non-promoting until route/current execution evidence exists.)rFr|s r4rrsb??z"j j FFz"l l GG r  or6cLt|}|jdxsg}t|}|jDcic] \}}|dvr||}}}idt |j t dt|d|jdxsdd|jdxsdd |jd xsd d t|jd xsd d t|jd xs t|d|jdxs t|d|jdxsgd|jddud|jddud|jddudtt|jdtt|jdtd|Ddtd|Ddt|dt|dt|d|jdxsddScc}}w) NrJ>r r rr& objectivepromotionStatusunknowntargetSelectorr rer sequenceCountobservedSelectorsobservedPublicSaveSelectorsanyReachedPublicSaveSelectorTanyReachedRouteSelectorContextanyReachedCurrentRootrdnonRouteSelectorCountsrc3XK|]"}t|jdxsd$yw)rrNrrs r4r`z!summarize_file..s%$`TWS1H)I)NQ%O$`(*rc3XK|]"}t|jdxsd$yw)rrNrrs r4r`z!summarize_file..s%"\PS3sww/D'E'J#K"\ractiveOrderValueCounts activeOrder activeSlotsecondaryBranchStater)activeSlotDescriptorValueCountsbranchStateValueCountsr)r5rHrNrRr^ relative_toROOTrDrIr@rTrSrr[)rdatarJrKrFrGnon_route_countss r4summarize_filer sc T?D 88F  !rD T "F &||~ He > ) %  D$$T*+ T"  TXXk*0b  488$56C)   $((#34=   s488M27a8   TXXo6C#d)D  TXX&9:LfVn  &txx0M'N'TRT  '1O(PTX(X  )$((3S*TX\*\  *A!Bd!J  $vflln56  !$v.>.D.D.F'G"H  $`[_$`!`  s"\W["\\! " !"4T="I# $,>dL+Q"4T;Q"Rhh|,2)  sH c|xstt}|xstt}|xstt}|xsttxsg}|xstt xsg}t |jd}|Dcgc] }t|}}t} t} t} t} |D]R} | j| d| j| d| j| d| j| dTtd|D}td|D}td|D}td |D}t | jd Dcgc]\}}t|||||||||d }}}tt| jtd |||||||d }idddddt!|d|D cgc]} | d c} dtdt"dt$ddddddd|dt'd |Dd!t'd"|Dd#|d$|d%|d&td'|Did(t)t | jdt)t | jdt)t | jdt)t | jd)|r|d d*ndd+t!|d,td-|Dd.td/|Dd0t'd1|Dd2|d3|d4gd5d6gd7d8t*d9t!t*d:|d;d<Scc}wcc}}wcc} w)=Nz/runtime_selected_pointer_predecessor_*poll.jsonrdrrrc3&K|] }|d yw)rNrr_rMs r4r`z build_summary..s"ST4(?#@"Sc3&K|] }|d yw)rNrr s r4r`z build_summary..s O&;!< Orc3,K|] }|ds dyw)rrNrr s r4r`z build_summary..s(etEc@d(es c3&K|] }|d yw)reNrr s r4r`z build_summary..sCTT-0Crc|d |dfS)Nrrr)rMs r4zbuild_summary..stAwhQ0r6)rWzobserved-non-route-selectorrzpublic-predecessor-selectorrvz)runtime predecessor route attempt context sourcePatternrsourceFileCount sourceFilesrpublicPredecessorSelectorrcurrentRootHexrblocked proofFoundF!predecessorRouteAttemptProofFound"publicPredecessorObservedFileCountrc3&K|] }|d yw)rNrr s r4r`z build_summary..s-gY]d3S.T-grrc3&K|] }|d yw)rNrr s r4r`z build_summary..s$UtT*A%B$UrrrtotalSampleCounttotalSequenceCountc3&K|] }|d yw)rNrr s r4r`z build_summary..s!JD$"7!JrobservedSelectorCountsdominantDiversionSelectorrFdiversionSelectorContextCountfieldMapDiversionSelectorCountc3DK|]}|jdsdyw)rrNrrs r4r`z build_summary.. s . sww{/CA. r"resourceOnlyDiversionSelectorCountc3DK|]}|jdsdyw)rrNrrs r4r`z build_summary.. s 2 sww~/FA2 r$diversionRoutePromotionEvidenceFoundc3>K|]}|jdyw)rNrrs r4r`z build_summary..s4 7:CGG1 24 sdiversionSelectorContexts publicPredecessorSelectorContext$failedPredecessorRouteAttemptGateIds)zroute-selector-2-0-observationzcurrent-root-observationz)predecessor-to-current-runtime-transitionzstrict-source-hotspotmissingEvidence)zMruntime observation that public predecessor selector 1:0 reaches selector 2:0zIruntime observation that selected pointer becomes current root 0x00540714zNcontrol-flow proof that predecessor route attempts select the current 2:0 rootz?""4(@#AB""4(@#AB C #"SU"SS O OO%((eu(e%e"CUCC &  " " $0  He !       " $ ) $":#7;  % "8 =8 N8  3u:8  7V 7 8  $%@ 8  / 8  *8  98  e8  ,U8  -.L8  )#-gaf-g*g8  $Uu$U!U8  !98  58  .!8 " c!JE!JJ#8 $ !$vo.C.C.E'F"G%8 & !$v.>.D.D.F'G"H'8 ( !$v.A.G.G.I'J"K)8 * !$v.A.G.G.I'J"K+8 , $J\%7%::%Fbf-8 . (-?)@/8 0 )#. +. + 18 6 -c2 +2 / 78 < /4 >P4 1 =8 B $%7C8 D +,FE8 F /1 G8 R  S8 ^  _8 ` C .a8 b c8 d  Fg8 8Y 5D8sM%M*% M0cF|jdxsg}|jdxsi}dd|ddddd|dd |d d |d d |dd|dd|dd|jddd|jdd|jdd|jddd|jdd|d dd!|d"dd#|d$ddd%dd&d'g}|d(jD]\}}|jd)|d*|d+|jgd,|D]}d-j |jd.xsg}d-j |jd/xsgdd0}|xs|xsd1} |jd2|jd3d4|jd5d6|jd7d8|jd9d4| d6|jd:d |jd;d |jd<d*|jd=d*|jd>d+|jdd?dd@|jd3ddA|jd5ddB|jd7dCd-j |jd.xsgxsd1ddD|jd=dE|jd>d|jdxsdg |jgdF|dGD]}d-j dH|dIjDxsd1} |jd2|dJd6| d*t |dKj d*|dd*|dd*|d7d*|dLd+|jgdM|dND]}|jdO||jgdP|dQD]>} |jdR| dJdSd-j | jdTxsg@dUj |dUzS)VNr+r,z+# Runtime Predecessor Route Attempt Contextrrz ## Summaryz- source files: rz- total sequences/samples: r /rz1- public predecessor selector observed in files: rz- route selector hit count: rz- current root hit count: rz - dominant diversion selector: `r#`z- diversion contexts: r$ (field-map r%, resource-only r')z,- diversion route promotion evidence found: r)z- proof found: `rz*- predecessor route attempt proof found: `rz- promotion status: `rz## Selector Countsz| selector | samples |z| --- | ---: |r"z| z | z |)rz## Diversion Selector Contextsrzz| selector | classification | samples | root | maps/resources | adjacency/strict/confirmed | current proof | route proof |z3| --- | --- | ---: | --- | --- | --- | ---: | --- |, rrr<z| `rFz` | `r|z` | rez | `rrrrrrz## Public Predecessor Selectorz - selector: `z- classification: `z - samples: z- field maps: `z- current proof count: z"- route promotion evidence found: )rz## FilesrzR| file | selectors | public 1:0 | route 2:0 | current root | samples | sequences |z0| --- | --- | ---: | ---: | ---: | ---: | ---: |rhc30K|]\}}|d|ywrNrr_rWrYs r4r`zmarkdown..{s`:3Qug.`rdrrr)rz## Missing Evidencerr.z- )rz## Evidence Refsrr/z- `z`: r )rHrRrgextendjoinr^lower) summaryrCpublic_contextlinesrFrGrMmaps resourcesmaps_or_resourcesrrefs r4markdownr]-s %@AGR[[!CDJN5    7#4567 %g.B&C%DAgN`FaEbc ;GDhBCD  4I4 $((:&'uTXX6F-G,HTXXVcMdLef#$E*;)?@xxBCDCxxHIJ#xx567r  ;   LL  , N..z:;1 =!."4"45E"F!Gq I.,,];< =dii(:(:;(G(M2NURUVVW X%n&8&89i&j%k l01C1CDa1b0c d    | , 2  LL   II`FVAWA]A]A_``gdg  $v,tI;c4678>>@A+,-S6K1L0MSM"#3tO'<&=R A   LL )*" r$[!" LL-.~&Q s3v;-s499SWWX5F5L"+M*NOPQ 99U d ""r6c  djd|djD}djd|dD}djd|jdxsgD}djd |d D}djd |d D}|jd xsi}djgdtj|dd|dd|dd|dd|dd|dd|ddtjt |jdd|jdd |jd!d"|jd#d$t |jd%j d&|d'd(|d)d*tj|d+d,|d-|d.tjt |jd/d0tjt |jd1d2|jd3d4tjd5j|jd6xsgxsd7d8|jd9d:t |jd;j d<tj|jdxsdd=|d>|d?|d@S)ANrRc3ZK|]#\}}dtj|d|d%yw) Nhtmlescape)r_rFrGs r4r`zhtml_page..s5 He 4;;x()5'Ds)+r"c3@K|]}dtj|ddtjdjd|djDxsddt |dj d|dd|d d|d d|d d y w)r`rrarLc30K|]\}}|d|ywrOrrPs r4r`z&html_page...s$g*#uuAeW%5$grQrdr<rrrrerrbN)rdrerTrRr^rUr s r4r`zhtml_page..s   {{4<()*{{499$gM]H^HdHdHf$ggnknopq4678>>@AB+,-.)*+,M"#$O$%&  sBBrhc3K|]g}dtjt|jddtjt|jdd|jddtjt|jddtjdj |jdxs|jdxsgd d xsd d|jd d |jdd |jdd|jddt|jdj djy w)r`rFrar|rerrLrrNrMr<rrGrrrrrb)rdrer^rHrTrUr s r4r`zhtml_page..sX  {{3txx 34567{{3txx(89:;<=xx &'({{3txx 23456{{499TXXk%:%ctxx?X?^\^`bab>cdkhklmnxx012! 88: ; ? @AxxHIJK4889:;AACDE sE.E0r+rc3NK|]}dtj|dyw)z
  • 
    • Nrcr s r4r`zhtml_page..s#]$T[[./u5]s#%r.c 3K|]X}dtj|ddtjdj|jdxsgdZyw)z
  • rz : rLrrjN)rdrerTrH)r_r\s r4r`zhtml_page..sY  T[[V-.i DIIcggV^N_NeceDf8g7hhmnsAA r/r,a= Runtime Predecessor Route Attempt Context

    Runtime Predecessor Route Attempt Context

    rz5

    Summary

    • source files: rz'
    • total sequences/samples: r rGrz=
    • public predecessor selector observed in files: rz(
    • route selector hit count: rz&
    • current root hit count: rz1
    • dominant diversion selector: r#z)
    • diversion contexts: r$rIr%rJr'z9)
    • diversion route promotion evidence found: r)z!
    • proof found: rzB
    • predecessor route attempt proof found: rz-
    • promotion status: rzy

    Selector Counts

    a 
    selectorsamples

    Diversion Selector Contexts

    zW
    selectorclassificationsamplesrootmaps/resourcesadjacency/strict/confirmedcurrent proofroute proof

    Public Predecessor Selector

    • selector: rFz+
    • classification: r|z
    • samples: rez
    • field maps: rLrr<z*
    • current proof count: rz.
    • route promotion evidence found: rz

    z

    Files

    z3
    fileselectorspublic 1:0route 2:0current rootsamplessequences

    Missing Evidence

      z%

    Evidence Refs

      z
    )rTrRrHrdrer^rU)rV selector_rows file_rowsdiversion_rowsmissingrrWs r4 html_pagerpsII&'?@FFHM G$  IYYKK ;<BNgg]'J[B\]]G 77>* D[[!CDJN4 4 4  kk','()4 *4 $012%4 $3"%4 &#**>"?!@'4 &AB'4 &CJJ\B]A^'4 &_8'4 (9@@d8e7f)4 (g#)4 *$++B#C"D+4 *E!+4 ,"))>!? @-4 ,A,-4 .-1KKGKKHc>a6b5c74 6d!74 8"&W5F-G!H I94 8JJ94 >KX?4 >YR?4 BSaRbC4 BbC4 HS););J)G%HIJI4 HKI4 J ${{3~/A/ABR/S+TUVK4 JWK4 L!$$]34M4 L5M4 N ;;tyy1C1CK1P1VTV'W'^[^_`O4 NaO4 P-001abcQ4 Pd)Q4 R*-^-?-?@]-^)_)e)e)g(hS4 RiS4 V kk.$$\28b9:W4 V;dW4 Zendo[4 Zo[4 ^i_4 ^_4 b fc4 b c4 4r6c|jdd|dz jtj|dddzd |:|jjdd|jt |d yy) NT)parentsexist_ok.runtime_predecessor_route_attempt_context.jsonF) ensure_asciiindentrRr-r.)mkdir write_textr0dumpsparentrp)rVr:html_outs r4 write_outputsr}s MM$M. ??KK 7q9D@LdT:Ig.Ar6cXtj}|jdtt|jdtdd|j }t |j}t||j|jtd|jdz y)Nz --out-dir)typedefaultz --html-outzHOptional HTML review path. By default only the JSON evidence is written.)rrhelpz3wrote runtime predecessor route attempt context -> rt) argparseArgumentParser add_argumentrOUT parse_argsrEr:r}r|print)parserargsrVs r4mainrs  $ $ &F  $<   W     DDLL)G'4<<7 ? O@@A BCr6__main__)rrreturndict[str, Any])rrrr)rrrr^)rJlist[dict[str, Any]]rz Counter[str])rJrrUr^rzdict[str, int])rXzlist[Any] | NonerF str | Nonerr})rhrrFr^rr)rmrrFrrr)rsrrFrrr)r~rrFrrr)rrrFrrr)rLrrr^)rrrFrrr)rrrFrrr)rrrrI)rFr^rrIrrIrhrrmrr~rrrrrrrrr^rr)rFr^r|r^rr^)r:rrmdict[str, Any] | Noner~rrrrlist[dict[str, Any]] | Nonerrrr)rVrrr^)rVrr:rr|z Path | NonerNone)rr)6__doc__ __future__rrrdr0 collectionsrpathlibrtypingr__file__resolverrrrr?rBr1r2r3r4r5rrr8rrr9r5r9rDrNr[rbrirqrtrrrrrrrrr rEr]rpr}r__name__rr6r4rs8"  H~''* Ul 0 ::HH #&X X88!FF#   F 8 ?  G 0 :  _9 x8Q" (A " ( *   F3 "2. aaaa a # a $ a+a/a3a aaHo&D,0-1488<<@ r r)r+r2 r 6 r : rrja#HZz