UHjk.dZddlmZddlZddlmZddlZddlZddlZddl Z ddl m Z ddl m Z e jjdee ej%j&ddlmZmZmZe ej%j0dZed z Zd Zd Zd d ddZdddddZhdZhdZ gdZ!gdZ"dgdddgdddgddgZ#dAdZ$dAdZ%dBd Z&dBd!Z'dCd"Z(dDd#Z)dEd$Z*dFd%Z+dGd&Z,dHd'Z-dd(dId)Z.dJd*Z/dKd+Z0dLd,Z1 dMd-Z2dNd.Z3dOd/Z4dPd0Z5dQd1Z6dRd2Z7dSd3Z8dTd4Z9dUd5Z: dVd6Z;dWd7ZdZd:Z? d[d;Z@ d\ d]d<ZAd^d=ZBefd_d>ZCd`d?ZDeEd@k(reDyy)azKScan broader coordinate encodings for map1_01a -> map2_02d exit candidates.) annotationsN)Counter)Path)Any) offset_to_va read_sections va_to_offsetoutmap1_01amap2_02dright"sidexy)topbottomleftr>.data.text.rdata>r)zstrict-source-coordinateztarget-spawn-strict-coordinatezpromotable-coordinate-owner)z7strict map1_01a source coordinate evidence for map2_02dz:strict target-spawn coordinate evidence linked to map2_02dzQpromotable coordinate owner rather than selector-script/character-descriptor data Hwanse2.exe)rrr)pathfieldszout/save_scene_selectors.json)selectedPointer fieldMaps linkedCnszout/map_exit_candidates.json)exitCandidatesblockedTargetCandidatessamplecd|dS)N0x08xvalues L/home/exedev/hwanse/tools/summarize_map1_01a_exit_coordinate_variant_scan.pyhex32r0, c{ cd|dS)Nr*02xr,r-s r/hex8r50r1r2c|dz|dzdzzSNrr,rrs r/pack_xyr:4 JAJ2- ..r2c|dz|dzdzzSr7r,r9s r/pack_yxr=8r;r2cp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)r!fallbacks r/ load_jsonrG<s* ;;= ::dnngn6 77r2cN|D] }|d}||dz}||cxkr |ks|cS"y)Nrawraw_sizer,)sectionsoffsetsectionstartends r/section_for_offsetrPBsEgj)) F S N ! r2cvt||}||dzt|kDrytjd||dS)Nz'selector_owner_ranges..Xs $5 6r2keyr i`group:slotr$r%)selectorrootHex rootEndHexrNrOr$r%) isinstancegetintsort enumeraterTappendr0) selectorsr]startsrangesindexrNrOs r/selector_owner_rangesrqRs  cgg/0# 6 F  KK6K7 F'  s%&6;ai#f+6MfUQY 12S] 777+,Acggfo->?U|*-3-3     M's(C0c@|D]}|d|cxkr |dks|cSy)NrNrOr,)rorXr]s r/ owner_for_varsis5 w<2 *E *J + r2c0dddddj|dS)NfillBranchStateTablereadSelectedStateAndBranchselectActiveStateSlotselectMatchingRuntimeSlot)rrrrotherrh)opcodes r/selection_operationr|ps&$*%)    c&' r2missingct}|D]0}|j|}|||}|t|xxdz cc<2tt |j S)Nr )rrhstrdictsorteditems)rowsr`r~counterr]r.s r/ count_fieldrysc#IG!  =EE q  ! w}}' ((r2ct}|D]&}|j|j|xsi(tt |j SN)rupdaterhrrr)rr`rr]s r/merge_count_mapsrsG#IG+swws|)r*+ w}}' ((r2c|dz}|tvry|r,|jddk(rd|jdxsgvry|r7t|jdxsgvrt|jdxsgvry y ) Nsave-selector-selection-opcoderd24:0z cara_at1.cnsr%z character-descriptor-script-wordr$selector-script-wordzunclassified-data-word)SELECTION_OPCODESrhSOURCETARGET)r.ownerr{s r/ classify_hitrsy T\F ""/ :&&0^ R]H^Hdbd5e1 EIIk28b9fS^I_Iece>f% #r2c t||}| |dtvryt||}|yt||}|dz}|dz dz} |dz dz} ||dz dzdk(} t ||d| t ||dz|dz t |t ||d d } |r%| j|d |d |d |dddd|tvr0| jt|t | t | dg} t|dz |dzdD]I}t|||}|| jt |t |t |dz||k(dK| | d<| S)NnamerrrIrRrr8F) vaHexrM dwordAlignedvalueHexu16Lou16Hi lowOpcodeHexclassificationpromotableCoordinateEvidencerdrer$r%) ownerSelector ownerRootHexownerFieldMapsownerLinkedCnsSample)selectionOperationselectionBufferOffsetHexstreamPlus1Hex)rrrisHit contextRows) rP SCAN_SECTIONSrrsr0r5rrrr|rangerYrl)rWrK owner_rangesrLr.rMrXrr{ stream_plus_1 stream_plus_2alignedr]contextitem_vavalue_ats r/hit_rowrs 62G'&/> h 'B z r *E T\FaZ4'Mb[D(M&!+q0Gr6?%L"V &ue4(- C  ":.!),#K0$)+$6r$:   "" "5f"=(,](;"=1  GdBIq1  sHg6   7^h D1]    !C  Jr2cptjd|}g}i}d}d} |j|| } | dkrnQ| dz} t|||| |} | 0|j | |j | dddz|| d<| dr|dz }i|D cgc]} | j ddvr| } } |D cgc]} | j dd k(s| } } |D cgc]} | j dd k(s| }} |D cgc]} | j d dus| }} | D cgc]} | j d dur| }} id |d t |dt|d|dtt|jdt| dt| dt|dt|ddt|dddt| ddt| ddt|ddt|dt|dt|dk(dt|dk(d | dd!iScc} wcc} wcc} wcc} wcc} w)"NrSrTr rMrr>0:01:02:0rrrrlabelrhitCountalignedHitCount sectionCountsinterestingHitCountcurrentRootHitCountcharacterDescriptorHitCountclassificationCountsrownerSelectorCountsunownedr}interestingClassificationCountscurrentRootClassificationCounts'characterDescriptorClassificationCountspromotableHitCountinterestingPromotableHitCountallHitsNonPromotableallInterestingHitsNonPromotablehits) rUpackfindrrlrhr0rTrrrr)rWrKrrr.patternrsection_counts aligned_countsearchrLr] interestingcurrent_root_hitscharacter_descriptor_hitspromotable_hitsinteresting_promotable_hitss r/ scan_valuerskk$&G D%'NM F '6* A: !c8\65A ;  C)7););C NA)NQR)Rs9~& ~  Q M  77? #'D D K)-R0HE0QRR04 [8PTZ8Z [ [&*^scgg6T.UY].]s^O^"# 771 2d : ##  E%L  CI  =   f^%9%9%;<=   s;/   s#45  &s+D'E   D2B C  {4)T  *;{DT+U  *;7HJZ+[  2; % 4  " c/2# $ (-H)I% & O 4 9' ( *3/J+Kq+P) *  CR + S [^#s0 H/H$ H$H)-H)7H.H.H3c `djd|D}g}d} |j||}|dkr |S|dz}t||}t||}| | |dtvrH|j t ||d||dz dzdk(|D cgc] } t | c} dcc} w) Nr2c3HK|]}tjd|yw)rSN)rUr.0r.s r/ z scan_sequence..sDEv{{4/Ds "rr rrIrR)rrMr valuesHex)joinrrPrrrlr0) rWrKvaluesrrrrLrMrXr.s r/ scan_sequencershhDVDDG D F '6* A:  K!$Xv6 (F + :GFO=,P  2Yv#gen49Q>4:;5%,;    .1s)!xx)V3s$& targetHintsrrrr9span standable reviewUrltrialUrl)rrrr targetHintrrr_rrr)rrrrrrrr/rr) rhrnextrrgrirlrr RIGHT_EXIT)map_exit_candidates candidates source_rowrr(targets target_hints r/exit_candidates_from_map_exitsr%sJ) >>% F * #(89?R I]]8,2F-- 9:@b-- :;ArG%.]]=%A%GR K Z 3%E*U[U_U_`cUdfiJj!!%MM&1"(**S/ 3H%MM&17R!'K!8"-!*{!; ) j 9# 4j&899q!  r" b! 6" oJsO< + r2ct|}|D]n}|jdxsi}|jdtdk(s4|jdtdk(sP|jdtdk(sl|cS|dS)Nrrrr)rrhr)rrrrs r/candidate_from_map_exitsrbs/0CDJ }}V$* MM& !Z%7 7 C0 C0  b>r2ct|dk(rd||dz fS|dk(rd||dzfS|dk(rd|dz |fS|dk(rd |dz|fSd ||fS) Nrzoutside-top tiler rzoutside-bottom tilerzoutside-left tilerzoutside-right tilez outside tiler,rs r/ outside_tilerosp u}!1a!e++ x$aQ.. v~"AE1,, w#QUA-- 1a r2ct|||\}}}|dz}|dz}|dz }|dz } |dz} |dz} |dz} |dz} |dz}|dz}|dz}|dz}| dz}| dz}dt||fdt||fdt|dz|dzfdt|dz|dzf|d t||f|d t||fd t||fd t||fd t|| fdt|| fdt| | fdt| | f|dt| | f|dt| | fdt||fdt||fdt||fdt||f|dt||f|dt||fgS)Nrrrzexact tile x,yzexact tile y,xzone-based tile x,yr zone-based tile y,x x,y y,xzpixel x*16,y*16zpixel y*16,x*16z$runtime pixel origin x*16-16,y*16-16z$runtime pixel origin y*16-16,x*16-16z"runtime pixel center x*16+8,y*16+8z"runtime pixel center y*16+8,x*16+8z pixel x*16,y*16z pixel y*16,x*16z screen-bias pixel x*16+24,y*16+8z screen-bias pixel y*16+8,x*16+24z(screen-bias pixel center x*16+32,y*16+16z(screen-bias pixel center y*16+16,x*16+32z! screen-bias pixel x*16+24,y*16+8z! screen-bias pixel y*16+8,x*16+24)rr:r=)rrr outside_label outside_x outside_ypixel_xpixel_yorigin_xorigin_ycenter_xcenter_youtside_pixel_xoutside_pixel_yscreen_origin_xscreen_origin_yscreen_center_xscreen_center_youtside_screen_origin_xoutside_screen_origin_ys r/variant_valuesr{s*6tQ*B'M9i"fG"fG|H|H{H{H"nO"nOlOkO%)O%)O-2-1 71a=) 71a=) wq1ua!e45 wq1ua!e45 ?$ I!>? ?$ I!>? GGW56 GGW56 /81LM /81LM -wx/JK -wx/JK ?* +W_o-VW ?* +W_o-VW +W_o-VW +W_o-VW 3W_o5^_ 3W_o5^_ ?; wx ?; wx) r2ct}g}|D]4\}}}||f}||vr|j||j|||f6|Sr)setaddrl)pointsseenrrrrr`s r/ unique_pointsrsZ 5D D# q!!f $;    UAqM" # Kr2c|jdxsi}|jd}|jd}|jd}|jd}|jd}td||||fDsgS|dk(rtd ||fd ||fd ||fd ||fgS|d k(rtd ||fd ||fd ||fd ||fgSgS)NraxisfromtoperpendicularFromperpendicularToc3<K|]}t|tywr)rgrirs r/rz%span_corner_points..sh%z%%hsrz span min/minz span max/minz span min/maxz span max/maxr)rhallr)rrrrNrOperpendicular_startperpendicular_ends r/span_corner_pointsr&s == &BD 88F D HHV E ((4.C((#67!23 hE3@SUf3gh h  s{ U$7 8 S"5 6 U$5 6 S"3 4     s{ 0% 8 . 6 0# 6 . 4    Ir2c *g}t|D]\}}}|jt||||dt||||d|dd<d|dd<|jt||||dt ||||d|dd<d|dd<|S) Nrr9rpointxy packedOrderryx)r&rlrr:r=)rWrKrrr corner_labelrrs r/span_bound_scansr-s D0;' a JsHl|nDrrr r+)r=r:)rrr packed_orderrpxpys r/axis_sequence_valuesr=s   a!e*q!fq!a%j1q5!*q!fq1uaj1t.45FBB55*0 1BGBO 116 1s A+A1cTt||dz t||dz t||gS)Nrr )r=r9s r/opcode_sequence_valuesr?s+ Aq1u wq!a%0'!Q- @@r2c g}t|dz |dzD]}t|dz |dzD]}t||}t|||d|d||} | dD cgc]} | jddk(s| } } | sN|j ||d t |t | | dd td | Dd |Scc} w) Nrrz neighbor y,x ,rrrr9rRc3DK|]}|jddk(yw)rrNrzrr]s r/rz1neighborhood_current_root_hits..s'1Hsv9I1JNn1n1Hs )tileInterpretedAsXy yxPackedHexr sampleHitsallSamplesAreOpcodeShaped)rr=rrhrlr0rTr#) rWrKrrrrnxnyr.scanr] current_hitss r/neighborhood_current_root_hitsrMs DAE1q5! Aq1u% BBOEc8\]2$aPRt;TV[\D+/<]C377?;SW\;\C]L] KK-/b'9$U|'*<'8*2A.-01H{G1H.H     K^s B=/B=c |d}|d}|d}|jdxsd}t|||D cgc]\}} t||||| } }} | d} | d} | dD cgc]} | jd d k(r| }} | dD cgc]} | jd d k(r| }} t||t |||d }t||t |||d }t||t ||}t ||||}t|||}|jdxsi}g}t|jdtrt|jdtr|d}|d}|jdxsd}t|||D cgc]Q\}} it|||d|| d|jd||||jd|jddiS}}} td|D}td|D}id|d||dd|jdxsid|jdd|rs|jd|jd|jd|jd|jd|jd|jddnid|jdd|jdd| d|d|d |d!td"| Dd#td$| Dd%td&| Dd't|d(td)|Dd*td+|Did,td-|Dd.td/|Dd0t|d1d2t|d3d4t|d5d6t|d7d8t|d9d:|d;|d<|dk(d=|dk(d>td?|Dd@tdA|DdBtdC|DdDtdE|DdF| dGdHt|| dGt||t|||||t||ddIt||ddIt||ddIdJdJdK Scc} }wcc} wcc} wcc} }w)LNrrrrexitrr rrrrr)r+rrz target spawn targetSpawnr autoTrigger)rrrrrrQc3&K|] }|d ywrNr,rDs r/rz&summarize_candidate..A,&) !,c3&K|] }|d ywrNr,rDs r/rz&summarize_candidate..D814 +,8rUr9rprojectionDelta)rrrrrrQrYrr variantScanstargetSpawnVariantScansspanBoundScansspanSequenceScansrc3&K|] }|d ywrNr,rDs r/rz&summarize_candidate..["O#3'<#="OrUrc3&K|] }|d ywrNr,rDs r/rz&summarize_candidate..\r`rUrc3&K|] }|d ywrNr,rDs r/rz&summarize_candidate..]s*_RU3/L+M*_rUtargetSpawnVariantScanCounttargetSpawnHitCountc3&K|] }|d ywrNr,rDs r/rz&summarize_candidate.._"Qs3z?"QrUtargetSpawnInterestingHitCountc3&K|] }|d ywr_r,rDs r/rz&summarize_candidate..`-gSc2G.H-grUtargetSpawnCurrentRootHitCountc3&K|] }|d ywrbr,rDs r/rz&summarize_candidate..arlrU&targetSpawnCharacterDescriptorHitCountc3&K|] }|d ywrdr,rDs r/rz&summarize_candidate..b5w]`c:W6X5wrUtargetSpawnClassificationCountsrtargetSpawnOwnerSelectorCountsr*targetSpawnInterestingClassificationCountsr*targetSpawnCurrentRootClassificationCountsr2targetSpawnCharacterDescriptorClassificationCountsrtargetSpawnPromotableHitCount(targetSpawnInterestingPromotableHitCounttargetSpawnAllHitsNonPromotable*targetSpawnAllInterestingHitsNonPromotablespanBoundHitCountc3&K|] }|d ywrhr,rDs r/rz&summarize_candidate..us GSZ GrUspanBoundCurrentRootHitCountc3&K|] }|d ywrbr,rDs r/rz&summarize_candidate..v+]3C0E,F+]rU$spanBoundCharacterDescriptorHitCountc3&K|] }|d ywrdr,rDs r/rz&summarize_candidate..ws3m[^C8U4V3mrUspanSequenceHitCountc3&K|] }|d ywrhr,rDs r/rz&summarize_candidate..xs#NC O#NrUexactXyHitCountr"exactXyCharacterDescriptorHitCountr/F) exactYxHitCountexactYxCurrentRootHitCountcurrentRootYxHitsneighborhoodCurrentRootYxHitsxyRowSequenceHitCountxyRowSequenceHitsyxAxisSequenceHitCountyxAxisSequenceHitsyxOpcodeSequenceHitCountyxOpcodeSequenceHits(targetSpawnStrictCoordinateEvidenceFoundstrictCoordinateEvidenceFound)rhrrrr=r?r-r8rgrisumrTrrM)rWrKrrrrrrrr.scansexact_xyexact_yxr]current_root_yx_hitsexact_xy_character_hitsxy_axis_sequenceyx_axis_sequenceyx_opcode_sequence span_scansspan_sequencesrtarget_spawn_scanstarget_xtarget_y target_side!target_spawn_promotable_hit_count-target_spawn_interesting_promotable_hit_counts r/summarize_candidaters; V D S A S A == *FDWefgijlpWq r|ueZX|UE B rE rQxHQxH' 77? #u ,   ' 77? #v - %S(4HAtUY4Z[$S(4HAtUY4Z[&sH6LQPQ6RS!#xyIJ(h BN-- -3K+//#&,KOOC&?1)GXWcefhi)j!$%5!6-cr2"%&6"7.s3$'(:$; 23B 749).@ @U s  sQ7"Q=RARc  t|}||nttdz g}||nttdz g}t|}t |}|Dcgc]}t ||||}}t |}td|D|d}|D cgc]} | dD]} i| | d| dd} } } |D cgc]} | d D]} i| | d| dd} } } |D cgc]} | d D]} i| | d| dd} } } |D cgc]?} | jd xsgD]%} i| | d| d| jd xsid 'A}} } td|D}td|D}t|d}t|d}t|d}t|d}t|d}| D cgc]} | jdxsgD]k}|jddk(rU| jd| jd| jd| jd| jdd|m}} }|dD cgc]} | jdd k(r| }} |D cgc]} | jdd!k(r| }} id"t|d#t| d$t| d%t| d&|d'd(|d)d*|d+d,t|d-t|d.t|d/td0| Dd1t|d2td3|Dd4td5|Dd6td7|Dd8td9|Dd:||||||||d;k(|d;k(d }d?jd@|D}dAt|dB|dC}idDtdEtd"t|dF|dG|dH|dI|dJt|dKLd| d |d1t|d2tdM|Dd4tdN|Dd6tdO|Dd8tdP|Dd:|dQ|idR|dS|dT|dU|dV|dW|d;k(dX|d;k(dYd<d | d | dZ|d$t| d%t| d[td\| Dd-t|d/td]| Dd^d<id'|d'd)|d)d_|d_d+|d+d|dd`|d`da|db|dbdc|dcdd|ddde|dedfd<dgdhdidhdjd<dkd<dlt t"t$tt$|dmScc}wcc} } wcc} } wcc} } wcc} } wcc}} wcc} wcc} w)nNsave_scene_selectors.jsonmap_exit_candidates.jsonc3K|]9}|dtdk(r(|ddtdk(r|ddtdk(r|;yw)rrrrN)rrDs r/rz build_summary..sS 6{j00F C JsO3F C JsO3  s?ArrZrr) candidateSide candidateTiler\r]r[rP)rrrPc3&K|] }|d ywrSr,rDs r/rz build_summary..rTrUc3&K|] }|d ywrWr,rDs r/rz build_summary..rXrUrrrrrrrrrrrr(r)rrrr(rrrrrcandidateCountvariantScanCountspanBoundScanCountspanSequenceScanCountlegacyRightExactXyHitCountr-legacyRightExactXyCharacterDescriptorHitCountr%legacyRightExactYxCurrentRootHitCountr)legacyRightExactYxSelectionOpcodeHitCountspanCurrentRootHitCount%spanCurrentRootSelectorScriptHitCountrc3&K|] }|d ywrhr,rDs r/rz build_summary..#SC O#SrUrerfc3&K|] }|d ywrhr,rDs r/rz build_summary..rirUrjc3&K|] }|d ywr_r,rDs r/rz build_summary..rlrUrmc3&K|] }|d ywrbr,rDs r/rz build_summary..rlrUroc3&K|] }|d ywrdr,rDs r/rz build_summary..rqrUrrrFzRall current-root/descriptor hits are VM script words, not strict coordinate tables) rsrtrurvrwrxryrzrrr, c3NK|]}|dd|ddd|ddyw)r rrrBrNr,rDs r/rz build_summary..sA!  v;-qVS)*!CK,<+=>!#%zA broader scan of all z' map1_01a -> map2_02d exit candidates (a) still does not produce strict source hotspot evidence. The scan covers tile, one-based tile, outside tile, tile*16 pixel, runtime pixel origin, runtime pixel center, screen-bias projection, target-spawn coordinate variants, and outside pixel encodings, plus span corner/bounds encodings. The legacy right-exit exact x,y packed value appears only inside the cara_at1 descriptor script, not a map1_01a event table. The legacy right-exit y,x packed value has hits in the current selector root, but every current-root hit decodes as a save-selector selection opcode row with low opcode 0x13 and selection offset 0x22. Span-corner scalar values do appear in the current selector root, but no min/max span sequence is present and the current-root hits classify as selector script words rather than a strict coordinate table. Target-spawn variants also resolve their current-root hits to selector script words and their descriptor hits to cara_at1 character script words, with no promotable coordinate hit. That is VM control data, not a coordinate table. Keep map1_01a -> map2_02d blocked until a strict source hotspot, runtime trace, or equivalent trigger proof is found.sourcerrrlegacyRightExitCandidatecandidateSummaries bestCandidatec|d|dfS)Nrrr,r\s r/r^zbuild_summary..!s3G\C]_bcx_yBzr2r_c3&K|] }|d ywrhr,rDs r/rz build_summary..%rirUc3&K|] }|d ywr_r,rDs r/rz build_summary..&rlrUc3&K|] }|d ywrbr,rDs r/rz build_summary..'rlrUc3&K|] }|d ywrdr,rDs r/rz build_summary..(rqrUrsrtrurvrwrxryrzrspanCurrentRootHitsr}c3&K|] }|d ywrbr,rDs r/rz build_summary..<rrUc3&K|] }|d ywrhr,rDs r/rz build_summary..>rrU&spanBoundStrictCoordinateEvidenceFoundrrfalsePositiveSummaryrrrrrcontrolPathProofStatusblockedpromotionStatus proofFoundexitCoordinateVariantProofFound"failedExitCoordinateVariantGateIds)missingEvidence evidenceRefsevidenceRefCount conclusion)rrGOUTrqrrrrrhrrrTrrrr1'FAILED_EXIT_COORDINATE_VARIANT_GATE_IDS(EXIT_COORDINATE_VARIANT_MISSING_EVIDENCE%EXIT_COORDINATE_VARIANT_EVIDENCE_REFS)rWrmrrKrrrcandidate_summaries right_summaryr]rKrrr8rrr"target_spawn_classification_counts"target_spawn_owner_selector_counts.target_spawn_interesting_classification_counts/target_spawn_current_root_classification_counts7target_spawn_character_descriptor_classification_countshitspan_current_root_hitsright_yx_selection_hitsspan_selector_script_hitsfalse_positive_summarycandidate_labelsrs r/ build_summaryrs+ S!H&2 #HcBceg8hI1D1P-V_`cgAaACEWF(3L/0CDJ$  C<C))<=I . BM'  '   M4L#f+F L L E ' ()  M4L#f+F LLJ' +,  M4L#f+F LL'  GG56<"     [ [77=17R      ),,-?,)%5888J851*::LNd)e&)9:LNc)d&5E)627G)73?O1?;  88F#)r   77? #u ,"XXo6!XXo6XXg&XXg&,        %%89 77# $(H H  .! 77# $(> > !!!#12!CJ! c*o! %8!9 ! %m4E&F ! 8Gk9l ! 0?[1\! 4S9P5Q! "3'=#>! 05N1O! #S?R#S S! &s+='>! s"Q>P"QQ! )#-gTf-g*g! )#-gTf-g*g! 1#5wdv5w2w!!" *+M#!$+M6d6e C)J4a+LPQ+Q 9Q >49).nA!Dyy!&! !%8!9 :;   H H< &< &<  #12<  j <  Y <  #I <  1<  06z{<  <  "#5<  &s+='><  s"Q>P"QQ<  )#-gTf-g*g<  )#-gTf-g*g<  1#5wdv5w2w<  *+M!< " )*L#< $ 56d%< & 56e'< ( = C+< . ()J/< 0 34a1< 2 *+LPQ+Q3< 4 5 9Q >7< : 3E;< < *=< > 0?< @ 5A< B c*oC< D %8!9E< F '+]R\+](]G< H "3'=#>I< J #S?R#S SK< L 1%M< N =):;O< P -m<`.aQ< R =):;S< T %m4P&QU< V ]+>?W< X (7V)WY< Z  6[< \ /F!G]< ^ ]+>?_< ` #M2L$Ma< b  .D Ec< d (e< f !)g< h 9i< j ek< l *5m< n -.Uo< pD= EF w< <K    < !s2T# T(9 T.! T4 AT:5B U U,U c|d}|d}|jdxsg}|jdxsi}g}dD]X}|jdtj|dtjt |j|dZg}|D]=}|d} |jd xsi} | r7| jd d | jd d | jdnd} |jdj gdtj|d d| d d | ddtj| d|dd|dd|dd|jdd|jdd|dd|dd|dd|dd|dd|dd|d d|d!d@g} |d"D]}|jd#xsi} |jd xsi} |jd$d | jd d | jd}| jd d | jd d | jd}d%j d&|d'j Dxsd}tj|jd(xsid)*}tj|jd+xsid)*}| jdtj|dtj|dtj|d,dtj|d-d|d.d|dd|ddtj|dtj|d|jd/dtj|dg}|d0D]}|jd#xsi} |jd$d | jd d | jd}d%j d1|d'j Dxsd}|jdtj|dtj|d,dtj|d-d|d.d|dd|ddtj|dg}|d2D]7}|jd#xsi} |jd3xsi}|jd$d | jd d | jd}d%j d4|d'j Dxsd}|jdtj|dtj|d,d|jd d |jdd5tj|d-d|d.d|dd|ddtj|d:g}|d6D]}|jd#xsi} |jd$d | jd d | jd}|jdtj|dtj|d,dtjd%j |d7d|d.d g}|d8D]]}|jd#xsi} |jd$d | jd d | jd}|jdtj|dtjt |jd,dtjt |jd9dtjt |jd-dtjt |jd:dtjt |jd;d `g}|d<D]}|jd=tj|d9dtj|d-dtj|d:dtj|jd>ddtj|jd?ddtj|d;d d@j gdAdBdCdDdEdFdGdHdIdJdKdLdMdNdOdPdQdRdSdTdUtj|dVdWtj|dXdY|jdZt|d[tj|d d\|d d |dd]|dd^|d_d`tj|dadbdc|dddetjd%j |dfdgt|dhdi|jdjdb dktj|dldmdndodp|dhDdqdrds|dtdudv|dtdwdx|dtdydz| xsd{gdtd|d}|xsd~gdtdd|xsdgdtdd|xsdgdtdd|dtdddS)Nrrrr)rrrrrrrrrrrrerfrjrmrorurvrwrxrzrrrzz z rPrrrrBr-zzzrrrrf/rmr{r}rrrrrrr[rrrc30K|]\}}|d|yw=Nr,rr`r.s r/rzhtml_page..]*#uuAeW-]rrT) sort_keysrrrrrrZc30K|]\}}|d|ywrr,rs r/rzhtml_page..rrr\r(c30K|]\}}|d|ywrr,rs r/rzhtml_page..rrz / r]rrrrrrzrr zzzz zF z6 map1_01a Exit Coordinate Variant Scanz zzz0

map1_01a Exit Coordinate Variant Scan

z

route rz -> rz; candidate count: rz; legacy right candidate z z; exact x,y hits z; exact y,x current root hits rz; promotion status rz .

z

proof found rz4; failed exit coordinate variant gates rz&; missing evidence count rz; evidence refs rz

rz

z

Missing Evidence

z
    c3NK|]}dtj|dyw)z
  • z
    • N)htmlescape)ritems r/rzhtml_page..s# U$HT[[&'u - Urz
z!

False-Positive Summary

zE z
checkresult
z

Candidate Summary

ah z

Variant Scans

z
sidetiletarget spawninteresting hitscurrent rootcharacter scripttarget spawn hits/currentspan hitsspan current rootspan sequenceexact x,yexact y,xx,y sequencey,x sequenceopcode sequence
z%

Target Spawn Variant Scans

z
candidatevariantvaluehitscurrent rootcharacter scriptsections
z5z

Span/Bounds Scans

z
candidatetarget spawnvariantvaluehitscurrent rootcharacter scriptcurrent classescharacter classespromotablesections
No target-spawn scans.
z3z

Span Sequence Scans

zg
candidatespan variantpoint/valuehitscurrent rootcharacter scriptsections
No span/bounds scans.
z5z!

Span Current Root Hits

z
candidatesequencevalueshits
No span sequence scans.
z8z-

Legacy Right Current Root y,x Hits

z
candidatespan variantvavaluelow opcodeclassification
No span current-root hits.
zz) rhrlrrrrrrCdumpsrT)summaryrrrfalse_positivefalse_positive_rowsr`candidate_rowsr]row_tile target_spawntarget_spawn_texttarget_spawn_rowscandidate_tilecandidate_label target_labelrKcurrent_classescharacter_classes variant_rows span_rowsr(span_sequence_rowsspan_current_hit_rowshit_rowss r/ html_pagerXs3 $I V D128bJ[[!78>BN 4 "" ;;s#$%;;s>#5#5c#:;<=>  5 @N v;ww}-3 '(,*:*:3*?)@,BRBRSVBWAX Y!$      ;;s6{+, - !# '( )1# 8 %678 9 ,-.  /   ,-.   /   456   7  77012 34 58GG<\4]3^ _ *+, - 567 8 -./ 0 ()* + ()* + ./0 1 /01 2 123 4   401 17Rww}-3  WW_56a8J8J38O7PPQR`RdRdehRiQjk&**6231\5E5Ec5J4K1\M]M]^aMbLcd 99]O@T@Z@Z@\]]dad**SWW-N%O%USUaef JJ GG= > D"     ;;/01\234;;s7|,-.S_567z?#$,-./4567_567%678977/012;;x()*   4L~& 17R WW_56a8J8J38O7PPQR`RdRdehRiQjk99]O@T@Z@Z@\]]dad ;;/01;;s7|,-.S_567z?#$,-./4567;;x()*   I'( 17R &B WW_56a8J8J38O7PPQR`RdRdehRiQjk99]O@T@Z@Z@\]]dad ;;/01;;s7|,-.3(%))C.)9T[[Z=Y?@S)@%ABCD;;s377+;#<=>?@     H*+   S\234S_567S%89:;;;sww';SABCDSWW-G%MNOP;;s#34567      99??? ? # ? Q ? A ? ? r? 1? 7? :? G? f? t? Q? '!?" #?$ %?& '?( ;)?* dkk'("345WT[[QYIZ=[<\\opwp{p{}MORS]O^q_p``yz~zEzEFOPVFWzXyYY`aefiaj`kklmqrumvlwwOPWXiPjOkkIJQRnJoIppIJNJUJUV]^oVpJqIrr~ +?, "',"7!88lmqmxmxy}zCzCDKLpDqzrnsmttZ[^_fgx_y[zZ{{XY`YdYdewYxXyyE F-?.  GL12348/?0 &1?2 3?4 V'BS:T U5?6 7?8 ,9?: P;?< =?> ??@ 'A?B sC?D E?F G?H #I?J oK?L M?N O?P 0Q?R IS?T  X WXU?V W?X 'Y?Z z[?\  NMN]?^ _?` )a?b rc?d  Y!X Ye?f g?h ,i?j ]k?l _$^#_m?n o?p 8q?r Ws?t u?v w?x y?z {?| }?? ?r2c|jdd|dz jtj|dddzd y) NT)parentsexist_ok*map1_01a_exit_coordinate_variant_scan.jsonF)rBrb) ensure_ascii separatorsrr?r@)mkdir write_textrCr)rout_dirs r/ write_outputsr=sD MM$M. ;;GG 7:FMHr2cFtjt}|jdtt dz |jdtt dz |jdtt dz |jd tt |j}t|jjt|jgt|jg}t||jt!d |jd z y) N) descriptionz--exer )typedefaultz --selectorsrz --map-exitsrz --out-dirz/wrote map1_01a exit coordinate variant scan -> r)argparseArgumentParser__doc__ add_argumentrROOTr parse_argsrrW read_bytesrGrm map_exitsrrprint)parserargsrs r/mainr)Es  $ $ 9F dD=4HI  D#@[:[\  D#@Z:Z[  $<    D $.."%$.."%G '4<<( ;DLLKwr?syQ" 3tH~--/6678LL H~''* Ul  BR 0 !Q ; , ,+' ,( &BC ,8ef +7no)%//8 4.FJ ))$0f9 999  9  9  9x,:z   %P 4    "02A&t ttt t  tr$(-1K K K+K K\bJ25 {  zFr2
vavaluelow opcodeoperationoffsetclassification