UHj\MHdZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZdZd Zd Zd Zd Zdd ZddZd dZd dZd!dZd"dZd#dZd$dZd%dZd%dZd&dZd'd(dZd)dZ d)dZ!efd*dZ"d+dZ#e$dk(re#yy),zHSummarize provenance for the route-blocking selectionBuffer[0x20] value.) annotationsN)Path)Anyoutmap1_01amap2_02d 0x00540714 0x00501808 0x00478364ct|dS)Nc@|jdr t|dS|S)N0x) startswithintvalues R/home/exedev/hwanse/tools/summarize_save_selector_selection_buffer20_provenance.pyzsort_hex..se>N>Nt>TCrNZ_key)sorted)valuess rsort_hexrs &_ ``rct}g}|D]S}t|trtj|ddn|}||vr2|j ||j |U|S)NTF) sort_keys ensure_ascii)set isinstancedictjsondumpsaddappend)rseenresultrrs runiquer)se 5D FGQRWY]G^djj$UCdi $;    e  Mrcg}|xsijdxsgD],}|jd}|s||vs|j|.|S)N fieldRecordsmap)getr&)contextmapsrecordnames r field_mapsr2%sU D=b%%n5;zz%  D$ KK  KrcFt|xsijdxsgSNlabels)listr-)r.s rr5r5.s! B##H-3 44rcvt|v}t|v}|tk(ry|tk(ry|tk(ry|r|ry|ry|ryy)Nzcurrent-route-rootzsource-side-rootzpredecessor-target-side-rootzroute-pair-rootztarget-side-rootzunrelated-root)SOURCETARGET CURRENT_ROOTSOURCE_SIDE_ROOTPREDECESSOR_ROOT)root_hexr/ has_source has_targets r root_roler@2sN4J4J<###!##-j !! rc ~i}|jdxsgD]J}|jdxsi}|jdxsd}|j||ggddgd}t|dt|z|d<t|dt |z|d<|jd d k(r|d xxd z cc<n!|jd d k(r |dxxd z cc<t |ddks|dj |jd|jd |jd|jd|jd|jddM|jD]D}|d}t|v|d<t|v|d<t|vxrt|v|d<t|d||d<F|S)NinterestingOffsetRowsselectorRootContextselectedPointerHex unattributedr)rootHexr5 fieldMaps writerCount readerCount sampleRowsr5rG operationwriterrHrreaderrIrJvaHex opcodeHexvalueHex stateTablemeaning)rOrKrPrQrRrS hasSourceMap hasTargetMapcontainsRoutePairrFrole) r- setdefaultr)r5r2lenr&rr8r9r@)selection_writersrootsrowr.r=summaryr/s rbuild_root_summariesr^DsE $$%<=C''/06B;;34F"" #      #78#4vg#FG%gk&:Z=P&PQ  77; 8 + M "a ' " WW[ !X - M "a ' " w|$ % ) L ! ( () WW[1 WW[1GGJ/!ggl3779- * +<<<>>{#"(D."(D.'-~'H&D.#$#GI$6= > Lrcd|jD]}||jdxsgvs|cSyr4)rr-)r[labelr]s r root_by_labelrams7<<> W[[*0b 1N rc `|j|xst||xs||ggddddddgd S)NrFmissing) rFr5rGrHrIrTrUrVrWrJ)r-ra)r[r=r`s r root_or_emptyrdtsL 99X  -u"= '" B rc <|jdxsg}|Dcic]}|jd|}}g}|D]}|j|jdxsi}|j|jd|jd|jd|jd|jd|jd|jd |jd d td |Dd d}t|||dScc}w)N+currentFrontierRootWritersBeforeFirstReader writerVaHexrOrQrPrRrSstreamStartHexclassification nextQuestion)rgwriterValueHexrPrRrSrhrirjc3DK|]}|jds|yw)rgNr-.0r\s r z'local_writer_summary..s<SWW]%;.sC .3r)rdefault)!localWriterCountBeforeFirstReaderlocalWritersBeforeFirstReadernearestCurrentWriter)r-r&maxrY)rZcurrent_writer_paths writer_rowsr\ by_writer decoratedpathnearests rlocal_writer_summaryr~s#''(UV\Z\K8LM',MIMI  }}SWWW-.4"777+!ggj1-'',/wwy)"hh'78"hh'78 HH^4    < < 3G .1^)2 ' 'NsDct|}td|jD}td|jD}t|td}t|t d}t|t d}|jDcgc]H}|jds3|jds"|jdtt t hvr|J} }| jd t|jd dd } t|jd dd } |jdxsg} | r| dnd} t||}|jdxsi}d}idtdtddd|jdd|jdd|d|d|d|d|d| d| d| d | r| jd!| jd"| jd#| jd$| jd%| jd&| jd'xsijd(| jd)xsijd*d+ndd,|d-d.j|jd/xsg|jd|jd0|jd1|||jd2| r| jd!ndd.j|jd/xsgd.j|jd/xsgd3d4 d5d3gd6|d7Scc}w)8Nc3LK|]}|jdddkDsdyw)rHrrNrmrns rrpz build_summary..$Y#377=RS;TWX;XAY$$c3LK|]}|jdddkDsdyw)rIrrNrmrns rrpz build_summary..rrz2:0z0:0z1:0rTrUrFc|jdtk(rdn[|jdtk(rdnA|jdtk(rdn'|jdrdn|jdrdnd |jdxsd fS) NrFrrrVrT)r-r:r;r<rrs rrzbuild_summary..su#|3A#'77A#'77A,-A(A GGI  $" rrcR|jdd |jdxsdfS)NrHrrFrrmrrs rrzbuild_summary..'#''-33SWWY5G5M2Nr cR|jdd |jdxsdfS)NrIrrFrrmrrs rrzbuild_summary..rrcurrentFrontierRowsrrva|selectionBuffer[0x20] is a broad VM selection slot. The current 2:0 root contains both source and target scene records, but source-only 0:0 and predecessor target-only 1:0 roots show that root-level reader/writer counts are not enough to promote map1_01a -> map2_02d. Runtime branch-state values, control flow to the 0x00542b0c reader, and a strict source hotspot remain required.sourcetargetselectionBufferOffsetHex0x20writerCountFor0x20readerCountFor0x20writerRootCountreaderRootCount currentRootsourceSideRootpredecessorRootrouteRelatedRootstopWriterRootstopReaderRootsfrontierReaderrOrQrRrSbranchTargetHexbranchTargetKindselectorContextleafPointerHexrCrD) readerVaHexrQrR conditionrrrrFcurrentLocalWritersbrief,r5rHrIrgblocked) currentSelectorcurrentRootHexcurrentWriterCountcurrentReaderCountrrrvrsourceSideSelectorpredecessorSelectorpromotionStatusr)zUCapture or emulate the runtime branch-state values used by 0x005428bc and 0x00542b0c.zJProve the control path that reaches the 0x00542b0c reader in selector 2:0.z>Find a strict map1_01a source coordinate/hotspot for map2_02d.)remainingProofs conclusion)r^sumrrdr:r;r<r-sortrr~r8r9join)rZrxr[writer_root_countreader_root_count current_rootsource_side_rootpredecessor_rootr\route_related_rootstop_writer_rootstop_reader_roots frontier_rowsfrontier_reader local_writersr}rs r build_summaryrs !2 3EYYYYYY  e "cggn&=ASXdfvyIXJBJ     N r   N r &))*?@FBM*7mA&TO():xsd'd7 ||j gd?|jd@xsgD]c}|jd4t|d6|jdd6|jdd6|jd5d6t|dAd7 e|j gdB|jdCxsgD]}|jdD||jddEj |S)FNrrrrrvrz"# Selection Buffer 0x20 Provenancerz- source -> target: `rz -> rz`.z- writer candidates: r.z- reader candidates: rz- writer roots: rz- reader roots: rz- current root 2:0: `rFz ` writers=rH readers=rI routePair=rVz- source-side root 0:0: ` sourceOnly=rTrUz- predecessor root 1:0: ` targetOnly=z- nearest current writer: rgrz `rkz- frontier reader: rrQz- promotion status: rrz## Route Related Rootsz<| role | root | writers | readers | source | target | maps |z-| --- | --- | ---: | ---: | --- | --- | --- |rz| rWz | z |)rz'## Local Writers Before Frontier Readerrz2| writer | value | stream | kind | next question |z| --- | --- | --- | --- | --- |ruz | `z` | rhrirj)rz## Top Writer Rootsrz*| root | writers | readers | role | maps |z!| --- | ---: | ---: | --- | --- |rr)rz## Remaining Proofsrrz-  )r-r&rrextendr) r]current source_side predecessorr}rMlinesr\proofs rmarkdownrsm$G*+K+,K{{017R<<=STZXZG [[) * 0bF,  12$wx7H6IL  ,@ AB!D  ,@ AB!D 7;;'89:!< 7;;'89:!<  I 67z'++mB\A]]fgngrgrtAhBgCCNOVOZOZ[nOoNppq r #KOOI$>#?z+//ZgJhIiirs~tCtCDQtRsSS_`k`o`op~``gHSHWHWXfHgDg_hhi j #KOOI$>#?z+//ZgJhIiirs~tCtCDQtRsSS_`k`o`op~``gHSHWHWXfHgDg_hhi j $W[[%?%F3$Gr'++VfJgJnknIooqr fjj7>3?r&**ZBXB_\_A``bc w{{+<=>a@  L!'R   F7) E,{{./52  !Z_$5S9O8PPSTWT[T[\iTjSkknww~&'s377>+B*C3yQT~FVVX Z   LL 128b==>]^dbd  '(SWW5E-F,GtCGGTdLeLlilKmmpww'(/C0CGGN4K4Rs3SSU W   LL{{+,2  C!SWW]%;$ |jdd? |jdd@ |jdAd< dB |jd d> |jdd? |jddC |jdxr|jd d< dD |jd d> |jdd? |jddE |jdxr|jd d< dF |jdxsddG |jdHxsddI |jdJd<dK |jdLxsd"dMdNdOdPd"j|dQdRdSdPd"j|dQdTdUdPd"j| dQdVdW| dXdYdZd"gS)\Nc>tjt|S)N)htmlescapestrrs resczhtml_page..escJs{{3u:&&rrrrrrvrrzrWzrFz
rr5rz rHrIrTrUz ruzrgzrkrhzrirjrrrc36K|]}d|dyw)z
  • z
    • N)rorrs rrpzhtml_page..useuDU E2esrrzzzz zF z1 Selection Buffer 0x20 Provenancea zzz+

    Selection Buffer 0x20 Provenance

    z

    rz -> rz. Writers: rz . Readers: rz. writer roots: rz. reader roots: rz.

    z

    current root 2:0: z writers=rrrVz!

    source-side root 0:0: rz!

    predecessor root 1:0: rz#

    nearest current writer: z . frontier reader: rz. promotion status: rz

    rz

    z

    Route Related Roots

    z z z
    rolerootwritersreaderssourcetargetmaps
    z/

    Local Writers Before Frontier Reader

    zp z

    Top Writer Roots

    zh
    writervaluestreamkindnext question
    z

    Remaining Proofs

    z
      z
    zz)rrreturnr)r-r&rr) r]rrrr}rM route_rowsr\rytop_rows proof_itemsrs @r html_pagerIs'm$G*+K+,K{{017R<<=STZXZG [[) * 0bFJ{{./52   swwv'()SWWY/01S#''RZJ[Ja_aAbAifi=j]^dbd   SWW]3456SWW%56789SWW%56=#>?@sww/07C89:sww~.5#678     H{{+,2   SWWY/01S#''RZJ[Ja_aAbAifi=j r)argparseArgumentParser__doc__ add_argumentrOUT parse_argsrr#loadsrZ read_textrxrrprint)parserargsr]s rmainrs   $ $ 9F -D#HnBno 0tSKtEtu  $<    D 4))33W3EF 4,,666HIG'4<<(  % & 'w?P7Q6RSllOO P Rr__main__)r list[str]rr)r list[Any]rr)r. dict | Nonerr)r=rr/rrr)rZr"rdict[str, dict])r[rr`rrr)r[rr=rr`rrr")rZr"rxz list[dict]rr")r\r"rr)rN)r\r"rrrr)r]r"rr)r]r"rrrNone)rr)%r __future__rrrr#pathlibrtypingr__file__resolverROOTrr8r9r:r;r<rr)r2r5r@r^rardr~rrrrrrr__name__rrrr sN"  H~''* Ul   a 5$&R 8Up8 @FNb25t$ zFr
    rootwritersreadersrolemaps