7,JjnA&dZddlmZddlZddlZddlZddlmZeejjdZ e dz Z dZ dZgd Zd gd d d gdd dddgd dgdd gZddZddZddZd dZd!dZd!dZd"dZd#dZedk(reyy)$zOCheck whether the inherited-state predecessor is proven on the confirmed route.) annotationsN)Pathoutmap1_01amap2_02d)z#source-current-selector-merge-orderz$predecessor-branch-state-persistencezstrict-source-hotspotzout/save_scene_selectors.json)selectorselectedPointerHex fieldMaps)pathfieldsz1out/save_selector_inherited_state_candidates.json) bestPreviouscurrentSelector sharedMapsintroducedMapszout/playable_progress.jsonreachableFromStartconfirmedEdgesz.out/save_selector_predecessor_route_order.json) orderEvidenceremainingProofsrouteOrderProvencL|jdd|jdS)Ngroup:slotget)rows L/home/exedev/hwanse/tools/summarize_save_selector_predecessor_route_order.py selector_keyr(s&ggg q 1 22cR|D]}t||k(s|cStd|d)Nz selector z not found)r ValueError) selectorskeyrs r find_selectorr%,s9   #J yZ0 11r c |jdxsg}t|}t||jd|t|vt|vt ||zdS)Nr r )r rootHexr containsSourcecontainsTargetconfirmedOverlap)rsetr SOURCE_MAP TARGET_MAPsorted)rconfirmed_route_maps field_maps field_sets rselector_recordr23s^%+JJI %77/0$ 1$ 1"#7)#CD  r c |jdxsi}|jdxsd|jdxsd}t|}t||}|jdxsg}|jdxsg}t|} t|jdxsgt|jdxsg} t| | z} t| z} |D cgc]Z} | jdrG| jd | jd f|jd |jd fkr| \}} |D cgc]2} tt| jdxsgvr t | | 4}} |D cgc]V} t t| jdxsgvr0tt| jdxsgvr t | | X}} |D cgc]E} tt hjt| jdxsgr t | | G}} |jd |jfd  |r|dnd}t vxrtv}t| vxr't | vxrt|xrt|xr| }ddd|dddddt|jdxsgd|d|ddj|jdxsgxsdd dd|rdnd td!|xsijdd"d#dj|xsijd$xsgxsd"ddd%|rd&nd'd(t d)t vdtd)tvd*|sd+nd,d- dd.|rd/nd0|d1tdt d2t|ddd3d4d5dj|d6d7dj| xsdddd8d4d9|rdjd:|Dnd;zd<d=|dzdg}t| xrtfd>|D}d?|xsijdd@dA|dBdCdDdEg}|rgnt}dFt dGtdH|xsijddIdJ|dKtdLt dM}idNtdOt d|dP|jdQdRdS|jdQdT|jdxsgdU|jdxsgdV|d|dW| dX| dY|dZ|d[|d\|xsijdd]|xsijd^id_|xsijd$xsgd`|dat|db|dcdddedk(df|dg|dh|di|dj|r|ngdk|r|ngdltdmttdndodp|dq|Scc} wcc} wcc} wcc} w)rNrr z1:0rz2:0rrr rrc*t|d |dfS)Nr*r )len)items rzbuild_summary..bs T:L5M1N0NPTU_P`/ar )r$c|dk7|dfS)Nr )r6predecessor_keys rr7zbuild_summary..csZ0@O0SUYZdUe/fr rzselector-indexzsupports-orderz& has a lower selector group/slot than .)kindstatusdetailzselector-progresszsupports-candidatez shares rz maps with z and z introduces , rzno mapszsource-side-selectorzconfirmed-route-overlapmissingz! is carried by previous selector nonez; confirmed overlap=r*ztarget-side-predecessorztarget-state-onlyzalso-source-sidez contains =z; it is therefore znot z1separate from the confirmed source-side selector.zselector-merge-shapezmerge-gap-openznot-merge-shapedz contains both z0; previous selectors containing both route maps=zconfirmed-routezdoes-not-prove-orderzconfirmed route reaches z; it overlaps z in zconfirmed-edgezconfirmed edges are c3fK|])}|jdd|jd+yw)sourcez->targetNr).0edges r z build_summary..s0hPT(!3 4Btxx7I6JKhs/1emptyz; none executes z before c3nK|],}|jdvxs|jdv.yw)rErFNr)rGrHpredecessor_mapss rrIz build_summary..s>E]a..X$((82DHX2XXEs25zprove the source-side selector unknownz can progress into z after z state is establishedzKprove secondaryBranchState persists from predecessor fill to current readerz1find strict map1_01a source coordinate or hotspotz remains the strongest inherited secondaryBranchState producer candidate, but it is target-side only for this route: it contains z and does not contain z+. The confirmed source-side route overlaps zno previous selectorz, while z# looks like a merge of source-side z and target-side z lists. The fill effect must stay blocked until save progression, a strict hotspot, or a VM/runtime trace proves that this merge path executes the predecessor state before the current reader.rErFcurrentRootHexr predecessorSelectorpredecessorRootHexpredecessorMaps currentMapsconfirmedReachableFromStartpredecessorConfirmedOverlapcurrentConfirmedOverlapsourceSidePreviousSelectorstargetSidePreviousSelectorsroutePairPreviousSelectorssourceRoutePreviousSelectorsourceRoutePreviousRootHexr'#sourceRoutePreviousConfirmedOverlappredecessorIsTargetSideOnlysamePreviousContainsRoutePairselectorMergeGapOpen%selectorIndexOrderSupportsPredecessorT#selectorProgressSupportsPredecessorr proofFoundpredecessorRouteOrderProofFound"failedPredecessorRouteOrderGateIdsmissingEvidencer evidenceRefsevidenceRefCountpromotionStatusblockedr conclusion)rr%r+r.r,r2r-issubsetsortboolr5joinany'PREDECESSOR_ROUTE_ORDER_FAILED_GATE_IDS%PREDECESSOR_ROUTE_ORDER_EVIDENCE_REFS)r# inheritedplayable predecessor current_keypredecessor_row current_rowconfirmed_reachableconfirmed_edgesr/ current_mapscurrent_only_confirmedpredecessor_confirmed_overlapr previous_rowssource_side_previoustarget_side_previousroute_pair_previoussource_route_previouspredecessor_is_target_side_onlyselector_merge_gap_openorder_evidenceroute_order_provenmissing_evidencefailed_gate_idsrir:rLs @@r build_summaryr@s,--/52K!ooj1:UO-- 12;eK#I?O ;7K",,';<Bll#34:O23?..{;ArB{{39r:L#$8<$GH$*+?BR+R$S!  77;  WWW swwv /;??73K[__]cMd2e e M!  SWW[17R8 8 12!  SWW[17R8 8ZsSVSZSZ[fSgSmkmOn=n 12!   # , ,S1E1K-L M 12 "ab"fg7K03QU&04D&D&k[kIk#l" $ , & $ % & $ % & $$ # %&())OP[}\]^ (*"#8C  0M0SQS,T+UU`al`mn"m< +//JZ:[:a_a0b0ofo/ppqs  +3H/i,?)/R44ZHIJ%%)YY0E0K/P/PQc/d/jhj%k%uou$vvwy  .-L)Rd"#:j\:IY;Y:ZZ_,a .> >??Q!@6bIIz|  +*A&GY-zl% |LAADEXAY@ZZ[]  &,*4995H+I*J.YhXiim99:;HyIL  %,&'IIhXghh  %_$5Xk]!L M a=N|;<EetEB ./D/J.O.OPZ\e.f-gh!!, W_4EEZ \ V; /b4[O  88B|CYZdYef&'<'B&G&G Tj&k%llt -::,FWXbWcdO O# *# *#  ;#  +//*>? #   #  o112FG #  ?..{;Ar#  {{39r#  &':#  /#  &'D#  "#9#  &';#  &';#  %&9#  &(=(C'H'H'T!# " %'<'B&G&G &R## $ .0E0K/P/PQc/d/jhj%# & &'F'# ( (.A)B)# *  7+# , 0-# . .%/G/# 0 .1# 2 (3# 4 *+=5# 6 -o7# 8 +B9# : +B;# < ==# > C EF?# @ 9A# B C# D jE# #e   s+AV<7W AW.A W cddd|dd|ddd|d d|d dd d j|d d|jddd j|jdxsgxsdd|jdd|jddd j|dxsdd|dd|jdd|jddd j|jd!xsgxsd"dd#t|jd$xsgd%|jd&d'|d(d|d)dd*dd+d,g}|d-D]&}|jd.|d/d0|d1d0|d2d3(|j gd4|j d5|d$D|j gd6|jd7xsgD]O}|jd8|jd9d:d j|jd;xsgxsd"d3Q|j gd<|j d=|d>D|jdd?j|S)@Nz'# Save Selector Predecessor Route OrderrCz- predecessor: `rOz` root `rP`z - current: `rrNz- confirmed route: r?rSz"- source-side previous selector: `rYz ` overlap r[rAz - predecessor target-side only: r\z- selector merge gap open: r^z!- predecessor confirmed overlap: rTz- route order proven: rz- proof found: raz'- predecessor route order proof found: rbz)- failed predecessor route-order gates: `,rc-z- missing evidence count: rdz- evidence refs: rfz- promotion status: rgriz ## Evidencez| kind | status | detail |z| --- | --- | --- |rz| r<z | r=r>z |)rCz## Missing EvidencerCc3&K|] }d| ywz- Nr9rGr6s rrIzmarkdown..D2dVD)rCz## Evidence RefsrCz| path | fields |z | --- | --- |rez| `r z` | r )rCz## Remaining ProofsrCc3&K|] }d| ywrr9rs rrIzmarkdown..rrr )rmrr5appendextend)summarylinesrs rmarkdownrs1 7#89:(7K_C`Baabc w012(7CS;T:UUVW dii0M(NOPQ ,W[[9V-W,XXbcgclclmtmxmxz_n`nfdfdgdqkqcr s *7;;7T+U*VW %gkk2H&I%JK +DIIg>[6\,],gag+hi );!< => '++l345 1'++>_2`1ab 3CHHW[[Im=n=trt4u4|y|3}}~ $S5F)G)M2%N$OP GKK(:;<= w'89:;    $/ E2'O r#f+c#h-CM?"MNO LL01 LLD1B)CDD LLST{{>*0b_ s3776?+4 #''(:K:Qr0R0YVY/ZZ\]^_ LL01 LLD1B)CDD LL 99U r cdjd|dD}djd|dD}djd|jdxsgD}djd |jd xsgD}djd d d d|dd|dd|dd|dd dtjdj|dddtjt |jddtjdj|jdxsgxsdd|jd d!|jd"d d#tjdj|d$xsddd%|d&d'|jd(d)tjdj|jd*xsgxsd+d,t |jdxsgd-|jd.d/tj|d0d d1tj|d2dd3|d4d5d6|d7d8d9|d4d:d6|d7gS);Nrc 3K|]R}dtj|ddtj|ddtj|ddTyw)zr<z r=r> NhtmlescaperGrs rrIzhtml_page.. sg   {{3v;'(){{3x=)*+{{3x=)*+ sAArrCc3NK|]}dtj|dywz
  • z
    • Nrrs rrIzhtml_page..s#\tDKK-.e4\#%rc3NK|]}dtj|dywrrrs rrIzhtml_page..s#g$T[[./u5grrdc 3K|]q}dtjt|jddtjdj |jdxsgxsddsyw)zr zr?r rrN)rrstrrrmrs rrIzhtml_page..sq   [[SWWV_!5678{{499SWWX%6%<"=DEFG sA7A9rezYSave Selector Predecessor Route Orderzz.

    Save Selector Predecessor Route Order

    z

    Predecessor rOz root rPz; current rrNz .

    z

    Confirmed route: r?rSz

    z(

    source-side previous selector: rYz; overlap: r[rAz ; predecessor target-side only: r\z; selector merge gap open: r^z"

    predecessor confirmed overlap: rTz

    route order proven: rz; proof found: raz; failed route-order gates: rcrz; missing evidence count: z; evidence refs: rfz; promotion status: rgz

    rizQz
    kindstatusdetail
    z

    Missing Evidence

    z
      z
    z

    Evidence Refs

    zBz

    Remaining Proofs

    )rmrrrrr5)r evidence_rowsproofsr@ evidence_refss r html_pager sII ?+ MWW\IZA[\ \Fggg'++N_B`BfdfggGII ;;~.4" M 99e n8 (= >??RSZ[oSpRqrIJQRcJdIeexy@AQyRxSS_ ` t{{499W=Z5[+\]^^bc 24;;s7;;OlCm?n3o2pqCDHDODOPTPYPYZaZeZefKZLZRPRPSP]W]D^C__@G@K@KLi@jkkFGNGRGRSiGjFkko p ,T[[7KhCi9j9tnt-u,vvz{%g.@&A%BC#KK 567))-TYYw{{Ko?p?vtv5w5~{~))AA''*7;;7H+I+OR'P&QR%kk*<=>?!!%W5F-G!H I  O dkk',/0 16[# wiu L# vhe7 r c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz*save_selector_predecessor_route_order.jsonF) ensure_asciiindentrutf-8encoding*save_selector_predecessor_route_order.html)mkdir write_textjsondumpsr)rout_dirs r write_outputsr=sf MM$M. ;;GG 7q9D@H ;;GG RYHZelGmr c tj}|jdttdz |jdttdz |jdttdz |jdtt|j }t tj|jjd tj|jjd tj|jjd }t||jtd |jd z y) Nz --selectorszsave_scene_selectors.json)typedefaultz --inheritedz-save_selector_inherited_state_candidates.jsonz --playablezplayable_progress.jsonz --out-dirrrz!wrote predecessor route order -> r)argparseArgumentParser add_argumentrOUT parse_argsrrloadsr# read_textrqrrrrprint)parserargsrs rmainrFs  $ $ &F  D#@[:[\  D#@o:op  4?W9WX  $<    D 4>>++W+=> 4>>++W+=> 4==**G*<=G '4<<( -dll=i.i-j klr __main__)rdictreturnr)r# list[dict]r$rrr)rrr/zset[str]rr)r#rrqrrrrrr)rrrr)rrrrrNone)rr)__doc__ __future__rrrrpathlibr__file__resolverROOTrr,r-rorprr%r2rrrrr__name__r9r rrsU"  H~''* Ul   +'0A DU -')9: AJ)%(32 bJ$N.bn m  zFr
    pathfields