UHjBhdZddlmZddlZddlZddlZddlZddlmZddl m Z m Z ee jjdZedz ZdZd Zgd Zgd Zd d dddddddgZd dZd!dZd"dZd#dZd$dZd%dZd&dZ d' d(dZd)dZd)dZefd*dZ d+dZ!e"dk(re!yy),zIEnumerate opcode 0x20 active-order space for the current gate-base proof.) annotationsN)Path)AnyIterableoutmap1_01amap2_02d)zselector-2-0-active-orderzruntime-descriptor-object-statez&direct-route-proof-in-descriptor-orderzstrict-source-hotspot)z;selector 2:0 active order/count or equivalent runtime tracez7runtime descriptor/object state selected by opcode 0x20zFfield-map/frontier/gate direct proof in an enumerated descriptor orderzstrict map1_01a source hotspotz2out/save_selector_opcode20_descriptor_scripts.jsonzDdescriptor script scans used to enumerate direct route proof absence)path descriptionz,out/save_selector_opcode20_slot_sources.jsonz=loaded slot capacity and runtime slot descriptor requirementsz4out/save_selector_opcode20_sample_order_effects.jsonzIknown public sample order signatures and current selector sample coveragecp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)r fallbacks I/home/exedev/hwanse/tools/summarize_save_selector_opcode20_order_space.py load_jsonr-s* ;;= ::dnngn6 77c|jdxsgDcic]'}t|jdtr|d|)c}Scc}w)NdescriptorRowsindex)get isinstanceint)descriptor_scriptsrows rdescriptor_rows_by_indexr!3sQ&))*:;Ar   cggg& , G c  s,Aci}|D] }|xsd}|j|ddz||<"t|jDcgc] \}}||d c}}Scc}}w)Nnonerr)valuecount)rsorteditems)valuescountsr$keyr%s r histogramr+;snF-ovjja(1,s - #6<<>2  E5%(  sAc#Ktd|dzD]B}|r tj||Ed{%tj||Ed{Dy7&7 w)Nr)repeat)range itertoolsproduct permutations)indices max_slotsrepeat_allowedr%s r iter_ordersr5FsVq)a-(>  ((? ? ? --gu= = = > ? =s!/AAAAAAc2|j|xsddkDS)Nr)r)r r*s r row_positiver7Ns GGCL A ""rc d}d}d}d}d}d}d}|D]t} || } |xs t| d}|xs t| d}|xs t| d}|xs t| d}| jd} | jd} | r| }| sq| }d}vt|||||||xsijd |xsijd |xsijd d S) NFscript4FieldRecordCount$script4CurrentFrontierDirectRefCountscript4GateWriterCountscript4GateReaderCountscript4LastContextA8SetterRow'script4LastNonPointerContextA8SetterRowTbaseExpressionisPointerDword) orderhasFieldRecordhasCurrentFrontierRef hasGateWriter hasGateReaderhasNonPointerContextA8Setter"finalShapedContextA8BaseExpression"finalShapedContextA8IsPointerDword&finalNonPointerContextA8BaseExpression)r7rlist) rA descriptors final_shapedfinal_non_pointerhas_field_recordhas_frontier_refhas_gate_writerhas_gate_readerhas_non_pointer_contextdescriptor_index descriptorshaped non_pointers rsummarize_orderrWRs!LOO#! + !12 +b|JHa/b+o|JHn/o)_\*F^-_)_\*F^-_ ?@ nn%NO !L  + &* # +e*!1(((?/;/Ar.F.FGW.X/;/Ar.F.FGW.X3D3J2O2OP`2a  rct|||Dcgc]}t||}}|Dcgc]}|ds|ds |ds|dr|}}|t|td|Dtd|Dtd|Dtd|Dt|td |Dt d |Dt d |Dtd |D|dd d Scc}wcc}w)NrBrCrDrEc3,K|] }|ds dyw)rBrN.0r s r z"summarize_space..s$P3#>N:OQ$P c3,K|] }|ds dyw)rCrNrZr[s rr]z"summarize_space..s+^#E\A]A+^r^c3,K|] }|ds dyw)rDrNrZr[s rr]z"summarize_space..#N#_9MA#Nr^c3,K|] }|ds dyw)rErNrZr[s rr]z"summarize_space..rar^c3,K|] }|ds dyw)rFrNrZr[s rr]z"summarize_space..s*dDb@c1*dr^c3&K|] }|d yw)rGNrZr[s rr]z"summarize_space..s6qehs;_7`6qc3&K|] }|d yw)rINrZr[s rr]z"summarize_space..s:ymp3?g;h:yrec30K|]}|ddus dyw)rHTrNrZr[s rr]z"summarize_space..s+s#EiAjnrArA+ss ) repeatAllowed orderCountfieldRecordOrderCountcurrentFrontierRefOrderCountgateWriterOrderCountgateReaderOrderCountdirectProofOrderCountnonPointerContextOrderCount!finalShapedContextA8BaseHistogram%finalNonPointerContextA8BaseHistogramfinalShapedPointerDwordCount sampleRows)r5rWlensumr+)r2r3rKr4rArowsr direct_proof_rowss rsummarize_spaceryts!)^D   {+ D    & '     ($i!$$P$$P!P(++^+^(^ ##N#N N ##N#N N!$%6!7'**d*d'd-66qlp6q-q1::ytx:y1y(++s+s(s3Bi   s C,C1c||nttdz i}||nttdz i}||nttdz i}t|}t|}t |j dxsd}t |||d}t |||d}|d |d z}d } id td td t|d|d|d|d|d|j dxsgd|j dd|j dd|dk(dddddddddtdttttdgd | d!S)"N.save_selector_opcode20_descriptor_scripts.json(save_selector_opcode20_slot_sources.json0save_selector_opcode20_sample_order_effects.jsonloadedCompleteSlotCapacityF)r4Troa_Enumerating every descriptor active-order shape up to the loaded three-slot capacity still finds no static field-map record, current-frontier reference, or 0xe8/0xea gate reader/writer in descriptor+4 scripts. The only non-pointer context+0xa8 base that can be selected by active order alone is the generic runtime object-pointer table path. The 0x0059e310 rows are pointer-dword low-byte collisions in the shaped scan, not reliable script opcodes. Active order alone therefore cannot prove the gate-time base for map1_01a->map2_02d; runtime descriptor/object state or an equivalent trace is still required.sourcetargetdescriptorRowCountdescriptorIndices slotCapacityuniqueOrderSpacerepeatAllowedOrderSpaceknownSampleSignaturesuniqueSampleSignaturesknownSampleStateCountuniqueSampleStateCountcurrentFrontierSampleCovered'allEnumeratedOrdersLackDirectRouteProofractiveOrderAlonePromotesRoute$runtimeDescriptorObjectStateRequired proofFoundopcode20OrderSpaceProofFoundfailedOpcode20OrderSpaceGateIdsmissingEvidenceblocked)zFcapture selector 2:0 active order/count or an equivalent runtime tracezTprove the runtime object pointer selected by descriptor+4 if the 0x42 path is activezJfind a strict map1_01a source hotspot or equivalent non-coordinate trigger) evidenceRefsevidenceRefCountpromotionStatusremainingProofs conclusion) rOUTr!r&rrrySOURCETARGETru$FAILED_OPCODE20_ORDER_SPACE_GATE_IDS%OPCODE20_ORDER_SPACE_MISSING_EVIDENCE"OPCODE20_ORDER_SPACE_EVIDENCE_REFS) r slot_sourcessample_order_effectsrKr2r3 unique_space repeat_spacedirect_proof_countrs r build_summaryrs  0B/M+S\ >> T$0#;< 88 BL4H3S/Yb @@ Z++=>K[!GL$$%ABGaHI"7I{SXYL"7I{SWXL%&=>NeAff h & &  c'l  W      L   "<  !5!9!9:R!S!YWY  !5!9!9:R!S  '(<(@(@A_(`  23E3J  (  /  e  '  *+O! " @# $; BC$ !5 rct|d}|d}ddd|dd|dd d |d d |d d|dd|dd|dd|dd|dd|dd|dd d|dd d|dd d|ddddg}|jd |d!D|jgd"|jd#|d$D|jgd%|jd&|d'D|jgd(d)|fd*|ffD]D\}}|jd+|d,|dd,|d-d,|d.d,|d/d,|d0d,|d1d,|d2d3F|jgd4d)|fd*|ffD]0\}}|d5D]#}|jd+|d6|d7d8|d9d3%2|jgd:|jd;|jd<xsgD|jgd=|jd>|jd?xsgD|jdd@j|S)ANrrz.# Save Selector Opcode 0x20 Active Order Spacez - route: `rz -> r`z- descriptor rows: rz- loaded slot capacity: rz- unique-index orders: rjz- repeat-allowed orders: z- unique direct proof orders: roz&- repeat-allowed direct proof orders: z#- current selector sample covered: rz%- active order alone promotes route: rz- proofFound: `rz!- opcode20OrderSpaceProofFound: `rz- promotion status: `rrz## Failed Gatesc3(K|] }d|d yw- `rNrZr\items rr]zmarkdown..V43tfAVr)rz## Missing Evidencerc3&K|] }d| ywz- NrZrs rr]zmarkdown..sD2dVDrer)rz## Evidence Refsrc38K|]}d|dd|dyw)rr z`: r NrZr[s rr]zmarkdown..s/  c&k]#c-012sr)rz## Order Space Countsrz| space | orders | field records | frontier refs | gate writers | gate readers | non-pointer context rows | shaped pointer rows |z8| --- | ---: | ---: | ---: | ---: | ---: | ---: | ---: | unique-indexrepeat-allowedz| z | rkrlrmrnrprsz |)rz'## Final Non-Pointer Context+0xa8 Basesrz| space | base | orders |z| --- | --- | ---: |rrz | `r$z` | r%)rz## Known Sample Signaturesrc3(K|] }d|d ywrrZrs rr]zmarkdown..rrr)rz## Remaining Proofsrc3&K|] }d| ywrrZrs rr]zmarkdown.. sN2dVNrer )extendappendrjoin)summaryuniquer-lineslabelspacer s rmarkdownrs+ ' (F . /F8 WX&'tGH,=+>a@ g&:;<= "7>#:";< !&"6!78 #F<$8#9: (0G)H(IJ 08O1P0QR -g6T.U-VW /8W0X/YZ ',/02 +G4R,S+TTUV (9 :;1=    ' E* LLV73T+UVV LL  LLD1B)CDD LL  LL>* LL)&14Df3MN u s5./s59P3Q2RRU345S?U9V8WWZ+,-S7T1U0VVY345R 9   LLyz(&14Df3MNM u@A MC LL2eWDWd3w<.K L MM LL78 LLV7;;7N+O+USUVV LL01 LLN5F)G)M2NN LL 99U rc|d}|d}djd|dD}djd|dD}djd|d D}g}d |fd |ffD]D\}}|jd |d |dd |dd |dd |dd |dd |dd |ddFg} d |fd |ffD]C\}}|dD]6} | jd |dtj| dd| dd8Edjd|j dxsgD} djd|j dxsgD} djgdd d!d"d#tj|d$d%tj|d&d'd(|d)d*d+|d,d*d-|dd*d.|dd*d/|d0d*d1|d0d*d2|d3d*d4|d5d*d6|d7d'd8tj|d9d'd:d;tj|d<d=d>|d?|d@|d:dAdBdCj|dDdEdFdCj| dDdG| dH| d:S)INrrrc3NK|]}dtj|dyw
    • Nhtmlescapers rr]zhtml_page..s+  T[[&'|4#%rc3NK|]}dtj|dywz
  • 
    • Nrrs rr]zhtml_page..s+!  t{{4 !'!rrc3K|]9}dtj|ddtj|dd;yw)rr z : r rNrr[s rr]zhtml_page..sE  T[[V-.i C DV8W7XX]^s?Arrrzz rjrkrlrmrnrprsz rrzr$zr%c3`K|]&}dtjt|d(ywr)rrstrrs rr]zhtml_page..6s/  T[[T+,L9s,.rc3NK|]}dtj|dywrrrs rr]zhtml_page..:s#h4dkk$/06hrrz`Save Selector Opcode 0x20 Active Order Spacezz5

    Save Selector Opcode 0x20 Active Order Space

    z
      z
    • route: rz -> rrz
    • descriptor rows: rrz
    • loaded slot capacity: rz
    • unique-index orders: z
    • repeat-allowed orders: z
    • unique direct proof orders: roz(
    • repeat-allowed direct proof orders: z%
    • current selector sample covered: rz'
    • active order alone promotes route: rz
    • proofFound: rz
    • promotion status: rz
    z

    rz

    z

    Failed Gates

      z"

    Missing Evidence

      z

    Evidence Refs

      z

      Order Space Counts

      zrz
      spaceordersfield recordsfrontier refsgate writersgate readersnon-pointer context rowsshaped pointer rows
      z-

      Final Non-Pointer Context+0xa8 Bases

      zPz$

      Known Sample Signatures

        z"

      Remaining Proofs

        )rrrrr) rrr- failed_gatesmissing_evidence evidence_refs count_rowsrr base_rowsr samplesproofss r html_pagers ' (F . /F99=>Lyy!-.!II>*MJ(&14Df3MN  u '&'(0123789:/012/0126789789:    I(&14Df3MN u@A C   g![[W6787|n%  iiKK 78>BGYYh7;;O`CaCgegh hF 99&l& ]& @&  & DKK(9:;74;;wW_O`CaBbbno & (< =>eD & %W^%<$=UC& $F<$8#9?& &f\&:%;5A& +62I+J*K5Q& 36:Q3R2SSXY& 08V0W/XX]^& 2':Y2Z1[[`a& !!6 7|D& 't{{7;L3M'N&O|\& !&" dkk',/0 16#&$ $%&& '&( -)&* +&, *-&. /&0 1&2 &3&4 a5&6  7&8 9&: 8;&< [=&>  ?&@ A&B /C&D E&F -G&H I&J K&& &rc|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz'save_selector_opcode20_order_space.jsonF) ensure_asciiindentrrr'save_selector_opcode20_order_space.html)mkdir write_textrdumpsr)rout_dirs r write_outputsrdse MM$M. 88DD 7q9D@E 88DDYwEWbiDjrctjt}|jdtt |j }tt|jdz it|jdz it|jdz i}t||jtd|jdz y) N)r z --out-dir)typedefaultr{r|r}z%wrote opcode20 active order space -> r) argparseArgumentParser__doc__ add_argumentrr parse_argsrrrrprint)parserargsrs rmainrms  $ $ 9F  $<    D$,,!QQSUV$,,!KKRP$,,!SSUWXG '4<<( 1$,,Aj2j1k lmr__main__)r rrrreturnr)rdictrdict[int, dict])r(zIterable[str | None]rz list[dict])r2 list[int]r3rr4boolrzIterable[tuple[int, ...]])r rr*rrr)rAztuple[int, ...]rKrrr) r2rr3rrKrr4rrr)NNN)r dict | Nonerrrrrr)rrrr)rrrrrNone)rr)#r __future__rrrr/rpathlibrtypingrr__file__resolverROOTrrrrrrrr!r+r5r7rWryrrrrr__name__rZrrrsO"    H~''* Ul  ($ )%E] ?V Gb &" 8 >#D:'+ $(,:#::&: :z?DRj25k n zFr
      spacebaseorders