7,JjW  \dZddlmZddlZddlZddlZddlZddlmZddl m Z ddl m Z ee jjdZedz Zd Zd Zd gd d dgdd dgdd dgdd dgdd dgdd dgdd dgdd dgdd dgdd g Zd d!d"d#d$d%Zdd(Zd?d)Zd@d*ZdAd+Z dBd,ZdCd-ZdDd.Z dEd/ZdFd0Z dGd1Z!dHd2Z"dId3Z#dFd4Z$dId5Z% dJ dKd6Z&dLd7Z'dLd8Z(efdMd9Z)dNd:Z*e+d;k(re*yy)OzFConsolidate route-pair leaf-entry execution evidence for selector 2:0.) annotationsN)Path)Any) read_sectionsoutmap1_01amap2_02dz'out/save_selector_leaf_index_space.json)routeRelevantRows!routePairCurrentDescriptorIndices(routePairCorrectedTraceDescriptorIndicesreaderBearingNegativeIndices*frontierReaderSelectableByNonNegativeIndex2frontierReaderReachableByCorrectedNonNegativeIndex)pathfieldsz0out/save_selector_leaf_table_global_context.json)selectorTableCountfieldEntryRowCountcurrentSelectorRoutePairIndicescurrentFrontierLeafOnlyNegativez2out/save_selector_opcode08_activation_windows.json))sourceOrPredecessorOpcode08ActivatorCount+sourceOrPredecessorCurrentRootProducerCount,sourceOrPredecessorCurrentRangeProducerCount(currentInternalCurrentRangeProducerCountcontextWindowsz0out/save_selector_opcode07_indexed_pointers.json)opcode07IndexModerowCount selectedLeafTableWindowSlotCount"selectedNegativeRootEntrySlotCount!selectedCurrentRootEntrySlotCountselectedWrapperEntrySlotCountdirectFrontierTargetCountz2out/save_selector_opcode09_pointer_collisions.json)#sourceOrPredecessorOpcode09RowCount,sourceOrPredecessorSupportedOpcode09RowCount2sourceOrPredecessorUnsupportedModeOpcode09RowCount)sourceOrPredecessorCurrentRangeStoreCountrowsz1out/save_selector_wrapper_descriptor_context.json)wrapperEntryHexwrapperDescriptorHexwrapperChildPointerHexwrapperRefBeforeCurrentRootwrapperEntryRefswrapperEntryPromotingRefCountz2out/save_selector_selected_root_execution_gap.json)selectedRootExecutionRefFoundcurrentRootHexselectedPointerGlobalHexruntimeProbeGatediagnosticExclusionGate evidenceRefsevidenceRefCountz2out/save_selector_current_root_frontier_paths.json)strictHotspotFoundfrontierClusterClassfrontierClusterEventCountfrontierClusterSelectorRefCountz2out/save_selector_route_pair_index_source_gap.json)routeEntryIndicesentryPointerRefCountentryPointerTextRefCountentryPointerPromotingRefCount)encodedEntryAnchorRawScalarCandidateCount)encodedEntryAnchorPromotingCandidateCounthigherLevelIndexSourceProvenz)out/save_selector_leaf_table_context.json)selectorrootHexrootTablePointerHextableWindowHexfrontierLeafHexfrontierReaderHexzEselected-root execution reaches selector 2:0 on the normal route pathzJhigher-level selector/table index source selects route-pair entries 6 or 8zJsource/predecessor opcode 0x08 or 0x09 producer for the current root/rangezCwrapper entry -12 executes into 0x00542ae8 on the normal route pathz?strict map1_01a source coordinate or hotspot linked to map2_02d)selected-root-executionroute-pair-index-source#source-predecessor-current-producerwrapper-entry-executionstrict-hotspotcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks S/home/exedev/hwanse/tools/summarize_save_selector_route_pair_entry_execution_gap.py load_jsonrUs* ;;= ::dnngn6 77cBdjd|xsgDxsdS)N,c32K|]}t|ywN)str).0values rT zcsv..s95CJ9-)join)valuess rTcsvrcs 889FLb9 9 @S@rVc |syt|dS)N)intr]s rT parse_hexrhs  ub>rVc0t|tsyd|dS)N0x08x) isinstancerfrgs rThex32rms eS ! c{ rVcN|D] }|d}||dz}||cxkr |ks|cS"y)Nrawraw_size)sectionsoffsetsectionstartends rTsection_for_offsetrwsEgj)) F S N ! rVc&t|tsgStjd|}g}d} |j ||}|dkr |S|dz}t ||}|/|j |dt|d|z|dz t|de)N1c#hlA. E&&tS%8;E5*F* &v %gdme&; < %e    KrVci}|D]/}|jdxsd}|j|ddz||<1tt|jS)Nrtr`rr)getdictsorteditems)rcountsrefrts rTsection_countsrsZF5'')$+ **Wa014w5 v||~& ''rVcf|rd|vry|jdd\}}t|t|fS)Nz..)NNr)splitrh)textrurvs rTparse_table_windowrs7 4t#D!$JE3 U Ys^ ++rVc j|xsi}tdz }|jsd|jddS|j}t |}t |jd\}}t ||||} |D cgc]-} | jdrt| jd/} } |D cgc]-} | jdrt| jd/} } |D cgc]-} | jdrt| jd/} } |jd}t|}t|}t|jd}d |fgt| Dcgc] \}}d ||fc}}t| Dcgc] \}}d ||fc}}}gt| Dcgc] \}}d ||fc}}d |fd|f}g}|D]U\}}t|||}|j|t|t|td|Dt||dWg}|D]U\}}t|||}|j|t|t|td|Dt||dWtd|D}td|D}td|D}td|D}id| rtd| Dsdndd|jddt| dtd| Ddt| d|dtd |Dd!|d"|d#|d$td%|Dd&td'|Dd(td)|Dd*|d+|d,| Scc} wcc} wcc} wcc}}wcc}}wcc}}w)-Nz Hwanse2.exez missing-exerC)statusrC entryVaHex descriptorHexrDrBrootTablePointer routeEntrynegativeReaderEntry routeLeaf frontierLeaffrontierReaderc3JK|]}|jddk(sdywrt.textrNrr\rs rTr^z0root_table_direct_ref_context..# ScSWWY5G75RS##)rzr~refCount textRefCount sectionCountsrc3JK|]}|jddk(sdywrrrs rTr^z0root_table_direct_ref_context...rrc3PK|]}|djds|d yw)rzrrN startswithr\rows rTr^z0root_table_direct_ref_context..2s*xSVW]S^SiSijvSwN 3x& &c3PK|]}|djds|d yw)rzrrNrrs rTr^z0root_table_direct_ref_context..3s(sssSY{OeOefqOrs>2src38K|]}|ddk(s |dyw)rzrrNrqrs rTr^z0root_table_direct_ref_context..4s$!p#RUV\R]aoRo#n"5!p  c38K|]}|ddk(s |dyw)rzrrNrqrs rTr^z0root_table_direct_ref_context..5s$#tCTWX^T_csTsC$7#trrc3DK|]}|jddk(yw)rtrNrrs rTr^z0root_table_direct_ref_context..8s!VC#'')"4"?!Vs zdata-only-no-text-refopentableWindowRefCounttableWindowTextRefCountc3JK|]}|jddk(sdywrrrs rTr^z0root_table_direct_ref_context..<s!&`S#'')BTX_B_q&`rtableWindowSectionCountsrouteEntryAddressTextRefCount&negativeReaderEntryAddressTextRefCountc3PK|]}|djds|d yw)rzrrNrrs rTr^z0root_table_direct_ref_context..?s,6 $'s6{?U?UVk?lC 6 rrouteLeafValueTextRefCountfrontierLeafValueTextRefCountfrontierReaderValueTextRefCountrouteLeafValueRefCountc3PK|]}|djds|d yw)rzrrNrrs rTr^z0root_table_direct_ref_context..Es)%v#RUV\R]RhRhitRuc*o%vrfrontierLeafValueRefCountc38K|]}|ddk(s |dyw)rzrrNrqrs rTr^z0root_table_direct_ref_context..Fs#(sSUXY_U`drUrZ(srfrontierReaderValueRefCountc38K|]}|ddk(s |dyw)rzrrNrqrs rTr^z0root_table_direct_ref_context..Gs#*wsWZ[aWbfvWv3z?*wrkeyAddressRows keyLeafRowstableWindowRefs)ROOTrOr read_bytesrrrrh enumeraterrrmrsumrany)leaf_table_contextroute_pair_rowsnegative_reader_rowsfrontier_reader_hexexe_pathrrr table_start table_end table_refsrroute_entry_addressesnegative_entry_addressesroute_leaf_addressesfrontier_leaf_hex frontier_leaffrontier_readerroot_table_pointerrr] key_addresseskey_leaf_valueskey_address_rowsrzr key_leaf_rowsroute_entry_text_refsroute_leaf_text_refsfrontier_leaf_text_refsfrontier_reader_text_refss rTroot_table_direct_ref_contextrs ,1rm#H ?? #0445EF      CS!H/0B0F0FGW0XYK&sHk9MJ#  77<  #'','((   77<  #'','(  #  77? # #''/*+ +../@A/0M 34O"#5#9#9:O#PQ /0  ()>  1#6 +;6 3   %&:  ()@  *+D  !#%v%v"v  $S(sM(s%s! " &s*wm*w'w# $ *% & }' ( :) o    ^ i \s$>2N62N.2N5N#N)=N/c|jd|jd|jd|jd|jd|jdxsg|jdxsg|jdxsg|jd |jd |jd |jd |jd |jd|jddS)NrootRelativeIndexrinsideCurrentRootEntryRunrchildPointerHexdescriptorFieldMapsdescriptorNestedFieldMapschildFieldMapsdescriptorHasRoutePairchildHasRoutePair%descriptorTraceContainsFrontierReader childTraceContainsFrontierReader.correctedDescriptorTraceContainsFrontierReader%correctedDescriptorFrontierReaderStep.effectiveDescriptorTraceContainsFrontierReader)rrrrrrrrrrrrrrrrrs rTcompact_leaf_rowrNs WW%89ggl+%(WW-H%I177#45"ww'<=C%(WW-H%I%OR''"239r"%''*B"C WW%89149`1a,/GG4V,W:='' <; 259`1a:='' <; # rVc|jdxsi}|jdxsi}id|jdd|jdxsgd|jdd|jdxsgd|jdd|jdd |jd xsgd |jd d |jd d |jd xsgd |jd d|jdd|jdxsgd|jdd|jdd|jdd|jdS)Nr1r2pollSampleCountpollObservedSelectorsrouteWatchPollSampleCountrouteWatchPollObservedSelectorsrouteWatchPollValues(predecessorDirectionSweepPollSampleCount.predecessorDirectionSweepPollObservedSelectors1predecessorDirectionSweepPollReachedRouteSelector4predecessorLeftOverrunActivationSweepPollSampleCount:predecessorLeftOverrunActivationSweepPollObservedSelectors=predecessorLeftOverrunActivationSweepPollReachedRouteSelector&patchedPublicSelector20PollSampleCount8patchedPublicSelector20InputPathCaseAliasPollSampleCount,patchedPublicSelector20PollObservedSelectors>patchedPublicSelector20InputPathCaseAliasPollObservedSelectors-constructedDiagnosticPollReachedRouteSelector0diagnosticExcludedFromSelectedRootExecutionProof&excludedFromSelectedRootExecutionProofdiagnosticFollowupSelectorfollowupSelectordiagnosticBridgeExecutionLike&aliasToCurrentExecutionLikeBridgeFoundr)selected_root_execution_gap runtime_gatediagnostic_gates rTselected_root_runtime_summaryrfs.223EFL"L1556OPVTVO) <++,=>) !1!12I!J!Pb)  $\%5%56Q%R)  *<+;+;<]+^+dbd )   0 01G H )  3L4D4D 65 )  9,:J:J <; ; )  <\=M=M ?> )  ? @P@P BA !) & ElFVFV HG G -) . HIYIY KJ /) 4 1,2B2B F3 5) : 7 8H8H L9 9 A) B 89I9I ;: C) H ;O%?$@AGG$EFGq 775 6 78ww5678''<=>?gg>?@  BrVc H|jd|jd|jd|jd|jd|jd|jd|jd|jd |jd d S) Nr@vaHexr~ valueSectionmodeHexstoredPointerSourcemodeSupportedByHandler"unsupportedModeReturnsWithoutStorepointerCollisionclassification) r@r,r~r-r.r/r0r1r2r3rrs rTcompact_opcode09_collision_rowr4sGGJ'!GGJ'/779%"ww'<="%''*B"C.1gg6Z.[GG$67''"23  rVc |jdd|jdd|jdd|jdd|jdxsd S) Nr@@r,=r~r)r.r-r`rrs rTopcode09_collision_summaryr8sb 77:  q!1 2! 77:  q!3 4A 77> " )c * ,rVc !|xsi}|xsi}|jdxsgD cic]} | jdt| } } |jdxsg} |jdxsg} |jdxsg}| Dcgc] }|| vs| |}}|Dcgc] }|| vs| |}}|jdxsg}|jddu}|jd d k(xrV|jd d k(xr@|jd d k(xr*|jd d k(xr|jdd k(}|jdxsd }|jdxsd }|jdxsd }|jdxsgDcgc] }t|}}|D cgc]} | jddvr| }} |D cgc]} | jddk(s| }} djd|D}djd|D}|jdxsgD cgc]3} | jddvr| jddur t | 5}} djd|D}||z|z} |jdd d kDxs|jddu}!|jdxsg}"|jdxsd }#t d |"D}$t d!|"D}%|"D cgc]g} | jd"d#k(rQ| jd$d%| jd&d'| jd(xsd)d%| jd*xsd)i}&} |jd+d,k(xr|$d,k(}'|jd-du}(t | xr| | k(xrtd.|D})|(xr |)xr| d kD}*|)xrA|jd/duxr,|jd0d1uxr|xr|xr| d k(xr|! xr|( }+|+rd2nd3},|jd4duxs,|jd5d d kDxs|jd6d d kD}-|jd7duxs|jd7du}.g}/|(s|/jd8|-s|/jd9| d k(r|/jd:|!s|/jd;|.s|/jd<|/D0cgc]}0tj|0|0}1}0t| |||jd=}2|* }3|*r|.rd>nd?}4d@|)rdAndBdCt| dDt| dE|jd/dFdGdHdCt|dI|jdJdK|jdLdM|jdNdO|#dP|$dQ|%dRdSj|&xsd)dFdT|r'|-s%|jdU|jdVk(rdWnd3dXjgdYt|jdZxsgd[|jdVd\|jd]d^|jd5dP|jdUdQ|jd_d`|jdadb|jdcdd|jdedf|jdgdh|jdidj|jd6dk|jdldmdSj|jdnxsgxsd)do|jdpdq|jdrdFds|rdtndudv|jdwdx|jdydz|jd{d%|jd|d}t|d~| dFd|2jdxsdd|2jdd|2jdd%|2jdd|2jdd|2jdd|2jdd|2jdd|2jdd|2jddFd|rdndd|jdd|jdd|jd d|jd d|jd dK|jd d|jddFd|s|sdndd|jdd|d|d|jdd|jdd|jdd|xsd)d|xsd)d|jddFd|d k(rdndd|jdd|jdd|jdddSj|jdxsgxsd)d|jdd|d|jdd|xsd)d|jddFd|,d|)d|jd0d|jd/d|d|d| d|!d|(dFd8|(sdndd|(d|jdͫd|jdϫd|jdѫdFd<|.sdndd|jd7d|jd7d|jdիdFg }5d}6id|jd׫xstd|jdثxstd|jdxsdd|jd٫d|jdګd|jd۫d=|jd=d| d| d|d|jdd|jdd|)d|jdwd|jdyd|jd{d|jd|id|d|jdd|jdd|d0|jd0d/|jd/d|+d|,d|d|jd d|jd d|jd d|jd d|jdd|jdd|d|id|jdd|d|d|d|jdd|d|jdd|jdd|jdxsgd|jdd|jdd|jdd|d|d|jdd| d|jdZxsgid |jdVd |jd]d |jd5d |jded |jdgd|jdid|jd6d|jdld|jdUd|jd_d|jdad|jdcd|jdnxsgd|jdpd|jdrd|jd4d|jdid|jdxsgd|jdxsgd|2d |2jdd!|2jdd"|2jdd#|2jdd$|2jdd%|2jdd&|2jdd'|2jddJ|jdJdL|jdLdN|jdNd(|jd(d|jdd+|jd+id)|jd)d|#d*|$d+|%d,|&d-|'d|jdd.|!d-|(d/t|d0|*d|*d1|/d|1d2|3d7|.d|4|||5tt!tgd3|6d4Scc} wcc}wcc}wcc}wcc} wcc} wcc} wcc} wcc}0w(5Nr rr r rrrTrrrr r!r"rrr&rr@>0:01:0z2:0;c32K|]}t|ywrZr*rs rTr^z build_summary..:*- %:r_c32K|]}t|ywrZr>rs rTr^z build_summary..r?r_r'r2c32K|]}t|ywrZ)r8rs rTr^z build_summary.. sE  #3'Er_r-currentRootReferencesWrapperr,'wrapperEntryCurrentRootEntryRunRefCountc3nK|]-}|jddk(r|jddurd/yw) referenceRole"opcode-0x5a-mode0-fallthrough-wordpromotesWrapperSelectionFrNrrs rTr^z build_summary..s<7  77? #'K K GG. /5 8 7s35c3K|]@}|jddk(r*|jddur|jddurdByw)rErFfallthroughWordHandlerIsCodeF$fallthroughWordCanJumpToDwordAtPlus4rNrrs rTr^z build_summary..!sN7  77? #'K K GG2 3u < GG: ;u D 7sAArErFfallthroughWordValueHexr)fallthroughWordOpcodeHexz->fallthroughWordHandlerHexr`fallthroughWordHandlerSectionwrapperEntryRefCountrr.c3BK|]}|jdduyw)rTNrrs rTr^z build_summary..9s mVYHITQmsrrFz*corrected-trace-not-normal-selection-proofrr?r<r>r5rFrGrHrIrJrEzready-for-reviewblockedzroute-pair-current-entrieszcorrected-reader-trace-onlyzmissing-corrected-reader-tracezindices=z ; corrected=z-; readerReachableByCorrectedNonNegativeIndex=)kindrdetailznegative-wrapper-readerzoutside-current-root-runz; wrapperEntry=r(z ; wrapper=r)z; child=r*z; entryRunRefs=z; opcode5aFallthroughRefs=z; fallthroughNonCodeRefs=z; fallthroughHandlers=rXzroute-entry-pointer-source-refs'entryPointerOpcode5aFallthroughRefCountr:znon-promoting-fallthrough-onlyzrouteEntryIdx=r9z ; entryRefs=z ; textRefs=r;z; promotingRefs=&entryPointerFallthroughNonCodeRefCountz; nonNegPromoting=(nonNegativeEntryPointerPromotingRefCountz; negativeReaderPromoting=+negativeReaderEntryPointerPromotingRefCountz ; encodedRaw=r=z; encodedBranch=1encodedEntryAnchorBranchAttachedEncodedFieldCountz; encodedModeled=2encodedEntryAnchorModeledControlFlowCandidateCountz; encodedPromoting=z; encodedClass= encodedEntryAnchorClassificationz ; handlers='entryPointerFallthroughHandlerSummariesz; descriptorTableOnly=descriptorRefsOnlyTableCellsz; childDescriptorWordOnly=!childRefsOnlyDescriptorChildWordszglobal-leaf-table-contextzfrontier-leaf-negative-onlyzfrontier-leaf-nonnegative-openzselectorTables=rz; fieldEntries=rz; negative/nonNegative=negativeFieldEntryRowCountnonNegativeFieldEntryRowCountz; currentRoutePairIdx=z; frontierLeafOnlyNegative=zroot-table-direct-ref-contextrunknownz tableWindow=rCz ; tableRefs=rrz ; sections=rz; routeEntryTextRefs=rz; routeLeafTextRefs=rz; frontierLeafTextRefs=rz; frontierReaderTextRefs=rz; frontierReaderRefs=rzopcode07-direct-entry-selectionabsentpresentz rowCount=rz ; indexMode=rz ; leafWindow=z ; negative=z ; current=z; directFrontier=zopcode08-activation-windowz*source-predecessor-current-producer-absentz+source-predecessor-current-producer-presentzsourcePredecessorActivators=rz; currentRoot=z; currentRange=z ; ownRange=(sourceOrPredecessorOwnRangeProducerCountz; scriptScalar=,sourceOrPredecessorScriptScalarProducerCountz; currentInternalRange=rz; sourcePredBuckets=z; currentContrast=z ; promotes=opcode08ActivationPromotesRoutezopcode09-selected-pointer-storez'source-predecessor-current-store-absentz(source-predecessor-current-store-presentzsourcePredecessorRows=r#z ; supported=r$z; unsupported=r%z; unsupportedModes=&sourceOrPredecessorUnsupportedModesHexz; pointerCollisions=+sourceOrPredecessorPointerCollisionRowCountz; currentRangeStores=z; activationLinkedCollisions=%activationLinkedPointerCollisionCountz; collisionRows=%opcode09PointerCollisionPromotesRoutez$corrected-trace-normal-selection-gapzcorrectedReaderGrounded=z; nonNegativeSelectable=z ; nonNegativeCorrectedReachable=z; frontierLeafNegativeOnly=z; opcode07DirectAbsent=z; sourcePredCurrentProducers=z; wrapperExec=z; selectedRootRef=missingfoundzselectedRootExecutionRefFound=r/z; selectedPointerGlobal=r0z ; promotion=promotionStatuszleafIndexStrict=z; frontierStrict=z; frontierClusterClass=r6a`Selector 2:0 has current-root route-pair entries 6 and 8, and opcode 0x2c-corrected traces from both entries reach reader 0x00542b0c. This still does not prove normal route execution chooses those entries: opcode 0x07 has no direct entry selection, source/predecessor opcode 0x08 and 0x09 windows do not produce the current root/range, explicit entry-pointer refs to -12/6/8 are non-code opcode 0x5a fallthrough words, the negative wrapper entry -12 is outside the current root run, the reader is corrected-reachable but not selectable by a non-negative index, and selected-root runtime proof remains absent.sourcetargetrArBrDroutePairEntryIndices#routePairCorrectedTraceEntryIndicesnegativeReaderEntryIndicesroutePairCurrentEntryCount$routePairDescriptorCurrentEntryCount)routePairCorrectedTraceReachesReaderCount)correctedRoutePairTraceReachesReaderCount routePairCorrectedReaderGroundedglobalSelectorTableCountglobalFieldEntryRowCount globalNegativeFieldEntryRowCount#globalNonNegativeFieldEntryRowCount%globalCurrentSelectorRoutePairIndices.globalCurrentSelectorNegativeRoutePairRowCount(currentSelectorNegativeRoutePairRowCount1globalCurrentSelectorNonNegativeRoutePairRowCount+currentSelectorNonNegativeRoutePairRowCount%globalCurrentFrontierLeafOnlyNegative%correctedTraceNormalSelectionGapFound&correctedTraceNormalSelectionGapStatus"opcode07DirectEntrySelectionAbsent(opcode07SelectedLeafTableWindowSlotCount*opcode07SelectedNegativeRootEntrySlotCount)opcode07SelectedCurrentRootEntrySlotCount%opcode07SelectedWrapperEntrySlotCount!opcode07DirectFrontierTargetCount)opcode08SourceOrPredecessorActivatorCount3opcode08SourceOrPredecessorCurrentRootProducerCount4opcode08SourceOrPredecessorCurrentRangeProducerCount0opcode08CurrentInternalCurrentRangeProducerCountopcode08SelectorBucketRows&opcode08SourcePredecessorBucketSummary&opcode08CurrentSelectorContrastSummary1opcode09SourceOrPredecessorCurrentRangeStoreCount4opcode09SourceOrPredecessorSupportedOpcode09RowCount:opcode09SourceOrPredecessorUnsupportedModeOpcode09RowCount.opcode09SourceOrPredecessorUnsupportedModesHex?opcode09SourceOrPredecessorUnsupportedModePointerCollisionCount7sourceOrPredecessorUnsupportedModePointerCollisionCount3opcode09SourceOrPredecessorPointerCollisionRowCount-opcode09ActivationLinkedPointerCollisionCount-opcode09SourcePredecessorPointerCollisionRows0opcode09SourcePredecessorPointerCollisionSummary'sourceOrPredecessorCurrentProducerCount%routePairIndexSourceRouteEntryIndices(routePairIndexSourceEntryPointerRefCount,routePairIndexSourceEntryPointerTextRefCount1routePairIndexSourceEntryPointerPromotingRefCount=routePairIndexSourceEncodedEntryAnchorRawScalarCandidateCountEroutePairIndexSourceEncodedEntryAnchorBranchAttachedEncodedFieldCountFroutePairIndexSourceEncodedEntryAnchorModeledControlFlowCandidateCount=routePairIndexSourceEncodedEntryAnchorPromotingCandidateCount4routePairIndexSourceEncodedEntryAnchorClassification;routePairIndexSourceEntryPointerOpcode5aFallthroughRefCount:routePairIndexSourceEntryPointerFallthroughNonCodeRefCountprove a higher-level selector/table index selects entry 6 or 8zLor prove wrapper entry -12 executes into 0x00542ae8 on the normal route pathzFfind a strict map1_01a source coordinate or hotspot linked to map2_02d)routePairEntryRowsnegativeReaderRows evidenceRowsr3r4remainingProofs conclusion)rrr'rar4rboolallr)ROUTE_PAIR_ENTRY_MISSING_EVIDENCE_BY_GATErrcSOURCETARGETr EVIDENCE_REFSr)7leaf_index_spaceleaf_table_global_contextopcode08_activation_windowsopcode07_indexed_pointersopcode09_pointer_collisionswrapper_descriptor_contextrcurrent_root_frontier_pathsroute_pair_index_source_gaprrroute_rows_by_indexroute_pair_indicescorrected_route_pair_indicesnegative_reader_indicesrrr!global_current_route_pair_indices*global_current_frontier_leaf_only_negative opcode07_direct_selection_absent"opcode08_source_current_root_count#opcode08_source_current_range_count#opcode09_source_current_range_countr&opcode08_selector_bucket_rows'opcode08_source_predecessor_bucket_rows%opcode08_current_selector_bucket_rows*opcode08_source_predecessor_bucket_summary*opcode08_current_selector_contrast_summary2opcode09_source_predecessor_pointer_collision_rows5opcode09_source_predecessor_pointer_collision_summary,source_or_predecessor_current_producer_countwrapper_execution_proof_foundwrapper_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_fallthrough!selected_root_execution_ref_found$route_pair_corrected_reader_grounded!route_pair_entry_execution_proven*corrected_trace_normal_selection_gap_found+corrected_trace_normal_selection_gap_status"direct_entry_pointer_source_provenstrict_hotspot_found failed_route_pair_entry_gate_idsgate_idmissing_evidencetable_direct_ref_contextentry_selection_gap_openpromotion_status evidence_rowsrs7 rT build_summaryrs#>"C"="C$''(;<B  #$&6s&;;*--.QRXVX#3#7#78b#c#igi .223QRXVX?QreUZ^qUq*51rOr0G',5TgKgE")B(E(EFg(h(nln%!%%&GHDP/ "%%&HIQN L % ) )*N OST T L % ) )*M NRS S L & ) )*I Ja O L & ) )*E F! K % $''(UV[Z[' $''(VW\[\( $''(STYXY( 3667GHNB%  !)%!% 1/  77: . 0 /+/ 5- 8Ku8T-)-25:1X:2.25:1V:2. /226:@b:  77: . 0SWW=O5PTX5X 's+:6: =@HHEEE=9 + - . - .1 #&&'FJQN R % ) )*H IT Q"4778JKQr"&&'PQVUV3477%740 477%740& 3  77? #'K K ww012!CGG!C > 8A =3)D(G(GHg(hlp(p%   n (,> > n m]lm m) * = 0 = 81 <& - 2  !U VZ^ ^ 2  !M NRW W 2 7 2 -  2 9A =  2 . -  22 1/ 6 5 0 $''(FG4O _ & * *+JA NQR R _ & * *+VXY Z]^ ^' 12d: I & * *+? @D H(*$ ,(//0IJ -(//0IJ3q8(//0UV ((//0IJ (//0@A8  255gwG =01   $ED -1E  13413123<D`@a?bc>#''(\]^` .03678-112CDEZ-112HIJ(-112JKLM NOP++W*XY**V)WX''*xx0['\'c`c&df 6*6+//0YZ+//0FG7 rr.r%@%D%DEX%Y%_]_!` arbr8<<=STUrVr7;;ijkrl!r"=!@!@At!u vrw"r#>"A"ABv"w!xry$r%@$C$CDo$p#qrr r !< ? ?@b cd!r e!r" HH%@%D%DEn%o%usuv}z}~#r"'#r$(C'F'FGe'f&g%r$h+%r&,G+J+JKn+o*p'r B0941!";"?"?@T"U!VW 9 = =>R STU(,001MNOq,001PQRS''*+L'M&NO,,V+W Y  4.228<I 7;;&B&BCb&c%de%%=%A%AB^%_$`a((@(D(DEd(e'fg**B*F*FGh*i)jk&&>&B&BC`&a%bd  6"Bh 599*EFG6::;NOPQ7;;<^_`a599:^_`a4889\]^_4889XYZ["";"?"?@["\!] _ 16:]C>..223^_`aABC CDE7;;>?stuv$887;;##D"E G  ".'Hig01R0ST:>>?OPQR))D)H)HIc)d(ef8<<=NOPR %';i"#3#7#78L#M"NO""="A"ABV"W!XY((C(G(GH^(_'`b  MoMb N "&&x0:FN "&&x0:FN  $((4=N  #'' 2 N  /334IJ N  +//0AB N  -112EFN  !3N  ./KN  %&=N  %&6&:&:;a&bN  45E5I5I 76 N  +,PN  #$=$A$ABV$W!N " #$=$A$ABV$W#N $ +,E,I,IJf,g%N & ./H/L/L +0 'N , 01R-N . 9:S:W:W 6; /N 4 <=V=Z=Z 9> 5N : 01[;N < 56F6J6J 87 =N B =>N>R>R @? CN H 01[IN J 12]KN L -.NMN N 34M4Q4Q .5 ON T 56O6S6S 07 UN Z 45N5R5R /6 [N ` 01J1N1N +2 aN f ,-F-J-JKf-ggN h 45P5T5T 76 iN n >?aoN p ?@cqN r ;?Z?^?^ 9@ ]N b 89T9X9X 3: cN h 89kiN j ; AmN p 01L1P1P 32 qN v 23_wN x 01L1P1PQd1e1kikyN z 34O4S4S "5 {N @ 78S8W8W &9 AN F <=X=\=\ +> GN L HIdIhIh 7J MN R PQlQpQp ?R SN X QRmRqRq @S YN ^ HIdIhIh 7J _N d ?@[@_@_ .A eN j FGbGfGf 5H kN p EFaFeFe 4G qN v GHcHgHg 6I wN | JKfKjKj 9L }N B F ' + +,U V \Z\EN H ; D"eN h $%=iN j ()A)E)EF[)\kN l ,-E-I-IJc-dmN n 01I1M1M &2 oN t 12J2N2N +3 uN z ./G/K/K (0 {N @ 12J2N2N +3 AN F 34L4P4P -5 GN L /0H0L0L )1 MN R 599:KLSN T  : > >?U VUN V !"<"@"@AY"ZWN X &'A'E'EFc'dYN Z '(B(F(FGe(f[N \  : > >?U V]N ^ /0J0N0N 21 _N d 23aeN f 23_gN h 12^iN j 23^kN l 34bmN n ()C)G)GHg)hoN p %&CqN r ()JsN t %&CD_&`uN v ()JwN x 7yN z &'G{N | +}N ~ !9N @ 2AN B +CN D.2%% . ![N Nq s.%/ -:F3vsT"AC AC AC " AC,ACAC7ACAC!3AC!8AC&A,AC+AC0c4 gdd|ddd|dd|ddd |d d |d dd |ddd|dd |dddt|dddt|dddt|dddt|ddd|ddd|ddd|ddd |d!dd"|d#d |d$dd%|d&dd'|d(dd)|d*dd+t|d,dd-|d.dd/|d0dd1|d2d |d3d |d4dd5|d6d |d7d |d8d |d9d d:|d;dd<|d=d |d>dd?t|d@ddA|dBddC|dDd |dEddF|dGd |dHd |dId |dJd dK|dLddM|dNddO|dPddQ|dRddSt|dTddU|dVddW|dXddY|dZdd[|d\dd]t|jd^dd_t|jd`xsgdda|dbddc|dddde|dfdddgd|jd`xsgDcgc]}dh| c}ddiddjdk}|dlD]}dmj|jdnxsgxsdo}|j dp|jdqdr|jdsdt|jdudt|jdvdw|dx|jdydz |j gd{|d|D]&}|j dp|d}dx|d~dx|ddz(|j gd|jdxsgD]@}dj|jdxsg}|j d|dd|B|j gd|dD]}|j d|jd dw|jddr|jddw|jddx|jdd|jddx|jddx|jddx|jddz|j gd|dD]}|j d|jd dt|jddt|jddt|jddw|jdxsdodx|jddx|jddz|j gd|j d|dD|j ddj|Scc}w)Nz.# Save Selector Route-Pair Entry Execution GaprUrz - route: `rnz -> ro`z- selector/root: `r@z` / `rAz- root table pointer: `rBz- frontier leaf/reader: `rDrEz- route-pair entry indices: `rpz)- corrected reader trace entry indices: `rqz"- negative reader entry indices: `rrz/- global current selector route-pair indices: `r|z/- global current frontier leaf only negative: `rz)- corrected trace normal-selection gap: `rz/- corrected trace normal-selection gap found: `rz+- opcode07 direct entry selection absent: `rz=- opcode08 source/predecessor current root/range producers: `rrz/- opcode08 source/predecessor bucket summary: `rz'- opcode08 current selector contrast: `rz5- opcode09 source/predecessor current-range stores: `rz2- opcode09 source/predecessor unsupported modes: `rz/- opcode09 source/predecessor collision rows: `rz.- source/predecessor current producer count: `rz6- route-pair index source entry refs/text/promoting: `rrrzA- route-pair index source encoded raw/branch/modeled/promoting: `rrrrz3- route-pair index source encoded classification: `rz?- route-pair index source opcode5a fallthrough/non-code refs: `rrz%- route-pair index source handlers: `rz#- route-pair index source proven: `rz%- root table window refs/text refs: `rrz?- root table route entry/leaf/frontier leaf/reader text refs: `rrrrz+- root table frontier reader direct refs: `rz.- wrapper entry current-root entry-run refs: `rCz,- wrapper entry opcode5a fallthrough refs: `rz,- wrapper entry fallthrough non-code refs: `rz'- wrapper entry fallthrough handlers: `rz"- wrapper execution proof found: `rz&- selected-root execution ref found: `r.z&- route-pair entry execution proven: `rz- proof found: `rz"- failed route-pair entry gates: `rz- missing evidence count: `rz- strict hotspot found: `r5z- evidence refs: `r4z- promotion status: `rmz## Missing Evidence- z## Route-Pair Entriesz@| index | entry | descriptor | child | maps | corrected reader |z&| ---: | --- | --- | --- | --- | --- |rrXrr`z| rz | `rz` | `rrz` | z | rz |)rUz ## EvidencerUz| kind | status | detail |z| --- | --- | --- |rrRrrS)rUz## Evidence RefsrUr3, rz- `rz`: )rUz## Opcode 0x08 Selector BucketsrUzZ| selector | role | range | activations | current root/range | own | script | unreadable |z5| --- | --- | --- | ---: | --- | ---: | ---: | ---: |rz| `rrrr r)r!r"r#r$)rUz!## Opcode 0x09 Pointer CollisionsrUzS| selector | va | value | mode | section | returns without store | classification |z+| --- | --- | --- | --- | --- | --- | --- |rr,r~r.r-r1r3)rUz## Remaining ProofsrUc3&K|] }d| yw)rNrqr\items rTr^zmarkdown..`sD2dVDsr )rcrrrarextend)summaryrlinesrmapsrrs rTmarkdownr s 7 87  7   7  7  WX&'tGH,=+>a@ 7  WZ01wy7I6J!L 7  "'*?"@!AC7  $G,=$>#?uWM`EaDbbcd7  (G4K,L(M'NaP7  4C@e8f4g3hhij7  -S9U1V-W,XXYZ7  :#gFm>n:o9ppqr7  :'Bi:j9kklm7  4Gb6c5ddef!7 " HQFIGHHHMNUVLNMMNNO P#7 $ :'Bj:k9llmn%7 & 2':b2c1ddef'7 ( @H{@|?}}~)7 * =SIyAz={<||}~+7 , :'Bt:u9vvwx-7 . 9Aj9k8llmn/7 0 AIsAt@uuz|CDr|s{ttyzABuzvywwx y17 2 LGUTMULVV[\cdk\l[mmrsz{CsDrEEJKRSRKSJTTU V37 4 >gF|>}=~~ A57 6 J'SPKQJRRWX_`\X]W^^_ `77 8 0G J'RzJ{I|}BCJKpCqBrrwx@hxiwjjopwxbpcodde f?7 @ 6g>d6e5ffghA7 B 9Aj9k8llmnC7 D 7w?h7i6jjklE7 F 7w?g7h6iijkG7 H 2#g>g6h2i1jjklI7 J -W5Q-R,SSTUK7 L 19X1Y0ZZ[\M7 N 19X1Y0ZZ[\O7 P 7<013Q7 R -S=Z1[-\,]]^_S7 T &c'++6G*H*NB&O%PPQRU7 V $G,@$A#B!DW7 X W%789;Y7 Z (9 :;1=[7 \ ]7 ^ _7 ` a7 b#*++.?"@"FB G$Btf+ Gc7 d e7 f g7 h i7 j Kk7 l 1m7 Ep+, xx 56<"=D ,-.d377<3H2IJ()sww7H/I.J$fC PQRRT V   LL]^~&O r#f+c#h-CM?"MNO LL-.{{>*0b53778,23 s3v;-s6(345 LL34  #''*%&d3776?*;4 @S?TTXww()*#cgg6W.X-YYZww9:;3swwGe?f>ggjww9:;3swwGg?h>iik m   LLFG  #''*%&eCGGG,<+=U377:CVBWX "#4(?(F3'Gsww;<=SIYAZ@[[] _   LL01 LLD1B)CDD LL 99U g Hs Vc:djd|dD}djd|dD}djd|dD}djd|d D}djd |d D}djd |jd xsgD}djd|jdxsgD}djgddddddddddtj|dddtj|ddtj|dd tjt |d!d"tjt |d#d$tjt |d%d& d'|d(d)|d*d+|d,d-|d.d/tjt |jd0d1t |jd xsgd2 d3jgd4tjt |d5d6|d7d8|d9d:|d;d:|d<d=|d>d:|d?d:|d@d:|dAdB|dCdD|dEd:|dFdG|dHd:|dId:|dJd:|dKdL|dMd2dNtj|dOdPtj|dQdRtj|dSd&dTtjt |dUdV|dWdX|d7d2dY|dZd2d[d\|d]d^d_|d`dadb|dcddd\|d]dedf|d`dgdh|d`did\|d]djdkd3S)lNrc3K|]}d|jddtjt|jddtjt|jddtjt|jddtjdj |jd xsgxsd d |jd d yw)rrrrrXrr` r N)rhtmlescaper[rars rTr^zhtml_page..fs   ww*+,-[[SWW\%:!;<=>[[SWW_%=!>?@A[[SWW->%?!@ABC{{388CGG,A$B$HbIPSQRSwwGHIJ   sC7C9rc 3K|]R}dtj|ddtj|ddtj|ddTyw)rrRrrrSrNrrrs rTr^zhtml_page..qsg   {{3v;'(){{3x=)*+{{3x=)*+ sAArc3K|]}dtjt|jddtjt|jddtjt|jdd|jdd|jdd |jd d|jd d|jd d|jd dyw)r@rrrrrrr r)r!r"r#r$rNrrr[rrs rTr^zhtml_page..ys   [[SWWZ%8!9:;<{{3swwv/012[[SWWZ%8!9:;<ww()*+ww89:! 775 6 78ww5678ww9:;<ww789:  sDDrc3zK|]2}dtjt|jddtjt|jddtjt|jddtjt|jddtjt|jdxsdd |jd d tjt|jd d 5y w)rr@rr,r~r.rr-r`rr1r3rNrrs rTr^zhtml_page..s (  [[SWWZ%8!9:;<[[SWWW%5!6789[[SWWZ%8!9:;<[[SWWY%7!89:;{{3sww~6=#>?@Aww;<=>{{3sww'789:;<  (sD9D;rc3NK|]}dtj|dywz
  • 
    • Nrrs rTr^zhtml_page..s#cd4;;t#4"5U;c#%rc3NK|]}dtj|dywrrrs rTr^zhtml_page..s(,0$t{{4 !'r!rc 3K|]h}dtj|jdxsddtjdj|jdxsgdjyw)z
  • rrUz : rrr N)rrrrars rTr^zhtml_page..sf#   SWWV_234I ;;tyy!2!8b9 : ; #sA.A0r3zzzz z= Save Selector Route-Pair Entry Execution Gapa zzz7

    Save Selector Route-Pair Entry Execution Gap

    z

    rz

    z

    Route: rnz -> roz; selector r@z; root rAz ; promotion status rmz .

    z(

    route-pair entry execution proven: rz%; selected-root execution ref found: r.z; strict hotspot found: r5z ; proofFound=rz"; failedRoutePairEntryGates=rz; missingEvidenceCount=z.

    rUzP

    Global leaf table: global current selector route-pair indices r|z5; global current frontier leaf only negative: rz5; route-pair index source entry refs/text/promoting: rr)rrz@; route-pair index source encoded raw/branch/modeled/promoting: rrrrz2; route-pair index source encoded classification: rz$; root table window refs/text refs: rrz3; route entry/leaf/frontier leaf/reader text refs: rrrrz+; wrapper entry opcode5a fallthrough refs: rzY

    Opcode 0x08/0x09 current producer contrast: source/predecessor buckets rz); current selector contrast rz'; opcode09 collision rows rz8

    corrected trace normal-selection gap: rzK; corrected trace reaches the reader, but non-negative selection is rz3 and the reader-bearing leaf remains negative-only z

    Evidence refs: r4z

    Missing Evidence

    z
      z
    z

    Route-Pair Entries

    z z
    indexentrydescriptorchildmapscorrected reader
    z

    Evidence

    zS z
    kindstatusdetail
    z

    Evidence Refs

    z'

    Opcode 0x08 Selector Buckets

    z z)

    Opcode 0x09 Pointer Collisions

    z
    selectorrolerangeactivationscurrent root/rangeownscriptunreadable
    z

    Remaining Proofs

    zz)rarrrr[rcr)r  entry_rowsr opcode08_rowsopcode09_collision_rows proof_items missing_itemsevidence_ref_itemss rT html_pager*ese /0  JII >* MII 78  M#ii (JK ( ))cPaHbccKII4;KK@Q4R4XVXM# ;;~.4" # 99_ _ _  _  ' _ L _ i _  _  _  F_ DKK 567t <_ WX%678 GT\L]@^?_`""&++c'*2E.F"G!HI"kk#gi.@*ABCD**.++c'BS:T6U*V)WWc e_ &;:;<=6:;<=)/012%l345S5R)S%TUVW((+GKK8I,J,Pb(Q'RRW Y'_ >MMMS1X)Y%Z[\M]?MBCD MEF M EFG M HI MIJKMLMMNOPMQQMZ[\M]^MbcdMefMcdeMfgMZ[\M]CMQRSMT5M":;<#M"=>#M$>?@%M$AD%M(CDE)M(FG)M*@AB+M*CD+M,CDE-M,FG-M.EFG/M.H r1) argparseArgumentParser__doc__ add_argumentrOUT parse_argsrrUr5r6print)parserargsr s rTmainrDs@  $ $ 9F  $<    D$,,!FFK$,,!OOQST$,,!QQSUV$,,!OOQST$,,!QQSUV$,,!PPRTU$,,!QQSUV$,,!QQSUV$,,!QQSUV$,,!HH"M G'4<<( 2 <<M M N PrV__main__)rrrSrreturnr)rbzlist[Any] | NonerFr[)r] str | NonerF int | None)r]rHrFrG)rr list[dict]rsrfrF dict | None)rbytesrrrIr]rHrFrI) rrKrrrIrrHrrHrFrI)rrIrFzdict[str, int])rrGrFztuple[int | None, int | None]) rrJrrIrrIrrGrFr)rrrFr)rrrFr)r&rrFr)rrrFr[)NNN)rrrrrrrrrrrrrrrrJrrJrrJrFr)r rrFr[)r rr5rrFNone)rFrL),r= __future__rr;rrPrpathlibrtypingrprobe_exe_scene_tablesr__file__resolver,rr?rrrrrUrcrhrmrwrrrrrrrr'r*r4r8rr r*r6rD__name__rqrVrTrTsL" 0 H~''* Ul  :  C E  C  E  D  E  E E  <  Cl ` P U U NW-)"8 A  ,     .(,]#]]%]$ ]  ]@0,^   04/3&*tt#t"&t $ t "& t !% t"&t"-t"-t$t tnePZz25 . zFrV
    selectorvavaluemodesectionreturns without storeclassification