UHj0< RdZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZmZmZe ej!j,dZedz Zd Zd Zgd Zgd Zd dddddgZdZdZdZ dZ!dZ"dZ#dZ$dddddddd d!d"d# d$d%d&d'd(d'd)d d*d+d# d,d-d.d/d0d1d2d3d4d5d# gZ%dBd6Z&dCd7Z'dDd8Z(dEd9Z)dFd:Z*dGdHd;Z+ dI dJd<Z,dKd=Z-dKd>Z.efdLd?Z/dMd@Z0e1dAk(re0yy)NzHSummarize runtime writers that materialize opcode 0x20 slot descriptors.) annotationsN)Path)Any) offset_to_va read_sections va_to_offsetoutmap1_01amap2_02d)zruntime-active-orderz!descriptor-materializer-executionzdescriptor-plus4-selectionz selected-root-execution-or-trace)z=runtime active order/count selecting descriptor table entrieszCdescriptor materializer routine execution on the current route pathzCdescriptor+4 script selected by opcode 0x20 mode 0 for selector 2:0zWselected-root execution or equivalent runtime trace reaching descriptor materialization Hwanse2.exez;descriptor table references and materializer routine writes)path descriptionz,out/save_selector_opcode20_slot_sources.jsonzAslot base/count source and runtime descriptor pointer requirementi-DivEivEiPwEi0YipY 0x0043215czadd active save/object slotzwadds an id to 0x004576e9[count], stores slot base in 0x0059db30[count], increments count, then materializes descriptors 0x00432167 0x00432188 0x0043218f 0x004321cd0x00 0x004321fe 0x004322bd) routineVaHexnameroleorderWriteVaHexslotBaseTableWriteVaHexcountWriteVaHexdescriptorWriteVaHexdescriptorScriptOffsetnestedRunVaHexobjectStoreVaHex 0x00432323zrebuild active slot descriptorszhrebuilds active descriptors from 0x004576e9 order bytes and stores created runtime objects in 0x0059dd70- 0x004323ba 0x004323dd 0x0043240e 0x004324cd 0x00432541z&remove/rebuild active slot descriptorszruns descriptor+4 scripts for active objects, removes a matching id, compacts order/slot tables, then rematerializes descriptors 0x004326a3 0x004326b6 0x004326c2 0x0043271fz'0x00 after removal; 0x04 before removalz0x004325a7, 0x00432750 0x0043280fcd|dS)N0x08x)values U/home/exedev/hwanse/tools/summarize_save_selector_opcode20_slot_descriptor_writers.pyhex32r5]s c{ cp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks r4 load_jsonr@as* ;;= ::dnngn6 77r6cvt||}||dzt|kDrytjd||dS)N)Nrr )findrappend)rGrHpatternrowsrJhitrIs r4 pattern_hitsrRnsU D F hhw' 7K (C ( > KKOq r6ct||tjd|}t|t ||ddDcgc] }t|c}dScc}w)NrC) targetVaHexcount sampleRefs)rRrEpackr5rD)rGrHr3refsrefs r4dword_ref_summaryr[{sP Xv{{4'? @DU|T-1#2Y7cuSz7 8sAc xg}t|D]}t|dzz}t|||}|r t|||nd}|rt|||dznd}|rt|||dznd} |j|t || t |nd| t |nd| t |nd| t | ndd|S)NrB)index entryVaHexdescriptorVaHex script0VaHex script4VaHex script8VaHex)rangeDESCRIPTOR_TABLE_VArKrNr5) rGrHlimitrPr^entry_va descriptorfirstsecondthirds r4descriptor_rowsrls Du  &2c8X6 7Ah 3t4JuZ0PT,1,=E%L4-3-?E&MT,1,=E%L4     Kr6c Lt|}||nttdz i}t||t}d}idt dt d|jdxsttd|jdxsddttd ttd ttd ttd ttd |dt||dtdt!tddddddddddt"t$t&t!t&d|dS)Nz(save_selector_opcode20_slot_sources.jsonaThe opcode 0x20 slot first dword is a runtime descriptor pointer, not a static object pointer. The materializer routines write descriptors from table 0x00442d95 into 0x00457750 + slot*0xd8, using active order bytes at 0x004576e9 and the runtime count at 0x004576e8. Opcode 0x20 mode 0 therefore follows descriptor+4 scripts only after these routines have run. The next proof target is the active order/count at the current frontier or the descriptor+4 script chosen for that order; route promotion remains blocked.sourcetarget slotBaseHex slotStrideHex0x00d8countRuntimeVaHexorderBytesVaHexruntimeSlotBaseTableHexruntimeObjectTableHexdescriptorTableVaHexdescriptorTableRefSummarydescriptorRowsroutinesdescriptorWriteCountslotFirstDwordSourcez*runtime descriptor table 0x00442d95[index]opcode20Mode0ScriptSourcez descriptor+4runtimeActiveOrderRequiredTcontrolPathProofStatusblockedF) proofFound"opcode20DescriptorWriterProofFound%failedOpcode20DescriptorWriterGateIdsmissingEvidence evidenceRefsevidenceRefCountpromotionStatus conclusion)rr@OUTr[reSOURCETARGETgetr5 SLOT_BASE_VACOUNT_RUNTIME_VAORDER_BYTES_VARUNTIME_SLOT_BASE_TABLERUNTIME_OBJECT_TABLErlROUTINESrD*FAILED_OPCODE20_DESCRIPTOR_WRITER_GATE_IDS+OPCODE20_DESCRIPTOR_WRITER_MISSING_EVIDENCE(OPCODE20_DESCRIPTOR_WRITER_EVIDENCE_REFS)rGopcode20_slot_sourcesrHdescriptor_refsrs r4 build_summaryrsS!H ! ,  sGG L (X7JKO % & &  ,00?V5CV  .22?COx   U#34   50   "5)@#A  ';!<  &9 :  $_  /#x8  H  H    L  $^  %d! " !)# $.31[F@ HI$ 3 r6cnddd|dd|dd|dd |d d d |d d d|dd d|dd d|ddd|dd|dd d|dd|dd d|dd d|d d d|d!dd"dg}|jd#|d$D|jgd%|jd&|d'D|jgd(|jd)|d*D|jgd+|d,D]8}|jd-|d.d/|d0d1|d2d3|d4d3|d5d/|d6d7 :|jgd8|d9D]8}|jd:|d;d1|d<d3|d=d3|d>d3|d?d3|d@dA :|jddBj|S)CNz3# Save Selector Opcode 0x20 Slot Descriptor Writersz - route: rnz -> roz- slot base: `rpz ` stride `rq`z- count byte: `rsz- order bytes: `rtz- descriptor table: `rwz- descriptor table refs: rxrVz- slot first dword source: r|z%- opcode 0x20 mode 0 script source: `r}z!- runtime active order required: r~z- proofFound: `rz'- opcode20DescriptorWriterProofFound: `rz- promotion status: `rrz## Failed Gatesc3(K|] }d|d yw)- `rNr2.0items r4 zmarkdown..s\43tfA\sr)rz## Missing Evidencerc3&K|] }d| yw)z- Nr2rs r4rzmarkdown..sD2dVDsr)rz## Evidence Refsrc38K|]}d|dd|dyw)rrz`: rNr2rrows r4rzmarkdown..s/  c&k]#c-012sr)rz## Materializer RoutinesrzH| routine | name | descriptor write | nested run | object store | role |z%| --- | --- | --- | --- | --- | --- |rzz| `rz` | rz | `rz` | `r!r"rz |)rz## Descriptor Table Samplesrz?| index | entry | descriptor | script+0 | script+4 | script+8 |z&| ---: | --- | --- | --- | --- | --- |ryz| r^r_r`rarbrcz` | )extendrNjoin)summarylinesrs r4markdownrs= GH%&d78+<*=> /0 7?;S:TTUV '"567q9 7#456a8 (> ?@B #G,G$H$Q#RS %g.D&E%FG /8S0T/UUVW +G4P,Q+RS ',/02 1':^2_1``ab (9 :;1=    ' E* LL\73Z+[\\ LL  LLD1B)CDD LL  LL>* LLz"  #n%&d3v;-tC@VeCDWCXX[ ]   LL 99U r6c"djd|dD}djd|dD}djd|dD}g}|dD]}|jd tj|d d tj|d d tj|ddtj|ddtj|dd tj|dd g}|dD]}|jd|dd tj|ddtj|dxsddtj|dxsddtj|dxsddtj|dxsdd djgdd d!d"d#d$d%d&d'd(d)d*d+d,d-d.d/d0d1d2d3tj|d4d5tj|d6d7tj|d8d9tj|d:d;tj|d<d=tj|d>d?tj|d@dA|dBdC|dDdEtj|dFdGdHtj|dIdJdKdL|dMdNdL|dMdOdL|dMdPdQ|dRdSdT|dRdUdVdS)WNrc3NK|]}dtj|dyw)
  • z
    • Nhtmlescapers r4rzhtml_page.. s+  T[[&'|4#%rc3NK|]}dtj|dyw)z
  • 
    • Nrrs r4rzhtml_page..s+  t{{4 !'rrc3K|]9}dtj|ddtj|dd;yw)rrz : rrNrrs r4rzhtml_page..sE  T[[V-.i C DV8W7XX]^s?Arrzzrzrzrzr!r"rz ryzr^r_r`r$rarbrczrzzzz zF zB Save Selector Opcode 0x20 Slot Descriptor Writersz zzz<

    Save Selector Opcode 0x20 Slot Descriptor Writers

    z

    route rnz -> roz; descriptor table rwz; slot base rpz; count byte rsz; order bytes rtz0; opcode 0x20 mode 0 script source r}z(; runtime active order required: r~z; proofFound rz ; promotion status rz .

    z

    rz

    z

    Failed Gates

    z
      z
    z

    Missing Evidence

    z

    Evidence Refs

    z

    Materializer Routines

    z z
    routinenamedescriptor writenested runobject storerole
    z#

    Descriptor Table Samples

    z zz)rrNrr)r failed_gatesmissing_evidence evidence_refs routine_rowsrrls r4 html_pager s77CDLww-.GG>*MLz"   S%89:;;;s6{+,-S)?%@ABCS)9%:;<=S);%<=>?;;s6{+,-     O'(   w<.!S%6789S):%;%BsCDES%8%?C@ABS%8%?C@ABS%8%?C@AB      99((( ( # ( Q ( M ( ( r( 1( 7( :( G( f( t( Q( '!(" #($ %(& '(( G)(* dkk'("345WT[[QYIZ=[<\\uvzwBwBCJKaCbwcvdd}~B~I~IJQR_J`~a}bb|}A}H}HIPQdIe}f|ggBCGCNCNOVWhOiCjBkk[\`\g\ghopKhL\M[NNvw~[w\v]]pqxyE qF pG G g h l h s h s t { | M t N h O g P P \ ] +(,  GL12348-(. "/(0 e$1(2 &3(4 !"%(5(6 #7(8 u%9(: +;(< ^=(> ?(@ A(B .C(D UE(F G(H I(J K(L M(N O(( (r6c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz3save_selector_opcode20_slot_descriptor_writers.jsonF) ensure_asciiindentrr8r93save_selector_opcode20_slot_descriptor_writers.html)mkdir write_textr<dumpsr)rout_dirs r4 write_outputsrYsg MM$M. DDPP 7q9D@Q DDPPQZ[bQcnuPvr6cvtjt}|jdtt dz |jdtt |j}t|jj}t||jtd|jdz y)N)rz--exer )typedefaultz --out-dirz;wrote save selector opcode 0x20 slot descriptor writers -> r)argparseArgumentParser__doc__ add_argumentrROOTr parse_argsrrG read_bytesrrprint)parserargsrs r4mainrbs  $ $ 9F dD=4HI  $<    DDHH//12G'4<<( E <<O O P Rr6__main__)r3intreturnstr)rrr?rrr)rGbytesrH list[dict]rIrrz int | None)rGrrHrrOrrz list[int])rGrrHrr3rrdict) )rGrrHrrfrrr)N)rGrrz dict | Nonerr)rrrr)rrrrrNone)rr)2r __future__rrrr<rEsyspathlibrtypingrrinsertr__file__resolveparentprobe_exe_scene_tablesrrrrrrrrrrrrerrr SLOT_STRIDErrrr5r@rKrRr[rlrrrrr__name__r2r6r4rsN" 3tH~--/6678LL H~''* Ul  .* /+T ?Z ,(!  $!%-J'#/' ,"(&( %1z#/ ,"(&( %8S'#/' ,"K2( 3% P8 4 **.- -&- -`?DM`25w  zFr6
    indexentrydescriptorscript+0script+4script+8