UHjSrdZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ddl m Z ejjdee ej%j&ddlmZddlmZmZmZmZe ej%j6d Zed z Zd Zd Zd Z dZ!dZ"dZ#d&dZ$d'dZ%d(dZ&d)dZ'd*dZ(d+dZ)d,dZ*d-dZ+ d.dZ,d/d0dZ-d1dZ.d2dZ/d3dZ0 d4dZ1d5dZ2 d6 d7d Z3d8d!Z4d9d"Z5efd:d#Z6d;d$Z7e8d%k(re7yy)>7> +D $F ??6 "D6!OPQQ ::d3v;<(//6 77rcL|D]}|d|cxkr|d|dzks|cS!y)Nrawraw_sizer)sectionsoffsetsections rsection_for_offsetr30s@ 5>V Jgenwz7J&J JN K rcL|D]}|d|cxkr|d|dzks|cS!y)Nvar/r)r0r5r2s rsection_for_var67s@ 4=B D1D!D DN E rcd|dks|dzt|kDrytjd||dS)Nrs5 zVaZ#c(*   dC 0 33rc8t||}|yt||SN)r r=)r<r0r5r1s r dword_at_var@Ds# (B 'F ~ 3 ''rcJt||}t||dz}t||dz}|j|xsd}t|xrX|jdxrE|j dxr2t |t xr d|cxkxrdkncxr|dzd vxr|dk(S) Nr8map.cnsri>r)r=getboolr&endswith isinstanceint)r<stringsr1rscene_idzeronames ris_scene_recordrQKs C (EsFQJ/H 3 +D ;;u{ #D    OOE "  MM& !  x %   #8 #   tO| +   AI rc g}t||}t||dz }|||S|dz }||dzz }t|t|t|dz dD]k} t || } |j | xsd} | s't || } |j| t| xsd| | jdr| ddn| dm|S)Nr r8rCrrE)refVarefVaHexfilenamemapStem) r rangeminr(r=rHr appendrrJ) r<r0rMstart_vaend_varowsstartendalignedr1rrPr5s rcns_refs_in_windowra[s D 8 ,E x! ,C }  1HCuqy!GS#c(Q,!7;  V,{{5;B'  (F + bgA$(MM&$9tCRyt     Krc"tjd|}d}g}d} |j||}|dkrnV|dz}t||} | -| d|z| dz } |dz }t ||kr |j | dt | dn||dS) Nr9rr r5r.rP)r2rU)countsamples)r:packfindr3r(rZr) r<r0r sample_limitneedlercrdsearchhitr2ref_vas rpointer_ref_countrlxs [[u %F EG F hhvv& 7 q$Xs3 ? $wu~5   w<, & NN"6?!&M  w //rc Rg}|D]}|jdtk7rt|jdxsgvr8|jdxsgD]}|jdxsi}|jd}|jd}t|tsKt|ts\|j |jd|||jd|jd d i}|D]}|||d|d|df<t |jS) NrDselectorTargetCandidatesexitCandidatessamplexyside autoTrigger edgeDistance)rsrqrrrtru)rHSOURCETARGETrKrLrZlistvalues) map_exit_candidatesr]map_row candidaterprqrruniquerows rroute_exit_samplesrs! D& ;;u  '  '++&@AGR H  %56<" I]]8,2F 3A 3A!S!jC&8 %MM&1#,==#?$-MM.$A   "F847F SXs3x018    rc t||}|yt|d|dz }t|dz |dz dD]}t||}| t |||st ||}t ||dz} |j |xsd} |t|| t| tr| jdr| ddn| t| trd| d ndd cSy) Nr5ir8r rSrCrEr04x)recordVa recordVaHexrVrW sceneIdHex) r6maxrXr rQr=rHrrKstrrJrL) r<r0rMr5r2r^ candidate_var1rrNrPs rnearest_scene_record_beforersXr*G  rEz *Eb1feai4  h 5 >gv!F V,"3 3{{5;B'$ .$.tS$9dmmF>StCRyY]1;Hc1JBxn-PT      rc|jdryt|jdxsd}t|jdxsd}|jdxsg}|r|dni}|jd}|jd}|jd xsi}|d k(r5|d k(r|dk(ry |dk(rt|tr|d k\r |dzdk(ry|dk(ryy|dkr||k(ryy|r||k(ry|dk(r|d k(ry|dk(ryy)NexactRouteExitHitCountz route-exit-point-table-candidate rawPointCountrinBoundsPointCountfirstRawPointsrqrrownerSceneRecordr ?sentinel-0x003f-singletonrresource-size-singletonout-of-bounds-singletonzsingle-in-bounds-pointzshort-in-bounds-scalar-runzshort-out-of-bounds-scalar-runzowned-point-table-non-route!zscript-command-shaped-runzout-of-bounds-runz#point-table-near-resource-reference)rHrLrK)r~ raw_countin_bounds_countfirst first_pointrqrrowners rclassify_point_candidaters ww'(1CGGO,12I#''"67<1=O GG$ % +E#%(KAA GG& ' -2EA~ 7qAv. 6jC(Q#X!b&A+, a ,'A~ i '// I-,Bw16*!" 0rc|jtxsi}t|jdxsd}t|jdxsd}|r|sgS|d} t|d| tz } t |d| t z} g} t| | dzz | dD]} t||| }|||vs d|cxkrd ksn%t||2t|||||\}}|sG|Dcgc]}|d |d f|vr|}}t|||}t|||| }| t| |t||| | z t|t||dt|dtt||dt|d |d t|dt|t zd}t#||d<| j%|| Scc}w)NwidthrheightrT sectionVa sectionEndVar8i@i`rqrrrcrd..)fieldVa fieldVaHex payloadVa payloadVaHexrdistanceFromResourceRefrrrfirstInBoundsPointsrexactRouteExitHitspointerRefCount pointerRefs scanSpanHexclassification)rHrvrLr WINDOW_BEFORErY WINDOW_AFTERrXr@r rrlrrr(REPORT_POINT_LIMITPOINT_TABLE_SCAN_SPANrrZ)r<r0rMmap_dataref exit_points source_maprrrkr[r\r]field_var raw_points in_boundspoint exact_hitsrefsrr~s rpoint_candidates_for_refrs f%+J  w',1 -E ).Q /F  \F3{#Vm%;c.|jDcgc] \}}||k(s |}}}g}|D]}tjd|} d} |j| | } | dkr4| dz} t || } | -| d| z| dz } t ||| }|rt || dznd}|j||dd|t|| t| | d| d| d| d z|t|trd |d ndd |jd |Scc}}w)Nr9rr r5r.r8rSrPr/rr) rVrWstringVa stringVaHexrTrU refSectionrrsceneRecordLikerc|d|dfS)NrTrr)r~s rzresource_refs..2ss7|S_=r)key) itemsr:rerfr3rQr=rZrrKrLsort)r<r0rMrVr5rP string_vasr] string_varhrirjr2rk scene_recordrNs r resource_refsrsO%,]]_IT8H"IJI D T9-((66*CQw1WF(37GT]S(75>9F*3=L8DsC!G4$H KK$#CR=%$Y/!&M%fo$T] '  0C C#/5?#5N8C.1TX  6 II=I> K=Js DDct|}t||}t|xsg}|Dchc] }|d|df}}g}tdtdfD]X} t |||| D]C} t | d| dtz } t| d| dtz} t||||| |} t|||| | }t|Dchc]"}|djdr d |dvr|d$c}}| Dcgc]}|d r t|vr|}}|ji| jDcic]\}}|jd r||c}}t!| d t!| |t#|t#| t%t'd | D| t#|dF[|Dcgc]}|dtk(s|}}|Dcgc]}|dtk(s|}}t)d|D}t)d|D}t)d|D}t+d|Dd}t%t'd|D}t%t'd|xsij-dxsgD}t)d|xsij-dxsgD}t)d|jD}d}idtdtdt!tdt!td|dt#|dt#|d t#|d!|d"|d#|d$|d%|dud&|d'|d(|d)|d*gd+||d,Scc}wcc}wcc}wcc}}wcc}wcc}w)-NrqrrrErrTrrWrD_rr2rc3&K|] }|d ywrNr.0rs r z build_summary..Us:05E*+:) windowHexnearbyMapResourcesnearbyCnsRefCountpointCandidateCountpointCandidateClassCountspointCandidates strictSourceTargetCandidateCountc3&K|] }|d yw)rNrrr~s rrz build_summary..]sDSc/0Drc3>K|]}|dD] }|drd yw)rrr Nr)rr~rs rrz build_summary..^s< *+  ) *  sc3&K|] }|d yw)rNrrs rrz build_summary..dsR3s=>Rrc3`K|]&}|ddk(rt|jdgvr|(yw)rU 0x00542b44rN)rwrHrs rrz build_summary..fs8 :,.#''"6;;  s,.c3:K|]}|dD] }|d yw)rrNr)rrecordrs rrz build_summary..ms9& -.&  &&sc3&K|] }|d ywrrrs rrz build_summary..rs7  7rrc3@K|]}|jddyw)rrN)rHrs rrz build_summary..vs$1   *A.1sc3.K|] \}}|dvr|yw)>rrrNr)rrrcs rrz build_summary..zs)5 C    5saThe direct resource-reference scan finds the expected scene-list references for map1_01a and map2_02d, including the current selector-only frontier at 0x00542b44. Nearby point-table-like payloads still do not produce a strict map1_01a route-exit hit for map2_02d. The current frontier candidates are non-route singletons or resource-size payloads, so this scan does not promote the transition.sourcetargetwindowBeforeHexwindowAfterHexrouteExitSamplessourceReferenceCounttargetReferenceCountresourceReferenceCountrrrouteExitPointCandidateCountrcurrentFrontierReferenceFoundcurrentFrontierReference(currentFrontierPointCandidateClassCounts%currentFrontierRouteExitPointHitCount3currentFrontierNonRouteSingletonPointCandidateCountblocked)zHfind a point/hotspot table that belongs to map1_01a and targets map2_02dzZor prove the selector-only resource cluster executes from a non-coordinate runtime triggerz`or capture a runtime trace / real selector 2:0 savedata that supplies the missing source trigger)promotionStatusremainingProofs conclusionrecords)r rrrvrwrrrrYrrrasortedr&rZrrr(dictrsumnextrH)r<rrzr0rM exit_samplesr~rrrVrr[r\ point_rowscns_rows linked_mapsstrict_candidatesrrsource_recordstarget_records point_count exact_count strict_countcurrent_frontierpoint_class_counts#current_frontier_point_class_counts¤t_frontier_route_exit_point_hits*current_frontier_non_route_singleton_countrs r build_summaryr 6sc S!HsH-G%&9&?R@L3?@CCHc#h'@K@Gxt_o6 hB C3{+S\M-IJH^,c'l\.IJF1#x(TWYdeJ)#x(FSH #"y>,,U3s9~8MI"K *!/0V{5J! ! NN 03 ]*#u3>>R[C\3:]  %h05=/B&1%(]'*:-1':9C:3.$.478I4J   6&-IcI&0HcINI%,IcI&0HcINIDGDDKK R'RRL ) g&& +/w7'-2223DEK70+'.11'-2223DEK1.*255=CCE52. ^  & &  5/  % -   L   N 3   N 3  !#g,  {  $%7  '   +L  ()9)E  #$4  34W  01W! " > 6% (% !7 WA" ! ^JIs5M'M 4M+MM2MMM Mc:djd|DxsdS)N, c36K|]}|dd|dyw)rq,rrNrrs rrzpoint_text..s#Fec |1U3ZL1Fs-)join)pointss r point_textrs 99FvF F M#Mrc(2g}|dD]}dj|dxsd}|jdr|jdnd}|jdtj|dd tj|d d tj|d tj|d |d d tjt |jdxsid |ddg}|dD]A}|dD]5}|jdxsi}|r%|jdd|jdnd}|jdtj|ddtj|d d tj|dd tj|dd tjt |jdd tj|d |dd |dd |dd tjt |dd |dd8Ddjd |d!D} d"jd#d$d%d&d'd(d)d*d+d,d-d.d/d0d1d2d3tj|d4d5tj|d6d7|d8d9|d d:tjt |jdxsid;|d<d=|dd>tjt |jd?xsid@|jdAdBdCtj|dDdEdFdGdHdj|xsdIdJdKdLdHdj|xsdMdJdNdO| dPdQdRdgS)SNrr rrrrzrVzrUzz rrrz rrrW rz
rrrrrrrrc3NK|]}dtj|dyw)z
  • z
    • N)htmlescape)ritems rrzhtml_page..s#adDT!2 359as#%r zzzz zF z1 map1_01a Resource Reference Scanz zzz+

    map1_01a Resource Reference Scan

    z

    Route: rz -> rz. Resource refs: rz; point candidates: z; point candidate classes: z; route-exit point candidates: rz#; strict source-target candidates: z; current frontier classes: rz; current frontier route hits: rz.

    z

    rz

    z

    Resource References

    z z z&z
    resourcerefscenenearby mapspoint candidatesclassesstrict
    No refs.
    z

    Point Candidates

    z z3z

    Remaining Proofs

    z
      z
    zz)rrHrZrrrr) summaryreference_rowsr~mapsscenerrr owner_label proof_itemss r html_pager!sXNy!  yy123:s),1B)C % S_567S_567U+,-;;t$%&,-./;;s377+F#G#M2NOPQ9:;<    Jy!*+ EII017RERWUYYy12!EIIm4L3MN]`K   ![[Z9::KDKKX[\fXgLhKij![[|)<=>?![[~)>?@A{{3uyy1A'B#CDEF{{;/01_-./12345678{{:e4D.E#FGHI./01   $''agN_F`aaK 99"P;hTW)&5 T[[):; r%)argparseArgumentParser__doc__ add_argumentrROOTOUT parse_argsr r< read_bytesr,rr$rzr-r,print)parserargsrs rmainr=s  $ $ 9F dD=4HI tS9_E /dCJdDde  $<    D dii $**B/G '4<<( 6t||Fg7g6h ijr__main__)rrLreturnr)r"rr#rr?r)r"rr?r)r0 list[dict]r1rLr? dict | None)r0r@r5rLr?rA)r<bytesr1rLr? int | None)r<rBr0r@r5rLr?rC)r<rBrMdict[int, str]r1rLr?rI) r<rBr0r@rMrDr[rLr\rLr?r@)) r<rBr0r@rrLrgrLr?r)rzr@r?r@) r<rBr0r@rMrDr5rLr?rA)r~rr?r)r<rBr0r@rMrDrrrrrzset[tuple[int, int]]r?r@) r<rBr0r@rMrDrVrr?r@r?)r<rBrrrzzlist[dict] | Noner?r)rr@r?r)rrr?r)rrr,rr?None)r?rF)9r4 __future__rr2rrr:sys collectionsrpathlibrtypingrr"insertr__file__resolveparentextract_scene_eventsrprobe_exe_scene_tablesrr r r r#r6r7rvrwrrrrrr$r,r3r6r=r@rQrarlrrrrrr rr!r-r=__name__rrrrSsI" 3tH~--/66781^^ H~''* Ul    8 84 (        :0.!2,1>4 444 4  4 & 44nJ.2o oo+o odNIX25 k  zFr
    resource reffieldpayloadclassownerrawin boundsroute hitsfirst pointsrefs
    No point candidates.