7,Jj#dZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZmZddlmZe ej!j.dZed z Zd Zd Zd Zd ZdZdZdZ dgdddgdddgddgZ!dddddZ"d6dZ#d7dZ$d8dZ%d9d Z&d9d!Z'd9d"Z(d9d#Z)d9d$Z*d:d%Z+d;d&Z,dd)Z/ d?d*Z0d@d+Z1dAd,Z2dBd-Z3dCd.Z4dDdEd/Z5dFd0Z6dGd1Z7dGd2Z8efdHd3Z9dId4Z:e;d5k(re:yy)JzOSummarize direct entry-pointer source refs for current route-pair leaf entries.) annotationsN)Path)Any) read_sections va_to_offset)handler_for_opcodeoutmap1_01amap2_02dz2:0iTi)Ti)Ti*Tz0out/save_selector_leaf_table_global_context.json)currentSelectorRouteRowscurrentSelectorRoutePairIndices(currentSelectorNegativeRoutePairRowCount+currentSelectorNonNegativeRoutePairRowCountcurrentFrontierLeafOnlyNegative)pathfieldszout/script_handler_table.json)handlerTableVaHex opcodeCountcodeHandlerCountdefaultHandlerCountentriesz0out/save_selector_opcode07_indexed_pointers.json) opcode07IndexModerowCountvalidTableRowCount selectedLeafTableWindowSlotCount"selectedNegativeRootEntrySlotCount!selectedCurrentRootEntrySlotCountselectedWrapperEntrySlotCountdirectFrontierTargetCountpromotionStatuszWcode-backed direct entry-pointer source for route-pair entries 6/8 or wrapper entry -12zNmodeled encoded entry-anchor control-flow candidate for route-pair entries 6/8zLnon-direct higher-level selector/table index source selecting entries 6 or 8z6normal runtime selection of negative -12 wrapper entry)direct-entry-pointer-source!encoded-entry-anchor-control-flownonnegative-entry-index-sourcenegative-wrapper-index-sourcecp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks P/home/exedev/hwanse/tools/summarize_save_selector_route_pair_index_source_gap.py load_jsonr0Ss* ;;= ::dnngn6 77c2t|trd|dSdS)N0x08x) isinstanceintvalues r/hex32r9Ys)%5Rc{ ?4?r1c"|r t|dSdS)N)r6r7s r/ parse_hexr<]s"3ub>,,r1ct|tsyt||}||dzt|kDryt j d||dS)Nz> Hm,&+& 3; LL% & 'F) s eE3'() Mr1cT|D]#}|d|cxkr|d|dzksn|dcSy)NrGsizename)rFrGr_s r/section_for_varjs># 4=B @!@ @6? "# r1cBt|tsgStjd|}g}|D]o}|d}||dz}|||}|j |} | dk\s,|d| z} |j |d| t | d|j || dz} | dk\rDq|S) Nr?rawrVrrGrh)r_refVarefVaHexr )r5r6rBpackfindrYr9) rErFr8needlerefsr_rbrcdataposref_vas r/ refs_to_valuervs eS ! [[u %FD -gj))5~iiQhT]S(F KK"6?!&M  ))FC!G,CQh - Kr1ct|jdxsijdxsgDchc]$}|jdr|jd&c}Scc}w)N streamEffect fixedAdvancesbytes)sortedget)handleritems r/fixed_advance_bytesrs^ [[06B;;OLRPR  88G   s)A cN|jdxsijdduS)NrxcanJumpToDwordAtPlus4Tr|)r}s r/can_jump_to_plus4rs' KK ' -2 2 23J Kt SSr1c|d}|dz }t|||} | | dznd} | | dz dznd} | t||| ni} |dz} t||| }t| }t| }t|}t|cxkxr t knc}t |cxkxr t knc}t|cxkxr t knc}|dk(xr||k(}|dk(xr ||xsddzk(}d}d }| d k(r| dk(r |dgk(r|sd }n)|rd }n$|rd }n|jddk(rd}d}n|rd}d}|jddu}|d k(r|rd}i|id|dt|dt|dt| d| d| dndd| d| jdd| jdd |d!|d"d| dd#|jd$d%|jdd&|jdd'|d(|d)|||||d*S)+Nrmr>descriptor-pointer child-pointerrz data-wordFZ"opcode-0x5a-mode0-fallthrough-wordleaf-table-entry-celldescriptor-child-wordr_.textztext-immediate-referenceTz#possible-stream-plus4-branch-target isCodeHandler targetKindvalueHex previousVaHexpreviousValueHexpreviousOpcodeHexr302xpreviousOpcodeModepreviousHandlerHex handlerVaHexpreviousHandlerSectionhandlerSectionpreviousHandlerFixedAdvances$previousHandlerCanJumpToDwordAtPlus4fallthroughWordOpcodeHexfallthroughWordHandlerEntryHex entryVaHexfallthroughWordHandlerHexfallthroughWordHandlerSectionfallthroughWordHandlerIsCode$fallthroughWordCanJumpToDwordAtPlus4insideCurrentRootRange)insideCurrentRootEntryRuninsideLeafTableWindow referenceRolepromotesEntrySelection) rIrrr CURRENT_ROOTROOT_TABLE_END_EXCLUSIVEROOT_TABLE_POINTERTABLE_WINDOW_STARTr|r9)rErFref target_kindr8entry_va descriptor_varu previous_vaprevious_valueprevious_opcode previous_modeprevious_handlerfallthrough_opcodefallthrough_handlerprevious_fixedprevious_can_jumpfallthrough_can_jumpinside_current_root_rangeinside_current_root_entry_runinside_leaf_table_window is_table_cellis_descriptor_childrolepromotesfallthrough_is_codes r/ classify_refrs\F1*Kc8[9N/=/Int+tO4B4N^q(D0TXMM\Mh)#xInp,S(VV#77NFhB  !"2"6"67G"H  '  /0A  #b);C(@$A  )*=*A*A,*O  $%8%<%<^%L  ()<)@)@AQ)R  '(;! " /0D# $ !";% &&C!9"*- r1c |jdd|jdd|jdxsdd|jdxsdS)Nr/rz->r-rrrows r/compact_handlerr sZ 77:  q)C!D E SWW0 1 8S 9 CGG3 4 ; < >r1c|jdxsgDcgc]}|jdtk(r|}}t|dScc}w)Nr selectorc&|jddS)N entryIndexrrrs r/z"route_entry_rows..s a(@r1)key)r|SELECTORr{)leaf_table_global_contextrrowss r/route_entry_rowsrsW0445OPVTV  77: ( *  D  $@ AA  s!A cb|Dcgc]O}|jdr<|jdt|jd|jddQ}}i}i}i}i}|D]|}|jd} t| ts%|j | dzgj || t z } d| cxkrdkrnn||| <d| cxkrdkrnn||| <||| <~ggg} dddddd} d$fd d%fd } tt tD]3}t|}||j|gD]}| d xxd z cc<| d |||d|j|}|| dxxd z cc<| d|||dt|}|4|dz|z} |j| }|| dxxd z cc<| d|||dt|}||j|}|| dxxd z cc<| d|||dt|}||dz|z} |j| }|| dxxd z cc<| d|||d6tt tdD]}|}t|D]x}||z} |j| }|| j t|||jd|jd|jd|jddzt!| j#}t%}t%| }|}|rd}n|rd}nd}tt dttt%||Dcgc]%}|jd|jdd'c}| ||||||rd nd!| dd"d# Scc}wcc}w)&Nrr)rentryVarrirl)abs16LowcurrentRootRelativeU16currentRootRelativeU32signedRel16SitePlus2signedRel32SitePlus4c@t|}| t|SiSrS)rTr)row_vaopcoderErFs r/handler_at_rowz1encoded_entry_anchor_scan..handler_at_rowBs,h/) kind siteVaHexrowVaHexrtargetEntryIndextargetEntryVaHex rowOpcodeHexrrhandlerCanJumpToDwordAtPlus4handlerFixedAdvancesstartsAtBranchTargetField r)r|r9rTrrArY)rsite_var8 target_rowwidthrr} stream_effectrbranch_attached_rowsrErraw_rowsrFs r/recordz)encoded_entry_anchor_scan..recordFsQ2 ( N39r wf UqUQY'71&<=a {!^LM *| < *| <sHf-9!h!? DE#KK7%kk*:;,9,=,=>U,VZ^,^$7$@!!"9:dB\wRX[\R\G\ $ x=2  OOC * +4H0IB0N ' ' ,1O +r1rr z abs16-lowrLrzcurrent-root-relative-u16rzsigned-rel16-site-plus2rzcurrent-root-relative-u32r>rzsigned-rel32-site-plus4rr)radvancerrrrz+encoded-entry-anchor-control-flow-candidatez-raw-encoded-entry-anchor-scalars-nonpromotingz"no-encoded-entry-anchor-candidates..)rrzready-for-reviewblockedr) scanRangeHextargetEntryCount targetEntriesrawScalarCandidateCountsrawScalarCandidateCountbranchAttachedEncodedFieldCount modeledControlFlowCandidateCountpromotingCandidateCountclassificationr!rawScalarCandidateRowsbranchAttachedEncodedRowsmodeledControlFlowRows)rr6returndict) rstrrr6r8r6rrrr6rNone)r|r<r5r6 setdefaultrYrrerrMrOrIrQr[rr9sumrdrA)rErFrr target_rows low16_targetsroot_rel16_targetsroot_rel32_targets exact_targetstargetrel modeled_rowscountsrrvalue16rrel16value32rel32rr}r raw_countbranch_attached_count modeled_countpromoting_countrrrrs`` @@@r/encoded_entry_anchor_scanrse   77< '',/ !67'',/ K,.M*,*,%'M $#&#&   &"5< &>B (*73 Gg%F&**62J!   "6]"$.NN<$@$.NN<$@ ' N ;")++.>"? !   FMMO$I 45 %M#OF H= ./r%8P2Q1RS ,# 77<0 @U V %+#,+@,9#2(1@-i"*%9".s"3! y~ s AN''*N,ct|jd}t|jd}t|jd}t|||Dcgc]}t|||d|||}}t|||Dcgc]}t|||d|||}}t|||Dcgc]}t|||d|||} }id|jdd |jd d|jdd|jdd |jd d |jd d|jdd |jd d |jd d|jdd|d|d| dt |dt d|Ddt d|Ddt d|Dt d|Dt d|Dt d|D|Dcgc]!}|jddk(r t |#c}t |t d|Dt d|Dt|xrtd |Dt | t d!| Dt d"| D|"t| xrtd#| Dd$ Sdd$ Scc}wcc}wcc}wcc}w)%Nr descriptorHexchildPointerHexz entry-pointer)rr8rrrrrentryIsNonNegativedescriptorMarkerHexdescriptorIsMarkerShapedescriptorHasRoutePairchildHasRoutePairisFrontierLeafChildentryPointerRefsdescriptorPointerRefschildPointerRefsentryPointerRefCountentryPointerTextRefCountc3JK|]}|jddk(sdywr_rr Nr.0rs r/ z&build_entry_summary..!'ac3779CUY`C`'a##entryPointerPromotingRefCountc3DK|]}|jdsdywrr Nrr*s r/r,z&build_entry_summary..,j3PhHiQ,j  'entryPointerOpcode5aFallthroughRefCountc3JK|]}|jddk(sdywrrr Nrr*s r/r,z&build_entry_summary..s&7 sww'?Cg'gA7 r.c3K|]@}|jddk(r*|jddur|jddurdBywrrrFrr Nrr*s r/r,z&build_entry_summary..sN6 ww'+OO675@>?5H 6 AAc3DK|]}|jdsdyw)rr Nrr*s r/r,z&build_entry_summary..s!4 sww/G'HA4 r3c3DK|]}|jdsdyw)rr Nrr*s r/r,z&build_entry_summary..s!7 sww/J'KA7 r3rrc3JK|]}|jddk(sdywr)rr*s r/r,z&build_entry_summary..s",k3SWWU^M_cjMjQ,kr.c3DK|]}|jdsdywr1rr*s r/r,z&build_entry_summary..s!2 CGG4L,MA2 r3c3DK|]}|jddk(ywrrNrr*s r/r,z&build_entry_summary..scCCGGO,0GGc c3JK|]}|jddk(sdywr)rr*s r/r,z&build_entry_summary..r-r.c3DK|]}|jdsdywr1rr*s r/r,z&build_entry_summary..r2r3c3DK|]}|jddk(ywrrNrr*s r/r,z&build_entry_summary.. s^CCGGO,0GG^r@) &entryPointerFallthroughNonCodeRefCount$entryPointerCurrentRootRangeRefCount'entryPointerCurrentRootEntryRunRefCount'entryPointerFallthroughHandlerSummariesdescriptorPointerRefCountdescriptorPointerTextRefCount"descriptorPointerPromotingRefCountdescriptorPointerOnlyTableCellchildPointerRefCountchildPointerTextRefCountchildPointerPromotingRefCount#childPointerOnlyDescriptorChildWord) r<r|rvrrArrboolall) rErFrrrchild_var entry_refsdescriptor_refs child_refss r/build_entry_summaryrWs./Hcggo67M!234H!h9      ''  J ,!h >      ,'  O ,!h9      ''  J 8 cggl+8 cgg&:;8  cggl+8  1 8  sww'<= 8  "377+D#E 8  377#458  !#''*B"C8  SWW%898  sww'<=8  J8  8  J8  J8  #C'aZ'a$a8  (,j*,j)j!8 " 237 #7 4 #8 (366 !6 3 144 #4 1 477 #7 4 "4 ww'+OO C 4 &)%9),,k/,k)k.12 (2 /   ! dcSbcc #J$''aZ'a$a),,j*,j)j     _^S]^^i8 8no8 8I   Z4 sKK2K&K c  t|}|xsi}t|Dcgc]}t|||}}|Dcgc]}|jddvs|}}|Dcgc]}|jds|}}|Dcgc]}|jdxsgD]}| } }}|Dcgc]}|jdxsgD]}| } }}|Dcgc]}|jdxsgD]}| } }}t d| D} t d| D} t d | D}t d |D}t d |D}t d | D}t d | D}t d| D}t |||}|jdxsd}|jdxsd}|jdxsd}|jdxsd}|jdxsd}|dk(xr|dk(xr|dk(xr |dk(xr|dk(}t | xrtd| D}t | xrtd| D}| dkDxs(|dkDxs!|dkDxs|jdddkDxs| }g}| dk(r|jd|jdddk(r|jd|dk(r|jd|dk(r|jd|Dcgc]}tj||} }d}!idtdtdtd ttd!ttd"tt d#tt"d$z d%|Dcgc]}|jdc}d&|Dcgc]}|jdc}d'|Dcgc]}|jdc}d(t%| d)|d*| d+|d,|jd-d.|jd/d0|jd1d2|jdid3|jd4d5|d6|d7|d8|d9|jd9d:|jd;d<|jd=d>|d?|d@|dA|dB|dC|dD| Dcgc]!}|jdEdFk(r t'|#c}dGt%| dHt dI| DidJ| dK|dLt%| dMt dN| DdO|dP|dQ|dR|dS|dT|dU| dVdWdX|dYt(dZt%t(d[gd\d]|!Scc}wcc}wcc}wcc}}wcc}}wcc}}wcc}wcc}wcc}wcc}wcc}w)^Nr>rr"r#r$r%c3DK|]}|jdsdywr1rr*s r/r,z build_summary..+m#377SkKlA+mr3c3DK|]}|jdsdywr1rr*s r/r,z build_summary..s!1CGG4L,M1r3c3DK|]}|jdsdywr1rr*s r/r,z build_summary..r[r3c3FK|]}|jdxsdywr/rNrr+rs r/r,z build_summary..s'8:=/05A58!c3FK|]}|jdxsdywr_rr`s r/r,z build_summary.."s'<:=/05A5<rac3JK|]}|jddk(sdywr6rr*s r/r,z build_summary..%s&7sww'?Cg'g7r.c3K|]@}|jddk(r*|jddur|jddurdBywr8rr*s r/r,z build_summary..(sN7  77? #'K K GG2 3u < GG: ;u D 7r9c3JK|]}|jddk(sdywr)rr*s r/r,z build_summary../s!&dScggiFX\cFcq&dr.rrrrrr c3DK|]}|jddk(ywr?rr*s r/r,z build_summary..Es&I@C $;;Ir@c3DK|]}|jddk(ywrDrr*s r/r,z build_summary..Hs&D@C $;;Dr@rr"r#r$r%aThe current selector's route-pair entries have no code-backed direct source refs. Entry -13 has no direct entry-pointer ref at all; entries -12, 6, and 8 each have one direct entry-pointer ref, but all three are opcode 0x5a mode 0 fallthrough words whose low-byte handlers are not executable code. The descriptor refs are only the leaf-table cells and child refs are only descriptor child words. The encoded entry-anchor scan adds no modeled control-flow candidate; raw scalar matches stay non-promoting. The opcode 0x07 zero-extended indexer also selects no leaf-table window, negative entry, current-root entry, wrapper entry, or direct frontier target. This removes the direct/encoded/opcode07 path as proof that a higher-level index selects entries 6/8 or the negative -12 wrapper; normal-route promotion still needs runtime selected-root execution, a decoded index source, or a strict source hotspot.sourcer rcurrentRootHexrootTablePointerHextableWindowHexrr>routeEntryIndicesroutePairEntryIndicesnegativeReaderEntryIndicesr&r'r/encodedEntryAnchorScan)encodedEntryAnchorRawScalarCandidateCountr1encodedEntryAnchorBranchAttachedEncodedFieldCountr2encodedEntryAnchorModeledControlFlowCandidateCountr)encodedEntryAnchorPromotingCandidateCount encodedEntryAnchorClassificationrr4rE(nonNegativeEntryPointerPromotingRefCount+negativeReaderEntryPointerPromotingRefCountropcode07RowCountropcode07ValidTableRowCountr(opcode07SelectedLeafTableWindowSlotCount*opcode07SelectedNegativeRootEntrySlotCount)opcode07SelectedCurrentRootEntrySlotCount%opcode07SelectedWrapperEntrySlotCount!opcode07DirectFrontierTargetCount"opcode07DirectEntrySelectionAbsentrHrrrIrJc3JK|]}|jddk(sdywr)rr*s r/r,z build_summary..s%,o3QTQXQXYbQcgnQnQ,or.rKdescriptorRefsOnlyTableCellsrMrNc3JK|]}|jddk(sdywr)rr*s r/r,z build_summary..s!'ecswwyGY]dGd'er.rO!childRefsOnlyDescriptorChildWordshigherLevelIndexSourceProvendirectPointerRefPromotesRoute proofFound!failedRoutePairIndexSourceGateIdsmissingEvidencer!rr evidenceRefsevidenceRefCountremainingProofs)zOdecode a non-direct higher-level selector/table index source for entries 6 or 8z@prove normal runtime selection of the negative -12 wrapper entryzKprove selected-root execution reaches selector 2:0 on the normal route pathzFfind a strict map1_01a source coordinate or hotspot linked to map2_02d conclusion)rrrWr|rrrQrRrY0ROUTE_PAIR_INDEX_SOURCE_MISSING_EVIDENCE_BY_GATESOURCETARGETrr9rrrrrAr EVIDENCE_REFS)"rEropcode07_indexedrFrrroute_pair_entriesnegative_reader_entriesrall_entry_refsall_descriptor_refsall_child_refs!entry_pointer_promoting_ref_count&descriptor_pointer_promoting_ref_count!child_pointer_promoting_ref_count-nonnegative_entry_pointer_promoting_ref_count1negative_reader_entry_pointer_promoting_ref_count,entry_pointer_opcode5a_fallthrough_ref_count,entry_pointer_fallthrough_non_code_ref_countentry_pointer_text_ref_countencoded_anchor_scan.opcode07_selected_leaf_table_window_slot_count0opcode07_selected_negative_root_entry_slot_count/opcode07_selected_current_root_entry_slot_count*opcode07_selected_wrapper_entry_slot_count%opcode07_direct_frontier_target_count&opcode07_direct_entry_selection_absent descriptor_refs_only_table_cells child_refs_only_descriptor_words higher_level_index_source_provenfailed_index_source_gate_idsgate_idmissing_evidencers" r/ build_summaryrs'S!H'-2BRSlBmn3"3#6nGn)0T#CGGL4IV4S#TT.5XsAV9WsXX%,Zc@R8S8YWYZcZcZNZ*1d3SWWE\=]=cacdc3d3dd%,Zc@R8S8YWYZcZcZNZ(++m+m(m%-01(1.*),+m+m(m%478AS8519<<AX<95477#740477!740$'&dN&d#d 3C7K?@EA3 ABGa5 @AFQ4 <=B/-=,@,@A\,],bab)6!; 7 < A 7 ;q @ 7 7! ; 7 2Q 6 +(,,?'@(SIGZIF$(,N';(DGUDA$ *A- 6 81 < 6 A $ =>Q>U>U .? %A * 45H5L5LMf5g+A , +,?,C,CDT,U-A . 23_/A 0 12^1A 2 34a3A 4 67h5A 6 -112EF7A 8 ,00<9A : %&6&:&:;O&P;A < 34b=A > 56f?A @ 45dAA B 01[CA D ,-REA F -.TGA H 2%4 ww'+OO C 4 IA R $S)<%=SA T (,o:M,o)oUA V -.TWA X '(HYA Z N 3[A \ #C'e^'e$e]A ^ ()J_A ` ,-MaA b '(HcA d ()IeA f 6gA h ,-IiA j +kA l 9mA n 7oA p  qA r C .sA t  uA @ jAA AooTXZdZD.H!V&`64 sLU UUU3U>#U)#U!#U'<U-=U2U7=U<!&V cBdjd|xsgDxsdS)N,c32K|]}t|ywrS)r)r+r8s r/r,zcsv..s95CJ9sr)join)rds r/csvrs 889FLb9 9 @S@r1c gdd|ddd|dd|ddd |d d |d dd |dddt|dddt|dddt|ddd|dd |dd |ddd|dd |dd |dd |dd d|ddd |d!dd"|d#dd$|d%dd&|d'dd(|d)dd*|d+dd,|d-d |d.d |d/dd0|d1d |d2d |d3d |d4d d5t|d6dd7|d8dd9|d:dd;|d<dd=|d>dd?t|jd@ddAt|jdBxsgddC|dDddE|dFdddGd|jdBxsgDcgc]}dH| c}ddIddJdK}|dLD]}|jdM|jdNdO|jdPdQ|jdRdQ|jdSxsdTdU|jddV|jddV|jddV|jd!dV|jd#dVt|jd6dV|jdWdV|jdXdY|j ddZdd[d\dM|ddV|ddV|ddV|ddV|ddY dd]dd^d_g |dLD]}|jd`xsgD]}|jdM|jdNdO|jdadU|jdbdV|jdcdO|jddd |jdedQ|jdfdg|jdhxsdTdV|jdidV|jdjdV|jdkdY|j gdl|jdmxsgD]@}dnj |jdoxsg}|jdp|dqdr|B|j gds|j dt|duD|jddvj |Scc}w)wNz+# Save Selector Route-Pair Index Source Gaprz - route: `rhz -> r `z- selector/root: `rz` / `riz- root table pointer: `rjz- route entry indices: `rlz- route-pair entry indices: `rmz"- negative reader entry indices: `rnz&- entry pointer refs/text/promoting: `r&r'r/z6- encoded entry-anchor raw/branch/modeled/promoting: `rprqrrrsz(- encoded entry-anchor classification: `rtz,- entry pointer opcode5a fallthrough refs: `r4z,- entry pointer fallthrough non-code refs: `rEz.- non-negative entry pointer promoting refs: `ruz1- negative reader entry pointer promoting refs: `rvz- opcode07 index mode: `rz+- opcode07 direct entry selection absent: `r~z(- opcode07 rows/valid/direct frontier: `rwrxr}z:- opcode07 selected leaf/negative/current/wrapper slots: `ryrzr{r|z'- entry pointer fallthrough handlers: `rHz%- descriptor refs only table cells: `rz+- child refs only descriptor child words: `rz%- higher-level index source proven: `rz- proof found: `rz)- failed route-pair index-source gates: `rz- missing evidence count: `rz- evidence refs: `rz- promotion status: `r!z## Missing Evidence- z ## Entriesz| index | entry | descriptor | child | entry refs | text refs | promoting refs | opcode5a refs | non-code refs | handlers | desc table-only | child word-only |zO| ---: | --- | --- | --- | ---: | ---: | ---: | ---: | ---: | --- | --- | --- |rz| rz | `rz` | `rrrz` | z | rLrPz |z## Encoded Entry AnchorszU| classification | raw scalars | branch-attached | modeled control-flow | promoting |z#| --- | ---: | ---: | ---: | ---: |z## Entry Pointer Refszm| index | ref | section | role | previous | fallthrough handler | current root range | entry run | promotes |z8| ---: | --- | --- | --- | --- | --- | --- | --- | --- |r#rnr_rrrrz` / rrrr)rz## Evidence Refsrr, rz- `rz`: )rz## Remaining Proofsrc3&K|] }d| yw)rNrir+r~s r/r,zmarkdown..sD2dVDsr )rr|rArYrZr)summaryr~linesrrrs r/markdownrsP( 5(  (   (  (  WX&'tGH,=+>a@ (  WZ01w?O7P6QQRS (  "'*?"@!AC(  #3w/B'C#D"EQG(  (G4K,L(M'NaP(  -S9U1V-W,XXYZ(  19O1P0QQVW^_yWzV{|ABIJiBjAkkl m(  AItAu@vv{}DEx}y|zz@GH|@}~~CDKLwDxCyyz {(  37;]3^2__`a(  7w?h7i6jjkl(  7w?g7h6iijk(  9Ak9l8mmno!( " #?"@B%( & 6g>b6c5ddef'( ( 37;M3N2OuU\]yUzT{|ABIJmBnAoop q)( * EWMwExDyy~@GHt@uvv{|CDo|p{qqvw~fwgvhhi j+( , 2#g>g6h2i1jjkl-( . 08V0W/XXYZ/( 0 6g>a6b5ccde1( 2 08V0W/XXYZ3( 4 7<0135( 6 4C Dg8h4i3jjkl7( 8 &c'++6G*H*NB&O%PPQR9( : W%789;;( < (9 :;1==( > ?( @ A( B C( D#*++.?"@"FB G$Btf+ GE( F G( H I( J K( L jM( N ZO( ERy!   &'tCGGL,A+B%P_H`Gab)*1c2$sww?U7V6WWZww1233sww?^7_6``cww@AB#ww?@A377DEFGsww789SWWEj=kf>mjm=nnq77345SA\9]8^^a77345R 9   LL-.{{>*0b53778,23 s3v;-s6(345 LL01 LLD1B)CDD LL 99U i Hs. R?c g}|dD]N}|jd|jddtj|jdxsddtj|jdxsddtj|jd xsdd |jd d |jd d |jdd |jdd |jdd tjt |jdd |jdd |jddQg}|dD]}|jdxsgD]|}|jd|jddtj|jdxsdd tj|jdxsdd tj|jdxsddtj|jdxsddtj|jdxsddtj|jdxsddtj|jdxsdd |jdd |jd d |jd!dd"j d#|d$D}d"j d%|jd&xsgD}d"j d'|jd(xsgD}d)j gd*d+d,d-d.d/d0d1d2d3d4tj|d5d6d7tj|d8d9tj|d:d;tj|d<d=tj|d>d?tj|d@dA d"j gdB|d dC|d dC|ddD|dEdC|dFdC|dGdC|dHdI|dJdC|dKdC|dLdC|dMdC|dNdC|dOdC|dPdQ|dRdS|ddC|ddT|dUdV|dWdXtjt |jdYdZt |jd&xsgd[d\|d]d[d^d_|d`dadbdcd"j |dddedfdgtjt|dhd |dEd |dFd |dGd |dHdi djdkdcd"j |dddld_|d`dmd_|d`dndod"S)pNrzrzrrzrrzr&z r'r/r4rErHrLrPz r#rnr_rrz / rrz / rrrrrc3NK|]}dtj|dywz
  • 
    • Nhtmlescapers r/r,zhtml_page..2s#adDT!2 359a#%rc3NK|]}dtj|dywrrrs r/r,zhtml_page..3s(,0$t{{4 !'rrc 3K|]h}dtj|jdxsddtjdj|jdxsgdjyw)z
  • rrz : rrrN)rrr|rr*s r/r,zhtml_page..6sf!   SWWV_234I ;;tyy!2!8b9 : ; !sA.A0rrzzzz zF z: Save Selector Route-Pair Index Source Gapa zzz4

    Save Selector Route-Pair Index Source Gap

    z

    rz

    z

    Route: rhz -> r z; selector rz; root riz ; promotion status r!z .

    z(

    entry pointer refs/text/promoting: rz(; encoded raw/branch/modeled/promoting: rprqrrrsz<; opcode07 rows/valid/leaf/negative/current/wrapper/direct: rwrxryrzr{r|r}z*; opcode07 direct entry selection absent: r~z!; opcode5a fallthrough/non-code: z$; higher-level index source proven: rz ; proofFound=rz(; failedRoutePairIndexSourceGates=rz; missingEvidenceCount=z.

    z

    Evidence refs: rz

    Missing Evidence

    z
      z
    z

    Entries

    a z z
    indexentrydescriptorchildentry refstext refspromoting refsopcode5a refsnon-code refshandlersdesc table-onlychild word-only
    z

    Encoded Entry Anchors

    z z
    classificationraw scalarsbranch-attachedmodeled control-flowpromoting
    rtz
    z

    Entry Pointer Refs

    z z

    Evidence Refs

    z

    Remaining Proofs

    zz)rYr|rrrrrAr)r entry_rowsrref_rowsr proof_items missing_itemsevidence_ref_itemss r/ html_pager s? Jy!  77<()*SWW\%:%AcBCDSWW_%=%DEFGSWW->%?%F3GHI77123477567877:;<=77DEFG77CDEF;;s377+T#UVWXY77;<=>77@ABC   "Hy!77-.4" C OOww|,-.![[)<)CDEF{{3779#5#<=>?{{377?#;#BsCDE![[1C)D)KLMNSWW-@%A%HSIJK![[1L)M)TQTUVV`;;sww'FGN3OPQww789:ww:;<=ww789:   "''agN_F`aaKGG4;KK@Q4R4XVXM! ;;~.4" ! 99JJJ J # J Q J E J hJ J J ?J  GL12348J [[!234GDKKPXHY?@++g.>&?@AB&&*kk':K2L&M%Nl  \J( U U 6 U-./ U/0 U123 U34 U678 U95 U BCD  U EF  U JKL  U MN  UKLM UNO UBCD UEI U)*+ U,- U345 U67 UABC UDE UCDE UFG UBCD UEF U>?@ UAB U :;.% U(@AB) U(CD) U*?@A+ U*B1+ U.567/ U.8/ U0",/01 U011 U4[[W[[1T%U!VWX5 U4Y$5 U6%( 4E(F(L"$M#N7 U6OT7 U)Jb &g.@&A%B%HcJd &eJf u%gJh iJj RkJl BGGJ'((89mJn +oJp eqJr {{3w'IJKLMNBCDEJKLMKLMNBCDE  sJ@ (AJB NCJD BGGH%&&67EJF #GJH #$E*IJJ &KJL  U#MJN OJP QJR SJJ Jr1c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz.save_selector_route_pair_index_source_gap.jsonFrL) ensure_asciiindentrr'r(.save_selector_route_pair_index_source_gap.html)mkdir write_textr+dumpsr)rout_dirs r/ write_outputsrsk MM$M. ??KK 7q9D@L ??KK'Lr1cFtjt}|jdtt dz |jdtt dz |jdtt dz |jd tt |j}t|jjt|jit|ji}t||jt!d |jd z y) N) descriptionz--exez Hwanse2.exe)typedefaultz--leaf-table-globalz,save_selector_leaf_table_global_context.jsonz--opcode07-indexedz,save_selector_opcode07_indexed_pointers.jsonz --out-dirz%wrote route-pair index source gap -> r)argparseArgumentParser__doc__ add_argumentrROOTOUT parse_argsrrE read_bytesr0leaf_table_globalrrrprint)parserargsrs r/mainrs  $ $ 9F dD=4HI -D#HvBvw ,4GuAuv  $<    D $(("-$'',G '4<<( / <<J J K Mr1__main__)rrr.rrr)r8 int | Noner str | None)r8rrr)rErzrF list[dict]rGrrr)rFrr\r6r]r6r list[int])rFrrGr6rr)rErzrFrr8rrr)r}rrr)r}rrrQ)rErzrFrrrrrr8r6rrrrrr)rrrr)rrrr)rErzrFrrrrr)rErzrFrrrrrrS)rErzrrrz dict | Nonerr)rdzlist[Any] | Nonerr)rrrr)rrrrrr)rr)rsU" 3tH~--/6678>= H~''* Ul    %C  0  C   +# N b Y W A 40 8 @-4444 *TE EE E  E  EEE EPBNb`F[|AWtzz25 & zFr1
    indexrefsectionrolepreviousfallthrough handlercurrent root rangeentry runpromotes