UHj+bdZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZhdZd hZd d d d ddddddd d ddddddd d ddddddddd d!d"dd#d$dd%d dd&d'd(d)d*d+d,ddd-d.d/dd0d1dd2d3d4d5dd6d7ddd8d9d:dd;dd?dd@dAd d dBdCdDddEdFd d dGdHdIddJ ZgdKZdXdLZdYdMZdZdNZd[dOZ d\dPZ d]dQZd^dRZd_dSZd^dTZefd`dUZdadVZedWk(reyy)bz9Summarize grounded event/object VM text opcode semantics.) annotationsN)Path)Anyout>0x0b0x0c0x0d0x02 0x0041b7bbzdisplay-state-opcode-grounded0x4z7stream byte at +2 selects context+0xde display/font rowz-context+0xde = stream u8+2; advance stream +4zQdisplay state evidence only; browser replay does not execute full VM control flow) handlerVaHexsemanticStatus decodedLengthdecodedLengthHex operandLayouteffectpromotionImpact 0x0041b7edzdisplay-timer-opcode-groundedz$stream word at +2 seeds context+0xcaz@context+0xca = stream u16+2; context+0xcc = 0; advance stream +4zQdisplay/timer state evidence only; browser replay does not execute full VM timing 0x0041b8eezinput-wait-opcode-groundedzLno promoted text operand; waits on global 0x47f1d4 and input mask 0x0059e312zbtoggle press/release latch; set 0x55b280 stop flag; advance stream +4 only after release conditionzRdialogue wait evidence only; full browser event VM wait loop remains unimplemented 0x0041b956zobject-position-opcode-grounded0x8z,stream words at +2/+4 become fixed-point x/yzWcontext+0x1c = stream u16+2 << 16; context+0x20 = stream u16+4 << 16; advance stream +8zQobject placement evidence only; route-linked event object execution still missing 0x0041b9a0zdisplay-style-opcode-groundedzmode0=0x4/mode1=0x8)mode0mode1zdstream byte +2 mode; mode0 uses table index byte +3 at 0x59daf0, mode1 uses immediate bytes +5/+6/+7zUwrite context+0xe0/+0xe2/+0xe4 from palette/style table or immediate RGB-like tripletzIdisplay style evidence only; variable-length VM execution remains partial)rrrrdecodedLengthVariantsrrr 0x0041bac6z!control-flow-call-opcode-groundedzGstream dword at +4 is branch target; stream+8 is pushed as continuationzcpush continuation pointer to context+0xb4 stack; increment context+0xc8; set stream to target dwordzUVM control-flow evidence only; browser replay does not follow original event branches 0x0041bb15z#control-flow-return-opcode-groundedz stack-popzOno stream operand; pops continuation from context+0xb4 stack using context+0xc8zTdecrement context+0xc8; set stream to saved continuation pointer context+0xb4[index]z\VM control-flow evidence only; browser replay does not execute original call/return branches 0x0041bd4fzcursor-relative-opcode-groundedzRstream words at +2/+4 optionally offset current text origin unless 0xffff sentinelztcontext+0xd6 = context+0xce + u16+2 when not 0xffff; context+0xda = context+0xd2 + u16+4 when not 0xffff; advance +8zPcursor positioning evidence only; browser replay does not execute full layout VM 0x0041d476z&cursor-origin-relative-opcode-groundedzUstream words at +2/+4 optionally offset and update text origin unless 0xffff sentinelz_context+0xce/context+0xd6 and context+0xd2/context+0xda are moved by stream offsets; advance +8zKcursor origin evidence only; browser replay does not execute full layout VM 0x0041d89dz data-bank-select-opcode-groundedzUstream byte at +2 selects context+0xa8 backing table; mode 2 also uses stream byte +3zacontext+0xa8 becomes 0x59e310, 0x4576d8, 0x457750 + shaped index, or table 0x59db30[context+0xf2]zOstate-table selection evidence only; full object/script data VM remains partial 0x00420028zglobal-timer-opcode-groundedz-no stream operand; reads global byte 0x457745zBcontext+0xca = byte[0x457745]; context+0xcc = 0; advance stream +4zIglobal display/timer state evidence only; not event route execution proof) 0x030x040x060x070x080x090x0a0x0e0x150x1b0x37)r rr 0x35cp tj|jdS#t$r|cYSwxYw)Nutf-8encoding)jsonloads read_textFileNotFoundError)pathdefaults @/home/exedev/hwanse/tools/summarize_event_vm_opcode_semantics.py load_jsonr<ys5zz$..'.:;; s $' 55ctt|ttfrtj|ddSt |S)NFT) ensure_ascii sort_keys) isinstancedictlistr5dumpsstr)values r; json_valuerFs-%$&zz%etDD u:c.tfd|DiS)Nc3LK|]}|jdk(s|yw) opcodeHexNget).0row opcode_hexs r; ztable_entry..s!N377;+?:+MNs$$)next)entriesrOs `r; table_entryrSs NNPR SSrGc|jdxsgDcic]%}|jdr|jd|'c}Scc}w)NhandlerEffectsrJrK)event_text_source_flowrNs r;handler_effects_by_opcoderWsO*--.>?E2   77;   c!  s*Act||}|j|xsi}|dk(r=||jd|jddddddd|j|dd d d S|d k(rE||jdxsd |jdxsddddddd|j|dd dd S|tvrtt|}||jdxs|d|jdxsd|d|jd|jd|jd|d|dd|dd|j|dd|dd S|jd!}||jdxs|jd|jdd"|t |t rd#|d$nd|jd%|jdd&|j|d|d'v|d(k(rd)d Sd*d S)+Nr0rhandlerSectionzliteral-storage-markerztCP949 text bytes are preserved as literalTextEvents from dialogue block storage; handler semantics are not promoted.zNstorage-indexed literal payload marker used by partial browser replay evidenceout/event_dialogue_blocks.jsonrTz4storage evidence only; not route-linked VM execution) rJrrYrrrrrsource commandCountbrowserReplayEnabledrr 0x0041b771z.textzdisplay-cursor-opcode-groundedr rzZno promoted text id operand; updates cursor fields from current context and font-row tablezQcontext+0xd6=context+0xce; context+0xda += table[context+0xde]; advance stream +4zOHwanse2.exe handler 0x0041b771 plus out/event_dialogue_blocks.json storage scanz[supports partial dialogue cursor/separator trace only; route-linked execution still missingrrrrrrzHwanse2.exe handler z1 plus out/event_dialogue_blocks.json storage scanFr) rJrrYrrrrrrr[r\r]rlengthztext-source-opcode-grounded0xxr[out/event_text_source_flow.json>rr r zN0x0c route-linked hits are pointer overlap, so this opcode stays non-promotingzKsupports partial dialogue replay only; route-linked execution still missing)rSrLCONTROL_OPCODESrAr@int) rO event_entrieseffectscommand_countsdialogue_countsentryrrNdecoded_lengths r;opcode_semantic_rowrksQ  z 2E [[ $ *FV#!IIn5#ii(896! $Tf6+// A>$(U  V#!IIn5E#ii(89DW> %yig+// A>$(|  _$?:./#!IIn5L^9L#ii(89DW!"23 WW_5 #(: ;%(WW-D%E 1(m,S-@,AArs+// A>$)"#45  ZZ)N >2Oeii6O))$457'7A.RU7Vb 23\`H-**X&3&**:q9 *.> >V# ] _ rGcf |jdxsi}|jdxsgt|}|jdxsi}|jdxsidDcgc]}t|||}}|Dcgc].}|dtvr!t |jdt r|0} }|jdxsg} |jd d uxrt | xrtd | D} t|jd xsgD chc]1} | jd xsijdxsgD]}|3c}} } td|jd xsgD}t|jd xsgD chc]1} | jd xsijdxsgD]}|3c}} }td|jd xsgD}tfdtD}|jdd u}id | d|jdd|jdd|jddttdt| d| Dcic] }|d|d c}dt| ttk(dtd| Ddttdtd |Dd!|Dcic]5}|dtvr(t |jdt r |d|d7c}d"td#jd$d%k(d&jd#d'd(ttd)tfd*tjDd+tfd,tjDid-|Dcic]5}|dtvr(t |jdt r |d|d7c}d.|Dcic]3}|dtvr&|jd/r|d|jd/5c}d0tDcic]}|j|d'c}d1|d2|d3|d4|d5jd6d'd'kDd7td8|jd xsgDd9|d:|jd:d'd;|d<| d=| tk(d>||k(xr|ttk(xr|d'k(d?d@dAd@d@d@dB}dCgdDdE|jd|jdF|jd|jd| t| dG||| |d|d|d"|d+|d>|d5|d9|d=d@d@d@d@dH gdIdJdK Scc}wcc}wcc}} wcc}} wcc}wcc}wcc}wcc}wcc}w)LNeventHandlerTable tableEntriescommandCountsByOpcodecommandOpcodeCounts)r r%r&r'r(r)r*r+rr r r,r-r.r0r/rJrdispatcherByteChecksdispatcherVerifiedTc3BK|]}|jdduyw)matchesTNrKrMrNs r;rPz build_summary..sHs "d*HsblocksvmTraceimplementedOpcodesc3~K|]5}t|jdxsijdxsd7yw)rwgroundedControlEventCountrNrdrLrMblocks r;rPz build_summary..s<'  UYYy ! 'R , ,-H I NQO';=groundedControlOpcodeSetc3K|]F}|jdxsijdxsgD]}|jddurdHyw)rwgroundedControlEventsbrowserExecutesEffectTrNrK)rMr}events r;rPz build_summary..s_/ yy+1r667NOUSU/  99, - 5 / /sA Ac3TK|]}tj|d!yw)rNr{)rMopcoderhs r;rPz build_summary..s+'  O   *+'s%(opcode0cAllPointerOverlapdispatcherTableVaHex tableVaHexdispatcherVaHexdispatchCallVaHextextSourceOpcodeCountdecodedTextSourceOpcodeCountdecodedTextSourceOpcodeLengthstextSourceOpcodeLengthsDecoded"textSourceOperandSemanticsGroundedc3dK|](}|jdxr|jd*yw)rrNrKrus r;rPz build_summary...s,1~eh#''(2C2`P_H`2`1~s.0displayCursorOpcodeCountdecodedDisplayCursorOpcodeCountc3tK|]0}|dtvr#t|jdtrd2yw)rJrrN)DISPLAY_CURSOR_OPCODESr@rLrdrus r;rPz build_summary..0s:/ ;#99jQ`Iacf>g / s68!decodedDisplayCursorOpcodeLengthsdisplayCursorOpcodeGroundedr rr^displayCursorCommandCountrcontrolOpcodeCountgroundedControlOpcodeCountc3jK|]*\}}t|jd|dk(rd,yw)rrNrSrLrMrrNres r;rPz build_summary..=s<* =&155nE^I\\ * s03controlOpcodeSemanticsGroundedc3fK|](\}}t|jd|dk(*yw)rNrrs r;rPz build_summary..Bs9.   v . 2 2> Bc.FY Y. s.1decodedControlOpcodeLengthsvariableLengthControlOpcodesrcontrolOpcodeCommandCountsgroundedControlCommandCountrzgroundedControlEventOpcodeSet)groundedControlSampleEffectExecutionCountliteralStorageOpcodeObservedr0literalStorageEventCountc3~K|]5}t|jdxsijdxsd7yw)rwliteralTextEventCountrNr{r|s r;rPz build_summary..Ys<(  9%+001HINQ O( r~!opcode0cPointerOverlapNotPromotedrouteLinkedCommandCount$routeLinkedCommandsArePointerOverlapbrowserPartialReplayOpcodeSet(browserPartialReplayMatchesTextSemantics%browserGroundedControlEventsPreservedbrowserFullEventVmImplementedFrouteLinkedEventVmExecution)!fullInstructionLengthFullyDecodedfullOperandLayoutFullyDecodedzYGrounded text-related event/object VM opcode semantics from Hwanse2.exe handler evidence.)z,out/save_selector_branch_state_dispatch.jsonrbrZz6text-opcode-semantics-grounded-route-execution-missing entryCount)rrrrrrbyteCheckCount) eventObjectDispatcherVerifiedrrrrrrrrrrrr)zDDecode non-text event/object opcodes that appear in dialogue blocks.zMCapture route-linked event/object VM execution from a normal map interaction.zNBind scene event records to a dialogue block through executed VM control flow.anEvent/object VM dispatch is byte-table grounded, and text-source opcodes 0x0b, 0x0c, and 0x0d now have explicit length/operand/effect rows; opcode 0x02 also has a grounded cursor/separator length/effect row, and opcodes 0x03/0x04/0x06/0x07/0x08/0x09/0x0a/0x0e/0x15/0x1b/0x37 have handler-grounded display, wait, position, style, data-bank, and control-flow rows. This narrows the VM semantics gap without promoting route-linked event execution: the route-linked 0x0c hits remain pointer overlaps, 0x35 is literal storage evidence, browser replay remains partial, and full event VM instruction decoding is still incomplete.) scoper[promotionStatuseventObjectDispatcheropcodeSemanticscoveragechecksnextEvidenceNeeded conclusion)rLrWrkTEXT_SOURCE_OPCODESr@rdboolallsortedsumrclenrrSitemsPARTIAL_BROWSER_OPCODES)branch_state_dispatchrVevent_dialogue_blocks event_tablerfrgr opcode_rowsrNdecoded_text_rowsdispatcher_checksdispatcher_verifiedr}browser_opcode_setgrounded_control_event_count!grounded_control_event_opcode_set$grounded_control_sample_effect_countcontrol_opcode_command_countopcode0c_pointer_overlaprrhres @@r; build_summaryrs (++,?@FBK)--n=CM'(>?G+//0GHNBN+//0EFL"O   FM7NO\K.  { 2 2z#''/BZ\_7`  $(>?E2,-5 I " # I H6GH H  *..x8>B!  ),2778LMSQS!  !! $''*..x8>B'$ )/*..x8>B0  ),2778RSYWY0  00)% ,//*..x8>B/,( $''%'$  699:UVZ^^I1I  =I ;??+<=I [__-@A I %8!9 I ',=(> I )(+   c/2 2+ I )#.?*@CH[D\*\I -c1~l}1~.~I #C(>$?I *3/ "/ , I& ,". ;#99jQ`Iacf>g  c/2 2. 'I0 & M6(J(N(N~(^bn(n1I2 $_%8%8%C3I4 c/25I6 %c* .446* ' 7I@ )#. .446. + AIH &"( ;?2z#''/BZ\_7`  c/2 2( IIR '") ;?2sww?V7W  cgg&=> >) SI\ %)'  O''2 2' ]Id &'CeIf $%AgIh ()JiIj 45YkIl '(;(;FA(F(JmIn #C( .228<B( % oIv ,-EwIx "#9#=#=>WYZ#[yIz /0H{I| ();}I~ 34FJa4aI@ 0 (,H H :1VO5LL :49GIJ (KIL &uMIN.3).QIHVm T%//,7%//,7*/@A!,1D!E"5!"34 " '-@.67W.X2:;_2`+34Q+R.67W.X5=>e5f,45S,T19:]1^8@Ak8l+0-216-2   O0 0G*!0.+ . "( ) ' s6&V3V 6V 6V V0:V:V$ 8V) V. cdd|ddd|ddddddd g }|d jD]&\}}|jd |d t|d (|jgd|dD]}|jd|dd|j dxsdd|dd |j dxsdd |j dxsdd |j dxsdd |j dd |dd |jgd|djD]&\}}|jd |d t|d (|jgd|jd |d!Dd"j |d"zS)#Nz# Event VM Opcode Semanticsrz- promotion status: `r`z ## Dispatcher| field | value | | --- | --- |rz| z | z |)rz## Opcode Semanticsrzk| opcode | handler | status | length | operand layout | command count | browser replay | promotion impact |z2| --- | --- | --- | --- | --- | ---: | --- | --- |rz| `rJz` | `r-z` | rrrr\rr]r)rz ## Coveragerrrr)rz## Next Evidence Neededrc3&K|] }d| yw)z- NrMitems r;rPzmarkdown..sG2dVGsr )rappendrFextendrLjoin)summarylineskeyrErNs r;markdownrs%   (9 :;1=   E56<<>9 U r#c*U"3!4B789 LL()  #k"#5)@)GC(HSQaMbLccfww)*1c2#cggo6N6URU5VVYww~&+!,C8N0O/PPSTWXiTjSkkm o   LLj)//19 U r#c*U"3!4B789 LL  LLG1E)FGG 99U d ""rGcNdjd|jDS)Nrc 3K|]?\}}dtj|dtjt|dAyw)z N)htmlescaperF)rMrrEs r;rPzhtml_table..sD C 4;;s#$Idkk*U:K.L-MZXsAA)rr)rowss r; html_tablers& 99**, rGcvdjd|dD}djd|dD}djdddd d d d d ddtj|dddtj|ddddt|ddddd|dddt|dddd|d d!d"d#gS)$Nrc3K|]7}dtj|ddtj|jdxsddtj|ddtj|jdxsddtjt|jd xsddtjt|jd xsd dtjt|jd dtj|d d:yw)zrJzrrzrrrrr\rr]rrN)rrrLrDrus r;rPzhtml_page..s&   [[[!1234[[!8!?C@AB{{3/0123{{377#56=#>?@{{3sww7>3?@AB{{3sww~6;!<=>?{{3sww'=>?@AB{{301234  sD>Erc3NK|]}dtj|dyw)z
  • z
    • N)rrrs r;rPzhtml_page..s#etT$++d"3!4E:es#%rzzzz z* Event VM Opcode Semanticsa zzz$

    Event VM Opcode Semantics

    z

    rz

    z$

    Promotion status: rz

    z

    Dispatcher

    zD rz
    fieldvalue
    z

    Opcode Semantics

    z z z

    Coverage

    rz

    Next Evidence Needed

    z
      z
    zzr)rrrr)rr next_itemss r; html_pagers)) ,-  KewOcGdeeJ 99"4 e.  GL12348 .t{{7CT;U/V.WWbc NzZabyZzO{N|}M N% A K= 01 NzZablZmOnNoo A)  E" / rGc|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okzevent_vm_opcode_semantics.jsonF)r>indentrr2r3event_vm_opcode_semantics.html)mkdir write_textr5rCr)rout_dirs r; write_outputsrsd MM$M. //;; 7q9D@< //;;Ig r) argparseArgumentParser__doc__ add_argumentrOUT parse_argsrr<rrprint)parserargsrs r;mainr s  $ $ 9F  $<    D$,,!KKRP$,,!>>C$,,!==rBG '4<<( / ?_0_/` abrG__main__)r9rr:rreturnr)rErr rD)rR list[dict]rOrDr rA)rVrAr dict[str, dict]) rOrDrer rfr rgrArhrAr rA)rrArVrArrAr rA)rrAr rD)rrAr rD)rrArrr None)r r)r __future__rrrr5pathlibrtypingr__file__resolverROOTrrrrcrr<rFrSrWrkrrrrrr __name__rrGr;rs`?"  H~''* Ul. %9!RAn %9!?Tn %6!gvo %;!Gkn %91+,q!9if %=!bwr %?'jhy %;!mIm %B!psh %<!pul %8!HVf yeL; TJJJJ J  J  JZ}} } } }@+#\'T25b c zFrG
    opcodehandlerstatuslengthoperand layoutcommandsbrowser replaypromotion impact