UHj,ddZddlmZddlZddlZddlZddlmZeejjdZ e dz Z iddd d d d d ddddddddddddddddddd d!d d"gd#d$gd%d&d'gd(d)d*d+Z d3d,Z d4 d5d-Zd6d.Zd6d/Zd7d0Zd8d1Zed2k(reyy)9zCDocument the unresolved selector equation for map1_01a -> map2_02d.) annotationsN)Pathoutroutezmap1_01a -> map2_02d writerVaHex 0x005428bcwriterValueHex 0x00208212 readerVaHex 0x00542b0creaderValueHex 0x00209011selectionOffsetHex0x20writerHandlerVaHex 0x0040b55freaderHandlerVaHex 0x0040b4e6activeFlagVaHex 0x00457744primaryBranchStateVaHex 0x0059e370secondaryBranchStateVaHex 0x0059e360selectionBufferContextOffsetHex0xa8 writerTablesecondaryBranchState readerTablewriterAlgorithm)zIstream+1 is 0x82, so opcode 0x12 uses secondaryBranchState at 0x0059e360.zrIf byte(0x00457744) is set, the search starts from the existing selectionBuffer[0x20]; otherwise it starts from 0.zuThe handler first walks backward through 12 slots with wraparound until it finds a nonzero secondaryBranchState slot.zjIt then walks forward through 12 slots with wraparound until it finds a nonzero secondaryBranchState slot.z9The final slot index is written to selectionBuffer[0x20].readerAlgorithm)zOstream+1 is 0x90, so opcode 0x11 also reads secondaryBranchState at 0x0059e360.z&It reads slot = selectionBuffer[0x20].zJIf secondaryBranchState[slot] == 1, execution falls through to 0x00542b14.zBOtherwise execution jumps to the stream operand target 0x0053f46f.resolvedF)zHruntime contents of secondaryBranchState[0..11] at the 0x005428bc writerz!runtime value of byte(0x00457744)zAprior value of selectionBuffer[0x20] when byte(0x00457744) is setIcontrol-flow proof that 0x005428bc reaches the 0x00542b0c frontier reader5strict source tile coordinate or hotspot for map1_01ablockeda_The inherited selector is now reduced to a 12-slot secondaryBranchState equation, not a constant transition. The writer can only guarantee a nonzero selected slot; the frontier reader requires that selected slot's value to be exactly 1. Without the runtime secondaryBranchState contents and a strict map1_01a source hotspot, this edge remains blocked.)remainingUnknownspromotionStatus conclusioncp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks M/home/exedev/hwanse/tools/summarize_save_selector_branch_selector_equation.py load_jsonr5<s* ;;= ::dnngn6 77c||nttdz i}||nttdz i}tt}|j dxsg}|j ddk(xrS|j ddk(xr=|j dd uxr(|j d d uxr|j d d u}|rd |d <|j d|j d|j d||j dd|d<|j d|j d |j d d|d<gd|d<d|d<|Sd |d <|S)N+save_selector_predecessor_state_effect.json%save_selector_active_flag_effect.jsonsecondaryBranchStateAfterFillpredecessorSelectorz1:0currentSelectorz2:0allStartsPassReaderTallPredecessorStartsPassApriorSelectionBufferStillPrimaryBlockerUnderPredecessorHypothesisF'equationNarrowedByPredecessorHypothesispredecessorRootHex fillValueHex)r;rArBr:r=predecessorFillHypothesisactiveFlagResolvedStaticDefault)rDr>r?activeFlagEffect)zNprove predecessor 1:0 executes before current selector 2:0 in the normal routez ?4 G q  " "#= >$ F q  " "#f gkp p !$=A9:#;#?#?@U#V":">">?S"T488H->#;#?#?@U#V 0 +,0B/E/EFg/h(:(>(>?Y(ZQcQgQgSR' "#( #$ .   N>C9: Nr6c ddd|dd|dd|dd |d d d |d d|dd |dd d|dd d|dd|dd d|dd|dd d|dd|ddddg }|jd|dD|jgd|jd|d D|jd!r|jd"xsi}|jd#xsi}|jdd$dd%|jd&d'|jd(d d)|jd*d+|jd,d d-|jd.d/|jd0d1|jd2g|jgd3|jd4|d5D|jdd6j|S)7Nz(# Save Selector Branch Selector Equationz - route: rz - writer: `rz` `r z` via `r`z - reader: `r rrz- selection offset: `rz- writer table: `rrz- reader table: `r z- promotion status: r(z- conclusion: r)z## Writer Algorithmc3&K|] }d| ywz- N.0items r4 zmarkdown..D2dVDr!)rQz## Reader AlgorithmrQc3&K|] }d| ywrTrUrVs r4rYzmarkdown..rZr[r"r@rCrEz## Predecessor-Fill Narrowingz- predecessor: `r;z` root `rAz - fill: `rBz` -> `r:z- all starts pass reader: r=z - active flag default resolved: rDz/- prior selectionBuffer still primary blocker: r?)rQz## Remaining UnknownsrQc3&K|] }d| ywrTrUrVs r4rYzmarkdown..sF2dVFr[r' )extendrIappendjoin)rLlines predecessor active_flags r4markdownre~se2 GG$%& gm,-S9I1J0K7SZ[oSpRqqrs gm,-S9I1J0K7SZ[oSpRqqrs (< =>a@ GM233w?Z7[6\\]^ GM233w?Z7[6\\]^ w'89:; ./0   E LLD1B)CDD LL01 LLD1B)CDD{{<=kk"=>D" kk"45;   + {/DEFh{_sOtNuuv w 78{On?o>ppq r(9N)O(P Q.{?`/a.b c=kooOR?S>T U   LL23 LLF1D)EFF LL 99U r6cTd.d}djddddtj|ddd |d d |d d |ddd|dd |dd |dddtj|ddd||dd||dg |jdrd|d|jdijdd|jdijd d!|jdijd"d#|jdijd$d%|jdijd&d'|jd(ijd)d*|jd(ijd+ggngd,||d-S)/Nc>ddjd|DzdzS)Nz
    rQc3NK|]}dtj|dyw)z
  • z
    • N)htmlescaperVs r4rYz(html_page..ul..s#RD$t{{4'8&9 ?Rs#%z
)ra)itemss r4ulzhtml_page..uls"RERRRU\\\r6r^zZSave Selector Branch Selector Equationzz/

Save Selector Branch Selector Equation

z

Route: rz

z"

Writer: rz r z via rz

z"

Reader: r rrz

Conclusion: r)z

Writer Algorithm

r!z

Reader Algorithm

r"r@z#

Predecessor-Fill Narrowing

z predecessor rCr;z root rAzfill rBz -> r:zall starts pass reader: r=zactive flag default resolved: rErDz-prior selectionBuffer still primary blocker: r?z

Remaining Unknowns

r')rkz list[str]returnstr)rarirjrI)rLrls r4 html_pageros] 99f a9 %dkk''2B&C%DDI ,W]-C,DNSZ[kSlRmmAHI]A^@__j k ,W]-C,DNSZ[kSlRmmAHI]A^@__j k *4;;w|7L+M*NdS# 7$ %&# 7$ %&.{{DE6"7;;/JB#O#S#STi#j"kkqryr}r}Z\^s_scscdxsyrz{GKK(CRHLL^\]]abibmbmoJLNcOcScSTsctbuv.w{{;VXZ/[/_/_`u/v.wx4W[[ASUW5X5\5\]~55ABCGKKPbdfDgDkDkmpEqDrs  14 &56 7& '(7 r6c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz+save_selector_branch_selector_equation.jsonF) ensure_asciiindentr^r+r,+save_selector_branch_selector_equation.html)mkdir write_textr/dumpsro)rLout_dirs r4 write_outputsr{sf MM$M. <<HH 7q9D@I <<HHSZI[fmHnr6ctj}|jdtt|jdttdz |jdttdz |j }t t|jit|ji}t||jtd|jdz y) Nz --out-dir)typedefaultz--predecessor-state-effectr8z--active-flag-effectr9z"wrote branch selector equation -> rv) argparseArgumentParser add_argumentrrF parse_argsrOr5rJrKr{rzprint)parserargsrLs r4mainrs  $ $ &F  $< 44O|I|} .T3IpCpq    D$//4$))2.G'4<<( .t||>k/k.l mnr6__main__)r2rr3rGrmrG)NN)rJ dict | NonerKrrmrG)rLrGrmrn)rLrGrzrrmNone)rmr)__doc__ __future__rrrir/pathlibr__file__resolverqROOTrFrHr5rOreror{r__name__rUr6r4rsI"  H~''* Ul*  #* <* l* < *  l *  & * ,* ,* |* |*  * &v* )* )* * ,-* 89* :! }M* Z8-1&*9)9#9 9x#L Fo o zFr6