UHjg<dZddlmZddlZddlZddlZddlZddlmZddl m Z ddl m Z m Z mZmZeej#j$dZedz Zed z Zd Zd Zgd Zgd Zd gdddgdddgddgZdZdZdZdZdZdZ dZ!dZ"dZ#dZ$dZ%dZ&d Z'd!Z(d!Z)d"Z*gd#Z+d$Z,d%d&d'd(d)Z-d*d+d,d-d.d/d0d1d2d.d3d4d5d6d.d7d8d9d:d.d;Z.dsd<Z/dtd=Z0dtd>Z1dud?Z2dvd@Z3dwdAZ4dxdBZ5dydCZ6dzdDZ7d{dEZ8d|dFZ9d}dGZ:d~dHZ;ddIZddLZ?ddMZ@ddNZAddOZBdydPZC d ddQZDddRZE ddSZFddTZG ddUZHddVZIddWZJddXZKddYZL ddZZMdd[ZNe*f dd\ZOdd]ZP d dd^ZQdd_ZR dd`ZSddaZTddbZUddcZVdddZWddeZXddfZY ddgZZddhZ[ ddiZ\ddjZ]ddkZ^ddlZ_eddf ddmZ`ddnZaddoZbefddpZcddqZdeedrk(redyy)zPAudit whether map1_01a edge candidates are original generic transition triggers.) annotationsN)Path)Any)find_cns_strings offset_to_va read_sections va_to_offsetoutz Hwanse2.exemap1_01amap2_02d)zedge-to-transition-control-flowz runtime-edge-selected-root-proofzstrict-source-hotspot)zRa branch/call from the boundary collision path to the map loader or scene selectorzLa runtime watchpoint showing an edge candidate changes the selected map/rootz:a strict map1_01a source hotspot/event record for map2_02d).textz.rdataz.data)pathfieldszout/runtime_movement.json)actorControllercollisionHelperdirectionBlockBitsobjectOverlapResponsez'out/original_collision_route_audit.json)routeCandidatesruntimeMappingpromotionStatus-C)riPCC)riCiCiDBi!#@i5-Di0YiTi3EW`)r ri updownleftright)topbottomr$r%iHCiC0x01z,3b c2 0f 85 07 00 00 00 c6 05 33 45 57 00 01) edgeCheckVacaseExitJumpVablockedFallbackLatchHex expectedHexiCilC0x02z,85 c9 0f 85 07 00 00 00 c6 05 33 45 57 00 02iCiC0x03z,85 c9 0f 85 07 00 00 00 c6 05 33 45 57 00 03i CitC0x04z,3b c2 0f 85 07 00 00 00 c6 05 33 45 57 00 04)r#r"r$r%c|yd|dS)N0x08xvalues @/home/exedev/hwanse/tools/summarize_map1_01a_edge_trigger_gap.pyhex32r7`s } c{ c|dzr|dz S|S)Niir3r4s r6sign16r:fs#fn57?7%7r8c|dzr|dz S|S)Nllr3r4s r6sign32r<js"'*"45; ?%?r8c4dj|xsgxsdS)N,-)join)valuess r6 labels_textrBns 88FLb ! (S(r8cp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks r6 load_jsonrLrs* ;;= ::dnngn6 77r8c^t||}|tdt|d||||zS)NzVA  is outside raw sectionsr ValueErrorr7)exesectionsvasizeoffsets r6read_atrVxs= (B 'F ~3uRyk)ABCC vv} %%r8c<t||||jdS)N )rVhex)rQrRrSrTs r6 bytes_hexrZs 3"d + / / 44r8c t|||dd}|dvrytjdt|||dzdd}|dz|zS)Nr r&1*5a(f|F[:\_`:` a T>fqj3s83&1*5a(f|F[:\_`:` a b r8ct|d\}}t||}t||tz}t |||t}|||fS|t|t||fS)Nr)rsr}rCALL_GRAPH_MAX_FUNCTION_BYTESr)rQrRrrrrh fallback_endret_ends r6bounded_function_rangersk(7;J  H %Ex)F!FGLc8U4QRGl"" #eS734 44r8ct|||}d}tdtt|dz dD]#}||dk7r ||dzdz dz}|dvs|dz }%|S)Nrr rrr)rlr|r}r~)rQrRrgrrxr reg_opcodes r6indirect_call_like_countrsx sHh /D Eq#c$i!mQ/0 ;$  519o*d2   QJE  Lr8c|y|D]K}t|d}|t|dz}||cxkr|ks.n1t|jdcSy)NrSrorn)rqstrrp)rRrSrrrhris r6section_name_for_varsa z,GDM"c'*-.. B  w{{6*+ + , r8c|rd|vry|jdd\}} t|dt|dfS#t$rYywxYw)Nrfr )splitrqrP)r5 start_textend_texts r6parse_range_hexr sT D% ;;tQ/J:r"C"$555 s6 AAct||}||dzt|kDrytjd|||dzdS)Nrrwr)r r~r`ra)rQrRrSrUs r6 read_u32_varsF (B 'F ~!c#h. ==s66A:6 7 ::r8c|gSg}t|D]=}t||||dzz}||St||dk7r|S|j|?|S)Nrr)r|rrr)rQrRtable_va max_entriesrrr5s r6jump_table_targetsrs|  D{#C8eai+?@ =  K x /7 :  K E  Kr8c dtttdddtttdddtttdddtttdddt tt d dg}t d ftd ffD]8\}}|j|}||j||t|d d:|S) Nzmap-loader-function transition)labelrSvaHexgroupzscript-runner-functionzselector-table-function-or-dataselected-pointer-globalselected-pointerzcurrent-selector-rootcurrentzsource-map-stringztarget-map-string route-string) MAP_LOADER_FUNCTIONr7SCRIPT_RUNNER_FUNCTIONSELECTOR_TABLE_FUNCTION_OR_DATASELECTED_POINTER_GLOBALCURRENT_SELECTOR_ROOTSOURCETARGETrpr)stringstargetsrnrrSs r6encoded_scan_targetsr-s+%./!  .(12!  71:;!  /)23'  -'01  3G@ !45@S7TU e [[  > NNr'   Nr8c|\}}t|||}g}t} tt|D]} || z} g} | dzt|krAt j d|| d} | j d| ddfdt| | dzdfg| dzt|kr;t j d|| d}| jdt|| dzdf| D]\}}}}|D]}|d }|dk(xr0| dzt|kxrt j d|| d|k(}|dk(r||d zk(xr| }n|duxr||z|k(}|sc|| ||f}|| vrn| j||j|t| t|dd t|d |t|d zt||d|dt|| ddd |S)NrzqAI MMiq1*F9,=w{AN  A:T "**4v>qAI MM4fY6GSTVWX Y-3  )D&(E! "4L QJO c$i/O**4v>qAYN ;&$V);<Q\AQG&d2Ux&7HI7UGWi7$;  !&!&w#(!#5"6bx{9K8L M %fz&9 :!&y!1#)'?#)'?#6x#I'0.3  #  *V Kr8ci}i}i}i}|D]}|jd}|jd}|jd}|jd} |r|j|ddz||<|r|j|ddz||<|r|j|ddz||<| s|j| ddz|| <|Dcgc]}|jddk(s|} }|Dcgc]}|jddvs|} }|Dcgc]}|jdd k(s|} }|rd nd t|t| t| t| dtt|j tt|j tt|j tt|j |dd d d Scc}wcc}wcc}w)Nrrrrrr r>rrrz.edge-encoded-route-target-scalars-nonpromotingz/no-encoded-route-target-scalars-in-edge-windows r) classificationrawScalarCandidateCount!transitionRawScalarCandidateCount!routeProofRawScalarCandidateCount&selectedPointerRawScalarCandidateCountpromotingCandidateCounttargetGroupCountstargetLabelCounts kindCountsscanLabelCounts sampleRowsr)rpr~dictsorteditems) r group_counts label_counts kind_countsscan_label_countsrowrrr scan_labeltransition_rowsroute_proof_rowsselected_pointer_rowss r6encoded_target_summaryrs#%L#%L"$K(* U & &wwvWW[) "."2"25!"?!&););)=">?6+"3"3"567'8'>'>'@ AB3Bi$! Veas$G"G"%G'>G'G,"G,c g}t}|D]}|jd}|jdxsd}|s,t|||||D]v} t| jdt| jdt| jdf} | |vrU|j | |j | xt |S)Nr|rrrr)rrprrrrr) rQrRrangesrrritemrgrrrs r6encoded_scan_for_rangesrs D&)eD88G$!,W 0h%QXY CCGGFO$CGGK()CGGK()C d{ HHSM KK    "$ ''r8ct}g}|D]]}|jd}|jdxsd}|s,|d|d|f}||vr<|j||j|_|S)Nr|rwindowrr )rrprr)rr unique_rowsrrgrrs r6unique_window_rangesr s&)eDK  777# ,H {HQK/ $;   3   r8cHt|tryt|tryy)Nzactor-controller-localzcollision-helper-localoutside-edge-handler)ruACTOR_CONTROLLER_RANGEACTOR_COLLISION_HELPER_RANGE)rs r6edge_handler_target_classrs! 12' 78' !r8cxi}|D]2}|stt|d}|j|ddz||<4|S)Nrrr )rrqrp) target_hexescounts target_hex target_classs r6jump_table_target_class_countsrsNF"?  0Z1DE %zz,:Q>| ? Mr8c g}|D]~}|jddk7r|jdxsg}t|}|jdd}|jdxsg}|jdxsg}|jid|jdd |jd d |jd d |jd d |jd d |jd d|jdd|jdxsdd|jdxsgd|dt|xr|dk(d|d|dt |d|dt |dt |t |z|S)N operandKindindexed-jump-tableindexedJumpTableTargetHexesr rtransitionTableLabelsrouteTableLabels functionLabeldepthrinstructionVaHexrindexedJumpTableVaHexindexedJumpTableSectionindexedJumpTableEntryCount!indexedJumpTableSampleTargetHexestargetClassCountsallTargetsLocalToEdgeHandlersoutsideEdgeHandlerTargetCounttransitionTableLabelCountrouteTableLabelCount transitionOrRouteTableLabelCount)rprrboolr~)r audit_rowsrr class_counts outside_counttransition_labels route_labelss r6indexed_jump_table_audit_rowsr.sJ  77= !%9 9 ww<=C 5lC $(()?C GG$;<Bww128b  SWW_5 SWWW%   +  (: ;  CGGFO  $SWW-D%E   &sww/H'I  )#''2N*O*TST  09\1]1cac    ,T,-?-VMUVDV  ,]  $%6  (->)?    #C $5! " /4E0F\IZ0Z#   6 r8c$%|\}}t|||} tt|jt|jt d} t ttd} g} tdtt| dz dD]a} | | dk7r | | dz}|dz dz}|dvr"|d z dz}|dz}| d z}d}d}d}d}d}d$d}|dk7r*|d k(r%|t| kr| |}|dz}|dz dz}|dz }|dk(r|d k(s |d k(r|d k(rd }n|dk(rd}n|d k(rd }|rj||zt| krY| |||z}|dk(rtjd |d}n2tjd|d}|dk(r|d k(r |d k(r|d k7r|}n|$$ t||$nd%t|||}t!$fd| j#Dd}t!%fd| j#Dd}t%| j#Dchc] \}}||vr| c}}}t!$fd| j#Dd} t!%fd| j#Dd}!t%| j#Dchc] \}}|||vr|c}}}"|dk(rd}#n |d}#n$d}#nd}#| j'id|d|d|dt)|ddt)|ddt)|| zd|d k(rdndd d!|d"d#|d$|d%|d!|d"ndd&|#d't+|t,r|dk\r t)|n t+|t,rd(t/|d)ndd*t)$d+t1|$d,t)|d-t1||d.t||Dcgc] }t)|c}|dd/Dcgc] }t)|c}t)%t1|%|||| |!|"d0 d| Scc}}wcc}}wcc}wcc}w)1N)selectedPointerGlobalcurrentSelectorRootsourceMapStringtargetMapStringmapLoaderFunctionscriptRunnerFunctionselectorTableFunctionOrDatarr rrrrr!rrr zz*indirect_call_like_rows..^s _kdE5L^C^T _ c34K|]\}}|k(s |ywr9r3r;rnr5resolved_pointers r6r=z*indirect_call_like_rows..bs ]kdE5L\C\T ]r>c36K|]\}}| |k(r|ywr9r3r:s r6r=z*indirect_call_like_rows..ks+ D%$2D)D c36K|]\}}| |k(r|ywr9r3r@s r6r=z*indirect_call_like_rows..ss+ D%$2B)B rCregisterrabsolute-memorycomputed-memoryrrrrrfrrcalljmpmodRmHexr102xmodrmsibHexrdisplacementHexz-0xxabsoluteMemoryVaHexabsoluteMemorySectionrrr r) rr!resolvedPointerHexresolvedPointerSectiontransitionOperandLabeltransitionResolvedLabelrrouteOperandLabelrouteResolvedLabelr)rlrrrprrrrrr|r}r~r`rarrnextrrrr7 isinstancerqabsr)&rQrRrrgrrrrhrr route_valuestransition_targetsrrmodrmrrLrMcursorsibsib_base sib_index disp_size disp_valueindexed_table_varaw table_targetstransition_operand_labeltransition_resolved_labelrnr5transition_table_labelsroute_operand_labelroute_resolved_labelroute_table_labels operand_kindr<rAs& @@r6indirect_call_like_rowsros?KE4 sHh /D!84";;v.";;v. L1 6'F Dq#c$i!mQ/0v  ;$  UQYqjD( V # zT! T\   ! !8aFSY$6v,CTzHT)I aKF !8Qw27x1} AXI AXI )+s4y8vv 12CA~#]]45a8 #]]45a8 !8Qw8q=Y!^+5(-7*"- X'9 :  +3:JK #' _%7%=%=%? _ $  %) ]%7%=%=%? ] % !#)1779* e % * #  # #/#5#5#7     $ #/#5#5#7    $+113% e Um%; %   !8%L  )/L  +,L,L  U U  D  5!-.bx{1C0DE  eem 4  jAoF5   "U3K(  3  "  3s)nT  <  Jz34OT^bcTcuZ0-7 C-H#c*oa()d  "5);#< $%8CU%V! " $U+;%<# $ &':8EU'V% & )#m*<' (GT+TUE%L+TLYZ][]L^1_5%,1_"'(8"9&9(DT&U&>'@%rErGc3FK|]}|jdxsdyw)r rNrpr;rs r6r=z0indirect_call_graph_rejection..s"e3CGG$@AFQFe!z/bounded-indirect-callgraph-transition-candidatez6bounded-indirect-callgraph-no-static-transition-targetz1bounded-indirect-callgraph-no-indirect-candidatesr proofFoundcandidateCount"staticAbsoluteMemoryCandidateCountindexedJumpTableCandidateCountr indexedJumpTableTargetCount!indexedJumpTableUniqueTargetCount!indexedJumpTableTargetClassCountsindexedJumpTableAuditRows-indexedJumpTableAllTargetsLocalToEdgeHandlers-indexedJumpTableOutsideEdgeHandlerTargetCountresolvedPointerCandidateCount!unresolvedRegisterOrComputedCounttransitionTargetHitCountrouteImmediateHitCounttransitionHitRowsraThe indirect call/jump-like opcodes reachable from the actor movement/collision ranges have no static absolute or resolved target matching the map loader, script runner, selector table, selected pointer, current root, or route map strings. Their indexed jump-table entries stay inside the actor-controller/collision-helper edge handlers, so they are local movement branches rather than map-transition proof.zAt least one indirect call/jump-like opcode has a static route or transition target candidate and must be reviewed before generic edge-trigger promotion.) routeHitRowsr conclusion)rpr.rqrsumr(r~r)rrstatic_absolute_rowsindexed_table_rowsindexed_table_audit_rowsrindexed_table_target_hexesindexed_table_target_vas!indexed_table_target_class_countsrr!outside_edge_handler_target_count resolved_rowstransition_hits route_hitsunresolved_rowstable_entry_count proof_foundrs r6indirect_call_graph_rejectionrs+/_C377=3IM^3^C__)-`#1GK_1_#``<=OP&" ''"?@FB"   """ Gaa J 3aa8:%- 0; - 1 1, BQ F *,7 )J(M(M )%%)JSCGG4H,ISJMJ GG, -ww01ww./ O 77& '3773G+HCGGTfLg J  77= !%D D OeRdee4*5KJ QL" ." k"  #d)"  -c2F.G "  )#.@*A "  %&7 "  &s+C'D"  ,S5M1N-O"  ,-N"  $%="  8 # $ O)Ja)O"  89Z"  (]);"  ,S-A!" " #C$8#" $ !#j/%" & _Sb1'" (#3B3Bi  $/" "> F?" "[``" bKs?JJJJ%J JJ3J=d?|#d@dA|#dBdC|#dDdE|#dFdG|#dHdI|#dJdK|#d-dL|#d.dM| ddNdO| ddNdP| ddQdR| dS| ddQdT|$sdUiSdViScc}}}wcc}wcc}!}wcc}!}&wcc}!}&}w)WNactor-controllerrrfr )r startVaHexrr|collision-helperr4r|r)rrr|rrtransitionLikeDirectRelHits)rr#selectedPointerGlobalImmediateCount!currentSelectorRootImmediateCountsourceMapStringImmediateCounttargetMapStringImmediateCountrr)rrrrr)rrrrrrrr)rrrrdirectCallCounttransitionLikeDirectRelHitCountrrc34K|]\}}|k(s |ywr9r3)r;rnr5rs r6r=z-direct_call_graph_evidence..msO+$EYsub_r2rrz->)fromrrrrrrruTz&direct-callgraph-transition-path-foundz+bounded-direct-callgraph-no-transition-pathrmaxDepthobservedMaxDepth rootRangesreachableFunctionCountdirectCallEdgeCounttransitionTargetReachabilitytransitionTargetReachableCountc3&K|] }|sd yw)r Nr3)r;r5s r6r=z-direct_call_graph_evidence..s-cE]ba-csrrindirectCallLikeByteCountindirectCallGraphRejection(indirectCallGraphRejectionClassificationindirectCallGraphProofFoundindirectCallGraphCandidateCountrv3indirectCallGraphStaticAbsoluteMemoryCandidateCountrw/indirectCallGraphIndexedJumpTableCandidateCountrx+indirectCallGraphIndexedJumpTableEntryCountr ,indirectCallGraphIndexedJumpTableTargetCountry2indirectCallGraphIndexedJumpTableUniqueTargetCountrz2indirectCallGraphIndexedJumpTableTargetClassCountsr{*indirectCallGraphIndexedJumpTableAuditRowsr|>indirectCallGraphIndexedJumpTableAllTargetsLocalToEdgeHandlersr}>indirectCallGraphIndexedJumpTableOutsideEdgeHandlerTargetCountr~.indirectCallGraphResolvedPointerCandidateCountr2indirectCallGraphUnresolvedRegisterOrComputedCountr)indirectCallGraphTransitionTargetHitCount'indirectCallGraphRouteImmediateHitCountrrouteImmediateHitRowssampleCallEdgesrreachableFunctionssampleReachableFunctionsramA bounded direct-call graph from the actor-controller and collision-helper ranges did not reach the map loader, script runner, selector table, selected-pointer global, current root, or route map strings. The indirect call/jump-like candidates in the same reachable graph also have no static route or transition target; computed operands still require runtime proof.zA bounded direct-call graph found transition-like evidence. This must be reviewed before any generic edge trigger can be promoted.)r7r r rrrrrpoprr}direct_ref_countsrprrr~rorrrqrYrranyrA)(rQrRr max_depthrootsrqueuevisited_rangesvisited_targetsreachable_functions call_edgestransition_hit_rowsroute_immediate_hit_rows indirect_rowsindirect_counttransition_target_hit_countroute_immediate_hit_countmax_observed_depthroot root_rangerrgrrefsrnrva_hexrroute_immediate_countrange_indirect_rowsedgerreachable_target_vasr5target_reachabilityindirect_rejectionrrrrs( @r6direct_call_graph_evidencers( 6q 9: !7!:;`a+  ( HH8! < HH4a 8 HH4a 8 % !    & &g HHZ0V ' (  ! $ + +g HHZ0V 7;xx@egh7i59XX>acd5e15:Y[\1]15:Y[\1] -  $s?';;#!%::!5     M  L  01#122""'],L"#4S(H#MN/2?/C&;$   I  %c8X> DD,-IOOyo&E   W !+.#M2$V$v,V4 +<*=R]@S?T(UV  O+    * LL/XyIV$v,V4 +<*=R]@S?T(UV  #  r  D $ #==? D% e+++7}E  & & () 4 & * 4 $q ( 4 l +t 3   1 : G .G kG  IG  . G    +/**, IJC#.S%Z I G  !#&9":G  s:G  '(;G  )#-c=P=W=W=Y-c*cG  #$?G  !";G  $^G  %&8!G " 34FGW4X#G $ &'9,'G%G & *+=>N+O'G ( >?Q 0@ )G . :;M ,< /G 4 67I (8 5G : 78J )9 ;G @ =>P /? AG F =>P /? GG L 56H '7 MG R IJ\ ;K SG X IJ\ ;K YG ^ 9:L +; _G d =>P /? eG j 45GHb5ckG l 23EF^3_mG n 0"5oG p !9#2!>qG r :cr?sG t 1uG v #$7$ 8 U8U8 U> 8U> cid|d|jdd|jdd|jdd|jdd|jdd|jdd|jdd |jd d |jd d |jd d |jd d |jd d|jdd|jdd|jdd|jd|jdxsi|jd|jd|jd|jddS)Nrrrurrrrrrrrrrrrrrrrrrr)rrrrrrr)revidences r6compact_call_graph_depth_rowrs+ I+ (,,'78+  hll<0+  HLL);< +  !(,,/G"H +  x||,AB +  )(,,7W*X+  #HLL1K$L+  !(,,/G"H+  $X\\2M%N+  3HLL 65 +  &x||4Q'R+  *8<<8Y+Z+  :8<< =< !+ & 6x|| 98 '+ , 7 :9 -+ 2 =hll @? 3+ 8?Gll @? ? JR,, LK KS,, LK 6>\\ 76 4<<< 54 Q+ +r8c \ tt|xst}|Dcgc]}t|t ||||}}t d|D|r|dnigdt fdD |Dcgc]/}t|jdtr|dtk\r|1}}td|D} t|xrt fd|D} |r t|nd} d jd |Dxsd } |t| | | |d | d dScc}wcc}w)N)rc3RK|]}|jdtk(s|!yw)rN)rpCALL_GRAPH_MAX_DEPTHrss r6r=z6direct_call_graph_depth_sensitivity..s!L 37K KLs'') rrrrrrrrrrrc3@K|]}j|ywr9rr)r;r default_rows r6r=z6direct_call_graph_depth_sensitivity...sAc[__S)Arc3lK|],}|jdduxr|jddu.yw)ruFrNrrrss r6r=z6direct_call_graph_depth_sensitivity..3s>   &Z3773P+QUZ+ZZs24c3NK|]tfdDk(yw)c3@K|]}j|ywr9rr)r;rrs r6r=z@direct_call_graph_depth_sensitivity...8s 2scggcl 2rN)tuple)r;rbaseline stable_keyss @r6r=z6direct_call_graph_depth_sensitivity..7s)<   2k 22h><s!%r>c32K|]}t|ywr9)r)r;rs r6r=z6direct_call_graph_depth_sensitivity..<sA#e*Ar?z"Depth sensitivity over max depths z found no transition target, route immediate, or indirect route target. Counts are stable at and beyond the default depth, so increasing the bounded call-graph depth does not make the edge candidates promotable.) depthsChecked defaultDepthmaxDepthCheckedproofAbsentAcrossCheckedDepths#countsStableAtAndBeyondDefaultDepthdefaultDepthRowrr)rr#CALL_GRAPH_DEPTH_SENSITIVITY_DEPTHSrrrYrrZrprqrallr(r}r@)rQrRrdepthschecked_depthsrrrrows_at_or_beyond_default proof_absent counts_stable max_checked depth_textrrrs @@@r6#direct_call_graph_depth_sensitivityrsk C M*MNON (    %  &sHg S  D LLRbK KA[AAH! cggj)3 /C OG[4[ !!L23<,<9M*8#n%TKA.AAHSJ',&*6/<&0 =U U  O 2!s D$<4D)cpt||jDcic] \}}|dd| c}}Scc}}w)N)rr)rQrRrSrns r6cns_string_vasrMs4*:3*I*O*O*Q Rhb$D"IrM RR Rs2c<|jt}|jt}dtfdtfdt fg}t |ddt |dtt|||ttt|||ttt|||t |Dcic]\}}|t||||c}}t|||tt|||t|rt||||nd|rt||||d Sdd Scc}}w)Nr5r6r7rrfr ) rmapLoaderDirectRelHitCountscriptRunnerDirectRelHitCountselectorTableDirectRelHitCountrrrrr) rprrrrrr7r~rrzrr) rQrRrrg source_string target_stringr]rnrs r6rrQsI KK'MKK'M 12 !78 &(GH Xa[)*"U8A;-?,@A&)/#xSf*g&h),_S(HVl-m)n*- C85T U+ !3( f /#x6B B( 0C 8%<0 .A 8%:. LY Xx G^_LY Xx G+ *_`+ ( s3Dc`t||}|}|t|t|dddddSd}d}|dk\r,||dz |dk(r!d}|dz }|dzt|krg||dz}n^|d k\r||d z d k(rd }|d z }nF|d k\r||d z d k(rd }|d z }n.|dk\r||dz |dk(rd}|dz }n|dk\r||dz |dvrd}|dz }td|cxkr td krnnd}n!td|cxkr td krnnd}nd}t|t|t |||d|||d|ddSddS)Nunknown)referenceVaHexrinstructionBytesHexrr|r immediaterszwrite-immediate-u8rr zread-alzwrite-alrsz read-movzx-u8)s szread-byte-to-regrrr other-text r1rK)r r7r~r r rZ)rQrRref_varUinstruction_varr5 range_names r6classify_latch_referencerxs (F +FN ~#Fm %n 5#%    D E {s6A:f-<#! A:C  OE 1VaZD0! 1VaZD0! 1VaZ/?B! 1VaZ/3MM!!a FF-CA-FF' %a (F T5QRS5T T' ! -!.1(hK(-(9bs $   @D  r8c t|jdd|jdd|jdd|jddgS)Nrrrrr)rrp near_refss r6rrsP  ;Q? 91= 5q9 5q9  r8chtd|jdxsijDS)Nc32K|]}t|ywr9r~)r;rAs r6r=z'transition_rel_count..s  F rr)rrprArs r6transition_rel_countrs4  }}%BCIrQQS r8c2tt|jdxsdd}t|}t |}|dk(rd}d}n*d|cxkrdkrnnd }d }nd |cxkrd krnnd }d }nd}d}i||||jd|||dkDxs|dkDdS)Nr0x0riUC movement-state-initializer-resetzDwrites direction latch 0x00 while resetting actor/list display statei]CiCactor-state-continuation-readzLcompares latch against 0x05..0x08 and selects actor +0x68 state 0x07 or 0x03iCiCzLcompares latch against 0x05..0x08 and selects actor +0x68 state 0x08 or 0x04!unclassified-other-text-referencez*not classified by the current static auditrr) consumerClassobservedEffect windowHextransitionLikeWindowRelHitCountrouteImmediateWindowHitCounttransitionConsumerProofFound)rqrrprr)rrrlocal_transition_countlocal_route_countconsumer_classeffects r6"classify_latch_other_text_consumerr-sSWW%78AEBBGN1)<-i8#;W ~ 3 38_ ~ 3 38_<=   ' ]]:.+A(9(>(B([FWZ[F[ r8c Xt|d\}}t||||f}tjdt}g}d}t } d} g} g} i} i}g} |j ||}|dkrn||z}t|||}t||tz t||tzf}t||||}| jdt|||jdd|jdxsij!D]}|D]}| j#|t%|}| |z } |s)t'|jdij!r'| ji||jd|d|d d k(r|jt)|||j|| j|d dd z| |d <|j|d dd z||d <|d z}t+d | j-D}t+d| j-D}t+d|D}t+d|D}t+d|D}t+d|D}t+d|D}t+d|D}idttdt|dt|dtdtdt/|d|d|d|jd ddt1t3| j-dt1t3|j-d t/| d!t3| d"| d#| d$| d%|d&|||||||dk(xr%|dk(xrt/||jd dk(|dd'd(d)S)*Nrrwrzdirection-latch:rrr|rr)r%nearReferencesr|rrr c3HK|]\}}|jdr|yw)readN startswithr;rrxs r6r=z5direction_latch_reference_evidence..s($ ??6 "  "c3HK|]\}}|jdr|yw)writeNr3r5s r6r=z5direction_latch_reference_evidence..s($ ??7 # r6c3FK|]}|jddurdyw)r(Tr Nrrrss r6r=z5direction_latch_reference_evidence..s*/ 771 2d : /rtc3HK|]}|jddk(rdyw)r#r r Nrrrss r6r=z5direction_latch_reference_evidence.. s*! 77? #'I I !r6c3HK|]}|jddk(rdyw)r#r!r Nrrrss r6r=z5direction_latch_reference_evidence..s*, 77? #'F F ,r6c3HK|]}|jddk(rdyw)r#r"r Nrrrss r6r=z5direction_latch_reference_evidence..s*( 77? #'J J (r6c3@K|]}|jddyw)r'rNrrrss r6r=z5direction_latch_reference_evidence..s$,  .2,c3@K|]}|jddyw)r&rNrrrss r6r=z5direction_latch_reference_evidence..s$1  1151r>directionLatchGlobalHex textRangeHexrfwindowBeforeByteswindowAfterBytesdirectRefCount readRefCount writeRefCountotherTextRefCountbyKindbyRanger&!transitionLikeWindowRelHitVaHexesr'routeWindowHitRows windowRangesallOtherTextReferences otherTextTransitionConsumerCountaAll direct .text references to the direction latch were scanned with local windows. None of those windows contains a direct map-loader/script-runner/selector-table branch or a selected-pointer, current-root, source-map, or target-map immediate. The refs outside the bounded helper/controller ranges are one movement-state reset and two nearby actor-state compare clusters that select actor +0x68 states, not a map transition consumer. Direction latch use therefore remains actor movement/collision state, not edge-transition proof.)otherTextResetCount(otherTextActorStateContinuationReadCountotherTextUnclassifiedCount%otherTextRouteImmediateWindowHitCount(otherTextTransitionLikeWindowRelHitCount*otherTextReferencesClassifiedNonTransitionsampleReferencesr)rsrlr`ryDIRECTION_LATCH_GLOBALrrrr}LATCH_WINDOW_BEFORErLATCH_WINDOW_AFTERrrr7rprArrrr-rrr~rr) rQrRrrrtextrrrtransition_rel_hit_vas route_immediate_window_hit_countroute_window_hit_rows window_rangesby_kindby_rangeother_text_audit_rowsrrrrrrrrow_route_immediate_count read_count write_count$other_text_transition_consumer_countother_text_reset_count!other_text_actor_state_read_countother_text_unclassified_count!other_text_route_window_hit_count&other_text_transition_window_hit_counts r6"direction_latch_reference_evidencerks(7;J sHz8&< =Dkk$ 67G D E U'($M G!H ii' 7 c!&sHf=  F%88 9 5 6 &c8WfE 'f 7! j1  ]]#@AGROOQ 3D 3&**62 3 3%:)$D!(,EE( $IMM:WY[,\,c,c,e(f ! ( (**&]]:6"+*  w<< ' ! ( ()KCQZ)[ \ C&{{3v;:Q>F !)c'lA!>!BWaA B!(J!(K,//*/,(!!*!),,*,)%%((*(%!),,(,)%.11(1.*% !5)?#@% 5,-Rh/@A%  0%  . %  #d) %   %  %  X\\,:%  $vgmmo./%  4x~~/01%  *3/E+F%  ,V4J-K%  '(H%  3%   %  !"7!% " +,P#% $ 64U&C1R4Z 0A 5 L-2 L)*hll<.KK "I C=% %r8ct|d}t||||}t|||t}t|||t}t |ddt |d|t ||ddt ||ddddS)Nrrrfr ra#A whole-.text direct-reference scan finds actor movement/collision entry points, but no direct map-loader or selector-table branch tied to the edge path. The few direct script-runner calls are outside the actor movement/collision ranges and do not carry the current source/target immediates.)rAdirectReferences actorControllerDirectRelHitCount"actorControllerDirectRelHitVaHexes collisionHelperDirectRelHitCount"collisionHelperDirectRelHitVaHexesr)rsrrACTOR_CONTROLLER_FUNCTIONACTOR_COLLISION_HELPER_FUNCTIONr7r~)rQrRrr direct_refsactor_controller_hitscollision_helper_hitss r6$global_transition_reference_evidencerwHsx1J#C7JGK+C:G`a+C:Gfg A/05A3G2HI',/0E,F.CCR.H,/0E,F.CCR.H q  r8ct|d\}}t||||f|}d}t} g} g} g} |D]g} t| d}t ||t z t ||tzf}t||||}| j|d| ||jdd|jdxsijDcgc] }|D]}| }}}|D]}| j|t|jdd|jd d|jd d|jd dg}||z }| |jdt|||d }t| d kr| j||s|sW| j|j|t|t|dt|t tt|t| t!| || | | d|dd Scc}}w)Nrrrz-caller:rr/rrrrr)rr%rrr0rrfzAll direct callers of z were scanned with local windows. Any transition-like branch or source/target/current-root immediate near those calls must still be tied to the edge path before it can prove a generic boundary transition.) rrrArBrC callerCountr&rJr'rKrLsampleCallerWindowsr)rsrrrqr}CALLER_WINDOW_BEFORErCALLER_WINDOW_AFTERrrrprArrr~r7r)rQrRrrrrrhit_vasr\r[r] sample_rowsr^hit_hexhit_varrrrrrrs r6caller_window_evidencer\sY)7;Jc8j(-CVLG'($ UKM$.Wb!  F%99 : 6 7 &c8WfE whwi0! j1  #'DEKSSU      & /F " & &v . / # MM? C MM=q A MM91 = MM91 = % !  ),AA( "z2/2?/C&;'   { b   s # O ! ( ( -I$.LV} ,-Rh/@A1/7|+./E+F-34J-K(H3%*$UG,A A 3 sG6ct|d\}}t||||ft}g}g}dddddddd}d} |D]} t| d} td| cxkr tdkrnn|dz }t d| cxkr t dkrnn| dz } t || tz t|| tzf} t|||| } |jd| | | jddd xx| jd dz cc<d xx| jd dz cc<d xx| jddz cc<dxx| jddz cc<dxx| jddz cc<dxx| jddz cc<|j| | jd| jd d| jd d| jdd| jdd| jdd| jdddtfddD}dttt|dt|ttt||| |d ||ddS)Nrr),selectedPointerGlobalImmediateWindowHitCount*currentSelectorRootImmediateWindowHitCount&sourceMapStringImmediateWindowHitCount&targetMapStringImmediateWindowHitCountmapLoaderWindowRelHitCountselectorTableWindowRelHitCountrr zscript-runner-call:rr/rrrrrrrrrrrr)rr%rrrrrrc3(K|] }| ywr9r3)r;rtotalss r6r=z6script_runner_call_context_evidence..s   s  s)rrrrz script-runnerrf) rrrArBrCryactorControllerRangeCallerCountcollisionHelperRangeCallerCountr'aAll direct script-runner calls were scanned with local windows. They are outside the actor-controller/collision-helper ranges and their windows contain no map-loader or selector-table rel branches and no selected-pointer, current-root, source-map, or target-map immediates.)rLsampleCallWindowsr)rsrrrqr r r}r{rr|rrrprr7r~)rQrRrrrr}r~r^actor_range_countcollision_range_countrrrrrrs @r6#script_runner_call_context_evidencers(7;Jc8j(-CE[\GKM89672323&'*+ F' Wb! !! $ J1G1J J  "  ' *f V7STU7V V !Q & !  F%99 : 6 7 !h@*7)4,  =>$(( 11C  > ;< /A  < 78DHH +Q=  8 78DHH +Q=  8 +,9UWX0YY,/0DHH=]_`4aa0 *-3788OPVTVF::./52    c! E  D0668  8x '>?sHh}.Es>GZ[ "3(;K2LM yy#)r "!XXo6 HH^4#H]$;|jdxsg}|jdxsijtxsi}|jdxsijdxsijdxsgDcic]}|jd|}}g}|D]v}|jd}tjt|d} |j| xsi} t ||} |jd d u} |j id|d| d |jd d |jd d |jd d|jdd| d |jd d|jdd| xr| d|jdd|jdd| jdd| jdd| jdd|jdxsid|jdy|Scc}w)NroriginalLayer1MapStatsrrrrrr outwardMoveWouldStayInBoundsFrPr edgeDistance autoTriggersourceAtOuterBoundaryoutwardMoveAllowedInsideMapboundaryCandidateoriginalStandableoutwardFootprintDirectionClearrrr+ targetSpawntargetSpawnOriginalLayer1FlagsrouteAssistUrl)rprSIDE_TO_DIRECTIONrrr) original_collision_route_auditrroute_candidatesstatsr case_rowsrrrrrat_source_boundary out_of_boundss r6candidate_rowsrns599:KLRPR + / /0H I OR T TU[ \ b`bE'**=9?RDDEVW][]bbcstzxz   c!I D% }}V$%))#d)R8 }}Y'-229eD! &DEN   D   s#  s#  IMM.9  9==7   $%7  +IMM:X,Y  *9==9V+W  !3!E   /B!C  -imm<\.]  DHH^4  dhh'78  &txx0I'J 9==)IJPb! " imm,<=#   2 K=s?Hc  |xsttdz i}|xsttdz i}|j}t|}t ||}t ||}|Dcgc]}|j ds|}}t|||tt|||tt|||} t|||} t|||} t|||} t|||} t|||}t!|||t"d}t!|||t$d}t'||tt$}t)|||}t+d|D}t+d|D}t-fdd D}t-d d d d d d d d g}t/|}t1||dtddtdg|}t3g| j dxsg|j dxsg|j dxsg}t1||||}| j dxsgDcgc]1}d|j dt5|j dd3}}t1||||}t1||t3g| j dxsg| j dxsg|}idddt6dt8dddddddddt:dt<d t>d!tAt>d"tA|d#tA|d$t-d%|Dd&|d'tCt$tCtd(d)tCtd*tCtDtCtF|||d+d,tCt"tCtd(d)tCtd*tA||d-id.| d/| d0| d1| d2|d3|d4|d5d6|d7d8|d9d:|d;d<|d=d>|d?d@|dA|d5dB|d7dC|d9dD|d;idE|d=dF|d?dG|dH|d5dI|d7dJ|d9dK|d;dL|d=dM|d?dN|dO|d5dP|d7dQ|d9dR|d;dS|d=dT|d?dU| idV|dW| j d5dX| j ddY| j dZd[| j d\d]| j d^d_| j d`da| j dbdc| j ddde| j dfdg| j dhdi| j djdk| j dldm| j dndo| j dpdq| j drds| j dtidu| j dvdw| j dxdy| j dzd{| j d|d}| j d~d| j dd| j dd|j dd|j dd|j dd|d|dt6tC|j t6t8tC|j t8id|d|dt<ddScc}wcc}w)Nruntime_movement.json#original_collision_route_audit.jsonrrrc3>K|]}|jdyw)rNrrrss r6r=z build_summary..s%bCcgg.F&G%bc3>K|]}|jdyw)rNrrrss r6r=z build_summary..s,q[^SWW5U-V,qrc3dK|]'}td|td|z)yw)rNr)r;rncontroller_refs helper_refss r6r=z build_summary..sD  K5 6t <= o;.s")mcggVcNdhlNl!)ms"" candidateRowscollisionHelperEvidencerrfr ) functionVaHexrr@actorOverlapLoopVaHex boundaryCases allBoundarySnippetsMatchExpected-allBoundaryCasesFallThroughToActorOverlapLooprmactorControllerEvidence)rrcollisionHelperCallCountcollisionHelperCallVaHexesrmdirectionLatchReferenceEvidence!globalTransitionReferenceEvidencescriptRunnerCallContextEvidence'selectedPointerImmediateContextEvidenceencodedScanTargetsedgeHandlerEncodedTargetScan&edgeHandlerEncodedTargetClassificationr/edgeHandlerEncodedTargetRawScalarCandidateCountr9edgeHandlerEncodedTargetTransitionRawScalarCandidateCountr9edgeHandlerEncodedTargetRouteProofRawScalarCandidateCountr>edgeHandlerEncodedTargetSelectedPointerRawScalarCandidateCountr/edgeHandlerEncodedTargetPromotingCandidateCountr edgeLocalWindowEncodedTargetScan*edgeLocalWindowEncodedTargetClassification3edgeLocalWindowEncodedTargetRawScalarCandidateCount=edgeLocalWindowEncodedTargetTransitionRawScalarCandidateCount=edgeLocalWindowEncodedTargetRouteProofRawScalarCandidateCountBedgeLocalWindowEncodedTargetSelectedPointerRawScalarCandidateCount3edgeLocalWindowEncodedTargetPromotingCandidateCountedgeCallGraphEncodedTargetScan(edgeCallGraphEncodedTargetClassification1edgeCallGraphEncodedTargetRawScalarCandidateCount;edgeCallGraphEncodedTargetTransitionRawScalarCandidateCount;edgeCallGraphEncodedTargetRouteProofRawScalarCandidateCount@edgeCallGraphEncodedTargetSelectedPointerRawScalarCandidateCount1edgeCallGraphEncodedTargetPromotingCandidateCount)edgeGlobalContrastWindowEncodedTargetScan3edgeGlobalContrastWindowEncodedTargetClassification@PQJ*4U3@S8T3UU#C7 !9:783434=>;<7878 " +73O 7 (3O P(3I J  !/0 .. ( .B0 ) - -n = C0 * - -n = C0 &=  &"%(()=>D"  "#'''"2!34$SWWZ%89 6   +B  (,,^<B &**>:@b   +'@ ,@ &@  &@  B @  E @  e @  @  #$@@  8@  2@  C :;@  s:@  ',?(@@  %c)m7J)m&m@  @  ""#BC !=a!@AB"UKghiKjEkDlm',-C'D%*+=%>+0K=_ + $ !@ 4 ""#<= !7!:;`a(+,C(D*A / $ 5@ B *:C@ D ,[E@ F *+EG@ H 23KI@ J oK@ L '(AM@ N 12KL\2]O@ P :;T %< Q@ V DE^ /F W@ \ DE^ /F ]@ b IJc 4K c@ h :;T %< i@ n +,Jo@ p 56TUe6fq@ r >?] %@ s@ x HIg /J y@ ~ HIg /J @ D MNl 4O E@ J >?] %@ K@ P )*AQ@ R 34KL\4]S@ T <=T %> U@ Z FG^ /H [@ ` FG^ /H a@ f KLc 4M g@ l <=T %> m@ r 45Xs@ t > /0@ Aw@ z G /0I J}@ @ Q /0S TC@ F Q /0S TI@ L V /0X YO@ R G /0I JU@ X "#4Y@ Z *+G[@ \ ;-B-BC`-aw@ x DEVEZEZ AF y@ ~ @ARAVAV =B @ D <=N=R=R 9> E@ J =>O>S>S :? K@ P CDUDYDY @E Q@ V CDUDYDY @E W@ \ ;?Se@ f 89Og@ h #$Ai@ j  8m@ @uVHs(Z>?Z>?6[c(gddd|dd|dddddd dd |d dd |d dd|ddddj|dddt|ddd|jddd|ddd|ddd|ddd|ddd|d d!dd"|d d#d$|d d%d&d'|d(d#d$|d(d%d&d)|d*d#d$|d*d%d&d+|d,d-d.|d,d%d/|d,d0d1|d,d2d3 d4|d5d6d7|d5d8d9d:|d;d<|d=d<|d>d<|d?d<|d@dA|dBdC dD|dEd<|dFd<|dGd<|dHd<|dIdA|dJdC dK|dLd<|dMd<|dNd<|dOd<|dPdA|dQdC dR|dSd<|dTd<|dUd<|dVd<|dWdA|dXdC dY|dZd[|d\d]|d^d_|d`da|dbdc|ddde|dfdg|dhddi|djdk|dldm|dnddo|dpd[|dqdr|dsdt|dudv|dwdx|dydv|dzd{|d|d}|d~d|dd|ddc|dd|ddd|dddd|dddd|ddddddddd}|dD]}|jd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdxsdd|jdxsdd|j gd|ddD]}|jd|jdd|jdd|jdd|jdd|jdd|jdd |dd}|dd}|dd}|j gdd|fd|fd|ffD]\}}|jd|d|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|d }|j gd|d5dD]}|jd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|jdd|j d|d5ddddddg|d,dD]}|jd|jd«d|jdd|jdd|jdd|jdd|jdd|jdd|jdd|j d|d,ddddd|dddd|dddd|ddd<|dddd|ddd<|ddd<|dddd|dddd|ddd<|ddd<|dddd|ddd[|dddr|dddt|dddv|dddx|dddv|ddd{|ddd}|ddd|ddd|dddc|ddd|ddddddg|ddD]}|jd|jdd|jdd|jdd|jdd|jdd|jdΫd |j gd|ddD]}|jd|jdd|jdd|jdɫd|jdʫd|jd̫d|jdͫd|jdΫd|jdЫd|jdd|jdƫd|j d|ddddddddg|djdxsijdxsgD]L}|jd|jdd|jdd|jdd|jdd|jdd|jdxsdd|jdxsdd|jdxsdd|jdxsdd|jdxs-|jdxst |jdd|jdxs/|jdxst |jddO|j gd|djdxsijdxsgD]}djdt |jdxsijDxsd} |jd|jdd|jdd|jdd|jdd| d|jdd|jddt |jddt |jdd|j d|ddd|djdxsijdddd dd |d dd |d!dA|d d|dd|dd d|d#d|d%dd|dd|dd|dd|dd d|dd|d dd!|d"dd#djd$|d%jDddd&d'g|d(D]c}|jd|jd)d|jd*d|jdd|jd+xsdd e|j d|ddd,dd-d.g|d/D]}|jd|jdd|jd)d|jd0d|jd1d|jd#d|jd%d|jd2d|j gd3|d(|d*fD]D} |jd| d4d| d5d| d-d| d#d| d%dt| d6d F|j d|d(dd|d*dg|j dd7d|ddd8dg|d9D]} |jd:| |jdd;j|S(<Nz# map1_01a Edge Trigger Gapr zRoute: `rz -> r`zThis audit checks whether the geometry-only edge candidates can be promoted as a generic original edge/boundary transition. It keeps promotion blocked.z## Gatez- promotionAllowed: `rz- promotionStatus: `rz- proofFound: `ruz- failed edge trigger gates: `, rz- missingEvidenceCount: `rz- evidenceRefs: `rz- source boundary candidates: `rz- auto boundary candidates: `rz9- transition-like direct rel hits in helper/controller: `r.z1- route direct immediates in helper/controller: `r/z&- direction latch direct .text refs: `rrDz&- direction latch route-window hits: `r&z ` rel / `r'z ` immediatesz(- actor-controller caller-window hits: `r+z(- collision-helper caller-window hits: `r,z- script-runner call windows: `rryz ` calls / `z` route immediates / `rz` map-loader rel / `rz` selector-table relz'- selected-pointer immediate windows: `rrz ` refs / `rz` route-specific hitsz.- edge handler encoded route-target scalars: `rz` / `rrrrz` (`rz`)z3- edge local-window encoded route-target scalars: `rrrrrrz1- edge call-graph encoded route-target scalars: `rrrrrrz8- global contrast-window encoded route-target scalars: `r r r r rr z- direct call graph: `rz ` / proof `rz` / functions `rz ` / edges `rz` / transition targets `rz` / transition hits `rz` / route immediates `rz` / indirect-like bytes `rz2- direct call graph depth sensitivity: max depth `r(z` / no proof `r)z` / stable beyond default `r*z"- indirect call graph rejection: `rrz` / absolute `rz` / jump tables `rz`/`rz` entries / targets `rrz` unique / local `r"z ` / outside `r#z` / resolved `r$z` / unresolved `r%r&z` / route hits `r'z!- global .text transition refs: `rrmrz` map-loader / `rz` script-runner / `rz` selector-table rel hitsz## Candidate Rowsz~| side | tile | direction | edge | auto | source boundary | in-bounds move | original standable | helper rule | helper check |zB| --- | --- | --- | ---: | ---: | ---: | ---: | ---: | --- | --- |rz| rz | rPr>rrrrrrrrr?z | `rz` |)r z## Boundary Helper Evidencer zE| direction | rule | check | fallback latch | exit target | snippet |z&| --- | --- | --- | --- | --- | ---: |rrz` | `r+rz` | rz |r)r z## Direct Reference Checksr z| range | map loader rel | script runner rel | selector table rel | selected ptr imm | current root imm | source string imm | target string imm |z8| --- | ---: | ---: | ---: | ---: | ---: | ---: | ---: |collision helperactor controller global .textz `rrrrr)r z%## Selected Pointer Immediate Contextr z| ref | window | selected ptr imm | current root imm | source string imm | target string imm | map-loader rel | script-runner rel | selector-table rel |z>| --- | --- | ---: | ---: | ---: | ---: | ---: | ---: | ---: |rz| `rr%rz## Script Runner Call Contextz| call | window | selected ptr imm | current root imm | source string imm | target string imm | map-loader rel | selector-table rel |z7| --- | --- | ---: | ---: | ---: | ---: | ---: | ---: |rrz## Direct Call Graphz- classification: `rrz- proof found: `z,- reachable functions / direct call edges: `rrzF- transition targets reachable / transition hits / route immediates: `rrrz- indirect call-like bytes: `rz=- depth sensitivity max / no proof / stable beyond default: `rrrrz- indirect rejection: `rrrrrrrrrrrrrzI| function | depth | range | calls | transition hits | route immediates |z)| --- | ---: | --- | ---: | ---: | ---: |rrrrr)r z'### Direct Call Graph Depth Sensitivityr z| max depth | observed depth | functions | edges | transition targets | transition hits | route immediates | indirect-like bytes | proof | stable class |zF| ---: | ---: | ---: | ---: | ---: | ---: | ---: | ---: | ---: | --- |rrrz!### Indirect Call/Jump Candidateszt| function | depth | instruction | kind | operand | table | entries | absolute | resolved | target hit | route hit |zE| --- | ---: | --- | --- | --- | --- | ---: | --- | --- | --- | --- |rrrrrrrr rrQrSrUrVrrWrXr)r z### Indirect Jump Table Auditr zw| function | instruction | table | entries | target classes | local-only | outside | transition labels | route labels |z9| --- | --- | --- | ---: | --- | --- | ---: | --- | --- |r|c30K|]\}}|d|yw:Nr3r;rr5s r6r=zmarkdown..u'" Ue1UG " r"r#r$z## Direction Latch Global Scanz - latch: `r@z- text refs: `rEz ` reads / `rFz ` writes / `rGz"` outside helper/controller range)z- local route-window hits: `z` transition rel / `z` route immediatesz)- outside helper/controller refs: reset `rPz#`, actor-state continuation reads `rQz`, transition consumers `rNz`, unclassified `rRz0- outside helper/controller route-window hits: `rTrSz+- outside refs classified non-transition: `rUz - by kind: `c30K|]\}}|d|yw)=Nr3)r;kvs r6r=zmarkdown..s P1A3as PrZrHz| ref | range | kind | value |z| --- | --- | --- | --- |rVr r|rz3### Direction Latch Outside Helper/Controller AuditzK| instruction | ref | class | effect | transition rel | route imm | bytes |z-| --- | --- | --- | --- | ---: | ---: | --- |rMr#r$r )r z## Caller Window Scansr zW| target | callers | local transition rel hits | local route immediates | hit windows |z#| --- | ---: | ---: | ---: | ---: |rrrKz ## Conclusionz## Missing Evidencer0z-  )r@r~rprrrBrr) summarylinesrrrr:rrlatchtarget_classescallsrs r6markdownresC, %,  ,  78$%T'(*;),  ,   M ,  ,  ,  ,  (: ;,  w'89:!<,  ',/02,  )7;U3V)W(XXYZ,  $C0A(B$C#DAF!, " GKK(:;#, $ *'2P*Q)RRST%, & (0L(M'NaP', ( DGMBECDDDE F), * gF{>|=}~CDKLKDLCMMRSZ[ZS[R\\abijnboappuv}~svtuuuyzABnzoyppr s;, < C7LJDKCLLQRYZbRcQddijqrzj{i||ABIJWBXAYY^_fge_f^ggklstiljkkkm n?, @ !)[!\ ]]hiprWjXiYYhipqXiYhZZefmnRfSeTTlmtudmelff{|CDm|n{ooEFMNuFvEwwPQXYC QD PE E F G A, B =WEu=vSWW[EYDZZ]ww~&'s377=+A*B#cggNaFbEccfww567s377CV;W:XX[ww~&-#.d377;K3L3SPS2TTW Y   LL01/B  %&c#''.*A)B$swwO_G`Fab1235AX9Y8ZZ^ww/01 5  345GHK789KLO=>?QRK LL [) _- %  t  r$((:./tDHH=Y4Z3[[^xx789TXXFf=g?s488LoCpBqqtxx789TXXFe=fc#''JmBnAoorww678CGGDcc#''JmBnAoorww678CGGDc-?tCGGL^D_C``dwwvs377=#9":$swwG^?_?fcf>ggkww349:$swwG\?]?dad>ef,-45Tww/0HCGGZ6[5\]tCGG,K$L#MSww6789CGG$;<=>?CGG$6789  >   LL )*<8 * + / /0L M SQSXXYegij ( U456a8 /01eN6K5LKX]^mXnWoo{}BCV}W|XXz { &u-N'O&PPdejlJfKeLL^ _ 3E:O4P3QQtuz|fvguhhABGHjBkAll}~CD`~a}bbc d :5Ak;l:mnBCHIpCqBrrD E 5ee=fg-./s 4   LL 5656   }%&b})=(>d5CWBXX[678EB`g}|ddD]E}|jdjddtjt |j d ddtjt |j dddtjt |j dddtjt |j dddtjt |j dddtjt |j dddgHg}|dd}d|ddfd|ddfd |ffD]\}}|jdjddtj|d!tjt |j d"dd|j d#dd|j d$dd|j d%dd|j d&dd|j d'dd|j d(dd|j d)ddg |d*}g} |d+d,D]E}| jdjddtjt |j d-ddtjt |j d.ddtjt |j d"ddtjt |j d/ddtjt |j d0ddtjt |j d1ddgHg} |d2d3D]}| jdjddtjt |j d4ddtjt |j d5ddtjt |j d6ddtjt |j d7ddtjt |j d8ddtjt |j d9ddtjt |j d1ddtjt |j d:ddtjt |j d;ddtjt |j d<ddg g} |d+j d=xsij d>xsgD]}| jdjddtjt |j d?ddtjt |j d.ddtjt |j d@ddtjt |j dAddtjt |j dBddtjt |j dCxsdddtjt |j dDxsdEddtjt |j dFxsdddtjt |j dGxsdddtjt |j dHxs-|j dIxst |j dJddtjt |j dKxs-|j dLxst |j dMddg g} |d+j d=xsij dNxsgD]}dOjdPt|j dQxsijDxsd} | jdjddtjt |j d?ddtjt |j d@ddtjt |j dCddtjt |j dDddtj| ddtjt |j dRddtjt |j dSddtjt |j dJddtjt |j dMddg g}|dT|dUfD]}|jdjddtjt |j dVd!tjt |j dWdd|j dXdd|j dYdd|j dZddt|j d[xsgddgg}|d\D]}|jdjddtjt |j d]ddtjt |j d^ddtjt |j dAddtjt |j d_xsdddgg}|d`D]u}|jdjddtjt |j d@ddtjt |j d]ddtjt |j daddtjt |j dbddtjt |j dYddtjt |j dZddtjt |j dcddg xg}|dddeD]}|jdjddtjt |j dfddtjt |j dgdd|j d&dd|j d'dd|j d(dd|j d)dd|j d#dd|j d%ddg g}|dhdiD]}|jdjddtjt |j djddtjt |j dgdd|j d&dd|j d'dd|j d(dd|j d)dd|j d#dd|j d$dd|j d%ddg djgdkdldmdndodpdqdrdsdtdudvdwdxdydzd{d|d}d~dtj|ddtj|ddtj|dd|dd d|d;dtjdj|ddt|dd|j dd d|dd|dd|dd|dd d|dd|dYd|dZdd|dd|dd|dd|ddtjt |dd d|dTdYd|dTdZd|dUdYd|dUdZd d|dddXd|dddZd|dddd|dddd d|dhdd|dhddd|dd|dd|dd|dd|ddtjt |dd d|dd|dd|dd|dd|ddtjt |dd d|dd|dd|dd|dd|ddtjt |dd d|dd|dd|dd|dd|ddtjt |dd dtjt |ddtjt |dd|dd|dd|dd|dd|dd|ddd|ddtjt |ddtjt |dddtjt |ddtjt |dd|dd|dd|dd|dd|ddtjt |dd|dd|dd|dd|dd|ddd|ddd#d|ddd$d|ddd%ddtj|ddddd|dDddddd |d d d dd d |d d dddd |d d ddtj|d+ddddd | d d ddtj|d2ddddd | d d ddtjt |d+j d=xsij dxsddddd | d d dddd | d d ddtj|dhddddd |d d ddtj|ddddddd |d d ddtj|ddddd |d d ddd d |d d d!dd"d |d d d#d$dS(%Nrr_zz rzrPrQrrrrrrrrr?z rz zrrr+rrrrmrRrSrrTz rrrrrrrrrrrrrrrrrrrrrrrrrrurrrrrrrrr rrQrSrUrVrrWrXrr|r>c30K|]\}}|d|ywrVr3rXs r6r=zhtml_page..9 rYrZr"r#r$r+r,rrryr&r'rKrVr r|rrMr#r$r rrrr%rrrzzzz zF z* map1_01a Edge Trigger Gapz zzz$

map1_01a Edge Trigger Gap

z

Route rz -> rz; promotion rz; allowed rz .

z

proof found z); failed edge trigger gates rz&; missing evidence count rz; evidence refs rz&

source boundary candidates rz(; auto boundary candidates rz#; transition rel hits r.z$; route immediate hits r/z-

direction latch direct .text refs rDz1; direction latch route-window hits z rel / z immediates.

zA

direction latch outside helper/controller refs: reset rPz.; actor-state continuation reads rQz$; transition consumers rNz; unclassified rRz); non-transition classified rUz/

actor-controller caller-window hits z> immediates; collision-helper caller-window hits z&

script-runner call windows z ; route immediates z; map-loader rel rz"; selector-table rel rz.

selected-pointer immediate windows rz#; route-specific hits rzP

edge handler encoded scalars raw/transition/route/selected/promoting rz/rrrrz (rz ).

zU

edge local-window encoded scalars raw/transition/route/selected/promoting rrrrrrzS

edge call-graph encoded scalars raw/transition/route/selected/promoting rrrrrrzZ

global contrast-window encoded scalars raw/transition/route/selected/promoting r r r r rr z

direct call graph rz; proof rz; functions rz; edges rz"; transition targets rz; transition hits rrz#; indirect-like bytes rz:

direct call graph depth sensitivity: max depth r(z; no proof r)z%; stable beyond default r*z

indirect call graph rrz; absolute rz; jump tables rrz; targets rrz unique; local r"z; outside r#z; resolved r$z; unresolved r%r&z; route hits r'z4

global .text transition refs: map-loader z; script-runner z; selector-table z

rz

z

Missing Evidence

z
    c3NK|]}dtj|dyw)z
  • z
    • N)htmlescape)r;rs r6r=zhtml_page.. s# U$HT[[&'u - Us#%z
z

Candidate Rows

z z z z z
sidetiledirectionedgeautoboundaryin-boundsstandablerulecheck
z#

Boundary Helper Evidence

z~ directionrulecheckfallbackexit targetsnippetz"

Direct Reference Checks

z rangemap loader relscript runner relselector table relselected ptr immcurrent root immsource string immtarget string immz

Direct Call Graph

z functiondepthrangecallstransition hitsroute immediatesz.

Direct Call Graph Depth Sensitivity

z max depthobserved depthfunctionsedgestransition targetstransition hitsroute immediatesindirect-like bytesproofclassificationz(

Indirect Call/Jump Candidates

r z functiondepthinstructionkindoperandtableentriesabsoluteresolvedtarget hitroute hitz$

Indirect Jump Table Audit

z functioninstructiontableentriestarget classeslocal-onlyoutsidetransition labelsroute labelsz-

Selected Pointer Immediate Context

z refwindowselected ptr immcurrent root immsource string immtarget string immmap-loader relscript-runner relselector-table relz%

Script Runner Call Context

z callwindowselected ptr immcurrent root immsource string immtarget string immmap-loader relselector-table relz&

Direction Latch Global Scan

zQ refrangekindvaluez:

Direction Latch Outside Helper/Controller Audit

z instructionrefclasseffecttransition relroute immbytesz

Caller Window Scans

z targetcallerslocal transition rel hitslocal route immediateshit windowszz) rr@rirjrrprBrrr~)r`rr boundary_rows direct_rowsr:rrrbcall_graph_rowsdepth_sensitivity_rowsindirect_call_graph_rowsindirect_jump_table_audit_rowsrccaller_window_rowsrd latch_rowslatch_other_text_rowsscript_runner_rowsrs r6 html_pagerus&N'  IIS%9:;5AS%6784;;s377SV?@FS)@%ABC5IS)?%@AB%HS1D)E%FGHNS1O)P%QRSSXYS1D)E%FGHNS)@)GC%HIJ%Pt{{3sww7G/H/OC+PQRR^_    "M01/B   IIS)=%>?@FS)@%ABC5It{{3sww7G/H+IJK<Xt{{3sww7P/Q+RSTT`at{{3sww7N/O+PQRR^_S1I)J%KLMUS     K=>?QRK W%>?@RST W%>?@RST % t  IIU+,GDKKDHHZDX@Y4Z3[[gh">?@F"ABC5I"BCDEJ"GHIO"EFGuM"ABC5I"ABC5I    & 5 6EO012LM   IIS)9%:;?uES1C)D%EFGuMS1I)J%KLMUSS1F)G%HIJ%PS1Q)R%STUUZ[S1K)L%MNOuUS1I)J%KLMUSS1L)M%NOPPUVS)>%?@AGS1A)B%CDEUK    " "12667STZXZ__`lmsqs  '' IIS)A%BCDEJS)9%:;:;<HS1P)Q%RSTTYZS1P)Q%RSTTYZt{{;sww?V7W+XYZZfgt{{;sww?Q7R+STUUab    (5656  !! IIS=)A%BCDGDKKX[\a\e\efs\tXuLvKwxDE=12%8#DEFeL#ABC5IUYY';<BCDEJ   J'(   IIt{{3sww7G/H+IJK<XS)9%:;?uE!ABC5I    @ABZ[ $$ IIt{{3swwz/B+CDE\Rt{{3sww{/C+DEFlS!FGHN!DEFeL!@AB%H!@AB%H!=>?uE!@AB%H!ABC5I    99GGG G # G Q G 5 G G rG 1G 7G ;G XG cG tG ]G '!G" #G$ %G& 'G( /)G* DKK(9:;74;;wW_O`CaBbb{}A}H}HIPQbIc}d|ee|}DEW}X|YYe f+G, "',"7!88abfbmbmnrnwnwxA[y\o]c^b__EFIJQRcJdFeEffCDKDODOPbDcCddp q-G. 19W1X0YZBCJKgChBiiLMTUJMKLLLpqxyhqipjjv w/G0 8>N8O7PQBCHIjCkBll@AFGeAf@gg~ 1G2 LERgLhKijXY^_IYJXKKopuvXpYoZZvw|}YwZv[[DEIEPEPQTUZ[GUHQIEJDKKW X3G4 :'Bg:hjK;L:MMabijObPQobpaqqopwx]p^_@pAoBBVW^_DWEFdWeVff} ~5G6 19Z1[\i1j0klLMTUvMwxVMWLXXvw~`wab~wv@@bcjkLcMNncobpp| }7G8 9Aj9kl:A9BBefmnWfXYvfwexxD E9G: [[bdU\V[WWefmnifjekkyzAB}z~yMNUVVNWMXXfgno`gafbbqrvr}r}~ABIJrBs~truqvvC D ;G< ``gi^a_```novwvownxxFGNONGOFPP^_fgk_l^mm{|CDy|z{{{JKOKVKVWZ[bcO [P WQ KR JS S ` a =G> ^^egZ_[^\\jkrspkqjrr@AHIFAG@HHVW^_aWbVccqryzmrnqoo~CJJKNOVWA OB KC D ~E E R S ?G@ eelnlfmenn|}DEM}N|OO]^efn^o]pp~FGTU~VVdelmkeldmm|}A }H }H I L M T U J M K I L }M |N N [ \ AGB ( C@r8s4t(u'vwLMQMXMXY\]deJ]KYLMMLNNghopWhXgYYnovw[o\n]]@GHw@xyyXY`aJYKXLLlmtu\ m] l^ ^ A B I J t B u A v v B C CGD EWM}E~D@XY]YdYdehipqpiqerYsXttYZ^ZeZefijqrvjwfxZyYzzF GEGF *$++c'Br:s6t*u)vwLMQMXMXY\]deH]IYJMKLLLdelmheidjjEFMNEFFEGGUV]^QVRUSSjkrsgkhjiiwx@ z x{ w| | X Y ] Y d Y d e h i p q w i x e y Y z X { { R S Z [ a S b R c c { | CDz| {{ ||VW^_YWZV[[z{BCt{uzvvPQXYHQIPJJV WGGH ?wGj?kl~?A]@^?__|}DEh}ij|}}~]}^|__}~EFi~jk}~~_~`}aam nIGJ  GL12348KGL &MGN OGP V'BS:T UQGR SGT $UGV WGX }YGZ [G\ ]G^ _G` aGb .cGd eGf IgGh iGj kGl mGn oGp -qGr sGt guGv wGx yGz {G| }G~ 'G@  G$=>|LMNdSAGB CGD SEGF GGH IGJ KGL MGN 9OGP  G$EF|TUVVZ[QGR SGT }UGV WGX YGZ [G\ ]G^ 3_G`  C)B!C!G!GHd!e!kik p pq} ~!ECEFGHHL MaGb cGd \eGf gGh "iGj kGl mGn /oGp qGr SsGt uGv (wGx yGz {G| 8}G~  G$MN|\]^^bcG@ AGB tCGD EGF GGH IGJ KGL 0MGN  G$EF|TUVVZ[OGP QGR [SGT UGV WGX YGZ [G\ 1]G^  E,/016_G` aGb \cGd eGf gGh iGj kGl EmGn oGp [qGr sGt uGv wGx yGz ){G| }G~ [G@ AGB CGD EGF GGH IGJ KGL MGG Gr8c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okzmap1_01a_edge_trigger_gap.jsonFr) ensure_asciiindentr_rDrEmap1_01a_edge_trigger_gap.md)mkdir write_textrHdumpsre)r`out_dirs r6 write_outputsr" sd MM$M. //;; 7q9D@< --99(7:KV]9^r8c$tjt}|jdtt |jdtt dz |jdtt dz |jdtt |j}t|jt|jit|ji}t||jtd |jd z y) N) descriptionz--exe)typedefaultz--runtime-movementrz --original-collision-route-auditrz --out-dirz#wrote map1_01a edge trigger gap -> r{)argparseArgumentParser__doc__ add_argumentrEXEr1 parse_argsrNrQrLrrrrprint)parserargsr`s r6mainr+ s  $ $ 9F dC8 ,4G^A^_ :sUzOz{  $<    D $'',$55r:G '4<<( / ?]0]/^ _`r8__main__)r5 int | Nonereturn str | None)r5rqrrq)rAzlist[str] | Nonerr)rrrKrrr) rQrrR list[dict]rSrqrTrqrr) rQrrRrrSrqrTrqrr)rQrrRrrSrqrr)rQrrRrrgtuple[int, int]rr)rRrrnrrr)r5rqrgrrr() rQrrRrrgrr5rqrrq) rQrrRrrgrrrqr list[str]) rQrrRrrgrr5rqrr)rQrrRrrgrrr) rQrrRrrrqrrqrr)rQrrRrrrqrr)rQrrRrrgrrrq)rRrrSrrr)r5rrztuple[int, int] | None)@) rQrrRrrrrrqrz list[int])rdict[str, int]rr) rQrrRrrgrrrrrrr)rrrr) rQrrRrrrrrrr)rrrr)rrqrr)rrrr)rQrrRrrrrgrrrrrqrrrr) rQrrRrrrrrqrr)rrqrrrrr9) rQrrRrrrrzlist[int] | Nonerr)rQrrRrrr) rQrrRrrrrgrrr)rQrrRrrrqrr)rrrrq)rrrrrr)rQrrRrrrrr) rQrrRrrrrrqrrrr)rQrrRrrrrr)rrrrrr()rrrrrr)r6rr dict | Nonerrrr)r`rrr)r`rrrrNone)rr)fr __future__rrrirHr`pathlibrtypingrprobe_exe_scene_tablesrrrr __file__resolverwROOTr1rrrr3r4r5rrr rsr rrrrrrrWrXrYr{r|rrrrrr7r:r<rBrLrVrZrdrlrsrurzrrrrrrrrrrrrrrr rrr.rorrrrrrrrrr-rkrwrrrrrrrNrerurr__name__r3r8r6rsV" ^^ H~''* Ul ]    ! &BC+g :J '1",7 #",$"#&8# %    "$#)E  "$#)E  "$#)E  "$#)E '8 8@)8 &5(2.P  *$5 ;     &*Z6 666  6  6  6r&R( (( ( (  (4  "@N NNN N  N  N NNbPn* a aaa a  aH,f $ ; ;;;  ;  ;|S$ $$$ $  $N,^6sl(E EEE  E  E  EPRjE EEE EP8"!J$(26hh!h%0h hV M`Rj 25_ a  zFr8