UHjp=NdZddlmZddlZddlZddlZddlmZeejjdZ e dz Z dZ dZd Zdd Zdd Zdd Zdd ZddZddZddZddZ d dZ d!dZd"dZd"dZe fd#dZd$dZedk(reyy)%zNSeparate confirmed map1_01a entry context from selector-only frontier context.) annotationsN)Pathoutmap1_01amap1_02bmap2_02dc|jd}t|tr|S|jd}t|trd|dSy)N recordVaHexrecordVa0x08xnone)get isinstancestrint)rowvalues =/home/exedev/hwanse/tools/summarize_map1_01a_entry_context.py record_hexrsI GGM "E% GGJ E%E#; c|jdxsgD]-}tfd|jdxsgDs+|cSy)Nclustersc3FK|]}|jdk(ywr Nr).0record record_va_hexs r z%cluster_for_record..smfvzz-(M9m!manifestRecordsrany) field_rootsr clusters ` rcluster_for_recordr(sH??:.4" m TeHfHljlm mN rc|jdxsgD]-}tfd|jdxsgDs+|cSy)Nrc3FK|]}|jdk(ywrr)rrevent_record_va_hexs rr!z$cluster_for_event..%s pFvzz-(,??pr" eventRecordsr$)r&r+r's ` rcluster_for_eventr-#sH??:.4" pgkkZhNiNomop pN rcg}|jtxsijdxsgD];}tfd|jdxsgDs+|j|=|S)Nrecordsc3FK|]}|jdk(ywrr)rscener s rr!z$records_for_scene..-s^Uuyy'=8^r"scenes)rMAPr%append)save_selector_scene_linksr rowsrs ` rrecords_for_scener7*sg D)--c28b==iHNB ^cgghFWF][]^ ^ KK  Krct}g}|D]C}|jdxsgD])}||vr|j||j|+E|S)Ntargetssetraddr4)r6seenr9rtargets rselector_targetsr?2sc 5DG#ggi(.B #F~ HHV  NN6 "  ## Nrcg}t}|D]N}|jdd|jd}||vr-|j||j|P|S)Nselector:leafPointerHexr:)r6labelsr=rlabels rselector_labelsrF>sj F 5D77:&'q1A)B(CD D=   e  MrcDg}|D]}|jdtk7st|jdxsgvr8|j|jdtt ||jd|jdxsg|jdxsg|jdxsgDcgc]T}t|jdxsgvr7|jd|jd|jdxsgd Vc}d |Scc}w) Nmapr9 sceneIdHex activePointsconditionChoicesconditionVaHex payloadVaHex linkedStrings)rLrMrN)sourcer>r rIrJr9conditionPayloads)rCONFIRMED_PREVIOUSr3r4r)event_transitionsr6eventchoices rconfirmed_incomingrUJs D"  99U 1 1S9AUA[Y[5\  ii&%e,))L1!IIn5;yy+1r$ii(:;Ar " 6::i06B7 '-jj1A&B$*JJ~$>%+ZZ%@%FB"   ( K"s6ADcvt|}||k(ry||k(st|vry|r|jddk(ry|ryy)Nzconfirmed-entry-contextzselector-only-frontier-contextclassificationstrict event-linked clusterzstrict-event-linked-contextzselector-linked-contextzmanifest-only-context)r?FRONTIER_TARGETr)r r' selector_rowsconfirmed_entry_record_hexfrontier_record_hexr9s rrole_for_recordr]csL}-G22(++'/I/7;;/04QQ,( "rcrg}|D]}|jdtk7rt|}t||}t ||} |j ||jd|jdxsg|jdxsgD cgc]} | jdc} |jdxsgD cgc]} | jdc} |xsijd|xsijd|xsijd d |xsijd d |xsijd xsg|xsijdxsg|xsijdd t | t| t||| ||d|jd|Scc} wcc} w)NrHrItilesets resourcesnamefollowingResourcesclusterStartHex clusterEndHexrWz not-in-interesting-root-clusterseventRecordCountr eventSourceseventFieldLinkssaveSelectorRefCount)r rIr_ resourceNamesfollowingResourceNamesrcrdclusterClassificationrerfrgrhselectorTargetsselectorLabelsrolec |dS)Nr )rs rz'build_record_contexts..s #m"4r)key) rr3rr(r7r4r?rFr]sort) scene_manifestr&r5r[r\contextsmanifest_recordr r'rZresources rbuild_record_contextsrxpsH)    u % , "?3 $[-@)*C]S ()--l;'++J7=2CRCVCVWbCcCigijxhll62jL[L_L_`tLuL{y{&|x||F';&| ' 2223DE%m00A&-m%8%89IKm%n!(B 3 34F J$]//?E2 ' 2223DEK%,]$7$78NPQ$R/ >-m<#M7MKegz{   . MM4M5 Ok&|s F/=F4ct|}|Dchc]}|d }}d}d}|D]_} t|| } | s| jdxsgD]/} | jdtk(s| jd}| }n|dk7s_n|jtxsijdxsgDcgc]}t|jdxsgvr|!} }d} | rH| djdxsgD]-}|jdtk(s|jd} nt ||||| }| dk7r t || nd}|dk7xr&| dk7xr|| k(xr|xsijd d k(}d }ttt|||xsijd | |xsijd | Dcgc]j}|jd |jd|jdxsg|jdxsgDcgc]}|jdc}dlc}}|d|gd|dScc}wcc}wcc}wcc}}w)Nr rr#rHr/r9rr2rWrXaXConfirmed play reaches map1_01a through the strict map1_02b event cluster at 0x005032d8/0x00503350, while the map2_02d successor hint lives in the separate 0x00542b44 selector-only cluster. Those are different scene clusters, so the save-selector adjacency is not proven to be the current map1_01a runtime context or a normal transition target.rcrArC)rArCr9 sceneRecordsblocked)z]prove selector 2:0 / 0x00542b44 is reached from the confirmed map1_02b -> map1_01a entry pathzRor find a strict map1_01a source coordinate/hotspot in the confirmed entry contextz8or keep map1_01a -> map2_02d as selector-only trial data)rHfrontierTargetconfirmedPreviousconfirmedIncomingTransitionsconfirmedEntryRecordHexconfirmedEntryClusterHexfrontierRecordHexfrontierClusterHexfrontierSelectors frontierProvenFromConfirmedEntrypromotionStatusrecordContextsremainingProofs conclusion)rUr-rr3rYrxr(rQ)rtrRr&r5incomingrincoming_event_hexesr[confirmed_entry_cluster event_hexr'r frontier_rowsr\r1record_contextsfrontier_clusterfrontier_provenrs r build_summaryrs ""34H:BC3C .CC!'")  #K; kk"34: Fzz% C'-3ZZ -F**1'   & /  .11#6<"AA)LRPR  swwy17R 8 M !"1%))(39r Eyy3&&+ii &>#  ,!" OPcflOl)+7JKrv"f, \ 6 ) \ &*= = \ # ( ()9 :>[ [  B)/(0#=%<%B$G$GHY$Z0/52::;LM%   GGJ/"%''*:";779-3GJwwxGXG^\^ _e=!9 _   -<$) !5 _D\!`  s$ H24$H76AIH<"I<Ic,ddd|ddd|ddd|d dd |d dd |d d|ddd|ddddddg}|dD]}|dddj|dxsdddj|dxsd}|jd|dd|dd |d!d"|jd#xsdd|d d$j|d%xsdd d$j|d&xsdd d$j|d'xsdd d$j|d(xsdd)|jgd*|d+D]}d$jd,|jd-xsgD}d$jd.|jd/xsgD}|jd0|d1d2|dd3|d4d5|xsdd6|xsd |jgd7|jd8|d9D|jdd:j|S);Nz# map1_01a Entry Contextz- confirmed previous: `r}`z- frontier target: `r|z- confirmed entry record: `rz- frontier record: `rz(- frontier proven from confirmed entry: rz- promotion status: `rrz## Record Contextsz[| record | role | cluster | events | selector targets | selectors | resources | following |z1| --- | --- | --- | --- | --- | --- | --- | --- |rre src=,rf- links=rgz| `r z` | rnz | rkz `rc, rlrmrirjz |)rz## Confirmed Incomingrr~c3fK|])}|jdd|jd+yw)xryNr)rpoints rr!zmarkdown..s-kEeiin-Quyy~.>?ks/1rJc3FK|]}|jdxsdyw)rMrNr)rpayloads rr!zmarkdown..s!rGW[[8?C?rs!rPz- `rO@z` -> `r>z ` active=z payloads=)rz## Remaining Proofsrc3&K|] }d| yw)z- Nrpritems rr!zmarkdown..sD2dVDsr )joinr4rextend)summarylinesreventspointspayloadss rmarkdownrs" !'*=">!?qA w'789; %g.G&H%IK w':; 27;]3^2_` (9 :;1=    e; E"'( *+,E#((3~;N2O2VSV1WW^_b_g_ghkl}h~_`GDG_HI #m$%T#f+c#>U:V9WWYZ]ZaZabsZtZ{x{Y|}Ahc$))C(9$:;BsC3tyyQTUeQfGgGnknFooryy_-.5#6c$))CH`Da:b:ifi9jjl n   LL2356IkSWWUcMdMjhjkk99rswwWjOkOqoqrr s3x=/3}+=*>fS]OS\]c]jgj\kkuv~wFCFvGH II LL01 LLD1B)CDD LL 99U rc"g}|dD]}|dddj|dxsdddj|dxsd}|jd tj|d d tj|d d tj|ddtj|j dxsdd tj|d tjdj|dxsdd tjdj|dxsdd tjdj|dxsdd tjdj|dxsdddjd|dD}djd|dD}djgdddd d!d"d#d$d%d&d'd(d)d*d+d,d-d.d/d0d1tj|d2d3tj|d4d5|d6d7tj|d8d9 d:tj|d;d<d=d>|d?d@dA|dBdCdA|dBdDdEdS)FNrrerrrfrrrgzr zrnz rkz rcrrlrmrirjz rc 3K|]R}dtj|ddtj|ddtj|ddTyw)z
  • rOrr z -> r>z
    • Nhtmlescape)rrs rr!zhtml_page..se   S]+,Adkk#m:L.M-NOS]+,- sAAr~c3NK|]}dtj|dyw)z
  • z
    • Nrrs rr!zhtml_page.."s#\tDKK-.e4\s#%rrzzzz zF z' map1_01a Entry Contextz zzz!

    map1_01a Entry Context

    z

    confirmed entry rz; frontier record rz/; frontier proven from confirmed entry: rz; promotion status rz

    z

    rz

    z

    Record Contexts

    z z
    recordroleclustereventsselector targetsselectorsresourcesfollowing
    z

    Confirmed Incoming

    z
      z
    z

    Remaining Proofs

    zz)rr4rrr)rr6rrrproofss r html_pager s D'(  *+,E#((3~;N2O2VSV1WW^_b_g_ghkl}h~_`GDG_HI  S%789:;;s6{+,-;;s#:;<=WT[[QTQXQXYjQkQrorEsDtu;;v&'(;;tyy->)?@GCHIJ;;tyy-=)>?F3GHI;;tyy_)=>E#FGH;;tyy-E)FGN3OPQ    ww 9: HWW\IZA[\ \F 99%%% % # % Q % 2 % % r% 1% 7% :% G% f% t% Q% '!%" #%$ %%& '%( ,)%* &dkk':S2T&U%VW!!%W5H-I!J KL1189[1\0]^""&++g6G.H"I!J+ W+%2  GL123483%4 %5%6 }7%8 9%: ;%< (=%>  % ?%@ &A%B C%D E%F G%H I%% %rc|jdd|dz jtj|dddzd y) NT)parentsexist_okmap1_01a_entry_context.jsonF) ensure_asciiindentrutf-8encoding)mkdir write_textjsondumps)rout_dirs r write_outputsrKsC MM$M. ,,88 7q9D@9rc ntjt}|jdtt dz |jdtt dz |jdtt dz |jd tt d z |jd tt |j }ttj|jjd tj|jjd tj|jjd tj|jjd }t||j t#d|j dz y)N) descriptionz--scene-manifestzscene_manifest.json)typedefaultz--event-transitionszevent_transitions.jsonz --field-rootszfield_map_record_roots.jsonz--save-selector-scene-linkszsave_selector_scene_links.jsonz --out-dirrrz wrote map1_01a entry context -> r)argparseArgumentParser__doc__ add_argumentrOUT parse_argsrrloadsrt read_textrRr&r5rrprint)parserargsrs rmainrSsY  $ $ 9F *sEZ?Z[ -D#H`B`a dCB_<_` 5D#PpJpq  $<    D 4&&00'0BC 4))33W3EF 4##--w-?@ 411;;W;MN G '4<<( ,T\\rsT"  H~''* Ul  2 #    $ !$     FQQ!QQ $ Q  Qh!H=@25]$ zFr