GJj:jdZddlmZddlZddlZddlZddlZddlmZddl m Z ejjde eejj ddlmZmZeejj(dZedz Zd Zd Zgd Zd d ddZd dZd!dZd"dZd#dZd$dZd%dZ d&dZ!d'dZ"d(dZ#d)dZ$ d* d+dZ%d,dZ&d,dZ'edfd-dZ(d.dZ)e*dk(re)yy)/zHSummarize storage context for opcode 0x24 mode 1 source byte 0x0059e348.) annotationsN)Path)Any) read_sections va_to_offsetoutiHYzKruntime_selected_pointer_patched_public_selector_2_0_active_order_poll.json)opcode24Mode1Sourceopcode24RuntimeFlagopcode24CurrentObjectIndexz>indirect runtime producer of 0x0059e348 on a normal route pathzCopcode 0x24 mode 1 object+0x61 writes select a current-route streamz;strict map1_01a source coordinate or non-coordinate trigger)zindirect-runtime-producerzopcode24-route-stream-selectionzstrict-hotspotcd|dS)N0x08xvalues S/home/exedev/hwanse/tools/summarize_save_selector_opcode24_mode1_runtime_context.pyhex32r%s c{ c"t|xsddS)N0)intrs r parse_hexr)s u|R  rcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks r load_jsonr%-s* ;;= ::dnngn6 77rcBdjd|xsgDxsdS)N,c32K|]}t|ywN)str).0rs r zlist_text..4s;5CJ;s-)join)valuess r list_textr03s 88;V\r; ; BsBrch|D]-}|d}|t|d|dz}||cxkr |ks)|cS/y)Nvasizeraw_size)max)sectionsr2sectionstartends rsection_for_var:7sP c'&/7:+>?? B  N  rct|t}|s dddddddS|d|dz}|d|dz}t|t}|duxr|t|k}|r||nd}|rdnd }|d t |dt |dt |dt |t |d | t |nd|t dt|z |d |d || dS)NFzunknown-section) sectionNamemode1SourceInKnownSectionmode1SourceRawOffsetHexmode1SourceHasRawBytestaticInitialValuestaticInitialValueKindr2r4r3rz raw-file-bytezpe-zero-filled-section-tailnameTr02x)r< sectionVaHexsectionRawSizeHexsectionVirtualSizeHexsectionRawEndVaHexsectionVirtualEndVaHexr=r>r?mode1SourceAfterRawEndBytesr@staticInitialValueHexrAzeroInitializedByPeLoader)r: MODE1_SOURCErlenrr5) exer6r7 raw_end_vavirtual_end_va raw_offset has_raw_byte static_value static_kinds rsection_summaryrU@sX|4G ).'+%*"&&7   !44JT]WV_4Nh 5JT)Cj3s8.CL&23z?L%1/7TKvgdm,"7:#67!&wv!7#J/"'"7%)8B8N5#4TX!-'*1lZ.G'H*#%l3%7!8"-)5%5 rc g}|jdxsgD]}t|jd}t|jd}||z}|tcxkxr|knc}|j|jd|jdt ||jd|jd|jd|t dt|z t t dt|z d |S) NsaveReadBlocks targetVaHexsizeHex callVaHex saveOffsetHex descriptionr) rZrXendVaHexr[rYr\containsMode1SourcedistanceAfterEnddistanceAfterEndHex)getrrLappendrr5)save_loader_tracerowsblocktargetr3r9containss rsave_block_rowsrhcs D"&&'78>B 599]349-.tm\/C/ ;/ 99]3c "YY7yy+ 99]3#+ #A|c'9 :#(Q s0B)C#D   Krc$i}|D]}|jdxsijD]s\}}|tvr|j|i}|xsgD]J}|jd}||j|dt |jdxsdz||<Lut |jD cic]8\}}|t |jdD cgc] \}} || d c} }:c} }}}Scc} }wcc} }}}w)NuniqueWatchValuesvalueHexrcountc|d |dfS)Nrrr)items rz(aggregate_watch_values..sRVWXRYQY[_`a[bPcr)key)rkrl)raitemsDIAGNOSTIC_WATCH_NAMES setdefaultrsorted) rd aggregaterowrBr/rf value_row value_hex value_rowsrls raggregate_watch_valuesrzxs1+-I ` WW%89?RFFH `LD&11))$3F#\r ` %MM*5 $$*JJy!$.s#T#S!7!<1=Ts(*r r r rrrrrrrrouteSequenceNamesrBobservedSelectorsreachedCurrentRootanyReachedCurrentRootreachedRouteSelectoranyReachedRouteSelectorContextmode1SourceValueHexruntimeFlagValueHexcurrentObjectIndexValueHexallWatchedValuesStablec3<K|]}t|duywr))r~)r+rBroute_sample_countr|s rr,z1build_diagnostic_runtime_watch..s(&  \+=t DD P& s$runtimeFlagStaysDisabledInDiagnostic0x00 mode1SourceStaysZeroInDiagnosticzdiagnostic-only)'currentObjectIndexStaysZeroInDiagnosticnormalRouteProofnotRoutePromotionProofr)DIAGNOSTIC_WATCH_POLLrasumrzr~rMallrr) active_order_pollall_rowsrv route_rows mode1_source runtime_flagcurrent_object_indexrr|s @@rbuild_diagnostic_runtime_watchrs_)/R /"  !$$V,2H!)T#SWW5R-S#TJT /" 1 5 5m D"3"7"7"H !"#2  TTT)*5L#L2DF[\L#L2DF[\L+L:LNjk T +  $  -11-@   /33OD   .   c*o  *X3PVswwvX  .223FGM2  /334KL   1 5 56V W  |  |  %&:  !#& .& #  & / 0F' ( +LF,B) *4H63Q!"&,1 #U2YsF%F%F*F*c :t|}t||}t|}|Dcgc] }|ds | }}|jdd|jdd|jdd|jdd|jddd} | } | ddk(xr| ddk(xr| ddk(} t |} d } d d gd d gdd dt gdd dgdd dgdd dgdd dgdd dgdd dgdd dgdd g }t t}|Dcgc] }t| }}idttd |d |d!t|d"| d#| d$| d%|jd&dk(d'| d(d)d*d)d+d)d,d)d-|d.|d/d0d1gd2|t|| d3Scc}wcc}w)4Nr^exactMode1RefCountrcoveringWriteCountindexedWriteCandidateCountaddressProducerCandidateCountstaticProducerCandidateCount)rrrrraOpcode 0x24 mode 1 source byte 0x0059e348 lives in the zero-filled tail of the .data section: there is no raw file byte for it, so its static process-start value is 0. It is also outside all three save-loader read blocks, and the direct/static producer scan found no writer. This rules out treating 0x0059e348 as a savedata-backed selector or static leaf chooser for map1_01a->map2_02d; in the current static evidence it is not a savedata-backed selector. The patched selector 2:0 diagnostic route row also keeps 0x0059e348 at 0x00, so that constructed run does not reveal an indirect producer. It may still be mutated indirectly on a normal route path, so promotion remains blocked without a runtime producer trace or equivalent proof.zout/save_loader_trace.jsonrW)r#fieldsz3out/save_selector_opcode24_mode1_source_writes.json)rdrrrrrrzout/)rdrrrrrrz6out/save_selector_opcode24_mode1_indirect_context.json)mode1DirectRefsglobalBaseDirectRefs!basePlusMode1OffsetCandidateCount"baseWindowMode1WriteCandidateCount(nearbyBaseWindowMode1WriteCandidateCountnoStaticBaseIndirectCandidaterz7out/save_selector_opcode24_mode1_file_read_context.json)globalDestinationReadFileRowsmode1FileReadCandidatesreadFileCallCountmode1FileReadCandidateCountmode1FileReadProducerFoundz2out/save_selector_opcode24_mode1_block_writes.json)rdaddressLikeCoveringBasesdirectCoveringWritesblockWriteCandidatesblockWriteCandidateCountz4out/save_selector_opcode24_mode1_default_effect.json)object61ConsumerGroups branchOperandremainingProofsrouteOperandRowCountstaticDefaultPromotesRouteruntimeProducerRequiredrz7out/save_selector_opcode24_runtime_enabled_context.json)runtimeEnabledFlagHex"modeDispatchRequiresRuntimeFlagOnedirectWriteCount staticEvidenceProvesModeDispatchrrz&out/runtime_opcode24_flag_context.json)classification pollCountruntimeFlagOneCountmode1SourceNonzeroObservedselectedRootExecutionProofFoundroutePromotionEvidenceFoundz&out/runtime_trace_execution_probe.json)canCaptureTraceNowblockersprobesqemuI386BinfmtrelocationContextrmode1SourceHexstorage saveReadBlockContainsMode1SourcedirectProducerSummarynotSavedataBackednoStaticProducerstaticInitialZeror@diagnosticRuntimeWatch proofFoundF!opcode24RuntimeProducerProofFound&opcode24RouteStreamSelectionProofFoundstrictHotspotFound$failedOpcode24RuntimeProducerGateIdsmissingEvidencerblockedr)z>find an indirect runtime producer of 0x0059e348, if one existsz`prove opcode 0x24 mode 1 object+0x61 writes select a current-route stream, not only object statezBfind a strict map1_01a source coordinate or non-coordinate trigger) evidenceRefsevidenceRefCount conclusion) rrUrhrarrlist2OPCODE24_RUNTIME_PRODUCER_MISSING_EVIDENCE_BY_GATErrLboolrM)rNrcmode1_source_writesrr6rblocksrvcontaining_blocksdirectnot_savedata_backedno_static_producerdiagnostic_watchr evidence_refsfailed_gate_idsgate_idmissing_evidences r build_summaryrs S!Hc8,G . /F(.M#6K2LMM1556JAN1556JAN&9&=&=>Z\]&^)<)@)@A`bc)d(;(?(?@^`a(b F0/#$) 9 / 0A 5 9 2 3q 8 66GH .1  J 012 M N I K N = = ClMZMNO'  ;7C % - 7  &  +D1B,C      0   .  W[[)=>!C  !"2  e  ,U  1%  e  /  +  9! "  # ,& . 1 WNNs FFFc|d}|d}|jdxsi}dj|jdxsgxsd}dj|jdxsgxsd}dd d |d d d |jdd d|jdd d|jdd d|jdd|jdd|jddd|dd|dd|dd |d!d"|d#d$|d%d&|jd'd(|jd)d*|jd+d,|jd-d.t|jd/d d0t|jd1xsgd2|d3d d |d4d d5d g|jd1xsgDcgc]}d6| c}d d7d d8d9}|jd:xsgD]A}|j d;|jd<d=t|jd>d?C|j d d@d dAd9dB|jdCd?dD|jdEd?dF|jdGd?dH|jdIdJ|jdKdLdM|jdNdJ|jdOdPdQ|d?dR|d?dS|jdTd?dU|jdVd?dW|jdXd?dY|jdZd?d[|jd\d?d]|jd3d?d d^d d_d`g|daD]} |j d;| jdbd=| jdcd=| jddd=| jded=| jdfdg| jdhdi| jdjdg| jdkxsddl|j gdm|j dn|doD|j d dpj|Scc}w)qNrrr, rr-rz1# Save Selector Opcode 0x24 Mode1 Runtime Contextz- mode1 source: `r`z - section: `r<z- section raw end: `rGz- section virtual end: `rHz- has raw file byte: r?z- static initial value: `rJz` (rA)z+- save loader block contains mode1 source: rz&- direct/static producers: exact refs=r, covering writes=r, indexed writes=r, address producers=rz- evidence refs: rz- proofFound: rz)- opcode24 runtime producer proof found: rz/- opcode24 route-stream selection proof found: rz- strict hotspot found: rz+- failed opcode24 runtime producer gates: `rz- missing evidence count: rz- promotion status: `rrz## Missing Evidence- z## Evidence Refsz| path | fields |z | --- | --- |rz| `r#z` | `rz` |z## Diagnostic Runtime Watchz| field | value |z| source poll | `rz| available | `rz| diagnostic only | `rz| route samples | `rz ` across `rz` route-reaching sequence(s) |z| total samples | `rrz` sequence(s) |z| route sequence names | `z| observed selectors | `z| mode1 source | `rz| runtime flag | `rz| current object index | `rz| all watched values stable | `rz| normal route proof | `rz| promotion status | `z## Save Read BlockszZ| call | target | end | save offset | size | contains | distance after end | description |z2| --- | --- | --- | --- | --- | --- | ---: | --- |rWrZrXr]r[rYz` | r^z | `r`r\z |)rz## Remaining Proofsrc3&K|] }d| yw)rNrr+rns rr,zmarkdown..sD2dVDsr )rar.r0rMrbextend) summaryrr diagnosticobserved_selectorsroute_sequencesrnlinesrefrvs rmarkdownr|si G , -F56<"J:>>2E#F#L"MTQTii /C D JKRsO; G$456a8 w{{=12!4 w{{+?@AC "7;;/G#H"IK  ,C DEF #GKK0G$H#IW[[YqMrLsstu 5g>`6a5bc 08L1M0NN`agh|a}`~PQWXtQuPvvJKQRqKrJs t G$6789 \234 3GKK@c4d3ef 9'++Fn:o9pq "7;;/C#D"EF 5i Lr@s6t5uuvw $S5F)G)M2%N$OP (9 :;1=    / 0#*++.?"@"FB G$Btf+ G1 2 3 4 5 6 7 8 9 : ; E>{{>*0b  #''&/"% #''(2C(D'ES I   LL %  JNN<89= *..56c:  /? @AE jnn-?@AJNN[oLpKqrP Q jnn-?@AJNN[oLpKqrA B $_$5S9 "#5"6c: Z^^,ABC3G Z^^,ABC3G $Z^^4P%Q$RRUV )*..9Q*R)SSVW ":>>2D#E"FcJ 0A!B C3G  d|jd?d@dAtjt |jdBdCtjt |jdDd@dE|dFd@dG|dHdI|dJdK|dLdM|dNd@ dO|jdPd@dQ|jdRd@dS|jdTd@dU|jdVd@dW|jdXd@dYtjt |jdZd7d[t |jdxsgd@d\tj|d0d7d]d^tj|d_d`da|d]dbdc| dddedf| dddgdh|dddi|d]S)jNrrrrrr-rrc3K|]`}dtjt|jddtjt|jddtjt|jddtjt|jddtjt|jdd|jdd tjt|jd dtjt|jd xsd d cyw)rZrXr]r[rYzr^zr`r\r-z N)htmlescaper*rars rr,zhtml_page..s+   [[SWW[%9!:;<=[[SWW]%;!<=>?[[SWWZ%8!9:;<[[SWW_%=!>?@A[[SWWY%7!89:;ww,-./[[SWW-B%C!DEFG{{3sww}5<=>?@  sE'E)rWc3NK|]}dtj|dywz
  • 
    • Nr rrs rr,zhtml_page..s#^4dkk$/06^#%rc3NK|]}dtj|dywrrrs rr,zhtml_page..s(,0$t{{4 !'rrz
  • -
    • c 3K|]^}dtj|jdxsddtjt|jdd`yw)r r#r-r r    N)r rrar0)r+rs rr,zhtml_page..sc"   [[!7C89:[[3778+?@ "sA$A&rz8No evidence refs recorded.z"source pollrrz availablerz&diagnostic onlyrz$route samplesrz across rz, route-reaching sequence(s)z$total samplesrrz sequence(s)z+route sequence namesz)observed selectorsz#mode1 sourcerz#runtime flagrz+current object indexrz0all watched values stablerz)normal route proofrz'promotion statusrzcSave Selector Opcode 0x24 Mode1 Runtime Contextzz8

    Save Selector Opcode 0x24 Mode1 Runtime Context

    z
      z
    • mode1 source: rz
      • z
    • section: r<z
    • section raw end: rGz
    • section virtual end: rHz
    • has raw file byte: r?rz
    • static initial value: rJz (rAz-
    • save loader block contains mode1 source: rz(
    • direct/static producers: exact refs=rrrrrrrz
    • evidence refs: rz
    • proofFound: rz+
    • opcode24 runtime producer proof found: rz1
    • opcode24 route-stream selection proof found: rz
    • strict hotspot found: rz2
    • failed opcode24 runtime producer gates: rz
    • missing evidence count: z
    • promotion status: z
    z

    rz

    z

    Missing Evidence

      z

      Evidence Refs

      zBz
      pathfields
      z!

      Diagnostic Runtime Watch

      zz

      Save Read Blocks

      z
      z

      Remaining Proofs

        )rar.r rr*r0rM) rrrrrr block_rowsproofs missing_itemsevidence_ref_rowsdiagnostic_rowss r html_pagersi G , -F56<"J:>>2E#F#L"MTQTii /C D JKRsO +,  JYY^7K\C]^ ^FII4;KK@Q4R4XVX  " ;;~.4" "D D ii ,T[[Z^^L=Y9Z-[,\\mn *4;;s:>>+;V7W+X*YYjk 0SP`Aa=b1c0dduv .t{{3z~~N`?a;b/c.ddyz~{F{FGJKUKYKYZnKoGp{qzrr^ _ .t{{3z~~N`?a;b/c.ddyz~{F{FGJKUKYKYZnKoGp{qzrrO P 5dkk/6R5SSde 3DKK@R4S3TTef -dkk#jnnMb>c:d.e-ffwx -dkk#jnnMb>c:d.e-ffwx 5dkk#jnnUqFrBs6t5uvG H :4;;s:>>ZrKsGt;u:vwH I 3DKKJNNSeDf@g4h3iiz{ 1$++c*..QbBc>d2e1ffwx!O 99)o) L) C)  ) #4;;w7G/H#I"J,W ) dkk#gkk-.H*IJK<X ) &dkk#gkkBV6W2X&Y%ZZfg) *$++c'++F^:_6`*a)bbno) "'++.E"F!GuM) +4;;s7;;G^;_7`+a*bbklplwlwx{}D}H}HIa}bycmdleej k) 8@b8c7ddij) 36:N3O2PPbcij~ccAARSYZvSwRxxLMSTsMtLuuz {) gkk*<=>eD) 7;;|45U;) 6gkkBe6f5gglm) I=JJV W%)& 's7;;7H+I+OR'P&QQVW')( 't{{7;L3M'N&O|\))* +), dkk',/0 16-). (/)0 1)2 3)4 !5)6 M7)8 9): ;)< ,=)> ?)@ A)B C)D $E)F zG)H I)J K)L (M)N O)P Q)) )rc|jdd|dz }|jtj|dddzd |9|jjdd|jt |d |S) NT)parentsexist_okz1save_selector_opcode24_mode1_runtime_context.jsonF) ensure_asciiindentrrr)mkdir write_textr dumpsparentr)rout_dirhtml_outjson_outs r write_outputsr*#s MM$M.LLH  7q9D@dT:Ig.A Orc tjt}|jdtt dz |jdtt dz |jdtt dz |jd tt tz |jd tt |jd t |j}t|jjt|jit|jit|ji}t!||j"|j$}t'd |y)N)r\z--exez Hwanse2.exe)typedefaultz--save-loader-tracezsave_loader_trace.jsonz--mode1-source-writesz/save_selector_opcode24_mode1_source_writes.jsonz--diagnostic-pollz --out-dirz --html-out)r,z(wrote opcode24 mode1 runtime context -> )argparseArgumentParser__doc__ add_argumentrROOTOUTr parse_argsrrN read_bytesr%rcrdiagnostic_pollr*r'r(print)parserargsrr)s rmainr:0s(  $ $ 9F dD=4HI -D#H`B`a /dCJ{D{| +$F[@[\  $<  40    D $(("-$**B/$&&+ G WdllDMMBH 4XJ ?@r__main__)rrreturnr*)r str | Noner<r)r#rr$rr<r)r/zlist[Any] | Noner<r*)r6 list[dict]r2rr< dict | None)rNbytesr6r>r<dict)rcrAr<r>)rdr>r<dict[str, list[dict[str, Any]]])r|rBr}rrBr*r<r=)rr?r<rAr)) rNr@rcrArrArr?r<rA)rrAr<r*)rrAr'rr(z Path | Noner<r)r<None)+r0 __future__rr.r r syspathlibrtypingrr#insertr*__file__resolver&probe_exe_scene_tablesrrrr2r3rLrrrrrrr%r0r:rUrhrzr~rrrrr*r:__name__rrrrMsDN" 3tH~--/6678> H~''* Ul e I NS62!8 C F**#3t&* m mmm# m  m`K\Vr25d A& zFr
      calltargetendsave offsetsizecontainsdistance after enddescription