UHj9udZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZe ej!j(dZedz Zd Zd Zed z ed z Zed z ed z Zddd ddZdddddZdZgdZgdZdddgdddgddddgdgZ dd"Z#d?d#Z$d@d$Z%dAd%Z&dBd&Z'dCd'Z(dCd(Z)dDd)Z*dEd*Z+dFd+Z,dGd,Z-dHd-Z.dId.Z/dJd/Z0dKd0Z1dLd1Z2dMd2Z3dNd3Z4dOd4Z5dPd5Z6dQd6Z7eedf dRd7Z8dSd8Z9efdTd9Z:dUd:Z;e map2_02d owner for a CNS coordinate matchz3>r#c ht|dkr tdtj|ddd}tj|ddd}||z}d}||dzz}||dzz}|dks|dks|t|k7r td|d|d|d t||||t|dd|||dz|d S) Nz5decoded CNS payload is too short for a tilemap headerrr littlez2decoded CNS payload is not a 2-layer u16 tilemap: xz , expected z, got ) widthheight tileCount decodedSize headerOffset headerSize layer0Offset layer1Offset layerByteSizestructuredPayloadEnd)len ValueErrorr/ from_bytes)decodedr6r7 tile_count layer0_offset layer1_offset expected_sizes r! parse_tilemaprHAs 7|aPQQ NN71Q< 2E ^^GAaL( 3FJM!JN2M!JN2M zVq[MS\$A@gQvhk-s7|n N  7|%%#a -  r#c|jdxsi}tj|jddt|jdxsdt|jdxsdfS)Nsamplesidecyrr5)get SIDE_ORDERr/) candidaterJs r!candidate_sort_keyrQ]s` ]]8 $ *Fy}}V,b1 FJJsO q! FJJsO q! r#cg}|D]}|jdtk7r|jdxsgD]}|jdxsi}g|jdxsg|jdxsg}|jd}|jd}t|vsot|tst|ts|j |i}|D]L} | jdxsi}| || jd|jd|jdf<Nt |jt S) NmaprrJrselectorTargetCandidatesr5rMrKkey) rNSOURCETARGETr.r/appendsortedvaluesrQ) map_exit_candidatesrowsmap_rowrPrJtargetsr5rMuniquerows r!exit_candidatesrbfs< D& ' ;;u  '  %56<" 'I]]8,2F-- 9:@b-- :;ArG 3A 3A Z3%7Jq#z%span_corner_points..sP%z%%Psr5z span min/minz span max/minz span min/maxz span max/maxrM)rNallsetaddrY) rPryrzstartendp_startp_endpointsseenr]labelr5rMs r!span_corner_pointsrsE == &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|d}|d}|d}|d}||z}|dks||k\rddddS||krd }|} d } n0||krd }|} ||z d zdk(} | rd nd} nd}|} ||z d zdk(} | rdnd} || kDr|d} || || kDdS)Nr;r<r=r?routside-structured-map-payloadF)sectionclassificationcrossesSectionheadertilemap-header-byte-collisionlayer0r #layer0-aligned-tile-index-collisionlayer0-byte-overlap-collisionlayer1#layer1-aligned-tile-index-collisionlayer1-byte-overlap-collisionz-boundary-crossing-collision) tilemapoffsetlength header_end layer0_start layer1_startstructured_endrr section_endraligneds r!classify_offsetrs&J>*L>*L34N 6/C zV~-7>#    8 , " L(A-2 20  $ L(A-2 20   [#9$@A( + r#c^|d}|d}|d}||cxkr|kr nnd}||z }n||cxkr|kr niSd}||z }niS|dz}|dzdk(} ||dz} ||dz} |dk(r|n||dzz} d} | dzt|krtj|| | dzd} || || | d | t| d S) Nr<r=r?rrr r6r4rf)layer alignedU16 tileIndextile tileValue tileValueHex)r@r/rBr1)rCrrrrrrrel tile_indexrtile_xtile_y word_offsetr0s r! tile_contextrs>*L>*L34Nv, ,|#  0. 0 |# JAglG ''* *F 77+ +F#(A:<<:PQ>QK EQ#g,&w{;?CXN6*   r#cdddddddjt|jdd }|t|jd xsdfS) Nrrr r r3)rrrrrrrr)rNstrr/)raprioritys r! hit_priorityrs[*+)*/0/0)*)*  c#cgg&' (!,  S*/a0 00r#c0i}i}d}d}d} gd} |j|| } | dkrnD| dz} t|| t|} | d} | d}|j| ddz|| <|j|ddz||<| dzdk(r|dz }| dzdk(r|dz }| dz } | d| d| || d | dzdk(| dzdk(t ||| t |t d| d z tt|| t|zd zd }ttkrj|nEt|t d Dkr't ttfd }||<]||t || ||tt|jtt|j|jdd|jdd|jdd|jddzttd S)Nrrrrr r3r*r+r) r offsetHexrrralignedU16OffsetalignedU32Offset tileContext contextHexc32K|]}t|ywrrritems r!rzscan_pattern..6s(Pd);(Psc t|Srr)indexsampless r!zscan_pattern..7s|GTYN?[r#rUrrrr) rr patternHexhitCountalignedU16HitCountalignedU32HitCount sectionCountsclassificationCountsoutsideStructuredHitCountheaderHitCount layerHitCountr)findrr@rNrr(maxmin SAMPLE_LIMITrYrrangedictrZitems)rCrrrpatternsection_countsclassification_countsaligned_u16_countaligned_u32_count hit_countsearchhit classifiedrrcontextworstrs @r! scan_patternrsX%'N,.IG F ll7F+ 7 q$Wc3w<@ Y'#$45"0"4"4Wa"@1"Dw0E0I0I.Z[0\_`0`n- 7a<  "  7a<  " Q c#Y,()9: #a1 #a1 '#>#GC37OSWsUXY`UaOadeOe=f$gh   w<, & NN7 # ' "S(P(P%P Pc'l+1[\E$GEN= @(//f^%9%9%;<= $V,A,G,G,I%J K%:%>%>?_ab%c(,,Xq9'++Ha8>;M;MhXY;ZZ'|4  r#c"||ddddiidddgdd S)Nr,rT) rrrrrrrrrrrrskippedOutOfRanger)rrs r! skipped_scanrIs3 "%&! r#c >|jdxsi}t|jdxsd}t|d}t|d}tj|d\}}||z}||z}d||dfd||d fd |d z|d zdfd |d z|d zd fd ||dfd ||d fgS) NrJrKr5rMrsrrjyxz one-basedroutside)rNrr/rt) rPrJrKr5rMrurv outside_x outside_ys r!coordinate_variantsr[s ]]8 $ *F y}}V$* +D F3KA F3KA __T6 *FBBIBI At At a!eQUD) a!eQUD) Iy$/ Iy$/  r#cg}g}g}t|D]T\}}}} | dk(r t||n t||} |d| } | |jt| dn7t ||| d| } | j ||d| d|j| t ||| } |d| }| |jt|dn7t |||d| } | j ||d| d|j| t||| }|d| }||jt|d t |||d |} | j ||d| d|j| W|||fS) Nrjz byte z byte-pairrf)point packedOrderz word-pair zu16-pairz packed-u32 z packed-u32)rrgrYrrupdaterorq)rCrrP byte_scans word_scans packed_scanskindr5rMrn byte_pattern byte_labelra word_pattern word_labelpacked_pattern packed_labels r!scan_coordinate_patternsrmsJJL0;%aE+0D=z!Q'jA>N vVE7+     l:{C Dw[,WC JJqq!1%H I   c "!!Q. v[0     l:zB CwZVC JJqq!1%H I   c ")!Q6|E73  !    \< H Iw|^\C JJqq!1%H I    $5%6 z< //r#c  |jdxsi}t|jdxsd}t|d}t|d}g}g}dt|||D cgc] \} } d| | f c} } fdt |fg} | D]p\} } | sHdD]B}|j t | d |d |j t | d |d DQdD]}g}g}| D]d\}} } |d k(r t| | n t| | }t| | |}|g}|g}|||j ||Q|T|j |f|r3|j t||| d |d dj|n |j t | d |d |r3|j t||| d |d dj||j t | d |d s||fScc} } w)NrJrKrr5rMz axis 3-pointz span corner)rjrz byte sequence z byte-sequencez word sequence z u16-sequencerjr#) rNrr/rwrrYrrgrorjoin)rCrrPrJrKr5rMbyte_sequencesword_sequencespxpysequence_specs label_prefixrrn byte_parts word_parts_label byte_part word_parts r!scan_sequence_patternsr s ]]8 $ *F y}}V$* +D F3KA F3KANN 7GaQR7STVR4R.TU *956N!/+m f% m%%ll^?SXRY3Z\k&lm%%ll^?SXRY3Z\j&kl m !% mEJJ"( 1B274-Jr2.ZPRTVEW &r2u5 $!#J$!#J)i.C%%i0)i.C%%i0 1%% '.w?', %%ll^?SXRY3Z\k&lm%% '.w?&, %%ll^?SXRY3Z\j&klK% m +mX > ))_Us%Hc,tfd|DS)Nc3ZK|]"}t|jxsd$yw)rN)r/rN)rrarVs r!rzsum_key..s#6#s3773<$1%6s(+)sum)r]rVs `r!sum_keyrs 66 66r#ci}|D]R}|j|xsijD]*\}}|j|dt|xsdz||<,Ttt |jS)Nr)rNrr/rrZ)r]rVcountsrarcounts r! merge_countsrs|FC WWS\/R668 CLE5"JJua03uz?BF5M CC v||~& ''r#c<|jdxsi}|jd}t|d}t|d}t|||\}}} t|||\} } g||| | | } t | d} id|d||dd|jdxsid |d |d | d | d | dt |ddt |ddt | ddt | ddt | dd| dt | ddt | ddt | dd| dkDiS)NrJrKr5rMrrrfry bytePairScans wordPairScanspackedU32ScansbyteSequenceScanswordSequenceScansbytePairHitCountrwordPairHitCountpackedU32HitCountbyteSequenceHitCountwordSequenceHitCountrrr strictCnsCoordinateEvidenceFoundr)rNr/rr rr)rCrrPrJrKr5rMrrrrr all_scansoutside_hit_counts r!scan_candidater!s ]]8 $ *F == D F3KA F3KA+CGWV_+`(J L%;GWi%X"NN[*[z[L[>[N[I +FG  aa    f%+        ,   ^  ^  GJ ;  GJ ;  W\:>   C   C  $%6  ')-=>  Or?) rr9r6r7r8r;r<r=r>r?)r read_bytesrHr relative_toROOT)rrCrs r!cns_payload_summaryr&sT__./GG$GD$$T*+}-!(#[)l+// 1 '(> ?  r#c t|j}t|}||nttdz g}t |}|Dcgc]}t |||}}g}|D]} |j| jdxsg|j| jdxsg|j| jdxsg|j| jdxsg|j| jdxsgtd|D} td|D} td |D} td |D} td |D}td |D}td |D}td|D}|dkD}idt|d| d| d| d| d|dtd|Ddtd|Ddtd|Ddtd|Ddtd|Dd |d!|d"|d#t|d#d$|}d%|d&d'|d(d)|d*d+t|d,|d- }id.td/td0t|d1t|dt|d| d| d| d| d|d|dd|dd|dd|dd|dd |d!|||d#||rd2nd3|||rgnt|rgnt t"tt"|||d4 Scc}w)5Nmap_exit_candidates.jsonrrrrrc3XK|]"}t|jdxsg$yw)rNr@rNrras r!rz build_summary..#bss377?#;#ArBb(*c3XK|]"}t|jdxsg$yw)rNr*r+s r!rz build_summary..r,r-c3XK|]"}t|jdxsg$yw)rNr*r+s r!rz build_summary..s$dCGG,<$=$C Ddr-c3XK|]"}t|jdxsg$yw)rNr*r+s r!rz build_summary..$"js3sww/B'C'Ir#J"jr-c3XK|]"}t|jdxsg$yw)rNr*r+s r!rz build_summary.. r1r-c3@K|]}|jddyw)rrNrNr+s r!rz build_summary..!scCGG$?Ccc3@K|]}|jddyw)rrNr4r+s r!rz build_summary.."sWC377#3Q7Wr5c3@K|]}|jddyw)rrNr4r+s r!rz build_summary..#sU##''/15Ur5rcandidateCountbytePairScanCountwordPairScanCountpackedU32ScanCountbyteSequenceScanCountwordSequenceScanCountrc3@K|]}|jddyw)rrNr4r+s r!rz build_summary..,^3(:A >^r5rc3@K|]}|jddyw)rrNr4r+s r!rz build_summary..-r?r5rc3@K|]}|jddyw)rrNr4r+s r!rz build_summary...s `S)./#f3CGG,BA$F#fr5rc3@K|]}|jddyw)rrNr4r+s r!rz build_summary..0rCr5rrrrrzDecoded map1_01a.cns does not contain a separate strict exit-coordinate payload for map1_01a -> map2_02d. The file is exactly a r6r5r7z two-layer u16 tilemap (r9z^ bytes), so coordinate-like hits are confined to the header or layer tile-index bytes. Across z! route candidates the scan found z hit(s) outside the structured tilemap payload. CNS payload matches remain tile-index collisions, not promotable hotspot evidence.sourcetarget sourceCns targetCnszready-for-reviewblocked) rrrpromotionStatus proofFound"exitCnsPayloadCoordinateProofFoundfailedExitCnsPayloadGateIdsmissingEvidence evidenceRefsevidenceRefCountcandidateSummariesfalsePositiveSummary conclusion)rr#rHr"OUTrbr!extendrNr r@rrWrXr& FAILED_EXIT_CNS_PAYLOAD_GATE_IDS!EXIT_CNS_PAYLOAD_MISSING_EVIDENCEEXIT_CNS_PAYLOAD_EVIDENCE_REFS)source_cns_pathtarget_cns_pathr\source_decodedsource_tilemap candidatesrPcandidate_summariesall_candidate_scansrabyte_pair_scan_countword_pair_scan_countpacked_u32_scan_countbyte_sequence_scan_countword_sequence_scan_countr header_hit_countlayer_hit_count strict_foundfalse_positive_summaryrSs r! build_summaryris $O$>$>$@AN">2N1D1P-V_ (( W!!45J$  ~~yA"G""377?#;#ArB""377?#;#ArB""377+;#<#BC""377+>#?#E2F""377+>#?#E2F G bNabbbNabbdPcdd""jVi"jj""jVi"jjcObccWCVWWUATUUO$q(L#121 1 3  !9  !9  C^J]^^ C^J]^^ S `L_ `` #fRe#f f #fRe#f f *  $%6  -@BX Y +L!& !!/!8 9>(;S:TU = ) *+)*++LM^L_`n n & &  (9  (9   #12   1   1  3  !9  !9  23EF  23EF  34GH   67M N   67M N  *! " # $&7 67M N,81=-9".:-9r?_!-23T6 >?1 6 = [s L c$djd|jdxsgD}djd|jdxsijD}|jdxsi}djddd d d d d dddtj|dddtjt |ddtjt |ddtjt |jddtjt |jddtjt |jddtjt |dd d tjt |d!d"tjt |d#d"tjt |d$d%tjt |d&d"tjt |d'd(tjt |d)d"tjt |d*d"tjt |d+d,tjt |d-d.d/tjt |jd0d1tjd2j|jd3xsgxsd4d5tjt |jd6d.d7d8djd9|jd:xsgDd;dxsgDd;d?d@|dAdBdC|dAdDdEdFgS)GN c3K|]V}dtjt|jddtjt|jdxsijddtjt|jdxsijddtjt|jdd tjt|jd d tjt|jd d tjt|jd d tjt|jd d tjt|jdd tjt|jdd tjt|jdd tjt|jddYyw)zrKzrr5,rMrz rrrrrrrr N)htmlescaperrNr+s r!rzhtml_page..as  {{3swwv/012[[cggfo&;%@%@%E!FGH ;;sCGGFO1r66s;< = >?{{3sww'9:;<=>{{3sww'9:;<=>{{3sww':;<=>?{{3sww'=>?@AB{{3sww'=>?@AB{{3sww'789:;<{{3sww789:;{{3sww'BCDEFG{{3sww'IJKLMN sIIrQc 3K|]H\}}dtjt|dtjt|dJyw)zrnroN)rprqr)rrVr0s r!rzhtml_page..rsS$ C  [[S*+,{{3u:&'( $sAArrGzzzz z/ map1_01a Exit CNS Payload Scana zzz)

map1_01a Exit CNS Payload Scan

z

rSz

z

Route: rEz -> rFz; source CNS rz r6r5r7z; promotion status rJz .

z)

Scan: byte/word/packed scans r9/r:r;z; byte/word sequence scans r<r=z; header/layer/outside hits rrrz!; strict CNS coordinate evidence rz.

z

proof found: rKz.; failed exit CNS payload gates: rmrMr,z; evidence refs: rPz

Missing Evidence

z
    c3NK|]}dtj|dyw)z
  • 
    • N)rprqrs r!rzhtml_page..s#g$HT[[./u5gs#%rNz
z

Evidence Refs

c 3K|]m}dtjt|jddtjdj |jdxsgdoyw)z
  • rz : z, rruN)rprqrrNr)rrefs r!rzhtml_page..se T[[SWWV_)=>?y{{499SWWX%6%<"=>?u F sA3A5rOz

    Candidates

    z z
    sidetilebyte hitsword hitspacked hitsbyte seqword seqheaderlayeroutsidestrict evidence
    z

    Classification Counts

    zL zzr)rrNrrprqr)summarycandidate_rowsclassification_rows source_cnss r! html_pager|`sYY;;34:N"))$ #;;'=>D"KKM $[)/RJ 99"9 e3  GL12348 [[WX%6!789:[[WX%6!789: $ C v0F,G HI{{3z~~g67894;;s:>>ZbKcGd;e:fg&&*kk#g>O6P2Q&R%SS_  a 8{{3w':;<=>a{{3w':;<=>a{{3w';<=>?@({{3w'>?@AB!{{3w'>?@ABC){{3w'789:;1{{3w789:!{{3w'BCDEFG.{{3w'IJKLMU T ({{3w{{<89:;<[['++6S*T*ZXZ![!b_bcde%%)[[W[[AS5T1U%V$WW\  ^ & g'++N_B`Bfdfgg"  {{>28b   %%%5 7 + VWjVkk{| AAA Ar#c|jdd|dz jtj|dddzd y) NT)parentsexist_ok#map1_01a_exit_cns_payload_scan.jsonFr ) ensure_asciiindentrkrr)mkdir write_textrdumps)rxout_dirs r! write_outputsrsD MM$M. 44@@ 7q9D@Ar#ctjt}|jdtt |jdtt |jdtt|j}t|j|jt|jdz g}t||jtd|jd z y) N) descriptionz --out-dir)typedefaultz --source-cnsz --target-cnsr()rYrZr\z(wrote map1_01a exit CNS payload scan -> r)argparseArgumentParser__doc__ add_argumentrrT SOURCE_CNS TARGET_CNS parse_argsrir{ target_cnsr"rrprint)parserargsrxs r!mainrs  $ $ 9F  $< T:F T:F    D%dll5O&OQSTG '4<<( 2 <<? ? @ Br#__main__)rrr rreturnr)r'rerr)r0z int | Nonerr)rCrerr)rPrrztuple[int, int, int])r\ list[dict]rr)r5r/rMr/r bytes | None)r5r/rMr/rnrrr)rKrr5r/rMr/rzlist[tuple[int, int]])rPrrzlist[tuple[str, int, int]])rrrr/rr/rr)rCrerrrr/rr)rarrztuple[int, int]) rCrerrrrrrrrerr)rrrrrr)rPrrzlist[tuple[str, int, int, str]])rCrerrrPrrz)tuple[list[dict], list[dict], list[dict]])rCrerrrPrrztuple[list[dict], list[dict]])r]rrVrrr/)r]rrVrrzdict[str, int])rCrerrrPrrr)rrrr)rYrrZrr\zlist[dict] | Nonerr)rxrrr)rxrrrrNone)rr)=r __future__rrrprrlsyspathlibrtypingrrinsertr__file__resolveparent decode_cnsrr~r%rTrWrXrrrOrtrrVrWrXr"r(r1rHrQrbrgrorqrwrrrrrrrrr rrr!r&rir|rr__name__rr#r!rsN" 3tH~--/6678% H~''* Ul   M !vhdO 3 M !vhdO 3 !Q ;      $ %!(4MOa3bc '4P3QR +8HJc7de"8 ?8;, $$ F(V< 14n$$0D7*t7(>$'&-1XXX+X Xv[|25$ zFr#
    classificationhits