!Jju?6dZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZdZd Zd Zd Zd Zdd ZddZddZddZd dZd!dZd"dZd#d$dZd%dZd&dZd'dZd'dZd#d(dZ d)dZ!e"dk(re!yy)*zSClassify the nearest local selected-pointer producer before opcode 0x08 activators.) annotationsN)Path)Anyoutmap1_01amap2_02dz0:0z1:0z2:0cp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks P/home/exedev/hwanse/tools/summarize_save_selector_opcode08_activation_windows.py load_jsonrs* ;;= ::dnngn6 77c@t|jdxsddS)NvaHex0)intgetrows rva_intrs swww&3 ++rc t|jd}|dk(r|jdxsi}|jd||jd|jd||jd|jd|jd d u|jd d ud S|d k(r|jdxsi}|jd||jd|jd||jd|jd|jdd u|jdd ud SiS)N opcodeHex0x07selectedValueClassrvalueHexselectedValueHexkindselectorselectedCurrentRootTselectedCurrentRange) producerVaHexproducerOpcodeHexproducerValueHexproducerPointerHexproducerPointerClassproducerPointerKindproducerPointerSelectorproducesCurrentRootproducesCurrentRange0x09storedPointerClassstoredPointerHexstoresCurrentRootstoresCurrentRanger)ropcode pointer_classs rproducer_pointerr; s; WW[ !F  45;  WWW-!' # 3"%''*<"=$1#0#4#4V#<'4'8'8'D#&77+@#AT#I$'GG,B$Ct$K   45;  WWW-!' # 3"%''*<"=$1#0#4#4V#<'4'8'8'D#&77+>#?4#G$'GG,@$AT$I   Irc|sy|jdry|jdry|jd|k(ry|jd}|r t|Sy ) Nno-local-producerr1z current-rootr2z current-ranger0z own-ranger/unknown)rstr)r'producerr&s rproducer_bucketrA?s\ "||)*||*+||-.(: <<- .D 4y rc|xsi}d}|jdrt|t|ddz }||jd|jd|jd|jd|jd|jd|jd|jd |jd d u|jd d u|jd |k(t|||d S)Nr*rrr$r+r,r-r/r0r1Tr2)r'activationVaHexactivationValueHexnearestProducerVaHexnearestProducerOpcodeHexnearestProducerValueHexnearestProducerPointerHexnearestProducerPointerKindnearestProducerPointerSelector"nearestProducerProducesCurrentRoot#nearestProducerProducesCurrentRangenearestProducerOwnRangenearestProducerBucket distanceBytes)rrrrA)r'rr@distances ractivation_rowrQNs~2HH||O$#;Xo%>!CC777+!ggj1 ( _ =$,LL1D$E#+<<0B#C%-\\2F%G&.ll3H&I*2,,7P*Q.6ll;P.QUY.Y/7||r"r30x08)rsortedrr;appendrQsummarize_context)scanr'rS last_producer activationsrr9s r scan_contextr\esxx #H $((6"(bf 5D!%MKM% % %,S1M v    ~h]K L M T; //rc d dfd }|jd|jd|jdt|d|d|d|dd |dd |dd d S)Nc2tfdDS)Nc3LK|]}|jk(sdyw)rNr8).0rrTvalues r z3summarize_context..count..us Eswws|u/D1Es$$)sum)rTrar[s``rcountz summarize_context..counttsE EEErr'rolerangeHexrKrLrMrNzscript-scalar-or-pair unreadabler=) r'rerfactivationCountnearestCurrentRootProducerCount nearestCurrentRangeProducerCountnearestOwnRangeProducerCount nearestScriptScalarProducerCountnearestUnreadableProducerCountnearestNoLocalProducerCountr[)T)rTr?rarreturnr)rlen)rYr[rds ` rrXrXssFHHZ( HHZ({++01U+V,12W,X(-.G(H,12IKb,c*/0G*V',-DFY'Z"  rc|xsttdz i}|jdxsgDcgc] }t|}}|Dcgc]!}|jdtt hvr|#}}t d|Di}td|D}td|D}td|D}td|D}td |D} td |D} |jd d } d } idtdtdtdt dtd|d|d|d|d|d| d| d| dddddgd d!| Scc}wcc}w)"N0save_selector_selected_pointer_opcode_paths.json contextScansr'c3RK|]}|jdtk(s|!yw)r'N)rCURRENT_SELECTOR)r`rYs rrbz build_summary..s!WTdhhz.BFV.VDWs''c3&K|] }|d yw)rhNr`rs rrbz build_summary..s,eS1B-C,ec3&K|] }|d yw)riNrwrxs rrbz build_summary..s/x[^4U0V/xryc3&K|] }|d yw)rjNrwrxs rrbz build_summary..0z]`5W1X0zryc3&K|] }|d yw)rkNrwrxs rrbz build_summary..s,rUXS1O-P,rryc3&K|] }|d yw)rlNrwrxs rrbz build_summary..r|ryc3&K|] }|d yw)rmNrwrxs rrbz build_summary..s-uX[c2R.S-uryrjraNearest local producer windows before source/predecessor opcode 0x08 activators still do not produce the current selector 2:0 root/range. The windows are dominated by own-range continuation stores, script-scalar table selections, and unreadable pointer-like operands; only current 2:0 has nearest current-range producers, and those are internal current-root continuations. Therefore opcode 0x08 activation still requires a runtime selected-pointer trace or a real selector 2:0 save before route promotion.sourcetargetsourceSelectorpredecessorSelectorcurrentSelectorcontextWindows)sourceOrPredecessorOpcode08ActivatorCount+sourceOrPredecessorCurrentRootProducerCount,sourceOrPredecessorCurrentRangeProducerCount(sourceOrPredecessorOwnRangeProducerCount,sourceOrPredecessorScriptScalarProducerCount*sourceOrPredecessorUnreadableProducerCount(currentInternalCurrentRangeProducerCountopcode08ActivationPromotesRouteFpromotionStatusblockedremainingProofs)z7capture a selected-pointer runtime trace at opcode 0x08zOreplace the synthetic selector 2:0 savedat vector with a captured gameplay savez3find a strict map1_01a source coordinate or hotspot conclusion) rOUTrr\SOURCE_SELECTORPREDECESSOR_SELECTORnextrcSOURCETARGETru) selected_pointer_opcode_pathsrYscanssource_or_predecessorcurrent"source_predecessor_activator_count%source_predecessor_current_root_count&source_predecessor_current_range_count"source_predecessor_own_range_count&source_predecessor_script_scalar_count#source_predecessor_unreadable_count$current_internal_current_range_countrs r build_summaryrs $A%Y @@ F!-J,M,Mn,],cac dD\$  dE d 88J O5I#J J WUWY[\G),,eOd,e)e&,//xbw/x,x)-00zdy0z-z*),,r\q,r)r&-00zdy0z-z**--u_t-u*u'+2;;7Y[\+](  & &  /  3   +   %   45W  67\  78^  34V  78^  56Y  34X  *5  9   ! * j+ + es E &Ec d|jdd|jdd|jdd|jdd |jd  S) Nzop8=rhz currentRange=rjz ownRange=rkz scriptScalar=rlz unreadable=rmr8rs r context_briefrsu sww()*+ BCDEGG:;<= BCDEgg>?@  Brcg}|jdxsgD]E}|jdr|j|&t|dks5|j|G|ddS)Nr[rL )rrWrp)contextrSrs rinteresting_activationsrsb D{{=)/R 778 9 KK  Y^ KK   9rc\ddd|dd|dd|dd |d d |d d |dd|dd|dd|dd|dd|ddd|ddddddg}|dD]2}|jd|d d!|d"d#|d$d!t|d% 4|jgd&|dD]}t|D]}|jd|d d'|d(d'|j d)xsd*d'|j d+xsd*d'|j d,xsd*d!|j d-xsd*d.|j d/|j d/nd*d%|jgd0|jd1|d2D|jdd3j |S)4Nz.# Save Selector Opcode 0x08 Activation Windowsz - route: rz -> rz!- source/predecessor activators: rz-- source/predecessor current-root producers: rz.- source/predecessor current-range producers: rz- own-range producers: rz- script-scalar producers: rz- unreadable producers: rz,- current internal current-range producers: rz&- opcode08 activation promotes route: rz- promotion status: `r`rz## Context Windowsz$| selector | role | range | counts |z| --- | --- | --- | --- |rz| `r'z` | rez | `rfz |)rz## Activation SamplesrzS| selector | activation | nearest producer | opcode | pointer | bucket | distance |z,| --- | --- | --- | --- | --- | --- | ---: |z` | `rCrE-rFrHrNz | rO)rz## Remaining Proofsrc3&K|] }d| yw)z- Nrwr`items rrbzmarkdown..sD2dVDryr )rWrextendrrjoin)summarylinesrrs rmarkdownrs{8 GH%&d78+<*=> +G4_,`+ab 7@m8n7op 8Ao9p8qr !'*T"U!VW %g.\&]%^_ "7+W#X"YZ 6w?i7j6kl 09Z1[0\] (9 :;1=    .#' E*+,  '*%&d76?*;4 @S?TTXYfgnYoXppr s   LL+,*73 C LLc*o&eC0A,B+C5QgIhIoloHpqGG67>3?uSWWMhEiEpmpDqqu7723:s;3[^[b[bcr[s[sww?WFI?JJLM   LL01 LLD1B)CDD LL 99U rc!djd|dD}g}|dD]t}t|D]b}|jdtjt |ddtjt |ddtjt |j dxsd dtjt |j d xsd dtjt |j d xsd d tjt |j d xsd dtjt |j d|j dnd dewdjd|dD}djddddddddddddd d!d"d#d$d%tj|d&d'tj|d(d)|d*d+|d,d-|d.d/ d0|d1d2|d3d4|d5d6|d7d/ d8tj|d9d:d;d<|d=d>d?dj|d=d@|dAdBgS)CNrc 3,K|]}dtjt|ddtjt|ddtjt|ddtjt|d yw)r'rezrf N)htmlescaper?r)r`rs rrbzhtml_page..s   [[WZ%8!9:;<{{3wv/012[[WZ%8!9:;<{{=1234  sBBrrr'zrCrErrFrHrrNz rOrrc3NK|]}dtj|dyw)z
  • z
    • N)rrrs rrbzhtml_page..s#\tDKK-.e4\s#%rzzzz zF z= Save Selector Opcode 0x08 Activation Windowsz zzz7

    Save Selector Opcode 0x08 Activation Windows

    z

    route rz -> rz ; source/predecessor activators rz-; source/predecessor current-range producers rz%; opcode08 activation promotes route rz.

    z

    own-range producers rz; script-scalar producers rz; unreadable producers rz+; current internal current-range producers rz

    rz

    z

    Context Windows

    zc z
    selectorrolerangecounts
    z

    Activation Samples

    z z

    Remaining Proofs

      z
    z)rrrWrrr?r)r context_rowsactivation_rowsrrproofss r html_pagersS99/0LO+, *73 C  " "![[S_)=>?@![[S1B-C)DEFG![[SWW5K-L-SPS)TUVW![[SWW5O-P-WTW)XYZ[![[SWW5P-Q-XUX)YZ[\{{3sww/F'G'N3#OPQR{{3377?C[Cgsww'?mp#qrst   WW\IZA[\ \F 99"PGq0es6&A dkk'("345WT[[QYIZ=[<\\|~EFq~r}ss`ahiWaX`YY~FGhi~jjo p #G,V$W#XXrsz|jtksllCDKLxDyCzzefmnXfYeZZ_ `  GL12348$m' o /" )&7= rc|jdd|dz jtj|ddd|:|jjdd|jt |dyy) NT)parentsexist_ok.save_selector_opcode08_activation_windows.jsonF),:) ensure_ascii separatorsr r )mkdir write_textrdumpsparentr)rout_dirhtml_outs r write_outputsr6s{ MM$M. ??KK 7:FLdT:Ig.Arctj}|jdttdz |jdtt|jdtdd|j }t t|ji}t||j|jtd|jd z y) Nz--selected-pointerrr)typedefaultz --out-dirz --html-outz!Optional HTML report output path.)rrhelpz6wrote save selector opcode 0x08 activation windows -> r) argparseArgumentParser add_argumentrr parse_argsrrselected_pointerrrrprint)parserargsrs rmainrAs  $ $ &F ,4GyAyz  $<  4Dgh    DId&;&;R@AG'4<<7 B4<<SCDCCD EFr__main__)rrrrror)rdictror)rrror)r'r?r@ dict | Noneror?)r'r?rrr@rror)rYrror)rYrr[ list[dict]ror)N)rrror)rrror?)rrror)rrror?)rrrrrz Path | NoneroNone)ror)#__doc__ __future__rrrrpathlibrtypingr__file__resolverROOTrrrrrrurrr;rArQr\rXrrrrrrr__name__rwrrrsY"  H~''* Ul  8 ,> . 0&0f+\8vBF zFr
    selectoractivationnearest produceropcodepointerbucketdistance