UHjE^dZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZmZe ej!j*dZedz Zed z Zd Zd Zhd Zddd ddZdddddZdZgdZgdZ d gdddddgddgdddgddd d!d"gdgZ!dd%Z$d?d&Z%d@d'Z&dAd(Z'dBd)Z( dCd*Z)dDd+Z* dEd,Z+dFd-Z, dGd.Z-dHd/Z.dId0Z/dJd1Z0dKd2Z1dLd3Z2 dM dNd4Z3dOd5Z4 dPd6Z5edddddf dQd7Z6dRd8Z7efdSd9Z8dTd:Z9e:d;k(re9yy)UzDScan byte-sized coordinate encodings for map1_01a -> map2_02d exits.) annotationsN)Path)Any) offset_to_va read_sectionsoutz Hwanse2.exemap1_01amap2_02d>.data.rdata.text)topbottomleftright)r)rr)rr)rr)zstrict-source-target-byte-ownerztarget-spawn-strict-byte-ownerzaxis-or-span-sequence-ownerzruntime-trigger-proof)zObyte coordinate hit owned by a strict map1_01a -> map2_02d event/control recordzDreciprocal target-spawn byte hit with strict source-target ownershipzWaxis/span byte sequence tied to a source exit table instead of selector/text collisionszFruntime trigger proving a byte-coordinate match selects the target map)zbyte coordinate scanszselector ownersztext/code collisions)pathfieldszout/map_exit_candidates.jsonexitCandidatesblockedTargetCandidateszout/save_scene_selectors.json)selectedPointer fieldMaps linkedCnszout/scene_events.json)recordVa pointTableVapointTableEndVazout/event_transitions.jsonrtargetsc2t|trd|dSdS)N0x08x- isinstanceint)values I/home/exedev/hwanse/tools/summarize_map1_01a_exit_byte_coordinate_scan.pyhex32r+5s)%5Rc{ >3>c$|jdS)N )hex)datas r* hex_bytesr19s 88C=r,cp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks r* load_jsonr;=s* ;;= ::dnngn6 77r,cr|D]2}t|d}|t|dz}||cxkr |ks.|cS4y)Nrawraw_sizer()sectionsoffsetsectionstartends r*section_for_offsetrECsOGEN#c'*-.. F S N ! r,c |Dcgc]#}t|jdtr|%}}|jdg}t |D]\}}t|d}|dzt |krt||dzdnd}|j |jdd|jd||t|t||jd xsg|jd xsgd |Scc}w) Nrct|dS)Nrr?)rows r*z'selector_owner_ranges..RsC(9$: ;r,keyri`group:slotrr)selectorrCrD rootVaHex rootEndVaHexrr)r'getr(sort enumeratelenappendr+)save_scene_selectorsrHstartsrowsindexrCrDs r*selector_owner_rangesr[Ls(  cgg/0# 6 F  KK;K< D'  sC)*+;@19s6{;Rc&#$567Xb 777+,Acggfo->?u!#J-3-3     K's(Dc@|D]}|d|cxkr |dks|cSy)NrCrD)rangesvarHs r*selector_owner_for_var`cs5 w<2 *E *J + r,ci}|D]<}|jd}t|ts%|jdxsg||<>|S)Nrr!)rRr'r()event_transitionsrYrH record_vas r*transition_targets_by_recordrdjsL!#D 7GGJ' i %!ggi06BDO7 Kr,c |D]}|jd}|jd}t|trt|tsF|jd}t|tr|n|}||cxkr|kswnz|jd|t|t|t||j|gdcSy)Nrr rmap)rfr recordVaHexpointTableVaHexpointTableEndVaHexr!)rRr'r(r+) scene_events event_targetsr_eventrc point_end_vapoint_start_vastart_vas r*strict_event_owner_for_varpss IIj) yy!23 )S)L#1N >2%/%D>) r (L (yy'%$Y/#(#8&+L&9(,,Y;   r,c d}t|Dcgc]$}t|jdts#|&c}dD]}t|d|kr|}n|sy|t|dz dkDry|jdt |jd|jd|jdxsgdScc}w) Nrct|dS)Nrr?)items r*rIz)nearest_manifest_record..sT*-.r,rJirf sceneIdHextilesets)rfrgrtru)sortedr'rRr(r+)scene_manifestr_previousrsrHs r*nearest_manifest_recordrysH(R$Jtxx 7KS,QR . s: 2 %H    C$ %%-||E"X\\*56ll<0LL,2   Ss $CCc|r5|jdtk(rt|jdxsgvryy|dk(ry|r|jddk(ry y |r|jdtk(ry y y )Nrfr!*strict-source-target-event-byte-coordinate"strict-event-other-byte-coordinatertext-code-byte-collisionrOz2:0$current-selector-root-byte-collisionselector-root-byte-collision$source-scene-manifest-byte-collisionscene-manifest-byte-collisionunowned-data-byte-collision)rRSOURCETARGET) section_namer_selector_ownerstrict_event_ownermanifest_owners r* classify_hitrs  " "5 )V 3-11)<BC?3w)   j )U 29-   e $ .9. (r,c |jd}dddddddd d jt|d }|t|jd fS) Nclassificationrrrr)r{r|r~rrrrr}vaHex)rRstr)rHrprioritys r* hit_priorityrsaWW-.N67./0101())*'($%  c#n q!  S)* **r,ci}i} d} d} d} gd} |j|| }|dkrn|dz} t||}||jdtvrEt |d}t ||}|b| dz } |j|ddz||<|t |dz dzdk(r| dz } |t |dz dzdk(r| dz } t||}t|||}t||}t|||||}| j|ddz| |<|t|||t |dz dzdk(|t |dz dzdk(||xsijd|xsijd|xsijd xsg||t|td|d z tt||t|zd zd }tt krj#|nEt%|td Dkr'tt'tfd }||<'t)t$|t|| | | t+t)|j-t+t)| j-| jdd| jdd| jdd| jddd S)Nrrnamer=rrrOrPrr) r_rrB wordAligned dwordAlignedr selectorOwnerselectorOwnerRootHexselectorOwnerFieldMapsstrictEventOwner manifestOwner contextHexc32K|]}t|ywNr.0rss r* zscan_pattern.. s$LD\$%7$Lsc t|Srr)rZsampless r*rIzscan_pattern.. s|GTYN?[r,rJr{r|r~r}) label patternHexhitCountwordAlignedHitCountdwordAlignedHitCount sectionCountsclassificationCountsstrictSourceTargetHitCountstrictEventOtherHitCountcurrentSelectorRootHitCounttextCodeHitCountr)findrErR SCAN_SECTIONSrrr(r`rpryrr+r1maxminrU SAMPLE_LIMITrVrrangervdictitems)exer@selector_rangesrjrkrwrpatternsection_countsclassification_countsword_aligned_countdword_aligned_count hit_countsearchhitrBrr_rrrrrHworstrs @r* scan_patternrs5&(N,.IG F hhw' 7 q$Xs3 ?gkk&1F 76?+ (C ( : Q '5'9'9,'JQ'N|$ #gen% % *a / ! #  #gen% % *a / 1 $ .C6|]TVW0D%       1F0I0I.Z[0\_`0`n-2Y##gen"55:a? 3wu~#66!;q@,,277 C%3%9r$>$>{$K'5';&@&@&M&SQS 2+#CAsQwSXsSQX\GY\]G]9^$_`   w<, & NN3  # $LG$L!L Lc'l+1[\E GEN_ `W,/G(1 3f^%9%9%;<= $V,A,G,G,I%J K&;&?&? 8 ' %:$=$=>bde$f'<'@'@ 2 ( 2556PRST% r,c|jdxsi}tj|jddt|jdxsdt|jdxsdfS)Nsamplesidecyrx)rR SIDE_ORDERr() candidaters r*candidate_sort_keyr#s` ]]8 $ *Fy}}V,b1 FJJsO q! FJJsO q! r,cg}|D]}|jdtk7r|jdxsgD]}|jdxsi}g|jdxsg|jdxsg}td|jdxsgDd}|jd}|jd }t|vst |t st |t s|j i|d |ii} |D]L} | jdxsi}| | | jd |jd|jd f<Nt| jt S) NrfrrrselectorTargetCandidatesc3PK|]}|jdtk(r| yw)targetN)rRr)rhints r*rz"exit_candidates..8s)!xx)V3s$& targetHintsrr targetHintrrJ) rRrnextrr'r(rVrvvaluesr) map_exit_candidatesrYmap_rowrrr! target_hintrruniquerHs r*exit_candidatesr,sy D&F ;;u  '  %56<" FI]]8,2F-- 9:@b-- :;ArG%.]]=%A%GR K 3A 3A Z3%7Jq#r2u(- *R$:b";M$~eW- ? LL#!+$!)-              B' %*   S9: Lr,c|jdxsi}|jd}|jd}|jd}|jd}|jd}td||||fDsgS|dk(rd ||fd ||fd ||fd ||fg}n|d k(rd ||fd ||fd ||fd ||fg}ngSt}g} |D]4\} } } | | f|vr|j| | f| j | | | f6| S)NspanaxisfromtoperpendicularFromperpendicularToc3<K|]}t|tywrr&)rr)s r*rz%span_corner_points..sP%z%%Psrz span min/minz span max/minz span min/maxz span max/maxr)rRallsetaddrV) rrrrCrDp_startp_endpointsseenrYrrrs r*span_corner_pointsr sE == &BD 88F D HHV E ((4.Chh*+G HH& 'E PE33OP P  s{ UG , S' * UE * S% (    We , UE * Wc * UC (   5D D# q! q6T>  !Q UAqM" # Kr,c|jdxsi}|jd}t|d} t|d} t||||||t|| | } |jdxsi} g} t | jdtrt | jdtrt||||||t| jdxsdt| dt| dd } | D]h}| jd| jd| jd| jd| jd| jd d |d <jg}t t|| | }d D]}g}|D]9\}}|d k(r t ||n t ||}|g}n|j|;dj|}|r%|jt||||||d||{|jd|dddgdg}t|}t|dk\rd D]}g}|D]:\}}}|d k(r t ||n t ||}|g}n|j|<dj|}|r%|jt||||||d||||jd|dddgdg| ||}td|D}td|D}td|D}td|D}tdg||D}id|d| | dd|jdxsid | rc| jd| jd| jd| jd| jd| jd d nid| d| d |d!|d"td#| Dd$t| d%td&| Dd'td(| Dd)td*| Dd+td,| Dd-td.| Dd/td0| Dd1||||||dkDd2S)3Nrrrrrrz target spawn standable autoTrigger)rrrrr r targetSpawn)rrrr,zaxis 3-point byte sequence r%rT)rrrrrrzspan corner byte sequence c3@K|]}|jddywrrNrRrrHs r*rz!scan_candidate...s#bQTCGG,H!$L#bc3@K|]}|jddywrrNrrs r*rz!scan_candidate../s_c(Eq I_rc3@K|]}|jddywrrNrrs r*rz!scan_candidate..0s!^S#''*Da"H!^rc3@K|]}|jddywrrNrrs r*rz!scan_candidate..1sMC!3Q7Mrc3@K|]}|jddywrrNrrs r*rz!scan_candidate..2sbSWWZ3brtilerr bytePairScanstargetSpawnBytePairScansaxisSequenceScansspanSequenceScansbytePairHitCountc3@K|]}|jddywrrrs r*rz!scan_candidate..CsH3 A 6HrtargetSpawnBytePairScanCounttargetSpawnBytePairHitCountc3@K|]}|jddywrrrs r*rz!scan_candidate..Es*`c377:q+A*`r)targetSpawnStrictSourceTargetByteHitCountc3@K|]}|jddywrrrs r*rz!scan_candidate..Fs!9 9.Is!7 7:CGG. 27 r*targetSpawnCurrentSelectorRootByteHitCountc3@K|]}|jddywrrrs r*rz!scan_candidate..Ls!: :=CGG11 5: rtargetSpawnTextCodeByteHitCountc3@K|]}|jddywrrrs r*rz!scan_candidate..Os.lRUsww7I1/M.lr,targetSpawnStrictByteCoordinateEvidenceFoundc3FK|]}|jdddkDywrrrs r*rz!scan_candidate..Ps&< =@CGG0! 4q 8< s!sequenceHitCount)strictSourceTargetByteHitCountstrictEventOtherByteHitCountcurrentSelectorRootByteHitCounttextCodeByteHitCount!strictByteCoordinateEvidenceFound)rRr(rrr'rrrVjoinrr rUsumany) rr@rrjrkrwrrrrrrrtarget_spawn_scansrHaxis_sequences axis_pointsrpartsrrpairrspan_sequencescorners_label all_scansstrict_source_target_hitscurrent_selector_hitsstrict_event_other_hitstext_code_hitssequence_hit_counts r*scan_candidaterHsz]]8 $ *F == D F3KA F3KA #  D    E-- -3K+//#&,KOOC!)- # />N +G 7|q! EE") #B-2d]z"b) 2r@R<E T"  # hhuoG%%  '$%&4UG<  %%9%A"% !-1! '/ >;%:.:>:I ##bXa#b b_U^__!!^T]!^^M9MMNb?a?aR`?abb& & aa &   f%+&   "ooh/OOF+%%$5&??=9  !&  &  #$6&  ^&  ^&  CH%HH!& " ',>(?#& $ &s*`M_*`'`%& & 4S9 @R9 6 '& , 237 >P7 4 -& 2 5c: AS: 7 3& 8 *3.lYk.l+l9& : 7< DV< 9 ;& @ .A& B+D(?+@ .-F-JK& &r,c|j}t|}||nttdz g}||nttdz g}||nttdz g}||nttdz g}||nttdz g}t |}t |} t |} | D cgc]} t||||| || } } td| D} td| D}td| D}td | D}td | D}td | D}td | D}td | D}td| D}td| D}td| D}td| D}td| D}td| D}td| D}|dkD}|dkD}idt| d| d|d|d|d|d|d|d|d|d |d!|d"|d#|d$|d%|d&|d'|i}d(t| d)| d*|d+||zd,|d-|d.|d/|d0|d1}id2td3tdt| d| d|d|d|d|d|d|d|d|d |d!|d"|d#|d$|||||rd4nd5|||rgnt|rgntttt| ||d6 Scc} w)7Nzsave_scene_selectors.jsonzscene_events.jsonzevent_transitions.jsonzscene_manifest.jsonzmap_exit_candidates.jsonc38K|]}t|dyw)rNrUrs r*rz build_summary..sXSs3#78Xc38K|]}t|dyw)r NrKrs r*rz build_summary.."`S3s+>'?#@"`rLc38K|]}t|dyw)r!NrKrs r*rz build_summary..rNrLc3&K|] }|d yw)r2Nr]rs r*rz build_summary..s)25 ,-)c3&K|] }|d yw)r4Nr]rs r*rz build_summary..s$kPSS)J%K$krQc3&K|] }|d yw)r1Nr]rs r*rz build_summary..sTS!34TrQc3&K|] }|d yw)r3Nr]rs r*rz build_summary..s&jss+I'J&jrQc3&K|] }|d yw)r5Nr]rs r*rz build_summary..sYcc"89YrQc3&K|] }|d yw)r"Nr]rs r*rz build_summary..sU#c"45UrQc3&K|] }|d yw)r$Nr]rs r*rz build_summary..s+oTWC0N,O+orQc3&K|] }|d yw)r%Nr]rs r*rz build_summary..s*mRU3/L+M*mrQc3&K|] }|d yw)r'Nr]rs r*rz build_summary..s6=@ 786rQc3&K|] }|d yw)r)Nr]rs r*rz build_summary..s4;> 564rQc3&K|] }|d yw)r+Nr]rs r*rz build_summary..s2>A 892rQc3&K|] }|d yw)r-Nr]rs r*rz build_summary..s+36 -.+rQrcandidateCountbytePairScanCountaxisSequenceScanCountspanSequenceScanCountr"r1r2r3r4r5r6r$r%r'r)r+r-r/zfByte-sized coordinate encodings do not provide a strict map1_01a -> map2_02d hotspot. The scan covers z exit candidates with z exact byte-pair patterns, z2 reciprocal target-spawn byte-pair patterns, plus z" byte-sequence patterns. It found z* strict source-target event-owned hit(s), z+ target-spawn strict source-target hit(s), z1 source current selector-root byte collision(s), z; target-spawn current selector-root byte collision(s), and z axis/span sequence hit(s). Without a strict source-target event owner or runtime trigger, byte-pair matches remain collision-prone diagnostics and cannot promote the route.sourcerzready-for-reviewblocked) r+r-r/promotionStatus proofFoundexitByteCoordinateProofFoundfailedExitByteCoordinateGateIdsmissingEvidence evidenceRefsevidenceRefCountcandidateSummariesfalsePositiveSummary conclusion) read_bytesrr;OUTr[rdrrHr8rUrr$FAILED_EXIT_BYTE_COORDINATE_GATE_IDS%EXIT_BYTE_COORDINATE_MISSING_EVIDENCE"EXIT_BYTE_COORDINATE_EVIDENCE_REFS) exe_pathrWrjrbrwrrr@rrk candidatesrcandidate_summariesbyte_pair_scan_countaxis_sequence_scan_countspan_sequence_scan_countstrict_source_target_hit_countcurrent_selector_hit_countrGstrict_event_other_hit_counttext_code_hit_countbyte_pair_hit_count!target_spawn_byte_pair_scan_count target_spawn_byte_pair_hit_count+target_spawn_strict_source_target_hit_count)target_spawn_strict_event_other_hit_count'target_spawn_current_selector_hit_count target_spawn_text_code_hit_count strict_foundtarget_spawn_strict_foundfalse_positive_summaryrls r* build_summaryr\s    CS!H3G3S/Yb )) Z$0#;<3QdKdfhAiL->-J)PY && Q(6'A^yQTWlQlnpGqN1D1P-V_ (( W,,@AO01BCM !45J$             XDWXX""`L_"``""`L_"``%()9L)&""%$kWj$k!kT@STT#&&jVi&j#j YEXYYUATUU(++o[n+o(o%'**mYl*m'm$256DW63/144BU41-/22EX2/+(++:M+($2A5L Ka O#121 !9 !9  /  .  )*H '(D *+E  3 ,\ '(I &'G 45` 23\ 56]!" *+K#$ 78Q%* 2344JK_J`a678(+CCDE233] 6 77b % &&W 2 33n  4 4 & &  #12  1   !9   !9   /  .  )*H  '(D  *+E   3  ,\  '(I  &'G  45`! " 23\# $7^+K8Q1=-9"(41=2Cg!-23X: BC1 6 = Q s4K c g}|dD]}|d}|jdxsi}|rI|jdd|jdd|jdd|jd nd }|jd tjt |dd |dd|d d tj|d|dd|dd|dd|dd|dd|dd|dd|dd|ddg}|dD]h}|d}|dd|dd|d }|jdxsi}|rJd|jdd|jdd|jdd|jd nd} g|d|d|dD]}|jd tj|dtjt |jdd tjt |jd d|jd!d|jd"d#d|jd$d#d|jd%d#d|jd&d#d|d'D]}|jd tj|dtj| dzt |jdzd tjt |jd d|jd!d|jd"d#d|jd$d#d|jd%d#d|jd&d#dkd(j gd)d*d+d,d-d.tj|d/d0tj|dd1d2d3|d4d5d6|d7d5d8|dd5d9|dd5d:|dd5d;|dd5d<|dd5d=|dd5d>|dd5d?tjt |d@d5dAtjt |jdBd5dCtjdj |jdDxsgxsd d5dEtjt |jdFd5dGdHtj|dIdJdKd2d(j dL|jdMxsgDdGdNd2d(j dO|jdPxsgDdGdQd(j |dRdSdTd(j |dRS)UNrjrrrr.rr,rr%zzzzr"z r%r1r2r'r4r+r6r/z ztarget ztarget -rr r!rrrrrrrrr zzz1map1_01a Exit Byte Coordinate Scana z+

map1_01a Exit Byte Coordinate Scan

z

Route: raz -> z

z
    z
  • byte-pair scans: r^z
    • z(
  • target-spawn byte-pair scans: r$z
  • sequence hits: z*
  • strict source-target byte hits: z7
  • target-spawn strict source-target byte hits: z+
  • current selector-root byte hits: z8
  • target-spawn current selector-root byte hits: z1
  • strict byte coordinate evidence found: z>
  • target-spawn strict byte coordinate evidence found: z
  • promotion status: rcz
  • proof found: rdz-
  • failed exit byte-coordinate gates: rfz
  • evidence refs: riz
z

rlz

z

Missing Evidence

c3NK|]}dtj|dyw)z
  • 
    • N)htmlescapers r*rzhtml_page..>s#cdDT*+51cs#%rgz

    Evidence Refs

    c 3K|]m}dtjt|jddtjdj |jdxsgdoyw)z
  • rz : z, rrN)rrrrRr7)rrefs r*rzhtml_page..Bse S%9:;9{{499SWWX%6%<"=>?u F sA3A5rha?z
    sidetiletarget spawnbyte hitstarget byte hitssequence hitsstrict source-targettarget strict source-targetcurrent roottarget current rootstrict evidencetarget strict evidence
    z

    Scan Rows

    z)rRrVrrrr7) summarycandidate_rowsrHr target_spawntarget_spawn_label scan_rowsrr target_labels r* html_pagersN+, 6{ww}-3 )*!L,<, }}]39r l&&x01<3C3CF3K2LA$%Q|'7'7'<&= ?    ' * + * +  C   {{5)*+{{3swww'7#89:;![[SWW\-B)CDEFwwz*+,ww;Q?@Aww91=>?ww?ww$?#@ M* 5W=]5^4__kl* B'JuBvAwxD E* 6g>_6`5aamn* C7KwCxByzF G* \>b`bcc3*4 5*6 !7*8 9*:  {{>28b  ;*D E*F JG*H .!I*J K*L M*N GO*P )Q*R S** *r,c|jdd|dz jtj|dddzd y) NT)parentsexist_ok'map1_01a_exit_byte_coordinate_scan.jsonFr) ensure_asciiindentrr3r4)mkdir write_textr7dumps)rout_dirs r* write_outputsrRsD MM$M. 88DD 7q9D@Er,c `tj}|jdtt|jdtt |j }t|j}t||jtd|dd|dd|jd z y) Nz--exe)typedefaultz --out-dirzwrote byte-coordinate scan: r]z candidates, r2z strict source-target hits -> r) argparseArgumentParser add_argumentrEXErn parse_argsrrrrprint)parserargsrs r*mainrZs  $ $ &F dC8  $<    DDHH%G'4<<( & # $ %] 3 4 55S <<C C D Fr,__main__)r)z int | Nonereturnr)r0rrr)rrr:rrr)r@ list[dict]rAr(r dict | None)rWrrr)r^rr_r(rr)rbrrdict[int, list[str]])rjrrkrr_r(rr)rwrr_r(rr) rrr_r(rrrrrrrr)rHrrztuple[int, str])rrr@rrrrjrrkrrwrrrrrrr)rrrztuple[int, int, int])rrrr)rr(rr(rz bytes | None)rrrr(rr(rzlist[tuple[int, int]])rrrr(rr(rzlist[tuple[str, int, int, str]]))rrr@rrrrjrrkrrwrrrrr(rr(rrrr)rrrzlist[tuple[str, int, int]])rrr@rrrrjrrkrrwrrrrr)rrrrWlist[dict] | Nonerjrrbrrwrrrrr)rrrr)rrrrrNone)rr);__doc__ __future__rrrr7structsyspathlibrtypingrrinsertr__file__resolveparentprobe_exe_scene_tablesrrrROOTrnrrrrrrrrorprqr+r1r;rEr[r`rdrpryrrrrrrrrrr rHrrrr__name__r]r,r*rs}J" 3tH~--/6678> H~''* Ul ]  , !Q ;      ($ )%&jk +8HJc7de ,8ef $0_` )j)5LM &"?8 .'  0,)) ) )$ )  )  )6 +U UU U U ( U  U UU Up;: 6* ** * * ( *  * * * ***Z F` `` ` ` ( `  `` `H.2&*+/(,-1 BB+B$B) B & B + B BJnb25   zFr,
    candidatepatternbyteshitsstrict source-targetstrict othercurrent roottext code