UHj*dZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZdZd Zd Zd Zd Zd ZdZdZdZdZddddZd,dZd-dZd.dZd/dZd0dZd0dZd1dZ d2dZ!d3dZ"d4dZ#d5d Z$d6d!Z%ef d7d"Z& d8d#Z' d9d$Z(d:d%Z) d; dd)Z-d?d*Z.e/d+k(re.yy)@z6Summarize why the current gate base is still unproven.) annotationsN)Path)Anyoutmap1_01amap2_02d 0x005428bc 0x005428a8 0x005428c4 0x005428cci@izKruntime_selected_pointer_predecessor_direction_sweep_active_order_poll.jsonzSruntime_selected_pointer_predecessor_left_overrun_activation_active_order_poll.jsondprove opcode 0x20 runtime descriptor/base path before 0x005428c4; active order alone is insufficient8prove predecessor 1:0 state persistence into current 2:0Hfind strict map1_01a source hotspot or equivalent non-coordinate trigger)opcode20-runtime-base-pathpredecessor-state-persistencestrict-source-hotspotcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks H/home/exedev/hwanse/tools/summarize_save_selector_gate_base_proof_gap.py load_jsonr&s* ;;= ::dnngn6 77c"|r t|dSdSN)int)values r parse_hexr&,s"3ub>,,r cBdjd|xsgDxsdS)N,c32K|]}t|yw)N)str).0r%s r zlist_text..1s;5CJ;s-)join)valuess r list_textr00s 88;V\r; ; BsBr c(td|DiS)Nc3RK|]}|jdtk(s|!yw) writerVaHexN)getCURRENT_WRITERr+rows rr,z%current_writer_row..5s!a 8NR`8`as'')next)current_writer_pathss rcurrent_writer_rowr:4s a 4ace ffr c g}|jdxsijdxsg}|D]}|jd}|dk(rJ|j|jd|jd|dd|jd xsd d c|d vsh|j|jd|jd|d ddd |S)NactivationContext contextRows opcodeHex0x20vaHexvalueHexznested descriptor runnerFmeaningz>dispatch/load runtime object or party-member script references)r@rAr>kinddirectBaseSetterrB>0x280x400x410x420x43zbase-selector-shaped local rowzQlow-byte shape only in save-selector stream; not proven as general nested handler)r4append)writerrows context_rowsr7opcodes rlocal_base_affecting_rowsrO8s DJJ239r>>}MSQSL% V  KK)GGJ/#2$)779-q1q  ? ? KK)GGJ/#8$)n  ( Kr ci}tt}tt}|jdxsijdxsgD]}|jd}t|}||| ||cxkr|ksn3||jd|jd|jdxsd|jdxsd d ||<|jd xsgD]}|jd}t|}||| ||cxkr|ksn3|j|i}||jdxs|jd|jdxs|jd|jdxs|jdxsd|jdxs(|jdxs|jd xsd d ||<g}t |j d D]O\}}t |}|tk(|d<|tk(|d<|jddv|d<|j|Q|S)Nr<r=r@rAr> handlerVaHexr-rB)r@rAr>rQrBtrace stopReasonc&t|dxsdS)Nr)r&items rz"gate_window_rows..ps9TRSWCUCZYZr keyisWriter isFirstGate>r?rErFrGrHrIisBaseSetterCandidate) r&CURRENT_OPCODE20 FIRST_GATEr4sorteditemsdictr5rJ) rK rows_by_vastartendr7va_hexvapreviousrLs rgate_window_rowsriRs:"$J & 'E J C ./52::=IOR  ! v  :#+er>PS>P  +-GGN3:swwy)/R  6  zz'"(b  ! v  :#+er>PS>P >>&"- +Gx||J/G-Jk1JGGN3Zx||N7SZWZwwy)cX\\)-DcP\H]cac  6   Dj..06Z[ 3i N2J#z1M'*ww{';?o'o #$ C  Kr c@|sy t|dS#t$rYywxYwr")r$ ValueError) value_hexs rparse_order_indexrmys, 9b!! s  ct|}t|}||y||cxkr |tzkrnydt||z zdSy)N0x08x)r& IMAGE_SIZE IMAGE_BASE)rlloaded_base_hexr% loaded_bases rstatic_from_runtime_hexrusW i EO,K } +e6kJ66 J%+"56s;<< r cr|siS|jdxsgD]}|jd|k(s|cSiS)NdescriptorRowsdescriptorVaHexr4)descriptor_scriptsdescriptor_hexr7s rdescriptor_row_for_descriptorr|sH  !%%&67=2 77$ % 7J Ir c|jdxsgDchc]$}|jdr|jd&c}Scc}w)NuniqueSelectorContextsselectorry)r7contexts r row_selectorsrsHww78>B   ;;z "  J  s)Aci}|D]}|jdxsijD]j\}}|j|i}|xsgD]J}|jd}||j|dt|jdxsdz||<Llt |jD cic]8\}}|t |jdD cgc] \}} || d c} }:c} }}}Scc} }wcc} }}}w)NuniqueWatchValuesrArcountc |d |dxsdfS)NrrrRrVs rrXz-aggregate_poll_watch_values..s"RVWXRYQY[_`a[b[hfhPir rY)rAr)r4ra setdefaultr$r`) rL aggregater7namer/target value_rowrl value_rowsrs raggregate_poll_watch_valuesrs%+-I` WW%89?RFFH `LD&))$3F#\r ` %MM*5 $$*JJy!$|jdd?|jd@dA|jdBdC|jdD|jdE|jd|jd |jd|jd|jdF|jdG|jdH|dI Scc}wcc} wcc} wcc}wcc} wcc} w)JNF available sourcePollobservedPublicSaveSelectorsrLc3@K|]}|jddyw) sampleCountrNryr6s rr,zAbuild_public_predecessor_active_order_evidence..sHSsww}a0HsactiveOrderCountr#) activeOrder0 activeOrder1 activeOrder2rc3bK|]'}|jds|jd)yw) loadedBaseHexNryr6s rr,zAbuild_public_predecessor_active_order_evidence..s%hswwWfOgCGGO4hs//activeSlot0Descriptorscript4LastContextA8SetterRowscript4GateWriterCountscript4GateReaderCountscript4FieldRecordCount$script4CurrentFrontierDirectRefCount+script4EncodedTargetPromotingCandidateCount(script4ContextA8NonPointerSetterRowCount) rrrrrruntimeSlotBaseTable0runtimeObjectTable0runtimeObjectTable1runtimeObjectTable2rTrstagedSaveKind notRouteProofanyReachedCurrentRootanyReachedRouteSelectorContextpromotionStatustotalSampleCountrtotalSequenceCount sequenceCountpublicSequenceNamesrobservedSelectorsreachedCurrentRootreachedRouteSelectorractiveOrderCountHexorderByteHexesactiveOrderHexesfirstDescriptorRuntimeHexfirstDescriptorHexfirstDescriptorMatchesScriptrxruntimeSlotBaseTable0HexrruntimeObjectTableHexesrrrallPublicWatchedValuesStablec3`K|]%}tj|xsgdk('yw)rN)rr4)r+rrs rr,zAbuild_public_predecessor_active_order_evidence..s0, 7;C   &," - 2, s+.descriptorScript0VaHex script0VaHexdescriptorScript4VaHex script4VaHexdescriptorScript0LinkedCnsscript0LinkedCnsdescriptorScript4LinkedCnsscript4LinkedCns!descriptorScript4FieldRecordCount.descriptorScript4CurrentFrontierDirectRefCount,descriptorScript4EncodedTargetClassification"script4EncodedTargetClassification5descriptorScript4EncodedTargetRawScalarCandidateCount+script4EncodedTargetRawScalarCandidateCount?descriptorScript4EncodedTargetRouteProofRawScalarCandidateCount5script4EncodedTargetRouteProofRawScalarCandidateCount7script4EncodedTargetRouteContextRawScalarCandidateCountisPointerDwordshapeClassificationr@) AdescriptorScript4EncodedTargetRouteContextRawScalarCandidateCount5descriptorScript4EncodedTargetPromotingCandidateCount descriptorScript4GateWriterCount descriptorScript4GateReaderCount2descriptorScript4ContextA8NonPointerSetterRowCount,descriptorScript4LastContextA8IsPointerDword#descriptorScript4LastContextA8Shape#descriptorScript4LastContextA8VaHexgateBaseProven) setr4rrsumrr$r8rur|boolrall)active_order_pollrz source_pollpublic_selectorsr7 public_rows sample_countactive_order_count_hexactive_order_countrorder_byte_hexesr%active_order_hexesrsfirst_descriptor_runtime_hexfirst_descriptor_hexdescriptor_rowlast_context_a8gate_base_provenstable_watch_namesrs @r.build_public_predecessor_active_order_evidencers */R %  ,001NOUSUV(,,V4: mC0 0 K/{;LHKHHL,\;MNQ! C Y""#;<AQF Y""#<=BaG Y""#IJOaSTT Y""#PQVUVZ[[  Y ""#MNSRSWXX  D TD kD  +//0@AD    ! !"9 : G $$%EF D  ,001BCD  -11-@D  /33ODD  |D  [)D  ;GCGD  .223FGM2D  &'8'<'<=Z'['a_aD  /334KL!D "  1 5 56V W#D $ %D & 5'D ( .)D * .>TU%BS5T+D , .-D . $%A/D 0 21D 2 ' b^%7%78I%JNb%b) 3D 8 #OLBY$Z9D : " .CD .CD .CD $   $ ;D J ', ?Q, ) KD P !."4"4^"DQD R !."4"4^"DSD T %n&8&89K&L&RPRUD V %n&8&89K&L&RPRWD X ,^-?-?@Y-ZYD Z 9.:L:LMs:t[D \ 78J8JKo8p]D ^ @ASAS 9B _D d J>K]K] CL eD jN\M_M_ EN BPASAS 9B -;,>,>?W,X,:,>,>?W,X>L>P>P 6? 9H8K8KL\8]/>/B/BCX/Y/>/B/B7/K*GD DUV HU$ s0RR:R R RR R / R c|xsijdxsi}|r|jddurd|jdxsddS|jdxsg}|r|d nd}|jd xsg}|r|d nd}t||}|jd xsi}t|xr|jd xsd d kDxs|jd xsd d kDxsf|jdxsd d kDxsL|jdxsd d kDxs2|jdxsd d kDxs|jdxsd d kD} iddd|jdd|jdd|jdd|jdd|jdd|jdxsgd|jdd|d|jdxsgdt|d|dt|xr|jd|k(d|jdd |jd!d"|jd#xsgd$|jd%xsg|jd|jd|jd&|jd'|jd(|jd)|jd|jd |jd |jd|jd*|jd+|jd,| d-S).NactiveOrderRuntimeEvidencerTFrzKruntime_selected_pointer_patched_public_selector_2_0_active_order_poll.jsonrrractiveSlotFirstDwordsStaticHexrrrrrrrrrnotRoutePromotionProofrrrrrfirstDescriptorIndexrrrxrrrrrrrrrrrrrrr@)rrrrrrrrrrrrrr)r4r|rrm) )runtime_patched_selector_followup_contextrz active_orderrfirst_order_hexfirst_descriptor_hexesrrrrs r&build_diagnostic_active_order_evidencer4s'>CHHIefljlL <++K8D&**<8]\  &))*<=C/A(+tO)--.NOUSU8N1!4TX23EG[\N$(()HIORO    8 9 >Q! C Y""#;<AQF Y""#<=BaG Y""#IJOaSTT Y""#PQVUVZ[[  Y ""#MNSRSWXX , T, l&&|4,  ,**+;<,  ))*BC ,  <++,=> ,  |'' 6 ,  \--.ABHb,  |//0EF,  .,  ,**+;<B,   1/ B,  2,  ' b^%7%78I%JNb%b) ,  !."4"4^"D!, " !."4"4^"D#, $ %n&8&89K&L&RPR%, & %n&8&89K&L&RPR', (.<-?-?@Y-Z:H:L:LMs:t8F8J8JKo8pAOASAS 9B LZK]K] CL N\M_M_ EN BPASAS 9B -;,>,>?W,X,:,>,>?W,X>L>P>P 6? 9H8K8KL\8]/>/B/BCX/Y/>/B/B7/K*W, ,r c$|xsijdxsi}|jdxsi}|jdxsi}|sddiS|jdxsddkDxrH|jdxsddk(xr.|jdxsddk(xr|jdd k(}idd d |jd d |jd d |jd d|jdd|jdd|jdd|jdxsgd|jdd|jdd|jdd|jdd|jdxsgd|jdd|jdd|jdxsgd|jd|jd|jd|jd||dS)NleftStabilityRuntimeEvidencerecheckactiveOrderRecheckrFrouteSelectorHitCountrrouteHitReproducibilityznot-reproducedTrrecheckSourcePollactiveOrderRecheckSourcePollrrrrouteHitReproducedByRecheck&routeHitReproducedWithActiveOrderWatchrecheckSampleCountrecheckObservedSelectorsrecheckRouteSelectorHitCountactiveOrderRecheckSampleCount#activeOrderRecheckObservedSelectors'activeOrderRecheckRouteSelectorHitCountactiveOrderCountValuesactiveSlot0DescriptorValuesruntimeSlotBaseTable0Values)(activeOrderRecheckActiveOrderCountValues'activeOrderRecheckSlot0DescriptorValues-activeOrderRecheckRuntimeSlotBaseTable0Values#notReproducedWithActiveOrderRecheckgateBaseStillUnprovenry)rleft_stabilityractive_order_rechecknot_reproduceds r.build_diagnostic_active_order_recheck_evidencers@E2JJKijpnpN  +1rG)--.BCIr U##   3 4 9Q> N [[0 1 6Q1 < N ! % %&= > C! I N   8 9=M M   T n((6  W[[6  '(<(@(@(N   >--.?@   ~))-8   !3!34K!L  ^//0CDJ  ">#5#56O#P  &~'9'9:W'X  1.2D2D 43   gkk-8  #GKK0C$D$J  ' 4K(L! " ()=)A)A-)P# $ ./C/G/GH[/\/b`b% & 23G3K3KLc3d' (5I4L4LMe4f3G3K3K )4 :N9Q9Q ): 0>!/9 r c@|xsi}|sddiS|jdxsi}iddddd|jdd|jdd |jd d |jd d |jd d |jd d |jd d|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jd|jd|jdt|jdxsg|jd|jd|jd|jd|jd|jd|jdxsg|jdxsg|jd |jdd! S)"NrF$diagnosticRuntimeObjectTableEvidenceTsourceArtifact.save_selector_opcode20_context_f2_sources.jsoncontextFieldOffsetHexruntimeObjectTableHexreferenceCountreadReferenceCountwriteReferenceCountruntimeObjectTableReaderCountdirectInitializerCountcopyWriterCountconstantWriteCountobjectBaseCandidateCountcontextF2ObjectSelectorCountfixedStream2ObjectSelectorCountcurrentFrontierSampleCoveredactiveOrderAlonePromotesRoute+fixedContextF2ValueProvenForCurrentFrontier"specificRuntimeObjectPointerProvenruntimeObjectTableStateRequiredremainingProofsrdiagnosticOnlyrouteSampleCountrrrruntimeObjectTableStaticHexesnormalRouteProof) r+r,remainingProofCountrdiagnosticAvailabler.diagnosticRouteSampleCountdiagnosticTotalSampleCountdiagnosticActiveOrderCountHexdiagnosticActiveOrderHexes'diagnosticRuntimeObjectTableStaticHexesdiagnosticNormalRouteProofdiagnosticPromotionStatusr)context_f2_sources diagnostics r build_context_f2_source_evidencer=s+1r U###''(NOUSUJ' T' J'  !3!7!78O!P'  !3!7!78O!P '  ,001AB '  0445IJ '  1556KL'  ();)?)?@_)`'  !"4"8"89Q"R'  -112CD'  0445IJ'  #$6$:$:;U$V'  '(:(>(>?](^'  *+=+A+ABc+d'  '(:(>(>?](^'  ();)?)?@_)`!' " 67I7M7M 98 #' (/A.D.D 0/ ,>+A+A -,  ##5#9#9:K#L#RPRS-112CD)~~k:$..)9:&0nn5G&H&0nn5G&H)38M)N&0nn5G&H&NB3=>> +4 4 &0nn5G&H%/^^4E%FM' 'r c||nttdz g}||nttdz i}||nttdz i}||nttdz i}||nttdz i}||nttdz i}||ntttz i}||ntttz i}||nttdz i}| | nttdz i} | | nttd z i} | | nttd z i} | | nttd z i} | | nttd z i} ||nttd z i}||nttdz i}||nttdz i}||nttdz i}||nttdz i}t |}t |}t |}|Dcgc]}|jds|}}t|dk(xr|djdtk(}|Dcgc]}|jds|}}|Dcgc]}|jddk(s|}}|jdxsgDcgc]$}|jdr|jd&}}|jdduxr*|jddk(xr|jddk(}|jddk(xr*|jd dk(xr|jd!dk(}|jd"duxr*|jd#dk(xr|jd$dk(}|jd%dk(xr*|jd&dk(xr|jd'dk(}|xr |xr|xr| } t||}!t|}"t||}#t||t}$t|}%|jd(xsijd)xsg}&td*|&D}'|jd+xsi}(| d,uxr=|!jd-d,uxs(|#jd-d,uxs|$jd-d,u})|jdd,uxsg|jd"d,uxsR|%jd.d,uxs=|!jd-d,uxs(|#jd-d,uxs|$jd-d,u}*|jd/du}+|jd0du},g}-|*s|-jd1|+s|-jd2|,s|-jd3|-D.cgc]}.t j|.|.}/}.|- }0d4}1d5gd6d7d8gd9d7d:gd;d7dgd?d7d@gdAd7dBtgdCd7dBtgdCd7dDgdEd7dFgdGd7dHgdId7dJgdKd7dLgdMd7dNgdOd7dPgdQd7dRgdSd7dTgdUd7dVgdWd7dXgdYd7g}2idZt"d[t$d\t&d]d^d_d`da|jdbdc|ddt|de|df|dgt|dht|dit|dj|rtnddk|jdldm|jdndo|jdpidq|'drt|&ds|(jdtdu|(jdvdw|jddx|jddy|jddz|jdd{|jd d||jd}d~|jdd|jdd|jdd|jd!d|jdxsid|jdxsid|jdxsiid|jdd|d|jd"d|jd#d|jd$d|jdd|jd%d|jd&d|jdd|jdd|jdd|jdd|jd'd|jdxsid|jdxsid|jdxsid| id| dud|!d|"d|#d|$d|%d|%jdd|%jdd|%jdd|%jdd|%jdd|%jdd|%jdd|%jdd|%jdd|%jd.d|%jdid|%jdd|%jdëd|%jdūd| jdƫd| jdȫxsgd| jdʫd| jd˫d| jdͫxsgd| jdʫd| jdϫd| jdѫxsgd| jdʫd| jdӫd| jdիxsgd| jdʫd| jd׫d| jd٫xsgid| jdʫd|jd۫d|jdݫxsgd|jdʫd|jd߫d|jdxsgd|jdʫd|jdd|jdxsgd|jdʫd|jdd|jdxsgd|jdʫd|jdd|jdxsgd|jdʫd|jdid|jdd|0d|0d|)d|*d|+d|,d|-d|/d|jdd|jdxsgd|jd|jdk(xr|jdxsddkDdgdd|2dt|2dŐdd|1Scc}wcc}wcc}wcc}wcc}.w(N'save_selector_current_writer_paths.json-save_selector_opcode20_nested_base_modes.json.save_selector_opcode20_descriptor_scripts.json0save_selector_opcode20_sample_order_effects.json#save_selector_gate_pass_matrix.json.runtime_patched_selector_followup_context.jsonrz&save_selector_gate_offset_sources.jsonz'save_selector_gate_offset_patterns.jsonz'save_selector_gate_base_candidates.jsonz%save_selector_gate_sample_values.jsonz)save_selector_selection_buffer_bases.jsonz2save_selector_opcode20_object_base_candidates.jsonz'save_selector_opcode20_order_space.jsonz(save_selector_opcode20_slot_sources.jsonz3save_selector_opcode20_slot_descriptor_writers.jsonz1save_selector_opcode20_runtime_materializers.jsonr]rrr@rDr>r?1script4ContextA8NonPointerBaseExpressionHistogramr%script4SpecificGateBaseProvenFrrrrr allScriptsSpecificGateBaseProvenallScriptGateWriterCountallScriptGateReaderCountallScriptFieldRecordCount&allScriptCurrentFrontierDirectRefCount-allScriptEncodedTargetPromotingCandidateCountopcode20SignatureSummarysignatureMatchesc3DK|]}|jdsdyw)foundrNryr6s rr,z build_summary..s )37773C)s   nestedRunnerTrr+#predecessorPersistenceProofRequiredstrictHotspotProofRequiredrrraE The current gate pass calculation only becomes useful if the gate-time context+0xa8 base is known. The local stream before 0x005428c4 has no direct context+0xa8 base setter; the only base-affecting candidate in the activation window is opcode 0x20 at 0x005428a8, which runs runtime descriptor+4 nested scripts through the general handler table. The opcode 0x20 handler signature scan confirms that this row uses the descriptor+4 nested stream shape, and the nested runner swaps into the general dispatcher rather than executing the save-selector stream inline. Static descriptor scanning finds no descriptor+4 field-map records, no direct or encoded-scalar current-frontier/route refs, and no 0xe8/0xea gate readers or writers. The same gate-offset count is zero across descriptor+0, descriptor+4, and descriptor+8 scripts even though those scripts contain 362 selection-buffer opcode-shaped rows, so the active descriptor order alone cannot prove this route. The patched selector 2:0 diagnostic active order selects descriptor 0x004f867c, but its descriptor+4 script has no field-map/current-frontier/gate rows and its last context+0xa8 setter is a pointer-dword-low-byte-collision, so that diagnostic path is also non-promoting. A public predecessor direction sweep reaches selector 1:0 with active order 0x01/[0x00] and the same descriptor 0x004f867c, but it still does not reach selector 2:0 or the route context and descriptor+4 remains without field/frontier/gate rows. The constructed diagnostic left-route hit is not reproduced by either the selector-only recheck or the active-order recheck, and that active-order recheck stays at count 0, so it does not prove the gate-time base. A public predecessor left-overrun activation sweep also reaches selector 1:0 with the same non-promoting active-order evidence and still misses selector 2:0/current root. Therefore the context+0xf2 source scan is part of this gate-base proof: it sees runtime object-table reads and copies, not a fixed current-route object pointer. The supporting gate-offset, base-candidate, sample-value, selection-buffer-base, object-base, order-space, slot-source, descriptor-writer, and runtime-materializer reports also remain blocked/non-promoting: the gate offsets are inherited reader-only state, public samples do not cover selector 2:0, active order is not proven for the current frontier, and slot/materializer scans still require runtime descriptor/object state. save/runtime pass matrix narrows the hypothesis but cannot promote map1_01a -> map2_02d until the opcode 0x20 runtime descriptor/base path or an equivalent runtime trace is proven.z+out/save_selector_current_writer_paths.json)classificationrootHexr3r<rS)rfieldsz1out/save_selector_opcode20_nested_base_modes.json)currentModeIsNestedObjectPlus4directContextA8SetterCountrQrMrz2out/save_selector_opcode20_descriptor_scripts.json)rFrrrGallScriptSelectionOpcodeCountruntimeActiveOrderRequiredz4out/save_selector_opcode20_sample_order_effects.json)rr(+sampleFinalNonPointerContextA8BaseHistogramrz'out/save_selector_gate_pass_matrix.json)saveRuntimePassMatrix,saveRuntimePredecessorAllGatePassSampleCount*saveRuntimeZeroTableAllGatePassSampleCountruntimeBaseProofRequiredrRrSrz2out/runtime_patched_selector_followup_context.json)rrrzout/)rrLrrrz*out/save_selector_gate_offset_sources.json) gateOffsetsHexanyScriptLocalSelectionWriteranyGlobalScriptSelectionWritercontrolPathGateStatuscontrolPathProofStatus proofFoundgateOffsetSourceProofFoundfailedGateOffsetSourceGateIdsmissingEvidence evidenceRefsevidenceRefCountrz+out/save_selector_gate_offset_patterns.json) offsetstotalReaderCounttotalWriterCountregateOffsetPatternProofFoundfailedGateOffsetPatternGateIdsrhrirjrz+out/save_selector_gate_base_candidates.json) candidateCountdirectRefCandidateCountpartySlotStatByteCandidateCountruntimePointerModeStillRequiredregateBaseCandidateProofFoundfailedGateBaseCandidateGateIdsrhrirjrz)out/save_selector_gate_sample_values.json) runiqueSelectorCountr(rsregateSampleValueProofFoundfailedGateSampleValueGateIdsrhrirjrz-out/save_selector_selection_buffer_bases.json) #knownStaticGateOffsetDirectRefCountrsreselectionBufferBaseProofFound failedSelectionBufferBaseGateIdsrhrirjrz6out/save_selector_opcode20_object_base_candidates.json) rpr&fieldMapRowsAfterCandidateCount¤tFrontierRowsAfterCandidateCount$gateSelectionRowsAfterCandidateCount!runtimeObjectPointerProofRequiredreopcode20ObjectBaseProofFoundfailedOpcode20ObjectBaseGateIdsrhrirjrz+out/save_selector_opcode20_order_space.json) descriptorRowCountr(r)$runtimeDescriptorObjectStateRequiredreopcode20OrderSpaceProofFoundfailedOpcode20OrderSpaceGateIdsrhrirjrz,out/save_selector_opcode20_slot_sources.json) runtimeSlotCountRequired%runtimeSlotDescriptorPointersRequiredrdreopcode20SlotSourceProofFoundfailedOpcode20SlotSourceGateIdsrhrirjrz7out/save_selector_opcode20_slot_descriptor_writers.json) descriptorWriteCountopcode20Mode0ScriptSourcerZrdre"opcode20DescriptorWriterProofFound%failedOpcode20DescriptorWriterGateIdsrhrirjrz5out/save_selector_opcode20_runtime_materializers.json) materializersloadRebuildEvidencecurrentRouteSameLowByteRowCount descriptorScriptMutationRowCount currentFrontierActiveOrderProven"opcode20SelfMutationPathEliminatedrdre%opcode20RuntimeMaterializerProofFound(failedOpcode20RuntimeMaterializerGateIdsrhrirjrz2out/save_selector_opcode20_context_f2_sources.json)rrr r!r+r,rrsourcercurrentWriterVaHexfirstGateVaHexr secondGateVaHexr writerStreamStartHexstreamStartHexgateWindowRows"gateWindowBaseSetterCandidateCount#gateWindowOnlyOpcode20BaseCandidate localBaseAffectingRowsBeforeGatelocalBaseAffectingRowCountlocalDirectBaseSetterCountopcode20CandidateCountopcode20CandidateVaHexopcode20CurrentMode currentMode&opcode20CurrentModeIsNestedObjectPlus4rW/opcode20DirectContextA8SetterCountInNestedTablerX"opcode20HandlerSignatureFoundCount"opcode20HandlerSignatureTotalCount(opcode20NestedDispatcherUsesGeneralTabledispatcherUsesGeneralTable&opcode20NestedRunnerSwapsContextStream#runnerTemporarilySwapsContextStream'descriptorScript4SpecificGateBaseProvenrrrrrrrrrrrrr)descriptorScript4EncodedTargetGroupCountsscript4EncodedTargetGroupCounts)descriptorScript4EncodedTargetLabelCountsscript4EncodedTargetLabelCounts(descriptorScript4EncodedTargetKindCountsscript4EncodedTargetKindCountsrr*descriptorScript4NonPointerBaseExpressions)descriptorAllScriptSpecificGateBaseProven"descriptorAllScriptGateWriterCount"descriptorAllScriptGateReaderCount'descriptorAllScriptSelectionOpcodeCountrY#descriptorAllScriptFieldRecordCount0descriptorAllScriptCurrentFrontierDirectRefCount.descriptorAllScriptEncodedTargetClassification$allScriptEncodedTargetClassification7descriptorAllScriptEncodedTargetRawScalarCandidateCount-allScriptEncodedTargetRawScalarCandidateCountAdescriptorAllScriptEncodedTargetRouteProofRawScalarCandidateCount7allScriptEncodedTargetRouteProofRawScalarCandidateCountCdescriptorAllScriptEncodedTargetRouteContextRawScalarCandidateCount9allScriptEncodedTargetRouteContextRawScalarCandidateCount7descriptorAllScriptEncodedTargetPromotingCandidateCount+descriptorAllScriptEncodedTargetGroupCounts!allScriptEncodedTargetGroupCounts+descriptorAllScriptEncodedTargetLabelCounts!allScriptEncodedTargetLabelCounts*descriptorAllScriptEncodedTargetKindCounts allScriptEncodedTargetKindCounts&activeOrderAloneSufficientForGateProofactiveOrderOnlyProofEliminateddiagnosticActiveOrderEvidence$diagnosticActiveOrderRecheckEvidence$publicPredecessorActiveOrderEvidence/publicPredecessorLeftOverrunActiveOrderEvidenceopcode20ContextF2SourceEvidenceopcode20ContextF2ReferenceCountr#opcode20ContextF2ReadReferenceCountr$opcode20ContextF2WriteReferenceCountr .opcode20ContextF2RuntimeObjectTableReaderCountr!'opcode20ContextF2DirectInitializerCountr" opcode20ContextF2CopyWriterCountr##opcode20ContextF2ConstantWriteCountr$$opcode20ContextF2ObjectSelectorCountr&0opcode20ContextF2FixedStream2ObjectSelectorCountr'3opcode20ContextF2SpecificRuntimeObjectPointerProven0opcode20ContextF2RuntimeObjectTableStateRequiredr,+opcode20ContextF2DiagnosticRouteSampleCountr4*opcode20ContextF2DiagnosticPromotionStatusr: opcode20ContextF2PromotionStatusrrfgateOffsetSourceFailedGateIdsrg gateOffsetSourceEvidenceRefCountrjrngateOffsetPatternFailedGateIdsro!gateOffsetPatternEvidenceRefCountrtgateBaseCandidateFailedGateIdsru!gateBaseCandidateEvidenceRefCountrwgateSampleValueFailedGateIdsrxgateSampleValueEvidenceRefCountrz selectionBufferBaseFailedGateIdsr{#selectionBufferBaseEvidenceRefCountropcode20ObjectBaseFailedGateIdsr"opcode20ObjectBaseEvidenceRefCountropcode20OrderSpaceFailedGateIdsr"opcode20OrderSpaceEvidenceRefCountropcode20SlotSourceFailedGateIdsr"opcode20SlotSourceEvidenceRefCountr%opcode20DescriptorWriterFailedGateIdsr(opcode20DescriptorWriterEvidenceRefCountr(opcode20RuntimeMaterializerFailedGateIdsr+opcode20RuntimeMaterializerEvidenceRefCount5opcode20RuntimeMaterializerSelfMutationPathEliminatedr;opcode20RuntimeMaterializerCurrentFrontierActiveOrderProvenrregateBaseProofFoundactiveOrderProofFoundgateTimeBaseProofFound predecessorPersistenceProofFoundstrictHotspotProofFoundfailedGateBaseGateIdsrhsampleCurrentFrontierCoveredr(r[,gatePassIfSaveRuntimeBaseAndPredecessorStater]!saveRuntimePredecessorSampleCountr-)rrrriblocked conclusion)rOUT$PUBLIC_PREDECESSOR_ACTIVE_ORDER_POLL1PUBLIC_PREDECESSOR_LEFT_OVERRUN_ACTIVE_ORDER_POLLr:rOrir4rr^rrrr=rrJ"GATE_BASE_MISSING_EVIDENCE_BY_GATESOURCETARGETr5)3r9opcode20_nestedrzsample_order_effectsgate_pass_matrixr5runtime_predecessor_direction_sweep_active_order_poll2runtime_predecessor_left_overrun_active_order_pollopcode20_context_f2_sourcesgate_offset_sourcesgate_offset_patternsgate_base_candidatesgate_sample_valuesselection_buffer_basesopcode20_object_base_candidatesopcode20_order_spaceopcode20_slot_sources opcode20_slot_descriptor_writersopcode20_runtime_materializersrK local_rowslocal_gate_window_rowsr7gate_window_base_candidates(gate_window_only_opcode20_base_candidatedirect_local_setters opcode20_rows$descriptor_script4_non_pointer_basesdescriptor_script4_gate_quietdescriptor_script4_route_quiet descriptor_all_script_gate_quiet!descriptor_all_script_route_quietactive_order_alone_sufficientdiagnostic_active_orderdiagnostic_active_order_recheckpublic_predecessor_active_order,public_predecessor_left_overrun_active_ordercontext_f2_source_evidenceopcode20_signature_matchesopcode20_signature_found_count nested_runneractive_order_proof_foundgate_time_base_proof_found#predecessor_persistence_proof_foundstrict_hotspot_proof_foundfailed_gate_base_gate_idsgate_idmissing_evidence proof_foundr evidence_refss3 r build_summaryr4s*4H3S/Yb 77 Z*9)Do) == KO0B/M+S\ >> T4H3S/Yb @@ Z,<+G'Y 33 N 5 @ 2 sMMr R. A L > sAA2 F: > I ; sNNPR S7 ' 2 $ sMMr R   *  sEEr J +  sFF K +  sFF K  )  sDDb I " -  sHH" M + 6 ( sQQSU V$ +  sFF K ! ,  sGG L , 7 ) sRRTV W% * 5 ' sPPRT U#  4 5F*62J-f52H"m3CGGTkLl3"m"m '(A- L ' * . .w 7;K K-,6UCAS9TCUU$.QS#''+2F&2PSQMQ&))*]^dbd,  777  ,(, >?5H B  " "#; < A B  " "#; < A" 89Q> W  " "#I Ja O W  " "#P QUV V# ABeK D  " "#= >! C D  " "#= >! C% :;q@ Y  " "#K LPQ Q Y  " "#R SWX X& & . * . , . . %! E1'U1'#'U='#4b:940 "BB]!^"1"5"56P"Q"WUW!\!\"" &))/)&"$''7=2M%- # ' '(8 9T A Z.223CDL Z;??@PQUYY  >?4G V  ! !"D E M V % ) )*N OSW W V # & &'7 8D @ V + . ./? @D H  V 8 ; ;B H I K > I ?@A LMN A  $B  B  "@  "D  M &B  "C  N  "L (I  g@MBt &t &t  nt  , t  < t   +; < t  0t  -c2M.Nt  ./Wt  +Jt  %c*ot  %c*>&?t  !#m"4t  !m"2t  22=At  1/2E2EFf2g!t " :?;N;NOk;l#t $ -.L%t & -c2L.M't ( 3M4E4EFb4c)t * 1-2C2C 13 +t 0 23E3I3IJi3j1t 2 +,>,B,BC[,\3t 4 +,>,B,BC[,\5t 6 ,-?-C-CD]-^7t 8 9:L:P:PQw:x9t : 78J8N8NOs8t;t < @ASAWAW 9B =t B JK]KaKa CL Ct H LM_McMc EN It N @ASAWAW 9B Ot T 45G5K5KLm5n5trtUt V 45G5K5KLm5n5trtWt X 34F4J4JKk4l4rprYt Z =>P>T>TU?A[t \ 56Z]t ^ 45G5K5KLn5o_t ` -.@.D.DE_.`at b -.@.D.DE_.`ct d 23E3I3IJi3jet f ./A/E/EFa/bgt h ;?Y?]?] 0@ Ct H ;Z&[]t ^ ()<)@)@A`)a)geg_t ` +,?,C,CDV,Wat b &';'?'?@]'^ct d )*>*B*BCc*d*jhjet f ,-A-E-EFX-Ygt h &';'?'?@]'^it j )*>*B*BCc*d*jhjkt l ,-A-E-EFX-Ymt n $%7%;%;(>?](^(dbdqt r *+=+A+ABT+Ust t ()?)C)CDc)dut v +,B,F,FGi,j,pnpwt x ./E/I/IJ\/]yt z '(G(K(KLj(k{t | * + / /0Q R XVXt B -.M.Q.QRd.eCt D '(<(@(@A_(`Et F *+?+C+CDe+f+ljlGt H -.B.F.FGY.ZIt J '(=(A(AB`(aKt L *+@+D+DEf+g+mkmMt N -.C.G.GHZ.[Ot P -.N.R.R 0/ Qt V 0 , 0 01X Y _]_Yt \ 34T4X4XYk4l]t ^ 01O1S1S 32 _t d 3 * . ./Y Z `^`gt j 67U7Y7YZl7mkt l @A_AcAc 0B mt r FGeGiGi .H st x kyt z k{t | !9}t ~ !"<t @ +,OAt B "#=Ct D !:Et F +Gt H '(<(@(@A_(`It J 67K7O7OP}7~8ECEKt L 7  !O P##$GH I U!%%&IJOaSTTSt V  Wt `  at b C .ct d 9et f jgt ty #n VQ,ds0#t,:t,/t1t1t6*t6)t;1uc|jdxsi}|jdxsi}|jdxsi}|jdxsi}|jdxsi}gddd|d d |d d |d dd|dd|ddd|ddd|dd|dd|dd|dd|ddd|d d!|d"d#|d$d%|d&d'|d(d)|d*d+|d,d+|d-d.|d/d+|d0d1|d2d3|d4d5|d6d+|d7d8|d9d+|d:d;|d<d=|d>d+|d?d@|dAd+|dBdC|dDdE|dFdG|dHdI|dJd+|dKdL|dMd+|dNdO|dPd+|dQd+|dRdS|dTdU dV|dWdX|dYdZ|d[d+|d\d]|d^d_|d`d+|dadb|dcd+|ddd+|dedS|dfdU dg|dhdi|jdjdk|jdlddm|jdjr|jdn ndodp|jdqdr|jdsdt|jdjr|jdu ndodv|jdwd+|jdxd+|jdydz|jd{dd||jd}d~|jdjd|jdldd|jdjr|jdn ndod|jdqd|jdjd|jdldd|jdjr|jdn ndod|jdqd|dd|dd|dd|ddt|jdddt|jdxsgd|dd|dd|dd|dsdd|dddd|jdxsgDcgc]}d| c}ddddd}|jdxsgD]A}|jd|jddt|jddC|j gd|dD]8} |jd| dd| dd| dd| dd| dd| dd :|ds|jd|j gd|dD]H} |jd| dd| dd| dd| dd| dd| dd| dd| dxsddJ|ds|jd|j gdddddd|dMd|dNd|dPd#|dQd#|dRd|dJd|dKd|dWddj |dxsdd|dhdddddd‘dj gd|jdëxsdd|jdīd+|jdūd+|jdƫd|jdǫd|jdȫd+|jdɫd+|jdʫd|jd˫d|jd̫d|jdͫd|jdΫd|jdϫd|jdЫd#|jdѫdґ|jdӫxsdd#dj |jdիxsgxsdd֑|jd׫d|jdsdddؑddّdڑd|d`d|dad|dcd#|ddd#|ded|d^d|d[d|d\d|dYdddۑddܑdݑdj gd|jdlxsdd|jdޫxsdd|jdnd|jd߫xsdd#dj |jdxsgxsdd|jdxsdd|jdd|jdMd+|jdNd|jdPd+|jdQd+|jdRd|jdJd+|jdKd|jdWd|jdxsdd|jdqddddddd|jdlxsdd|jdwd|jdxsdd|jdxddj |jdxsgxsdd|jdxsdd|jdyddj |jdxsgxsdd|jd{xsdd|jdxsdd|jdjr|jdu ndod|jd}dddddddj gd|jdlxsdd|jdޫxsdd|jdnd|jdd#|jdd|jd߫xsdd#dj |jdxsgxsdd|jdxsdd#|jdxsdd|jdxsdddj |jdxsgxsdd|jdd|jdMd+|jdNd|jdPd+|jdQd+|jdRd|jdJd+|jdKd|jdWd|jdxsdd|jdqdddddddj gd|jdlxsdd|jdޫxsdd|jdnd|jdd#|jdd|jd߫xsdd#dj |jdxsgxsdd|jdxsdd#|jdxsdd|jdxsdddj |jdxsgxsdd|jdd|jdMd+|jdNd|jdPd+|jdQd+|jdRd|jdJd+|jdKd|jdWd|jdxsdd|jdqdddddd|dD] } |jd| dd| dd"|j gd|j d|dD|jddj |Scc}w(Nrrrrrz## Save Selector Gate Base Proof GaprRz - route: rz -> rz- current writer: `r`z - gates: `rz`, `rz- writer stream start: `rz&- gate window base-setter candidates: rz/- gate window only opcode 0x20 base candidate: rz)- local base-affecting rows before gate: rz)- local direct base setters before gate: rz- opcode 0x20 candidate: `rz- opcode 0x20 mode: rz(- opcode 0x20 handler signatures found: r/rz4- opcode 0x20 nested dispatcher uses general table: rz2- opcode 0x20 nested runner swaps context stream: rz,- opcode 0x20 context+0xf2 refs/read/write: r / rrzF- opcode 0x20 context+0xf2 object selectors/fixed stream+2 selectors: rrz:- opcode 0x20 context+0xf2 runtime object pointer proven: rz@- opcode 0x20 context+0xf2 runtime object-table state required: rz*- gate offset source/pattern proof found: rfrnz*- gate base candidate/sample proof found: rtrwz%- selection-buffer base proof found: rzz(- opcode 0x20 object/order proof found: rrz2- opcode 0x20 slot/descriptor-writer proof found: rrz0- opcode 0x20 runtime materializer proof found: rz-- opcode 0x20 self-mutation path eliminated: rz*- descriptor+4 specific gate base proven: rz%- descriptor+4 gate writers/readers: rrz0- descriptor+4 field-map/current-frontier refs: rrz-- descriptor+4 encoded route-target scalars: rrrz (r)z1- descriptor+4 non-pointer context+0xa8 setters: rz3- all descriptor-script specific gate base proven: rz.- all descriptor-script gate writers/readers: rrz=- all descriptor-script selection-buffer opcode-shaped rows: rz9- all descriptor-script field-map/current-frontier refs: rrz6- all descriptor-script encoded route-target scalars: rrrrz0- active order alone sufficient for gate proof: rz%- diagnostic active order available: rz#- diagnostic active order source: `rz'- diagnostic active order route proof: rFz,- diagnostic active order gate base proven: rz+- diagnostic active-order recheck status: `rz`; reproduced=rz.- diagnostic active-order recheck route hits: rrr z*- diagnostic active-order recheck count: `rz<- diagnostic active-order recheck gate base still unproven: rz-- public predecessor active order available: z+- public predecessor active order source: `z/- public predecessor active order route proof: z4- public predecessor active order gate base proven: z:- public predecessor left-overrun active order available: z8- public predecessor left-overrun active order source: `z<- public predecessor left-overrun active order route proof: zA- public predecessor left-overrun active order gate base proven: z- proof found: rez- gate base proof found: rz- active order proof found: rz- gate-time base proof found: rz- failed gate-base gates: `rz- missing evidence count: rhz#- sample current frontier covered: rz8- gate pass if save/runtime base and predecessor state: rz- evidence refs: rjz- promotion status: `rz## Missing Evidence- z## Evidence Refsz| path | fields |z | --- | --- |riz| `rz` | `rVz` |)rRz## Local Base-Affecting RowsrRz8| va | value | opcode | kind | direct setter | meaning |z%| --- | --- | --- | --- | --- | --- |rr@rAr>z` | rCz | rDrBz |z| - | - | - | - | - | - |)rRz## Gate Window TracerRzR| va | value | opcode | handler | base candidate | writer | first gate | meaning |z1| --- | --- | --- | --- | --- | --- | --- | --- |rrQr]r[r\r-z!| - | - | - | - | - | - | - | - |z$## Descriptor+4 Static Gate Evidencez| field-map records | current frontier refs | encoded raw/proof/promoting | gate writers | gate readers | non-pointer context+0xa8 setters | non-pointer bases | active order alone sufficient |z7| ---: | ---: | ---: | ---: | ---: | ---: | --- | --- |z| z | `, rz+## Opcode 0x20 Context+0xf2 Source Evidencez| artifact | refs/read/write | object readers | init/copy/constant writes | object selectors | fixed stream+2 selectors | current sample covered | pointer proven | runtime table required | diagnostic object table | status |zH| --- | ---: | ---: | ---: | ---: | ---: | --- | --- | --- | --- | --- |rrrr r!r"r#r$r&r'r(r+r,r4r5z `r6r(r7z` r:z+## Descriptor All-Slot Static Gate Evidencez| field-map records | current frontier refs | encoded raw/proof/promoting | selection opcodes | gate writers | gate readers | specific gate base proven |z1| ---: | ---: | ---: | ---: | ---: | ---: | --- |z(## Diagnostic Active-Order Gate Evidencea| source poll | staged save | not route proof | active order | first descriptor | matches descriptor script | field/frontier refs | encoded raw/proof/promoting | gate writers/readers | non-pointer context+0xa8 setters | last context+0xa8 shape | gate base proven |zM| --- | --- | --- | --- | --- | --- | ---: | ---: | ---: | ---: | --- | --- |rrrrrrz"## Diagnostic Active-Order Recheckz| stability poll | route hits | selector recheck | active-order recheck | active-order count | slot0 descriptor | reproduced | gate base still unproven |z2| --- | ---: | --- | --- | --- | --- | --- | --- |rz hits / rrr rz0## Public Predecessor Active-Order Gate Evidencea@| source poll | staged save | not route proof | samples | active order | first descriptor runtime/static | runtime slot base table0 | runtime object table | stable | field/frontier refs | encoded raw/proof/promoting | gate writers/readers | non-pointer context+0xa8 setters | last context+0xa8 shape | gate base proven |z`| --- | --- | --- | ---: | --- | --- | --- | --- | --- | ---: | ---: | ---: | ---: | --- | --- |rrrrrrz=## Public Predecessor Left-Overrun Active-Order Gate Evidencez1## Sample Non-Pointer Context+0xa8 Base Histogramz"| base expression | sample count |z| --- | ---: |r[r%r)rRz## Remaining ProofsrRc3&K|] }d| yw)r:Nrr+rWs rr,zmarkdown..sD2dVDsr- )r4r0rrJextendr.) summaryr<diagnostic_recheckpublic_predecessorpublic_predecessor_leftcontext_f2_sourcerWlinesrefr7s rmarkdownrGs<=CJ %KLRPR %KLRPR%kk*[\b`b $EFL"b -b  b  GH%&d78+<*=>b  g&:; b  W-./tG?b  37;_3`2aabcjlPdQcR Sb  ?wGq?r>stb  =WEm=nY6Z5[ ];b > 08W0X/YZ?b @ 3 1 2 33w?]7^6_ aAb D = 1 2 33w?c7d6e gEb H ; : ; < >Ib L 8 J K L NMb P 5W=f5g4hiQb R 08Z0[/\\_`giKaL`M NSb T ;7Cf;g:hhklsuemflg hUb V 8 J K LC T U VVY J K LM B C DA  GWb ` gFq>r=stcb d 9Ae9f8ggjkrtXlYkZ [eb f HPyHzG{|gb h DGLqDrCssvw~@rxswt uib j A L M Nc V W XX[ L M NO D E Fa  Ikb t ;7Ck;l:mnub v 0 {0K/LMwb x .jnn\.J-K1Myb z 2YcYgYghsYtjnn_6U2Uz2A B{b | 7z~~FV7W6XY}b ~ 66H6L6LM^6_5``nuGuKuKLWuXtFtJtJKptqpq^cod eb @ 99K9O9OPg9h8iilmnDnDEcndmeehi{ii@iijhk lAb B 55G5K5KLv5w4xxyzCb D GGYG]G]^uGvFwxEb F 88J8N8N{8[7\]Gb H 66H6L6L\6Z5[[\]Ib J ::L:P:PQ\:]!%%o6 6ch i kKb N ??Q?U?UVf?g>hiOb P EE\E`E`alEmDnoQb R CCZC^C^_kClBmmnoSb T G?V?Z?Z[f?g&**?; ;mr s uUb X LLcLgLghxLyKz{Yb Z ',/01[b \ $G,@$A#BC]b ^ 'w/F'G&HI_b ` )1I)J(KLab b &i *0b  #''&/"% #''(2C(D'ES I   LL9:  #g,uS_$5U3{;K:LD6{m3s#567s3y>:J" N  5 6 01 LL'(  #g,uS_$5U3{;K:LERUVdReQffj*+,CJ/@C DVCWWZ9~$%R )  # $ 89 LLU U.U U K U B U W8 9 :#gFv>w=xx{ J K LA T U VVW J K LC 5 6 7s7Ce;f:ggj G H IJ IIgJK L SPS TTX ; < =R A U U 6U !U" j#U$ S%U& 8 8# 8##$45< = 8T 8  !1 2 3 836 8  !5 6 7 87: 8  !6 7 8 89< 8  !@ A B  8CF  8  !9 : ;  8 ? 8@A 8  != > ? 8@  8  ! !"A B Ic J 8KL 8 88%))*FGM2 N URU V! 8 WY! 8"  !< = ># 8"?B# 8$  !2 3 4% 8$57% 8'UL MUN 6OUP QUR dSUT c 7 8 9 7 8 9 > ? @ DWUh iUj 3kUl mUn SoUp XqUr 0 0# 0jnn\*1c 2 0$ 0z~~FV7W7^[^6_ 0_b 0 >>/ * + 0,  0 NN0 1 8S 9 09: 0 88JNN#56<" = D E 0F  0 NN/ 0 7C 8  09=  0 >>8 9 :  0 ;>  0 >>= > ?  0 @C  0 >>J K L 0MP 0 >>Q R S 0TW 0 >>[ \ ] 0^a 0 >>Q R S 0TW 0 >>< = > 0?B 0 >>< = > 0?B 0 >>N O P 0QT 0 >>? @ GC H 0IL 0 >>* + , 0-/ 0sUR SUT -UUV WUX dYUZ =[U\  $$\29c :$  ! !"9 : ;<  " "#6 7 >3 ?r  ! !"@ A B( 88&**+EFL" M TQT UV  " "#A B Ic J"  ! !"K L MX 88&**+PQWUW X _\_ `a  " "#M N URU VW  " "#L M TQT UUYPbPfPfgrPs!%%&KL Ly~ @C  ! !"9 : ;2 ?]Ut uUv ;wUx yUz K{U| k}U~ 8 8# 8 $$\29c : 8$ 8  ! !"2 3 :s ; 8;> 8  ! !/ 2 3 836 8  ! !- 0 1 823 8  ! !"4 5 6  87  8  " "#8 9 @S A  8 BC  8 88&**+=>D" E L M  8 N  8  " "#> ? F3 G 8HI 8  ! !"6 7 >3 ? 8@  8  " "#= > E# F 8G  8 HH'++,EFL" M TQT U 8VZ 8  ! !"@ A B 8CF 8  ! !"E F G 8HK 8  ! !"R S T 8UX 8  ! !"Y Z [ 8\_ 8  ! !"c d e 8fi 8  ! !"Y Z [! 8 \_! 8"  ! !"D E F# 8"GJ# 8$  ! !"D E F% 8$GJ% 8&  ! !"V W X' 8&Y\' 8(  ! !"G H OC P) 8(QT) 8*  ! !"2 3 4+ 8*57+ 8Uj kUl HmUn oUp KqUr ksUt = =# =%)),7>3 ? =t = " & &'7 8 ?C @ =@C = " & & 7 8 =8; = # & &} 5 6 =78 = # & &'9 : ;  =<  = $ ' '(= > E# F  = GH  = 88+//0BCIr J Qc R  = S  = $ ' '(C D K L =MN = # & &'; < C D =E  = $ ' '(B C Js K =L  = HH,001JKQr R YVY Z =[_ = # & &'E F G =HK = # & &'J K L =MP = # & &'W X Y =Z] = # & &'^ _ ` =ad = # & &'h i j =kn = # & &'^ _ `! = ad! =" # & &'I J K# ="LO# =$ # & &'I J K% =$LO% =& # & &'[ \ ]' =&^a' =( # & &'L M TQT U) =(VY) =* # & &'7 8 9+ =*:<+ =uU` aUb ? LL01 LLD1B)CDD LL 99U G Hs3 c#|jdxsi}|jdxsi}|jdxsi}|jdxsi}|jdxsi}g}|dD]}|jdtj|dd tj|d d tj|d d tj|d d|ddtj|dd |s|jdg}|dD]}|jdtj|dxsdd tj|d xsdd tj|d xsdd tj|dxsdd |dd|dd|ddtj|dxsdd|s|jd|dDcgc]$}dtj|dd |dd&} }|jdxsgD cgc]\} dtj| jdxsdd tjt | jdd ^} } | s| jd!d"j |d#xsd} d$j d%|d&D} d$j d'|jd(xsgD}|jd)xsdd*d+j |jd,xsgxsd}|jd)xsdd*d+j |jd,xsgxsd}|jd)xsdd*d+j |jd,xsgxsd}d-j gd.d/d0d1d2d3d4d5d6d7d8d9d:d;d<d=d>d?d@dAd$j gdBtj|dCdDtj|dEdFtj|dGdHtj|dIxsddJ|dKd*|dLdM|dNdO|dPdQ|dRd*|dSd*|dTdU|dVdW|dXdY|dZd[|d\d]|d^d*|d_d*|d`da|dbd*|dcdd|dedf|dgd*|dhd*|didj|dkdl|jdmdn|jdod*|jdpd*|jdqdrtjt |jdsdt|jdudv|jdmdw|jdmdx|dydz|d{d||d}d~|ddtjt |jddt|jd(xsgd|jdd|ddtj|dddtj|dddd|ddd| ddd|dddd|ddddd|dd|dd|d^d*|d_d*|d`d|dd|dd|ddtj| d |ddddddd$j gdtj|jdxsdd |jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd*|jddtj|jdxsdd*tjd+j |jdxsgxsdd|jdd|jddddddd|dd|dd|dgd*|dhd*|did|ded|dbd|dcd|dkdddd‘dÑd$j gdtj|jdīxsdd tj|jdūxsdd|jdƫdtj|d tj|jdǫxsdd |jdȫd|jdd|jdd|jd^d|jd_d|jd`d|jdd|jdd|jddtj|jdɫxsdd|jdmdddʑdˑd̑dtj|jdīxsdd |jdodtj|jdͫxsdd|jdpdtjd+j |jdϫxsgxsdd tj|jdЫxsdd|jdqdtjd+j |jdѫxsgxsdd tj|jdsxsdd tj|jdҫxsdd |jdӫr|jdԫ nd՛d|jduddd֑dבdؑd$j gdtj|jdīxsdd tj|jdūxsdd|jdƫd|jd٫d*|jdګdtj|d tj|jd۫xsddtj|jdǫxsdd tj|jdܫxsdd tjd+j |jdݫxsgxsdd |jdޫd|jdd|jdd|jd^d|jd_d|jd`d|jdd|jdd|jddtj|jdɫxsdd|jdmdddߑddؑd$j gdtj|jdīxsdd tj|jdūxsdd|jdƫd|jd٫d*|jdګdtj|d tj|jd۫xsddtj|jdǫxsdd tj|jdܫxsdd tjd+j |jdݫxsgxsdd |jdޫd|jdd|jdd|jd^d|jd_d|jd`d|jdd|jdd|jddtj|jdɫxsdd|jdmdddd| ddd| dddd$Scc}wcc} w)Nrrrrrrzr@zrAr>zrCz rDrBz zE------rr-rQr]r[r\zY--------r[r%rrirrVzz8No evidence refs recorded.r;rrRc3NK|]}dtj|dywz
  • z
    • Nhtmlescaper=s rr,zhtml_page..s#\tDKK-.e4\#%r-c3NK|]}dtj|dywrJrKr=s rr,zhtml_page..s(,0$t{{4 !'rNrhrr7r(rr>zzzz zF z2 Save Selector Gate Base Proof Gapz zzz,

    Save Selector Gate Base Proof Gap

    z

    route rz -> rz; current writer rz%; opcode 0x20 candidate rz; handler signatures rrz'; nested dispatcher uses general table rz%; nested runner swaps context stream rz; context+0xf2 refs/read/write rrrz ; context+0xf2 object selectors rz&; context+0xf2 runtime table required rz(; local direct base setters before gate rz); descriptor+4 specific gate base proven rz,; descriptor+4 encoded route-target scalars rrrz-; all descriptor-script gate writers/readers rrz<; all descriptor-script selection-buffer opcode-shaped rows rz5; all descriptor-script encoded route-target scalars rrrz2; all descriptor-script specific gate base proven rz+; diagnostic active order gate base proven rz-; diagnostic active-order recheck route hits rrr z(; diagnostic active-order recheck count rz;; diagnostic active-order recheck gate base still unproven rz3; public predecessor active order gate base proven z@; public predecessor left-overrun active order gate base proven z; proof found rez; gate base proof found rz; active order proof found rz; gate-time base proof found rz; failed gate-base gates rz ; missing evidence count z; evidence refs rjz7; gate pass if save/runtime base and predecessor state rz; promotion status rz .

    z

    rz

    z

    Missing Evidence

    z
      z
    z

    Evidence Refs

    zD z
    pathfields
    z$

    Local Base-Affecting Rows

    z z

    Gate Window Trace

    z

    The gate window trace shows that between opcode 0x20 and the first 0xe8 gate, the gate window only opcode 0x20 base candidate flag is true.

    z
    vavalueopcodekinddirect settermeaning
    z,

    Descriptor+4 Static Gate Evidence

    z

    descriptor+4 field-map/current-frontier refs and gate offset rows are kept separate from active order alone sufficient for gate proof.

    a
    vavalueopcodehandlerbase candidatewriterfirst gatemeaning
    z
    field-map recordscurrent frontier refsencoded raw/proof/promotinggate writersgate readersnon-pointer context+0xa8 settersnon-pointer basesactive order alone sufficient
    rrrrrzrz3

    Opcode 0x20 Context+0xf2 Source Evidence

    z

    The context+0xf2 source scan is kept inside this gate-base proof so the non-pointer context+0xa8 rows cannot be read as fixed route bases.

    aH z
    artifactrefs/read/writeobject readersinit/copy/constant writesobject selectorsfixed stream+2 selectorscurrent sample coveredpointer provenruntime table requireddiagnostic object tablestatus
    rrr8rr r!r"r#r$r&r'r(r+r,r4r5z r6r7z r:z3

    Descriptor All-Slot Static Gate Evidence

    z

    descriptor+0, descriptor+4, and descriptor+8 are scanned together to rule out a gate-offset row hiding in another descriptor script slot.

    z rrz0

    Diagnostic Active-Order Gate Evidence

    z

    The diagnostic active order came from a patched public-base save load, so it is diagnostic active order evidence and not route proof.

    al
    field-map recordscurrent frontier refsencoded raw/proof/promotingselection opcodesgate writersgate readersspecific gate base proven
    rrrrrrz*

    Diagnostic Active-Order Recheck

    zq

    The selector-only and active-order rechecks are kept separate from the first constructed left-route hit.

    z
    source pollstaged savenot route proofactive orderfirst descriptormatches scriptfield/frontier refsencoded raw/proof/promotinggate writers/readersnon-pointer context+0xa8 setterslast context+0xa8 shapegate base proven
    rz hits / rrr rrrFz8

    Public Predecessor Active-Order Gate Evidence

    z

    The public predecessor active order came from the real public savedat direction sweep. It reaches selector 1:0 but not selector 2:0 or the route context.

    a
    stability pollroute hitsselector recheckactive-order recheckactive-order countslot0 descriptorreproducedgate base still unproven
    rrrrrrzE

    Public Predecessor Left-Overrun Active-Order Gate Evidence

    z

    The left-overrun activation sweep is a second public predecessor calibration run. It reaches selector 1:0 but not selector 2:0 or the current root.

    z9

    Sample Non-Pointer Context+0xa8 Base Histogram

    zU
    source pollstaged savenot route proofsamplesactive orderfirst descriptor runtime/staticruntime slot base table0runtime object tablestablefield/frontier refsencoded raw/proof/promotinggate writers/readersnon-pointer context+0xa8 setterslast context+0xa8 shapegate base proven
    z

    Remaining Proofs

    zz)r4rJrLrMr0r.r*r)r@r<rArBrCrDrr7 gate_rows sample_rowsrFevidence_ref_rowsdescriptor_basesproofs missing_itemsdiagnostic_orderpublic_predecessor_orderpublic_predecessor_left_orders r html_pagerYs2<=CJ %KLRPR %KLRPR%kk*[\b`b $EFL"J9:   S\234S_567S%5678;;s6{+,-)*+,;;s9~./0      abI'(   S\%8S9:;S_%;<=>S%5%<=>?S%8%?C@AB./01z?#$}%&';;s9~4567     tuHI  S\233CCL>Q[\K;;~.4"    [[!7C89:[[3778+?@    ![\yy)U!VW^[^ WW\IZA[\ \FGG4;KK@Q4R4XVXM >>/ 0 7C 8 88JNN#56<" = D E G  ! !"7 8 ?C @ 88&**+=>D" E L M O # & &'< = D EQ 88+//0BCIr J Qc R T" 99mmm m # m Q m = m m rm 1m 7m :m Gm fm tm Qm '!m" #m$ %m& 'm( 7)m** X* X+* Xdkk'("345* XW* XT[[QYIZ=[<\* X] * X $ G4H,I JK* XL'* X'+{{7;S3T3[X['\&]* X^* X&&JKL* XMN* XOVVzN{M|* X}0* X188b0c/d * Xe. * X /66^._-` * X a( * X )00Q(R'S * X TU * X 8 9 :* X;<* X 9 : ;* X<)* X*11W)X(Y* XZ/* X077i/j.k* Xl1* X299U1V0W* XX2* X3::c2d1e* Xf5* X J K L* XMN* X T U V* XWX* X J K L!* X M6!* X"7>>b6c5d#* X"ef#* X$ 7 8 9%* X$:E%* X&FMMvEwDx'* X&y>'* X* L M N+* X*OP+* X, V W X-* X,YZ-* X. L M N/* X.O;/* X0E2F1G=* X<GD=* X>EWDZDZ[rDsCt?* X>u ?G* XF@$G* XH%,,C$D#EI* XHF&I* XJ'..F&G%HK* XJI(K* XL)- IgkkJa>b4c(d'eM* XLf"M* XN#&gkk2C&D&J"K!LO* XNMO* XP!%789Q* XP:@Q* XRAHHv@w?xS* XRy"S* XT#'++g6G.H"I!JU* XTKWU* X+m@  GL12348AmB &CmD u%EmF #GmH OImJ KmL MmN /OmP NQmR SmT UmV 'WmX _YmZ t[m\ ]m^ _m` 7amb Zcmd bemf :;<=GHIJNOPPQ T U VVW J K LM9:;<9:;<KLMN[[!1234?@AB gm~ m@ >AmB ^CmD SEmF    [[!2!6!67G!H!OCPQ R  $$%567 7:   !5 6 7 8;   !6 7 8  9   !$$%DEF   G   !$$%=>?   @C    !2 3 4 58   !5 6 7 8 !$$%CDE F !$$%FGH I !$$%CDE F !$$%IJK L !$$%FGH I !$$%ABC DE   != > ? @  .223RSZWZ[\!  ]^! " ;;sxx 1 5 56R S YWYZa^a b c# "dl# $  !< = >% $?% &!$$%678' &9' Gmp qmr >smt ]umv uwmx <=>?IJKLPQRRS V W XXY L M NO@ABC;<=>;<=>BCDE ymN OmP ;QmR YSmT wUmV    [[ !=!DEF G {{:>>*:;BsCD E ~~o./ 0 [[!123  4   [[0D!E!LMN   O   ~~<=>   ?  ~~ABC DG  >>J K L M ~~UVW X[  >>[ \ ] ^a  >>Q R S T ~~@AB CF  >>< = > ? ~~RST U {{:>>*OPWTWXY Z  ~~./0!  1! Wmz {m| 5}m~ |m@ {AmB [[!3!7!7 !E!LMNO!%%&=>?@[[!3!7!78K!L!SPSTUU]  ! !"@ A BCSXX&8&<&<=W&X&^\^_fcfghi[[!3!7!78V!W!^[^_``h  ! !"K L MNSXX&8&<&<=b&c&igijqnqrst[[!3!7!78b!c!jgjklm[[!3!7!78a!b!ifijklTfTjTjkvTw%))*OPP~CDD!%%&=>?@ Cm^ _m` Camb mcmd Lemf    [[!3!7!7 !E!LMN O {{-112BCJsKL M "%%o67 8 "%%m45  67  8J7M7MN`7a6b  c   [[!9:;   <   [[!3!7!78S!T![X[\]   ^a   ;;)--.BCJs K L M [[!3!7!78R!S!ZWZ[\ ] [[*<*@*@AZ*[*a_a!b!ifijk l "%%&DEF G "%%&IJK LO   ! !"R S T U "%%&]^_ `c   ! !"c d e fi   ! !"Y Z [ \  "%%&HIJ!  KN! "  ! !"D E F# "G# $"%%&Z[\% $]% &{{-112WX_\_`a' &b' ("%%&678) (9) gmR SmT PUmV gWmX LYmZ    [[!8!?@   A   [[!8!) [mF GmH DImJ `KmL MmN OmP &QmR SmT UmV WmX Ymm m=s9)AG;A!AGc|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz&save_selector_gate_base_proof_gap.jsonF) ensure_asciiindentr>rr&save_selector_gate_base_proof_gap.html)mkdir write_textrdumpsrY)r@out_dirs r write_outputsrese MM$M. 77CC 7q9D@D 77CCIgDVahCir ctjt}|jdtt dz |jdtt dz |jdtt dz |jd tt d z |jd tt d z |jd tt dz |jdtt t z |jdtt tz |jdtt dz |jdtt |j}tt|jgt|jit|jit|jit|jit|j it|j"it|j$it|j&i }t)||j*t-d|j*dz y)N) descriptionz--current-writer-pathsr?)typedefaultz--opcode20-nestedr@z--descriptor-scriptsrAz--sample-order-effectsrBz--gate-pass-matrixrCz+--runtime-patched-selector-followup-contextrDz'--runtime-predecessor-active-order-pollz4--runtime-predecessor-left-overrun-active-order-pollz--opcode20-context-f2-sourcesrz --out-dirz+wrote save selector gate base proof gap -> r`)argparseArgumentParser__doc__ add_argumentrrrr parse_argsr4rr9rrzrr r%runtime_predecessor_active_order_pollr r rerdprint)parserargsr@s rmainrss  $ $ 9F 0tSKtEtu +$Fu@uv .T3IyCyz 0tSK}E}~ ,4GlAlm 5 FF  1 ::  > GG  ' FF   $<    D$++R0$&&+$))2.$++R0$'',$@@"E$<rs<"  H~''* Ul       't$Y2  -&`R &"8 -Cg4$N&#<z"zzz zzH/:HH HV+/:+ +\,`/3#'&*(,$(=AIMFJ/3'+(,(,&**.37(,)-4826'b +b  b $b & b  " b  0; b 
    base expressionsample count