.JjeLNdZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZgdZgd Zd gd d d gdd dgdd dgdd gZddZddZddZ d d dZd!dZd!dZedfd"dZd#dZedk(reyy)$zXCompare current-root route-pair descriptors with the reader-bearing frontier descriptor.) annotationsN)Path)Anyout)z&normal-runtime-selector-root-executionzreader-branch-target-linkagezstrict-source-hotspot)zPnormal runtime selector/root execution reaching corrected route-pair descriptorszR0x00542b0c reader branch outcome and field-map target linkage on a real route pathz,strict map1_01a source coordinate or hotspotz'out/save_selector_leaf_index_space.json)routeRelevantRowscurrentRoutePairDescriptorCount evidenceRefsevidenceRefCount)pathfieldsz,out/save_selector_scene_record_sequence.json)rowssourceToTargetAdjacentgeometryExitWordHitsz$out/save_selector_stream_traces.json) streamVaHextrace stopReasonz2out/save_selector_opcode2c_route_pair_context.json)rcorrectedTrace correctedTraceReachesReaderCountcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)r fallbacks R/home/exedev/hwanse/tools/summarize_save_selector_route_pair_descriptor_context.py load_jsonr ,s* ;;= ::dnngn6 77c siStfd|Dd}|siS|jdxsg}|r|dni}|jdt||ddDcgc]%}|jds|jd'c}|jd|jd|jdtd |Dd Scc}w) Nc3LK|]}|jdk(s|yw)rNget).0item stream_hexs r ztrace_brief..5s!X$((=2IZ2WXs$$r streamKind opcodeHexvaHexrc3DK|]}|jddk(yw)r. 0x00542b0cNr$r&r's rr)ztrace_brief..Bs%ZDdhhw&7<&G%Zs )r+r stepCountopcodes stopVaHex stopOpcodeHexrcontainsFrontierReader)nextr%lenany) stream_tracesr(rowrlastr's ` r trace_briefr=2s  XXZ^ _C  GGG  "E592Dggl+!Z6;BQiYd488KCXDHH[)YXXg&+.hh|,"%%ZTY%Z"Z  Zs C 6C c|siS|jdxsgDcic]8}|jdr%|jd|jdxsi:c}Scc}w)Nr descriptorHexrr$)opcode2c_route_pair_contextr;s rcorrected_traces_by_descriptorrAFse & /226:@b   77? #  #''*:";"ArA  s=Ac t t|}|jdxsgDcic]%}|jdr|jd|'}}|jdxsg}|Dcgc]&}|jdr|jdr|(}}|Dcgc]&}|jds|jdr|(} }| Dcgc]}|jds|} }| Dcgc]}|jdr|} }g} |D]}|jd} |jd }|j| xsi}|jd xsg}|j| xsi}|jd d u}|jdd u}| jid |jdd|jdd|jdd| d |d|jdxsgd|jdxsgd|jdxsgd|jdd|jdd|jdd|jdd|d|d|jdd|xs|d|jd|jdxsg|jd|jdt|t || t |||dt d| D}t d| D}|r|n|}t d | D}t d!| D}t |Dchc]}|jdxsgD]}| c}}}d"}id#|jd#d$|jd$d%|jd%d&|jd&d'|jd'd(|jd(d)t|d*|Dcgc]}|jdc}d+|Dcgc]}|jdc}d,|d-|d.t|d/|d0|d1t|xr|t|k(d2|d3|id4t| d5t| d6| Dcgc]}|jdc}d7|jd7d8t|d9d:d;d:dtd?td@tdAttdBdCd| dD|dEtScc}wcc}wcc}wcc}wcc}wcc}}wcc}wcc}wcc}w)FNrleafPointerHexrinsideCurrentRootEntryRundescriptorHasRoutePair%descriptorTraceContainsFrontierReader childTraceContainsFrontierReaderr?childPointerHexrreachesFrontierReaderTindexrootRelativeIndex entryVaHexdescriptorFieldMapsdescriptorNestedFieldMapschildFieldMapschildHasRoutePair(rawDescriptorTraceContainsFrontierReader.correctedDescriptorTraceContainsFrontierReader%correctedDescriptorFrontierReaderStepfrontierReaderStep.effectiveDescriptorTraceContainsFrontierReaderrrecordSequencesourceRecordVaHextargetRecordVaHex)rVrWrXgeometryExitWordHitCountdescriptorTrace childTracecorrectedDescriptorTracec3K|]J}|jdr7|jdr&|jds|jdrdLyw)rDrErFrGrNr$r&r;s rr)z build_summary..sL 6  77. / GG, - GG; <ww9:  6sAAc3K|]9}|jdr&|jdr|jdrd;yw)rDrErRrNr$r^s rr)z build_summary..s?<  77. / GG, - GGD E <?Ac3K|]8}|jdr%|jdr|jdd:yw)rDrErYrNr$r^s rr)z build_summary..s=+  77. /CGGAc3K|]9}|jdr&|jdr|jdrd;yw)rDrErrNr$r^s rr)z build_summary..s?&  77. / GG, - GG, - &r`aLThe current non-negative selector entries at indices 6 and 8 carry map1_01a/map2_02d route-pair scene-list descriptors. Their raw generic traces still stop at opcode 0x2c, but the opcode 0x2c correction traces both descriptors to the reader-bearing frontier 0x00542b0c. This removes the stale trace contradiction while keeping the route pair as selector scene-list adjacency/control-flow evidence: the scene-record sequences still have no geometry exit word hits, the reader branch payload does not yet prove a field-map target, and strict runtime selector/hotspot proof is still missing.sourcetargetselectorrootHexrootTablePointerHexfrontierReaderHexr !currentRoutePairDescriptorIndicescurrentRoutePairDescriptorHexescurrentRoutePairNestedFieldMaps"currentRoutePairSceneAdjacentCountopcode2cCorrectionApplied*currentRoutePairRawTraceReachesReaderCount0currentRoutePairCorrectedTraceReachesReaderCount7currentRoutePairCorrectedTraceAllDescriptorsReachReader'currentRoutePairTraceReachesReaderCount$currentRoutePairGeometryExitHitCountreaderBearingCurrentEntryCountreaderBearingNegativeEntryCountreaderBearingNegativeIndices*frontierReaderSelectableByNonNegativeIndex2frontierReaderReachableByCorrectedNonNegativeIndexruntimeSelectionProvenFstrictHotspotFound proofFoundroutePairDescriptorProofFound failedRoutePairDescriptorGateIdsmissingEvidencer r promotionStatusblocked conclusionremainingProofs) rAr%appendr8r=sumsortedbool%FAILED_ROUTE_PAIR_DESCRIPTOR_GATE_IDS&ROUTE_PAIR_DESCRIPTOR_MISSING_EVIDENCE#ROUTE_PAIR_DESCRIPTOR_EVIDENCE_REFS) leaf_indexscene_sequencer:r@corrected_by_descriptorr;sequence_by_leaf route_rowscurrent_route_pair_rows reader_rowscurrent_reader_rowsnegative_reader_rowsrdescriptor_hex child_hexsequence geometry_hitscorrected_tracecorrected_reaches_readerraw_reaches_reader+current_route_pair_raw_trace_reaches_reader1current_route_pair_corrected_trace_reaches_reader'current_route_pair_trace_reaches_reader current_route_pair_geometry_hitscurrent_route_pair_adjacentname nested_mapsrs r build_summaryrPs  ==XY"%%f-3  77# $  !3&  34:J! 77. /CGGbCcc D! 1GG-. #''7=2 %;<B 155nEK#2#6#67N#OSW#W  WW%LMQUU  SWW01 #'',/  (1L)M  ^  y  "377+@#A#GR   (1L)M)SQS  cgg&67=2  %cgg.F&G  )V  4_5H5HI]5^ =>P>lTl! " %hll3K&L# $'ll+;<B!).A!B!).A!B(+M(:*=.I%mY?(71  ! F36 6 6 3/9<<<95 # : 8, (+++($ #&&&#* WW89?R   K  F, *..*, *..*,  JNN:.,  :>>), ,  z~~.CD ,  Z^^,?@ ,  *3/F+G,  ,4K. -0CGG' (. ,  *0G, ),CGGO $, ,  *;,  -.I,  $T*A%B!, " 56a#, $ ;|jd?d<|jd@dA|jdBxsdCd>d*j|jdDxsgxsdCdEd*j|jdFxsgxsdCdEd*j|jdGxsgxsdCdE|jdHdE|jdIdE|jdJdCdK|jdLxsdCd>|jdJdCdM|jdNdCdO|jdPdCdE|jdJdCdK|jdLxsdCdQ|j gdR|j dS|dTD|jddUj|S)VNz-# Save Selector Route-Pair Descriptor Contextz - route: `rcz -> rd`z - selector: `rez` root `rfz- root table pointer: `rgz- frontier reader: `rhz"- current route-pair descriptors: r  at riz1- current route-pair scene-adjacent descriptors: rlz"- opcode 0x2c correction applied: rmz1- current route-pair raw traces reaching reader: rnz7- current route-pair corrected traces reaching reader: roz-- current route-pair traces reaching reader: rqz)- current route-pair geometry exit hits: rrz"- reader-bearing current entries: rsz#- reader-bearing negative entries: rtruz4- frontier reader selectable by non-negative index: rvz- proof found: rzz&- failed route-pair descriptor gates: , r|z- missing evidence count: r}z- evidence refs: r z- promotion status: `r~rz## Route-Relevant Entriesz| index | entry | current | descriptor | child | desc maps | nested maps | child maps | adjacent | geo hits | raw desc trace | corrected desc trace | child trace |zQ| ---: | --- | --- | --- | --- | --- | --- | --- | --- | ---: | --- | --- | --- |rrZr[r\z| rJz | `rLz` | rDr?z` | `rH-rMz | rNrOrrYr2z steps, stop `r steps, reaches rIz at step rTz` |)rz## Remaining Proofsrc3&K|] }d| yw)z- Nr1s rr)zmarkdown..sD2dVDsr )joinr8r%rextend)summarylinesr; desc_trace child_tracers rmarkdownrs07 WX&'tGH,=+>a@  +,HWY5G4HJ !'*?"@!AC w':; ,W5V-W,XX\]dfI^J]K L ;GDhwGs?t>uv ',/01 07Ce;f1g0hi $S1B)C%D$EF GKK(:;<= (9 :;1=   #  n[9 E<v WW./52 ggl+1r ''"<=C  j jb j!" j$ jsww|'<&= jT j#''JeBfAg jh j() j). j/2ww7H/I/PS.Q jQU jyy!67=2>E#F jFI jyy!<=CDKL jMP jyy!128b9@SA jBE j ww/01 j 25 j 69WW=W5X4Y j Z] j ~~k3/0 j 1? j @J~~l?[?b_b>c j dh j"";45 j6F jGVFYFYZqsvFwEx jy j'**+?EF jGJ j{C01 j2@ jALP\@]@dad?e jfi j   LL01 LLD1B)CDD LL 99U r!c)g}|dD]}|jdxsi}|jdxsi}|jdxsi}|jdjgd|jddtjt |jd d |jd dtjt |jd d tjt |jdxsdd tjdj|jdxsgxsddtjdj|jdxsgxsddtjdj|jdxsgxsdd|jdd|jdd|jdddtjt |jdxsdd |jddd|jddd|jddd|jdddtjt |jdxsdddjd|d D}d!jd"d#d$d%d&d'd(d)d*d+d,tjt |d-d.tjt |d/d0tjt |d1d2|d3d4|d5d6|d7d8|d9d:|d;d<|d=d>|d?d@|dAdBtjt |dCdDdE|dFdGtjdHj|dIdJt |dKdL|jdMdD dNtj|dOdPdQdRdj|dSdTdU|dVdWdXdgS)YNrrZr[r\rzrJzrLzrDr?zrHrrrMz rNrOrrYr2z steps, stop rrrIz, reader step rTzc3NK|]}dtj|dyw)z
  • z
    • N)htmlescaper1s rr)zhtml_page..7s#\tDKK-.e4\s#%rrzzzz zF z< Save Selector Route-Pair Descriptor Contexta zzz6

    Save Selector Route-Pair Descriptor Context

    z

    route rcz -> rdz; selector rez(; current route-pair descriptors r z!; opcode 0x2c correction applied rmz0; current route-pair raw traces reaching reader rnz6; current route-pair corrected traces reaching reader roz,; current route-pair traces reaching reader rqz(; current route-pair geometry exit hits rrz"; reader-bearing negative entries rtrruz; promotion r~z .

    z

    proof found rzz2; failed route-pair descriptor gates ,r|z ; missing evidence r}z; evidence refs r z

    rz

    a z z
    indexentrycurrentdescriptorchilddesc mapsnested mapschild mapsadjacentgeo hitsraw desc tracecorrected desc tracechild trace
    z

    Remaining Proofs

    z
      z
    zz)r%rrrrstrr8)rrr;rrrproofss r html_pager s Dv WW./52 ggl+1r ''"<=C     777#$ % S)>%?@A B 77678 9 S)A%BCD  E   S1B)C)Js%KLM   N   ;;tyy1F)G)M2NURUVW   X  ;;tyy1L)M)SQST[X[\] ^ ;;tyy1A)B)HbIPSQR S 77345 6 77567 8 >>+s34 5H IM TWXbXfXfgsXtX{x{T|H}G~  #&&{C89 :J KZJ]J]^uwzJ{I| }K L[L_L_`tvyLzK{ { ??;45 6I JNUXYdYhYhiuYvY}z}U~IIA A   *WW\IZA[\ \F 99"PF \@ DKKGH,=(>?@ TWX_`hXiTjHkGlmEFJFQFQRUV]^hViRjFkEllTU\]~UT@@abijEbFaGGwx@lxmwnndelm_e`daaM N U V  N @ M A A i j q r X j Y i Z Z | } D E f } g | h h l m t u S m T l U U g h l h s h s t w x  @Qx Rt Sh Tg UUa b !',"7!88jkokvkvwzwwAHIkAlxmlnkooOPST[\mTnPoOppMNUNYNYZlNmMnnz {  GL12348 \ BGGDM?"23%  ) r!c|jdd|dz }|jtj|dddzd |9|jjdd|jt |d |S) NT)parentsexist_okz0save_selector_route_pair_descriptor_context.jsonF) ensure_asciiindentrrr)mkdir write_textrdumpsparentr)rout_dirhtml_outjson_outs r write_outputsrPs MM$M.KKH  7q9D@dT:Ig.A Or!c tjt}|jdtt |jdt|j }|j}tt|dz it|dz it|dz gt|d z i}t|||j}td |y) N) descriptionz --out-dir)typedefaultz --html-out)rz#save_selector_leaf_index_space.jsonz(save_selector_scene_record_sequence.jsonz save_selector_stream_traces.jsonz.save_selector_opcode2c_route_pair_context.jsonz'wrote route-pair descriptor context -> ) argparseArgumentParser__doc__ add_argumentrOUT parse_argsrrr rrprint)parserargsrrrs rmainr]s  $ $ 9F  $<  40    DllG'AA2F'FFK'>>C'LLbQ G Wgt}}=H 3H: >?r!__main__)r rrrreturnr)r: list[dict]r(z str | Nonerdict)r@ dict | Nonerzdict[str, dict])N) rrrrr:rr@rrr)rrrr)rrrrrz Path | Nonerr)rNone)r __future__rrrrpathlibrtypingr__file__resolverROOTrrrrr r=rArrrrr__name__rr!rrs^"  H~''* Ul)% *&:n ?L 78 EP'#(8 (04 XXXX"- X  Xv2j-`25d  @  zFr!