UHjsdZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZmZmZmZe ej!j.dZedz Zd Zd Zd Zd Zd ZdZdZ dZ!dZ"dZ#dZ$dZ%dZ&gdZ'gdZ(ddddddddddd dd!d"dgZ)d9d#Z*d9d$Z+d:d%Z,d;d&Z-dd)Z0d?d*Z1d@d+Z2dAd,Z3dBd-Z4dCd.Z5dDd/Z6 dEd0Z7 dFd1Z8dGd2Z9 dH dId3Z:dJd4Z;dJd5Ze?d8k(re>yy)MzHSummarize runtime materializers for opcode 0x20 active descriptor order.) annotationsN)Path)Any)find_cns_strings offset_to_va read_sections va_to_offsetoutmap1_01amap2_02di Di8DiCi\!Ci##CiA%Ci4Bi4Bi4B)bc`)z!current-selector-2-0-active-orderz,selected-root-runtime-materializer-executionz,normal-route-descriptor-mutation-observationzroute-promotion-proof)zIcurrent selector 2:0 active order/count from public or captured save datazNselected-root runtime execution through save-load rebuild or materializer pathzenormal-route observation tying materialized active descriptor order to opcode 0x20 descriptor scriptszProute-promotion proof linking active order/materializers to map1_01a -> map2_02d Hwanse2.exez>active slot materializer routines and handler table references)path descriptionzout/save_loader_trace.jsonz/save-load block reads and rebuild-call orderingz2out/save_selector_opcode20_descriptor_scripts.jsonzIdescriptor script mutation scan and opcode 0x20 self-mutation eliminationz4out/save_selector_opcode20_sample_order_effects.jsonz'public sample active-order coverage gapz#out/save_selector_leaf_streams.jsonzKcurrent selector leaf low-byte rows decoded through the save-selector tablecd|dS)N0x08xvalues S/home/exedev/hwanse/tools/summarize_save_selector_opcode20_runtime_materializers.pyhex32r8 c{ cd|dS)Nr02xrrs rhex8r <rrcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks r load_jsonr*@s* ;;= ::dnngn6 77rc"|r t|dSdS)N)intrs r parse_hexr.Fs"3ub>,,rcvt||}||dzt|kDrytjd||dS)Nzztext_bytes..]sNG76?g3MNs r6rawr:)next)r4r5texts r text_bytesrG\s: NxN ND :s4;etJ7G)GH HHrc t||\}}g}tdt|dz D]a}||dk7r tjd||dzd}||z}|dz|z} | |k(s<|j t |t |dc|S)Nrr0z? &#/%*+C%D m 6"'(G"H#$CD $#'%*+J%K5;~ ="'(C"D#$?@ &#/%*+F%G w ;, DZC377#:;<OUOa"4S(F"Kgi &)#.@*A&B "#C Krc |jdxsgDcgc]}t|jd}}|Dcgc]}|| }}td|Dg}|Dcgc]}t|jd}}|Dcgc]}|| }}|r t|nd}|r|dnd}|Dcgc] }t |c}| t |nd| t |ndt t t t t t|duxr |duxr||k|duxr|t cxkxr tkdd Scdd Scc}wcc}wcc}wcc}wcc}w)NsaveReadBlocksrKc3rK|]/}|dttk(s|jdxsg1yw)rdrmN)rrqrsrBrts rrCz(load_rebuild_evidence..sH LssK_G`dikJeKHK# $ * * Ls77rzThe save-load path reads the count/order and slot blocks, calls 0x00432323, then selects the save selector pointer from 0x004576da/0x004576db.) saveReadCallVaHexeslastSaveReadCallVaHexrebuildCallVaHexrebuildFunctionVaHexselectorGroupLoadVaHexselectedPointerStoreVaHexrebuildAfterSaveReadBlocks%rebuildBeforeSelectorPointerSelectionrj)rsr.rEmaxrrqSELECTOR_GROUP_LOADSELECTED_POINTER_STORE) save_loader_trace materializersrt read_callsr rebuild_callsrebuild_call_valueslast_save_read_call rebuild_calls rload_rebuild_evidencers%(()9:@b  #''+&'J&0EE53D%EJE Lm L MGTTs9SWW[%9:TT.AWUUEV5WW-7#j/T-@&q)dL:DEe E?R?^':!;dh3?3KE,/QU %&E F"'(;"<%*+A%B  $ 3#4/ 3#l2  $ L2K5KK D# L D# F UW Fs(!EEE$!E  EE5Ec tttttDcgc]!}it ||t|d|dk(rdndi#c}tDcgc]}it ||t|ddic}dScc}wcc}w)N mutationRolerzadd active slotzremove active slotz;not an active-order materializer in the save-selector table)generalHandlerTableVaHexsaveSelectorHandlerTableVaHexgeneralMutationHandlerssaveSelectorSameLowByteHandlers)rGENERAL_HANDLER_TABLESAVE_SELECTOR_HANDLER_TABLEACTIVE_MUTATION_OPCODESr`)r4r5rXs r handler_rowsrs$)*?$@)./J)K 2 $   #C3H&Q Vt^ 1I] $ 2 ,   #C3NPVW  ] ,  $ , s &A9A> cp|jds||vry|jddus t||yy)NcnspointerTscalar)rsr )wordstringsr5rs r value_kindrs: xx%7* xx d"l8U&C&O rcxg}|D]1}dD](\}}}|j|} | s|j|xsgD]} t| jd} | jd} | | 3| dz} | tvrAt||t| }t||t | }|j || | jd| | jdt| t| ||| | jdxs|j| |jd|jddd d +4|S) N))leafwordsleafPointerHex)nested nestedWordsnestedPointerHexvalueHexvaHexrRrr[Fzocurrent route leaf/nested rows are decoded through the save-selector table, not the general nested-object table) streamKind streamVaHex wordIndex wordVaHexr lowByteHex valueKindrsaveSelectorHandlerVaHexrgisGeneralMutationInThisStreamreason) rsr.rr`rrrNr r)r4r5r leaf_streamsrQstream stream_kind words_key stream_va_key stream_varrword_varX save_handlergeneral_handlers rcurrent_route_low_byte_rowsrsV D6   1KM =1I 9-3 !$((:"67((7+=GO!880h@[]cd "3CCXZ`"a "-#,!%'!2!( $ 4"&v,!+D'8U!K88E?@gkk%.@0<0@0@0P+:+>+>~+N5:P    @ Krcg}|jdxsgD]}dD]\}}t|j|}|#ttD]} || dzz} t ||| } | N| dz} | t vr*|j |jd|t|| t| t| t| | |vrdnt|| dnd|j| d |S) NdescriptorRows)) script0VaHexzscript+0) script4VaHexzscript+4) script8VaHexzscript+8r0rrRrrr) descriptorIndex scriptSlot scriptVaHexrrrrrr) rsr.rMDESCRIPTOR_SCRIPT_SCAN_DWORDSr8rrNrr r ) r4r5rdescriptor_scriptsrQ descriptorfield slot_name script_varRrrrXs rdescriptor_script_mutation_rowsrs D(,,-=>D" !   E9 "*.."78I <= #eai/ h8=!88 '1~~g'>"+#(#3!&!&w %e "&v,*/7*:\ZbdiMjMv }E";;u-    8 Krc$|jdxsg}g}|D]-}|jdxsg}||vs|j|/|jd|jdxsg||jd|jddS)N sampleRowsactiveDescriptorIndices sampleCountuniqueSampleSignaturescurrentFrontierSelectorcurrentFrontierSampleCovered)rrsampleActiveDescriptorSetsrr)rsrN)sample_order_effects sample_rowsdescriptor_setsrtactives rsample_order_summaryrEs&**<8>BK')O+239r  (  " "6 *+ ,// >"6":":;S"T"ZXZ&5#7#;#;.s7xcSVWvSw7xs descriptorScriptMutationRows descriptorScriptMutationRowCountdescriptorScriptScanDwordCountsampleOrderSummary"opcode20SelfMutationPathEliminatedrFblocked) currentFrontierActiveOrderProvencontrolPathProofStatus proofFound%opcode20RuntimeMaterializerProofFound(failedOpcode20RuntimeMaterializerGateIdsmissingEvidence evidenceRefsevidenceRefCountpromotionStatus conclusion)rrr*OUTrurrrrSOURCETARGETrr1sumr-FAILED_OPCODE20_RUNTIME_MATERIALIZER_GATE_IDS.OPCODE20_RUNTIME_MATERIALIZER_MISSING_EVIDENCE+OPCODE20_RUNTIME_MATERIALIZER_EVIDENCE_REFS) r4rrrrr5rr handler_table route_rowsdescriptor_mutationssample_summaryrs r build_summaryrUsS!HsH-G->-J)PYZ]`xZxz|P}  )  sMMr R +  sOOQS T $0#;<3QrKrtvAwL%c84M h/M,S(G\RJ:3'Sef)*>?N l & &  "5  \   <   |     45F V    &z  *3z?  3C7xZ7x4x  '(<  +C0D,E  )*G  n! " -c2F.G1.L# $-2"+164aIC KL$ 7 rc|d}|d}ddd|dd|dd |d d d |d d d|dd d|dd d|dd|dd d|dd|dd|dd|dd|dd |d!d"|d#d$|d%d d&|d'd d(|d)d d|d*dd+dg}|jd,|d-D|jgd.|jd/|d0D|jgd1|jd2|d3D|jgd4|d5}|d6D],}|jd7|d8d9|d:d9|d;d<|d=d> .|d?D],}|jd@|dAd9|d:d9|d;d<|d=d> .|jgdB|dCD]N}dDjdE|dFDxsdG}|jdH|dIdJ|dKd9|dLd<|dM|dNd> P|jgdO|dPddQD]Z}|jdR|dSdT|dUdJ|dVd9|dWd<|dXdY|jdZxsddJ|d[d9|d\d<|d]d>\|dPs|jd^|jdd_dd`|jdadbdDj|jdcxsgdd|jdedf|jdgdgdhj|S)iNrrz1# Save Selector Opcode 0x20 Runtime Materializersz - route: rz -> rOz- current frontier selector: `r`z- count byte: `rz- order bytes: `rz- slot base: `rz- load rebuild call: `r|z` -> `r}z"- rebuild after save read blocks: rz-- rebuild before selector pointer selection: rz$- current route same-low-byte rows: rz0- current route general mutation evidence rows: rz5- descriptor script general 0x62/0x63 mutation rows: rz-- opcode 0x20 self-mutation path eliminated: rz(- current frontier active order proven: rz- proofFound: `rz*- opcode20RuntimeMaterializerProofFound: `rz- promotion status: `rrz## Failed Gatesc3(K|] }d|d yw)- `rNrrBitems rrCzmarkdown..s_43tfA_sr)rz## Missing Evidencerc3&K|] }d| yw)z- Nrr s rrCzmarkdown..sD2dVDr)rz## Evidence Refsrc38K|]}d|dd|dyw)r rz`: rNrrys rrCzmarkdown..s/  c&k]#c-012sr)rz## Handler Tablesrz#| table | opcode | handler | role |z| --- | --- | --- | --- |rrz | general `rz` | `rYr[z` | rz |rz| save-selector `r)rz## Materializersrz9| name | function | core label | direct calls | meaning |z| --- | --- | --- | --- | --- |r, c3&K|] }|d ywrKNrrBcalls rrCzmarkdown..P${+Pr rm-z| r;z | `rdrez | rj)rz### Current Route Same-Low-Byte RowsrzS| stream | word | value | kind | save-selector handler | general handler | reason |z+| --- | --- | --- | --- | --- | --- | --- |rz| `rz` rrrr rrrgrz| - | - | - | - | - | - | - |z## Public Sample Orderz- sample count: rz- unique signatures: rz- active descriptor sets: rz#- current frontier sample covered: r )extendrNjoinrs)summaryloadsamplelinestablesrtcallss rmarkdownr!s ( )D ) *F; GH%&d78+<*=> (1J)K(LAN '"567q9 7#456a8 /02 &8!9 :&F\A]@^^_` ,T2N-O,PQ 7=d8e7fg .w7X/Y.Z[ :7Cm;n:op ?Hj@k?lm 7@d8e7fg 27;]3^2_` ',/02 4W=d5e4ffgh (9 :;1=    / E2 LL_73]+^__ LL  LLD1B)CDD LL  LL>* LL_ %F/0  &!;<=U3{CSBTTYZ]^lZmYnnrsvxFtGsHHJ K  78  'F GHcR]N^M__dehiwexdyy}BCQR~SSU V   LL'  PPPUVYZdVeUffj; #''%."6B!7tC@Z<[;\])*+4H b B  0 1 45 LL   6::m456  &**5M*N*TRT UVW $VZZ0L%M$NO -fjj9W.X-YZ    99U rc |d}g}|dD]|}|jdtj|ddtj|ddtj|dxsdd tj|d d ~|d D]|}|jd tj|ddtj|ddtj|dxsdd tj|d d ~g}|dD]}djd|dDxsd}|jdtj|ddtj|ddtj|dd tj|dtj|dd g}|dddD]}|jdtj|ddtj|ddtj|d dtj|d!d tj|d"d#tj|j d$xsd%dtj|d&xsddtj|d'xsdd tj|d(d |d)}|d*}d%jd+|d,D} d%jd-|d.D} d%jd/|d0D} d1jgd2d3d4d5d6d7d8d9d:d;d<d=d>d?d@dAdBdCdDdEdFtj|dGdHtj|dIdJtj|dKdLtj|dMxsddN|dOdP|dQdR|dSdTtjt |dUdVtj|dWdXdYtj|dZd[d\d]| d^d_d]| d^d`d]| d^dadbd1j|dcddded1j|dcdfdgd1j|xsdhdcdidj|j dkdltjdj|j dmxsgdntjt |j dodp|j dqdr dsdtd%S)uNrrzgeneral rzrYr[rzrz rzsave-selector rrrc3&K|] }|d ywrrrs rrCzhtml_page..rr rmzr;zrdrez rjr0zrz rrrrrrrrrgrrrc3NK|]}dtj|dyw)
  • z
    • Nhtmlescaper s rrCzhtml_page..(s+  T[[&'|4#%rc3NK|]}dtj|dyw)z
  • 
    • Nr'r s rrCzhtml_page..,s+  t{{4 !'r*rc3K|]9}dtj|ddtj|dd;yw)r&rz     : rr,Nr'rys rrCzhtml_page..0sE  T[[V-.i C DV8W7XX]^s?Arrzzzz zF z@ Save Selector Opcode 0x20 Runtime Materializersz zzz:

    Save Selector Opcode 0x20 Runtime Materializers

    z

    route rz -> rOz; current selector rz!; load rebuild call r|z"; descriptor mutation rows rz-; opcode 0x20 self-mutation path eliminated: rz(; current frontier active order proven: rz; proofFound rz ; promotion status rz .

    z

    rz

    z

    Failed Gates

    z
      z
    z

    Missing Evidence

    z

    Evidence Refs

    z

    Handler Tables

    zb z
    tableopcodehandlerrole
    z

    Materializers

    z~ z+

    Current Route Same-Low-Byte Rows

    z
    namefunctioncore labeldirect callsmeaning
    zz

    Public Sample Order

    z

    sample count rz; unique signatures rz; active descriptor sets rz"; current frontier sample covered rz.

    zz)rNr(r)rrsstr) rrrrtmaterializer_rows_htmlr route_rows_htmlrr failed_gatesmissing_evidence evidence_refss r html_pager4s _ %FL/0 $T[[8R1S%T$UVS%5678S%8%?C@AB;;s>234J @  78 *4;;v>]7^+_*`aS%5678S%8%?C@AB;;s>234J @   '   P?@AS)9%:;<=;;u%&';;s9~./0     O45cr:   S%789$++cR^N_B`AabS%5678S_567;;s;/014;;swwu~?SQS3T2UVS)C%D%KLMNS)>%?%F3GHI;;s8}-./    ) *F ( )D77FGLww-.GG>*M 99... . # . Q . K . . r. 1. 7. :. G. f. t. Q. '!." #.$ %.& '.( E).* dkk'("345WT[[QYIZ=[<\\uvzwBwBCJKdCewfvggHIMITITUYZlUmUtqtIuHvvXY`aCYDXEErsz{_s`raaIJQRtJuIvvIJNJUJUVYZabnZoVpJqIrrR S W S ^ S ^ _ f g x _ y S z R { { G H +.,  GL12348-.. "/.0 e$1.2 &3.4 !"%(5.6 #7.8 u%9.: $;.< m=.> ,?.@ A.B #C.D IE.F ()G.H I.J 6K.L oM.N /"G&GO.P Q.R )S.T VZZ 677KDKKX\XaXabhblblnFcGcMKMYNMOLPPijnjujuvyz@zDzDEazbvcjdieeGHNHRHRSqHrGssx yU.V W.X Y.Z [.. .rc|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz1save_selector_opcode20_runtime_materializers.jsonF) ensure_asciiindentrr"r#1save_selector_opcode20_runtime_materializers.html)mkdir write_textr&dumpsr4)rout_dirs r write_outputsr@esf MM$M. BBNN 7q9D@O BBNNyY`OalsNtrc tjt}|jdtt dz |jdtt dz |jdtt dz |jd tt d z |jd tt d z |jd tt |j}t|jjt|jit|jit|jit|jg}t!||j"t%d|j"dz y)N)rz--exer)typedefaultz--save-loader-tracerz--descriptor-scriptsrz--sample-order-effectsrz--leaf-streamsrz --out-dirz+wrote opcode 0x20 runtime materializers -> r;)argparseArgumentParser__doc__ add_argumentrROOTr parse_argsrr4 read_bytesr*rrrrr@r?print)parserargsrs rmainrNnsD  $ $ 9F dD=4HI -D#H`B`a .T3IyCyz 0tSK}E}~ (tSCd=de  $<    D $(("-$))2.$++R0$##R( G'4<<( 7 Gz8z7{ |}r__main__)rr-returnr.)rrr)rrPr)r str | NonerP int | None)r4bytesr5 list[dict]r6r-rPrR)r5rTr6rRrPrQ)r4rSr5rTrPztuple[int, bytes])r4rSr5rTrOr-rPrT) r4rSr5rTr]r-rXr-rPdict)r4rSr5rTrPrT)rrUrrTrPrU)r4rSr5rTrPrU) rrUrdict[int, str]r5rTrr-rPr.) r4rSr5rTrrVrrTrPrT) r4rSr5rTrrVrrUrPrT)rrUrPrU)NNNN) r4rSr dict | NonerrWrrWrzlist[dict] | NonerPrU)rrUrPr.)rrUr?rrPNone)rPrX)@rF __future__rrDr(r&r2syspathlibrtypingrrinsertr.__file__resolveparentprobe_exe_scene_tablesrrrr r6rHrrrrrrorprqrrLOAD_REBUILD_CALLrrrrrrrrr r*r.r8r?rGrVr`rurrrrrrrr!r4r@rN__name__rrrrdsPN" 3tH~--/6678^^ H~''* Ul  ("%'",( #& "1- 2.+kl ):kl AS^_ CT}~ 2DQR /+8 -4I " 2j"J*' ''' '  'T# ### #  #L $&*&*(,&* @ @"@$@& @ $ @  @FaHfR25u~( zFr
    streamwordvaluekindsave-selector handlergeneral handlerreason
    -