IjjdZddlmZddlZddlZddlZddlZddlmZddl m Z ee jjdZedz ZddZdd Zdd Zdd Zdd Zdd d Zd!dZd"dZd#dZd$dZd%dZ d& d'dZd(dZd)dZd(dZefd*dZd+dZ e!dk(re yy),zJSummarize grounded event/script VM semantics and remaining execution gaps.) annotationsN)Path)Anyoutc tj|jd}t |t r|SiS#t$ricYSwxYw)Nutf-8encoding)jsonloads read_textFileNotFoundError isinstancedict)pathdatas =/home/exedev/hwanse/tools/summarize_event_vm_semantics_gap.py load_jsonrsLzz$..'.:;dD)41r1  s%; A A cV|Dcgc]}|jddk(s|c}Scc}w)NhandlerSectionz.textgetrowsrows rcode_handler_rowsrs' HC377+;#<#GC HH Hs&&c~|Dchc]-}|jdrt|jd/c}Scc}w)N handlerVaHex)rstrrs runique_handlersr!s>   77> " CGGN #$  s2:ctt|ttfrtj|ddSt |S)NFT) ensure_ascii sort_keys)rrlistr dumpsr )values r json_valuer(%s-%$&zz%etDD u:c$|t|xsdvS)N)r )textneedles r text_containsr.+s S_ $$r)ctj|t|xsd}|s|S t|j dS#t $r|cYSwxYw)Nr+r)researchr intgroup ValueError)patternr,defaultmatchs rparse_first_intr8/sN IIgs4:2 /E 5;;q>"" sA AActj|t|xsd}|sgS|jdj dDcgc]}|s| c}Scc}w)Nr+r,)r0r1r r3split)r5r,r7parts rparse_opcode_listr=9sK IIgs4:2 /E  "[[^11#6 ?T$D ?? ?s AAcX|xsi}|jd}t|tr|S|S)Ndialogue)rrr)payloadr?s rdialogue_candidate_payloadrA@s-mG{{:&H!(D18>w>r)c tt|}t|jdxsd}t|jdxsd}t|jdxsd}t|jdxsd}t|jdxsd}t|jdxsd}t|jdxsd}t|jd xsd}t|jd xsd} t|jd xsd} id d d|jdxsddt|ddt d|dt d|dt d|dt d|dt d|d|dt d|dt d |d!t d"|d#t d$|d%t d&|d't|d(rd)ndd*t|d+rd,ndd-t d.|id/|d0|d1|d2|d3|d4|d5d6j d7| | fDd8t|d9d:t|d;dt|d?d@t|dAdBt|dCxr t|dCdDt|dEdFt|dGdHt|dIxr t|dJdKt|dLxr t|dMt|dNt|dOt|dPt|dQt|dRt| dSxr t| dT|jddUk(xr`t|dxrRt|d;xrDt|dAxr6t|dGxr(t|dNxrt|dQxr t|dRdVdVdVdW S)XNdialogueChromer+dialogueControlFlowdialogueRenderStatedialogueDisplayStyledialogueDisplayStyleProbedialogueCursorRelativeLayoutdialogueLiteralPayloaddialogueObjectFocuspointerDialogueAdvancekeyboardInputWaitLatchsource*out/dialogue_candidate_review_summary.jsonstatus not-generatedgroundedControlEffectsExecutedzgroundedControlEffects=True!groundedControlExecutedEventCountzgroundedControlEvents=(\d+) groundedControlExecutedOpcodeSetz$groundedControlOpcodes=([0-9a-fx,]+)'groundedControlWaitForInputReleaseCountzgroundedControlWaits=(\d+)groundedControlBranchCallCountzgroundedControlBranches=(\d+)"groundedControlObjectPositionCountzgroundedControlObjects=(\d+)controlFlowSummarybranchExecutionStepCountzbranchExecSteps=(\d+)branchExecutionRenderCountzbranchExecRenders=(\d+)branchExecutionLineAdvanceCountzbranchExecLineAdvances=(\d+)branchExecutionWaitCountzbranchExecWaits=(\d+)branchExecutionReturnCountzbranchExecReturns=(\d+)branchTextOriginz#branchTextOrigin=5:0x0045ee44:16,16z5:0x0045ee44:16,16branchGlobalTimerz branchGlobalTimer=5:0x0045ee4c:0z5:0x0045ee4c:0renderStateSnapshotCountzsnapshots=(\d+)renderStateSummarydisplayStyleSummarydisplayStyleProbeSummarycursorRelativeSummaryliteralPayloadSummaryobjectFocusSummaryinputWaitSummary c3&K|] }|s| ywN).0r<s r z2browser_dialogue_replay_summary..js$tdosT$ts+browserEventVmControlFlowSummaryImplementedz0browserEventVmControlFlowSummaryImplemented=True(browserEventVmBranchExecutionImplementedz-browserEventVmBranchExecutionImplemented=True)browserEventVmBranchTextOriginImplementedz.browserEventVmBranchTextOriginImplemented=True*browserEventVmBranchGlobalTimerImplementedz/browserEventVmBranchGlobalTimerImplemented=True,browserEventVmRenderStateSnapshotImplementedz1browserEventVmRenderStateSnapshotImplemented=True%browserEventVmDisplayStyleImplementedz*browserEventVmDisplayStyleImplemented=True*browserEventVmDisplayTimerStateImplementedz/browserEventVmDisplayTimerStateImplemented=True+browserEventVmBranchDisplayStyleImplementedz+branchDisplayStyle=12:0x004ec78e:1:emphasis-browserEventVmBranchObjectPositionImplementedz*branchObjectPosition=12:0x004ec79a:144,248zbranchObject=5:0x004e8000:0,352+browserEventVmBranchDisplayTimerImplementedz%branchDisplayTimer=12:0x004ec7a2:2880z$branchDisplayTimer=5:0x004e7ffc:1856z2browserEventVmCursorRelativeLayoutImplemented=Truez2browserEventVmBranchCursorRelativeImplemented=TruezbranchDataBank=4:0x004e8088:0z4browserEventVmLiteralTextPayloadLineImplemented=Truez1browserEventVmObjectPositionFocusImplemented=TruezbranchWaitLatch=Truez-browserDialogueInputWaitLatchImplemented=TruepassedF) -browserEventVmCursorRelativeLayoutImplemented-browserEventVmBranchCursorRelativeImplemented'browserEventVmBranchDataBankImplemented/browserEventVmLiteralTextPayloadLineImplemented,browserEventVmObjectPositionFocusImplemented(browserDialogueInputWaitLatchImplemented'browserGroundedControlReplayImplemented browserEventVmFullImplementation!originalEventVmRuntimeImplemented#originalStoryFlagRuntimeImplemented)rAr rr.r8r=join) smokedialogue_chromedialogue_control_flowdialogue_render_statedialogue_display_styledialogue_display_style_probedialogue_cursor_relativedialogue_literal_payloaddialogue_object_focuspointer_dialogue_advancekeyboard_input_wait_latchs rbrowser_dialogue_replay_summaryrFsb &u -E%))$45;f %))H%8f  )-If*gf  ,_=[]l-m f  +,=>egv,w f  2?C`bq3r f  )/:Z\k*lf  -o>]_n.of  3f  #O4LNc$df  %o6PRg&hf  *?;Z\q+rf  #O4LNc$df  %o6PRg&hf  MBWY~40FHf  ?TVx1y-@B!f " #O4FH]$^#f $ 3%f & 5'f ( #$@)f * !9+f , !9-f . 3/f 0 CHH$t7OQj6k$tt1f 2 6} ! >8 3f : 3M ! ;5 ;f B 4] ! <6 Cf J 5m ! =7 Kf R 7 ! ?9 Sf Z 0 02^ _ j:d u|jd?d u|jd@d u|jdAd u|jdBd udC }dD|jdEd |jdFd |jdGd |jdxsit dH|jdIxsgDt |jdIxsgDchc]1}|jdJxsijdKxsgD]}|3c}}t dL|jdIxsgDt dM|jdIxsgDt dN|jdIxsgDt dO|jdIxsgDt |jdIxsgDchc]1}|jdJxsijdPxsgD]}|3c}}dQ }dR|jdSd |jdTd |jdUd |jdVd |jdWd dX}t |}t}idYt| ddZt| dxr| dxr | d[| dk(d\| dd]k\d^|dd kDd+|d+d,|d,d.|d.d1|d1d:|d:d;|d;d=|d=d_|dEd kDd`|d(dak(db|dbdc|ddde|dfdg|dh|di|dj|dk|dlddd|dTd kD|dmd kDdddddn }dodpdqdrdsdpdtdrd?dpdudrdvdpdwdrdxdpdydrg}iddzd&gd{d)d|d}|d~d|dd|dd| d| d|d|d|d|d|d|d%|d|d|dgdddScc}}wcc}}w)NentrieseventHandlerTable tableEntriesout/script_handler_table.jsonscoperPhandlerTableVaHex opcodeCountcodeHandlerCountrdefaultHandlerCountdefaultHandlerVaHexTF) rMrrrrrrfirstByteCandidateOnlyinstructionLengthFullyDecodedoperandLayoutFullyDecoded,out/save_selector_branch_state_dispatch.json tableVaHex entryCountdispatcherVaHexdispatchCallVaHexdispatcherVerified handlerCountmatchedHandlerCountdirectTextRoutineHandlerCountclassificationCounts) rMrrtableEntryCounttextEntryCountuniqueCodeHandlerCountrrrhandlerScanCountmatchedTextHandlerCountrrout/event_text_source_flow.json commandCountcommandCountsByOpcodeopcode0dMediumCommandCountrouteLinkedCommandCountopcode0cAllPointerOverlappointerOverlapCountsByOpcodeconfidenceCounts)rMrrrr$routeLinkedCommandsArePointerOverlaprrcoveragechecksrM"out/event_vm_opcode_semantics.jsonrOpromotionStatuseventObjectDispatcherVerifiedtextSourceOpcodeLengthsDecoded"textSourceOperandSemanticsGroundeddecodedTextSourceOpcodeLengthsdisplayCursorOpcodeGrounded!decodedDisplayCursorOpcodeLengthsdisplayCursorCommandCountcontrolOpcodeSemanticsGroundedgroundedControlOpcodeCountdecodedControlOpcodeLengthsvariableLengthControlOpcodescontrolOpcodeCommandCountsgroundedControlCommandCountgroundedControlEventCountgroundedControlEventOpcodeSet)groundedControlSampleEffectExecutionCount%browserGroundedControlEventsPreservedliteralStorageOpcodeObservedliteralStorageEventCount!opcode0cPointerOverlapNotPromoted(browserPartialReplayMatchesTextSemanticsrbrowserFullEventVmImplemented!fullInstructionLengthFullyDecodedfullOperandLayoutFullyDecoded) rrrrrrrrrrout/event_dialogue_blocks.json blockCountdialogueLikeBlockCountrouteLinkedBlockCountc3lK|],}|jdxsijddurd.yw)vmTrace&browserEventVmPartialReplayImplementedTrNrrkblocks rrlz build_summary.._s;)  )$*//0XY]aa ) s24blocksrimplementedOpcodesc3vK|]1}|jdxsijdxsddkDrd3yw)rliteralTextEventCountrrNrrs rrlz build_summary..is@) 9%+001HINQRSS ) 79c3~K|]5}t|jdxsijdxsd7yw)rrrNr2rrs rrlz build_summary..ns<)  9%+001HINQ O) ;=c3vK|]1}|jdxsijdxsddkDrd3yw)rrrrNrrs rrlz build_summary..rsA/ 9%+001LMRQRVWW / rc3~K|]5}t|jdxsijdxsd7yw)rrrNrrs rrlz build_summary..ws=/  9%+001LMRQR S/ rgroundedControlOpcodeSet) rMrrrrpartialVmReplayBlockCountpartialVmReplayOpcodeSetliteralVmReplayBlockCountliteralVmReplayEventCountgroundedControlReplayBlockCountgroundedControlReplayEventCountgroundedControlReplayOpcodeSetout/scene_event_text_refs.json eventCountdirectTextRefCounttextTableRefCounttextCandidateCounttextClusterCount)rMrrr r r scriptHandlerTableMappedeventObjectHandlerTableMappedropcode0bTextRoutineGroundedropcode0dTextSourceGroundeddialogueStorageIndexedbrowserDialogueProgressSmokerwr~browserEventVmBranchExecutionrn!browserEventVmRenderStateSnapshotrqbrowserEventVmDisplayStylerrrxr{r|r}r) "browserEventVmCursorRelativeLayout browserEventVmLiteralPayloadLine!browserEventVmObjectPositionFocusbrowserDialogueInputWaitLatchrrrsceneEventDirectTextRefsbrowserEventVmPartialReplayrbrowserEventVmImplementationeventVmPromotionGatePassedstoryDialogueRouteProofrraText-source event/object opcodes 0x0b/0x0c/0x0d, cursor opcode 0x02, and control/display opcodes 0x03/0x04/0x06/0x07/0x08/0x09/0x0a/0x0e/0x15/0x1b/0x37 now have grounded lengths, variants, or stack effects, but the full save-selector and event/object VM instruction set is not decoded.)rrOgaprzText-source operand effects, opcode 0x02 cursor effects, and several control/display effects are grounded, but many event/object opcodes and the save-selector stream operand layouts remain partial.zkNo normal map interaction has been captured dispatching a story dialogue block through the event/object VM.rzXCurrent scene event windows have no direct Korean text pointer or text-table references.ra&The web runtime now records a partial 0x02/0x0d/0x0b/0x35 replay trace for indexed dialogue candidates and WebKit-smoke-verified bounded branch/control replay for dialogue render/style/cursor/object/input-wait snapshots, but it still does not execute the full original event/object VM bytecode.zQEvent/object VM and save-selector script VM semantic coverage for dialogue proof.)rrz out/event_handler_text_refs.jsonrrrrrNz*handler-storage-grounded-execution-missingbrowserReplayClassificationrrrsaveSelectorScriptHandlerTableeventObjectHandlerTableeventTextSourceFloweventVmOpcodeSemanticsdialogueStorageIndexsceneEventTextRefsbrowserDialogueReplaySmokeeventVmPromotionGate gapSummary#remainingOriginalEventVmProofInputsr)zKCapture route-linked event/object VM execution from normal map interaction.zPDecode full instruction lengths and operand layouts for the relevant VM opcodes.zjBind scene event records or runtime dispatch to a story dialogue block instead of storage-only candidates.zYKeep browser partial replay non-promoting until every event VM promotion gate has passed.aHandler tables, opcode 0x0b text rendering, opcode 0x0d text-source production, and dialogue storage blocks are grounded. The evidence still cannot promote story dialogue execution because only the text-source subset, opcode 0x02 cursor/separator, and a small control/display opcode subset are grounded; route-linked VM execution is absent, scene event text refs are zero, and the browser runtime only records partial dialogue replay plus bounded browser-side branch/control replay for indexed dialogue candidates rather than executing the full original event VM bytecode. The event VM promotion gate classifies that browser replay as non-promoting until route dispatch, full decode, story flag mutation, full browser VM execution, and event-driven battle entry are proven.)nextEvidenceNeeded conclusion) rrrr!sumsortedrrbool)script_handler_tablebranch_state_dispatchevent_handler_text_refsevent_text_source_flowevent_vm_opcode_semanticsevent_dialogue_blocksscene_event_text_refs)candidate_dialogue_progress_browser_smokescript_entriesdispatch_tabledispatch_entriesdispatch_code_entriesscript_summaryevent_table_summarytext_flow_summaryopcode_coverage opcode_checksopcode_semantics_summaryropcodedialogue_summaryscene_text_summarybrowser_replay_summarypromotion_gater gap_summarys r build_summaryrGs *--i8>BN*../BCIrN,00@FB-.>?1%))'2Eo1556IJ+// s>?RS0445GK3778MqQ3778MN"&).%* NA$((6$((s;K7LM/034"%o6K&L"M)--.?@+//0CD,001EF$N377J#:#>#>?TVW#X)@)D)DEdfg)h 7 ; ;1E!7!;!;WYZ#[0F0J0JKf0gko0o(>(B(BCa(b(hfh2667IJPb 033J?E2O-11(;ArM# 6# +//0ABUo#  m//0OPTXX#  )-*;*;<\*]ae*e #  -m.?.?@d.eim.m #  )/*=*=>^*_*ece #  &}'8'89V'W[_'_#  ,_-@-@Ad-e-kik#  $_%8%89TVW%X#  )-*;*;<\*]ae*e#  %o&9&9:VXY&Z#  &':':;X'Y'_]_#  '(;(;->?b-cgk-k   H IT Q'4'8'89V'W[_'_)6):):;Z)[_c)c-:->->?b-cgk-k)6):):;Z)[_c)cE# J3+// a@"7";";x(HH(T##$ 23IJs3t%#& ()?@j)k'#( ,-CDr-s)#* %&<=d&e+#,/EEt.u,BCt,u-CDr-s)?@j)k).%*',$67K$Lq$P'78S'TWX'X05(-&+#(E#FL2T .{  0A -m 1y  ;&KN+ d+   +  G+  &~6F'G+  n-AB+  /?e0f+  ).!+ " "#6#+ $ 0%+ & !":'+ (  0)+ * 0++ , %&<-+ . /+ 0 &1+ 2 k3+ 4 .~>N/O5+ 6  pE+ +e, .2 s 6^ 66^ c d|dfd|dfd|dfd|dfd |d fd |d fd |dfd|dfd|dfg }dd|ddd|ddd|ddd|dddt|dddg }|D]g\}}|jd|dd d!g|jD]&\}}|jd"|d#t|d$(|jdi|jgd%|d&D]&}|jd"|d'd(|d)d*|d+d$(|jgd,|jd-|d.Dd/j |d/zS)0N"Save-Selector Script Handler Tabler Event/Object Handler Tabler!Event Text Source Flowr"Event VM Opcode Semanticsr#Dialogue Storage Indexr$Scene Event Text Refsr%Browser Dialogue Replay Smoker&Event VM Promotion Gater'Checksrz# Event VM Semantics Gapr+r+z- promotion status: `r`z - browserReplayClassification: `rz)- browserReplayPromotesOriginalEventVm: `rz(- remainingOriginalEventVmProofInputs: `r)z## z| field | value |z | --- | --- |z| z | z |)z## Gapsr+z| id | status | gap |z| --- | --- | --- |r(rz | `rOz` | r)r+z## Next Evidence Neededr+c3&K|] }d| yw)z- Nrjrkitems rrlzmarkdown..2sG2dVGsr* )r(extenditemsappendr)summarysectionslinestitlerkeyr'rs rmarkdownr_s -w7W/XY %w/H'IJ !7+@#AB $g.F&GH !7+A#BC '*>"?@ ('2N*OP "G,B$CD 78$% H #   (9 :;1= *73P+Q*RRST 3Gl3m2nnop  E  t %M      **, =JC LL2cU#j&7%8; < = R  LL |$L r#d)DXtCJz N)htmlescaper()rkr^r's rrlzhtml_table..7sD C 4;;s#$Idkk*U:K.L-MZXsAA)rrX)rs r html_tablerf6s& 99**, r)cd|dfd|dfd|dfd|dfd |d fd |d fd |dfd|dfd|dfg }g}|D]<\}}|jdtj|ddt|dg>dj d|dD}dj d|dD}dj ddddd d!d"d#d$d%tj|d&d'd(tj|d)d*d+tj|d,d*d-tjt |d.d*d/tjt |d0d*g|d1d2|dd3d4|d5d6d7d8S)9NrIr rJr!rKr"rLr#rMr$rNr%rOr&rPr'rQrz

z

zD z
fieldvalue
rVc 3K|]R}dtj|ddtj|ddtj|ddTyw)rbrzrOzrrcNrdre)rkrs rrlzhtml_page..Rsg   {{3t9%&'[[X/01{{3u:&'( sAAr(c3NK|]}dtj|dyw)z
  • z
    • NrirTs rrlzhtml_page..Zs#etT$++d"3!4E:es#%r*zzzz z' Event VM Semantics Gapa zzz!

    Event VM Semantics Gap

    z

    r+z

    z$

    Promotion status: rz

    z/

    browserReplayClassification: rz8

    browserReplayPromotesOriginalEventVm: rz7

    remainingOriginalEventVmProofInputs: r)z

    Gaps

    zN z

    Next Evidence Needed

    z
      z
    zzr+)rWrdrerfrr()rZr[ section_htmlr]rgap_rows next_itemss r html_pagern=se -w7W/XY %w/H'IJ !7+@#AB $g.F&GH !7+A#BC '*>"?@ ('2N*OP "G,B$CD 78$% HL tT[['( .$T*++;=   yy <( HewOcGdeeJ 99"1 e+  GL12348 .t{{7CT;U/V.WWbc [[)F!GHI V [[G4Z,[!\]^^i k [[G4Y,Z![\]]h j+ 0 1 2 3 4 YYaXbbrs5 6 *7 8  E"9 : ; < = > ?   r)c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okzevent_vm_semantics_gap.jsonF)r#indentrVr r event_vm_semantics_gap.html)mkdir write_textr r&rn)rZout_dirs r write_outputsrx~sd MM$M. ,,88 7q9D@9 ,,8879KV]8^r)c vtjt}|jdtt |j }tt|jdz t|jdz t|jdz t|jdz t|jdz t|jd z t|jd z t|jd z }t||jtd |jd z y)N) descriptionz --out-dir)typer6zscript_handler_table.jsonz(save_selector_branch_state_dispatch.jsonzevent_handler_text_refs.jsonzevent_text_source_flow.jsonzevent_vm_opcode_semantics.jsonzevent_dialogue_blocks.jsonzscene_event_text_refs.jsonz&dialogue_candidate_review_summary.jsonz wrote event VM semantics gap -> rt) argparseArgumentParser__doc__ add_argumentrOUT parse_argsrGrrwrxprint)parserargsrZs rmainrs  $ $ 9F  $<    D$,,!<<=$,,!KKL$,,!??@$,,!>>?$,,!AAB$,,!==>$,,!==>$,,!IIJ G'4<<( ,T\\rs#P"  H~''* Ul2I %@? rj,^<>BAAA"A! A $ A  A A0;A AH/#d>B25_]$ zFr)
    idstatusgap