UHj ItdZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZdZd Zgd Zgd Zd d dddddddgZd#dZd$dZd%dZd&dZd'dZd(dZd)dZd*dZd+dZ d, d-dZd.dZd/dZd/dZ efd0d Z!d1d!Z"e#d"k(re"yy)2zKCombine corrected gate byte samples with branch-state pass/fail hypotheses.) annotationsN)Path)Anyoutmap1_01amap2_02d)zcurrent-selector-2-0-samplezruntime-base-at-gatezpredecessor-state-persistencezstrict-source-hotspot)z?current selector 2:0 sample proving gate indices for this routez6runtime context+0xa8 base at 0x005428c4 and 0x005428ccz@predecessor 1:0 state persistence into the current 2:0 gate pathzstrict map1_01a source hotspotz)out/save_selector_gate_sample_values.jsonz.corrected public savedat gate-byte sample rows)path descriptionz/out/save_selector_predecessor_state_effect.jsonzGpredecessor branch-state table hypothesis used for pass/fail evaluationz!out/save_selector_gate_paths.jsonz8current gate trace rows and branch/fallthrough addressescp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)r fallbacks E/home/exedev/hwanse/tools/summarize_save_selector_gate_pass_matrix.py load_jsonr,s* ;;= ::dnngn6 77c |syt|dS)N)intvalues r parse_hexr2s  ub>rc|yd|dS)N0x02xrs rhex8r"8s } c{ rc |sgS|d}g}dD].}|j|xsg}|s|j|d0g}|D]}t|jd}||dz dznd}||dz dznd}|j|jd|jd|t|t||dk(rdnd |jd |jd d |S) Nr)firstGateTracesecondGateTracevalueHexrvaHexprimaryBranchStatesecondaryBranchStatebranchTargetHexfallthroughVaHex) gateVaHexr&selectionBufferOffsetselectionBufferOffsetHexstreamPlus1Hex stateTabler,r-)getappendrr") gate_pathsrowtraces trace_nametracegatesr stream_plus_1 stream_plus_2s r gate_rowsr=>s   Q-C F;$  #)r  MM%( #$ E  %))J/0/4/@!t+d 050A",t  7+ *-%2(,](;"=12?12D.J`$yy):; % *< =    Lrc|jd}t|trt|dk7r ddgdgdzz}dd|dd d d dgdzd d gS) NsecondaryBranchStateAfterFill rr predecessor_1_0_case0z"predecessor 1:0 opcode 0x10 case 0&save_selector_predecessor_state_effect)idlabelr2sourceEvidence zero_tablezall-zero secondaryBranchStateznegative control)r3 isinstancelistlen)predecessor_state_effectpredecessor_tables rtable_hypothesesrMYsw0445TU ' .#6G2HB2NFaS2X-*9+F  4#(0    rci}|D]8}|jdxsd}|j|gj|:|D]}||jdt t |j S)NsampleId-c,|jdxsdS)N gateOffsetHex)r3)r6s rzsample_groups..ss0H0NBr)key)r3 setdefaultr4sortdictsorteditems)rowsgroupedr6 sample_ids r sample_groupsr^ms%'G6GGJ'.3 9b)0056P  $NOP w}}' ((rc|jd}t|txrd|cxkxrt|knc}|r||nd}|jd|jd|t|tr t |nd|||dk(dS)NrrrR saveOffsetHexr)rRr`indexindexHex indexInRange stateValue fallsThrough)r3rHrrJr")r6 state_tablerin_range state_values r evaluate_gateriws GGG E%%G!u*Gs;7G*GH(0+e$dK11#-eS#9DKt !#q( rct|jdxsg}g}|jD]\}}|d}|D]}|Dcgc]}t||d} }|j ||jd|jd|jd|d|d| t d | Dt d | Dd |Scc}w) NsaveRuntimeGateSampleRowsrr2selectortilecoversCurrentFrontierSelectorrDrEc3&K|] }|d yw)rcNr!.0r6s r z&save_runtime_matrix..s,YSS-@,Yc3&K|] }|d yw)reNr!rps rrrz&save_runtime_matrix..s*W33~+>*Wrs) rOrlrmrn hypothesisIdhypothesisLabel gateResultsallGateIndicesInRangeallGatesFallThrough)r^r3rZrir4all) gate_sample_values hypothesesr\r[r] sample_rowssample hypothesisr6 gate_resultss rsave_runtime_matrixrs.223NOUSUVG D")--/ ;Q$ J'c:l#;<L KK%"JJz2 6*17<[1\ *4 0#-g#6+),,YL,Y)Y'**W,*W'W    $ KsCcl|jdxsg}|Dcgc]}|jds|}}t|Dchc]%}|jds|jd'c}}t|t|t|t|z |t|dkDdScc}wcc}w)NpartySlotStatSampleRowsinExpectedIndexRanger&r)sampleValueCountinRangeSampleValueCountoutOfRangeSampleValueCountdistinctValuesHexusableAsGateIndexEvidence)r3rYrJ)r{r[r6rgdistincts rparty_slot_summaryrs  ! !"; < BD#Gsww/E'FGHGdRscggj>Qswwz*RSHI#&x=&)$i#h-&?%%(]Q%6  HRsB,B,B1B1c ||nttdz i}||nttdz i}||nttdz g}t|}t||}|Dcgc] }|ddk(s |}}|Dcgc] }|ddk(s |}}t |}d} idt d t d t|d |jd d |jd d |jd xsgd|d|dtd|Ddt|dtd|Ddt|d|dddddddddtttttd| dScc}wcc}w)N%save_selector_gate_sample_values.json+save_selector_predecessor_state_effect.jsonsave_selector_gate_paths.jsonrurBrGaWith the corrected save/runtime mapping, public samples put both gate indices at 0. Under the strongest predecessor 1:0 hypothesis, secondaryBranchState[0] is 1, so both current control gates 0x005428c4 and 0x005428cc would fall through for every public sample. Under an all-zero table they would not. This narrows the gate problem but does not promote map1_01a -> map2_02d: the public samples do not cover selector 2:0, the runtime context+0xa8 base at the gates is still unproven, and there is still no strict map1_01a source hotspot.sourcetargetgateRowscurrentFrontierSelectorcurrentFrontierSampleCovered saveRuntimeGateDistinctValuesHextableHypothesessaveRuntimePassMatrix,saveRuntimePredecessorAllGatePassSampleCountc3,K|] }|ds dywryrNr!rps rrrz build_summary..s;x#]`av]wA;x !saveRuntimePredecessorSampleCount*saveRuntimeZeroTableAllGatePassSampleCountc3,K|] }|ds dywrr!rps rrrz build_summary..s9oTWXmTn!9orsaveRuntimeZeroTableSampleCountpartySlotStatSummaryruntimeBaseProofRequiredT#predecessorPersistenceProofRequiredstrictHotspotProofRequired proofFoundFblocked)gatePassMatrixProofFoundfailedGatePassMatrixGateIdsmissingEvidence evidenceRefsevidenceRefCountpromotionStatus conclusion)rOUTrMrrSOURCETARGETr=r3sumrJ FAILED_GATE_PASS_MATRIX_GATE_IDS!GATE_PASS_MATRIX_MISSING_EVIDENCEGATE_PASS_MATRIX_EVIDENCE_REFS) r{rKr5r|matrixr6predecessor_rows zero_rows party_summaryrs r build_summaryrs# 0B/M+S\ 55 T(>?](^   +,>,B,BCe,f,ljl   :    7;xIY;x8x  ,S1A-B  5c9oy9o6o  *3y>     #D  .t  %d! " e# $%*'G<6 >?$ 1 aNs! E&/E&9 E+E+c g}|D]D}|ddn t|d}|j|dd|dxsdd|d|drd nd Fd j|S) NrdrPrRz idx rbz -> state  -> re fallthroughbranchz; )strr4join)resultspiecesr6states rgate_result_textrs F <(0c#l:K6L ?#$E#j/*@S)AE7RV #N 3}B D  99V rc.|d}ddd|dd|dd|d d d |d d djd|dDd|dd|dd|dd|dd|dd|dd|dd|dd|d d!|d"d d#|d$d d%|d&d d|d'dd(dg}|jd)|d*D|jgd+|jd,|d-D|jgd.|jd/|d0D|jgd1|d2D]8}|jd3|d4d5|d6d5|d7d8|d9d:|d;d5|d<d= :|jgd>|d?D];}|jd@|dAd:|dBd8|dCdDt|dEdD|dFdG =|jddHddI|ddJ|ddK|dLdMdjdN|dODdgdPj|S)QNrz # Save Selector Gate Pass MatrixrSz - route: rrrz- current frontier selector: `r`z#- current frontier sample covered: rz%- save/runtime distinct gate values: , c3(K|] }d|d ywrNr!rqitems rrrzmarkdown..s9~$AdV1+9~rz- predecessor pass samples: r / rz- zero-table pass samples: rrz%- party-slot usable in-range values: rrz- runtime base proof required: rz*- predecessor persistence proof required: rz!- strict hotspot proof required: rz- proofFound: `rz- gatePassMatrixProofFound: `rz- promotion status: `rrz## Failed Gatesc3(K|] }d|d yw)- `rNr!rs rrrzmarkdown..sR43tfARrr)rSz## Missing EvidencerSc3&K|] }d| yw)z- Nr!rs rrrzmarkdown.. sD2dVDrsr)rSz## Evidence RefsrSc38K|]}d|dd|dyw)rr z`: r Nr!rps rrrzmarkdown..s/  c&k]#c-012sr)rSz## Current GatesrSzI| gate | value | selection offset | table | branch target | fallthrough |z%| --- | --- | --- | --- | --- | --- |rz| `r.z` | `r&r0z` | r2z | `r,r-z` |)rSz## Save/Runtime MatrixrSzJ| sample | selector | hypothesis | gate results | all gates fall through |z| --- | --- | --- | --- | --- |rz| rOrlrvz | rwryz |z## Party Slot Stat Summaryz- sample values: z - in range: z- out of range: rz- distinct values: c3(K|] }d|d ywrr!rs rrrzmarkdown..4s'[!D6 '[rr )rextendr4r)summarypartylinesr6s rmarkdownrs * +E* GH%&d78+<*=> (1J)K(LAN -g6T.U-VW / 9~RYZ|R}9~0~/ A &w/]'^&__bcjlOdPcQ R %g.Z&[%\\_`giJaK`L M /6O0P/QQTUZ[mUnTop )'2L*M)NO 4W=b5c4de +G4P,Q+RS ',/02 '0J(K'LAN (9 :;1=    ) E, LLR73P+QRR LL  LLD1B)CDD LL  LL>* LLz"  #k"#5Z(9sC]?^>__c< !c*;&<%=U3GYCZB[[^ `   LL./  Z!c*o%6d3?P;Q:RRUM 234C?@ dii'[FY@Z'[[\]    99U rc djd|dD}djd|dD}djd|dD}g}|dD]}|jd tj|d xsd d tj|d xsd d tj|dxsd dtj|ddtj|dxsd d tj|dxsd d g}|dD]}|jdtj|ddtj|ddtj|ddtjt |dd|dd |d}djgd d!d"d#d$d%d&d'd(d)d*d+d,d-d.d/d0d1d2d3d4tj|d5d6tj|d7d8|d9d:|d;d<|d=d:|d>d?|d@d:|dAdB|dCdD|dEdF|dGdH|dIdJtj|dKdLdMtj|dNdOdPdQ|dRdSdQ|dRdTdQ|dRdUdV|dWdXdY|dWdZd[|dAd\|d@d]|d^d_tjd`j|dadb dcdddS)eNrSc3NK|]}dtj|dyw)
  • z
    • Nhtmlescapers rrrzhtml_page..;s+  T[[&'|4#%rc3NK|]}dtj|dyw)z
  • 
    • Nrrs rrrzhtml_page..?s+  t{{4 !'rrc3K|]9}dtj|ddtj|dd;yw)rr z : r rNrrps rrrzhtml_page..CsE  T[[V-.i C DV8W7XX]^s?Arrzr.rPzr&r0zr2zr,r-zrzrOrlrvz rwryz rrzzzz zF z/ Save Selector Gate Pass Matrixz zzz)

    Save Selector Gate Pass Matrix

    z

    route rz -> rz; predecessor pass samples rrrz; zero-table pass samples rrz; party-slot in-range values rrz; runtime base proof required: rz*; predecessor persistence proof required: rz!; strict hotspot proof required: rz; proofFound rz ; promotion status rz .

    z

    rz

    z

    Failed Gates

    z
      z
    z

    Missing Evidence

    z

    Evidence Refs

    z

    Current Gates

    z z
    gatevalueselection offsettablebranch targetfallthrough
    z

    Save/Runtime Matrix

    z z"

    Party Slot Stat Summary

    z

    sample values z ; in range z; out of range rz; distinct values rrz.

    zz)rr4rrr)r failed_gatesmissing_evidence evidence_refsgate_rows_htmlr6matrix_rows_htmlrs r html_pager:s779:Lww-.GG>*MNz"   S%5%<=>?S_%;<=>S)C%D%KLMN;;s<0123S):%;%BsCDES);%<%CDEF     ./   ;;s:/01S_567;;s#45678;;/M0BCDEF,-./      * +E 99222 2 # 2 Q 2 : 2 2 r2 12 72 :2 G2 f2 t2 Q2 '!2" #2$ %2& '2( 4)2* dkk'("345WT[[QYIZ=[<\]$$+,Z$[#\\_`giLaM`NN##*+W#X"YY\]dfG^H]II&&+,E&F%Gs5QcKdJef((/0J(K'LM33:;`3a2bc**12N*O)PQ#L123""&++g6G.H"I!J, X+2<  GL12348=2> "?2@ e$A2B &C2D !"%(E2F #G2H u%I2J #K2L _M2N O2P Q2R )S2T ZU2V W2X Y2Z -[2\ e$678 EJcDdCeetuz|XvYuZZlmqmxmxy}yByBCHI\C]y^m_l``e f]2^ _2` a2b c22 2rc|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz#save_selector_gate_pass_matrix.jsonF) ensure_asciiindentrr r#save_selector_gate_pass_matrix.html)mkdir write_textrdumpsr)rout_dirs r write_outputsrse MM$M. 44@@ 7q9D@A 44@@7AS^e@frc>tjt}|jdtt dz |jdtt dz |jdtt dz |jd tt |j }tt|jit|jit|jg}t||jtd |jd z y) N)r z--gate-sample-valuesr)typedefaultz--predecessor-state-effectrz --gate-pathsrz --out-dirz(wrote save selector gate pass matrix -> r)argparseArgumentParser__doc__ add_argumentrr parse_argsrrr{rKr5rrprint)parserargsrs rmainrs  $ $ 9F .T3IpCpq 44O|I|} T3A`;`a  $<    D$))2.$//4$//2&G '4<<( 4T\\Di5i4j klr__main__)r rrrreturnr)r str | Noner int | None)rrrr)r5 list[dict]rr)rKrXrr)r[rrzdict[str, list[dict]])r6rXrfz list[int]rrX)r{rXr|rrr)r{rXrrX)NNN)r{ dict | NonerKrr5zlist[dict] | NonerrX)rrrr)rrXrr)rrXrrrNone)rr)$r __future__rrrrpathlibrtypingr__file__resolverROOTrrrrrrrrr"r=rMr^rirrrrrrrr__name__r!rrr s&Q"  H~''* Ul  $ %!<G B` 4Q " 8   6() 0 '+,0$(4#4)4"4 4nJZWt25g m  zFr
    sampleselectorhypothesisgate resultsall gates fall through