7,JjJndZddlmZddlZddlZddlZddlmZeejjdZ e dz Z dZ dZgd Zgd Zd gd d dgdd dgdd dgdd dddgd dgdd gZd#dZd$dZd%dZd&dZ d'dZd(dZd(dZd)d Zd*d!Zed"k(reyy)+zASummarize the remaining persistence gap from selector 1:0 to 2:0.) annotationsN)Pathoutz1:0z2:0)z"source-target-selector-merge-orderz global-vm-helper-reset-exclusionzstrict-source-hotspot)zasource-side selector 0:0 progressing into selector 2:0 after target-side 1:0 state is establishedzlproof that no global VM/helper reset clears secondaryBranchState between predecessor fill and current readerz,strict map1_01a source coordinate or hotspotzout/save_scene_selectors.json) selectors fieldMapsselectedPointerHex)pathfieldsz/out/save_selector_predecessor_state_effect.json)predecessorFillVas fillValueHexallStartsPassReaderz.out/save_selector_predecessor_route_order.json) routeOrderProven proofFoundpredecessorRouteOrderProofFound"failedPredecessorRouteOrderGateIdsmissingEvidence evidenceRefsevidenceRefCountselectorMergeGapOpensourceRoutePreviousSelectorpredecessorIsTargetSideOnlyz.out/save_selector_secondary_state_sources.json)validBeforeFrontierCount"validBeforeFrontierNonOperandCountsecondaryDirectWritesz,out/save_selector_current_state_sources.jsonvalidActivationCandidateCount8validBeforeFirstFrontierReaderWithExecutionEvidenceCountzout/map1_01a_hotspot_gap.json)strictHotspotFoundeventTransitionCount"manifestPointPromotableSourceCountcL|jdd|jdS)Ngroup:slot)getrows P/home/exedev/hwanse/tools/summarize_save_selector_predecessor_persistence_gap.py selector_keyr)Ls&ggg q 1 22ct|jdxsdt|jdxsdt|jdxsdfS)Nr"rr$ _inputIndex)intr%r&s r(selector_sort_keyr.PsM CGGG  !" CGGFO q! CGGM " 'a( r*cg}t|D].\}}|jds|ji|d|i0t|tS)Nrr,)key) enumerater%appendsortedr.)rrowsindexr's r(ordered_selectorsr6XsT D *7 s 77;  KK535 u5 67 $- ..r*cnt|D]\}}t||k(s||fcStd|d)Nz selector z not found)r1r) ValueError)r4r0r5r's r( find_selectorr9`sFo s   ##:  yZ0 11r*c t|}t|t\}} t|t\} } || k\r t d||dz| } |j dxsi} | |dzk(}|j ddk(xrV|j ddk(xr@| j ddk(xr*|j ddk(xr|j d dk(}|j d d u}|j d d u}|j d d u}|j dd u}|j dd u}|xr|xr |xr|xr|}d|rdndtd|dtd| dt | d dd|rdnddj|j dxsgd|j dd|j d ddd |rd!nd"d#|j dd$|j dd%| j dddd&|rd'nd(d)td*dj|j d+xsgxsd,d-|j d ddd.|rd/nd0d1|j d2d3dj|j d4xsgxsd,d5|d6|j d7d dd8|rd9nd:d;|j d d<|j d=d>|j d?ddg}d@}idAdBdCdDdEtdF| j dGdH|dItdJ| j dGdK| dL|dMt | dN| Dcgc]3}t||j dG|j dOxsgdP5c}dQ|j dRxsij dSdT|dU|dV|j ddW|j ddX|j d idY| j dd |d2|j d2dZ|j dZd4|j d4xsgd|d7|j d7d|d |d[|d\|d]|d^|rgntd_|rgntd`tdat tdbdct||ddScc}w)eNz8predecessor selector must appear before current selectorrrrrrdirectWriterCountrrrTrrrrzselector-index-adjacencyzsupports-persistence-candidatezhas-intermediate-selectorsz index z is immediately before z; intermediate selectors=.)kindstatusdetailzpredecessor-fill-effectzwould-pass-current-readerzdoes-not-pass-current-reader, r  r z -> all starts pass reader=zcurrent-root-overwritezno-known-local-overwritezpossible-local-overwritez&valid before-frontier secondary fills=z; valid activation fills=z&; direct secondaryBranchState writers=zconfirmed-route-orderprovenzdoes-not-prove-runtime-orderzconfirmed overlap with =predecessorConfirmedOverlapnonez; routeOrderProven=zselector-merge-shapezmerge-gap-openznot-merge-shapedzsource-side previous=rz; source confirmed overlap=#sourceRoutePreviousConfirmedOverlapz; predecessor target-side only=z$; same previous contains route pair=samePreviousContainsRoutePairzstrict-hotspotfoundmissingzstrictHotspotFound=z; event transitions=rz; manifest source point tables=r aSelector table order now supports a narrow persistence candidate: 1:0 is immediately before 2:0, there are no intermediate field-map selectors, the current 2:0 root has no known valid secondaryBranchState fill before 0x00542b0c, and the predecessor fill would satisfy the current reader. The blocker is now narrower but sharper: 1:0 is target-side only while the confirmed source-side route overlaps 0:0, so 2:0 looks like a selector-merge state. This still does not promote map1_01a->map2_02d because selector-index adjacency is not runtime execution proof, the source-side/target-side merge order is unproven, and no strict map1_01a source hotspot has been found.sourcemap1_01atargetmap2_02dpredecessorSelectorpredecessorRootHexr predecessorIndexcurrentSelectorcurrentRootHex currentIndexselectorAdjacentintermediateSelectorCountintermediateSelectorsr)selectorrootHexrbestPreviousSelector bestPreviousrW%predecessorFillWouldPassCurrentReader,currentRootHasNoKnownBeforeFrontierOverwrite,currentValidBeforeFrontierSecondaryFillCountcurrentValidActivationFillCount¤tValidExecutionEvidenceFillCount%directSecondaryBranchStateWriterCountsourceRoutePreviousRootHexpersistenceProvenr predecessorPersistenceProofFound#failedPredecessorPersistenceGateIdsrrrpromotionStatusblocked)remainingProofsevidence conclusion) r6r9PREDECESSOR_SELECTORCURRENT_SELECTORr8r%lenjoinr)'FAILED_PREDECESSOR_PERSISTENCE_GATE_IDS(PREDECESSOR_PERSISTENCE_MISSING_EVIDENCE%PREDECESSOR_PERSISTENCE_EVIDENCE_REFS)r inheritedpredecessor_effect route_ordersecondary_sourcescurrent_state_sources hotspot_gapr4predecessor_indexpredecessor_row current_index current_row intermediatesecondary_directadjacentcurrent_no_known_overwritepredecessor_fill_would_passroute_order_provenstrict_hotspot_foundselector_merge_gap_openpredecessor_is_target_side_onlypersistence_provenrhrir's r( build_summaryrgs Y 'D)6t=Q)R&!.t5E!FM;M)STT)A-m g  ! !"F G1 L g  !4 5 : g " % %&E F! K g " % %&` aef f #5"8"89N"OSW"W$);<D&??+?@DH)oo.DEM&1oo6S&TX\&\# ! & ! ' !  ! ! /:B6Hd'(0A/BBYZjYkl&'@\AR@SSTV  .5P1Vt99/334HIORPQQR%)).9::U%))*?@AD  -4N0Tn89J9N9NOi9j8kl**?*C*CDc*d)ef77G7K7KL_7`6aabd  ,"4h:X)*>)?q99[__-JKQrR\V\]^$$/OO4F$G#HK  +*A&GY' 8U(V'WX,,0IIkooFk6l6rpr,s,}w}+~00O/PQ55@__Ed5e4ffgi %!5g9%koo6J&K%LM%%0__5K%L$MN00;@d0e/ffgi  ]7Hr 91 *1 *1  31  o112FG 1  - 1  + 1  +//*>?1   1  H1  $S%61  $ "  )-77#78 WW[17R " 1 & ~!>!D" I I* U'1 ( 01L)1 * 78R+1 , 78I8M8MNh8i-1 . *+@+D+DEd+e/1 0 12G2K2K F3 11 6 01A1E1EFY1Z71 8 .91 : &{7T'U;1 < %koo6R&S=1 > .{?d/e/kik?1 @ &'FA1 B (9X)YC1 D  7E1 F 2G1 H /I1 J (K1 L +,>M1 N .$B*QQ1 T !329aU1 V =W1 X C EFY1 Z 9[1 \D a1 1" s<8Rc >gddd|dd|dd|dd |d d|d d|d d |dd|dd|jdddj|jdxsgxsdd|jdd|jdd|dd|dd|d d!|d"d#|d$d%|d&d'|d(d)|d*d+d,j|d-d.d/t|d0d1|d2d3|d4d|d5dd6d|d0Dcgc]}d7| c}dd8dd9d:|d;Dcgc]4}d<|d=d>dj|jd?xsgxsd@dA6c}ddBddCdD}|dED]&}|jdF|dGdH|dIdH|dJdA(|j gdK|j dL|dMD|jddNj|Scc}wcc}w)ONz+# Save Selector Predecessor Persistence Gapz- predecessor: `rNz` root `rOz` index rPz - current: `rQrRrSz- selector adjacent: rTz- intermediate selectors: rUz"- source-side previous selector: `rz ` overlap r@rFrEz - predecessor target-side only: rz- selector merge gap open: rz.- predecessor fill would pass current reader: r[z7- current root has no known before-frontier overwrite: r\z'- direct secondaryBranchState writers: r`z- route order proven: rz- strict hotspot found: rz- persistence proven: rbz- proof found: rz'- predecessor persistence proof found: rcz)- failed predecessor persistence gates: `,rd`z- missing evidence count: rz- evidence refs: rz- promotion status: reriz## Missing Evidence- z## Evidence Refsz| path | fields |z | --- | --- |rz| `r z` | r -z |z ## Evidencez| kind | status | detail |z| --- | --- | --- |rhz| r=z | r>r?)rz## Remaining Proofsrc3&K|] }d| yw)rN.0items r( zmarkdown../sD2dVDsrg )r%rmrlr2extend)summaryrr'liness r(markdownrsA* 5*  *  7#89:(7K_C`BaaijqsEkFjG H*  w012(7CS;T:UU]^eft^u]vw *  (: ;<= *  %W-H%I$JK *  -W[[9V-W,XXbcgclclmtmxmxz_n`nfdfdgdqkqcr s*  +7;;7T+U*VW*  &gkk2H&I%JK*  9Ah9i8jk*  B'JxByAz{*  2':a2b1cd*  !);!< =>*  #7+?#@"AB*  !)?*  ',/01!* " 2':\2]1^_#* $ 4CHHWEj=k4l3mmno%* & %S1B)C%D$EF'* ( G$6789)* * w'89:;+* , -* .  /* 0 1* 2 3* 4 5* 6#**;"< =$Btf+ =7* 8 9* : ;* < =* > ?* @ A* F~. #f+d499SWWX->-D"#E#L"MR P C* J K* L M* N O* P %Q* R S* EVz"O r#f+c#h-CM?"MNO LL01 LLD1B)CDD LL 99U + >  s 0 H9Hcdjd|dD}djd|dD}djd|dD}djd |d D}djd d d d|dd|dd|dd|dd|dd|dd d|dd|dd|ddtj|d d! d"|d#d$|d%d&tjd'j|d(d)t|dd*|d+d d,tjt |j d-d.tjd/j|j d0xsgxsd1d2|j d3d4|j d5d! d6|d7d8|d9d!d:tj|d;d!dd?d@|dAdB|dAdCd=|d>gS)DNrc 3K|]R}dtj|ddtj|ddtj|ddTyw)zr=z r>r? Nhtmlescaperr's r(rzhtml_page..5sg   {{3v;'(){{3x=)*+{{3x=)*+ sAArhrc3NK|]}dtj|dywz
  • z
    • Nrrs r(rzhtml_page..=s#\tDKK-.e4\#%rgc3NK|]}dtj|dywrrrs r(rzhtml_page..>s#]$T[[./u5]rrc 3K|]\}dtj|ddtjdj|jdxsgxsdd^yw)zr zr@r rrN)rrrmr%rs r(rzhtml_page..?sh   [[V-./{{499SWWX%6%<"=DEFG sA"A$rz]Save Selector Predecessor Persistence Gapzz2

    Save Selector Predecessor Persistence Gap

    z

    Predecessor rNz root rOz index rPz; current rQrRrSz.

    z

    selector adjacent: rTz; intermediate selectors: rUz; persistence proven: rbz; promotion status: rez

    z

    proof found: rz'; predecessor persistence proof found: rcz.; failed predecessor persistence gates: rrdz!; missing evidence count: z; evidence refs: rz(

    source-side previous selector: rz; overlap: r@rFrEz ; predecessor target-side only: rz; selector merge gap open: rz8

    current root has no known before-frontier overwrite: r\z'; direct secondaryBranchState writers: r`z

    riz

    Missing Evidence

    z
      z
    z

    Evidence Refs

    zBz
    pathfields
    zQz

    Remaining Proofs

    )rmrrrlstrr%)r evidence_rowsproofsrIrefss r( html_pager4sII :& MWW\IZA[\ \Fgg]'J[B\]]G 99 >*  D 99i n< (= >??RSZ[oSpRqqAHI[A\@]]mnuvGnHmII\]deu]v\wwEFMN\F]E^^c d );!< ==WX_`{X|W}~TU\]pUqTrrFGKGRGRSZ[lSmGnFoos tw|45644;<^4_3`a[['2W*X!YZ[\''*73D+E'F&GH%&89:%  A 34;;s7;;OlCm?n3o2pqCDHDODOPTPYPYZaZeZefKZLZRPRPSP]W]D^C__@G@K@KLi@jkkFGNGRGRSiGjFkko p B7KyCzB{|cdklSdTcUUY Z dkk',/0 16# wiu LTFRbc[# vhe3 r*c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz.save_selector_predecessor_persistence_gap.jsonF) ensure_asciiindentrutf-8encoding.save_selector_predecessor_persistence_gap.html)mkdir write_textjsondumpsr)rout_dirs r( write_outputsrcsf MM$M. ??KK 7q9D@L ??KKIV]L^ipKqr*c 0tj}|jdttdz |jdttdz |jdttdz |jdttd z |jd ttd z |jd ttd z |jdttdz |jdtt|j }t tj|jjdtj|jjdtj|jjdtj|jjdtj|jjdtj|jjdtj|j jd}t#||j$t'd|j$dz y)Nz --selectorszsave_scene_selectors.json)typedefaultz --inheritedz-save_selector_inherited_state_candidates.jsonz--predecessor-effectz+save_selector_predecessor_state_effect.jsonz --route-orderz*save_selector_predecessor_route_order.jsonz--secondary-sourcesz*save_selector_secondary_state_sources.jsonz--current-state-sourcesz(save_selector_current_state_sources.jsonz --hotspot-gapzmap1_01a_hotspot_gap.jsonz --out-dirrrz%wrote predecessor persistence gap -> r)argparseArgumentParser add_argumentrOUT parse_argsrrloadsr read_textrqrrrsrtrurvrrprint)parserargsrs r(mainrls  $ $ &F  D#@[:[\  D#@o:op .T3IvCvw dCBn>++W+=> 4>>++W+=> 4**44g4FG 4##--w-?@ 4))33W3EF 4--777IJ 4##--w-?@G'4<<( 1$,,Aq2q1r str*__main__)r'dictreturnr)r'rrztuple[int, int, int])r list[dict]rr)r4rr0rrztuple[int, dict])rrrqrrrrrsrrtrrurrvrrr)rrrr)rrrrrNone)rr)__doc__ __future__rrrrpathlibr__file__resolverROOTrrjrkrnrorpr)r.r6r9rrrrr__name__rr*r(rs_G"  H~''* Ul+' ,(0B BO A   A ? + F 0 O/)%d3/2VVVV V  V  VV Vr1h,^ru0 zFr*
    kindstatusdetail