N3Lj@dZddlmZddlZddlZddlZddlmZddlm Z ddl m Z ddl m Z mZe ej!j"dZed z Zed z Zed z Zd Zd ZdZddZd dZd!dZd!dZd"dZd#dZd$dZd%dZ d&d'dZ!d(dZ" d)dZ# d)dZ$d*dZ%d+dZ&d,dZ'e(dk(re'yy)-a Build a selector-root opcode matrix for selected-root related handlers. `selected_root_live_writer_frontier_review` grounds the VM primitives: selector-byte writer 0x4f and selectedRoot opcodes 0x07/0x08/0x09. This pass does not re-prove those handlers. It scans every known selector root and asks: * which roots contain the selector-byte writer opcode 0x4f in the byte-writing mode, * whether opcode 0x07 ever selects an exact selector-root start, * whether opcode 0x09 ever stores an exact selector-root start or crosses into another root, * whether any source/predecessor route roots select the current 2:0 route root. The strict distinction matters: many dwords have low byte 0x07/0x08/0x09/0x4f as data, so only exact-root targets are allowed to promote route proof. ) annotationsN)Counter)Path)Any) read_sections va_to_offsetz Hwanse2.exeoutwebz0:0z1:0z2:0cVtj|ddSt|dS)NT)quote)htmlescapestrvalues 1tools/build_selected_root_opcode_matrix_review.pyhr(s% ;;U]r$ GGE $ GGc|dSd|dS)Nr 0x08xrs rhxr,s24bs $44rcb|sy|jdxsg}djd|DS)Nr selectorKeys,c32K|]}t|yw)Nr.0items r zselector_key..4s/$CI/s)getjoincontextkeyss r selector_keyr*0s0  ;;~ & ,"D 88/$/ //rcV|sy|jdxsg}|rt|dSdS)Nr rr)r%rr's rprimary_selectorr,7s0  ;;~ & ,"D3tAw<'R'rcvt||}||dzt|kDrytjd||dS)Nzs? x $C {cAgC(   dC -a 00rcx |jdd\}}t|t|fS#t$rYywxYw)N:r )NN)splitint ValueError)selectorgroupslots rselector_group_slotr?Es@nnS!, t5z3t9$$ s *- 99c tjtdz jd}g}|j dxsgD]}t |j dt rt |j dt sB|ji|t |dt |dt|t|d|jd |S) Nz#selector_root_structure_review.jsonutf-8encodingrootsrootVa rangeEndVa)startendr<primarySelectorc |dS)NrGr)rows rzroot_contexts..\s #g,r)key) jsonloadsOUT read_textr% isinstancer:appendr*r,sort)datacontextsrKs r root_contextsrWMs ::sBBMMW^M_ `DHxx &B  #''(+S1CGGLDY[^9_   S]+3|,-(-#3C#8      MM.M/ OrcF|y|D]}|d|cxkr |dks|cSy)NrGrHr)rVr4r(s rcontext_for_varY`s> z 7 r 2GEN 2N 3 rc|syt||krdj|Sdj|d|dt||z zS)N-z, z +)r/r&)valueslimits rcompactr^isN  6{eyy  99VFU^ $CK%,?+@'A AArc l|dz dz}|dk7ry|dz dzd|dz dz}|d}t|\}}t|\}} ||k(rd} n||k(r |dk(r| d k(rd } n ||k(rd } nd } d t|t|||| |jdxsg|jd|jdd S)Nr r8rIself-selector-writerrsame-group-slot1-to-slot0-aliaszsame-group-other-slot-alias$cross-group-selector-write-candidatezopcode4f-selector-byte-writer fieldMaps rootVaHex rootClass) kindvaHexvalueHexr<targetSelectorclassificationrgrhri)r?rr%) r(r4rmodetargetsource source_group source_slot target_group target_slotrns rclassify_opcode4frvqs QJ$ D qy"$%Q t';&< =F & 'F 3F ;L+ 3F ;L+ /  %+*:{a?O:  %6?/BuI ([[-3[[-[[-  rc L|dz dz}|dvry|dk(r|dznt|||dz}t||} t| } dt|t||d|t|| |||vndt | xr| |dk7|j d xsg|j d d S) Nr`ra>rr rr.zopcode09-selected-root-storerIFrgrh) rjrkrlr<rostoredPointerHexstoredPointerSelectorstoredPointerIsExactRootstoredPointerCrossesRootrgrh)r6rYr,rboolr%) r2r3rVexact_root_startsr(r4rrostoredtarget_contexttarget_selectors rclassify_opcode09rs QJ$ D 6qyR!VhsHb1f&EF#Hf5N&~6O.BuI-.vJ!0CICUF.?$?[`$()j_PWXiPj=j$k[[-3[[-  rc|dz dzry|dz dz}t|||dz}t||} | sy|||dzznd} | t||| nd} t|| } dt|t||d|t|t| t| t| t| | | |vndt | xrt| |dk7|j d xsg|j d d S) Nrbir`rar.z/opcode07-selected-root-indexed-writer-candidaterIFrgrh)rjrkrlr<indexoperandTableHexoperandTableSelectorselectedSlotHexselectedValueHexselectedValueSelectorselectedValueIsExactRootselectedValueCrossesRootrgrh)r6rYrr,r|r%) r2r3rVr}r(r4rrtable table_context selected_slotselected_valueselected_contexts rclassify_opcode07rs  v aZ4 E S(BF +E"8U3M ).):EEAI%M?L?XXc8];^bN%h?ABuI-.e9 0 ?m,~.!12B!CKYKeN6G$Gkp$(  a!12B!CwO`Ga!a% [[-3[[-! rc tj}t|}t}|Dchc]}t |d}}g}g}g}d}t } |D]} t | d| ddD]} t||| } | | dz} | dvr| d| dxxd z cc<| d k(r|d z }9| d k(r"t| | | }|sN|j|`| d k(r&t||||| | | }|sy|j|| d k(st||||| | | }|s|j|tth}|Dcgc]}|d|vr|dr|dtk(r|}}|Dcgc]}|d|vr|dr|dtk(r|}}t d|D}t d|D}|Dcgc] }|ddk(s |}}|Dcgc] }|ds | }}|Dcgc] }|ds | }}|Dcgc] }|ds | }}|Dcgc] }|ds | }}idt|dtg|||Dchc]}|d c}dt!| dt|d|j#ddd |j#d!dd"t|d#t|d$t|d%t|d&t%d'|Dd(|d)t|d*t!|d+t|d,t|d-t|t|d.d/d0}d1d2d3|gd4|||dd5||||d6gd7d8 Scc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}w)9NrGrrHr.ra>r` Or02xr r`rrrr<rrrzryc3&K|] }|d yw)rnNrr"rKs rr$zbuild_report..s#ScC(8$9#Ssc38K|]}t|dyw)roNr rs rr$zbuild_report..s"M3s6{#3"Msrnrfrr{selectorRootCount rootsWithSelectedRootOpcodeCountrhlowByteCountsInRootRangesopcode4fMode1WriterCountopcode4fSelfWriterCountrdopcode4fSlotAliasCountreopcode4fCrossGroupCountopcode07CandidateCountopcode07ExactRootSelectCountopcode07CrossRangeSelectCount&opcode07CrossRangeExactRootSelectCountc3,K|] }|ds dyw)rr Nrrs rr$zbuild_report..s5{C[^_y[za5{s opcode08LowByteConsumerCountopcode09CandidateCountopcode09ModeCountsopcode09ExactRootStoreCountopcode09CrossRangeStoreCount0sourceOrPredecessorToCurrentExactRootSelectCountFzGeneralized selector-root opcode scanning finds grounded 0x4f mode1 self/slot-alias writers, but no opcode 0x07 exact-root selection and no opcode 0x09 exact-root store. Source/predecessor roots still do not select or store the current 2:0 route root.)/sourceOrPredecessorToCurrentExactRootStoreCountrouteProducerPromoteddecisionz)hwanse-selected-root-opcode-matrix-reviewz1tools/build_selected_root_opcode_matrix_review.pyz1opcode-matrix-grounded-no-upstream-route-producer)zIOpcode 0x4f is counted as selector-byte writer only when stream[+1] == 1.zmOpcode 0x07 range hits are not promotion proof unless the selected value equals an exact selector-root start.z]Opcode 0x09 mode0 stores the continuation pointer; it is not a cross-root producer by itself.zEOpcode 0x08 consumes selectedRoot but does not identify who wrote it.()opcode07ExactRootSelectsopcode09ExactRootStores)zjFind a source/predecessor or higher-level root that writes selectedRoot to the current route root exactly.zeFind a live stream/root producer that reaches 0x00406dbb with selector 2:0 outside save/load restore.znFind a non-selector-only event/field dispatcher that chooses the current selector root during normal gameplay.) rjrqstatussummarystrictInterpretation opcode4fRowsopcode07ExactRootRowsopcode07CrossRangeSamplesopcode09ExactRootRowsopcode09CrossRangeRows sourceOrPredecessorToCurrentRowsremainingProofs)EXE read_bytesrrWr:rranger6rvrSrrSOURCE_SELECTORPREDECESSOR_SELECTORCURRENT_SELECTORr/dictr%sum)r2r3rVrKr} opcode4f_rows opcode09_rows opcode07_rowsopcode08_countlow_byte_countsr(r4ropcodesource_or_predecessorsource_current_root_selectssource_current_root_storesopcode4f_class_countsopcode09_mode_countscross_group_4fexact_opcode07cross_range_opcode07exact_opcode09cross_range_opcode09rs r build_reportrs .. CS!HH6>?sS\*??*,M*,M*,MN$+IO.('%.!< .BS(B/E}T\F55 b - .! 3 .~!#4'U;!((-4'XxART[]_afg!((-4'XxART[]_afg!((-+ ..0-.BC$# z?3 3 * + ' (,< < ##%" z?3 3 * + ' (,< < "" $#S]#SS""M}"MM%2vcc:J6KOu6ucvNv%2Vcc:T6UcVNV+8\CC@Z<[C\\%2Vcc:T6UcVNV+8\CC@Z<[C\\S]*CL]K]K]K K  -  $T/%: #C $6 "#8#<#<=SUV#W !"7";";<]_`"a "3~#6 !#m"4 'N(; (-A)B 1#5{CW5{2{!" '#$ !#m"4%& d#78'( &s>':)* ',@(A+, ;C@[<\-.!/"6(C'A-  ) k@B# "wV\V\  sSL,9!L1 !L6+ L;9L; MM M#M- M 8M  M M0 M c n|d}d|dfd|dfd|dfd|dfd |d fd |d fd |dfg}djd|D}djd|dD}djd|dD}d|dt|dddjd|dDd|d|d S)NrrrDrz 0x4f mode1rz 0x4f aliasrz0x07 exact rootrz0x09 exact rootrzroute producerrr c3XK|]"\}}dt|dt|d$yw)z
z z
Nr)r"kvs rr$zrender_html..Ss/fX\XY[\/!vZ!v]Sfs(*c3 K|]{}dt|ddt|ddt|ddt|ddt|d d tt|jd xsgd d }yw)rk
rn r<z -> rmz
rlrg N)rr^r%rs rr$zrender_html..Ts   s7|_%[37G3H1I0JKZ!"$q-=)>'?&@ 1SQ[_K]J^_-3Q789: sBBrc3K|]p}dt|ddt|ddt|ddt|ddt|d d t|d d t|d dryw)rrkz
rlrr<z table rzrrrrrrNrrs rr$zrender_html..\s   s7|_%%6qZ7I6JKZ!"'!C0F,G*H)IJs-./0 AcBY>Z<[;\]/0123  sA6A8ru Selected Root Opcode Matrix

Selected Root Opcode Matrix

index · selected root writer · json

z
rz*

Strict Interpretation

    c3:K|]}dt|dyw)z
  • z
    • Nrr!s rr$zrender_html..ts NttAdG9E " Nsrz

0x4f Mode1 Selector Writers

a
addressselectorfield maps

0x07 Cross-Range Samples

These are range hits only. None select an exact selector-root start, so they are not route producer proof.

z
addresssource/tableselected valueexact root?
)r&r)reportrcards card_htmlr cross07_rowss r render_htmlrHsEYG 6(#$ '-./ w9:; w789 G$BCD G$ABC 7#:;< Ef`effIGG .) M7756L ;WZ()*+WW Nv6L/M NNOP[[hZijwxDwEE)  rct}tdz jtj|dddzdt dz jt |dtd y) Nz'selected_root_opcode_matrix_review.jsonF) ensure_asciiindent rArBz'selected_root_opcode_matrix_review.htmlzselected root opcode matrix ok)rrP write_textrNdumpsWEBrprint)rs rmainr}se ^F 44@@ 6a84?A 44@@VAT_f@g *+r__main__)rrreturnr)r int | Nonerr)r(dict[str, Any] | Nonerr)r2bytesr3list[dict[str, Any]]r4r:rr)r<rrztuple[int | None, int | None])rr)rVrr4rrr)r`)r\z list[str]r]r:rr)r(dict[str, Any]r4r:rr:rr)r2rr3rrVrr}zset[int]r(rr4r:rr:rr)rr)rrrr)rNone))__doc__ __future__rrrNr0 collectionsrpathlibrtypingrprobe_exe_scene_tablesrr__file__resolveparentsROOTrrPrrrrrrr*r,r6r?rWrYr^rvrrrrr__name__rrrrsm # > H~''* ] Ul UlH50(1&B: "#     <$ $"$#$ $  $ $ $$Nrj2 j, zFr