UHjFHdZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZdZd Zd ZdZgd Zgd Zd dddddgZddZd dZd!dZd"dZd#dZd$dZd%dZd&d'dZd(dZd(dZefd)dZ d*dZ!e"dk(re!yy)+zLApply public savedat active-order samples to opcode 0x20 descriptor effects.) annotationsN)Path)Anyoutmap1_01amap2_02d)zcurrent-selector-2-0-samplezruntime-active-orderznon-pointer-context-a8-effectzroute-promotion-proof)zDpublic or captured sample covering current selector 2:0 active orderz4runtime active order/count on the current route pathz5non-pointer context+0xa8 effect in active descriptorszBroute-promotion proof linking sample order to map1_01a -> map2_02dz%data/savedata_sample_party_order.jsonz.public savedat active count/order byte samples)path descriptionz2out/save_selector_opcode20_descriptor_scripts.jsonz;descriptor+4 static effects applied to public sample orderscp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)r fallbacks R/home/exedev/hwanse/tools/summarize_save_selector_opcode20_sample_order_effects.py load_jsonr*s* ;;= ::dnngn6 77cd|dS)N0x04x)values rhex16r0s c{ rc|jdxsgDcic]'}t|jdtr|d|)c}Scc}w)NdescriptorRowsindexget isinstanceint)descriptor_scriptsrows rdescriptor_rows_by_indexr(4sQ&))*:;Ar   cggg& , G c  s,Ac|jd}|jdxsg}t|tsgS|d|Dcgc]}t|ts|c}Scc}w)NactiveSlotCountactiveOrderBytesr")samplecountorderrs ractive_indicesr/<sW JJ( )E JJ) * 0bE eS ! $Ve} Ge 5#0FE GG Gs AAcdjdt|D}|jdd|jdd|jdd|d S) N,c32K|]}t|ywNstr.0rs r z#sample_signature..EsEUc%jE selectorGroup: selectorSlotz count=r*z order=[])joinr/r#)r,actives rsample_signaturer@Ds] XXEnV.DE EFjj) *!FJJ~,F+GwvzzZkOlNmmuv|u}}~ rc\g}d}d}g}tt|D]7\}}|j|}|'|j||j||ddA|jd} |jd} | r| }| r| }|j|||jd|jdxsg|jd|jd|jd | xsijd | xsijd | xsijd | xsijd | xsijd d d :id|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdxsgdt|d|jddt |d |d!|d"|xsijd d#|xsijd |xsijd$|xsijd |xsijd |xsijd |xsijd$|jdt k(xr|jdt k(d%S)&NT) activeSlotdescriptorIndexmissingDescriptorscript4LastContextA8SetterRow'script4LastNonPointerContextA8SetterRowdescriptorVaHexscript0LinkedCns script4VaHexscript4ContextA8SetterRowCount(script4ContextA8NonPointerSetterRowCountbaseExpression opcodeHexisPointerDwordF) rBrCrGrHrIrJrK"script4LastContextA8BaseExpressionscript4LastContextA8OpcodeHex"script4LastContextA8IsPointerDword,script4LastNonPointerContextA8BaseExpression'script4LastNonPointerContextA8OpcodeHexrDidr source sourceUrlselectorr:r;r<tiletileXr1tileYr*r+activeDescriptorIndicesactiveFlagByte signaturedescriptorEffectsmissingDescriptorIndices"finalShapedContextA8BaseExpressionfinalShapedContextA8OpcodeHexvaHex)finalShapedContextA8SetterVaHex"finalShapedContextA8IsPointerDword&finalNonPointerContextA8BaseExpression!finalNonPointerContextA8OpcodeHex#finalNonPointerContextA8SetterVaHexcoversCurrentFrontierSelector) enumerater/r#appendr@CURRENT_FRONTIER_GROUPCURRENT_FRONTIER_SLOT) r, descriptorseffectsfinal_shaped_contextfinal_non_pointer_contextmissing_descriptor_indicesslotdescriptor_index descriptorlast_shaped_contextlast_non_pointer_contexts r sample_effectrwIsG $!#"+N6,B"C  __%56   & - -.> ? NN"#3%)  (nn-LM#->>2[#\ #6 #(@ %/)~~.?@ */A B Hb&NN>:.8nn=].^8BGq8r3F3L"2Q2QRb2c.A.GR-L-L[-Y3F3L"2Q2QRb2c=U=[Y[<`<`aq  fjj  6"  &**X&  VZZ ,   vzz/231VZZ5O4PQ   O4    >2  6::g&'qG)<(=>  6::&78  FJJ'9:@b  ">   &**%56  %f-  W  #$>  -/C/Ir.N.NO_.`! " (*>*D")I)I+)V# $-A,FB+K+KG+T/C/Ir.N.NO_.`3L3RPR2W2WXh2i.G.M2-R-RS^-_0I0OR/T/TU\/] JJ '+A A D >*.CC3 rci}|D] }|xsd}|j|ddz||<"t|jDcgc] \}}||d c}}Scc}}w)Nnonerr)rr-)r#sorteditems)valuescountsrkeyr-s r histogramrsnF-ovjja(1,s - #6<<>2  E5%(  sAc ||nttdz dz i}||nttdz i}t|}|j dxsgDcgc]}t ||}}g}|j dxsgD]h}|j dxs|j d}|j dxs|j d}||d}|sS||vsX|j |jt|D chc]} | d c} } td |D} d } idtd td d jd|Ddd jd|Dd|d|j dxsij dxs tdd|j dxsij dxs tddt|dt| d| dtdtd| d|dt!|D cgc]} | d c} d t!|D cgc]} | d! c} d"t#d#|Dd$d%d&d&t$t&t(tt(d%| d'Scc}wcc} wcc} wcc} w)(Ndata savedata_sample_party_order.json.save_selector_opcode20_descriptor_scripts.jsonsamplesrUrV)rUrVr]c3&K|] }|d yw)rhNrr7r's rr8z build_summary..s"_C3'F#G"_a`The public sample saves make the opcode 0x20 count/order bytes concrete: selector 0:0 and 1:0 samples use count 1 with descriptor order [0], and progressed selector 22:0 samples use count 3 with [0,1,2]. Applying those orders to descriptor+4 static effects leaves only pointer-dword low-byte collisions in the last shaped context+0xa8 setter rows; there is no non-pointer context+0xa8 setter in the active descriptors covered by the public samples. None of the public samples covers the current frontier selector 2:0, so this remains calibration evidence rather than promotion proof for map1_01a -> map2_02d.target sampleSourcez, c3&K|] }|d yw)rUNrrs rr8z build_summary..s!JC#h-!JrsampleSourceUrlc3JK|]}|jds|dyw)rVN)r#rs rr8z build_summary..s$$h#SVSZSZ[fSgS%5$hs# # sampleSourcesactiveSlotCountOffsetHexfieldsactiveOrderOffsetHex sampleCountuniqueSampleStateCountuniqueSampleSignaturescurrentFrontierSelectorr;currentFrontierSampleCovered sampleRows'sampleFinalShapedContextA8BaseHistogramr`+sampleFinalNonPointerContextA8BaseHistogramre$allSamplesHaveKnownDescriptorIndicesc3(K|] }|d  yw)r_Nrrs rr8z build_summary..s3o\_rlenrkrlrall%FAILED_OPCODE20_SAMPLE_ORDER_GATE_IDS&OPCODE20_SAMPLE_ORDER_MISSING_EVIDENCE#OPCODE20_SAMPLE_ORDER_EVIDENCE_REFS) rr&rmr, sample_rowssample_sourcesrU source_urlitemr'unique_signaturescurrent_frontier_coveredrs r build_summaryrs ,g)D6MLn> T++=>Kkk),2  fk*KN++i(.B(H%>X)>ZZ ,H K0H  z: d.0  ! !$ ' ( KHSK 0HI""_S^"__ ] & &   !J>!JJ  499$h$hh      #gkk(&;&Ar%F%FGa%b%sfklrfs   '++h"7"=2!B!BCY!Z!k^cdj^k  s;'  !#&7"8  !"3  "&<%=Q?T>U#V  '(@  k  29AL> :=C4 5> 4  " 6yEPB >AC8 9B 8 # ( /3ocn3o0o) * !)+ ,).,QA; CD$ ; - I2> B sI)4 I.> I3  I8 cddd|dd|dd|dd |d d d |d dd|ddd|dd|dd|ddd|dd|dd|ddd|ddd|d dd|d!dd"dg}|jd#|d$D|jgd%|jd&|d'D|jgd(|jd)|d*D|jgd+|d,D] }|jd-|d.d/|d0d1"|d2D] }|jd3|d.d/|d0d1"|jgd4|d5D]d}d6jd7|d8D}|jd9|d:d;|d<d=|d>d/|d?d@|dA|dBxsdCd=|dDxsdCd/|dEd1f|jddFj|S)GNz0# Save Selector Opcode 0x20 Sample Order Effectsz - route: rUz -> rz- sample source: rz (r)z- active slot count offset: `r`z- active order offset: `rz- sample count: rz- unique sample states: rz- current frontier selector: `rz#- current frontier sample covered: rz-- all samples have known descriptor indices: rz- proofFound: `rz"- opcode20SampleOrderProofFound: `rz- promotion status: `rrz## Failed Gatesc3(K|] }d|d yw)- `rNrr7rs rr8zmarkdown..sW43tfAWrr)rz## Missing Evidencerc3&K|] }d| yw)z- Nrrs rr8zmarkdown..sD2dVDrr)rz## Evidence Refsrc38K|]}d|dd|dyw)rr z`: r Nrrs rr8zmarkdown..s/  c&k]#c-012sr)rz$## Final Context+0xa8 Base Histogramrz)| kind | base expression | sample count |z| --- | --- | ---: |rz | shaped | `rz` | r-z |rz| non-pointer | `)rz ## Samplesrz| sample | selector | tile | count | active descriptors | final shaped context+0xa8 base | final non-pointer context+0xa8 base | covers current selector |z,| --- | --- | --- | ---: | --- | --- | --- |rr1c32K|]}t|ywr3r4r6s rr8zmarkdown.. Q#e*Qr9r[z| rTz | `rWz` | `rXr*z | `[z]` | `r`-rerh )extendrjr>)summarylinesr'r?s rmarkdownrs: GH%&d78+<*=> GN34Bw?P7Q6RRST '0J(K'LAN "7+A#B"C1E 7=123 "7+C#D"EF (1J)K(LAN -g6T.U-VW 7@f8g7hi ',/02 ,W5T-U,VVWX (9 :;1=    ' E* LLW73U+VWW LL  LLD1B)CDD LL  LL>* LL@AH |CL>c'l^2FGHDEM (Wd3w<.KLM LL|$ Q#6O2PQQ T 4J0c&k]$sK\G]F^_s#GHOCPQ<=DET#NmJnIooq s   LL 99U rcdjd|dD}djd|dD}djd|dD}|dDcgc]$}d tj|d d |d d &c}|dDcgc]$}dtj|d d |d d &c}z}g}|dD]}djd|dD}|jdtj|dxsddtj|ddtj|dd |ddtj|dtj|dxsddtj|dxsdd |d d d!jgd"d#d$d%d&d'd(d)d*d+d,d-d.d/d0d1d2d3d4d5d6tj|d7d8tj|d9d:tj|d;xsddtj|d?d@tj|dAdB|dCdD|dEdFtj|dGdHdItj|dJdKdLdM|dNdOdM|dNdPdM|dNdQdR|dSdTdU|dSdVdWdScc}wcc}w)XNrc3NK|]}dtj|dyw)
  • z
    • Nhtmlescapers rr8zhtml_page..s+  T[[&'|4#%rc3NK|]}dtj|dyw)z
  • 
    • Nrrs rr8zhtml_page..s+  t{{4 !'rrc3K|]9}dtj|ddtj|dd;yw)rr z : r rNrrs rr8zhtml_page.. sE  T[[V-.i C DV8W7XX]^s?Arrzshapedrzr-z rz"non-pointerrr1c32K|]}t|ywr3r4r6s rr8zhtml_page..-rr9r[zrTrzrWzrXr*z[z]r`rerhrzzzz zF z? Save Selector Opcode 0x20 Sample Order Effectsz zzz9

    Save Selector Opcode 0x20 Sample Order Effects

    z

    route rUz -> rz; sample source rz!; active slot count offset rz#; active order offset rz); current frontier selector rz); current frontier sample covered rz; proofFound rz ; promotion status rz .

    z

    rz

    z

    Failed Gates

    z
      z
    z

    Missing Evidence

    z

    Evidence Refs

    z,

    Final Context+0xa8 Base Histogram

    zb z
    kindbase expressionsample count
    z

    Samples

    z zz)r>rrrj)r failed_gatesmissing_evidence evidence_refsr'histogram_rowsrr?s r html_pagers77>?Lww-.GG>*M DE  ( CL(A'BBRSVW^S_R``jk HI   -T[[W-F,GGWX[\cXdWeeop NK|$  Q#6O2PQQ ;;s4y/C012S_567S[123()*+++f-./S)M%N%URUVWXS)Q%R%YVYZ[\6789     99((( ( # ( Q ( J ( ( r( 1( 7( :( G( f( t( Q( '!(" #($ %(& '(( D)(* dkk'("345WT[[QYIZ=[<\\lmqmxmxzABPzQzXUXnYmZZ{|@|G|GHOPjHk|l{mmPQUQ\Q\]de{]|Q}P~~ghlhshst{|UtVhWgXXABIJhBiAjj}~EFR~S}TTtuyu@ u@ A H I Z A [ u\ t] ] i j +(,  GL12348-(. "/(0 e$1(2 &3(4 !"%(5(6 #7(8 u%9(: 7;(< m=(> ?(@ A(B C(D |E(F G(H I(J K(L M(N O(( (- s )K" )K'c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz0save_selector_opcode20_sample_order_effects.jsonFr ) ensure_asciiindentrrr0save_selector_opcode20_sample_order_effects.html)mkdir write_textrdumpsr)rout_dirs r write_outputsresf MM$M. AAMM 7q9D@N AAMMiX_N`krMsrctjt}|jdtt dz dz |jdtt dz |jdtt |j}tt|jit|ji}t||jtd |jd z y) N)r z --samplesrr)typedefaultz--descriptor-scriptsrz --out-dirz8wrote save selector opcode 0x20 sample order effects -> r)argparseArgumentParser__doc__ add_argumentrrr parse_argsrrrr&rrprint)parserargsrs rmainrns  $ $ 9F  $v Hj8jk .T3IyCyz  $<    D$,,#$))2.G'4<<( DT\\UGFGEH IJr__main__)r rrrreturnr)rr%rr5)r&dictrdict[int, dict])r,rrz list[int])r,rrr5)r,rrmrrr)r|zlist[str | None]rz list[dict])NN)r dict | Noner&rrr)rrrr5)rrrrrNone)rr)#r __future__rrrrpathlibrtypingr__file__resolverrrrrrkrlrrrrrr(r/r@rwrrrrrr__name__rrrrsR"  H~''* Ul  )% *&8G ET '#8 H@ ?D;|@FK\25t J zFr
    sampleselectortilecountactive descriptorsfinal shaped context+0xa8 basefinal non-pointer context+0xa8 basecovers current selector