Jj dZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz Zedz Zed z Zed z Zed z Zed z Zed z Zedz Zedz ZdZdZdZdZgdZgdZdgdddgdddgdddgdddgddd d!d"gdd#gd$dd%gd&dgZd@d'ZdAd(ZdBd)Z dCd*Z!dDd+Z"dEd,Z#dFd-Z$dGd.Z%dHd/Z&dId0Z' dJd1Z(dKd2Z)dLd3Z*dMd4Z+dNd5Z, dOd6Z- dPd7Z.dQd8Z/dQd9Z0 dR dSd:Z1dTd;Z2dTd<Z3edfdUd=Z4dVd>Z5e6d?k(re5yy)WzTSummarize source-save load-only evidence against source-exit runtime proof attempts.) annotationsN)Path)Anyoutz@runtime_selected_pointer_source_savedata_load_variants_poll.jsonzBruntime_selected_pointer_source_savedata_load_coordinate_poll.jsonzJruntime_selected_pointer_source_exit_branch_state_load_confirmed_poll.jsonzBruntime_selected_pointer_source_exit_adaptive_coordinate_poll.jsonzCruntime_selected_pointer_source_exit_adaptive_trail_start_poll.jsonz!save_selector_mapset_aliases.jsonz(save_selector_scene_adjacency_index.jsonz0save_selector_global_selected_pointer_paths.jsonmap1_01amap2_02dz0:02:0)zstrict-source-hotspotzselected-root-executionz'route-selector-current-root-observationz!source-exit-candidate-observationzroute-promotion-evidence)z map2_02dzzlist_text..Us95CJ9-)join)valuess r$ list_textr4Ts 889FLb9 9 @S@c:tj|xsiddS)NT)r':) sort_keys separators)jsondumps)r.s r$ compact_jsonr<Xs ::ekrTj IIr5cp|jr%tj|jdSiS)Nutf-8encoding)r"r:loads read_text)rs r$ load_jsonrC\s);?;;=4::dnngn6 7PbPr5c  g}|jdxsgD]i}t|ts|j|jd|jd|jd|jdxsgdk|S)NuniqueSelectorContextsselectorcountrootHex fieldMaps)rFrGrHrI)get isinstancedictappend)rowritems r$selector_count_rowsrP`s D017R $%  ,XXg&xx *+.4"     Kr5c|sgSt}t|D]B}|jd|k(s|jd|jdxsgDD|jdxsgD]W}|jdxsi}|jd|k(s-|jd|jdxsgDYt |S)NrFc32K|]}t|ywr)r*r,s r$r/z*field_maps_for_selector..tsLuE Lr0rIeventsselectorContextc32K|]}t|ywr)r*r,s r$r/z*field_maps_for_selector..xsOuE Or0)setrPrJupdatesorted)rNrFmapsrOeventcontexts r$field_maps_for_selectorr\ns  UD#C(M 88J 8 + KKL0E0KL LM"(bP))-.4" ;;z "h . KKO K0H0NBO OP $<r5cg}|jdxsgD]P}|jdxsi}|jd}|s,|r |d|k7s7|jt|R|r|S|Dcgc] }t|c}Scc}w)NrSrTrF)rJrMr+)rNfallback_selectorsrrZr[rFs r$selector_event_pathr`|sD"(b'))-.4";;z* TT"X%9 KKH & '   *< =hCM == =s3Bc,|D]}|tk7s |cSyr))SOURCE_SELECTOR)rrFs r$first_non_source_selectorrcs#  &O r5c|Dcgc];}t|jdtrt|jd=}}|Dcgc];}t|jdtrt|jd=}}td|D}|r t |nd|r t |nd|r t |nd|rt ||dSd|dScc}wcc}w)Nxyc3K|]A}t|jdtr t|jdxsdCyw)rGrN)rKrJintr-pairs r$r/z camera_extent..s>  dhhw' - DHHW  "#sAA )minXmaxXminYmaxYr )rKrJrhsumminmax) camera_pairsrjxsys total_counts r$ camera_extentrvs!   dhhsmS ) DHHSM B !   dhhsmS ) DHHSM B   K B4B4B4B"  $("     s AC AC#c |jdxsgDcgc].}t|tr|jdn t|0}}t ||}t |}|jdxsg}id|jdd|jdd|jdd|jdd|jdd |jd d |jd d |d t |d |d|dt||d|dt|d|jdd|jdd|jdxsg|jdxsg|jdxsg|jdxsg|jd|jd|jddScc}w)NrErF cameraPairsname candidateNameattempt sourceReady pathExecutedr pathStepCountrselectorCounts selectorPathfirstNonSourceSelectorfirstNonSourceFieldMaps cameraExtentcameraCandidateObservedcameraOutsideObservedactorCandidateSlotstrailCandidateSlotsactorOutsideSlotstrailOutsideSlotsrouteSelectorHitCountcurrentRootHitCountbranchStateAllZero)rrrrrr) rJrKrLr+r`rcrPr\rv)rNrOr selector_path non_sourcerrs r$summarize_adaptive_rowrs%GG45; !+4 6CIEI(Y7M*=9J77=)/RL  1  3779%  sww}-   /   sww}-   1  Y  -c2     !*  "#:3 #K  |   l3  "377+D#E  )@!A! " sww'<=C# $ #ww'<=C WW%89?R WW%89?R!$)@!A"ww'<=!gg&:;/ s3Gc&g}d|fd|ffD]Q\}}|D]G}|jds|jds't|}||d<|j|ISii}g}d} d} |D])}|jd} | r[j| ddz| <|j| t j d |jd xsgD|j |jd xsg|jd s|jd r| dz } |jdsW|jdsF|jds5|jds$|jds|jds%| dz } ,d} rtfdd} t|xr | dk(xr| dk(xrtd|D} tdt|td|Dtd|D|Dcgc]}|jdc}| | r#t|j| t ng| | | | r| dk(rdndt||Dcgc]}|jd|jd|jd|jd|jd|jd |jd |jd |jd t|jdxs]|jdxsJ|jdxs7|jdxs$|jdxs|jdd! c}d"Scc}wcc}w)#N adaptiveExitadaptiveTrailStartr|r}familyrrrc32K|]}t|ywr)r*r,s r$r/z(summarize_ready_paths..sK$E Kr0rrxrrrrrrrrc| |fSr))rFfirst_non_source_countss r$z'summarize_ready_paths..s#:8#D"Dh!Or5)keyc3>K|]}|jdyw)rNrJr-rNs r$r/z(summarize_ready_paths..sHc01Hsr c3JK|]}|jddk(sdyw)rrrNrrs r$r/z(summarize_ready_paths..s!%eCARVdAda%e##c3JK|]}|jddk(sdyw)rrrNrrs r$r/z(summarize_ready_paths..s!*pcgghFW[oFo1*prryz48:13z9source-ready-path-diverts-to-48:13-before-exit-candidatesz(source-ready-path-diversion-unclassifiedrzrr) rryrzrrrrrrcandidateOrOutsideObserved)sourceSelectortargetSelectorreadyPathCountadaptiveReadyPathCountadaptiveTrailReadyPathCountreadyPathNamesfirstNonSourceSelectorCountsdominantNonRouteSelectordominantNonRouteFieldMapsrouteOrCurrentReadyPathCount candidateOrOutsideReadyPathCount%allReadyPathsDivertToNonRouteSelectordiversionClassificationrr)rJrLrM setdefaultrVrWextendrXboolallrblenrorv) adaptive_rowsadaptive_trail_rows ready_rowsrrrNtaggedfirst_non_source_field_mapsrrroute_or_current_countcandidate_or_outside_countrFdominant_selector all_divertrs @r$summarize_ready_pathsrs(*J(-8;OQd:ef*  *Cww}%#''.*Ac#)x !!&)  ** /179)+L!",7734 0G0K0KHVW0X[\0\ #H - ' 2 28SU C J JK(+0I(J(PbK  CGGM28b9 77* +sww7L/M "a ' " GG- .ww./ww,-ww,-ww*+ww*+ &! + &%,&" #O    I "a ' I &! + I HZH H J*j/"%%e:%e"e'**p *p'p6@As3776?A(?$5 &,,G,K,KL]_b_d,e%f (>,F1; +w6$_ 7%l3*") (%''(+!$!9 # 7*-''2J*K+.773L+M # 7),1H)I'*ww/D'E.2GG564ww674ww454ww454ww23 4 ww23 /  ') ) B s N 0DN c:sytfd|xsgDS)NFc3:K|]}t|k(ywr)r*)r-r.rFs r$r/z#selector_matches..)s@%s5zX%@s)any)r3rFs `r$selector_matchesr&s  @6.1s*aUTY[_I`uyy$0a22targetAliasGroupc3hK|])}t|ts|jdk(+ywrrrs r$r/z#find_alias_group..5s* ]ZPUW[E\599Z H , ]r)rJr)mapset_aliasesrFgroupr target_groups ` r$find_alias_groupr,s  ##$56<"))I&," aga aL"%%&89?RLy)/RG ]' ]] Ir5c|jdxsgD]+}t|ts|jd|k(s)|cSiS)NrrF)rJrKrL) alias_grouprFrs r$ alias_rowr:sE+1r eT "uyy'<'HL Ir5cTg}|jdxsgD] }t|jd|s |j|jd|jd|jd|jdxsg|jdxsg|jdxsg|jdxsgt|jd t|jd t|jd |jd d |S)NpairRowsrsourcetargetoccurrenceCount leafPointers sourceRecords targetRecordsstrictEventBackedconfirmedReviewBackedselectorAdjacencyOnlyr) rrrrrrrrrrr)rJrrMr)scene_adjacencyrFrrNs r$scene_adjacency_rowsrAs!#D"":.4" CGGK0( ; KK''(+''(+#&77+<#= WW[17R # 7 =2!$!9!?R!$!9!?R%)#''2E*F%G)-cgg6M.N)O)-cgg6M.N)O"%''*:";   Kr5c.|siS|jdxsgD]w}t|jd|s id|jdd|jdxsgd|jdd|jdd|jddt|jdd|jdxsgd |jd d |jd d |jd d |jd d |jd d|jdd|jdd|jdd|jdd|jdd|jdicSiS)NselectorRootScansselectorLabelsprimarySelectorrHrangeHexsection isCurrentRootrI fieldMapCountrrropcode07SelectsCurrentRootCount opcode07SelectsCurrentRangeCountopcode09StoresCurrentRootCountopcode09StoresCurrentRangeCount'opcode08NearestCurrentRootProducerCount(opcode08NearestCurrentRangeProducerCountpromotingCandidateCount)rJrr)selected_pointer_pathsrFrNs r$selected_pointer_path_forrUs  %))*=>D" CGG$45x @!377+<#= #''*:";"Ar3779-CGGJ/  3779-   cggo&>!? SWW[17R !9 !9 !9 !92377;\3]3CGG<^4_1#'':Z2[2377;\3] :377=<!&;CGG>=',*3773L+M- 4 Ir5cL|jd}|jdxsg}t||}t||}|jdxsgDcgc]4}t|tr"|jdr|jd6} }t ||} t ||td| D} td| D} td| D} t|jdxst|v}t|jd xst|v}tfd d D}t|tk(xs%|xr|xs| xs| xs|xs|jd }|r|s| t| k(r|s|sd }nd}idtdtd|d|d|d|tk(d|tthvd|d|d| d|jdxs|d|jdd|jdd|jdd|jd d!t|jdd"t|jd | t| | | | t|t|jd ||d k(rd#d% Sd$d% Scc}w)&NrrrrFc3DK|]}|jdsdyw)rrNrrs r$r/z-diversion_selector_context..sSScgg>Q6RqS  c3DK|]}|jdsdyw)rrNrrs r$r/z-diversion_selector_context..sZAX9Y!Zrc3DK|]}|jdsdyw)rrNrrs r$r/z-diversion_selector_context..s^CSWWE\=]a^rcontainsSourcecontainsTargetc3ZK|]"}tj|xsd$yw)rN)rhrJ)r-r selected_paths r$r/z-diversion_selector_context..s. &  M  c " 'a( &s(+)rrrrrrrselectedRootExecutionRefFoundz!non-route-selector-adjacency-onlyz'diversion-selector-context-unclassifiedrrrIrselectorEqualsTargetSelectorselectorInRoutePaircontainsSourceMapcontainsTargetMapaliasGroupSelectorsaliasGroupFieldMaps aliasRootHexrHaliasRootAddressOrderIndexrootAddressOrderIndexaliasSelectedPointerEntryHexselectedPointerEntryHexaliasFillCount fillCountaliasContainsSourcealiasContainsTargeta*Source-ready paths leave public selector 0:0 through selector 48:13, which belongs to the map2_04l/map2_05e scene-list alias group. That selector has selector-adjacency-only rows and no map1_01a/map2_02d route-pair, strict event, confirmed review, current-root, or selected-root promotion evidence.zNThe diversion selector context did not match the known non-route-only pattern.) sceneAdjacencyRowssceneAdjacencyRowCount#sceneAdjacencySelectorOnlyPairCount$sceneAdjacencyStrictEventBackedCount(sceneAdjacencyConfirmedReviewBackedCountselectedPointerPathselectedPointerPathFound.selectedPointerPathSelectsOrStoresCurrentCountrroutePromotionEvidenceFound conclusion)rJrrrKrLrrror SOURCE_MAP TARGET_MAPTARGET_SELECTORrrb)ready_path_summaryrrrrF field_mapsrrrNradjacency_rows strict_countconfirmed_countselector_only_countcontains_sourcecontains_targetselected_path_current_countroute_promotion_foundrrs @r$diversion_selector_contextr!xsK "%%&@AH#''(CDJJ">8^^;??+;<=YzAYO;??+;<=YzAYO"% &  & #!O# G  . G  G  G '  G " % %&E F  % 3~#6 6<B$ /$ /$  H$  Z $  . $  'O(C $  xO_+MM$  _$  _$  w$  {{;Iz$   ),$  %eii0G&H$  ' 2K(L$  %))K0$  tKOO4D$EF!$ " tKOO4D$EF#$ $-"%n"5/B0<4C,$($7:U)-.D.H.HIh.i)j'< @ @  ";$ $F^G$ $Us9J!c g}|jdxsgD]}|jdxsgDcgc].}t|tr|jdn t|0}}|j |jd|jd|t |v|jd|jdd|Scc}w) NrrErFryr rr)ryr rsourceSelectorObservedrr)rJrKrLr+rMrb)summaryrrNrOrs r$ selector_rowsr%s D{{6"(b   89?R %/tT$:DHHZ D I   GGFO77=1"&5&B%(WW-D%E#&77+@#A     K s3Cc|jdxsijdxsgDcgc]B}|jd|jd|jdxsgDcgc].}t|tr|jdn t|0c}|jd|jd|jd |jd |jd |jd xsg|jd xsg|jdxsg|jdxsg|jd|jd|jddEc}}Scc}wcc}}w)Nrrryr rrF candidateTile outsideTile candidateSiderrrrrrrrr)ryr rr'r(r)rrrrrrrrr)rJrKrLr+)r$rNrOs r$exit_candidate_rowsr*sX,KK 45;@@HNB+  * 'GGFO77=1 GGK06B)34(>$CIM!WW_577=1 WW_5'*ww/H'I%(WW-D%E#&77+@#A#GR#&77+@#A#GR!$)"?%    s=E=)3E8CE=8E=cj|xsi}|xsi}|xsi}|xsi}|xsi}|xsi}|xsi}|xsi}t|}|jdxsi} t|} t|jdxsgv} t | jd} t | jd} t|jdxsgv}t |jd}t |jd}t |jd}t |jd}t |jd}t |jd}t |jdxs|jd}t |jdxs|jd}t |jd xs|jd }|jd xsgDcgc] }t |}}|jd xsgDcgc] }t |}}t ||}t||||}|s|s|s|rd }d }n5|r |s|sd }d}n*| r | r|sd}d}n| r|sd}d}n|r |s|rd }d}n |rd}d}nd}d}|d k(}t} idtdtdtd|d|d k7rdndd|d |d!|rgntd"|rgntd#| d$t| d%d&|jd'|jd(|jd)xsg|jd*xsg|jdxsg| t |jdt |jd|d+ d,d-|jd'|jd(|jd)xsg|jd*xsg|jdxsg| jd| | t |jdt |jd| jd xsgd. d/id0d1d2|jd2xsgd'|jd'd(|jd(d)|jd)xsgd*|jd*xsgd|jdxsgd3|d|d|dt |jd4xsijd5d t |jd4xsijd6d7t |jd4xsijd8d9t |jd4xsijd:d t|d;| d|jd|jd)xsg|jdt |jdt |jd |||d? d@dA|jd'|jd(|jd>|jd|jdBxsi|jdC|jdD|jd)xsg|jdt |jdt |jd |||dEdF||dG|xs|xs|xs |xs|xs||d k(|dHScc}wcc}w)INsourceLoadCoordinateAnalysisr r#ranyReachedRouteSelectorContextanyReachedCurrentRootrrrrzroute-observedzGThe adaptive source exit poll observed the route selector/current root.z#source-ready-adaptive-exit-no-routeaThe source save can load selector 0:0 with camera tile 0,2. Adaptive exit probes caught source-ready attempts from both the camera-derived start and the observed trail0 start before executing routeAssist paths. Those source-ready paths still observed no routeAssist exit coordinate, selector 2:0, or current root. The source save is therefore useful as source-load/start-coordinate context, not as strict exit-hotspot or selected-root execution proof.z>source-start-coordinate-observed-exit-path-source-not-observedaA bounded load-menu variant can observe public selector 0:0 together with the source camera tile 0,2. However, the coordinate/branch-state exit-path poll with the same source save remains in selector 50:0 and does not observe any routeAssist exit coordinate, selector 2:0, or the current root. The source save is therefore useful as source-load/start-coordinate context, not as strict exit-hotspot or selected-root execution proof.z7load-only-source-observed-exit-path-source-not-observedalA bounded load-menu variant can observe public selector 0:0, but the coordinate/branch-state exit-path poll with the same source save remains in selector 50:0 and does not observe map1_01a coordinates, selector 2:0, or the current root. The source save is therefore useful as loadability context only, not as strict source-hotspot or selected-root execution proof.z>The source exit poll observed the route selector/current root.zsource-observed-exit-nonroutez}The source exit poll observed public selector 0:0, but did not reach selector 2:0/current root or a strict source coordinate.z source-not-observed-in-exit-pathzgThe source exit poll did not observe public selector 0:0; no route evidence is available from this run. sourceMap targetMapsourceSaveSelectorrpromotionStatusblocked candidate proofFound&runtimeSourceSaveLoadVariantProofFound)failedRuntimeSourceSaveLoadVariantGateIdsmissingEvidence evidenceRefsevidenceRefCount loadVariant;runtime_selected_pointer_source_savedata_load_variants_pollr sequenceCountr publicSaveSelectors) rr r=r r>r sourceSaveObservedr-r.rcoordinateLoad=runtime_selected_pointer_source_savedata_load_coordinate_poll) rr r=r r>r analysisClassificationr?rr-r.rexitPathrEruntime_selected_pointer_source_exit_branch_state_load_confirmed_poll loadPrefixr?ranyCandidateObservedanyOutsideObservedactorOrTrailCandidateObserved anyActorOrTrailCandidateObservedactorOrTrailOutsideObservedanyActorOrTrailOutsideObserved candidateRowsr=runtime_selected_pointer_source_exit_adaptive_coordinate_pollcandidatePlanCount) rr r=rNrr rrrr-r.rr>runtime_selected_pointer_source_exit_adaptive_trail_start_pollsourceStartTilesourceStartOriginsourceReadyWatchKey)rr r=rNrrPrQrRr rrrr-r.rreadyPathSummaryF)diversionSelectorContextstrictSourceHotspotProofFoundselectedRootExecutionProofFoundrr)r%rJr*rbrrrr!r%rr0FAILED_RUNTIME_SOURCE_SAVE_LOAD_VARIANT_GATE_IDS1RUNTIME_SOURCE_SAVE_LOAD_VARIANT_MISSING_EVIDENCEr)!load_variant_pollload_coordinate_pollload_confirmed_exit_polladaptive_exit_polladaptive_trail_start_pollrrrload_variant_rowscoordinate_analysis exit_rowsload_variant_observedcoordinate_source_observedcoordinate_start_observed exit_observed route_hit current_hitadaptive_route_hitadaptive_current_hitadaptive_trail_route_hitadaptive_trail_current_hitadaptive_source_readyadaptive_candidateadaptive_outsiderNrrrdiversion_contextrr proof_found evidence_refss! r$ build_summaryrqs*/R/527=2+1r 9 ?R#)rN%+O39r%&78.223QRXVX#$<=I+0A0E0EFc0d0jhjk!%&9&=&=>V&W!X $%8%<%<=V%W X#(@(D(DEb(c(igijM-112RSTI/334KLMK0445UVW 2 6 67N OP#$=$A$ABb$cd!%&?&C&CD[&\!] !3!7!78J!K"AOhOlOlmPAB0445HIMfMjMjk~MA.223DEyIbIfIfgxIyzQR2  15MQk)^ '9BR> =  $(A-Y   }R M  I)U 8 (  < u !$44K*,Ml Zl Zl  ol  . l  :J(J9P[ l  k l  1+l  4B#Sl  B#Tl   l  C .l  S,00?.22?C!2!6!67J!K!Qr#4#8#89N#O#USU+<+@+@A^+_+ece"7.23D3H3HIi3j.k%)*;*?*?@W*X%Y%  !l 8 U/33MB155oF!5!9!9:M!N!TRT#7#;#;N&O"<'@.23G3K3KLl3m.n%)*>*B*BCZ*[%\'++F39r  9l T  ] 266|DJ  377 F  599/J  !9!=!=>Q!R!XVX  "#;#?#?@U#V#\Z\   *+C+G+GHe+f+ljl  !-  -i  $[  '?'C'CDX'Y'_]_&d&de{&|!}  t%=%A%ABV%W%][]$b$bcw$xy  ,T)--.BCIrNNOqr. *4)--.BCIrNNOop,! & M":;' ( Y) Ul @ U-11-@/33OD"4"8"89M"N0445EF!3!7!78K!L!RPR 2 6 67I J!%&8&<&<=P&Q!R#$6$:$:;L$MN.@%9!  Al \ V488G6::?K";"?"?@T"U7;;!>?R!S#<#@#@AV#W!:!>!>?R!S!YWY 9 = =>P Q!%&?&C&CDW&X!Y#$=$A$ABS$TU.F%?' ]l ~ .l @%6).  * *! *$ *(  * *'59I'I Wl lmbns \++\0c!t|jdxsi}|jdxsi}|jdxsi}|jdxsi}|jdxsi}|jdxsi}|jdxsi}|jdxsi}|jd xsi} gd d d |jd d|jddd|jddd|jddd|jddd|jdd|jddt|jddd|jddt|jd dd!t|jd"dd#t|jd dd$|jd%d&|jd'd(t|jd dd)t|jd"dd*|jd+d&|jd,d-|jd.d/|jd+d&|jd,d0|jd.d1|jd+d&|jd,d2|jd3dd4|jddd5|jd6d7t|jd8dd9|jd:d&|jd;d<|jd=d&|jd>d?|jd@d&|jdAd&|jdBdCt|jdDddE|jdFd7t|jdGddH| jdIdJ| jdKdL| jdMdJ| jdNd |jdOxsd d dPd } |jdQxsgD]} | jdR| | j gdS|jdTxsgD]A} | jdU| jdVdWt| jdXdYC| j d dZd d[d d\|jd6dd]t|jd8dd^t|jd_dd`|jd;d&|jd=da|jdbd&|jdcd&|jddd&|jdedf|jdgd7|jdhddi|jdjd<|jdkd<|jdld<|jdmd<|jdnd<|jdod<|jdpdq|jdrd |jdOxsd d dsdtg|jduxsgD]} | jdU| jdvdW| jdwdWt| jdxdy| jdzd{| jd|d{| jd}d~| jddY| j gd|jdxsgD]&} | jd xsi}| jdU| jddW| jddW| jddWt| jddW| jddWt| jdd|jdIdJ|jdKdL|jdMdJ|jdNd{| jdd<| jdd{| jdd)| j gd|jdxsgD]} | jdU| jddy| jdd~t| jdxdy| jdd{| jdd<| jdd | j gd|jdxsgD]} dj d| jdxsgD}| jdU| jddy| jdd~t| jdxdW|xsddy| jdd<| jdd{| jdd<| jdd{| jdrdndd| j gd|jdxsgD]w} | jdU| jddy| jdd~t| jdxdy| jdd<| jdd y| j gd|jdxsgD]f} | jdxsi}| jdxsi}t | jdxs| jd}| jdU| jddW|jdd|jdd|jdd|jdd| jdd{| jdd~t| jdxdy| jdd<| jdd{|d{| jdd<| jdd{| jdrdnddi| j gd|jdxsgD]} dj d| jdxsgD}| jdU| jddy| jdd{| jdd~t| jdxdW|xsddy| jdd<| jdd{| jdd<| jdd{| jdrdndd| j gd|jdxsgD]8} dj d| jdxsgD}t | jdxs| jd}| jdU| jddy| jdd{| jdd{| jdd~t| jdxdW|xsddy| jdd<| jdd{|d{| jdd<| jdd{| jdrdndd;dj | dzS)Nr;r@rCrrrSrTrrz*# Runtime Source Save Load Variant Contextz - route: `r/z` -> `r0`z- source selector: `r1z- classification: `rz- promotion status: `r2z- proof found: r5z0- runtime source-save load variant proof found: r6z2- failed runtime source-save load variant gates: `r7z- evidence refs: r:z- load-only selectors: `r z- load-only public observed: `r z- coordinate-load selectors: `z)- coordinate-load source/start observed: r?z / rz- exit-path selectors: `z- exit-path public observed: `z$- exit-path route/current observed: r-r.z- adaptive source-ready rows: rz#- adaptive route/current observed: z*- adaptive trail-start source-ready rows: z/- adaptive trail-start route/current observed: z- ready path diversion: `rz- diversion selector context: `z- diversion selector/maps: `rFz` / `rIz4- diversion route-pair/source-target/current proof: rr/rrz3- ready paths / route-current / candidate-outside: rrrz- first non-source selectors: `rz%- dominant non-route selector/maps: `rrz- ready-path camera extent: x=rkz..rlz y=rmrnrz## Missing Evidencer8z- )rsz## Evidence Refsrsz| path | fields |z | --- | --- |r9z| `rz` | `rz` |z## Ready Path Diversionz### Diversion Selector Contextz - selector: `z- field maps: `z- map-set aliases: `rz- contains source/target map: z7- scene adjacency rows/selector-only/strict/confirmed: r r r rz - selected pointer root/range: `rHrz'- selected pointer current/candidates: rrrrrrrz"- route promotion evidence found: rzS| source | target | selectors | occurrences | strict | confirmed | classification |z,| --- | --- | --- | ---: | --- | --- | --- |r rrrz` | rz | rrz | `)rsz| family | sequence | candidate | selector path | first non-source | maps | camera extent | route/current | candidate/outside |z7| --- | --- | --- | --- | --- | --- | --- | --- | --- |rrryrzrrrz` | x=rrrz |)rsz## Load-Only Rowsrsz?| sequence | samples | selectors | source 0:0 | route/current |z | --- | ---: | --- | --- | --- |r r#)rsz## Coordinate Load Rowsrsz_| sequence | samples | selectors | camera pairs | source/start | route/current | branch state |z,| --- | ---: | --- | --- | --- | --- | --- |z; c3K|];}|jdd|jdd|jd=ywrer'rfrGNrris r$r/zmarkdown..HC! xx}oQtxx}oQtxx/@.A B! AArxr1cameraSourceStartObservedrzall-zeromixed)rsz## Exit-Path Rowsrsz2| sequence | samples | selectors | route/current |z| --- | ---: | --- | --- |)rsz## Exit Candidatesrszy| sequence | candidate | samples | selectors | candidate/outside | actor/trail candidate | route/current | branch state |2| --- | --- | ---: | --- | --- | --- | --- | --- |rLr'r(rrrer'rfz` r)rr)rsz## Adaptive Exit Rowsrszs| sequence | source ready | samples | selectors | camera pairs | candidate/outside | route/current | branch state |r|c3K|];}|jdd|jdd|jd=ywrwrris r$r/zmarkdown..yrxryr|)rsz## Adaptive Trail-Start Rowsrsz| sequence | source ready | path steps | samples | selectors | camera pairs | candidate/outside | actor/trail candidate | route/current | branch state |z?| --- | --- | ---: | ---: | --- | --- | --- | --- | --- | --- |c3K|];}|jdd|jdd|jd=ywrwrris r$r/zmarkdown..rxryr~ )rJr4r<rMrr2r)r$load coordinate exit_pathadaptiveadaptive_trail ready_paths diversionr ready_extentlinesrOr#rNextentrrr4outside actor_trails r$markdownrs7 ;;} % +D-.4"J J'-2I{{>*0bH[[!56<"N++017RK 67=2IMM"78>BM??>28bL% 4%  %  W[[-.fW[[5M4NaP%  w{{+?@AC %  gkk*:; %   ,= >?qA %  '++l345%  ;7;;Go;p:qr%  =Yw{{S~G>A=BBC D%  GKK(:;<=%  #9TXX6I-J#K"LAN%  )488>BU3V)W(XXYZ%  4JNNCW4X3YY\]g]k]kmF^G]H I%  #9Y]];N-O#P"QQRS%  )9==A^3_)`(aabc!% " /y}}=]/^.__bclcpcprIdJcK L#% $ )6H)I(JK%% & .hll;[.\-]]`aiamamoFbGaH I'% ( 5^5G5GHZ5[4\])% * :.:L:LMm:n9oortBtFtFG^t_s` a+% , $KOO4M$N#OqQ-% . *)--8H*I)J!L/% 0 'y}}Z'@&AyQZQ^Q^_jQkGlFmmno1% 2 ?y}}Mb?c>ddg ==, - .a >Q0R/SSV ==I J K M3% 8 >kooN^>_=``cdodsdsuSeTdUUXYdYhYhiKYLXM N9% : *,{Ge7f*g)hhij;% < 0 @Z0[/\\abklwl{l{}XmYcZb[[\ ]=% > ))9)9&)A(B"\EUEUV\E]D^^abnbrbrsybza{{}KOOPVW~X Y?% @ A% B  L!'RC% D E% F G% H I% EL -.4"" r$[!" LL{{>*0bT s3776?+53778;L1M0NcRST LL ! (  j12!4 )IMM+$>?@B y7L)MNOqQ (7J)K(LCPYP]P]^qPrOst A)--PhBiAjjm ==> ? @ ==? @ A ==C D E G +=+<+ ? @   ? @ A   = > ?q   > ? @   F G H   G H I   6 7 8 : -Y]];X-Y,Z[  l#)r ]69<}}128b  #''(#$E#''(*;)?F#$Bvzz&'9&:#fjj>P=QQSTZT^T^_eTfSggjww./0#'':O2P1QQTww345R  9    LLxx%2  #''&/"$sww}'=&>d9SWWU`MaCbBccgww/01SWW=T5U4VVWX[X_X_`uXvWwwy {   LL~~f%+  yy!  .4"!    #''&/"$sww}'=&>d9SWWU`MaCbBcd#$D1I)J(K1SWWUpMqLrruww./0#'':O2P1QQT WW%9:zH L   LL}}V$*  #''&/"$sww}'=&>d9SWWU`MaCbBccgww./0#'':O2P1QQS U   LL}}_-3  GGO,2 ''-(.B377#89WWEZ=[\  #''&/"% c(:';1Y]]3=O?@#''J_B`Aaad WW%9:zH  L   LL||F#)r  yy!  .4"!    #''&/"$sww}'=&>c#''-BXAYZ#''+./0l6Ic5J$ww012!CGGc#''/BZA[[^ww}%&d9SWW[5I+J*K5Q]QdadPeeiww012!CGGRuntime Source Save Load Variant Context
z
)htmlescaper)r$s r$ html_pagers)  HW-./v 7r5c|jdd|dz jtj|dddzd |:|jjdd|jt |d yy) NT)parentsexist_ok-runtime_source_save_load_variant_context.jsonF) ensure_asciiindentrr>r?)mkdir write_textr:r;parentr)r$out_dirhtml_outs r$ write_outputsrs MM$M. >>JJ 7q9D@KdT:Ig.Ar5c tjt}|jdtdd|j }t t}t t}t t}t t}t t}t t}t t}t t} t|||||||| } t!| t"|j$t'dt"dz y)N) descriptionz --html-outzHOptional HTML review path. By default only the JSON evidence is written.)typedefaulthelpz2wrote runtime source save load variant context -> r)argparseArgumentParser__doc__ add_argumentr parse_argsrCLOAD_VARIANT_POLLLOAD_COORDINATE_POLLLOAD_CONFIRMED_EXIT_POLLADAPTIVE_EXIT_POLLADAPTIVE_TRAIL_START_POLLMAPSET_ALIASESSCENE_ADJACENCY_INDEXGLOBAL_SELECTED_POINTER_PATHSrqrOUTrprint) parserargsrYrZr[r\r]rrrr$s r$mainrs  $ $ 9F   W     D!"34$%9:()AB"#56 )*C D~.N 56O&'DE ! G'3 . >sEt?t>u vwr5__main__)returnlist[dict[str, Any]])r3list[Any] | Nonerr+)r.objectrr+)rrrdict[str, Any])rNrrr)rNrrF str | Noner list[str])rNrr_rrr)rrrr)rrrrr)rNrrr)rrrrrr)r3rrFrrr)rrrFrrr)rrrFrrr)rrrFrrr)rrrFrrr) rrrrrrrrrr)r$rrr)NNNNNNNN)rYdict[str, Any] | NonerZrr[rr\rr]rrrrrrrrr)r$rrr+)r$rrrrz Path | NonerNone)rr)7r __future__rrrr:pathlibrtypingr__file__resolverr!rrrrrrrrrrrrbrrWrXr r%r4r<rCrPr\r`rcrvrrrrrrrr!r%r*rqrrrr__name__rr5r$rsZ"  H~''* Ul\\aa!mm__"gg::HH #&X X   4051WU YQ aL Yo Zo 8 +. ?V Ga;!2.HAJQ   >2 FX'X-XXvA ( *   FX&X"X$X+ X  Xv$604266:047;,0-148D,D/D4D. D 5 D * D+D2DDNR#j zFr5