UHjAD*dZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZmZmZe ej!j,dZedz Zd Zd Zgd Zgd Zd ddddddddgZdZdZdZ dZ!dZ"dZ#dZ$d*dZ%d*dZ&d+dZ'd,dZ(d,dZ)d-d Z*d.d!Z+d/d"Z,d0d#Z- d1 d2d$Z.d3d%Z/d3d&Z0efd4d'Z1d5d(Z2e3d)k(re2yy)6zFSummarize runtime sources for opcode 0x20 slot count and slot objects.) annotationsN)Path)Any) offset_to_va read_sections va_to_offsetoutmap1_01amap2_02d)zruntime-slot-countz runtime-slot-descriptor-pointerszactive-order-runtime-statez selected-root-execution-or-trace)z?runtime slot count byte at 0x004576e8 on the current route pathzBruntime descriptor pointers materialized at 0x00457750 + slot*0xd8z2active order/count values for current selector 2:0zHselected-root execution or equivalent runtime trace reaching opcode 0x20 Hwanse2.exez;static slot/count byte locations and direct-reference scans)path descriptionzout/save_loader_trace.jsonzAsave block mapping for count byte and slot base runtime addressesz1out/save_selector_opcode20_nested_base_modes.jsonz>current opcode 0x20 mode and nested script path classificationi(TivEivEiPwEicd|dS)N0x08xvalues J/home/exedev/hwanse/tools/summarize_save_selector_opcode20_slot_sources.pyhex32r: c{ cd|dS)Nr04xrrs rhex16r>rrcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks r load_jsonr(Bs* ;;= ::dnngn6 77rcFt||}||t|k\ry||S)N)rlenexesectionsvaoffsets rbyte_atr0Hs+ (B 'F ~3s8+ v;rcvt||}||dzt|kDrytjd||dS)N)Nrr )findrappend)r,r-patternrowsr/hitr.s r pattern_hitsr=VsU D F hhw' 7K (C ( > KKOq rct||tjd|}t|t ||ddDcgc] }t|c}dScc}w)Nr3) targetVaHexcount sampleRefs)r=r4packrr*)r,r-rrefsrefs r dword_refsrFcsP Xv{{4'? @DU|T-1#2Y7cuSz7 8sAc |jdxsgD]r}t|dd}t|dd}||cxkr ||zks0n3t|dd|z|z }|d|d|d|dt|t||z dcSy) NsaveReadBlocksr@sizeHex saveOffsetHex callVaHexr)rLr@rJrrKoffsetWithinBlockHex)getintr)save_loader_trace runtime_varowtargetsize save_offsets rsave_block_for_runtime_varVls $$%56<" S',3y>2& Z /&4- /c/2B7*DvMK -"=1y>"=1!&{!3(-j6.A(B    rcfg}ttD]}t|tzz}t |||}t |||dz}t ||}|j |t||r|dnd|du| t|nd| t|ndt|xrd|cxkxrdkncdd|S)Nr2rKi@i`T)slot slotBaseHexrKinsideLoadedSecondBlockstaticFirstDwordHexstaticPlus4DwordHexstaticFirstDwordLooksPointer$runtimeSlotDescriptorPointerRequired) rangeSLOT_SCAN_COUNTSECOND_SAVE_BLOCK_BASE SLOT_STRIDEr6rVr9rbool) r,r-rPr;rXbase first_dword plus4_dword save_blocks r slot_rowsrh}s Do& %{(::sHd3 sHdQh7 ./@$G   ;z build_summary..s$f33?T;UYe;eQ$fs a:Opcode 0x20 mode 0 is controlled by runtime state, not by a static leaf table. The loop count byte 0x004576e8 sits inside the first save-read block at save offset 0x0010, while the 0x00457750 slot area is the second save-read block and contains only three complete 0xd8-byte slots. The static first dwords of the scanned slots are zero, so slot descriptor pointers must be materialized at runtime before descriptor+4 nested scripts can run. This keeps the current map1_01a -> map2_02d gate proof blocked until runtime slot count and descriptor pointer values are proven.sourcerScurrentOpcode20VaHexcurrentOpcode20ValueHex currentModecurrentModeHexcountRuntimeVaHexcountSaveSourcecountStaticInitialBytecountStaticInitialByteHexr02xcountDirectRefSummaryrY slotStrideHexslotSaveSourceloadedSecondBlockSizeHexloadedCompleteSlotCapacityloadedSlotRemainderHexTblockedF)slotBaseDirectRefSummaryslotRowsscannedSlotCountstaticFirstDwordNonzeroCountruntimeSlotCountRequired%runtimeSlotDescriptorPointersRequiredcontrolPathProofStatus proofFoundopcode20SlotSourceProofFoundfailedOpcode20SlotSourceGateIdsmissingEvidence evidenceRefsevidenceRefCountpromotionStatus conclusion)rr(OUTrVCOUNT_RUNTIME_VArarhSECOND_SAVE_BLOCK_SIZErbsumSOURCETARGETrCURRENT_OPCODE20_VArNr0rFrr*$FAILED_OPCODE20_SLOT_SOURCE_GATE_IDS%OPCODE20_SLOT_SOURCE_MISSING_EVIDENCE"OPCODE20_SLOT_SOURCE_EVIDENCE_REFS) r,rPopcode20_nested_base_modesr- count_block second_blockslotsloaded_slot_capacityloaded_slot_remainderstatic_first_dword_nonzerors r build_summaryrs> S!H->-J)PY && Q & 1 # sLLb Q ,,=?OPK,->@VWL c8%6 7E1[@2[@!$$f%$f!f u! &! &!  &9 :!  "#=#A#AB[#\ !  155mD !  4889IJ !  U#34!  ;!  !'#x9I"J!  $r'#xAQ*RSV)W%X!  C;K!L!  u34!  {+!  ,!  #E*@$A!  %&:!! " !%(=">#! $%/sH>T$UJ(B$(15"+(-+O@: BC$ A! !rc|dxsi}|dxsi}ddd|dd|dd |d d |d d |ddd|dd|jdddd|ddd|dd|jdddd|ddd|dd|dd |d!d"|d#d$|d%dd&|d'dd(|d)dd*|d+dd|d,dd-dg}|jd.|d/D|jgd0|jd1|d2D|jgd3|jd4|d5D|jdd6dd7d8d9|dd:|jddd:|jd;dd:|jddd?|d@dAdB dC|dd:|jddd:|jd;dd:|jddd?|dDdAdB ddEddFdGg |dHD]J}|jdI|dJdK|dd:|dxsdd=|dLdK|dMxsdd:|dNxsdd=|dOdBL|jddPj|S)QNrur{z(# Save Selector Opcode 0x20 Slot Sourcesz - route: roz -> rSz- opcode 0x20 row: `rpz ` value `rqz` (rr)z- count byte: `rtz` save offset `rK-`z- count static initial byte: `rwz- slot base: `rYz- slot stride: `rzz!- loaded complete slot capacity: r}z1- scanned slots with nonzero static first dword: rz- runtime slot count required: rz-- runtime slot descriptor pointers required: rz- control path proof status: `rz- proofFound: `rz!- opcode20SlotSourceProofFound: `rz- promotion status: `rrz## Failed Gatesc3(K|] }d|d yw)- `rNrrmitems rrnzmarkdown..sV43tfAVsr)rz## Missing Evidencerc3&K|] }d| yw)z- Nrrs rrnzmarkdown..sD2dVDsr)rz## Evidence Refsrc38K|]}d|dd|dyw)rrz`: rNrrls rrnzmarkdown..s/  c&k]#c-012srz## Save SourceszY| field | runtime VA | save offset | read call | block size | description | direct refs |z,| --- | --- | --- | --- | --- | --- | ---: |z| count byte | `z` | `rLrJz` | rz | ryrAz |z| slot base | `rz## Scanned Slotszi| slot | base | save offset | inside loaded block | static first dword | static +4 dword | pointer-like |z,| ---: | --- | --- | --- | --- | --- | --- |rz| rXz | `rZr[r\r] )rNextendr9join)summary count_source slot_sourcelinesrRs rmarkdownrs,-3L*+1rK2 GH%&d78+<*=> w'=>?yQjIkHllopwyFqGpHHI J '"567|GWGWXgilGmFnnop (1L)M(NaP /0 P_ad@e?ffgh 7?34A6 +G4P,Q+RS ;GDb* LL  c6w':;d?t j |d d@t j |jd d dAt j |ddBt j |dCdD|dEdF|dGdH|dIdJ|dKdLt j |dMdNdOt j |dPdQdRdS|dTdUdS|dTdVdS|dTdWdX|dYdZd[| dYd\d]dScc}w)^Nrc3NK|]}dtj|dyw)
  • z
    • Nhtmlescapers rrnzhtml_page..s+  T[[&'|4#%rc3NK|]}dtj|dyw)z
  • 
    • Nrrs rrnzhtml_page.."s+  t{{4 !'rrc3K|]9}dtj|ddtj|dd;yw)rrz : rrNrrls rrnzhtml_page..&sE  T[[V-.i C DV8W7XX]^s?Arrur{z count bytertrKrrLrJrryrAz slot baserYrzc3NK|]}dtj|dyw)zzNr)rmrs rrnzhtml_page..As#Ke4 E 2359KrzrzrXzzzrZr[r\r]z rzzzz zF z7 Save Selector Opcode 0x20 Slot Sourcesz zzz1

    Save Selector Opcode 0x20 Slot Sources

    z

    route roz -> rSz; opcode row rpz; count byte z save offset z; slot base z; slot stride rzz(; loaded complete slot capacity: r}z; runtime slot count required: rz-; runtime slot descriptor pointers required: rz; proofFound rz ; promotion status rz .

    z

    rz

    z

    Failed Gates

    z
      z
    z

    Missing Evidence

    z

    Evidence Refs

    z

    Save Sources

    z z
    fieldruntime VAsave offsetread callblock sizedescriptiondirect refs
    z

    Scanned Slots

    z zz)rrNstrr9rr) r failed_gatesmissing_evidence evidence_refsrr save_rowsrRsave_rows_htmlslot_rows_htmls r html_pagers77=>Lww-.GG>*M,-3L*+1rK  ' (   _c 2   [# .   Y ,   ]C 0 /09 :   M " OOOS 1 OOK - OOIs + OOM3 / 23G< = I,  KsKKKgUNNz"   v;- S%789:S%9%@SABC0123S)>%?%F3GHIS)>%?%F3GHI5678     99((( ( # ( Q ( B ( ( r( 1( 7( :( G( f( t( Q( '!(" #($ %(& '(( <)(* dkk'("345WT[[QYIZ=[<\\optp{p{}DE[}\q]p^^xy}yDyDELM`Eaybxcc}~B~I~IJVJZJZ[jloJp~q}rrKLPLWLWX_`mXnLoKppKLPLWLWX_`oXpLqKrrZ[bc[@ZAA`ahiC aD `E E r s z { b s c r d d w x  @ L x M w N N n o s o z o z { B C T { U o V n W W c d +(,  GL12348-(. "/(0 e$1(2 &3(4 !"%(5(6 #7(8 u%9(: ";(< u=(> ?(@ A(B #C(D EE(F G(H I(J K(L M(N O(( (#s%Mc|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz(save_selector_opcode20_slot_sources.jsonF) ensure_asciiindentrr r!(save_selector_opcode20_slot_sources.html)mkdir write_textr$dumpsr)rout_dirs r write_outputsr|sf MM$M. 99EE 7q9D@F 99EEiPWFXcjEkrcvtjt}|jdtt dz |jdtt |j}t|jj}t||jtd|jdz y)N)rz--exer )typedefaultz --out-dirz0wrote save selector opcode 0x20 slot sources -> r)argparseArgumentParser__doc__ add_argumentrROOTr parse_argsrr, read_bytesrrprint)parserargsrs rmainrs  $ $ 9F dD=4HI  $<    DDHH//12G'4<<( rs~L" 3tH~--/6678LL H~''* Ul  ($ )%T -Z DW &"!"# 8 4 ",&*.2? ?"?!,? ?DGT\~25lz zFr
    slotbasesave offsetinside loaded blockstatic first dwordstatic +4 dwordpointer-like