7,JjJdZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ddl m Z ejjdee ej%j&ddlmZmZmZddlmZe ej%j4d Zed z Zd Zd Zd ZdZ dZ!dZ"dZ#dZ$dZ%dZ&dZ'ddgZ(hdZ)ddddddZ*dgd d!d"gd#d!d$gd%d!gZ+d@d&Z,dAdBd'Z-dCd(Z.dDd)Z/dDd*Z0dDd+Z1dDd,Z2dEd-Z3dFd.Z4dGd/Z5d0d1d2 dHd3Z6dId4Z7dJd5Z8dKd6Z9 dLd7Z:dMd8Z; dNd9Z< dO dPd:Z=dQd;Z>dQd<Z?efdRd=Z@dSd>ZAeBd?k(reAyy)TzRCheck whether predecessor descriptor boundaries bridge to fill/current route code.) annotationsN)deque)Path)Any) offset_to_va read_sections va_to_offset)section_name_for_vaoutmap1_01amap2_02diGi DiDHi\ Di( DiTi*Ti*Ti +TiDHiDH>.text.rdata.datazHroot-stop descriptor edge or node reaching the predecessor fill fragmentzYfill-stop descriptor edge or node reaching the current root, wrapper, frontier, or readerz]descriptor closure target edge classified as route execution rather than descriptor-only datazJencoded descriptor scalar attached to modeled route-execution control flowzLruntime trace or decoded non-linear VM path crossing the descriptor boundary)root-stop-to-fill-bridgefill-stop-to-current-bridgeroute-execution-target-edge,descriptor-encoded-route-target-control-flow$runtime-or-decoded-nonlinear-vm-path Hwanse2.exe)z'0x00440a9c root-stop descriptor closurez'0x00440c5c fill-stop descriptor closurez,0x004844d0/0x004844d8 predecessor fill sitesz0x00542b0c current reader)pathfieldsz1out/save_selector_data_descriptor_opcode_map.json)#predecessorRootStopIsDataDescriptor#predecessorFillStopIsDataDescriptor d0DescriptorSharedHandlerOpcodes c0DescriptorSharedHandlerOpcodesz;out/save_selector_predecessor_fill_execution_order_gap.json) fillSiteslocalFillTraceStopHexcurrentRootHexcurrentReaderHex)rootEntryFixedTraversalFillSitesReachablec|d|dSdS)N0x08xvalues V/home/exedev/hwanse/tools/summarize_save_selector_predecessor_descriptor_bridge_gap.pyhex32r*Vs$0Rc{ :d:cx|js|iS|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks r) load_jsonr5Zs5 ;;=%r383 ::dnngn6 77r+c@|sy t|dS#t$rYywxYw)N)int ValueErrorr's r) parse_hexr:`s+ 5"~ s  cvt||}||dzt|kDrytjd||dS)NrBs r)u16_atrKprHr+cvt||}||dzt|kDrytjd||dS)NrJzrBs r)s16_atrMwrHr+cvt||}||dzt|kDrytjd||dS)Nr<zrBs r)s32_atrO~rHr+cN|D] }|d}||dz}||cxkr |ks|cS"y)Nrawraw_sizer&)rDrFsectionstartends r)section_for_offsetrVsEgj)) F S N ! r+ctjd|}g}d} |j||}|dkr |S|dz}t||}| |dtvr:t ||}|I|j t||dd|ddn)Nr=rr namer$06x)refVaHexrS fileOffsetHex)r@packfindrV SCAN_SECTIONSrappendr*) rCrDr(needlerefssearchhitrSref_vas r) value_refsres [[u %F D F hhvv& 7  Kq$Xs3 ?gfo]B h, >  f v!#c^   r+cj|jdxsgD]}|jd|k(s|cSiS)Nsitesroleget)rhdescriptor_maprows r)site_from_descriptor_maprms=!!'*0b 776?d "J Ir+r7i) window_dwords max_nodesct|g}g}t}g} g} |jD cic]} | d} } |jD cic]} | d} } |rdt||krU|j }||vr'|j ||j |||vr| ||xxdz cc<g}t|D]}||dzz}t|||}| t||nd}|dk(s.t|t|t||j||d}| j ||j |||vr| ||xxdz cc<||vs|j || j t|||v|j|t||ddd|rt||krUt|||t|t|t| | | | Dcgc]}|jds|c}|dd Dcgc] }t|c}|Dcgc] }t|c}| dd d Scc} wcc} wcc}wcc}wcc}w) Nrr r<r) sourceVaHex sourceNodeHexvalueHex targetLabel targetSection ) nodeVaHex isTargetNodertpointerCountInWindow pointerValuesrt ) startHex windowDwordsmaxNodesvisitedNodeCount truncated edgeCounttargetNodeHitstargetEdgeHitstargetEdgeRows firstNodesvisitedNodesHexnodeRows) rsetvaluesr?popleftaddr_rangerGr r*rjbool)rCrDstart_vatargetsrnroqueueseenseen_setedges node_rowslabeltarget_node_hitstarget_edge_hitsrEpointer_valuesindexrow_var(rSedges r)descriptor_closurersi 8* EDH EI>Enn>N'OUq'O'O>Enn>N'OUq'O'O CI ) ]]_ >  R B = WR[ )Q . )=) (E%!)^FS(F3E>C>O)(E:UYG'!#(=%*2Y %e #*;;u#5%,  T"%%d+G#$WU^494(LL'# ($ r'M";;r?$'$7+CR0   9 CI )J(O%I%[Z**,1MDTXXm5L4M15cr;uU|;6:;UE%L;crN  O(P'O^N;;s# I I 0III,Ic g}|jD]X\}}t|||}|j|t|t |t |Dchc]}|d c}|dddZ|Scc}w)NrS)r targetHexrefCount refSectionsra)itemsrer_r*r?sorted)rCrDrrowsr(rrarefs r)target_ref_rowsrs} D  u#x/ uD !T"Bc3y>"BC"I     K#Cs A0c,tfd|DS)Nc3BK|]}j|dyw)rNri).0rhitss r) znonzero_hits..s6etxxq!6s)sum)rlabelss` r) nonzero_hitsrs 6v6 66r+c g}|jdxsgD]}t|jd}t|jd}|j||jd|jd||t||z nd|jd|jd|jdd|S)Nrrqrrrsrtru)closurerrrqsourceOffsetFromNodeHexrrtru)rjr:r_r*) closure_namerrrl source_va source_nodes r)compact_target_edge_rowsrs D{{+,2  cggm45  89  # WW_577=1$)@(-Y-D'E,77=1 WW_5     Kr+c td|}td|}hd}|Dcgc]}|jd|vs|}}|Dcgc]}|jd|vs|}}|Dcgc]}|jd|vs|} }|Dcgc]}|jd|vs|} }t|t|t| t| t|Dchc]}|jdc}t|Dchc]}|jdc}t |xs|xr| xr| ||d Scc}wcc}wcc}wcc}wcc}wcc}w)Nroot-stop-descriptorfill-stop-descriptor>e8-route-descriptorc0-fill-stop-descriptord0-root-stop-descriptorrt) rootDescriptorTargetEdgeCountfillDescriptorTargetEdgeCount!rootRouteExecutionTargetEdgeCount!fillRouteExecutionTargetEdgeCountrootDescriptorOnlyTargetLabelsfillDescriptorOnlyTargetLabelssharedDescriptorOnlyrootTargetEdgeRowsfillTargetEdgeRows)rrjr?rr) root_closure fill_closureroute_execution_labels root_rows fill_rowsdescriptor_labelsrlroot_descriptor_rowsfill_descriptor_rowsroot_route_rowsfill_route_rowss r)descriptor_target_edge_summaryrs_ ))?NI()?NIe+4dC 8NRc8cCdd+4dC 8NRc8cCdd&/ds377=3IMc3csdOd&/ds377=3IMc3csdOd),-A)B),-A)B-0-A-0-A*0Th1iS#''-2H1i*j*0Th1iS#''-2H1i*j $%9%Q=Q R!  !  ''   eddd 2j1is:D<D<EE'EE E #E EEc T|jdxsg}|jdxsg}||z}|jdxsd}|jdxsd}|jdxsd}|jdxsd}||z}||z} t|xrtd|D} |r| dk(r|jd d ur| rd } n| rd } n |dk(rd } nd} | || |||||jd d u| |jdxsg|jdxsg| d k(rdd Sdd S)Nrrrrrrrc3DK|]}|jddk(yw)rurNri)rrls r)rz4descriptor_edge_rejection_summary..;s#603 G+6s rTz'descriptor-only-no-route-execution-edgezroute-execution-edge-candidatezno-descriptor-target-edgezreview-requiredrrblocked) classificationdescriptorTargetEdgeCountrouteExecutionTargetEdgeCountrrrrrallTargetSectionsDatarrpromotionStatus)rjrall) edge_summaryrrall_rowsroot_descriptor_countfill_descriptor_countroot_route_countfill_route_countdescriptor_edge_countroute_execution_edge_countall_target_sections_datars r)!descriptor_edge_rejection_summaryr1s  !56<"I  !56<"I9$H(,,-LMRQR(,,-LMRQR#''(KLQPQ#''(KLQPQ14II!14D!D#H~ #67?63  &! +   3 4 < $B #9 ! #4*(%:)C)>)>-=-= , 0 01G HD P!9*6*:*:;[*\*b`b*6*:*:;[*\*b`b F F%  r+ct|}|jDcgc] \}}||vr||f} }}g} t} d|fd|ffD]>\} } | jdxsd}| jdxsgD] }t|}|t |D]}||dzz}t ||}|dk7rdt |||dfd t||||d zfd t||||dzfg}|D]\}}}| | D]\}}|dk(r ||d zk(}n|duxr||z|k(}|s%| |||f}|| vr0| j|| j| ||t|t||z t|d zt|||ddd  A| Dcgc] }|ddk(s |}}| Dcgc] }|ddk(s |}}i}i} | D]>}|j|dddz||d<| j|dddz| |d<@| rdnd}!|!t| t|t|dtt|jtt| j| dddd Scc}}wcc}wcc}w)Nrrr}rrr<rz abs16-lowzsigned-rel16-site-plus2rJzsigned-rel32-site-plus4ilrF) rkindrr slotVaHexslotOffsetFromNodeHexrsrrt sourceSectionrpromotesRouteExecutionrrtr rz4descriptor-encoded-route-target-scalars-nonpromotingz-no-encoded-route-target-in-descriptor-closurer) rrawScalarCandidateCountrootRawScalarCandidateCountfillRawScalarCandidateCountpromotingCandidateCounttargetLabelCounts kindCounts sampleRowsr)rrrjr:rr rKrMrOrr_r*r?dictr)"rCrDrrrrroute_label_settargetr target_itemsrrrrrnnode_hexnode_varslot_vasource_sectionrrr(rel_base target_va target_labelmatcheskeyrlrr target_counts kind_countsrs" r)descriptor_encoded_target_scanr]sJ01O%]]_ FE O # L D+.5D . ."- g N38q  $56<"( H)G}-$ !EAI-!4Xw!G!W, &h"@$G.sHg0NPWZ[P[\.sHg0NPWZ[P[\ .4)D%} 3?/ <;.&+ F0B&CG&.d&:&\x%?OS\?\G&$+T7IF$;$  '3$(-5).w5:7W;L5M(-ej.@(A).y)9+7-;/86; % $  (  -^!%QI:P(PQIQ $QI:P(PQIQ$&M"$KG,9,=,=c->PRS,TWX,X c-()#.??3v;#BQ#F CK G  ? < )#&t9'*9~'*9~#$!&)<)<)>"?@6+"3"3"5673Bi$  GnRQsI1 I7I7& I<4I<cd |xsi}|xsi}t|}|jdgDcgc] }t|c}xst}|Dcgc]}|| }}tdt dt dtdtdtdtdtd td i }t|D] \}}d |||<td |}td |} t||t|} t||t |} t!|||} | D cic] } | d| d }} |j#Dcgc]}|j%ds|}}|j'dgd}t)t+||z}t-| | |}t/|}t1||| | ||}t3| d|t3| d|zdkD}t3| d|t3| d|zdkD}| djdddkD}|xr|}g}|s|j'd|s|j'd|ddk(r|j'd|ddk(r|j'd|s|j'd|Dcgc] }t4| }}d|sdndd| d d!| d"d#| dd$d%|r|sd&ndd'| d d!| d"d#| dd$d(d)d*|d$d+|d,rd-nd.d/|d0d1|d2d3|d4d5|d6d7|d8d9|d: d$d;|d<d=|d0d>|d2d?|d4d>|d6d@|dAd7|d8d9|d:dB|dCd$dD|d<dE|dFdG|dHd>|dIdJ|ddK|dLdM|dN d$g}dO}idPt6dQt8dR|jdRxsdSdT|jdTxsdUdVt;tdWt;tdX|dYt;tdZt;t d[| d|Dcgc] }t;|c}d\t;td]t;td^t;td_t;td`| da|idb| dc| dd|de|df|d<dg|dAdh|didj|ddk|d0dl|d2dm|d4dn|d6do|d8dp|d:dq|dr|d<ds|dFidt|dHdu|dIdv|ddw|dLdx|dNdy| djdddkDxs| djdddkDdz|d{|d||d}|d~|d|d|dt<dt?t<dCdd|gd|dScc}wcc}wcc} wcc}wcc}wcc}w)Nrrrrzpredecessor-root-stop-sitezpredecessor-fill-stop-site current-root wrapper-leaf frontier-leafcurrent-readerzpredecessor-fill-site-zpredecessor-root-entry-stopzpredecessor-fill-fragment-stoprrzpredecessor-fill-site)rrrrrrrrrrrrrrzroot-stop-descriptor-closurezno-fill-site-bridgezbridge-candidatezd0 closure nodes=rz edges=rz targetEdges=)rstatusdetailzfill-stop-descriptor-closurezself-loop-no-current-bridgezc0 closure nodes=zdirect-target-ref-scanz&route-target-refs-absent-or-table-onlyz refCounts=z%descriptor-target-edge-classificationrzshared-descriptor-onlyzroute-edge-candidatezrootDescriptorEdges=rz; fillDescriptorEdges=rz; rootRouteEdges=rz; fillRouteEdges=rz ; rootLabels=rz ; fillLabels=rzdescriptor-edge-rejectionrzdescriptorEdges=/z ; routeEdges=z; allTargetSectionsData=rz ; status=rzdescriptor-encoded-target-scanzraw=rz ; root/fill=rrz ; promoting=z ; targets=rz; kinds=rasThe predecessor root stop descriptor 0x00440a9c has a complete bounded .data pointer closure that reaches shared descriptor data, including the c0 fill-stop descriptor, but it does not contain an edge or node for the predecessor fill sites or the 0x004844dc fill-fragment stop. The fill-stop descriptor 0x00440c5c forms a small self-referential descriptor closure and has no edge to the current root, wrapper leaf, frontier leaf, or reader. The encoded target scan over descriptor closure slots adds no modeled route-execution edge; any encoded scalar matches remain descriptor data, not a control-flow bridge. This closes the obvious descriptor pointer/scalar bridge and leaves the predecessor fill/current-reader order blocked behind a real execution trace or decoded non-linear VM path. The target-edge rows are classified as descriptor-only data edges, not route-execution edges.sourcerpredecessorSelectorz1:0currentSelectorz2:0predecessorRootStopSiteHex predecessorRootStopDescriptorHexpredecessorRootStopSitepredecessorFillStopSiteHex predecessorFillStopDescriptorHexpredecessorFillStopSiter wrapperLeafHexfrontierLeafHexr! targetRefstargetRefCountsrootStopDescriptorClosurefillStopDescriptorClosuredescriptorTargetEdgeSummarydescriptorEdgeRejection%descriptorEdgeRejectionClassification#descriptorEdgeAllTargetSectionsData'descriptorEdgeDescriptorTargetEdgeCountr+descriptorEdgeRouteExecutionTargetEdgeCount+descriptorEdgeRootDescriptorTargetEdgeCount+descriptorEdgeFillDescriptorTargetEdgeCount/descriptorEdgeRootRouteExecutionTargetEdgeCount/descriptorEdgeFillRouteExecutionTargetEdgeCount,descriptorEdgeRootDescriptorOnlyTargetLabels,descriptorEdgeFillDescriptorOnlyTargetLabelsdescriptorEncodedTargetScan%descriptorEncodedTargetClassification.descriptorEncodedTargetRawScalarCandidateCount2descriptorEncodedTargetRootRawScalarCandidateCount2descriptorEncodedTargetFillRawScalarCandidateCount.descriptorEncodedTargetPromotingCandidateCount"descriptorEncodedTargetLabelCounts!descriptorEncodedTargetKindCounts(rootStopClosureReachesFillStopDescriptorrootStopToFillBridgeFoundfillStopClosureSelfLoopFoundfillStopToCurrentBridgeFounddescriptorBridgeProofFound proofFoundfailedDescriptorBridgeGateIdsmissingEvidence evidenceRefsevidenceRefCountrevidence)zCobserve execution from 0x004783e0 into the 0x004844d0 fill fragmentzZdecode a non-linear VM path that legally crosses the 0x00440a9c/0x00440c5c descriptor datazSobserve or decode execution from the fill fragment toward current reader 0x00542b0c)remainingProofs conclusion) rrjr:DEFAULT_FILL_SITESROOT_STOP_DESCRIPTORFILL_STOP_DESCRIPTOR E8_DESCRIPTORROOT_STOP_SITEFILL_STOP_SITE CURRENT_ROOT WRAPPER_LEAF FRONTIER_LEAFCURRENT_READER enumeratermrrr startswithr_rrrrrr*DESCRIPTOR_BRIDGE_MISSING_EVIDENCE_BY_GATE ROUTE_SOURCE ROUTE_TARGETr*DESCRIPTOR_BRIDGE_EVIDENCE_REFSr?)rCrk$predecessor_fill_execution_order_gaprDr( fill_sitesrrroot_stop_sitefill_stop_siterr target_refsrl ref_countsrroot_to_fill_labelsfill_to_current_labelsrredge_rejectionencoded_target_scanroot_stop_to_fill_bridge_found!fill_stop_to_current_bridge_foundc0_self_loop_founddescriptor_bridge_proof_found!failed_descriptor_bridge_gate_idsgate_idmissing_evidencer5r7s r) build_summaryrYs $)rN+O+USU(S!H:==k2N  % &0EE53D%EJE77,44nn( G"*-: u1%9:..K^\N-.NP^_N%c85I7SL%c85I7SL!#x9K;FGC#g,J/GJG.5nn.>lU%BRBRSjBk5ll;<`#C(;>T(T$UV1, NdeL6|DN8   \"235HI |$457J K L & " \"235KL |$457M N O ) %&&67;;@  3!*K4##L1C$D#EW\ZeMfLgh+,<=>@ ->":,/ <2>?U2V.\r&|4S'T&UV''34S'T&UV""./R"S!TU""./R"S!TU*+KLMN*+KLM O 0$%56"!"ABC1!"ABCD!"EFGq!"EFGH))78O)P(QR,-MNOP,-MNOP():;< >  "5)*:;*+DEFG01NOPPQ&'DEFG01JKLM./BCDE,\:; = i@HD !S ,S ,S  CGGH]^gbgS  ?CCDUV_Z_ S  %eN&; S  +E2F,G S  ">S  %eN&;S  +E2F,GS  ">S   ;ueEl;S  % -S  % -S  5/S  E.1S  k!S " :#S $ $\%S & $\'S ( &|)S * ">+S , 0@P1Q-S . .~>U/V/S 0 2>B]3^1S 2 6~ +8 3S 8 6~ +8 9S > 6~ +8 ?S D :> /< ES J :> /< KS P 7 ,9 QS V 7 ,9 WS \ &':]S ^ 01DEU1V_S ` 9:M %; aS f =>Q )? gS l =>Q )? mS r 9:M %; sS x -.ABU.VyS z ,-@-N{S | 3 ) * . ./H! Lq P T,-112KQORSSAS D $%CES F '(:GS H '(IIS J %&CKS L 3MS N ()JOS P +QS R 7SS T C ?@US V 9WS X HYS Z !eS S]F(HlHv(|j gd?|d@D]?}|jd9|dAdB|dCdD|dEd;dj|dFxsd-d> A|dG}|dH}|j ddIddJ|dKdL|dMdN|dOdP|dQdR|dSdT|dUddV|dWd!|dXdY|dZdd[d\g|d]|d^zD]8}|jd9|d_dB|d`da|dbda|dcda|dCdD|ddd> :|j gdedfD]\}}||}|j dg|ddh|diddj|dkdl|dmdn|dodp|dqdr|dsddtd7g |duD]6}|jdv|dwdD|dxd;|jddxsd-d>8|jd|j dydg|dzD]}|jd{||jdd|j|S)}Nz1# Save Selector Predecessor Descriptor Bridge Gapz - route: rz -> rz!- predecessor/current selectors: r r z- root stop: `r z` -> `r `z- fill stop: `rrz- fill sites: , rz- current reader: `r!z&- root closure reaches c0 descriptor: r+z"- root stop to fill bridge found: r,z%- fill stop closure self loop found: r-z%- fill stop to current bridge found: r.z5- descriptor encoded target raw/root/fill/promoting: r% / r&r'r(z-- descriptor encoded target classification: `r$z!- descriptor bridge proof found: r/z- proof found: r0z#- failed descriptor bridge gates: `r1-z- missing evidence count: r2z- evidence refs: r4z- promotion status: rr7z ## Evidencez| kind | status | detail |z| --- | --- | --- |r5z| rz | rrz |)r[z## Target Refsr[z$| label | target | refs | sections |z| --- | --- | --- | --- |rrz | `rz` | rrrrz## Target Edge Classificationz- shared descriptor only: rz - root descriptor target edges: rz - fill descriptor target edges: rz%- root route execution target edges: rz%- fill route execution target edges: rz- descriptor edge rejection: `rz,- descriptor / route execution edge counts: rrz- all target sections data: rz<| closure | source node | source | offset | target | label |z%| --- | --- | --- | --- | --- | --- |rrrrrz` | `rqrrt)r[z## Descriptor Closuresr[)zRoot Stop Descriptor Closurer)zFill Stop Descriptor Closurerz### z - start: `r|z- visited nodes: rz - edges: rz - truncated: rz- target node hits: rz- target edge hits: rz!| node | pointer count | target |rz| `rwryz## Remaining Proofsr6z-  )joinrjr?r_extend) summarylinesrlrrPtitle closure_keyrproofs r)markdownris; GH%&d78+<*=> +G4I,J+K4PWXiPjOkl !=>?vgNpFqErrst !=>?vgNpFqErrst 7;#789: g&89:!< 09c1d0ef ,W5P-Q,RS /8V0W/XY /8V0W/XY CGHIKLMSKLMSGHI  K 8@g8h7iijk +G4P,Q+RS '++l345 -dii Dc8d8jhj.k.ror-sstu $S5F)G)M2%N$OP GKK(:;<= w'89:;    $C" EFz"O r#f+c#h-CM?"MNO LLpq|$  Wd3{#3"4DZ8ITYYWZ[hWiMjMqnqLrrt u  89L67N LL ' $\2H%I$JK *<8W+X*YZ *<8W+X*YZ / =`0a/bc / =`0a/bc (8H)I(J!L 6~Fa7b6ccfguwVhWgX Y &~6M'N&OP F/ 01LAU4VV  Y S%9$:%M@R?ST-./uS5E4Fd3}K]J^^` b   LL34{+& 5'N ,-Q /(: ;< = ,- .GK01 2"7+;#<"= >"7+;#<"= >  / !  :& C LLc+&'tC0F,G+HCGGTaLbLifiKjjlm    R-. LL',-*+# r%\"# LL 99U r+c. d~d dj fd|dD}dj fd|dD}|d}|d}dj fd |d |d zD}g}d D]\}}||} dj fd | dD} |jd |d | dd | dd | dd | dd | dd | dd| ddj fd|dD} d jd!d"d#d$d%d&d'd(d)d*d+ |d,d- |d.d/ |d0d1 |d2d3 |d4d5 d6 |d7d- |d8d9 |d:d- |d;d< d=j|d>d? |d@dA dB |dCdD |dEdF |dGdH |dIdJ |dKdL |dMdL |dNdL |dOdP |dQdR |dSdT |jdUdV d=j|jdWxsgxsdXdY t|jdZxsgd[ |jd\d5d] |d^d_d`dadb|ddcdddb|ddedf |dgdh |didj |dkdl |dmdn |dodp |dqdr |dsdt |dudv |dwd5dxdb|dd j|dydz| d{d|d}dgS)Nc>tjt|SN)htmlescapestrr's r)esczhtml_page..escs{{3u:&&r+r[c 3lK|]+}d|dd|dd|dd-yw)r rr Nr&rrlrps r)rzhtml_page..s\   3v; !3x=!"#3x=!"# s14r5c3K|]J}d|dd|dd|dddj|dxsd d Ly w) rrrrrrsr]rr_rtN)rbrus r)rzhtml_page..s   3w< !"[)*+,3z?#$%499S/07C89:  sAArrrc3K|]O}d|dd|dd|dd|dd|dd|d d Qy w) rrrrwrrzrqrrrxrtrtNr&rus r)rzhtml_page..s   3y>"#$_-./0]+,-.6789:[)*+,3}%&'(   sAArrr`c 3K|];}d|dd|dd|jdxsdd=yw) zrwrxryrsrtr_rtNrirus r)rzhtml_page..+si   S-./0s12345sww}-4567  sAArz

z

start r|z; visited nodes: rz ; edges: rz ; truncated: rz; target node hits: rz; target edge hits: rz].

z
nodepointer counttarget
c36K|]}d|dyw)z
  • z
    • Nr&)rrhrps r)rzhtml_page..;s[uDU E2[sr6razzzz zF z@ Save Selector Predecessor Descriptor Bridge Gapa zzz:

    Save Selector Predecessor Descriptor Bridge Gap

    z

    route rz -> rz; selectors r z -> r z; promotion status: rz.

    z

    root stop r r z; fill stop rrz; fill sites r]rz; current reader r!z .

    z)

    root closure reaches c0 descriptor: r+z"; root stop to fill bridge found: r,z%; fill stop closure self loop found: r-z%; fill stop to current bridge found: r.z5; descriptor encoded target raw/root/fill/promoting: r%rr&r'r(z,; descriptor encoded target classification: r$z!; descriptor bridge proof found: r/z; proof found: r0z"; failed descriptor bridge gates: r1r_z; missing evidence count: r2z; evidence refs: r4z

    r7z

    z

    Evidence

    zL z z

    Target Refs

    z\
    kindstatusdetail
    z%

    Target Edge Classification

    z

    shared descriptor only: rz; root descriptor edges: rz; fill descriptor edges: rz; root route execution edges: rz; fill route execution edges: rz; descriptor edge rejection: rz,; descriptor / route execution edge counts: rr^rz; all target sections data: rz

    labeltargetrefssections
    z

    Remaining Proofs

    z
      z
    zz)r(rreturnro)rbr_rjr?) rd evidence_rows target_rowsrrP edge_rowsclosure_sectionsrfrgrr proof_itemsrps @r) html_pagers'GG :& M''<(K89L67N  45 EY8ZZ  I {+&ww z*    3u:,!'*"5677OPST[\nToPpOqr'+./0 c'+BV>W=XY!!$W-=%>!? @@TUXY`aqYrUsTtuV+  -  *''[HY@Z[[K 99"PJ OD C 1233GGT\L]H^G_`!6789WM^E_A`@ab ):!;<=U D G,H$I JKLW?@ABCW9:;<=W?@ABBV tyy-. / 00GGTfLgHhGiiu  w 4C@j8k4l3mn++.w7R/S+T*UV..1':X2Y.Z-[\..1':X2Y.Z-[\> wGH I J! wKL M Na wKL M Na wGH I JK558Ah9i5j4kl**-g6R.S*T)UVGKK 5678++.tyyEd9e9kik/l/sps+t*uv##&s7;;7H+I+OR'P#Q"RSgkk*<=>?u F GL)*+40V M?"23 f K= 01/ 'L9O,P(Q'RS""%l3R&S"T!UV""%l3R&S"T!UV''*<8[+\']&^_''*<8[+\']&^_&&).9I*J&K%LM558Hc9d5e4ffi ~=> ? @A%%(8O)P%Q$RRW Y K I;./ "#%  U# u;; ;r+c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz4save_selector_predecessor_descriptor_bridge_gap.jsonFrJ) ensure_asciiindentrar-r.4save_selector_predecessor_descriptor_bridge_gap.html)mkdir write_textr1dumpsr)rdout_dirs r) write_outputsrzsk MM$M. EEQQ 7q9D@R EEQQ'Rr+cTtjt}|jdtt dz |jdtt dz |jdtt dz |jd tt |j}t|jjt|jt|j}t||jt!d |d d d |jdz y)N) descriptionz--exer)typedefaultz--descriptor-mapz-save_selector_data_descriptor_opcode_map.jsonz--predecessor-fill-orderz7save_selector_predecessor_fill_execution_order_gap.jsonz --out-dirz7wrote save-selector predecessor descriptor bridge gap (rrz root nodes) -> r)argparseArgumentParser__doc__ add_argumentrROOTOUT parse_argsrYrC read_bytesr5rkpredecessor_fill_orderrrprint)parserargsrds r)mainrs   $ $ 9F dD=4HI *sEt?tu " OO   $<    D $%%&$--.G '4<<(  / 01C D EEU <<P P Q Sr+__main__)r( int | Noner| str | Nonerl)rrr4z Any | Noner|r)r(rr|r)rCbytesrD list[dict]rEr8r|r)rDrrFr8r| dict | None)rCrrDrr(r8r|r)rhrorkrr|r)rCrrDrrr8rdict[int, str]rnr8ror8r|r)rCrrDrrrr|r)rzdict[str, int]r list[str]r|r8)rrorrr|r)rrrrrrr|r)rrr|r)rCrrDrrrrrrrrrr|r)NN)rCrrkrrHrr|r)rdrr|ro)rdrrrr|None)r|r)Cr __future__rrrmr1r@sys collectionsrpathlibrtypingrrinsertro__file__resolveparentprobe_exe_scene_tablesrrr summarize_script_handler_tabler rrrrErFr<r9r=r:r;r>r?r@rAr8r^rDrGr*r5r:rGrKrMrOrVrermrrrrrrrrYrirrr__name__r&r+r)rsX" 3tH~--/6678LL> H~''* Ul  !!     *-,  S d h U W.*& D N  '#@;8 4444.B BBB B  BB BJ 7&& 6)XV VVV V  V & V Vv#'8<i ii+6i iX^Btn25 0 zFr+
    closuresource nodesourceoffsettargetlabel