UHjg@6dZddlmZddlZddlZddlZddlmZeejjdZ e dz Z dZ dZdd Zdd Zdd Zdd Zdd ZddZddZddZd dZd!dZ d"dZd#dZd#dZd$dZd%dZedk(reyy)&zISummarize map1_01a scene records and their source/target cluster context.) annotationsN)Pathoutmap1_01amap2_02dcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks L/home/exedev/hwanse/tools/summarize_map1_01a_scene_record_cluster_context.py load_jsonrs* ;;= ::dnngn6 77cR|sy|jdd|jdS)NclusterStartHexz.. clusterEndHexgetclusters r cluster_rangers. kk+, -R O0L/M NNrc>t|jdxsgS)N manifestMaps)listrrs r cluster_mapsr!s  N+1r 22rc|t|vS)N)r!)rmap_names r contains_mapr$!s |G, ,,rc,|jdddkDS)NeventRecordCountrrrs r is_strictr'%s ;;)1 - 11rcZ|jdddk(xr|jdddkDS)Nr&rsaveSelectorRefCountrrs ris_selector_onlyr*)s1 ;;)1 - 2 aw{{CY[\7]`a7aarc|jdxsgD]6}|jdxsgD]}|jd|k(s|ccS8y)NclustersmanifestRecords recordVaHexr)field_map_roots record_va_hexrrecords rcluster_for_recordr2-sZ"&&z28bkk"34: Fzz-(M9  rc |syt||jdt||jdxsg|jdxsg|jdd|jdd|jddt|tt|t t|jdxsgvt|jdxsgvt |jdxsgvt |t|dS) Nclassification eventSourceseventFieldLinksr&rr)currentFrontierPairCount)clusterRangeHexr4rr5r6r&r)r7containsSourcecontainsTargetsourceOutgoingStrictsourceIncomingStricttargetLinkedStrict selectorOnlystrict)rrr!r$SOURCETARGETr*r'rs rcompact_clusterrB5s (1!++&67$W- N39r";;'89?R#KK(:A> ' ,BA F$+KK0JA$N&w7&w7 &7;;~+F+L" M &7;;7H+I+OR P$5F)G)M2N(1G$ rc|syt|rTt|jdxsgvrt|jdxsgvryt|jdxsgvryy|jddry t|ry y ) Nzunlinked manifest scene recordr6r5zincoming strict entry contextzoutgoing strict source contextzstrict event-linked contextr7rz)current frontier selector-only scene listzselector-only scene listzmanifest-only context)r'r@rr*)r1rs rrole_for_recordrDKs} / gkk"34: ;w{{[iOjOpnp@q2 gkk.17R 83,{{-q1: ) "rc|jd}t||}t|}id|d|jdd|jdd|jdd|jdd|jdxsgd|jdxsgd|jdd |xsijd d |xsijd xsd d t||d t |xr t |d|xsijddd|xsijddd|xsijdxsgd|xsijdxsgS)Nr.mapStringVaHex sceneIdHex sceneGroup sceneSlottilesetsspritesnextMapRefVaHexr8r4zunlinked manifest recordrolehasStrictEventRecordr)rr7r5r6)rr2rBrDboolr')r1r/r0rcompacts rcompact_scene_recordrQ[sJJ}-M -@Gg&G } &**%56  fjj.  fjj.   VZZ ,   FJJz*0b   6::i(.B  6::&78  GMr../@A  7=b--.>?]C]  0  W%C71C D  B 3 34JA N  #W]$7$78RTU$V  B++N;Ar  GMr../@AGR! rc |jdxsg}|jdxsgDcgc]&}|jdtk(r t||(}}|jdd}|jdd}|D cgc])} t| tr| jdddkDr| +} } |jdxsg} |D cgc]$} t| trt| tr| &} } | D cgc]} t | s| } } | D cgc]} t | s| }} |jd xsi}|jd xsi}|jd xsi}id td tdt|d|dtd|Ddtd|Dd|d|dt| d|jddd|jddd| dt| dt| dt|d| D cgc] } t| c} d|jd|jd|jd d|jd|jd!|jd"|jd#d|jd$d|jdd|jd%d&d'd( }|Scc}wcc} wcc} wcc} wcc} wcc} w))Nr,sceneManifestRowsmap$sourceIncomingOnlyStrictClusterCountr sourceOutgoingStrictClusterCountr7targetSelectorOnlyClusterscurrentFrontierClusterconfirmedPatternfrontierPatternsourcetargetsourceSceneRecordCountsourceSceneRecordssourceSceneRecordClusteredCountc3DK|]}|jdsdywr8rNr.0rows r z build_summary..s.oSTWT[T[\mTnq.o  sourceSceneRecordUnlinkedCountc3DK|]}|jdrdywrarrbs rrez build_summary..s-rCWZW^W^_pWqa-rrf sourceStrictIncomingClusterCount sourceStrictOutgoingClusterCount!sourceCurrentFrontierClusterCounttargetStrictClusterCounttargetSelectorOnlyClusterCountsourceTargetSharedClusterCount$sourceTargetSharedStrictClusterCount*sourceTargetSharedSelectorOnlyClusterCountsourceTargetSharedClustersconfirmedEntryClusterHexr8eventRecordHexeventPointCountnearestSourceRecordAfterBranchnearestTargetRecordAfterBranchr&r)strictTargetLinkFoundblockedamap1_01a has three scene records in the manifest scan: one unlinked resource record, one incoming strict entry cluster from map1_02b, and one current selector-only frontier cluster shared with map2_02d. The only source/target shared cluster is selector-only, while the strict cluster is incoming-only and map2_02d has no strict target cluster. This keeps map1_01a -> map2_02d blocked until a strict source hotspot, runtime trace, or equivalent control-flow proof is found.) confirmedEntryEventRecordHexconfirmedEntryPointCountcurrentFrontierClusterHexcurrentFrontierSourceRecordHexcurrentFrontierTargetRecordHexcurrentFrontierEventRecordCount#currentFrontierSaveSelectorRefCountcurrentFrontierRoutePairCountrwpromotionStatus conclusion) rr@rQr$rAr'r*lensumrB)r/ hotspot_gapstrict_target_link_gaprecord_pattern_contrastr,r1source_scene_recordssource_strict_incoming_countsource_strict_outgoing_countr source_current_frontier_clusterstarget_selector_only_clusterssource_target_shared_clusters$source_target_shared_strict_clusters+source_target_shared_selector_only_clusterscurrent_frontier confirmedfrontiersummarys r build_summaryrss "":.4"H"oo&9:@b  ::e  & V_5 $:#=#=>dfg#h #9#=#=>`bc#d '(  (W[[9SUV-WZ[-[ ($(%;$>$>?[$\$b`b!'%  (\'6-J %!%Da+wdmnudvG+w(+w<3@PQX@Y3/3.112JKQr'++,>?E2I&**+<=CH#&#&# !#&:";# 2 # *3.o$>?Y[\$]# )*@*D*DEegh*i# %&C# )#.K*L# /4X0Y# 5c:e6f# %Ol&mGw'?&m!#" #IMM2C$D##$)2 6F(G$-MM2CQ$G%5%9%9:K%L*2,,7W*X*2,,7W*X+;+?+?@RTU+V/?/C/CDZ\]/^)9)=)=>XZ[)\!7!;!;d2d8j|d?d: I|jgd@|dAD],}|jd+|d.d0|d1d2|d5d2|dBd: .|jddCj|S)DNz'# map1_01a Scene Record Cluster Contextz- route under test: `r[z -> r\`z- source scene records: r]z- clustered source records: r_z- unlinked source records: rgz#- source incoming strict clusters: riz#- source outgoing strict clusters: rjz- target strict clusters: rlz!- target selector-only clusters: rmz!- source/target shared clusters: rnz(- source/target shared strict clusters: roz/- source/target shared selector-only clusters: rpz- current frontier cluster: `r{z"- current frontier event records: r~z"- current frontier selector refs: rz- strict target link found: rwz- promotion status: `rrz## Source Scene Recordsz]| record | cluster | class | role | strict events | selector refs | next map ref | tilesets |z3| --- | --- | --- | --- | ---: | ---: | --- | --- |r^z| `r.z` | `r8-z` | r4z | rMrNr)z | `rL, rJz |)rz ## Source/Target Shared ClustersrzF| cluster | class | events | selector refs | current frontier | maps |z(| --- | --- | ---: | ---: | ---: | --- |rqr&r7r)rz ## Target Selector-Only Clustersrz6| cluster | class | selector refs | current frontier |z| --- | --- | ---: | --- |rWhasCurrentFrontierPair )appendrjoinextend)rlinesr1rs rmarkdownrs.1  12$wx7H6IK "7+C#D"EF &w/P'Q&RS %g.N&O%PQ -g6X.Y-Z[ -g6X.Y-Z[ $W-G%H$IJ +G4T,U+VW +G4T,U+VW 27;a3b2cd 9'Bn:o9pq '0K(L'MQO ,W5V-W,XY ,W5Z-[,\] &w/F'G&HI (9 :;1=   ! g=3 E6./  &'(fjj9J.K.Rs-SSW&'(F6N+;3,-.c&9O2P1QR ,-45T$))F:DV:W:^[^9__a c   LL78  '+,-T':J2K1LC)*+3w7M/N.Os1233tyyAX7Y6ZZ\ ^   LL78  '+,-T':J2K1LC-./s7;S3T2UUW Y   LL 99U rcdjd|dD}djd|dD}djd|dD}djdd d d d d |dd|ddd|dd|dd|ddtjt|dd dtj|ddddd|d d!d"|d d#d$|d gS)%Nrc3K|]B}dtjt|ddtjt|jdxsddtjt|ddtjt|ddtjt|d dtjt|d d tjt|jd xsddtjd j |dxsddEyw)r.zr8rr4 rMrNr)zrLrrJ N)htmlescapestrrr)rcr1s rrezhtml_page..s3   [[VM%:!;<=>[[VZZ0A%B%Ic!JKLM{{3v&6789:;{{3vf~./01{{3v&<=>?@A{{3v&<=>?@A[[VZZ0A%B%Ic!JKLM{{499VJ%78?C@AB  sE E r^c3K|]}dtjt|ddtjt|ddtjt|ddtjt|ddtjt|ddtjdj|d d y w) rr8rr4rr&r)r7rrrN)rrrrrcrs rrezhtml_page..s   [[W->%?!@ABC{{3w'789:;<{{3w'9:;<=>{{3w'=>?@AB{{3w'ABCDEF{{499W^%<=>?@   sCC!rqc32K|]}dtjt|ddtjt|ddtjt|ddtjt|dd yw) rr8rr4rr)rrN)rrrrs rrezhtml_page..s   [[W->%?!@ABC{{3w'789:;<{{3w'=>?@AB{{3w'?@ABCD  sBBrWz%z4map1_01a Scene Record Cluster Contexta z.

map1_01a Scene Record Cluster Context

z
z

Route: r[z -> r\z

z

source scene records: r]z/; source/target shared strict clusters: roz6; source/target shared selector-only clusters: rpz; promotion: rz

z

rz

z

Source Scene Records

zz
recordclusterclassrolestrict eventsselector refsnext map reftilesets
z&

Source/Target Shared Clusters

zz&

Target Selector-Only Clusters

zs
clusterclasseventsselector refscurrent frontiermaps
)rrrr)r source_rows shared_rows target_rowss r html_pagers[)) 23  K)) ;<  K));<K 99/> k8 !'("3!4GGHuv![[W5F-G)HIJ$ P dkk',/0 16' }0 Z0}1 rc|jdd|dz jtj|dddzd y) NT)parentsexist_ok*map1_01a_scene_record_cluster_context.jsonF) ensure_asciiindentrr r )mkdir write_textrdumps)rout_dirs r write_outputsr6sD MM$M. ;;GG 7q9D@Hrc tjt}|jdtt |j }tt|jdz it|jdz it|jdz it|jdz i}t||jtd|jd z y) N) descriptionz --out-dir)typedefaultzfield_map_record_roots.jsonzmap1_01a_hotspot_gap.jsonz$map1_01a_strict_target_link_gap.jsonz%map1_01a_record_pattern_contrast.jsonz&wrote scene record cluster context -> r) argparseArgumentParser__doc__ add_argumentrOUT parse_argsrrrrprint)parserargsrs rmainr>s  $ $ 9F  $<    D$,,!>>C$,,!<rsO"  H~''* Ul  8 O 3-2b, # 0BBB!B" B  BJ=@;| r zFr
clusterclassselector refscurrent frontier