UHj3dZddlmZddlZddlZddlZddlZddlZddlm Z ejjde e e jjddlmZmZe e jj&dZedz ZdZd Zd Zd Zd Zgd ZgdZhdZddZddZddZ ddZ!dd dZ"d!dZ#d"dZ$d#dZ%d#dZ&d$dZ'd%dZ(e)dk(re(yy)&z;Classify the only exact map1_01a right-exit coordinate hit.) annotationsN)Path) read_sections va_to_offsetoutmap1_01amap2_02dright")zstrict-source-coordinate-ownerzsource-field-map-ownerztext-or-code-reference-to-hitztarget-map-control-path)zKpacked coordinate hit owned by a map1_01a field-map or strict event contextzPowner selector containing field maps instead of only character/resource CNS dataz?text/code reference tying the coordinate hit to route executionz0control path from the coordinate hit to map2_02d>rr r  !r #$cd|dS)N0x08xvalues G/home/exedev/hwanse/tools/summarize_map1_01a_exit_coordinate_context.pyhex32r$= c{ cd|dS)Nr02xr r!s r#hex8r)Ar%r&cL|jdd|jdS)Ngroup:slot)get)rows r# selector_keyr0Es&ggg q 1 22r&c btt|Dcgc]-\}}t|jdts&|d||f/c}}d}t|D]K\}\}}}|dzt |kr ||dzdn|dz}||cxkr|ks7n:i|dt |icSycc}}w)NselectedPointerc|d|dfS)Nrrr )items r#z owner_selector..Ls$q'47+r&)keyrri@ rootEndHex)sorted enumerate isinstancer.intlenr$) selectorsvaindexr/rootsroot_ends r#owner_selectorrDIs @I)@T E*%Xbcfcjcjk|c}@CYD# % - E + E"+5!15~a%*QYU%;eEAIq! 2  4c4<s4 45  Es 'B+ B+ c g}||dzz }||dzdzz}t||dD]}t||} | | dzt|kDr#tjd|| d} | dz} | dz dz} | dz} |j t |t | | | gt| ||k(| tvd| cxkxrd kncd |S) Nrzoffsetr"lohi low_opcodes r# dword_contextr_Us D  "E uqyAo %CE3" h+ >VaZ#c(2 ""4f5a8 V^rkV #T\  2Ye 8 ,9_#-1H#H%<*<   " Kr&cL|jdxsgD]}|jdtk(s|jdtk(s5|jdtk(sN|jdtk(sg|jdt k(s|cSt d)NrYsourcetargetsidexyz,map1_01a right-exit coordinate row not found)r.SOURCETARGETSIDEXY ValueError)coordinate_refsr/s r#find_right_exit_rowrmms""6*0b GGH  '!V+4' ! !J C DDr&ct|}t|}|jdxsijdxsi}|jdxsg}t|dk7r t d|d}t |dd}t ||} t|||} td | D} td | D} | D cgc] } | d s |  }} | r | jd s| d dk(r| dk\rdnd}d}dgdddgdddgddg}idtdtdtdttdd|jd d!|jd"d#|jd$d%|jdd&|jd'd(t|jd)d*t|jd+xsgd,| r t!| ndd-| r| jd.ndd/| r| jd0ndd1| r| jd ngd2| r| jd3ngd4| d | t||d5d5t"t$|t|d5d6| gd7|d8Scc} w)9N packedScansxysamplesrz6expected exactly one xy sample for map1_01a right exitrrHrc3,K|] }|ds |yw)rLNr .0r/s r# z build_summary..s:3S\3: c3,K|] }|ds dyw)rMrNr rss r#ruz build_summary..sScmap2_02d. Hwanse2.exe)z0x004f9460 packed xy hitz0x004f8dd8 owner selector rootz"0x00130022 packed coordinate value)pathfieldsz!out/map_exit_coordinate_refs.json)rYzpackedScans.xy.samplespromotionPolicyzout/save_scene_selectors.json)r2rx linkedCnsrarbrctile)rdre xyPackedHexrI xyHitCounttotalxyAlignedHitCount alignedTotalhitVaHex hitSectionsectionhitHasTextRefstextRefsToWindowhitDataRefCountdataRefsToWindow ownerSelector ownerRootHexselectedPointerHexownerRootEndHexr7ownerFieldMapsownerLinkedCnsrhitLowOpcodeHexFblocked)z5find a strict map1_01a event/hotspot coordinate tablez=find a code path that ties a map1_01a source tile to map2_02dz+keep geometry-only exits in trial mode only)scriptLikeNeighborCountpointerLikeNeighborCountclassification proofFoundexitCoordinateContextProofFound"failedExitCoordinateContextGateIdsmissingEvidence evidenceRefsevidenceRefCount promotablepromotionStatus contextRowsremainingProofs conclusion)rrmr.r<rkr;rDr_nextsumrfrgrhrirjboolr0'FAILED_EXIT_COORDINATE_CONTEXT_GATE_IDSMISSING_EVIDENCE)rTr=rlrU right_exitrprqsamplehit_vaownercontexthit_rowscript_like_neighborsr/pointer_neighborsrr evidence_refss r# build_summaryrzsS!H$_5J .. ' -2 2 24 8 >BBffY%2G 7|qQRR QZF " %F 9f -EC62G:'::GSWSS(/F3}3EFF ;/GN4Kv4UZosuZu $ 0  T" 8 4 #M4$ &$ &$  $  aa $  rvvj) $  bffWo $  RVVN3$  FJJw'$  fjj+$  $vzz*<=>$  3vzz*<=CD$  e,4$  5 "67d$  e599\2$  E%))K0r$  E%))K0r!$ " 7>2#$ $$9$'(9$:(+0.U+% .$ !G$ $MGs  I! I!c@ddd|dd|ddd|d d d |d d d |ddd|dd|dd|dd|dd|dd|ddd|dd|dd|d dd!d"j|d#xsd$d%d"j|d&xsd$d'|d(d)|d*d+d"j|d,xsd-d.t|d/d0|d1d2|d3d4|d5d|d6dd7dd8d9g}|d:D]J}|jd;|d<d=|d>d?|d@dAd |d@dBdC|dDd?|dEdF|dGdF|dHdIL|jgdJ|jdK|dLD|jgdM|jdN|d/D|jgdO|dPD]B}|jdQ|dRdSd"j|j dTxsgxsd-D|jddUj|S)VNz(# map1_01a Right Exit Coordinate Contextz - route: `raz -> rb`z - tile: `rrd,rez` side `rcz- xy packed: `rz` hits rz aligned rz- hit: `rz ` section `rz` low opcode `rz- owner selector: `rz` root `rz`..`rz- owner field maps: , rnonez- owner linked CNS: rz- classification: rz- proof found: rz(- failed exit-coordinate context gates: r-z- missing evidence count: rz- evidence refs: rz- promotable: rz- promotion status: rrz## Context RowszD| va | value | u16 | low opcode | hit | script-like | pointer-like |z+| --- | --- | --- | --- | --- | --- | --- |rz| `rHz` | `rIz` | rJrrz | `rKrLz | rMrNz |)rz## Remaining Proofsrc3&K|] }d| yw- Nr rtr4s r#ruzmarkdown..D2dVDr)rz## Missing Evidencerc3&K|] }d| ywrr rs r#ruzmarkdown..rr)rz## Evidence Refsrrrr|z: r} )joinr<rRextendr.)summarylinesr/refs r#markdownrs2 WX&'tGH,=+>a@ GFOC()76?3+?*@QWHYYZ[ /0 8M7NiX_`sXtWuv 7:&'{7<3H2IX_`qXrWsstu go67x@W?XX\]dev]w\xxyz tyy1A)BCMvNO tyy1A)BCMvNO W%5678 ',/01 2499WEi=j3k3ror2st $S1B)C%D$EF G$6789 ./0 w'89:;    N5/ E2}%  #g,uS_$5T#e*Q-#e*UV-YN#$DWc#>S:T9UUXY\]jYkXlln p   LL01 LLD1B)CDD LL01 LLD1B)CDD LL-.~&V r#f+b37783D3J)K)Rs(STUV LL 99U r&cBdjd|dD}djd|dD}djd|dD}djd |d D}djd d d d|dd|dd|ddd|ddd|dd d|dd|dd|dd |d!d"|d#d$tjd%j|d&xsd'd( d)tj|d*d+|d,d-tjd%j|d.xsd/d0t|dd1|d2d3|d4d5tj|d6d7d8tj|d9d7d:|d;d<|d=d>|d=d?|d=g S)@Nrc3K|]v}dtj|ddtj|dd|ddd|ddd tj|d d|d d |d d |ddxyw)zrHzrIzrJrrrzrKrLz rMrNz Nhtmlescaperss r#ruzhtml_page..s   [[W./0[[Z1235z!}oQs5z!}o.[[^!45677|n()*+=!"#  sArrc3NK|]}dtj|dywz
  • 
    • Nrrs r#ruzhtml_page.. s#\tDKK-.e4\#%rc3NK|]}dtj|dywrrrs r#ruzhtml_page.. s#]$T[[./u5]rrc 3K|]\}dtj|ddtjdj|jdxsgxsdd^yw)z
  • r|z : rr}rrN)rrrr.)rtrs r#ruzhtml_page.. s_  T[[V-.i DIIcggV^N_NeceDfDmjm8n7ootusA"A$rzZmap1_01a Right Exit Coordinate Contextzz/

    map1_01a Right Exit Coordinate Context

    z

    Route raz -> rbz, tile rrdrrez, xy packed rz .

    z

    Hit rz low opcode rz; owner selector rz root rz..rz; owner field maps: rrrz.

    z

    classification: rz; proofFound: rz$; failedExitCoordinateContextGates: rrz; missingEvidenceCount: z; evidenceRefs: rz; promotable: rz; promotion status: rz

    z

    rzz
    vavalueu16low opcodehitscript-likepointer-like
    z

    Remaining Proofs

      z
    z

    Missing Evidence

      z

      Evidence Refs

        )rrrr<)rrYproofsmissingrefss r# html_pagers 99 =)  DWW\IZA[\ \Fgg]'J[B\]]G 77>* D 99f n9 '(+,GGH4E3FFZ[bci[jkn[oZppqry{AsBCFsGrHHabijwbxayyE F  +,,EgN_F`EaaAHIXAY@ZZmnuvDnEmFFUV]^oVpUqqLMQMXMXY]YbYbcjk{c|Y}YGAGMHLIIN O dkk'2B*CDE^T[\hTiSjkOPTP[P[\`\e\efmnRfS\T\[X[P\O]]uvyzABSzTvUuVVfgnoAgBfCCQRYZfRgQhh|}A}H}HIPQbIc}d|eei j dkk',/0 16 ^  'xu5 'y6 $TF%0 r&c|jdd|dz jtj|dddzd y) NT)parentsexist_ok%map1_01a_exit_coordinate_context.jsonFr) ensure_asciiindentrutf-8encoding)mkdir write_textjsondumps)rout_dirs r# write_outputsr"sD MM$M. 66BB 7q9D@Cr&c tj}|jdttdz |jdtt dz |jdtt dz |jdtt |j }t|jjtj|jjd tj|jjd }t||j t#d |j d z y) Nz--exer{)typedefaultz --selectorszsave_scene_selectors.jsonz--coordinate-refszmap_exit_coordinate_refs.jsonz --out-dirrrz*wrote map1_01a exit coordinate context -> r)argparseArgumentParser add_argumentrROOTOUT parse_argsrrT read_bytesrloadsr= read_textrlrrprint)parserargsrs r#mainr*s  $ $ &F dD=4HI  D#@[:[\ +$Fe@ef  $<    D  4>>++W+=> 4''1171CDG '4<<( 6t||Fm7m6n opr&__main__)r"r;returnstr)r/dictrr)r= list[dict]r>r;rz dict | None)rr) rTbytesrUrrVr;rWr;rXr;rr)rlrrr)rTrr=rrlrrr)rrrr)rrrrrNone)rr)*__doc__ __future__rrrrrPsyspathlibrr|insertr__file__resolveparentprobe_exe_scene_tablesrrrrrrfrgrhrirjrrrSr$r)r0rDr_rmrrrrr__name__r r&r#rsA" 3tH~--/6678> H~''* Ul  +' .3 0 EWt'T!H q  zFr&