UHjT dZddlmZddlZddlZddlZddlZddlZddlm Z e e jjdZ e dz Zdgdd d gd d d gd d dddgd dddgd dgdd dgdd dgdd dgdd dgdd dgdd dgdd dgdd dgdd dgdd dgdd d gd!d d"gd!d d#gd!d d$gd!d d%gd!d gZd>d&Zd?d'Zd@d(ZdAd)ZdBd*ZefdCd+ZefdCd,ZefdCd-Zed.fdDd/Zed0f dDd1Zed2f dDd3ZdEd4ZdFd5ZdGd6ZdHd7ZdId8ZdJd9Z dJd:Z!efdKd;Z"dLd<Z#e$d=k(re#yy)MzSSummarize whether the current VM can run the EXE runtime trace needed for blockers.) annotationsN)Pathoutz&out/runtime_trace_execution_probe.json) canCaptureTraceNowblockersprobespromotionStatus proofFoundruntimeTraceExecutionProofFound"failedRuntimeTraceExecutionGateIdsmissingEvidence evidenceRefsevidenceRefCount)pathfieldsz out/runtime_memory_snapshot.json) loadedBaseHexmemoryr z!out/runtime_input_path_probe.json)heldKeyPressedDetectedbaselineSelectedPointerContextfinalSelectedPointerContextz#out/runtime_key_sequence_probe.json sequenceCountanyReachedRouteSelectorContextz+out/runtime_key_sequence_prelude_probe.jsonz&out/runtime_selected_pointer_poll.json) sampleCountobservedSelectorsrz.out/runtime_selected_pointer_prelude_poll.jsonz+out/runtime_selected_pointer_long_poll.jsonz+out/runtime_selected_pointer_late_poll.jsonz(out/runtime_route_watch_values_poll.json)robservedWatchValuesrz4out/runtime_selected_pointer_savedata_load_poll.jsonz>out/runtime_selected_pointer_multislot_savedata_load_poll.json)rpublicSaveSelectorsrzIout/runtime_selected_pointer_multislot_savedata_load_case_alias_poll.jsonzTout/runtime_selected_pointer_multislot_savedata_load_input_path_case_alias_poll.jsonzSout/runtime_selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.jsonzXout/runtime_selected_pointer_patched_public_selector_2_0_input_path_case_alias_poll.jsonz#out/runtime_save_file_io_probe.json)backendinputTraceUsableanySavedat1DatAccessz*out/runtime_save_file_io_strace_probe.jsonz1out/runtime_save_file_io_strace_attach_probe.jsonzAout/runtime_save_file_io_strace_attach_load_candidates_probe.jsonzLout/runtime_save_file_io_strace_attach_load_candidates_case_alias_probe.jsonchtDcgc]}t|dz jr| c}Scc}w)Nr)'RUNTIME_TRACE_FEASIBILITY_EVIDENCE_REFSROOTexists)refs @/home/exedev/hwanse/tools/summarize_runtime_trace_feasibility.pyexisting_evidence_refsr'6s9;   3v;  & & (   s#/c . tj|ttjtjddd}|j|jjfS#t tj f$r}dt|fcYd}~Sd}~wwxYw)NTreplace )cwdstdoutstderrtexterrorstimeout) subprocessrunr#PIPESTDOUTOSErrorSubprocessErrorstr returncoder,strip)cmdresultexcs r&run_textr>>s  ??$$    fmm113 33 Z// 0CH}srAr: startswithsplitrB)rGrHoutputrJrIlinestrippeds r& apt_candidaterQRs{Hg>?NFFII!!#:::<   | , sA.q1779I   | , sA.q1779I :"6*  rCcJtj|}|t||dS)N)command availabler)shutilwhichbool)rSrs r& command_inforXes' << D$Z rCc|dz }|jsy tj|jd}t |tr|SdS#ttj f$rYywxYw)Nz"runtime_trace_execution_probe.jsonutf-8encodingr$jsonloads read_textr6JSONDecodeError isinstancedictout_dirrdatas r&load_execution_probergnsl 9 9D ;;=zz$..'.:;dD)43t3 T)) *%AA-,A-c|dz }|jsy tj|jd}t |tr|SdS#ttj f$rYywxYw)Nzruntime_memory_snapshot.jsonrZr[r]rds r&load_memory_snapshotrjysl 3 3D ;;=zz$..'.:;dD)43t3 T)) *rhc|dz }|jsy tj|jd}t |tr|SdS#ttj f$rYywxYw)Nzruntime_input_path_probe.jsonrZr[r]rds r&load_input_proberlsl 4 4D ;;=zz$..'.:;dD)43t3 T)) *rhzruntime_key_sequence_probe.jsonc||z }|jsy tj|jd}t |tr|SdS#ttj f$rYywxYwNrZr[r]refilenamerrfs r&load_key_sequence_proberqsk X D ;;=zz$..'.:;dD)43t3 T)) *rhz"runtime_selected_pointer_poll.jsonc||z }|jsy tj|jd}t |tr|SdS#ttj f$rYywxYwrnr]ros r&load_selected_pointer_pollrsm X D ;;=zz$..'.:;dD)43t3 T)) *rhzruntime_save_file_io_probe.jsonc||z }|jsy tj|jd}t |tr|SdS#ttj f$rYywxYwrnr]ros r&load_save_file_io_probervrtrhc g}t|xsijdxsijD];\}}djd|xsgD}|j |d|xsd=dj|xsdS)Nr,c3K|]:}|jd'|jdd|jd<yw)valueHexNxcountget.0rows r& z&watch_value_summary..sF wwz".wwz"#1SWWW%5$6 7 sAA=-; )sortedr~itemsjoinappend)pollpartsnamerowsvaluess r&watch_value_summaryrs Etzr../DEKRRTU0 d zr    vQv}o./ 0 99U  "s"rCc r|xsijdxsg}t}d}d}d}d}|D]}|jdxsg}td|D} | r|dz }|td|Dz }d} |jdxsgD]9} | jd xsg} | sd } |dz }|j d | D;| s|dz }t |td |Dtd |Dtd|D||||t |t|xr|t |k(d S)Nrrwritesc3hK|]*}|jdxsijddu,yw)writewriteOkTNr}rrs r&rz6selected_pointer_poll_input_quality..s/aQVEIIg.4"99)DLas02rc3nK|]-}|jdxsijddus*d/yw)rrTrNr}rs r&rz6selected_pointer_poll_input_quality..s3!mEIIg.s&_&zRXZ]G^v&_sc3DK|]}|jdsdyw)linuxPidrNr}rs r&rz6selected_pointer_poll_input_quality..s#M#9LA#M  c3DK|]}|jdsdyw)rrNr}rs r&rz6selected_pointer_poll_input_quality..s*Y@X1*Yrc3DK|]}|jdsdyw)focusedWindowsrNr}rs r&rz6selected_pointer_poll_input_quality..s-]C377K[C\a-]r) rsequenceWithPidCountsequenceWithLoadedBaseCountsequenceWithFocusedWindowCountsequenceWithKeyWritesCountkeyWriteOkCount!sequenceWithObservedKeyPressCountpressedEventCountobservedPressedKeyOffsetsinputObservedInAllSequences)r~setanysumupdatelenrrW) rrpressed_offsetspressed_event_countsequence_with_observed_presskey_write_ok_countsequence_with_key_writesrr row_write_ok row_has_presseventoffsetss r&#selected_pointer_poll_input_qualityrsj JB  F # )rDeO#$  ."(baZ`aa  $ ) $c!m!mmm WWX&," `Eii 34:G $ #q(#&&&_G&__  `  (A - (. T ##M#M M'**Y*Y'Y*--]4-]*]&>--I0%+O%<'+Dz'_6RVYZ^V_6_  rCc|sydjd|jdxsgDxsd}d|jdd|jdd |jd d|jdd |jd d|jdd |jdd|jdd|jdd|S)Nrrxc32K|]}t|ywr)r8rs r&rz.s`vs6{`rzpid=r/rz base=rz keyWrites=rz pressedSeq=rz pressedEvents=rz offsets=rr~)qualityrs r&)selected_pointer_poll_input_quality_briefrs hh`=X1Y1_]_``gdgG w{{1231W[[5Q4RS 9:;1W[[=Y?q_A]@^_kk"EFGqUdIeHfg %89:)G9  NrCctd|z }|js|ddt|ddS|jdd}|dd |vt|t |dS) Nz/proc/sys/fs/binfmt_miscFr@)r registeredenabledrrKrZr))r\r/Tr)rr$r8r`rB)rrraws r& binfmt_statusrsr * +d 2D ;;=I    ..'). d?d@dAdBdCdDdEdAdFdCdGdHdAdIdCdJdKdAg}2gdL}3|xsijdMxsi}4|4jdNxsdO}5t!|4jdPxrd6|5v}6|jdP|jd6|jdQ|4jdP|6t|5|jd(|xsijd:|4jdPdRur|6t!|jd6k7rdSndTdU }7dO}8|r|jdVxsijdWra|jdVxsi}9dX|jdYdZ|9jd[xs|9jd\d]|9jd^d_}8dO}:|rd|jd`xsi};da|jdbdc|jddde|jdfdg|;jdhxsdidj }:dO}<|r9dk|jdldm|jdndo|jdpdj}|jdqxsgD]2}?|?jdrxsgD]}@|@|>vs|>j@4ds|jdldtduj#|>xsdidv|jdpdj}=dO}A|rdw|jdxdy|jdldz|jd{d|duj#|jd}xsgxsdidv|jdpd~|jddj }AdO}B|rd|jdxdy|jdldz|jd{d|duj#|jd}xsgxsdidv|jdpd~|jddj }BdO}C|rd|jdxdy|jdld|jd{d|duj#|jd}xsgxsdidv|jdpd~|jddj }CdO}D|rd|jdnd|jdxdy|jdldz|jd{d|duj#|jd}xsgxsdidv|jdpd~|jddj}DdO}E|rnd|jdxdy|jdldduj#|jd}xsgxsdidt%|dv|jdpdj }EdO}F|rd|jdxdy|jdldt'|$dduj#|jd}xsgxsdidv|jdpd~|jddj }FdO}G|rd|jdxdy|jdldt'|%dduj#|jdxsgxsdidduj#|jd}xsgxsdid|jddv|jdpdj}GdO}H| rd| jdxdy| jdldt'|&dduj#| jdxsgxsdidduj#| jd}xsgxsdid| jddv| jdpdj}HdO}I|!rd|!jdxdy|!jdldt'|'dduj#|!jdxsgxsdidduj#|!jd}xsgxsdid|!jddv|!jdpdj}IdO}J|"rd|"jdxdy|"jdldt'|(dduj#|"jdxsgxsdidduj#|"jd}xsgxsdid|"jddv|"jdpd}JdO}K|#rd|#jdxdy|#jdldt'|)dduj#|#jdxsgxsdidduj#|#jd}xsgxsdid|#jddv|#jdpd}KdO}L|*rd|*jdxsijdd|*jdd|*jdd|*jdd|*jdld|*jdd|*jdld|*jdd}LdO}M|+rd|+jdxsijdd|+jdd|+jdd|+jdd|+jdld|+jdd|+jdld|+jdd}MdO}N|,rd|,jdxsijdd|,jdd|,jdd|,jdd|,jdld|,jdd|,jdld|,jdd}NdO}O|-rd|-jdxsijdd|-jdd|-jdd|-jdd|-jdld|-jdd|-jdld|-jdd}OdO}P|.rd|.jdxsijdd|.jdd|.jdxsijd6d|.jdd|.jdd|.jdld|.jdd|.jdld|.jdd}P|/sd}Qn|r||jd:skt)d|jd<xsgD}Rd|Rrdndz|8z|:z|d|8z|:z||jdqxsgD]2}?|?jdrxsgD]}@|@|>vs|>j@4Sd|jdldduj#|>xsdid|jdpdٝz }S|reSd|jdxd|jdldduj#|jd}xsgxsdid|jdpdݝ z }S|reSd|jdxd|jdldduj#|jd}xsgxsdid|jdpdߝ z }S|reSd|jdxd|jdldduj#|jd}xsgxsdid|jdpdߝ z }S|rwSd|jdnd|jdxd|jdldduj#|jd}xsgxsdid|jdpdߝ z }S|rqSd|jdxd|jdldduj#|jd}xsgxsdidt%|d|jdpdߝ z }S|rqSd|jdxd|jdldt'|$dduj#|jd}xsgxsdid|jdpd z }S|rSd|jdxd|jdldt'|%dduj#|jdxsgxsdidduj#|jd}xsgxsdid|jdd|jdpdz }S| rSd| jdxd| jdldt'|&dduj#| jdxsgxsdidduj#| jd}xsgxsdid| jdd| jdpdz }S|!rSd|!jdxd|!jdldt'|'dduj#|!jdxsgxsdidduj#|!jd}xsgxsdid|!jdd|!jdpdz }S|"rSd|"jdxd|"jdldt'|(dduj#|"jdxsgxsdidduj#|"jd}xsgxsdid|"jdd|"jdpdz }S|#rSd|#jdxd|#jdldt'|)dduj#|#jdxsgxsdidduj#|#jd}xsgxsdid|#jdd|#jdpdz }S|*rSd|*jdd|*jdxsijdd|*jdd|*jdd|*jdld|*jdd|*jdldz }S|+rSd|+jdd|+jdxsijdd|+jdd|+jdd|+jdld|+jdd|+jdldz }S|,rSd|,jdd|,jdxsijdd|,jdd|,jdd|,jdld|,jdd|,jdld|,jdd|,jddz }S|-rSd|-jdd|-jdxsijdd|-jdd|-jdd|-jdld|-jdd|-jdld|-jdd|-jddz }S|.rSd|.jdd|.jdxsijdd|.jdd|.jdd|.jdld|.jdd|.jdld|.jdd|.jddz }Sg}T|1dRurTjd|xsijd:dRurTjdTjdgd}Ut+}Vidd d d d |Td |Ud|Vdt-|Vd|1d<|0d|d| d|d|dM|d|7d|d|r|jngd||||| did|d|d|d|d|d|d |d!|d"|d#|d$|d%|$d&|d'|%d(| d)|&d*|!|'|"|(|#|)|*|+|,|-|.|2|3|1sd+nd,SQd-Scc}w(.N) winewinedbgwinebootgdb gdb-multiarchXvfbxvfb-runxdotoolxwininfo qemu-i386stracedpkgz--print-architecturez--print-foreign-architectureswine32 wine64-toolsrqemu-user-binfmtr --versionzwine --versionr)rSrH firstLineok)r/usr/lib/wine/winer&qemu-i386 /usr/lib/wine/wine --version)envzWINEDEBUG=-allrrr;z/cver:env WINEDEBUG=-all qemu-i386 /usr/lib/wine/wine cmd /c verrz'runtime_key_sequence_prelude_probe.json)rpz*runtime_selected_pointer_prelude_poll.jsonz'runtime_selected_pointer_long_poll.jsonz'runtime_selected_pointer_late_poll.jsonz$runtime_route_watch_values_poll.jsonz0runtime_selected_pointer_savedata_load_poll.jsonz:runtime_selected_pointer_multislot_savedata_load_poll.jsonzEruntime_selected_pointer_multislot_savedata_load_case_alias_poll.jsonzPruntime_selected_pointer_multislot_savedata_load_input_path_case_alias_poll.jsonzOruntime_selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.jsonzTruntime_selected_pointer_patched_public_selector_2_0_input_path_case_alias_poll.jsonz&runtime_save_file_io_strace_probe.jsonz-runtime_save_file_io_strace_attach_probe.jsonz=runtime_save_file_io_strace_attach_load_candidates_probe.jsonzHruntime_save_file_io_strace_attach_load_candidates_case_alias_probe.jsonrTrrrrrzwine is not installedzwinedbg is not installedzwineboot is not installedzgdb is not installedz>xvfb-run/Xvfb is not installed for headless DirectDraw startupi386zTi386 architecture is not enabled, so wine32 is unavailable from the current apt viewrJ>N(none)z@wine32 has no candidate package in the current apt configurationzwine --version failed: rz no outputrzidirect qemu-i386 can start the Wine loader, but Wine child-process loader exec still fails without binfmtzGdirect qemu-i386 Wine cmd child smoke failed despite qemu-i386 binfmt: zYqemu-i386 is installed but qemu-i386 binfmt is not enabled for transparent i386 Wine execrc3&K|] }d| yw)zexecution probe: Nritems r&rz build_summary..set+D62erzmode1 source write watchpointzwatch-write-byte 0x0059e348zUbreak on any runtime producer of opcode 0x24 mode1 source before the handler reads it)rkind addressHexpurposezopcode24 mode1 readzexecute-breakpoint 0x0040c675zNconfirm the value consumed by opcode 0x24 mode1 on the map1_01a->map2_02d pathzcurrent blocker frontier reader 0x00542b0czTconfirm the control path reaches the branch reader and capture selectionBuffer[0x20]zgate-time context base proof 0x005428c4zHcapture context+0xa8 base and gate index before the first inherited gate)z8sudo dpkg --add-architecture i386 && sudo apt-get updatezBsudo apt-get install wine32 wine64-tools xvfb gdb qemu-user-binfmtz"sudo apt-get install gdb-multiarchzUif native i386 exec is unavailable, register qemu-i386 binfmt for EM_386 ELF binarieszxvfb-run -a wineboot -uz.python3 tools/probe_runtime_trace_execution.pyz4WINEDEBUG=-all xvfb-run -a winedbg --gdb Hwanse2.exezkgdb -q -ex 'target remote :' -ex 'watch *(unsigned char*)0x0059e348' -ex 'hbreak *0x0040c675'z.python3 tools/probe_runtime_memory_snapshot.pyz)python3 tools/probe_runtime_input_path.pyz,python3 tools/probe_runtime_key_sequences.pyz4python3 tools/probe_runtime_selected_pointer_poll.pyzpython3 tools/probe_runtime_selected_pointer_poll.py --prelude input-path --sequence-name accept --sequence-name accept-accept --sequence-name accept-down-accept --output-prefix runtime_selected_pointer_prelude_polla(python3 tools/probe_runtime_selected_pointer_poll.py --startup-wait 45 --output-prefix runtime_selected_pointer_late_poll --sequence 'late-menu-explore=Return,Return,z,Return,Down,Return,Down,Return,Up,Return,Escape,Return,space,Return,x,Return,c,Return,Right,Return,Left,Return,Down,Down,Return'aKpython3 tools/probe_runtime_selected_pointer_poll.py --startup-wait 45 --hold 0.35 --gap 0.5 --interval 0.02 --output-prefix runtime_route_watch_values_poll --sequence 'late-menu-explore=Return,Return,z,Return,Down,Return,Down,Return,Up,Return,Escape,Return,space,Return,x,Return,c,Return,Right,Return,Left,Return,Down,Down,Return'zplace a non-synthetic savedat under SaveData\savedat1.dat, then run python3 tools/probe_runtime_selected_pointer_poll.py --startup-wait 18 --output-prefix runtime_selected_pointer_savedata_load_poll with load-menu candidate sequenceszGpython3 tools/probe_runtime_selected_pointer_multislot_savedata_poll.pyzpython3 tools/probe_runtime_selected_pointer_multislot_savedata_poll.py --case-aliases --output-prefix runtime_selected_pointer_multislot_savedata_load_case_alias_pollzpython3 tools/probe_runtime_selected_pointer_multislot_savedata_poll.py --prelude input-path --case-aliases --output-prefix runtime_selected_pointer_multislot_savedata_load_input_path_case_alias_pollapython3 tools/probe_runtime_selected_pointer_multislot_savedata_poll.py --prelude input-path --case-aliases --staged-kind 'patched public-base diagnostic' --slot-source 1=out/runtime_patched_public_savedat_selector_2_0.dat --sequence input-path-slot1-down-enter=Down,Return --sequence input-path-slot1-down-enter-enter=Down,Return,Return --output-prefix runtime_selected_pointer_patched_public_selector_2_0_input_path_case_alias_pollzpython3 tools/probe_runtime_save_file_io.py --backend strace --sequence load-down-enter=Down,Return --output-prefix runtime_save_file_io_strace_probezpython3 tools/probe_runtime_save_file_io.py --backend strace-attach --sequence load-down-enter=Down,Return --output-prefix runtime_save_file_io_strace_attach_probeapython3 tools/probe_runtime_save_file_io.py --backend strace-attach --output-prefix runtime_save_file_io_strace_attach_load_candidates_probe --sequence load-down-enter=Down,Return --sequence load-down-z=Down,z --sequence load-down-space=Down,space --sequence load-down-x=Down,x --sequence load-return-down-z=Return,Down,z --sequence load-return-down-space=Return,Down,space --sequence load-return-down-x=Return,Down,x --sequence load-down-enter-enter=Down,Return,Returnapython3 tools/probe_runtime_save_file_io.py --backend strace-attach --case-aliases --output-prefix runtime_save_file_io_strace_attach_load_candidates_case_alias_probe --sequence load-down-enter=Down,Return --sequence load-down-z=Down,z --sequence load-down-space=Down,space --sequence load-down-x=Down,x --sequence load-return-down-z=Return,Down,z --sequence load-return-down-space=Return,Down,space --sequence load-return-down-x=Return,Down,x --sequence load-down-enter-enter=Down,Return,ReturnrrqemuI386Binfmtrr@rrKTzThe current summary /proc view and the embedded execution probe disagree about qemu-i386 binfmt state, but both paths still leave the child/debugger trace unavailable.zZThe qemu-i386 binfmt state is consistent with the child/debugger trace availability check.) summaryRegisteredsummaryEnabledsummaryRawFirstLineexecutionProbeRegisteredexecutionProbeEnabledexecutionProbeRawFirstLineqemuWineChildExecOkdebuggerProbeCanCapture conclusionrcanReadProcessMemoryzV A /proc process-memory snapshot can read the relocated Hwanse2.exe image (loadedBase=rz, selectedPointer=selectedPointerStaticValueHexselectedPointerRuntimeValueHexz, currentRootSelected= selectedPointerEqualsCurrentRootzA), but it is an idle sample, not a watchpoint/control-flow trace.rzy A bounded input probe found Hwanse2.exe windows and readable input memory, held X keydown reached the DirectInput cache=rz6, synthetic X key events changed the selected pointer=xEventChangedSelectedPointerz), and cached-key-buffer pokes changed it=#keyBufferPokeChangedSelectedPointerz to selector context selectorr.z$ A bounded key-sequence probe tried rz2 direct key-buffer sequence(s) after startup wait startupWaitSecondszs; route selector 2:0 reached=r sequencesuniqueSelectorContextsz< A supplemental input-path prelude key-sequence probe tried z! sequence(s); observed selectors=rxz, route selector 2:0 reached=z. A non-debugger selected-pointer poll sampled rz state(s) across z key-buffer sequence(s) at pollIntervalSecondsz s intervals; observed selectors=rz, current root reached=anyReachedCurrentRootz9 A supplemental input-path selected-pointer poll sampled z3 A supplemental long selected-pointer poll sampled z" custom key-buffer sequence(s) at z8 A supplemental late-start selected-pointer poll waited zs before input and sampled z/ A supplemental route watch-value poll sampled z, key-buffer sequence(s); observed selectors=z, watchValues=zz A supplemental SaveData-load selected-pointer poll placed a public captured save under SaveData\savedat1.dat and sampled z0 load-menu candidate sequence(s); input quality=z; observed selectors=z A supplemental multislot SaveData-load selected-pointer poll staged public captured saves under SaveData\savedat1.dat..savedat3.dat and sampled z; public selectors=rz, observed selectors=z , observed public save selector=anyReachedPublicSaveSelectorz A supplemental case-alias multislot SaveData-load selected-pointer poll staged public captured saves under SaveData\savedat1.dat..savedat3.dat while temporarily aliasing original archive case names, and sampled z A supplemental input-path case-alias multislot SaveData-load selected-pointer poll staged public captured saves under SaveData\savedat1.dat..savedat3.dat, ran the input-path prelude, and sampled z A supplemental standalone synthetic selector 2:0 poll staged a save-shaped file under SaveData\savedat1.dat, ran the input-path prelude with case aliases, and sampled z; staged selectors=z, observed staged selector=zp. This leaves the standalone synthetic file non-promoting and contrasts with the patched public-base diagnostic.z A supplemental patched public-base selector 2:0 diagnostic poll staged a public save with only selector/position bytes patched under SaveData\savedat1.dat, ran the input-path prelude with case aliases, and sampled zz. This proves the current load path can select a constructed 2:0 save-shaped diagnostic, but not a captured gameplay save.zP A supplemental SaveData file-I/O trace probe placed the same public save under temporarySavetargetz with backend=rz; inputTraceUsable=rz , pidRuns=rrz, keyWriteRuns=rz, savedat1Access=r z,. This is backend-feasibility evidence only.zQ A supplemental strace SaveData file-I/O probe placed the same public save under zZ A supplemental attached strace SaveData file-I/O probe placed the same public save under z}. This makes the bounded file-I/O window usable, but absent savedat lines still only cover that load-menu candidate sequence.zU A broader attached strace SaveData file-I/O probe placed the same public save under z. This makes all covered load-menu candidate file-I/O windows usable, but it still only rules out savedat access for those bounded inputs.zX A case-alias attached strace SaveData file-I/O probe placed the same public save under z; caseAliases= caseAliasesz, inputTraceUsable=zq. The aliases reduce resource lookup trace noise, but no savedat access was observed in the same bounded windows.a The current exe.dev VM cannot run the required Hwanse2.exe runtime producer trace yet because one or more Wine/debugger/headless prerequisites still fail. The exact watchpoints and breakpoints are recorded so the trace can be retried after the environment is fixed.c3$K|]}d|v ywnotepadNrrs r&rz build_summary..s"g9#4"gzWine, winedbg, Xvfb, gdb, and i386 package prerequisites are installed, but the bounded execution probe still fails before a stable route trace can be captured. zThe notepad control probes fail too, so this is a qemu-i386/WineDbg debugger-path issue rather than Hwanse-specific route proof.zNTreat the blocker as a runtime execution/debugger failure, not as route proof.zThe required Wine/winedbg/Xvfb commands appear available; run the recorded watchpoint plan before promoting map1_01a->map2_02d.c3$K|]}d|v ywr rrs r&rz build_summary..6sW9$Wr aThe current VM has Wine tooling installed, but qemu-i386/WineDbg control probes fail even for notepad, so the Hwanse2.exe runtime trace cannot be captured here yet. A non-debugger /proc memory snapshot can read Hwanse2.exe globals, but the latest idle sample is not route-path proof.zThe current VM has Wine tooling installed, but qemu-i386/WineDbg control probes fail even for notepad, so the Hwanse2.exe runtime trace cannot be captured here yet.zThe current VM has Wine tooling installed, but the Hwanse2.exe/winedbg execution probe still fails before the runtime trace can be captured.zEThe current VM cannot run the required Hwanse2.exe runtime trace yet.zTThe runtime trace environment is available, but the trace has not been captured yet.z1 Direct qemu-i386 can run the Wine loader smoke (z), but CLI child exec smoke ok=rz$transparent binfmt is still requiredz)the child smoke still needs investigationrz2 Embedded execution-probe binfmt view: registered=z , enabled=rz; summary view enabled=rz. rz6 Direct qemu-i386 can run both the Wine loader smoke (z) and CLI child exec smoke (z;); the remaining blocker is the WineDbg/runtime trace path.z A bounded X/input-buffer probe confirms Wine DirectInput can see held synthetic keydowns, but ordinary X key events did not move the idle selected pointer. zUDirect cached-key-buffer pokes moved the selected pointer only to non-route selector z, not current selector 2:0. z=This remains input-path diagnostic evidence, not route proof.z4 A bounded direct key-buffer sequence probe covered z sequence(s) after z.s startup wait and reached route selector 2:0=z/; it remains non-promoting diagnostic evidence.z< A supplemental input-path prelude key-buffer probe covered z! sequence(s), observed selectors=z!, and reached route selector 2:0=z; it is diagnostic-only.z. A non-debugger selected-pointer poll covered z sample(s) across z3 direct key-buffer sequence(s), observed selectors=z/; it still does not replace a watchpoint trace.z9 A supplemental input-path selected-pointer poll covered z; it is also diagnostic-only.z3 A supplemental long selected-pointer poll covered z3 custom key-buffer sequence(s), observed selectors=z s, covered z, key-buffer sequence(s), observed selectors=z/ A supplemental route watch-value poll covered zi A supplemental SaveData-load poll placed a public captured save under SaveData\savedat1.dat and covered z/ load-menu candidate sequence(s), inputQuality=z/; it did not prove the original load-menu path.z A supplemental multislot SaveData-load poll staged public captured saves under SaveData\savedat1.dat..savedat3.dat and covered z, publicSelectors=z, observedPublic=z A supplemental case-alias multislot SaveData-load poll staged public captured saves under SaveData\savedat1.dat..savedat3.dat and temporarily aliased original resource archive case names; it covered zD; aliases did not make the public saves or route selector reachable.z A supplemental input-path case-alias multislot SaveData-load poll staged public captured saves under SaveData\savedat1.dat..savedat3.dat, ran the input-path prelude, and covered zN; this remains non-route load-path evidence, not current route selector proof.z A supplemental standalone synthetic selector 2:0 poll staged a save-shaped file under SaveData\savedat1.dat, ran the input-path prelude with case aliases, and covered z, stagedSelectors=z, observedStaged=z=; this keeps standalone synthetic selector 2:0 non-promoting.z A supplemental patched public-base selector 2:0 diagnostic poll staged a public save with only selector/position bytes patched under SaveData\savedat1.dat, ran the input-path prelude with case aliases, and covered zx; this proves the load path can select a constructed 2:0 save-shaped diagnostic, but it is not a captured gameplay save.z/ A supplemental SaveData file-I/O trace probe (z) placed a public save under z but inputTraceUsable=z (pidRuns=zQ); absent savedat lines remain backend-feasibility evidence, not load-menu proof.z8 A supplemental attached SaveData file-I/O trace probe (z and had inputTraceUsable=z, matchedFileIoLines=matchedLineCountz|); this rules out savedat file access only for the bounded attached load-menu candidate window, not the full load-menu path.z3 A broader attached SaveData file-I/O trace probe (zz); this rules out savedat file access across the covered bounded load-menu candidate windows, not the full load-menu path.z6 A case-alias attached SaveData file-I/O trace probe (zB with temporary resource archive aliases and had inputTraceUsable=zZ); aliases reduce archive lookup noise but still do not prove full load-menu reachability.z!runtime-trace-capture-unavailablez%stable-watchpoint-session-unavailablez&equivalent-selected-root-proof-missing)z4stable runtime trace capture session for Hwanse2.exezYwatchpoint or breakpoint path that observes selected pointer 0x0059de30 on the route pathzEequivalent selected-root proof if runtime tracing remains unavailable objectivez=runtime trace feasibility for Hwanse2.exe route blocker proofr FfailedRuntimeTraceGateIdsrrrcanRunRuntimeTraceNowcommandswineLoaderSmokeqemuWineLoaderSmokeqemuWineChildExecSmokebinfmtConsistencydpkgArchitecturedpkgForeignArchitectures aptPackages)rrrrrexecutionProbememorySnapshot inputProbekeySequenceProbekeySequencePreludeProbeselectedPointerPollselectedPointerPreludePollselectedPointerLongPollselectedPointerLatePollrouteWatchValuesPollselectedPointerSavedataLoadPoll'selectedPointerSavedataLoadInputQuality(selectedPointerMultislotSavedataLoadPoll0selectedPointerMultislotSavedataLoadInputQuality1selectedPointerMultislotSavedataLoadCaseAliasPoll9selectedPointerMultislotSavedataLoadCaseAliasInputQuality:selectedPointerMultislotSavedataLoadInputPathCaseAliasPollblockedztrace-required)BselectedPointerMultislotSavedataLoadInputPathCaseAliasInputQuality8selectedPointerSyntheticSelector20InputPathCaseAliasPoll@selectedPointerSyntheticSelector20InputPathCaseAliasInputQualityrQrBrrgrjrlrqrsrrvrrMr~extendrWrrrrr'r)Wrr_archforeign_archesr wine64_tools wine_metaqemu_user_binfmt gdb_multiarchwine_version_statuswine_version_outputwine_loader_smokeqemu_wine_statusqemu_wine_outputqemu_wine_loader_smokeqemu_child_statusqemu_child_outputqemu_wine_child_exec_smokeqemu_i386_binfmtexecution_probememory_snapshot input_probekey_sequence_probekey_sequence_prelude_probeselected_pointer_pollselected_pointer_prelude_pollselected_pointer_long_pollselected_pointer_late_pollroute_watch_values_poll#selected_pointer_savedata_load_poll-selected_pointer_multislot_savedata_load_poll8selected_pointer_multislot_savedata_load_case_alias_pollCselected_pointer_multislot_savedata_load_input_path_case_alias_pollBselected_pointer_synthetic_selector_2_0_input_path_case_alias_pollGselected_pointer_patched_public_selector_2_0_input_path_case_alias_poll,selected_pointer_savedata_load_input_quality6selected_pointer_multislot_savedata_load_input_qualityAselected_pointer_multislot_savedata_load_case_alias_input_qualityLselected_pointer_multislot_savedata_load_input_path_case_alias_input_qualityKselected_pointer_synthetic_selector_2_0_input_path_case_alias_input_qualityPselected_pointer_patched_public_selector_2_0_input_path_case_alias_input_qualitysave_file_io_probesave_file_io_strace_probe save_file_io_strace_attach_probe0save_file_io_strace_attach_load_candidates_probe;save_file_io_strace_attach_load_candidates_case_alias_probebase_environment_readyr can_run_now trace_pointscommands_to_tryexecution_probe_binfmtexecution_probe_binfmt_rawexecution_probe_binfmt_enabledbinfmt_consistency snapshot_noter input_note final_contextkey_sequence_notekey_sequence_prelude_noteobservedrrselected_pointer_poll_note"selected_pointer_prelude_poll_noteselected_pointer_long_poll_noteselected_pointer_late_poll_noteroute_watch_values_poll_note(selected_pointer_savedata_load_poll_note2selected_pointer_multislot_savedata_load_poll_note=selected_pointer_multislot_savedata_load_case_alias_poll_noteHselected_pointer_multislot_savedata_load_input_path_case_alias_poll_noteGselected_pointer_synthetic_selector_2_0_input_path_case_alias_poll_noteLselected_pointer_patched_public_selector_2_0_input_path_case_alias_poll_notesave_file_io_probe_notesave_file_io_strace_probe_note%save_file_io_strace_attach_probe_note5save_file_io_strace_attach_load_candidates_probe_note@save_file_io_strace_attach_load_candidates_case_alias_probe_notercontrol_probe_failed audit_gapfailed_runtime_trace_gate_idsmissing_evidence evidence_refssW r& build_summaryrs*    l4  H  678GAt &*I!JKA~ 8 $F 0Lf%I$%78!/2M/78M/N,,#% 34!Q&  *22b)c&&;" 01!#  ,45,((P# 121$ " %[1*,O*,O"$K02!8Bk!l68$>Ht$u!!;En!o!;En!o8Bhi*DC+'5OM51@ZX@<KecKGJdbJFOigOK4W+40>a5>:Il@IETwKTPSvJSO ,,stU12 7Ai j'>@($8OP84CZ[C? % $ Y  , $ Z  - $ UOK ( $ Z  -  $ d # H F K (/0 I { +23 J  ,34 E?; './ J  ,XY n**,BGno zz+"22Z[ T "12CK2P2_T_1`abd#,Ft,L * OO{  OOY-k:IkJL  [)2B92MVghlVmst223GHe?R?RS]?^?dbdee(9\K4&&n  *(&g  6(&m  3(&a  'L4O8.3889IJPb!7!;!;E!B!Hb%)*@*D*D\*R%S&//#.11,?*..y9/33NC$:$>$>|$L!?&01K&L9==dC$3$9r#>#>?S#T&)),74?.$7G7K7KI7V2WW ]n"MO//9?RDDE[\ $$X.4" *..?@A%zz*IJzfjjYyNz{|##)::.P#Q"RSM M J#(EFL"  <D" .CGG$<=C .8+OOH- . . K)--o>?@""%((8"4";!<=**D*H*HIi*j)kkl n " "$ <$((788I$((9::U$(()>?@A""%((+@+D+DEX+Y+_]_"`"gdg!hi**?*C*CDd*e)fg$$9$=$=>U$V#WWX  Z #*,&$ G,00?@@Q,00ABB],001FGHI""%((+H+L+LM`+a+geg"h"olo!pq**G*K*KLl*m)no$$A$E$EF]$^#__`  b +')#! A)--m<==N)--o>??a)--.CDEF""%((+E+I+IJ]+^+dbd"e"lil!mn**D*H*HIi*j)kl$$>$B$BCZ$[#\\]  _ (')#! F)--.BCDD_)--m<==N)--o>??Z)--.CDEF""%((+E+I+IJ]+^+dbd"e"lil!mn**D*H*HIi*j)kl$$>$B$BCZ$[#\\] _ ($&  =&**=9::K&**?;<=""%((+B+F+FGZ+[+a_a"b"ifi!jk./FGHI**A*E*EFf*g)hhi  k %02,* 2266}EFFW266GHI89efgh""%((+N+R+RSf+g+mkm"n"uru!vw**M*Q*QRr*s)tu$$G$K$KLc$d#eef h 1:<64 @<@@OPPa<@@QRS89opqr xxEIIJ_`fdfgnknop""%((+X+\+\]p+q+wuw"x"|"AA-<@@A_`ab**W*[*[\|*})~~ A ;EGA? xGKKMZ[[lGKKO\]^89z{|} xxPTTUjkqoqryvyz{"xxPTTUhiomopwtwxy-GKKLjklm**b*f*fhH+I*JJK L FPRLJ iRVVWdeffwRVVWfghi8:FGHH xx[__`uv|z|}EBEFF"xx[__`stzxz{C@CDD-RVVWuvwx**m*q*qsS+T*UUV W QOQKI aQUUVcdeevQUUVefgh8:EFGG xxZ^^_tu{y{|DADEE"xxZ^^_rsywyzBBCC(QUUVtuvw**l*p*prR+S*TT} } P TVPN GVZZ[hijj{VZZ[jklm8:JKLL xx_ccdyzAABIFIJJ"xx_ccdwx~|~GDGHH(VZZ[yz{|**q*u*uwW+X*YYG G U ! ^"&&7=2BB8LM^!%%i011DEWE[E[\nEoDpq)--.DEFaHZH^H^_nHoGpq.223OPQQRSeSiSijySzR{|0445KLMMy  { &(" _)--o>D"II(STTb(,,Y788K(,,-?@AB0445KLMQ(,,_=>o(,,-IJK1(,,_=>?7;;??R/334FGHI7;;BBCYZ[\J J .=?97 c@DD_U[Y[``aijkky?CCINOOb?CCDVWXYGKKLbcdde?CCOTUUd?CCD`abbc?CCOTUVNRRSijklW W >HJDB fKOOP_`fdfkkltuvwEJNNyYZZhKOOP]^dbdiijstuv [ _ _`r stuRVVWmnoopJNN_``oJNNOklmmnJNN_`aY]]^tuvw~ ~ I " c  !4!45I!J""gATATU_A`Afdf"gg X(Se      ( () )1 1. .. .+ + 7! 7"A# A$L% L&W' W(V) V*[+ [,&- &.-/ -041 42D3 D4O5 O > 3    (  ( )  )1 1. .. .+ +7 7A AL LW WV V [! ["&# &$-% -&4' 4(D) D*O+ O F ?#6#67K#LW1D1DZ1P1VTVWW#(;(;H(E(K'P'PQg'hI|`U c d#,Ft,L?@VWb@c?de++Ed+K*LB=Mi=X5_JKKL M 89TA ,001KLMN)--.EFGH$$6$:$:;K$L#MR!%%l34  6 d#(B4(HDE[\gEhDij))CK)P(QRM N {'?@DH Q $(EFL" ??@ AT I g $$Z07C88TV I TT BCUCYCYZiCjBkl'++,@ABBp!%%&FGHHw y "-11+>D" .CGG$<=C .8+OOH- . . JKeKiKijyKzJ{|""%((8"4";!<<])--.NOPPh j <=R=V=VWd=e??kxx2667JKQrRYVYZZ{)--.NOPPm  o =>U>Y>YZg>h=ij-11/BCCoxx/334GHNBOVSVWWe"#:;<<]&**+KLMMj  l +x266}EFFX266GHHw89efgg|xx;??@STZXZ[b_bcdE2667WXYZI  J 5P<@@OPPb<@@QRSB89opqrDxxEIIJ_`fdfgnknopExxEIIJ]^dbdelilmm~<@@A_`abC<@@AabcdS T @ }GKKMZ[[mGKKO\]^M89z{|}OxxPTTUjkqoqryvyz{PxxPTTUhiomopwtwxyJGKKLjklmNGKKLlmnos t K ]RVVWdeffxRVVWfghiX8:FGHHZxx[__`uv|z|}EBEFF[xx[__`stzxz{C@CDDURVVWuvwxYRVVWwxyzH I J IQUUVcdeewQUUVefghW8:EFGGYxxZ^^_tu{y{|DADEEZxxZ^^_rsywyzBBCCTQUUVtuvwXQUUVvwxyv w O gVZZ[hijj|VZZ[jklm\8:JKLL^xx_ccdyzAABIFIJJ_xx_ccdwx~|~GDGHHYVZZ[yz{|]VZZ[{|}~v w =>P>T>TU^>_=`a-11/BHbMMhWXXn!%%&89:*EWE[E[\rEsDttu!%%o67GYG]G]^zG{F||}!%%o678I  J !=>W>[>[\e>f=gh488IORTTU]^__u(,,-?@A(,,-CDEQ(,,_=>o(,,-IJK1(,,_=>?P  Q (FGgGkGkluGvFwx;??PVTV[[\defgA/334FGH /334JKLA/33ODE_/334PQRRS/33ODEEZ/334FGHHY/334JKLMI J 8ABrBvBvxACBBCCKOOP_`fdfkkltuvwQ?CCDVWXXb?CCDZ[\\]?CCOTUUd?CCD`abbc?CCOTUUj?CCDVWXXi?CCDZ[\]W X CDFAFEFEFOFPEQQVZZ[jkqoqvvwABBDJNNOabccmJNNOefgghJNN_``oJNNOklmmnJNN_``uJNNOabcctJNNOefghB C %'!$%,,-PQ2""#78D%,,-TU!(()QR +,M8 T8 e8  $%B8  + 8   8  C . 8  8  H8  H8  ,8  58  !"<8  *8  /8  D8  #nN$8$8$:RT!8 " ( 0*  #8 0 /18 2 /38 4 k58 6 .78 8 "#=98 : 4;8 < %&C=8 > "#=?8 @ "#=A8 B  7C8 D *+NE8 F 23_G8 H 34aI8 J ;y#(,79=M o8 8csAx<c\2ddd|dd|dddj|jd xsgxsd d d t|jd xsgd|jdd|dd|dd ddj|dxsd d d|ddxsdd d|ddxsdd d|ddxsdd d|dd xsd d d!|jd"ijd#d$|jd"ijd%d d&|d'd d|d(dd)dg|jd xsgDcgc]}d*| c}dd+d}|jd,|jd-xsgD|jgd.|d/j D]6}|j d0|d1d2|d3d4|jd5xsd d68|jgd7|d8j D]F}|j d0|d9d:|jd;xsd d:|jd<xsd d6H|jdd=dd>d?d0|dd1d2|dd@d4|ddxsd d6d0|dd1d2|dd@d4|ddxsd d6g|jdArZ|dA}|jddBddC|jdDdEdg|jdF|jdGxsdHgD|jdIr|dI}|jdJxsi}|jddKddL|jdMdN|jdOxsd d dP|jdQxsd d dR|jdSdT|jdUdVdg |jdWr_|dW}|jdXxsi}|jdYxsi}|jddZdd[|jd\xsd d dN|jdOxsd d d]|jd^xsd d d_|jd`xsijdaxsd d db|jdcxsd d dd|jdcxsd d de|jdfxsijdaxsd d dg|jdhdi|jdjdk|jdldm|jdndodg|jdprh|dp}|jddqddr|jdsdt|jdud dv|jdwdx|jdydzdg |jd{r|d{}g} |jd|xsgD]2}|jd}xsgD]} | | vs| j | 4|jdd~ddr|jdsd|jdxsd d ddj| xsd d dv|jdwdx|jdyddg |jdr|d}|jddddr|jdsd|jdd|jdd ddj|jdxsgxsd d dv|jdwdx|jdyddg |jdr|d}|jddddr|jdsd|jdd|jdxsd d d|jdd ddj|jdxsgxsd d dv|jdwdx|jdyddg |jdr|d}|jddddr|jdsd|jdd|jdxsd d d|jdd ddj|jdxsgxsd d dv|jdwdx|jdyddg |jdr|d}|jddddr|jdsd|jddt|jdud d|jdxsd d d|jdd ddj|jdxsgxsd d dv|jdwdx|jdyddg |jdr|d}|jdxsi} |jddddr|jdsd|jddt|jdud d|jdxsd d d|jdd dt | d ddj|jdxsgxsd d dv|jdwdx|jdyddg|jdr^|d}|jdxsi} |jddddr|jdsd|jddt|jdud d|jdxsd d d|jdd dt | d ddj|jdxsgxsd d ddj|jdxsgxsd d ddj|jdxsgxsd d d|jddv|jdwdx|jdyddg|jdr|d}|jdxsi} |jddddr|jdsd|jddt|jdud d|jdxsd d d|jdd d|jdxsijdddj|jdxsijdxsgxsd dt | d ddj|jdxsgxsd d ddj|jdxsgxsd d ddj|jdxsgxsd d d|jddv|jdwdx|jdyddg|jdr|d}|jdxsi} |jddddr|jdsd|jddt|jdud d|jdxsd d d|jdd d|jdxsijdddj|jdxsijdxsgxsd dt | d ddj|jdxsgxsd d ddj|jdxsgxsd d ddj|jdxsgxsd d d|jddv|jdwdx|jdyddg|jdr|d}|jdxsi} |jddddr|jdsd|jddt|jdud d|jdxsd d d|jdd d|jdxsijdddj|jdxsijdxsgxsd dt | d ddj|jdxsgxsd d ddj|jdxsgxsd d ddj|jdxsgxsd d d|jddv|jdwdx|jdydddg|jdr|d}|jdxsi} |jdddd|jdxsd d dr|jdsd|jddt|jdud d|jdxsd d d|jdd d|jdxsijdddj|jdxsijdxsgxsd dt | d ddj|jdxsgxsd d ddj|jdxsgxsd d ddj|jdxsgxsd d d|jddv|jdwdx|jdydddg|jdr|d}|jd«xsi} |jdddd|jdūd d| jdǫd dr|jdsd|jdɫd|jd˫d|jdͫd|jdϫd|jdѫddg |jdӫr|d}|jd«xsi} |jdddd|jdūd d| jdǫd dr|jdsd|jdɫd|jd˫d|jdͫd|jdϫd|jdѫddg |jd֫r|d}|jd«xsi} |jdddd|jdūd d| jdǫd dr|jdsd|jdɫd|jd˫d|jdͫd|jdϫd|jdѫddg |jd٫r|d}|jd«xsi} |jdddd|jdūd d| jdǫd dr|jdsd|jdɫd|jd˫d|jdͫd|jdϫd|jdѫddg |jdܫr,|d}|jd«xsi} |jdddd|jdūd d| jdǫd d|jdxsijdddj|jdxsijdxsgxsd dr|jdsd|jdɫd|jd˫d|jdͫd|jdϫd|jdѫddg|jgdߢ|jd|dGD|dGs|j d|jgd|dD],}|j d|dd4|dd:|dd2|dd .|jgd|jdt|ddD|j ddj|Scc}w)Nz# Runtime Trace Feasibilityr@z - objective: rz- proof found: r z- failed runtime trace gates: `, rr`z- missing evidence count: rz- evidence refs: rz- can run runtime trace now: rz- dpkg architecture: `rz- foreign architectures: `rz- wine loader smoke: `rrfailedz- qemu wine loader smoke: `rz- qemu wine child exec smoke: `rz- qemu-i386 binfmt: `rrKz'- binfmt consistency: summary enabled `rrz`, execution probe enabled `rz- promotion status: `r rz## Missing Evidence- z## Evidence Refsc 3xK|]2}d|dddj|jdxsgd4yw)z- `rz`: `rrrNrrs r&rzmarkdown..rsC  c&k]$tyy):)@bAB!Ds8:r)r@z## Tool Availabilityr@z| command | available | path || --- | --- | --- |rz| `rSz` | rTz | `rz` |)r@z## Apt Packagesr@z#| package | installed | candidate |rrrGz` | `rIrJz## QEMU Wine Smokez| check | status | first line |z| --- | ---: | --- |rHrz## Execution Probez- can capture trace now: rz2- report: `out/runtime_trace_execution_probe.json`c3&K|] }d| ywrNrrs r&rzmarkdown..sOTr$[Orrnonerrz## Process Memory Snapshotz- can read process memory: rz- loaded base: `rz"- selected pointer static value: `rz(- selected pointer equals current root: rz'- current root relocation looks valid: currentRootRelocationLooksValidz,- report: `out/runtime_memory_snapshot.json`r initialSample finalSamplez## Input Path Probez- xdotool path: ` xdotoolPathz- baseline selected pointer: ` baselineSelectedPointerStaticHexz- baseline selector context: `rrz- initial selected pointer: `selectedPointerStaticHexz- final selected pointer: `z- final selector context: `rz- held-key pressed detected: rz%- held-key changed selected pointer: heldKeyChangedSelectedPointerz$- X event changed selected pointer: rz,- key-buffer poke changed selected pointer: rz-- report: `out/runtime_input_path_probe.json`rz## Key Sequence Probez- sequence count: rz- startup wait seconds: `rz- any reached current root: rz"- any reached route selector 2:0: rz/- report: `out/runtime_key_sequence_probe.json`rrrz## Key Sequence Prelude Probez - prelude: `preludez- observed selectors: `z7- report: `out/runtime_key_sequence_prelude_probe.json`rz## Selected-Pointer Pollz- sample count: rz- poll interval seconds: `rrz2- report: `out/runtime_selected_pointer_poll.json`r z ## Selected-Pointer Prelude Pollz:- report: `out/runtime_selected_pointer_prelude_poll.json`r!z## Selected-Pointer Long Pollz7- report: `out/runtime_selected_pointer_long_poll.json`r"z## Selected-Pointer Late Pollz7- report: `out/runtime_selected_pointer_late_poll.json`r$r%z&## Selected-Pointer SaveData Load Pollz- input quality: `z@- report: `out/runtime_selected_pointer_savedata_load_poll.json`r&r'z0## Selected-Pointer Multislot SaveData Load Pollz- public save selectors: `rz#- observed public save selectors: `observedPublicSaveSelectorsz$- any reached public save selector: rzJ- report: `out/runtime_selected_pointer_multislot_savedata_load_poll.json`r(r)z;## Selected-Pointer Multislot SaveData Load Case-Alias Pollz- case aliases: enabled=rrz ; removed=rxcaseAliasCleanupremovedAliaseszU- report: `out/runtime_selected_pointer_multislot_savedata_load_case_alias_poll.json`r*r,zF## Selected-Pointer Multislot SaveData Load Input-Path Case-Alias Pollz`- report: `out/runtime_selected_pointer_multislot_savedata_load_input_path_case_alias_poll.json`r-r.zE## Selected-Pointer Synthetic Selector 2:0 Input-Path Case-Alias Pollz- staged selectors: `z- observed staged selectors: `z- any reached staged selector: zF- promotion note: standalone synthetic save-shaped file; non-promotingz_- report: `out/runtime_selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.json`r/r0zO## Selected-Pointer Patched Public-Base Selector 2:0 Input-Path Case-Alias Pollz- staged save kind: `stagedSaveKindze- promotion note: constructed from a public save by patching selector/position bytes; diagnostic-onlyzd- report: `out/runtime_selected_pointer_patched_public_selector_2_0_input_path_case_alias_poll.json`r1rz## Runtime Save File I/O Probez - backend: `rz- temporary save: `rz!- sequence with Hwanse2.exe PID: rz#- sequence with key-buffer writes: rz- input trace usable: rz- matched file-I/O lines: rz- any savedat1.dat access: r z/- report: `out/runtime_save_file_io_probe.json`r2z%## Runtime Save File I/O Strace Probez6- report: `out/runtime_save_file_io_strace_probe.json`r3z,## Runtime Save File I/O Strace Attach Probez=- report: `out/runtime_save_file_io_strace_attach_probe.json`r4z<## Runtime Save File I/O Strace Attach Load Candidates ProbezM- report: `out/runtime_save_file_io_strace_attach_load_candidates_probe.json`r5zG## Runtime Save File I/O Strace Attach Load Candidates Case-Alias ProbezX- report: `out/runtime_save_file_io_strace_attach_load_candidates_case_alias_probe.json`)r@z ## Blockersr@c3&K|] }d| ywrrrs r&rzmarkdown..s=2dV=rz- none)r@z## Trace Pointsr@z#| name | kind | address | purpose |z| --- | --- | --- | --- |r6z| rrrrz |)r@z## Commands To Tryr@c32K|]\}}|d|dyw)z. `rNr)rindexrSs r&rzmarkdown.."s!f^UGE7#gYa(frr7r )rr~rr9rrr enumerate) summaryrlinesrprobesnapshotrinitialfinalrsrrtemporary_saves r&markdownrTs&%  ,-. ',/01 )$))GKK@[4\4b`b*c*jgj)kklm $S5F)G)M2%N$OP GKK(:;<= '0G(H'IJ );!< =Q? $TYYw7Q/R%S%ZWZ$[[\] ):!;K!H!TH UUVW %g.C&D[&Q&]U]%^^_` )'2J*KK*X*d\d)eefg (8 9. I PSQQRS #KK(;R@DDEUVWX$$+KK0CR$H$L$LMd$e#ffg i (9 :;1=    / 0#*++.?"@"FB G$Btf+ G1 2 3 4 5 6 7 E: LL;;~.4" LLz"))+b s3y>*$s;/?.@SWWV_E[X[D\\_`ab LL}%,,.t s3y>*% 0D0K/LERURYRYZeRfRmjmQnnqrst LL  )'/0;?t/0:;<01+>E#Fc K"{{#$()  ' 2F(G'H I@      OUYYz-B-NvhOO{{#$+,h'-2  ( )&**5K*L)M Nx||O<CDA F0<[1\1c`c0dde f6vzzBd7e6f g5fjjAb6c5d e:   {{<  %))O,2 -(.B  !  - 8 ?C@ Buyy9@SA C,UYY7Y-Z-a^a,bbc d,eii8X.Y._]_-d-deo-p-wtw,xxy z+GKK8R,S,ZWZ+[[\ ])%))4N*O*VSV)WWX Y)5995R+S+YWY*^*^_i*j*qnq)rrs t+EII6N,O+P Q3EII>]4^3_ `2599=[3\2] ^:599Ej;k:l m; !  ${{%&*+  #  ?!; < =' 2F(G'H J*5995L+M*N O0;[1\0] ^=   {{,-1299[)/R .CGG$<=C .8+OOH- . .   +  ?!; < =599Y/637q 9%dii&9&@S%A C*5995L+M*N O0;[1\0] ^E   {{()-.  &  ?!; < =uyy78 9(3H)I(J! L%dii :M0N0TRT&U&\Y\%]]^ _*5995L+M*N O0;[1\0] ^@   {{/045  .  ?!; < =uyy78 9599Y/637q 9(3H)I(J! L%dii :M0N0TRT&U&\Y\%]]^ _*5995L+M*N O0;[1\0] ^H   {{,-12  +  ?!; < =uyy78 9599Y/637q 9(3H)I(J! L%dii :M0N0TRT&U&\Y\%]]^ _*5995L+M*N O0;[1\0] ^E   {{,-12  +  ?!; < =uyy78 9' 2F(G'H J599Y/637q 9(3H)I(J! L%dii :M0N0TRT&U&\Y\%]]^ _*5995L+M*N O0;[1\0] ^E   {{459:++GHNB  4  ?!; < =uyy78 9' 2F(G'H J599Y/637q 9(3H)I(J! L !J7!S TTU V%dii :M0N0TRT&U&\Y\%]]^ _*5995L+M*N O0;[1\0] ^N   {{=>BC++PQWUW  >  ?!; < =uyy78 9' 2F(G'H J599Y/637q 9(3H)I(J! L !J7!S TTU V(599=R3S3YWY)Z)a^a(bbc d%dii :M0N0TRT&U&\Y\%]]^ _1$))EIIFc$?$F3#Gq I ?!; < =uyy78 9' 2F(G'H J599Y/637q 9(3H)I(J! L& -(@(FB'K'KI'V&WWabebjbjlqluluwImJmPNPlUlUVflglmkmcncurubv w !J7!S TTU V#DIIeii8M.N.TRT$U$\Y\#]]^ _%dii :M0N0TRT&U&\Y\%]]^ _,TYYuyyA^7_7ece-f-mjm,nno p-eii8V.W-X Y*5995L+M*N O0;[1\0] ^ sr )  ,{{$%)*?39r  , 599Y/0 2!."4"4X">!?q A ?!; < =/ :P0Q/R S1%))!?q A ?!; < =/ :P0Q/R S1%))!?q A ?!; < =/ :P0Q/R S1%))?CD?39r  J 599Y/0 2!."4"4X">!?q A ?!; < =/ :P0Q/R S1%))!?q A& -(@(FB'K'KI'V&WWabebjbjlqluluwImJmPNPlUlUVflglmkmcncurubv w ?!; < =/ :P0Q/R S1%))tjt | jd?d@ }d }|jdAr9|dA} g}| jdBxsgD]2}|jdCxsgD]}||vs|j |4dDtjt | jd9dEtjt | jdFxsddGtjdHj|xsddtjt | jd?dI }d }|jdJr*|dJ} dKtjt | jd9dLtjt | jdMdNtjt | jdOdGtjdHj| jdPxsgxsddtjt | jd?dQ }d }|jdRr\|dR} dStjt | jd9dLtjt | jdMdEtjt | jdFxsddTtjt | jdOdGtjdHj| jdPxsgxsddtjt | jd?dU}d }|jdVr\|dV} dWtjt | jd9dLtjt | jdMdEtjt | jdFxsddTtjt | jdOdGtjdHj| jdPxsgxsddtjt | jd?dX}d }|jdYr|dY} dZtjt | jd9dLtjt | jdMd:tjt | jd;d[tjt | jdFxsddTtjt | jdOdGtjdHj| jdPxsgxsddtjt | jd?d\}d }|jd]r|d]} |jd^xsi}d_tjt | jd9dLtjt | jdMd:tjt | jd;d[tjt | jdFxsddTtjt | jdOd`tjt|dGtjdHj| jdPxsgxsddtjt | jd?da}d }|jdbrd|db} |jdcxsi}ddtjt | jd9dLtjt | jdMd:tjt | jd;d[tjt | jdFxsddTtjt | jdOd`tjt|detjdHj| jdfxsgxsddGtjdHj| jdPxsgxsddgtjdHj| jdhxsgxsdditjt | jdjdktjt | jd=d>tjt | jd?dl}d }|jdmr|dm} |jdnxsi}dotjt | jd9dLtjt | jdMd:tjt | jd;d[tjt | jdFxsddTtjt | jdOdptjt | jdqxsijdrdstjdtj| jduxsijdvxsgxsdd`tjt|detjdHj| jdfxsgxsddGtjdHj| jdPxsgxsddgtjdHj| jdhxsgxsdditjt | jdjdktjt | jd=d>tjt | jd?dw}d }|jdxr|dx} |jdyxsi}dztjt | jd9dLtjt | jdMd:tjt | jd;d[tjt | jdFxsddTtjt | jdOdptjt | jdqxsijdrdstjdtj| jduxsijdvxsgxsdd`tjt|detjdHj| jdfxsgxsddGtjdHj| jdPxsgxsddgtjdHj| jdhxsgxsdditjt | jdjdktjt | jd=d>tjt | jd?d{}d }|jd|r|d|} |jd}xsi}d~tjt | jd9dLtjt | jdMd:tjt | jd;d[tjt | jdFxsddTtjt | jdOdptjt | jdqxsijdrdstjdtj| jduxsijdvxsgxsdd`tjt|dtjdHj| jdfxsgxsddGtjdHj| jdPxsgxsddtjdHj| jdhxsgxsddtjt | jdjdktjt | jd=d>tjt | jd?d}d }|jdrT|d} |jdxsi}d jgdtjt | jdxsddtjt | jd9dLtjt | jdMd:tjt | jd;d[tjt | jdFxsddTtjt | jdOdptjt | jdqxsijdrdstjdtj| jduxsijdvxsgxsdd`tjt|dtjdHj| jdfxsgxsddGtjdHj| jdPxsgxsddtjdHj| jdhxsgxsddtjt | jdjdktjt | jd=d>tjt | jd?d}d }|jdr|d} | jdxsi}dtjt | jddtjt |jddtjt | jd9dtjt | jddtjt | jddtjt | jddtjt | jddtjt | jdd}d } |jdr|d} | jdxsi}dtjt | jddtjt |jddtjt | jd9dtjt | jddtjt | jddtjt | jddtjt | jddtjt | jdd} d }!|jdr|d} | jdxsi}dtjt | jddtjt |jddtjt | jd9dtjt | jddtjt | jddtjt | jddtjt | jddtjt | jdd}!d }"|jdr|d} | jdxsi}dtjt | jddtjt |jddtjt | jd9dtjt | jddtjt | jddtjt | jddtjt | jddtjt | jdd}"d }#|jdr|d} | jdxsi}dtjt | jddtjt |jddptjt | jdqxsijdrdstjdtj| jduxsijdvxsgxsddtjt | jd9dtjt | jddtjt | jddtjt | jddtjt | jddtjt | jdd}#djgdddddtj|dddtjt |dddtjdtj|jdxsgxsdddtjt t|jdxsgddtjt |jddd|dddtj|dddtjdHj|dxsdddtj|ddxsdddtj|ddxsdddtj|ddxsdddtj|ddxsdddtjt |jdijdɫdtjt |jdijd˫ddtj|dddΑdtj|ddѝdґddӄ|jdxsgDdΑdԑd|dΑdՑd֑|dבdؑdّ|dבdڑdۑdtj|dddtjt |dddtj|ddxsddtj|dddtjt |dddtj|ddxsdd dב|jdrd|djddnd || |||||||||||||| |!|"|#d|dΑdd|dבd|dS)Nrc 3K|]X}dtj|dd|ddtjt|jdxsddZyw) rSrTrrNhtmlescaper8r~rs r&rzhtml_page..(sm   [[Y012; ![[SWWV_%;!<=>? AA rc 3K|]}dtj|ddtjt|jdxsddtjt|jdxsddyw)rrGrIrrJrNrrs r&rzhtml_page..0s   [[Y012[[SWW[%9%@S!ABCD[[SWW[%9%@S!ABCD sB B rc3NK|]}dtj|dywz
  • 
    • Nrrrs r&rzhtml_page..8s#YT4 D 12%8Y#%rz
  • none
    • r@c 3K|]X}dtj|ddtjdj|jdxsgdZyw)
  • rz: rr
    • N)rrrr~rs r&rzhtml_page..9s_  T[[V-./TYYswwx'8'>B?@A Orrc 3K|]k}dtj|ddtj|ddtj|ddtj|dd my w) zrrrrrrrz Nrrs r&rzhtml_page..>s   {{3v;'()[[V-./[[\!2345{{3y>*+,  sA1A3r6c3NK|]}dtj|dyw)rrNr)rrSs r&rzhtml_page..Gs#qW:dkk'&:%;<Hqrr7rrz<

    Process Memory Snapshot

    can read process memory: rz; loaded base: rrz.; selected pointer static value: rz/; selected pointer equals current root: rz'; current root relocation looks valid: rzA.

    report: out/runtime_memory_snapshot.json

    rrrz0

    Input Path Probe

    xdotool path: rz; loaded base: z*; baseline selected pointer: rz*; baseline selector context: rrz); initial selected pointer: rz'; final selected pointer: z'; final selector context: rz$; held-key pressed detected: rz%; held-key changed selected pointer: rz$; X event changed selected pointer: rz,; key-buffer poke changed selected pointer: rzB.

    report: out/runtime_input_path_probe.json

    rz.

    Key Sequence Probe

    sequence count: rz; startup wait seconds: rz#; any reached current root: rz"; any reached route selector 2:0: rzD.

    report: out/runtime_key_sequence_probe.json

    rrrz6

    Key Sequence Prelude Probe

    sequence count: z; prelude: rz#; observed selectors: rzL.

    report: out/runtime_key_sequence_prelude_probe.json

    rz1

    Selected-Pointer Poll

    sequence count: z; sample count: rz; poll interval seconds: rrzG.

    report: out/runtime_selected_pointer_poll.json

    r z9

    Selected-Pointer Prelude Poll

    sequence count: z&; poll interval seconds: zO.

    report: out/runtime_selected_pointer_prelude_poll.json

    r!z6

    Selected-Pointer Long Poll

    sequence count: zL.

    report: out/runtime_selected_pointer_long_poll.json

    r"z6

    Selected-Pointer Late Poll

    sequence count: z; prelude: zL.

    report: out/runtime_selected_pointer_late_poll.json

    r$r%z?

    Selected-Pointer SaveData Load Poll

    sequence count: z; input quality: zU.

    report: out/runtime_selected_pointer_savedata_load_poll.json

    r&r'zI

    Selected-Pointer Multislot SaveData Load Poll

    sequence count: z&; public save selectors: rz/; observed public save selectors: rz+; any reached public save selector: rz; any reached current root: z_.

    report: out/runtime_selected_pointer_multislot_savedata_load_poll.json

    r(r)zT

    Selected-Pointer Multislot SaveData Load Case-Alias Poll

    sequence count: z; case aliases: enabled=rrz; removed=rxrrzj.

    report: out/runtime_selected_pointer_multislot_savedata_load_case_alias_poll.json

    r*r,z_

    Selected-Pointer Multislot SaveData Load Input-Path Case-Alias Poll

    sequence count: zu.

    report: out/runtime_selected_pointer_multislot_savedata_load_input_path_case_alias_poll.json

    r-r.z^

    Selected-Pointer Synthetic Selector 2:0 Input-Path Case-Alias Poll

    sequence count: z!; staged selectors: z*; observed staged selectors: z&; any reached staged selector: z.

    promotion note: standalone synthetic save-shaped file; non-promoting.

    report: out/runtime_selected_pointer_synthetic_selector_2_0_input_path_case_alias_poll.json

    r/r0zp

    Selected-Pointer Patched Public-Base Selector 2:0 Input-Path Case-Alias Poll

    staged save kind: rz; sequence count: z.

    promotion note: constructed from a public save by patching selector/position bytes; diagnostic-only.

    report: out/runtime_selected_pointer_patched_public_selector_2_0_input_path_case_alias_poll.json

    r1rz6

    Runtime Save File I/O Probe

    backend: rz; temporary save: rz ; pid runs: rz; key-write runs: rz; input trace usable: rz; matched file-I/O lines: rz; any savedat1.dat access: r zD.

    report: out/runtime_save_file_io_probe.json

    r2z=

    Runtime Save File I/O Strace Probe

    backend: zK.

    report: out/runtime_save_file_io_strace_probe.json

    r3zD

    Runtime Save File I/O Strace Attach Probe

    backend: zR.

    report: out/runtime_save_file_io_strace_attach_probe.json

    r4zT

    Runtime Save File I/O Strace Attach Load Candidates Probe

    backend: zb.

    report: out/runtime_save_file_io_strace_attach_load_candidates_probe.json

    r5z_

    Runtime Save File I/O Strace Attach Load Candidates Case-Alias Probe

    backend: zm.

    report: out/runtime_save_file_io_strace_attach_load_candidates_case_alias_probe.json

    zMRuntime Trace Feasibilityzz"

    Runtime Trace Feasibility

    z
      z
    • objective: rrz
    • proof found: r z&
    • failed runtime trace gates: rrz
    • missing evidence count: rz
    • evidence refs: rz
    • can run runtime trace now: rz
    • dpkg architecture: rz!
    • foreign architectures: rz
    • wine loader smoke: rrrz"
    • qemu wine loader smoke: rz&
    • qemu wine child exec smoke: rz
    • qemu-i386 binfmt: rrKz.
    • binfmt consistency: summary enabled rrz', execution probe enabled rz
    • promotion status: r z
    z

    rz

    z

    Missing Evidence

    c3NK|]}dtj|dywrrrs r&rzhtml_page..s# [dDT"#5 ) [rz

    Evidence Refs

    z

    Tool Availability

    zUz
    commandavailablepath
    z

    Apt Packages

    zZz

    QEMU Wine Smoke

    zV
    packageinstalledcandidate
    rrSrrHrz
    checkstatusfirst line
    rrz2

    Execution Probe

    can capture trace now: rzF

    report: out/runtime_trace_execution_probe.json

    z

    Blockers

      z

      Trace Points

      z`z

      Commands To Try

        z
      ) rrr~rrr8rrr)$r command_rows package_rowsrr trace_rowsrmemory_snapshot_htmlrrinput_probe_htmlrrrkey_sequence_htmlkey_sequence_prelude_htmlrsrrselected_pointer_poll_html"selected_pointer_prelude_poll_htmlselected_pointer_long_poll_htmlselected_pointer_late_poll_html(selected_pointer_savedata_load_poll_htmlr2selected_pointer_multislot_savedata_load_poll_html=selected_pointer_multislot_savedata_load_case_alias_poll_htmlHselected_pointer_multislot_savedata_load_input_path_case_alias_poll_htmlGselected_pointer_synthetic_selector_2_0_input_path_case_alias_poll_htmlLselected_pointer_patched_public_selector_2_0_input_path_case_alias_poll_htmlsave_file_io_probe_htmlrsave_file_io_strace_probe_html%save_file_io_strace_attach_probe_html5save_file_io_strace_attach_load_candidates_probe_html@save_file_io_strace_attach_load_candidates_case_alias_probe_htmls$ r& html_pager's(99 :&--/ L99 =)002 LyyYWZEXYYl]lHGG;;~.4"M =)JyyqX_`oXpqqH{{#$+,h'-2 ++/;;s6::F\;]7^+_*`a""&++c(,,2O2VSV.W"X!YZ448KKFJJOnDoDvsv@w4x3yz559[[VZZPrEsAt5u4vw448KKFJJOpDq@r4s3tuK  K {{<  %))O,2 -(.B &&*kk#eii 6N6URU2V&W%XY""&++c%))O2L2SPS.T"U!VW004 C Jl@m@tqtf>ljl=q=qr|=}>EBE:F.G-HH**.++c%))D\:]6^*_)`a226++c%))LkBl>m2n1op115SKiAj=k1l0mn99=SSxIyEz9{8|}L L {{%&*+ ""&++c%))O2L.M"N!OP++/;;s599EY;Z7[+\*]^))-SCZ9[5\)](^_//3{{3uyyIi?j;k/l.mnN  N !#{{,-1299[)/R .CGG$<=C .8+OOH- . .  ""&++c%))O2L.M"N!OP"kk#eii .B.Ic*JKLM))-TYYx5H5OC)P(QR))-SCZ9[5\)](^_//3{{3uyyIi?j;k/l.mnV  V ""${{()-. ""&++c%))O2L.M"N!OP![[UYY}-E)FGHI,,0KKEIIF[<\8],^+_`))-TYYuyyI\?]?cac5d5khk)l(mn))-SCZ9[5\)](^_//3{{3uyyIi?j;k/l.mnQ  Q #*,&{{/045 ""&++c%))O2L.M"N!OP![[UYY}-E)FGHI"kk#eii .B.Ic*JKLM,,0KKEIIF[<\8],^+_`))-TYYuyyI\?]?cac5d5khk)l(mn))-SCZ9[5\)](^_//3{{3uyyIi?j;k/l.mnY Y +')#{{,-12 ""&++c%))O2L.M"N!OP![[UYY}-E)FGHI"kk#eii .B.Ic*JKLM,,0KKEIIF[<\8],^+_`))-TYYuyyI\?]?cac5d5khk)l(mn))-SCZ9[5\)](^_//3{{3uyyIi?j;k/l.mnV V (')#{{,-12 ""&++c%))O2L.M"N!OP![[UYY}-E)FGHI++/;;s599EY;Z7[+\*]^"kk#eii .B.Ic*JKLM,,0KKEIIF[<\8],^+_`))-TYYuyyI\?]?cac5d5khk)l(mn))-SCZ9[5\)](^_//3{{3uyyIi?j;k/l.mnV V (02,{{459:++GHNB ""&++c%))O2L.M"N!OP![[UYY}-E)FGHI++/;;s599EY;Z7[+\*]^"kk#eii .B.Ic*JKLM,,0KKEIIF[<\8],^+_`$$(KK0YZa0b$c#de))-TYYuyyI\?]?cac5d5khk)l(mn))-SCZ9[5\)](^_//3{{3uyyIi?j;k/l.mn_ _ 1:<6{{=>BC++PQWUW ""&++c%))O2L.M"N!OP![[UYY}-E)FGHI++/;;s599EY;Z7[+\*]^"kk#eii .B.Ic*JKLM,,0KKEIIF[<\8],^+_`$$(KK0YZa0b$c#de[[5995J+K+Qr!R!YVYZ[\))-TYYuyyI\?]?cac5d5khk)l(mn[[5995R+S+YWY!Z!a^abcd115SKiAj=k1l0mn))-SCZ9[5\)](^_//3{{3uyyIi?j;k/l.mni i ;$EGA{{FGKL++YZ`^` ""&++c%))O2L.M"N!OP![[UYY}-E)FGHI++/;;s599EY;Z7[+\*]^"kk#eii .B.Ic*JKLM,,0KKEIIF[<\8],^+_`%%)[[eii 6N6TRT5Y5YZc5d1e%f$gh![[599=O3P3VTV2[2[\l2m2sqs)t){x{|}~$$(KK0YZa0b$c#de[[5995J+K+Qr!R!YVYZ[\))-TYYuyyI\?]?cac5d5khk)l(mn[[5995R+S+YWY!Z!a^abcd115SKiAj=k1l0mn))-SCZ9[5\)](^_//3{{3uyyIi?j;k/l.mnt! t F(PRL{{OPTU++bcigi ""&++c%))O2L.M"N!OP![[UYY}-E)FGHI++/;;s599EY;Z7[+\*]^"kk#eii .B.Ic*JKLM,,0KKEIIF[<\8],^+_`%%)[[eii 6N6TRT5Y5YZc5d1e%f$gh![[599=O3P3VTV2[2[\l2m2sqs)t){x{|}~$$(KK0YZa0b$c#de[[5995J+K+Qr!R!YVYZ[\))-TYYuyyI\?]?cac5d5khk)l(mn[[5995R+S+YWY!Z!a^abcd115SKiAj=k1l0mn))-SCZ9[5\)](^_//3{{3uyyIi?j;k/l.mn!  Q(OQK{{MNRS++`ageg ""&++c%))O2L.M"N!OP![[UYY}-E)FGHI++/;;s599EY;Z7[+\*]^"kk#eii .B.Ic*JKLM,,0KKEIIF[<\8],^+_`%%)[[eii 6N6TRT5Y5YZc5d1e%f$gh![[599=O3P3VTV2[2[\l2m2sqs)t){x{|}~$$(KK0YZa0b$c#de[[5995J+K+Qr!R!YVYZ[\))-TYYuyyI\?]?cac5d5khk)l(mn[[5995R+S+YWY!Z!a^abcd,,0KKEIIFd?CD?39r !!%S91E-F!G HI%%)[[^5G5G5Q1R%S$TU#{{3uyy/I+JKLMS3I)J%KLMN#{{3uyy9U/V+WXYZ##';;s599=O3P/Q#R"ST''+{{3uyyAS7T3U'V&WX((, C BX8Y4Z(['\]l l >HJD{{GHLM?39r !!%S91E-F!G HI%%)[[^5G5G5Q1R%S$TU%%)[[eii 6N6TRT5Y5YZc5d1e%f$gh![[599=O3P3VTV2[2[\l2m2sqs)t){x{|}~#{{3uyy/I+JKLMS3I)J%KLMN#{{3uyy9U/V+WXYZ##';;s599=O3P/Q#R"ST''+{{3uyyAS7T3U'V&WX((, C BX8Y4Z(['\]w w I 99ZYZ nZ -Z  Z $++gk&:; ?Z@ AZB %CZD `EZF GZH IZJ KZL eMZN OZP QZR #SZT aUZV [[)>!? !JKLM{{3w'<=hGHIJK[[)>!? !L!SPSTUV[[)A!B9!MNOP{{3w'?@JKLMN[[)A!B;!O!VSVWXY WZj kZt{{+, ))01A)B)F)FG[)\(]^Q QwZz {Z| }Z~ Z@ "AZB #CZD +EZF (GZH (IZJ 1KZL ;MZN FOZP QQZR PSZT UUZV WZX 'YZZ .[Z\ >]Z^ I_Z` aZb cZd eZf gZh kiZj kZl mZn 'oZp qZr sZZ ZrCc|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okzruntime_trace_feasibility.jsonF)rxrF) ensure_ascii separatorsrrZr[runtime_trace_feasibility.html)mkdir write_textr^dumpsr)rres r& write_outputsrsd MM$M. //;; 7:FM< //;;Ig r) argparseArgumentParser__doc__ add_argumentrOUT parse_argsrrreprint)parserargsrs r&mainrse  $ $ 9F  $<    DoG'4<<( / ?_0_/` abrC__main__)returnz list[dict])r;z list[str]rztuple[int, str])r.r8rr8)rGr8rrc)rSr8rrc)rerr dict | None)rerrpr8rr)rrrr8)rrrrc)rrrr8)rr8rrc)rrc)rrcrr8)rrcrerrNone)rr)%r __future__rrrr^rUr2pathlibr__file__resolverr#rr"r'r>rBrQrXrgrjrlrqrsrvrrrrrrrrr__name__rrCr&rsgY"  H~''* Ul9  0;ij 0=XY 2Pp>qr :XxFyz 5BHI =JPQ :GMN :GMN 7DLM CPVW MZbc Xemn cpxy bowx gt|} 2>uv 9E|} @MDE P]TU [h_`G$+'N 4 *&*-4*-4&)4-0Ab48 4  4 4 45 4  4 4 4 #!H (J ZPfL^25bc zFrC
      namekindaddresspurpose