UHj9f,dZddlmZddlZddlZddlZddlmZddlm Z ddl m Z ddl m Z e ejj dZed z Zd Zd Zddd d dZdddddZdddddZd ddddZgdZgdZdddgdd gd!dd"gd#dgZd>d?d$Zd@d%ZdAd&ZdBd'ZdCd(Z dDd)Z!dEd*Z"dFdGd+Z#dEd,Z$dHd-Z%dFdId.Z&dFdGd/Z'dGd0Z(dJd1Z)dKd2Z*dLd3Z+dMd4Z,dNdOd5Z-dPd6Z.dQd7Z/eef dRd8Z0dSd9Z1dSd:Z2efdTd;Z3dUd<Z4e5d=k(re4yy)VzHAudit route-exit candidates against original CNS layer1 collision flags.) annotationsN)deque)Path urlencode) load_mapsoutmap1_01amap2_02d)topbottomleftrightrrr rrr rrrrr)downuprr)zstrict-source-hotspotzselected-root-executionzreal-selector-2-0-savedataz(runtime-trace-or-equivalent-control-flow)z strict source coordinate/hotspotzselected-root execution proofzreal selector 2:0 captured savez.runtime trace or equivalent control-flow proofz out/maps.jszmap1_01a layer1 collision gridzmap2_02d layer1 collision grid)pathfieldszout/map_exit_candidates.json)exitCandidates targetHints collisionModepromotionStatuszout/runtime_movement.json)mapLoaderFunctionVaHexcnsLayer1CollisionGridVaHexcollisionFlagTabledirectionBlockBits"originalCollisionFlagTestsGroundedc"|dt|S)Nz /game.html?r)params web_prefixs E/home/exedev/hwanse/tools/summarize_original_collision_route_audit.pyweb_hrefr+Ks\Yv%6$7 88ct|dkDr tdS|dkr tdS|dkr tdS|dkDr tdSy)Nrrrrr)$ORIGINAL_LAYER1_DIRECTION_BLOCK_BITSdxdys r* direction_bitr3OsM Av3F;; Av3D99 Av3F;; Av3G<< r,c.tj|dS)Nrr) SIDE_VECTORget)sides r*side_directionr9[s ??4 ((r,c4|dkDry|dkry|dkry|dkDryy)Nrrrrrnoner0s r*side_name_for_vectorr=_s- Av Av Av Av r,c||dz|zS)Nwidthr<infotile_xtile_ys r* tile_indexrDks DM !F **r,cHt|||}|dd||dd|fS)Nlayersrr )rD)rArBrCindexs r*tile_atrHos7 tVV ,E >! U #T(^A%6u%= ==r,cRd|cxkxr|dkncxrd|cxkxr|dkScS)Nrr?heightr<r@s r* in_boundsrKts/  &g & G1+Gh+GG+GGr,cbt|||syt|||\}}|t||zdk(S)NFr)rKrHr3)rArBrCr1r2_layer1s r*layer1_flag_passesrOxs: T66 *ff-IAv ]2r* *q 00r,ct|||SN)rOr@s r*layer1_tile_passablerRs dFF 33r,c|d}||zdz }||zdz }|dz|z|dz|zf|dz|z|dz|zf|dz|z|dz|zf|dz|z|dz|zfgS)NtileSizerr<)rArBrC tile_sizepixel_xpixel_ys r*footprint_tiles_for_tiler\sZ Iy 2%Gy 2%G A+) #gly%@A B,9 $w| &AB A+) #gly%@A B,9 $w| &AB  r,c Dg}t||}t|||D]\}}||t|||d|dd} | dr9t|||\} } | j | | d| dd| dzd| |zdk(d n| j ddddd d |j | |S) N0x02x)xyinBoundsdirectionBitHexrb04xr.01xr)layer0rN layer1Hex lowNibbleHexpassesF)r3r\rKrHupdateappend) rArBrCr1r2checksbitfoot_xfoot_yrowrfrNs r*footprint_checksrqs F B C24H!$7!#C9~ 3  z?$T66:NFF JJ  !&."$Vd]3$7 8!Czcan_stand_at..s_s8}$_s)allrq)rArBrCr1r2s r* can_stand_atrxs# _0@vvWY[]0^_ __r,cP||z}||z}t|||syt|||||S)NF)rKrx)rArBrCr1r2target_xtarget_ys r*can_move_from_tiler|s6{H{H T8X . h"b 99r,c t}g}t|dD]}t|dD]}||f}||vs t|||s|j|g}t |g}|rw|j \}} |j || fdD]I\} } || z| | zf} | |vst|| d| ds(|j| |j | K|rw|j ||jtd|S)NrJr?)rrrrrr T)keyreverse) setrangerRaddrpopleftrksortlen) rAseen componentsrar`startcellsqueuecell_xcell_yr1r2 next_cells r*connected_componentsrs(!$D.0J 4> "%tG}% %AFE}$8q!$D HHUOE5'NE!& ff-.@,FB!'"frk :I D(0DT9UV.s753;!7s c3bK|]&}tdD]}t||rd(ywr?r N)rrxrurar`rAs r*rvzlayer1_stats..sC tG}%  a #  s,/rJnamer?rT layerTilesetstilesetc3dK|]'}tdD]}t||sd)ywr)rrRrs r*rvzlayer1_stats..sU&JAPUVZ[bVcPd&J1h|~BDEGHiIa&Ja&Js#0 0c3,K|] }|dzs dyw)r.r Nr<)rurs r*rvzlayer1_stats..s$K5edlQ$Ks ) mapr?rJrTr tileCounttileLevelPassableCounttileLevelBlockedCountfootprintStandableTileCountcomponentCountlargestComponentSizelowNibbleCountsdirectionBitBlockedTileCounts) r7r/itemssumrrrdictsorted) rArNlow_nibble_countsrr~rrmdirection_countsrfootprint_standables ` ` r* layer1_statsrs (^A F(*C54<$%!2!6!6sA!>!B#C >CCE D# c7777&d+JtH~&F|gx.$/2Ktxx 7J6K']T(^3"%&JtH~1F&J#J!$$KF$K!K':j/6@JqM 2a'8'>'>'@ AB)9 s E c.tfd|DiS)Nc3LK|]}|jdk(s|yw)rNr7)rurprs r*rvzsource_row..s Nswwu~7MNs$$)next)map_exit_candidatesrs `r* source_rowrs N 3NPR SSr,cj|jdxsgD]}|jd|k(s|cSiS)Nrtargetr) candidaterhints r*candidate_target_hintrs< m,2 88H  'K Ir,cV||d||d|dddd}|r d|d<||d<t|S)N,1originalLayer1Flags)r startTile focusTile collisionr overview routeAssisttrialTransitionstransitionTarget)r+)rr`rarr(s r* candidate_urlrsUs!A3Zs!A3Z. F%2!"%+!" F r,c |jdxsi}t|jd}t|jd}t|||\}}t|jdxsd\} } t | | } t ||} | jd} | jd}d}t | trt |trt|| |rt|| |\}}ttj| jdxsdd\}}|| jd| |||d|dd|dzd t|| |t ||t|| |||t|| |d }id|jdd|d|d |jd d |jd d k(xr|jddud|jdd|d|dd|ddd|dzd d| dt|||dt|||| | dt||| z|| zdt|||| | dt|||dt|||| | | |t|d||t|d|||dS)Nsampler`rar8r^rdr.re) rr8r`rarfrNrgrhoriginalStandableinwardDirectioninwardMoveAllowed reviewUrl edgeDistance autoTriggerr standableTtileClassStandablerfrNrgrhoutwardDirectionroutwardFootprintDirectionClearoutwardMoveWouldStayInBoundsoutwardMoveAllowedInsideMap footprintoutwardFootprintr) targetHinttargetSpawnOriginalLayer1FlagsrrouteAssistUrl) r7intrHr9r=r isinstancerK OPPOSITE_SIDErxr|rrq) source_info target_inforrrsource_xsource_yrfrNr1r2direction_name target_hintrzr{ target_spawn target_layer0 target_layer1 inward_dx inward_dys r*audit_candidaters! ]]8 $ *F6::c?#H6::c?#H[(H=NFF IMM&17R 8FB)"b1N' 6:Ks#Hs#H-1L(C Z#%>9[ZbdlCm'.{Hh'O$ }-m.?.? PV@W@][]_a.bc 9OOF+##mC01 !5c :;!-k8X!N3IyI!3K8U^`i!j&vxB    f%  X  X   n5   y}}^49]fjj>UY]>]   fjj5   &  &  r&&  "Vd]3/0  N  \+xJ  ),{HhXZ\^*_  ' +x"}hY[m(\  &'9+xQY[]_a'b  %k8XF! " ,[(HbRTU# $"*6";v#6(K' F(;XxQWX+ r,c f|jdxsgDcgc]Y}|jdxsgvs>|jdxsgvs'tfd|jdxsgDr|[}}|Dcgc]}t|||}}|jd|Scc}wcc}w)NrblockedTargetCandidatesselectorTargetCandidatesc3FK|]}|jdk(yw)rNr)rurrs r*rvz#route_candidates..Js_$"f,_s!rctjt|jdd|jdxsd|jdxsd|jdxsdfS)Nr8crrr`ra) SIDE_ORDERr7str)rps r*z"route_candidates..Msxz~~c#''&/.BBGQ_I`Iedegjgngnorgsgxwxz}{B{BCF{G{LKLMr,)r~)r7anyrr)source_exit_rowrrrr candidatesrowss ` r*route_candidatesrDs),,-=>D"  imm$=>D" E imm$>?E2 F _9==;W;][]_ _ J[e eYOKi H eD eIIMIN K fs AB)=B.cd||}||}t||}t||}t||||}td|D} td|D} iddd||dddd d d d d d dd dttddddddddt j D cic] \} } | d| dc} } dd|jd|jd|jdt|jdxsg|jd|jd d d!|jd|jd|jdt|jdxsg|jd d"d#|t||t|id$t|d%| d&| d'| t|k(xr t|| t|k(xr t||tttttttt|d(|d)d*Scc} } w)+Nc3HK|]}|jddusdyw)rTr Nrrts r*rvz build_summary..\s"#d#swwGZ?[_c?cA#ds""c3lK|],}|jdxsijddurd.yw)rrTr Nrrts r*rvz build_summary..]s<$  GG4 5 ; @ @AT UY] ] $s24titlezOriginal Collision Route Auditroutesourcerr rr!zdiagnostic-onlypromotionAllowedF proofFound originalCollisionRouteProofFound#failedOriginalCollisionRouteGateIdsreasonzCNS layer1 collision flags can recheck geometry candidates, but they do not provide a strict source hotspot, selected-root execution proof, real selector 2:0 save, or runtime trace.runtimeMappingzout/runtime_movement.* 0x0042449c 0x004319f8 0x0058d7d00x0fr^r_)rr"collisionHelperFunctionVaHexr#standabilityBlockMaskHexr%sourceTileClassExitSummarypassableTileCountrrpriority)r rrexitCandidateCountrr!targetTileClassExitSummary)r rrr r!originalLayer1MapStatsrouteCandidateCount%sourceOriginalStandableCandidateCount!targetOriginalStandableSpawnCount$allSourceCandidatesOriginalStandable -> z geometry candidates can be opened with collisionMode=originalLayer1Flags for collision review, but this is diagnostic only and keeps normal-route promotion blocked.) allTargetSpawnsOriginalStandablerouteCandidatesmissingPromotionEvidencemissingEvidence evidenceRefsevidenceRefCount conclusion) rrrlist(FAILED_ORIGINAL_COLLISION_ROUTE_GATE_IDSr/rr7rrbool)ORIGINAL_COLLISION_ROUTE_MISSING_EVIDENCE&ORIGINAL_COLLISION_ROUTE_EVIDENCE_REFS) mapsrrrrr source_exit target_exitrsource_original_standabletarget_original_standablerrms r* build_summaryr"Qs v,Kv,K0&9K0&9K!+{KPJ ##d#d d #$$! 9 19  9  . 9  ,9  E9  e9  +E9  .t4\/]9   p9  .&2,8+7(.ImIsIsIu"vID#42c#Y#7"v  !9 0 %(___=!,1D!E)oo.>?"%koo6F&G&M2"N# 3*/@A ' 19 @ %(___=!,1D!E)oo.>?"%koo6F&G&M2"N*/@A ' A9 N ! L- L-# O9 V s:W9 X 01JY9 Z ,-F[9 \ /0ISQ[_0\0qaefpaq]9 ^-FZ,X,m]abl]m%$()R$S IJCD FGhd6(#j jm9 9,#wsH,c|d}|d}|d}|d|}|d|}ddd|d|d dd dd dd |d d d|dd d|dd d|dd ddj|dd dt|dd d|dd d|dddj|ddddg|dDcgc]}d | c}dd!d|d"Dcgc]}d#|d$d%dj|d&!c}dd'dd(d)}||fD]D} |jd*| d+d,| d-d.| d/d,| d0d,| d1d,| d2d,| d3d,| d4d5F|jgd6|d7D]} | j d8xsi} | r7| j d9d:| j d.d;| j d<nd=} d>| d?d@| dAdB} |jd*| d9d,| d.d;| d<dC| dDd,| dEd,| dFd,| dGd,| dHd,| d,| j dFd=d,| d5|jddId|dJdgdKj|Scc}wcc}w)LNrrrr z # Original Collision Route AuditrzRoute: `r`z`originalLayer1Flags` rechecks the existing geometry-only exit candidates against the CNS layer1 collision flag grid identified in `out/runtime_movement.*`. This remains diagnostic-only and does not promote the route.z## Gatez- promotionAllowed: `rz- promotionStatus: `r!z- proofFound: `rz%- originalCollisionRouteProofFound: `rz*- failed original-collision route gates: `, rz- missingEvidenceCount: `rz- evidenceRefs: `rz - reason: rz - missing: rz## Missing Evidencez- z## Evidence Refsrz- `rz`: rz## Map Collision Statszx| map | size | layer1 passable tiles | footprint-standable tiles | components | largest component | low-nibble blocked |z1| --- | ---: | ---: | ---: | ---: | ---: | ---: |z| rz | r?r`rJrrrrrz |)rz## Route Candidatesrz| side | source tile | tileClass standable | original standable | outward flags clear | inside move | target spawn | target original standable | links |z<| --- | --- | ---: | ---: | ---: | ---: | --- | ---: | --- |rrr8 rra-z [review](rz), [routeAssist](r) L1=rgrrrrz ## Conclusionr )joinrrkextendr7)summaryrrr source_stats target_statsitemreflinesstatsrpr target_labellinkss r*markdownr6s  G E 8_F 8_F34V w'89:!< ',/02 /8Z0[/\\]^ 4TYYwGl?m5n4oopq #C0A(B$C#DAF G$678: WX&'( dii(B CDEF  1& 2#**;"< =$Btf+ =3& 4 5& 6 7& 8 9& >~. #f+c$))CM":!; < ;& B C& D !E& F G& H CI& J sCS?T>UUVW V SS !CH:T#k:J9K3'()S1D-E,Fc345S=Z9[8\\_nC 0 01Dc JK3ugUW Y    LL     99U _ > s ' I$Ic|d}|d}|d}|dDcgc]}dtj|d}}|dDcgc]F}dtj|d d tjd j|d dH}}g}|d ||d |fD]u} |jdjddtj| ddd| dd| ddd| ddd| ddd| ddd| ddd| dddg wg} |dD]]} | j dxsi} | r7| j dd| j dd | j d!nd"} | jdjddtjt | ddd| dd | d!d#tj| d$dd| d%dd| d&dd| d'dd| d(ddtj| ddtjt | j d&d"dd)tj| d*d+tj| d,d-dg `djgd.d/d0d1d2d3d4d5d6d7d8d9d:d;d<d=d>d?d@dAdBdCdDtj|dEtj|dFdG|dHdItj|dJdKtj|dLdMdN|dOdP|dQdRtjd j|dSdTt |ddU|dVdW dXdY|dZd[dY|dZd\d]d^d_|d`dadbd]dcd_| d`daddtj|dedMdfdgdhScc}wcc}w)iNrrrrz
  • z
    • rz
  • rz : r%rr r*zz rzr?r`rJrrrrrzrrr8r&rrar'r)rgrrrrz review, routeAssistzzzz zF z/ Original Collision Route Auditz zzz)

    Original Collision Route Audit

    z

    Route z -> z. The audit rechecks geometry-only exit candidates with originalLayer1Flags and keeps promotion diagnostic-only.

    z

    promotionAllowed=rz, promotionStatus=r!z . rz

    z

    proofFound=rz0, originalCollisionRouteProofFound=rz5, failed original-collision route gates=rz$, missingEvidenceCount=z, evidenceRefs=rz .

    z

    Missing Evidence

    z
      z
    z

    Evidence Refs

    z

    Map Collision Stats

    z z z z z
    mapsizelayer1 passablefootprint standablecomponentslargestblocked
    z

    Route Candidates

    z sidesource tiletileClassoriginaloutward flagsinside movetarget spawntarget originallinksz

    rzzr)htmlescaper+rkr7rr)r-rrrr0 missing_itemsr1evidence_ref_items stats_rowsr3candidate_rowsrprr4s r* html_pager>s G E 8_F 8_FELM^E_`Tx D 12%8`M` >*  T[[V56i{{499S]345U <J23F;WE]=^_e=fg   IIU5\2359w(%/):%@789?<=>eD/017567u=678>     N() ww?@FB '(,*:*:3*?)@,BRBRSVBWAX Y!$   IISV%567u=S !CH:T$++c+>N2O1PPUV12359012%8=>?uE:;"?!@@WX\XcXcdghxdyXzW{|RS    * 99::: : # : Q : : : : r: 1: 7: ;: X: c: t: ]: '!:" ;#:$ 6%:& ':( ):* +:, 4-:. DKK/0 F8K7LMU V/:0 'w/A'B&CCbcgcncnovxIpJdKcLLUVZVaVabijrbsVtUuuy z1:4%W\%:$;<66=>`6a5bc;;?;;sxxPWX}P~Gl  L5:@ &A:B C:D E:F G:H #I:J K:L M:N O:P )Q:R S:T gU:V W:X Y:Z [:\ ]:^ &_:` a:b Pc:d e:f g:h i:j k:l  GL12348m:n o:p q:r s:: :[as OA Oc|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz#original_collision_route_audit.jsonFr ) ensure_asciiindentr*utf-8encoding#original_collision_route_audit.html)mkdir write_textjsondumpsr>)r-out_dirs r* write_outputsrM]se MM$M. 44@@ 7q9D@A 44@@7AS^e@fr,ctjt}|jdtt dz |jdtt dz |jdt |jd t|jd tt |j}tt|jtj|jjd |j |j" }t%||j&t)d|j&dz y)N) descriptionz--mapszmaps.js)typedefaultz--map-exit-candidateszmap_exit_candidates.jsonz--source)rQz--targetz --out-dirrDrErz(wrote original collision route audit -> rG)argparseArgumentParser__doc__ add_argumentrOUT ROUTE_SOURCE ROUTE_TARGET parse_argsr"rrrJloadsr read_textrrrMrLprint)parserargsr-s r*mainr_fs  $ $ 9F tS9_E /dCJdDde  L9  L9  $<    D$)) 4++55w5GH{{{{ G '4<<( 4T\\Di5i4j klr,__main__)z../web)r(zdict[str, str]r)rreturnr)r1rr2rrar)r8rratuple[int, int])r1rr2rrar)rArrBrrCrrar)rArrBrrCrrarb)rArrBrrCrrarr5) rArrBrrCrr1rr2rrar)rArrBrrCrrazlist[tuple[int, int]]) rArrBrrCrr1rr2rra list[dict])rArrazlist[list[tuple[int, int]]])rArrar)rrcrrrar)rrrrrarrQ) rrr`rrarrz str | Nonerar) rrrrrrrrrar) rrrrrrrrrarc) rzdict[str, dict]rrcrrrrrar)r-rrar)r-rrLrraNone)rard)6rT __future__rrRr8rJ collectionsrpathlibr urllib.parsersummarize_map_tilesr__file__resolver@ROOTrVrWrXrr6rr/rrrr+r3r9r=rDrHrKrOrRr\rqrxr|rrrrrrrr"r6r>rMr___name__r<r,r*rnsN" ") H~''* Ul  !Q ;     !E7VT     ($ ,( -) , , / ,  #*&<9 ) +> H14 >`:2DT 2j   J J#J J  J  JZNbk\25gm$ zFr,