7,Jj dZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz Zdgd d d gd d d gdd dgdd dgdd dgdd dgdd dgdd dgdd dgdd dgdd g Zdd d!d"d#d$Zd-d%Z d. d/d&Zd0d'Zd0d(Zefd1d)Zd2d*Zd3d+Zed,k(reyy)4zGConsolidate current-selector leaf selection and wrapper execution gaps.) annotationsN)Path)Anyoutz)out/save_selector_leaf_table_context.json)selectorrootHexrootTablePointerHex%frontierLeafRefIsDirectRootTableEntryruntimeSelectionProvenpromotionStatus)pathfieldsz0out/save_selector_leaf_table_global_context.json)selectorTableCountfieldEntryRowCountcurrentSelectorRoutePairIndicescurrentFrontierLeafOnlyNegativez1out/save_selector_wrapper_descriptor_context.json)wrapperDescriptorHexwrapperEntryHexwrapperChildPointerHexwrapperRefBeforeCurrentRootcurrentRootReferencesWrapperwrapperEntryPromotingRefCountz4out/save_selector_route_pair_descriptor_context.json)currentRoutePairDescriptorCount!currentRoutePairDescriptorIndices0currentRoutePairCorrectedTraceReachesReaderCountreaderBearingCurrentEntryCountreaderBearingNegativeEntryCountz0out/save_selector_opcode07_indexed_pointers.json)opcode07IndexModerowCountselectedWrapperEntrySlotCount selectedLeafTableWindowSlotCount!selectedCurrentRootEntrySlotCount"selectedNegativeRootEntrySlotCountdirectFrontierTargetCountz2out/save_selector_opcode08_activation_windows.json))sourceOrPredecessorOpcode08ActivatorCount+sourceOrPredecessorCurrentRootProducerCount,sourceOrPredecessorCurrentRangeProducerCount(currentInternalCurrentRangeProducerCountz2out/save_selector_opcode09_pointer_collisions.json)#sourceOrPredecessorOpcode09RowCount,sourceOrPredecessorSupportedOpcode09RowCount2sourceOrPredecessorUnsupportedModeOpcode09RowCount)sourceOrPredecessorCurrentRangeStoreCountz2out/save_selector_selected_root_execution_gap.json)selectedRootExecutionRefFoundr diagnosticExclusionGate evidenceRefsevidenceRefCountz2out/save_selector_current_root_frontier_paths.json)strictHotspotFoundfrontierClusterClassfrontierClusterEventCountfrontierClusterSelectorRefCountz*out/save_selector_merge_execution_gap.json) selectorMergeExecutionProofFoundselectorMergeGapOpenr z5out/save_selector_route_pair_entry_execution_gap.json)rootTableDirectRefContextroutePairEntryExecutionProven%correctedTraceNormalSelectionGapFoundremainingProofszNselected-root execution reaching current selector 2:0 on the normal route pathzQhigher-level table/index path selecting current entries 6/8 or negative entry -12zGnormal-route wrapper 0x00542a04 execution into frontier leaf 0x00542ae8zlcomplete current selector leaf execution proof tying selected root, leaf selection, and wrapper/reader tracez?strict map1_01a source coordinate or hotspot linked to map2_02d)selected-root-executioncurrent-leaf-selectionwrapper-executioncurrent-selector-leaf-executionstrict-hotspotcBdjd|xsgDxsdS)N,c32K|]}t|ywN)str).0values J/home/exedev/hwanse/tools/summarize_save_selector_wrapper_execution_gap.py zcsv..s95CJ9s-)join)valuess rHcsvrMs 889FLb9 9 @S@c %| xsi} |jdxs|jdxsd} |jdxs|jd} |jdxs|jd} |jdxs|jd}|jdxs|jd}|jd}|jd}|jd }|jd xsgDcgc]}|jd d ur|}}|jd xsd}|jdxs|jdxsd}|dkDxr||k(}|jddk(xrV|jddk(xr@|jddk(xr*|jddk(xr|jddk(}|jdd u}|jddu}|jdxsg}|jdxsd}td|D}td|D}|Dcgc]g}|jddk(rQ|jdd |jd!d"|jd#xsd$d |jd%xsd$i}}|jd&d'k(xr|d'k(} |jd(dk(xr|jd&d'k(xr|}!|jd)d uxs|jd*d u}"|jd+dk(xr|jd,d'k(}#|jd-d uxs(|jd-d uxs|jd.d u}$|jd(ddkDxs|jdd uxs| xr|"}%|$xs| xs|"}&|jd.d u}'|'xr |&xr|%xs|}(|jd/d uxs(|jd/d uxs|jd/d u})| jd0d u}*|jd1xsi}+|+jd2d u},|,r^|+jd3xsddkDrF|+jd4d5k(r2|+jd6xsddk(r|+jd7xsddk(rd8n|,rd9nd:}-|jd;xsg}.|jd<d u}/|jd=xsd}0|jd>xsd}1|jd?xsd}2|0|1z|2z}3| jd@xsi}4|4jdAxsdB}5|xr |#xr|/xr|xr|3dk(xr |$ xr|% xr|' }6|6rdCndD}7|(r|)r|*rdEndF}8g}9|'s|9jdG|&s|9jdH|%s|9jdI|(s|9jdJ|)s|9jdK|9D:cgc]}:tj|:|:};}:|9 }id|jd߫xsdd|jdxsdd| d| d| dy|jdyd|jddt |d|d|d|d|d |d\|jd\d|d|jdd&|jd&idc|jdcd|d|d|d|d| d(|jd(d)|"d|jdod|jdqd|jdsd|jdtd|.d|jdd|jdd|/d@|4id|5d|4jd{d|4jd|d|4jd~xsid|4jdd|4jdd|4jdd|4jdd|4jdd |dS|jdSxsgd|d|d|jdd+|jd+d,|jd,d|jdxsgid|#d|jdd|jdd|jdd|jdd|jdd|jdd|jdd|d|jdd|0d|1d|jdd|jdd|jdd|2d|jdid |jdd |jdxsgd |jd d |3d|6d|7d|-d|,d|+jdƫd|+jdȫxsgd|+jdʫd ud|+jdd|+jd̫d|+jd3d|+jd4d|+jdЫd|+jd6id|+jdҫd|+jd7d|+jdԫd.|'d|<d |9d!|;d-|$d"|&d#|%d$|(d0|*d/|)d%|8d&|=d'td(t tgd)|>d*Scc}wcc}wcc}:w(+Nrz2:0r r frontierLeafHexfrontierReaderHexrrr tableRowsinsideRootTableWindowTrrr'currentRoutePairTraceReachesReaderCountr!r"r#r$r%rrFwrapperEntryRefs'wrapperEntryCurrentRootEntryRunRefCountc3nK|]-}|jddk(r|jddurd/yw) referenceRole"opcode-0x5a-mode0-fallthrough-wordpromotesWrapperSelectionFrNgetrFrows rHrIz build_summary..s<7  77? #'K K GG. /5 8 7s35c3K|]@}|jddk(r*|jddur|jddurdByw)rXrYfallthroughWordHandlerIsCodeF$fallthroughWordCanJumpToDwordAtPlus4rNr[r]s rHrIz build_summary..sN7  77? #'K K GG2 3u < GG: ;u D 7sAArXrYfallthroughWordValueHex/fallthroughWordOpcodeHexz->fallthroughWordHandlerHexrJfallthroughWordHandlerSectionwrapperEntryRefCountrr frontierLeafDirectCurrentRootRefr rrr r.r2r6r/&excludedFromSelectedRootExecutionProof"leftStabilityRouteSelectorHitCount$leftStabilityRouteHitReproducibilityznot-reproduced)leftStabilityRecheckRouteSelectorHitCount+leftActiveOrderRecheckRouteSelectorHitCountzdiagnostic-only-not-reproducedzdiagnostic-onlyz not-availablerrr'r(r-r8statusunknownz*corrected-trace-not-normal-selection-proofopenzready-for-reviewblockedr<r=r>r?r@zcurrent-root-table-windowzroute-pair-descriptors-presentzroute-pair-descriptors-missingzroot=z; table=z; insideRootRows=z; routePairIndices=r)kindrndetailznegative-wrapper-entryzoutside-current-root-runzinside-current-root-runz wrapperEntry=z ; wrapper=z; child=z; childIsFrontier=wrapperChildIsFrontierLeafz; frontierLeaf=z ; reader=zwrapper-reference-contextz non-promotingzwrapperEntryRefs=z; currentRootRangeRefs=$wrapperEntryCurrentRootRangeRefCountz; currentRootEntryRunRefs=z; opcode5aFallthroughRefs=z; fallthroughNonCodeRefs=z; fallthroughHandlers=rBz; promotingRefs=z; currentRootReferencesWrapper=zglobal-leaf-table-contextzfrontier-leaf-negative-onlyzfrontier-leaf-nonnegative-openzselectorTables=rz; fieldEntries=rz; negative/nonNegative=negativeFieldEntryRowCountnonNegativeFieldEntryRowCountz; currentRoutePairIdx=z; frontierLeafOnlyNegative=zroot-table-direct-ref-contextz tableWindow=tableWindowHexz ; tableRefs=tableWindowRefCounttableWindowTextRefCountz ; sections=tableWindowSectionCountsz; routeEntryTextRefs=routeEntryAddressTextRefCountz; routeLeafTextRefs=routeLeafValueTextRefCountz; frontierLeafTextRefs=frontierLeafValueTextRefCountz; frontierReaderTextRefs=frontierReaderValueTextRefCountz; frontierReaderRefs=frontierReaderValueRefCountzroute-pair-reader-tracezcorrected-trace-onlyz not-groundedzroutePairDescriptors=z; correctedReaderHits=z; geometryExitHits=$currentRoutePairGeometryExitHitCountz; readerNegativeOnly=zopcode07-leaf-selectionabsentpresentz rowCount=r z ; indexMode=rz; selectedWrapper=z; selectedLeafWindow=z; selectedNegative=z; directFrontier=z&opcode08-source-predecessor-activationzcurrent-producer-absentzcurrent-producer-presentz activators=r&z; currentRoot=z; currentRange=z ; ownRange=(sourceOrPredecessorOwnRangeProducerCountz; scriptScalar=,sourceOrPredecessorScriptScalarProducerCountz; currentInternalRange=r)z!opcode09-source-predecessor-storezcurrent-store-absentzcurrent-store-presentzrows=r*z ; supported=r+z; unsupported=r,z; unsupportedModes=&sourceOrPredecessorUnsupportedModesHexz; currentRangeStores=z; sourcePredCurrentProducers=z$corrected-trace-normal-selection-gapzroutePairReaderTraceGrounded=z; frontierLeafNegativeOnly=z; opcode07SelectionAbsent=z; runtimeSelection=z; wrapperExec=z; selectedRootRef=missingprovenzselectedRootExecutionRefFound=z; runtimeSelectionProven=z; selectedPointerGlobal=selectedPointerGlobalHexcurrentRootHexzconstructed-diagnostic-recheckz runtimePoll=runtimePollSampleCountz observed=runtimePollObservedSelectorsz route=+observedCurrentThenFollowupInDiagnosticPollz; leftStability=leftStabilitySampleCountz routeHits=z repro=z; leftRecheck=leftStabilityRecheckSampleCountz; leftActiveOrder=!leftActiveOrderRecheckSampleCountz activeOrderCount=,leftActiveOrderRecheckActiveOrderCountValuesz ; excluded=foundzstrictHotspotFound=z; frontierClusterClass=r3z; frontierClusterEventCount=r4z"; frontierClusterSelectorRefCount=r5aCurrent selector 2:0 contains route-pair descriptors and corrected traces from entries 6 and 8 reach the frontier reader, but this is still table/control-flow shape rather than execution proof. The reader-bearing wrapper lives at negative entry -12 before the current root table pointer, opcode 0x07 does not select the wrapper, leaf table window, negative entry, frontier leaf, or reader, source/predecessor opcode 0x08/0x09 rows do not produce the current selector root/range, and no runtime selected-root proof or strict source hotspot is present. The global leaf-table scan also keeps the frontier reader-bearing leaf negative-only, so entries 6 and 8 remain corrected-trace candidates rather than normal-selection proof; this contradiction is tracked as a separate corrected-trace normal-selection gap. The constructed selector 2:0 diagnostic is also excluded from wrapper proof because its left-route hit is not reproduced and the active-order recheck stays at a zero count.sourcemap1_01atargetmap2_02dcurrentRootEntryRunHexinsideCurrentRootEntryCount'wrapperEntryOpcode5aFallthroughRefCount&wrapperEntryFallthroughNonCodeRefCount'wrapperEntryFallthroughHandlerSummaries(wrapperEntryOnlyRefIsOpcode5aFallthroughglobalSelectorTableCountglobalFieldEntryRowCount globalNegativeFieldEntryRowCount#globalNonNegativeFieldEntryRowCount%globalCurrentSelectorRoutePairIndices.globalCurrentSelectorNegativeRoutePairRowCount(currentSelectorNegativeRoutePairRowCount1globalCurrentSelectorNonNegativeRoutePairRowCount+currentSelectorNonNegativeRoutePairRowCount%globalCurrentFrontierLeafOnlyNegativerootTableDirectRefStatusrootTableWindowDirectRefCount!rootTableWindowDirectTextRefCount%rootTableWindowDirectRefSectionCounts&rootTableRouteEntryAddressTextRefCount#rootTableRouteLeafValueTextRefCount&rootTableFrontierLeafValueTextRefCount(rootTableFrontierReaderValueTextRefCount$rootTableFrontierReaderValueRefCountroutePairReaderTraceGroundedreaderBearingNegativeIndicesreaderBearingNegativeOnlyopcode07RowCountopcode07LeafSelectionAbsent)opcode08SourceOrPredecessorActivatorCount3opcode08SourceOrPredecessorCurrentRootProducerCount4opcode08SourceOrPredecessorCurrentRangeProducerCount0opcode08SourceOrPredecessorOwnRangeProducerCount4opcode08SourceOrPredecessorScriptScalarProducerCount0opcode08CurrentInternalCurrentRangeProducerCount1opcode09SourceOrPredecessorCurrentRangeStoreCount4opcode09SourceOrPredecessorSupportedOpcode09RowCount:opcode09SourceOrPredecessorUnsupportedModeOpcode09RowCount.opcode09SourceOrPredecessorUnsupportedModesHex3opcode09SourceOrPredecessorPointerCollisionRowCount+sourceOrPredecessorPointerCollisionRowCount'sourceOrPredecessorCurrentProducerCountr:&correctedTraceNormalSelectionGapStatus'constructedDiagnosticWrapperProofStatus-constructedDiagnosticExcludedFromWrapperProof'constructedDiagnosticRuntimeSampleCount&constructedDiagnosticObservedSelectors)constructedDiagnosticReachedRouteSelector%constructedDiagnosticFollowupSelectorfollowupSelector-constructedDiagnosticLeftStabilitySampleCount7constructedDiagnosticLeftStabilityRouteSelectorHitCount1constructedDiagnosticLeftStabilityReproducibility4constructedDiagnosticLeftStabilityRecheckSampleCount>constructedDiagnosticLeftStabilityRecheckRouteSelectorHitCount6constructedDiagnosticLeftActiveOrderRecheckSampleCount@constructedDiagnosticLeftActiveOrderRecheckRouteSelectorHitCountAconstructedDiagnosticLeftActiveOrderRecheckActiveOrderCountValues proofFoundfailedWrapperGateIdsmissingEvidencecurrentLeafSelectionProofFoundwrapperExecutionProofFound¤tSelectorLeafExecutionProofFoundr evidencer0r1)zSprove selected-root execution reaches current selector 2:0 on the normal route pathzWdecode the higher-level table/index path that selects entries 6/8 or negative entry -12zYprove wrapper 0x00542a04 executes into frontier leaf 0x00542ae8 in normal route executionzFfind a strict map1_01a source coordinate or hotspot linked to map2_02d)r; conclusion)r\sumappend WRAPPER_MISSING_EVIDENCE_BY_GATElenrMrK EVIDENCE_REFS)?leaf_table_contextleaf_table_global_contextwrapper_descriptor_contextroute_pair_descriptor_contextopcode07_indexed_pointersopcode08_activation_windowsopcode09_pointer_collisionsselected_root_execution_gapcurrent_root_frontier_pathsmerge_execution_gaproute_pair_entry_execution_gaprroot_hexroot_table_pointer frontier_leaffrontier_readerwrapper_descriptor wrapper_entry wrapper_childr^inside_root_rows#current_route_pair_descriptor_countcorrected_reader_count route_pair_reader_trace_groundedopcode07_selection_absentwrapper_before_current_rootwrapper_not_in_current_rootwrapper_entry_refs.wrapper_entry_current_root_entry_run_ref_count,wrapper_entry_opcode5a_fallthrough_ref_count,wrapper_entry_fallthrough_non_code_ref_count+wrapper_entry_fallthrough_handler_summaries.wrapper_entry_only_ref_is_opcode5a_fallthroughwrapper_non_promoting_refs%frontier_leaf_direct_current_root_refreader_negative_onlyruntime_selection_provenwrapper_execution_proof_found"current_leaf_selection_proof_found!selected_root_execution_ref_found+current_selector_leaf_execution_proof_foundstrict_hotspot_found$selector_merge_execution_proof_founddiagnostic_exclusion_gateconstructed_diagnostic_excludedconstructed_diagnostic_status!global_current_route_pair_indices*global_current_frontier_leaf_only_negative"opcode08_source_current_root_count#opcode08_source_current_range_count#opcode09_source_current_range_count,source_or_predecessor_current_producer_countroot_table_direct_ref_contextroot_table_direct_ref_status*corrected_trace_normal_selection_gap_found+corrected_trace_normal_selection_gap_statuspromotion_statusfailed_wrapper_gate_idsgate_idmissing_evidence proof_foundrrs? rH build_summaryrs&D%Ir"!%%j1k5R5V5VWa5bkfkH!%%i0`4Q4U4UV_4`H+//0EFJgJkJkK'**+<=rA[A_A_`qArM(,,-@AE_EcEcFO4778NO.223DEM.223KLM&))+6<"  77* +t 3  +H*K*KLm*n*srs'%))*\] ( , ,-V W  ,a/ J "&I I% "%%&EF!K L % ) )*L MQR R L % ) )*M NRS S L & ) )*N OST T L & ) )*E F! K #="@"@A^"_cg"g"<"@"@A_"`di"i3778JKQr"&&'PQVUV3477%740 477%740& 3  77? #'K K ww012!CGG!C > 8A =3 #&&'FG1L ( & * *+A Ba G ( ' #&&'IJdR S  ! !"I Jd R* &))*JKqP V ) - -.O PTU U 78D@ T ( , ,-E F$ N T & * *+J Kt S #&&'FJQN U % ) )*H IT Q U) ) S.S" ! 1( ( 1 0' )D(G(GHg(hlp(p%) P . P * N.N0 34< I ( , ,-A Bd J I & * *+? @D H ,?+B+BCe+fjn+n( ; ? ?@Y Z `^`!%%&NOSWW$ + & * *+O P UTUYZ Z % ) )*P QUe e & * *+V W \[\ab b & * *+X Y ^]^cd d ) + ")B(E(EFg(h(nln%!%%&GHDP/ $''(UV[Z[' $''(VW\[\( $''(STYXY( + - . - .1 %C$F$FGb$c$igi!#@#D#DX#N#[R[ ( 2  2 6 2 & 2 9A =  2 ) (  2 . -  22 1/ 6 5 0 7 0  ! ,&&'@A -&&'?@ (&&':; 6&&'HI &&'78/  ),,Wg>.-K0271z*<)=>""%&6"7!89$$'(E(I(IJm(n$o#pr -4O0Un j9K8LM&'9:T:X:XYu:v9wx -i7HJ  0)CHcoio#$>$B$BCY$Z#[\((B(F(FGm(n'op++Y*Z[++W*XY**V)WX''*xx0['\'c`c&de!!;!?!?@_!` ab00J0N0NOm0n/oq 0941!";"?"?@T"U!VW 9 = =>R STU(,001MNOq,001PQRS''*+L'M&NO,,V+W Y  42<@@AQRST:>>?TUVVW0445NOPQ9==>XYZ[&&C&G&GHg&h%ij%%B%F%FGc%d$ef((E(I(IJi(j'kl**G*K*KLm*n)op&&C&G&GHe&f%gi  .0P,Vd'(K'LM''=&>?$$A$E$EFl$m#no&&:%;= .";h599*EFG6::;NOPQ##<#@#@A`#a"bc&&?&C&CDf&g%hi$$=$A$ABf$g#hi"";"?"?@["\!] _ =6:]0+9==>ijklABC CDE7;;>?stuv$887;;<=>##D"EG .'Hih01R0ST**B)CD))D)H)HIc)d(ef:>>?OPQS 538<<=UVWX 9 = =>\ ]^_`2667defg!!:!>!>?Y!Z [\6::;_`ab2667]^_`8<<=^_`a6::;fghi##<#@#@Ad#e"fg6::;hijk$$=$A$ABp$q#rs;< >  &%';i%&:%;<((C(G(GH^(_'`a--H-L-LMh-i,jk33N3R3RSt3u2vx iHV ql -11(;Izl -11(;Izl  Hl  8 l  1 l  ,001AB l  !"<"@"@AY"Zl  &s+;'<l  =l  _l   2l  =l  !-l  %&@&D&DEa&bl  &'Bl  '(B(F(FGe(f!l "  : > >?U V#l $ /0J0N0N 21 %l * 23a+l , 23_-l . 12^/l 0 23^1l 2 34b3l 4 ()C)G)GHg)h5l 6 +,Q7l 8 #$=$A$ABV$W9l : #$=$A$ABV$W;l < +,E,I,IJf,g=l > ./H/L/L +0 ?l D 01REl F 9:S:W:W 6; Gl L <=V=Z=Z 9> Ml R 01[Sl T $%BUl V #$@Wl X ()F)J)JK`)aYl Z ,-J-N-NOh-i[l \ 01N1R1R &2 2 cl d 12O2S2S +3 el j ./L/P/P (0 kl p 12O2S2S +3 ql v 34Q4U4U -5 wl | /0M0Q0Q )1 }l B *+NCl D ,-J-N-N /. . Kl L ;%B%BC^%_kl l &'@ml n 45P5T5T 76 ol t >?aul v ?@cwl x ;?Z?^?^ 9@ al f 23_gl h 01[il j 12]kl l 23Pml n 89Xol p 23L3P3PQi3jql r 12K2O2OPn2o2ususl t 45N5R5R 96  6ul | 01J1N1NOa1b}l ~ 89R9V9V &: l D BC\C`C` 0D El J <=V=Z=Z 2> Kl P ?@Y@]@] -A Ql V IJcJgJg 7K Wl \ AB[B_B_ /C ]l b KLeLiLi 9M cl h LMfMjMj :N il n ()Jol p kql r  7sl t +ul v !":wl x )*Lyl z %&C{l | 12]}l ~ +,Pl @ 2Al B +Cl D HEl F  Gl H C .Il J !Wl l{ R3rs ~5A,~: ~?c gdd|ddd|dd|ddd |d d |d dd |ddd|ddd|ddd|ddd|dd|ddd|ddd|dd|dd|d d!|d"d#|d$d%t|d&d'|d(d)|d*d+|d,d-t|d.d/|d0d1|d2d+|d3d4|d5d+|d6d+|d7d+|d8d9|d:dd;|d<d=t|d>d?|d@dAt|dBdC|dDdE|dFd+|dGdH|dIdJ|dKdL|dMddN|dOdP|dQddR|dSdT|dUdVt|dWdXdY|dZd+|d[d\|d]d^|d_d`|dadb|dcdd|dedft|jdgddht|jdixsgdj|dkdl|dmdn|dodp|dqdr|dsdt|dudddvd|jdixsgDcgc]}dw| c}ddxddydz}|d{D]&}|jd||d}d~|dd~|dd(|j gd|jdxsgD]@}dj |jdxsg}|jd|dd|B|j gd|j d|dD|jddj |Scc}w)Nz%# Save Selector Wrapper Execution Gaprz - route: `r -> r`z - selector: `rz` root `r z- root table pointer: `r z- current root entry run: `rz- wrapper entry: `rz- wrapper descriptor: `rz - wrapper child/frontier leaf: `rz` / `rPz- frontier reader: `rQz#- wrapper ref before current root: rz#- current root references wrapper: rz-- wrapper entry current-root entry-run refs: rVz+- wrapper entry opcode5a fallthrough refs: rz+- wrapper entry fallthrough non-code refs: rz&- wrapper entry fallthrough handlers: rz - wrapper entry promoting refs: rz9- global leaf table field entries negative/non-negative: rz / rz.- global current selector route-pair indices: rz.- global current frontier leaf only negative: rz$- root table direct refs/text refs: rrzM- root table route-entry/route-leaf/frontier-leaf/frontier-reader text refs: rrrrz!- root table direct ref status: `rz)- frontier leaf direct current-root ref: rhz!- route-pair descriptor indices: rz$- corrected route-pair reader hits: rz#- reader-bearing negative indices: rz"- opcode07 leaf selection absent: rz<- opcode08 source/predecessor current root/range producers: rrz4- opcode09 source/predecessor current-range stores: rz-- source/predecessor current producer count: rz)- corrected trace normal-selection gap: `rz.- corrected trace normal-selection gap found: r:z0- constructed diagnostic wrapper proof status: `rz,- constructed diagnostic runtime route hit: r (rz samples; observed r)z<- constructed diagnostic left stability/recheck route hits: rrz4- constructed diagnostic left active-order recheck: rz route hits; count rz6- constructed diagnostic excluded from wrapper proof: rz%- selected-root execution ref found: r.z- proof found: rz- failed wrapper gates: `rz- missing evidence count: rz&- current leaf selection proof found: rz!- wrapper execution proof found: rz/- current selector leaf execution proof found: rz- strict hotspot found: r2z- evidence refs: r1z- promotion status: `r z## Missing Evidence- z ## Evidencez| kind | status | detail |z| --- | --- | --- |rz| rrz | rnrsz |)rz## Evidence Refsrr0, rz- `rz`: )rz## Remaining Proofsrc3&K|] }d| yw)r!NrFitems rHrIzmarkdown..sD2dVDsr; )rMr\rrextendrK)summaryr&linesr^refrs rHmarkdownr,s/@ /@  @   @  @  WX&'tGH,=+>a@ @   +,HWY5G4HJ @  "'*?"@!AC@  &g.F&G%HJ@  W%678:@  "'*@"A!B!D@  +73K+L*MUSZ[lSmRnnop@  w':;@  .g6S.T-UV@  .g6T.U-VW@  8@i8j7kl@  6g>g6h5ij!@ " 6g>f6g5hi#@ $ 1W=f5g1h0ij%@ & +73R+S*TU'@ ( DGLnDoCppst{}buctd e)@ * 9WEl=m9n8op+@ , 9Ah9i8jk-@ . /w7V/W.XX[\ceH]I\J K/@ 0 X ; < =S 8 9 :# ; < =S = > ?  A1@ : ,G4N,O+PPQR;@ < 4G<^4_3`a=@ > ,C8[0\,]+^_?@ @ /w7i/j.klA@ B .c':X2Y.Z-[\C@ D -W5R-S,TUE@ F GwPEHFGGGJKRSIKJJK LG@ H ?wGz?{>|}I@ J 8@i8j7klK@ L 4G*0b53778,23 s3v;-s6(345 LL01 LLD1B)CDD LL 99U ! Hs Mc'djd|dD}djd|dD}djd|jdxsgD}djd|jd xsgD}djd d d d ddddddtj|dddtj|ddtj|ddtjt |ddtjt |ddtjt |dd d!tjt |d"d#tjt |d$d%tjt |d&d'tjt |d(d d)|d*d+|d,d-|d.d/tjt |d0d1|d2d3 d4|d5d6|d7d8|d9d:|d;d:|d<d:|d=d>tjt |d?d d@|dAd:|dBdC|dDdE|dFd3 dGtjt |dHdI|dJdK|dLdM|dNdO|dPd3 dQtjt |dRdS|dTd+|dUdVtjt |dWdX|dYd:|dZd[|d\d]tjt |d^d_|d`d3da|dbdc|dPdd|dedf|dgdhtjt |jdidjt |jdxsgdktj|dld dm|dnd3dodp|dqdrds|dtdudp|dqdvdp|dqdwdxdygS)zNr'c 3K|]R}dtj|ddtj|ddtj|ddTyw)zrrz rnrsz Nhtmlescaper]s rHrIzhtml_page..sg   {{3v;'(){{3x=)*+{{3x=)*+ sAArc3NK|]}dtj|dywz
  • 
    • Nr/r%s rHrIzhtml_page..s#cd4;;t#4"5U;c#%r;c3NK|]}dtj|dywr3r/r%s rHrIzhtml_page..s(,0$t{{4 !'r5rc 3K|]h}dtj|jdxsddtjdj|jdxsgdjyw)z
  • rrz : r"rr4N)r0r1r\rK)rFr+s rHrIzhtml_page..sf#   SWWV_234I ;;tyy!2!8b9 : ; #sA.A0r0zzzz z4 Save Selector Wrapper Execution Gapa zzz.

    Save Selector Wrapper Execution Gap

    z

    rz

    z

    Route: rrrz; selector rz; root r z; table r z .

    z!

    Wrapper: entry rz; descriptor rz; child rz; frontier reader rQz-

    Global leaf table: field entries rrrz negative / rzA non-negative); global current selector route-pair indices rz5; global current frontier leaf only negative: rz.

    z$

    Root table direct refs: rz refs / rzK text refs; route-entry/route-leaf/frontier-leaf/frontier-reader text refs rrcrrrz; status rzF

    Source/predecessor producers: opcode08 current root/range rrz ; opcode09 current-range stores rz,; source/predecessor current producer count rz8

    corrected trace normal-selection gap: rz*; route-pair reader trace grounded rz, reader negative-only rz, runtime selection r z, wrapper proof rz^

    Constructed diagnostic recheck: constructed diagnostic wrapper proof status rz; runtime route hit rrz samples, observed rzC); constructed diagnostic left stability/recheck route hits rrz>; constructed diagnostic left active-order recheck route hits rz with count rz%; excluded from wrapper proof rz)

    current leaf selection proof found: rz!; wrapper execution proof found: z/; current selector leaf execution proof found: rz; proof found: rz; failed wrapper gates: rz!; missing evidence count: z; promotion status: r z

    Evidence refs: r1z

    Missing Evidence

    z
      z
    z

    Evidence

    zS z
    kindstatusdetail
    z

    Evidence Refs

    z

    Remaining Proofs

    zzr)rKr\r0r1rErMr)r) evidence_rows proof_items missing_itemsevidence_ref_itemss rH html_pager<sII :& M))cPaHbccKII4;KK@Q4R4XVXM# ;;~.4" # 99    & B i   <DKK 567t <WX%678T[[QYIZ=[<\]""&++c'*2E.F"G!HI"kk#gi.@*ABCD#{{3w7L/M+NOPP\ ^#{{3w7H/I+JKLM$$(KKG?@ @ABCS1X)Y%Z[\]?BCDEK7:;?@ARCDEQ@AB!CDEQEFGHS1K)L%MNO| ]/PQRRSQRST1NOPQ=DEFeMS1Y)Z%[\]^44;2789:@CDEF <()*S5K)L%MNOP+w{{#45;<=>W->%?@A O*'2D*E)Fe L )]O5 ) !aboapqA B &'( . )[M '   Wl n nrNc|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz(save_selector_wrapper_execution_gap.jsonF) ensure_asciiindentr'utf-8encoding(save_selector_wrapper_execution_gap.html)mkdir write_textjsondumpsr<)r)out_dirs rH write_outputsrLsf MM$M. 99EE 7q9D@F 99EEiPWFXcjEkrNcLtj|jdS)NrCrD)rIloads read_text)rs rH load_jsonrPs ::dnngn6 77rNchtjt}|jdtt dz |jdtt dz |jdtt dz |jd tt d z |jd tt d z |jd tt dz |jdtt dz |jdtt dz |jdtt dz |jdtt dz |jdtt dz |jdtt |j }tt|jt|jt|jt|jt|jt|jt|jt|j t|j"t|j$t|j& }t)||j*t-d|j*dz y)N) descriptionz--leaf-table-contextz%save_selector_leaf_table_context.json)typedefaultz--leaf-table-global-contextz,save_selector_leaf_table_global_context.jsonz--wrapper-descriptor-contextz-save_selector_wrapper_descriptor_context.jsonz--route-pair-descriptor-contextz0save_selector_route_pair_descriptor_context.jsonz--opcode07-indexed-pointersz,save_selector_opcode07_indexed_pointers.jsonz--opcode08-activation-windowsz.save_selector_opcode08_activation_windows.jsonz--opcode09-pointer-collisionsz.save_selector_opcode09_pointer_collisions.jsonz--selected-root-execution-gapz.save_selector_selected_root_execution_gap.jsonz--current-root-frontier-pathsz.save_selector_current_root_frontier_paths.jsonz--merge-execution-gapz&save_selector_merge_execution_gap.jsonz --route-pair-entry-execution-gapz1save_selector_route_pair_entry_execution_gap.jsonz --out-dirz(wrote selector wrapper execution gap -> rF)argparseArgumentParser__doc__ add_argumentrOUT parse_argsrrPrrrrrrrrrrrrLrKprint)parserargsr)s rHmainr^s  $ $ 9F .T3IpCpq % DD  & EE  ) HH  % DD  ' FF  ' FF  ' FF  ' FF   >>  * II   $<    D$))*$001$112$445$001$223$223$223$223$**+$556 G'4<<( 4T\\Dn5n4o pqrN__main__)rLzlist[Any] | NonereturnrErD)rdictrrarrarrarrarrarrarrarrarrarz dict | Noner`ra)r)rar`rE)r)rarKrr`None)rrr`ra)r`rb)rW __future__rrUr0rIpathlibrtypingr__file__resolver>ROOTrYrrrMrr,r<rLrPr^__name__r$rNrHrjsM"  H~''* Ul<  C D  G  C  E E E  E = H Gl ` Y \ R #X$ $A37cc#c!%c$( c $ c "& c"&c"&c"&cc%0c cLK\BJ25l8ErP zFrN