UHjNzdZddlmZddlZddlZddlZddlZddlZddlm Z ejjde e e jjddlmZmZe e jj&dZedz ZhdZd hZd d hZgd Zgd ZdddgddddgddddgddgdddddgddddgdgZd.dZd/d Z d0 d1d!Zd2d3d"Z d4 d5d#Z d6d$Z!d7d%Z"d8d&Z# d9d'Z$d:d(Z%d;d)Z&d;d*Z'efdz>Scan EXE references for manual map-exit candidate coordinates.) annotationsN)Path) offset_to_va read_sectionsout>.data.text.rdatar r r )zstrict-source-coordinate-ownerztable-text-referenceztarget-map-control-pathzmanual-review-promotion-proof)zSstrict map1_01a event coordinate or source hotspot owning the packed coordinate hitzLtext/code reference proving the coordinate hit is part of a transition tablezKcontrol-flow path linking the source coordinate to the target map2_02d loadzEmanual disassembly/review proof promoting a diagnostic coordinate ref Hwanse2.exezpacked coordinate byte scansz.text/.data references)pathfieldszout/map_exit_candidates.jsonexitCandidatesblockedTargetCandidatesz!out/confirmed_route_blockers.jsonsourcetargetzout/event_transitions.json)maptargetsrecordVaz$out/scene_coordinate_candidates.jsonrzcoordinate candidatesz#out/transition_extraction_gaps.jsongapczt}g}|D])}||vr|j||j|+|S)N)setaddappend)valuesseenresultvalues ?/home/exedev/hwanse/tools/summarize_map_exit_coordinate_refs.pyuniquer ,sE 5D F D=   e  McT|D]#}|d}|d|dz}||cxkr |ks|cS%y)Nrawraw_size)sectionsoffsetsectionstartends rsection_for_offsetr+7sIenwz22 F S N ! r!c Tg}|D]}|d|vr |d}|d|dz} ||| } tdt| dz dD]e} tjd| | d} || cxkr|ksn+|j |d|d| z|| z| d | d d t||k\sa|ccS|S) Nnamer#r$r##E4=B "S]%U3K(8%0    Lr!ci}i}g}d}d}d} |j|| } | dkrn | dz} t|| } | | dtvr9|dz }|j| dddz|| d<| | dz dzdk(} | r#|dz }|j| dddz|| d<t ||k\rt || } | t ||td| dz | dzt}t ||td| dz | dzt}|j| d| d| d| d| d | ||t||| d %||tt|jtt|j|d S) Nrrr-r#r/ r2r306x) r(r1rGr5 fileOffsetHex dwordAlignedtextRefsToWindowdataRefsToWindowcontext)total alignedTotal sectionCountsalignedSectionCountssamples)findr+ SCAN_SECTIONSgetr8rrDrJREF_TEXT_SECTIONSREF_DATA_SECTIONSrrSdictsortedrO)r;r&pattern max_samplessection_countsaligned_countsr`r\ aligned_totalsearchhitr(rNr1 text_refs data_refss r scan_patternrqws &(N%'NG EM F ii( 7 q$Xs3 ?gfo]B   *8*<*f>ljl3mO * !&**S/37z&**UX/[^?_ $$%MM&1!'K!8!*{!; ) j 9    4 K9Rs )F0&Fc |D]}|d}|d}||dzz}||dzz}t||tjd||}t||tjd||} td|| fD} |d|dd||d|dd| d |d <d |d <|d dk(r| d dk(rd|d<n| dk(rd|d<nd|d<d|d<|S)NrurvrFc3LK|]}|dD]}t|dyw)r`rYN)r8).0scanrss r z*attach_coordinate_scans..s0p`den`opV\S(:!;<p<ps"$r2r3)rr6xyyx packedScansF promotabler\rzno-exact-packed-coordinate-hitstatusz*coordinate-like-hit-without-table-text-refz@coordinate-like-hit-with-table-text-ref-needs-manual-disassemblyzExact coordinate bytes alone do not prove a map transition. Promotion still needs a strict source hotspot, event coordinate, or code path that links this tile to the target map.reason)rqr9packsum) r;r&rrrurvxy_valueyx_valuerrtext_ref_counts rattach_coordinate_scansrs/  H HR=R= $&++eQ*B C $&++eQ*B Cp"bpp" #/ " #/  M"L g;! 7 q 0 Kr!c&|Dcgc]}|jdk(s|}}|Dcgc]}||jdxsgvr|}}t|t|tfd|Dtfd|DdScc}wcc}w)Nrrc3LK|]}|jdk(sdywrrNrcrrrs rrz!scene_evidence..s&-mCTWT[T[\aTbflTla-m$$c3LK|]}|jdk(sdywrrrs rrz!scene_evidence..s 'VcSWWU^v=U'Vr)eventTransitionCountsourceEventRecordCountsourceCoordinateCandidateCountsourceExtractionGapCount)rcr8r)rrevent_transitionscoordinate_candidatesgapsr source_events target_eventss` rscene_evidencers$5RS69QSRMR!  cggi(.B / M !$M 2"%m"4*--m;P-m*m$''VT'V$V   SsB B  Bc t|}t||t||}|D]}t|d|d||||d<ddddtt t tt |d S)Nrr sceneEvidencezJmanual-review-only; coordinate refs are diagnostic and never auto-promotedzblocked-diagnostic-onlyF) promotionPolicypromotionStatus proofFoundmapExitCoordinateRefProofFound!failedMapExitCoordinateRefGateIdsmissingEvidence evidenceRefsevidenceRefCountr)rrrr'FAILED_MAP_EXIT_COORDINATE_REF_GATE_IDS(MAP_EXIT_COORDINATE_REF_MISSING_EVIDENCE%MAP_EXIT_COORDINATE_REF_EVIDENCE_REFSr8) exer}r~rrtransition_gapsr&rrs r build_summaryrsS!H "32EFY[i2j kD - M M  !   O h4*/-TC= EF  r!cdjd|jdijD}|dd|xsddS)N, c30K|]\}}|d|yw)=Nr%)rkeyrs rrzscan_summary..s`JC#aw'`sr^r\z (-))joinrcrO)rcountss r scan_summaryrsF YY`$((?TV:W:]:]:_` `F7m_Bv}oQ //r!c|jdxsg}ddddddd|jddd |jd d |jd d dj|jdxsgdd|jddddg}|jd|jdxsgD|jgd|jdxsgD]K}|jd|jdddj|jdxsgdM|jgd|D]r}|d}|d}|jd |d!d"|d#d"|d$d"|d%d|d&d"t |d'd"t |d(d)|d*d+|d,d-|d.d"|d/d0t|jgd1|D]}|jd2|d!d3|d#d4|d$d4|d%d|d& d5D]}|d|}|jd|jd6|d7|d8d9t ||d:sH|d:dd;D]u} djd<| d=dd;Dxsd>} djd?| d@dd;Dxsd>} |jdA| dBdC| dDdE| dFdG| dHdI| dJ| w|jddKj|S)LNrz# Map Exit Coordinate RefszIExact packed-coordinate scan for geometry-only map-exit trial candidates.zThese rows are diagnostic only. A coordinate-like byte sequence in `Hwanse2.exe` is not enough to promote a normal transition unless it is tied to a strict source hotspot/event coordinate and a target map code path.z- promotion status: `r`z- proof found: rz'- map-exit coordinate ref proof found: rz)- failed map-exit coordinate ref gates: `,rz- evidence refs: rz## Missing Evidencec3&K|] }d| yw)z- Nr%ritems rrzmarkdown..4sN2dVNr)rz## Evidence Refsrz| path | fields |z | --- | --- |rz| `r z` | `rrz` |)rzO| source | target | side | tile | xy hits | yx hits | scene evidence | status |z3| --- | --- | --- | --- | ---: | ---: | --- | --- |rrz| rz | rrwrurvrrz | events=r , coords=r, gaps=rrz |)rz## Sample Hitsrz###  ->  rz- `z` packed value `r6z`: r`r/c3&K|] }|d ywr6Nr%rrefs rrzmarkdown..V%`#c*o%`rrYrc3&K|] }|d ywrr%rs rrzmarkdown..WrrrZz - r(z `rGz` file `rWz ` aligned=rX textRefs= dataRefs= )rcrextendrr) summaryrlinesrrscansevidenceorderrrsrorps rmarkdownr"s ;;v  $"D$ S  b  ,= >?qA '++l345 1'++>^2_1`a 3CHHW[[Il=m=sqs4t3uuvw GKK(:;<=   E  LLN5F)G)M2NN LL{{>*0bZ s3776?+53778;L;RPR1S0TTWXYZ LL  M"' Xs3x=/S[MSXJaPSTWPXzY\E$K()\%+-F,GH567yJjAk@llst|~XuYtZZ]8}oR !   LL+, tCM?$s8}oQs6{m1SQTXJVWX[\_X`Wabc! E}%e,D LL  LL3ug%5d:6F5Gsd?d@dAdBdCdDdEdFdGdHdIdJdKdLtjt |jdMdNtjt |jdOdPtjd j|jdQxsgdRtjt |jdSdT dUdVdjdW|jdXxsgDdYdZdVdjd[|jd\xsgDdYd]d^d_|d`da|dbdcddS)eNrrrrzz rzrrwrurrvrrz events=rrrrrrzrz
  • z r6 : 
    • r`z
      r/rc3&K|] }|d ywrr%rs rrzhtml_page..|)dc#j/)drrYrc3&K|] }|d ywrr%rs rrzhtml_page..}rrrZz
    • r(z rGz file rWz aligned=rXrrz
    z

    rrz

    zzzz zF z) Map Exit Coordinate Refsz zzz#

    Map Exit Coordinate Refs

    z

    Exact packed-coordinate scan for geometry-only map-exit trial candidates. These rows are diagnostic only and do not promote normal transitions.

    z$

    promotion status: rz; proof found: rz5; failed map-exit coordinate ref gates: rz; evidence refs: rz.

    z

    Missing Evidence

    z
      c3NK|]}dtj|dyw)z
    • rN)htmlescapers rrzhtml_page..s#g$HT[[./u5gs#%rz
    z

    Evidence Refs

    c 3K|]m}dtjt|jddtjdj |jdxsgdoyw)z
  • r rrrrN)rrstrrcrrs rrzhtml_page..se T[[SWWV_)=>?y{{499SWWX%6%<"=>?u F sA3A5rz z z z z
    sourcetargetsidetilexy hitsyx hitsscene evidencestatus
    zzr)rcrrrrrr) rrbodydetailrrr sample_itemsrrrsrorps r html_pager`sW ;;v  $"D D F* M"' IIS]34E:S]34E:SV%567u=S !CH:U3\%+%>?@F\%+%>?@F)? @A8TtKuJvv}GHbc~ddijS]34E:    ! -E$zBRASS\]a]h]hiuvzi{]|\}~C!D EI##F+"9obq1 F $ )dVL^E_`babEc)d d khkI $ )dVL^E_`babEc)d d khkI '';;vi'89:'&/ARS&&,_&=%>?##).#9":;$$(KK $:#;:dkkR[F\E]   ##G,! -"  IIt{{3x=12$t{{3x=7Q6RRSTXT_T_`cdghndo`pTqSrrstwx{t|s}}~@CDG@HIINO   G* V 99222 2 # 2 Q 2 4 2 2 r2 12 72 ;2 X2 c2 t2 ]2 '!2" $#2$ %2& '2( )2* .+2, c-2. /t{{3w{{K\?];^/_.`a#{{3w{{ ?2@ #A2B C2D  {{>28b  E2N O2P Q2R eS2T U2V W2X Y2Z [2\ ]2^ _2` a2b c22 2r!c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okzmap_exit_coordinate_refs.jsonF) ensure_asciiindentrutf-8encodingmap_exit_coordinate_refs.html)mkdir write_textjsondumpsr)rout_dirs r write_outputsrsd MM$M. ..:: 7q9D@; ..::9W;MX_:`r!c tjt}|jdtt dz |jdtt dz |jdtt dz |jd tt d z |jd tt d z |jd tt dz |jdtt |j}t|jjtj|jjdtj|jjdtj|j jdtj|j"jdtj|j$jd}t'||j(t+dt-|dd|j(dz y)N) descriptionz--exer )typedefaultz --map-exitszmap_exit_candidates.jsonz--route-blockerszconfirmed_route_blockers.jsonz--event-transitionszevent_transitions.jsonz--coordinate-candidatesz scene_coordinate_candidates.jsonz--transition-gapsztransition_extraction_gaps.jsonz --out-dirrrzwrote rz! map exit coordinate ref rows -> r)argparseArgumentParser__doc__ add_argumentrROOTOUT parse_argsrr read_bytesrloads map_exits read_textr~rrrrrprintr8)parserargsrs rmainrs  $ $ 9F dD=4HI  D#@Z:Z[ *sEd?de -D#H`B`a 1cLnFno +$Fg@gh  $<    D  4>>++W+=> 4&&00'0BC 4))33W3EF 4--777IJ 4''1171CD G'4<<( F3wv'((I$,,YxJxIy z{r!__main__)r list[str]returnr)r& list[dict]r'r|rz dict | None)r)r;bytesr&rr<r|r=r|r>zset[str]r?r|rr)r.r/) r;rr&rr'r|rLr|rMr|rr) ) r;rr&rrhrrir|rrf)r}rr~rrr)r;rr&rrrrr) rrrrrrrrrrrrf)rrr}rr~rrrrrrrrrf)rrfrr)rrfrr)rrfrrrNone)rr)+r __future__rrrrr9syspathlibrr insertr__file__resolveparentprobe_exe_scene_tablesrrrrrrbrdrerrrr r+rDrSrqrrrrrrrrr__name__r%r!rr"sD" 3tH~--/6678> H~''* Ul, Iw'+' ,('EG_&`a +8HJc7de 0Xx8 2 222 2  2j@ F  #"  &    >0 ;|aH25a|. zFr!