JjX JdZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz Zdd ed z d d d ddedz dd d ddedz dd d ddedz dd d ddedz dd d dded z d!d d d"d#ed$z d%d&d gZgd'Zgd(Zgd)Zd*gd+d,d-gd+d,d.gd+d,d/gd0d,d1gd2d,d3gd4d,d5gd6d,gZdGd7ZdHd8ZdId9ZdJd:ZdKd;ZdLd<ZdMd=ZdNd>ZdOd?ZdPd@Z dQ dRdAZdSdBZdSdCZ edf dTdDZ!dUdEZ"e#dFk(re"yy)VzHSummarize runtime opcode24 flag/source observations across route probes.) annotationsN)Path)Anyout routeWatchruntime_route_watch_values_pollz$runtime_route_watch_values_poll.jsonzmenu route-watch pollF)keysourcepathkindconstructedDiagnosticsourceAdaptive=runtime_selected_pointer_source_exit_adaptive_coordinate_pollzBruntime_selected_pointer_source_exit_adaptive_coordinate_poll.jsonz-public source-save camera-start adaptive exitsourceTrailStart>runtime_selected_pointer_source_exit_adaptive_trail_start_pollzCruntime_selected_pointer_source_exit_adaptive_trail_start_poll.jsonz,public source-save trail-start adaptive exitsourceExitLoadConfirmedEruntime_selected_pointer_source_exit_branch_state_load_confirmed_pollzJruntime_selected_pointer_source_exit_branch_state_load_confirmed_poll.jsonz,public source-save load-confirmed exit pathspredecessorDirectionSweep9runtime_selected_pointer_predecessor_direction_sweep_pollz>runtime_selected_pointer_predecessor_direction_sweep_poll.jsonz"public predecessor direction sweeppredecessorLeftActivationGruntime_selected_pointer_predecessor_left_overrun_activation_sweep_pollzLruntime_selected_pointer_predecessor_left_overrun_activation_sweep_poll.jsonz0public predecessor left-overrun activation sweeppatchedSelectorDiagnosticOruntime_selected_pointer_patched_public_selector_2_0_input_path_case_alias_pollzTruntime_selected_pointer_patched_public_selector_2_0_input_path_case_alias_poll.jsonz#constructed selector 2:0 diagnosticT)opcode24Mode1Sourceopcode24RuntimeFlagopcode24CurrentObjectIndex)zmode1-source-runtime-producerzruntime-flag-route-contextzselected-root-execution-proofz$source-save-route-promotion-evidencez,strict-hotspot-or-equivalent-runtime-trigger)zSruntime producer setting opcode24 mode1 source 0x0059e348 nonzero on the route pathzUruntime flag 0x0059e34d == 0x01 observed in a selector 2:0/current-root route contextzFselected-root execution proof for 0x00540714 before opcode24 route usezPsource-save load path reaching route/current selector instead of diversion 48:13z5strict map1_01a hotspot or equivalent runtime triggerz(out/runtime_route_watch_values_poll.json)observedSelectorsobservedWatchValues sampleCount)r fieldszNout/runtime_selected_pointer_source_exit_branch_state_load_confirmed_poll.jsonzBout/runtime_selected_pointer_predecessor_direction_sweep_poll.jsonzXout/runtime_selected_pointer_patched_public_selector_2_0_input_path_case_alias_poll.json)rranyReachedRouteSelectorContextz1out/runtime_source_save_load_variant_context.json)classificationreadyPathSummarydiversionSelectorContextroutePromotionEvidenceFoundz5out/save_selector_opcode24_mode1_runtime_context.json) proofFound$failedOpcode24RuntimeProducerGateIdsmissingEvidence evidenceRefsz7out/save_selector_opcode24_runtime_enabled_context.json)r'#failedOpcode24RuntimeEnabledGateIdsr)r*cp|jsiStj|jdS)Nutf-8encoding)existsjsonloads read_text)r s D/home/exedev/hwanse/tools/summarize_runtime_opcode24_flag_context.py load_jsonr5s* ;;= ::dnngn6 77cBdjd|xsgDxsdS)N,c32K|]}t|yw)N)str).0values r4 zlist_text..s95CJ9s-join)valuess r4 list_textrBs 889FLb9 9 @S@r6cBdjd|xsgDxsdS)Nr8c3fK|])}|jdd|jd+yw)valueHexxcountNgetr;rows r4r=z"value_rows_text..s/VCswwz*+1SWWW-=,>?Vs/1r>r?rowss r4value_rows_textrNs" 88V4:SUV V ]Z]]r6c.td|xsgDS)Nc3BK|]}|jddvyw)rE>N0x000x0000 0x00000000NrHrJs r4r=z%value_rows_nonzero..s gUXswwz"*PPgs)anyrLs r4value_rows_nonzerorUs g\`\fdfg ggr6c4tfd|xsgDS)Nc3K|]7}|jdk(st|jdxsd9yw)rErGrN)rIint)r;rK value_hexs r4r=zcount_value..s5dc377:CVZcCcs3777#(q)ds A#A)sum)rMrYs `r4 count_valuer[s dTZRd ddr6c|jdxsij|}||Si}|jdxsgD]w}|jdxsij|xsgD]J}|jd}||j|dt|jdxsdz||<Lyt|jdDcgc] \}}||d  c}}Scc}}w) NrrMuniqueWatchValuesrErrGc|d |dfS)Nrr)items r4z(aggregate_watch_values..s$q'SWXYSZH[r6)r )rErG)rIrXsorteditems)datar topcountsrK value_rowrYrGs r4aggregate_watch_valuesrhs 88) * 0b 5 5c :C  Fxx%2\77#67=2BB3GM2 \I! j1I  & 9a 83y}}W?U?ZYZ;[ [F9   \\!'v||~;[ \  Iu/  sC,cg}|jdxsgD]B}t|tr|jdn t|}|s2|j |D|S)NuniqueSelectorContextsselector)rI isinstancedictr:append)rK selectorsr`rks r4 selector_listrps[I017R'+5dD+A488J's4y    X &' r6cg}|jdxsgD]}|jdxsi}|j|jd|jdt||jd|jd|jd|jdxsg|jd xsg|jd xsgd |S) NrMr]namer sourceReadyrouteSelectorHitCountcurrentRootHitCountrrr) rrr rorsrtrumode1SourceValuesruntimeFlagValuescurrentObjectIndexValues)rIrnrp)rdrMrK watch_valuess r4 compact_rowsrzs Dxx%2  ww239r  GGFO77=1&s+77=1%(WW-D%E#&77+@#A!-!1!12G!H!NB!-!1!12G!H!NB(4(8(89U(V(\Z\     Kr6c<tDcic]}|t||}}t|dd}id|dd|dd|dd|dd|jdd|jdd |jd xsgd |jd d t |jd d t |jd d |dd|dd|ddt |ddt |dd|dt |ddt |iScc}w)Nr0x01r r r rr sequenceCountrsourceReadyCountr"anyReachedCurrentRootrvrrwrxrmode1SourceNonzeroObservedruntimeFlagNonzeroObservedruntimeFlagOneCount!currentObjectIndexNonzeroObservedrM) WATCH_KEYSrhr[rIboolrUrz)configrdr watchesruntime_flag_one_counts r4summarize_pollrsAKL#s*455LGL(1F)GP  ve} &"  v  (?!@   txx .   /2   TXX&9:@b  DHH%78  )$txx8X/Y*Z  dhh/F&G!H  W%:;  W%:;  #G,H$I  %&8AV9W&X  %&8AV9W&X  5! " ,-?Hd@e-f# $  T"% MsDc |xsi}|sddiS|jdxsi}|jdxsi}iddddd|jdd |jd d |jd d |jd d |jd d |jdd|jdd|jdd|jdd|jdd|jdd|jdxsgd|jdd|jdd|jd|jd|jd|jd |jd!|jd"|jd#xsijd$|jd%|jd&|jd d' S)(N availableFr$r%TsourceArtifact-runtime_source_save_load_variant_context.jsonr#promotionStatusstrictSourceHotspotProofFoundselectedRootExecutionProofFoundr& readyPathDiversionClassificationdiversionClassificationreadyPathCountreadyPathRouteOrCurrentCountrouteOrCurrentReadyPathCount readyPathCandidateOrOutsideCount candidateOrOutsideReadyPathCount!readyPathDominantNonRouteSelectordominantNonRouteSelectordiversionSelectorrkdiversionFieldMaps fieldMapsdiversionSelectorInRoutePairselectorInRoutePairdiversionContainsSourceMapcontainsSourceMapcontainsTargetMapsceneAdjacencyRowCount#sceneAdjacencySelectorOnlyPairCount$sceneAdjacencyStrictEventBackedCount(sceneAdjacencyConfirmedReviewBackedCountselectedPointerPathrootHex.selectedPointerPathSelectsOrStoresCurrentCountselectedRootExecutionRefFound) diversionContainsTargetMapdiversionSceneAdjacencyRowCount,diversionSceneAdjacencySelectorOnlyPairCount-diversionSceneAdjacencyStrictEventBackedCount1diversionSceneAdjacencyConfirmedReviewBackedCountdiversionSelectedPointerRootHex)diversionSelectedPointerCurrentProofCount&diversionSelectedRootExecutionRefFound$diversionRoutePromotionEvidenceFoundrH)contextready diversions r4build_source_save_load_contextrsRmG U## KK* + 1rE 67=2I% T% I%  '++&67%  7;;'89 %  (5T)U %  *7;;7X+Y %  &w{{3P'Q%  +EII6O,P%  %))$45%  ' 2P(Q%  +EII6X,Y%  ,UYY7Q-R%  Y]]:6%  immK8>B%  "9==1A#B%  ' 6K(L!% " %imm4G&H#% $'0mm4G&H+4==9Q+R8A 19 :C 2: >G]] 6> -6MM:O,P,VTV+[+[ , 6?]] <6 3<--@_2`09 >[0\I% %r6c |xst}||nttdz }|Dcgc]-}|djrt |t|d/}}t |}|Dcgc]}|j dr|}}td|D}td|D} td|D} td|D} td|D} |rd } n | rd } n| rd } nd } | d k(}d }iddddd| d| d k7rdndd|d|d|rgntd|rgntdtdttdt|d|d| d| d | d!| d"td#|Did$|d%|d&|d'|j dd(|j dd)|j d*d+|j d,d-|j d.d/|j d0d1|j d2d3|j d4d5|j d6d7|j d8xsgd9|j d:d;|j d<d=|j d%d>|d?|iScc}wcc}w)@Nrr rc3dK|](}|jdxs|jd*yw)r"rNrHr;polls r4r=z build_summary..$s4  12Wdhh?V6WWs.0c3K|];}|jdxs|jdxr|jd=yw)r"rrNrHrs r4r=z build_summary..(sJ   2 3 Xtxx@W7X . HH, - . sAAc3>K|]}|jdyw)rNrHrs r4r=z build_summary..-sQ4!=>Qc3>K|]}|jdyw)rNrHrs r4r=z build_summary...sP$txx <=Prc3XK|]"}t|jdxsd$yw)rrN)rXrIrs r4r=z build_summary../s$UtTXX&;<ABUs(*zreal-route-observedzmode1-source-nonzero-observedz runtime-flag-nonroute-mode1-zerozopcode24-watch-all-zeroaYRuntime opcode24 watch samples do not provide selected-root execution proof. The runtime flag reaches 0x01 only in the menu route-watch poll, where selectors are 8:0/50:0 and opcode24 mode1 source plus current object index stay 0x00. Public source/predecessor probes, including the load-confirmed source-exit paths, and the constructed selector 2:0 diagnostic also keep opcode24 mode1 source at 0x00. The source-save load context also diverts through a non-route selector before exit candidates. The next useful proof target remains a real runtime producer for 0x0059e348 or a strict map1_01a hotspot.r map1_01atargetmap2_02dr#rblocked candidater'runtimeOpcode24FlagProofFound failedRuntimeOpcode24FlagGateIdsr)r*evidenceRefCount pollCountrealRouteHitObservedconstructedRouteHitObservedrrrrc3>K|]}|jdyw)rNrHrs r4r=z build_summary..Ts0qcg:]1^0qrrr&sourceSaveLoadContextsourceSaveLoadClassificationsourceSaveLoadPromotionStatus.sourceSaveLoadReadyPathDiversionClassificationrsourceSaveLoadReadyPathCountr*sourceSaveLoadReadyPathRouteOrCurrentCountr.sourceSaveLoadReadyPathCandidateOrOutsideCountr/sourceSaveLoadReadyPathDominantNonRouteSelectorr%sourceSaveLoadDiversionClassificationrsourceSaveLoadDiversionSelectorr sourceSaveLoadDiversionFieldMapsr7sourceSaveLoadDiversionSelectedPointerCurrentProofCountr2sourceSaveLoadDiversionRoutePromotionEvidenceFoundr)sourceSaveLoadRoutePromotionEvidenceFoundpolls conclusion) INPUTSr5OUTr0rrrIrTrZ%RUNTIME_OPCODE24_FLAG_FAILED_GATE_IDS&RUNTIME_OPCODE24_FLAG_MISSING_EVIDENCE#RUNTIME_OPCODE24_FLAG_EVIDENCE_REFSlen)inputs source_save_load_variant_contextconfigsrrsource_save_contextr real_pollsreal_route_hitconstructed_route_hit mode1_nonzero flag_nonzeroflag_one_countr# proof_foundrs r4 build_summaryrsG , 7 ) sLL M%   &> " vy89 E  99YZ#(R49P0Q$RJRN    Q5QQMP%PPLUuUUN. 8 ;2 $99K t6 *6 *6  .6  :O(O9U` 6  k 6  ( 6  +B#H6  22X6  ;6  C CD6  SZ6  6  &'<6  %m!6 " %l#6 $ ~%6 & ,S0qkp0q-q'6 ( *>)6 * &~+6 , !4-6 . '(;(?(?@P(Q/6 0 ()<)@)@AR)S16 2 9:M:Q:Q .; 36 8 '(;(?(?@P(Q96 : 56I6M6M *7 ;6 @ 9:M:Q:Q .; A6 F :;N;R;R /< G6 L 01D1H1H %2 M6 R *+>+B+BCV+WS6 T +,?,C,CDX,Y,_]_U6 V BCVCZCZ 7D W6 \ =>Q>U>U 2? ]6 b 45H5L5L )6 c6 h i6 j jk6 6I  Ss2I-(I2?I2cX gddd|jdd|jddd|jd dd |jd dd |jd d|jdd|jddd|jdd|jdd|jdd|jdd|jddd|jddd|jd d!t|jd"dd#|jd$d%|jd&d%|jd'd(|jd)d*|jd+d,|jd-d.|jd/d0d1j|jd2xsgdd3t|jd4xsgd5|jd6d|jd7xsddd8d|jd4xsgDcgc]}d9| c}dd:dd;d<|jd=xsgDcgc]@}d>|jd?d@dAj|jdBxsgxsdCdDBc}ddEdF}|jdGxsgD]}|jdHrdIn|jdJ}|j d>|jdd@|jdKdLt|jdMd@|jdNdO|jdPdLt |jdQdRt |jdSdRt |jdTd@|dD|j gdU|jdGxsgD]}|jdVxsgD]}|j d>|jddR|jdWd@|jdXdY|jdKdLt|jdZd@|jd[dO|jd\dLt |jdQdRt |jdSdRt |jdTd] d^j|d^zScc}wcc}w)_Nz# Runtime Opcode24 Flag Contextz - route: `r z` -> `r`z- classification: `r#z- promotion status: `rz- poll count: rz!- runtime flag nonzero observed: rz (`0x01` samples: r)z!- mode1 source nonzero observed: rz)- current object index nonzero observed: rz- real route/current observed: rz&- constructed route/current observed: rz$- source-save load classification: `rz - source-save ready diversion: `rz- source-save diversion: `rz` (rz:- source-save ready paths route/current/candidate counts: rz / rrz-- source-save diversion current proof count: rz(- source-save route promotion evidence: rz- proof found: r'z%- runtime opcode24 flag proof found: rz'- failed runtime opcode24 flag gates: `r8rz- missing evidence count: r)z- evidence refs: rrz## Missing Evidencez- z## Evidence Refsz| path | fields |z | --- | --- |r*z| `r z` | z, r!r>z |zd| poll | samples | selectors | route/current | mode1 source | runtime flag | current object | note |z2| --- | ---: | --- | --- | --- | --- | --- | --- |rrzconstructed diagnosticr r z | `rr"/rrvz` | `rwrx)rz## Rowsrzr| poll | row | source ready | samples | selectors | route/current | mode1 source | runtime flag | current object |z8| --- | --- | --- | ---: | --- | --- | --- | --- | --- |rMrrrsz | rortruz` | )rIrBr@rrnrNextend)summaryr`rKlinesrnotes r4markdownrzs/ )/  /  W[[*+6'++h2G1HJ/  gkk*:; /   ,= >?qA /  [123 /  ,GKK8T,U+VVhipititvKjLiMMN O/  ,GKK8T,U+VW/  4GKK@c4d3ef/  *'++6L*M)NO/  1=Z1[0\]/  /w{{;Y/Z.[[\]/  +7;;7g+h*iijk/  %W[[1R%S$TU gkk"DE F Gq J/  E ;;5 6 7s ;;C D ES ;;G H I K!/ ( 8 ;;P Q R T)/ , 3 ;;B C D F-/ 0 '++l3451/ 2 0 <[0\/]^3/ 4 2#((7;;Gi;j;pnp2q1rrst5/ 6 %S5F)G)M2%N$OP7/ 8 GKK(:;<=9/ : ;/ <  L!'R=/ > ?/ @ A/ B C/ D#*++.?"@"FB G$Btf+ GE/ F G/ H I/ J K/ L M/ N O/ T{{>28b #''&/"$tyy1B1Hb'I'PS&QQS T Q/ X Y/ Z o[/ \ =]/ E` G$* +/884K+L'RVRZRZ[aRb $((8$%T$((=*A)B$yQUQYQYZmQnGoFpptxx89:!DHHE\<];^_)< =>?@)< =>?@)C DEFd4&PR  T   LL G$* 88F#)r C LLdhhx()swwv.?tCGGMDZC[[^77=)*$y9M/N.Ot77234Acgg>S6T5UV#CGG,?$@ABC#CGG,?$@ABC#CGG,F$GHI N    99U d ""Q H  s  T"AT'cFdtjt|dS)NaRuntime Opcode24 Flag Context
z
)htmlescaper)rs r4 html_pagers)  HW-./v 7r6c|dz }|jtj|dddzd||jt|d|S)Nz"runtime_opcode24_flag_context.jsonF) ensure_asciiindentrr-r.) write_textr1dumpsr)rout_dirhtml_outjson_outs r4 write_outputsrs_ ==H  7q9D@Ig.A Or6c,tjd}|jdtt|jdtdd|j }t }t||j|j}td|y) Nz4Summarize runtime opcode24 flag/source observations.) descriptionz --out-dir)typedefaultz --html-outz@Optional HTML mirror. Omit to keep the active surface JSON-only.)r r helpz'wrote runtime opcode24 flag context -> ) argparseArgumentParser add_argumentrr parse_argsrrrrprint)parserargsrrs r4mainrs  $ $JF  $<   O     DoGWdllDMMBH 3H: >?r6__main__)r rreturndict[str, Any])rAzlist[Any] | Nonerr:)rMlist[dict[str, Any]] | Nonerr:)rMrrr)rMrrYr:rrX)rdrr r:rlist[dict[str, Any]])rKrrz list[str])rdrrr)rrrdrrr)rdict[str, Any] | Nonerr)NN)rrrrrr)rrrr:)rrrrrz Path | Nonerr)rNone)$__doc__ __future__rrr1r pathlibrtypingr__file__resolveparentsROOTrrrrrrr5rBrNrUr[rhrprzrrrrrrr__name__r_r6r4r$sSN"  H~''* Ul3<<'!&  QZZ?!& "R[[>!& )Ybb>!& +MVV4!& +[ddB!& +cll5!% W2 h )%*&;M aM UM k D H J O0'#f8 A^he"$2+^+/>Bd 'd&;ddNK#\        @" zFr6