JjdZddlmZddlZddlZddlZddlZddlmZddl m Z ddl m Z m Z mZddlmZmZmZeej)j*dZed z Zd Zd Zd Zd ZdZdZddgZdZdddddddZ dgdddgdddgd dd!gd"dd#gd$dd%gd&dgZ!d:d;d'Z"dd*Z%d?d+Z&d@d,Z'd?d-Z(dAd.Z)dBd/Z*ddd0dCd1Z+dDd2Z,dEd3Z- d: dFd4Z.dGd5Z/dGd6Z0edfdHd7Z1dId8Z2e3d9k(re2yy)Jz?Tie predecessor fill-site rows to opcode 0x10 handler evidence.) annotationsN)Path)Any) offset_to_va read_sections va_to_offset) handler_byteshandler_for_opcodestream_effect_textouti@i Ai +TiTidGiDHiDHiDHzBroot-entry execution path from 0x00478364 to 0x004844d0/0x004844d8zTdescriptor-boundary bridge from predecessor root stop through fill to current readerz\runtime proof that predecessor fill stream executes through the save-selector dispatch slicezIruntime branch-state observation matching the predecessor fill hypothesiszEpredecessor-to-current route order proof before the 0x00542b0c readerzVclosed selector-merge proof connecting predecessor 1:0 and source 0:0 into current 2:0)zroot-entry-to-fillzdescriptor-boundary-bridgezdispatch-slice-runtime-proofzruntime-fill-observedz route-orderzselector-merge-closed Hwanse2.exe)z0x0040b49e opcode 0x10 handlerz0x00410c90 helper callz0x004844d0/0x004844d8 fill rowsz0x00542b0c current reader)pathfieldszout/script_handler_table.json)0x10 handlerVaHex streamEffectreferenceCountz;out/save_selector_predecessor_fill_execution_order_gap.json) fillSitesrootTailIsolationScandirectFillSiteRefCounts proofFoundz=out/save_selector_predecessor_branch_state_execution_gap.json)runtimeBranchStateSplitruntimePredecessorFillObservedbranchStateExecutionProofFoundz>out/save_selector_predecessor_fill_site_execution_context.json)requiredProofGatesrequiredProofGateFailIdsbranchStatePollFillMatchCountfillSiteExecutionContextProvenz,out/save_selector_secondary_reset_scope.json)helperclosedStaticResetScopepromotionStatuscx|js|iS|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks V/home/exedev/hwanse/tools/summarize_save_selector_predecessor_fill_opcode10_context.py load_jsonr.\s5 ;;=%r383 ::dnngn6 77cd|dS)N0x08xvalues r-hex32r6bs c{ r/c@|sy t|dS#t$rYywxYw)Nr)int ValueErrorr4s r- hex_to_intr:fs+ 5"~ s  cV|D]$}|d}||dz}||cxkr|ksn|dcSy)Nvaraw_sizenamer3)sectionsr<sectionstartends r-section_name_for_varCosE# gj)) B  6? " # r/cg}tjd|}d} |j||}|dkr |St||}|1|j t |t ||t |d|dz}_)N KK"2Y.x<$V}  q r/ci}|D]/}|jdxsd}|j|ddz||<1tt|jS)Nr@unknownrr )getdictsorteditems)rNcountsrefr@s r-refs_by_sectionr[sZF5'')$1  **Wa014w5 v||~& ''r/c g}|D]}|jddk7r|d}||dz}|||}tdtdt|dz D]n}||dk7r t |||z} | t j d||d zd} | d z| z} | |k(sI|jt| t| d p|S) Nr>.textrawr=rzC6C|Scc}wcc}}w)NrErr )rXrHrIrJrKr6) base_varhtargetsr>hitsr5needlesrOrPrQs r-dword_hits_in_bytesrrs7>!?t$(!?D!?AHQ+$tV[[u--QGQ  f))FF+CQw J  eGcM2 31WF  K"@Qs B"!B'cg}tt}tdz}|jdxsgD]?}t |jd}| ||cxkr|ks,n/|j |A|S)Nr_ nearbyRowsvaHex)min FILL_SITESFILL_FRAGMENT_STOPrUr:rK) root_tailrg fill_startfill_endrowr<s r-fill_fragment_rowsr}sn DZJ!A%H}}\*0b ( ) >jB99 KK  Kr/opcodehandlerc~d}|D]5}||jd|k7r||jd|k7r1|dz }7|S)Nr opcodeHexrr rU)rgrrcountr|s r- row_countrsX E  #''+"6&"@   377>#:g#E     Lr/c t|jd}|iS|dz}|dz dz}|dz dz}|dz dz}|rdnd}|rdnd }d }d} g} |d vr+d }d dddd|} tdD cgc] } | | krdnd } } |jd|jdd|dd|dd|dd|d|t||| | |dk(d Scc} w)NvalueHexrsecondaryBranchStateprimaryBranchStatei`YipYzunknown-helper-case>rr zconstant-prefix-fillrr_ra)rr rr r rrur102x) rur opcodeByteHextableSelectorByteHexhelperCaseByteHex spareByteHex targetTable targetBaseHex helperKindhelperFillCountexpectedStatePrefixfillsSecondaryBranchState)r:rUrcr6) r|r5rtable_selector helper_casespare target_table target_base helper_kindhelper_fill_countexpected_prefixris r-decode_opcode10_rowrs3 swwz* +E } T\FqjD(NB;$&K b[D E-;)AUL .*JK'K!#Ol", !aA!4[ANSTViXU(9 91q@XX!GGJ'fS\*"$^C$8 9!+c!23U3K(#{+!,.%15K%K  Ys+Cc|r|S|SNr3)r5 true_status false_statuss r- bool_statusrs;1\1r/clt|}t||t}t||t}|j dxsi} t ||t} t} tt|z} | D]5} t| j d}|duxr| |cxkxr| knc| d<7tttdtdttttd}|jDcic]\}}|t!|||}}}|jDcic]?\}}|t#||t|t%d|Dt'||ddd A}}}t)t|tdtdtttd }t%d |j+D}|j d xsi}t-|}|D cgc]} | j d }} gd}|D cgc]%} | j d dk(rt/| }|r|'}} }t1|xrt3d|D}|D cgc]$} | j d| j d&}} |r|dj dng}|Dcgc]}d|d } }|j dxsi}!|j dxsi}"|dd|ddz}#|j d}$|j d}%|j d}&|j dduxr/|j dduxr|#dk(xr|$dk(xr |%dk(xr|&dk(}'|"j d d!uxr>|"j d"d!uxr)|"j d#duxr|j d$dk(}(|j d%d!uxs(|j d&d!uxs|"j d'd!u})|j d(xsg}*|*D+cgc]}+t4j |+|+},}+d)t7|j d*tk(xrt|dkDd+d,d-|j d.d/t9| d0t|d1d2t7t| dk(xrt3d3| Dd4d5d6t#td7t| d8|!j d9d1d:t7||k(d;d<d=d>j;d?|Dd@d>j;|d1dAt7|xr|dBdBgk(dCdDd=dEj;dF|DxsdGdHd>j;| xsdGd1dIt7|#dk(dJdKdL|#dM|j dNd1dOt7|'dPdQdR|$dS|%dT|&d1dUt7|(dVdWdX|"j d dY|"j d#dZ|"j d"d[|j d$d1d\t7|j d]dk(d^d_d`|j d]da|j dbdc|j ddded>j;|j d(xsgxsdGd1g}-|)sdfndg}.|.dfk(rdhndi}/idjdkdldmdn|j dnxsdodp|j dpxst#tdq|j dqxsdrds|j dsxst#tdt|j dtxst#td ddu|j d.dvt#tdw|j d*tk(dxt|dy| dzt9| d{t=d||xsij d}xsgDdd~t#tdt| id| dt| dk(xrt3d| Dd|!j d9dtDcgc] }t#|c}dt#t?tdt#tdzd|d|d|d||k(d|dtA|D chc]} | j dc} d|d|d| d|dtC|dt#tdtC|didtC|ddd|j dd|j dd|j dd|$d|%d|&d|d|#d|ddd|d|d |"j d d|"j d"d|"j d#d|"j dxsgd|j did|j dd|j dd|j dd|j dd$|j d$d|j dxsgd|j dd]|j d]db|j dbd(|*dd|j ddd'|j d%d&|j d&d%|)d|*d|,dtDttD|-|.|/dScc}}wcc}}wcc} wcc}} wcc} wcc}wcc}+wcc}wcc} w)NrrbinsideOpcode10Handlerrr )opcode10Handlerr!predecessorFillSite0predecessorFillSite1predecessorFillStoppredecessorRoot currentRoot currentReaderc3JK|]}|jddk(sdyw)r@r]r Nr.0r|s r- z build_summary..s P3#'')2D2OQPs##)rGr textCountr?rN)rrrrrc32K|]}t|ywr)re)rvaluess r-rz build_summary..-s'^F '^rr)r0x00r0xc0rc3>K|]}|jdyw)rNrrs r-rz build_summary..;sV34Vrrr1rr!rrrrbranchToFillFragmentCountbranchToCurrentReaderCountfixedFallthroughToFillCount"localFillTraceReachesCurrentReaderF)rootEntryFixedTraversalFillSitesReachablepublicPredecessorReachedTobservedAllZeroobservedMatchesFillrrr fillExecutionOrderProofFoundrzopcode10-handler handlerVazhandler-resolvedzhandler-unresolvedzopcode=0x10 handler=rz effect=z bytes=)kindstatusdetailzhelper-call-scopec3>K|]}|jdywrNrrs r-rz build_summary..xs.hTWsww7N/O.hrz helper-only-called-from-opcode10zhelper-scope-openzhelper=z calls=z secondaryResetScopeOnly=#onlyDirectCallInsideOpcode10Handlerzfill-fragment-shapez&opcode10-fill-then-descriptor-boundaryzunexpected-fragment-shapezrows=,c3FK|]}|jdxsdyw)ru-Nrrs r-rz build_summary..s! RS!1!8S!8 Rs!z opcodes=zopcode10-decoded-fillrz"secondary-branch-state-prefix-fillzdecoded-fill-open;c 3K|]M}|jdd|jdd|jdd|jdOyw)ru:rz:case=rz:count=rNrrs r-rz build_summary..srtWZswww/0#''-2H1IPSPWPWXkPlOmmtuxu|u|~OvPuQRtsAArz expectedPrefix=zdirect-fill-entry-refszno-fill-site-text-refszhas-fill-site-text-refsz fillTextRefs=z directFillCounts=rzroot-tail-controlz no-branch-or-fallthrough-to-fillzpossible-fill-entry-proofz branchToFill= branchToReader= fixedToFill=zruntime-branch-statez-public-predecessor-all-zero-fill-not-observedzruntime-fill-observed-or-openzpublicPredecessor= matchesFill= allZero= fillMatches=zrequired-proof-gatesrequiredProofGatePassCountzno-proof-gates-passedzsome-proof-gate-passedzpass=z fail=requiredProofGateFailCount allBlocked=requiredProofGateAllBlockedz failedIds=blockedzready-for-reviewaOpcode 0x10 and helper 0x00410c90 explain the two predecessor fill rows, but this does not prove the predecessor fill fragment executes before reader 0x00542b0c. There are no direct .text refs to the fill sites, the predecessor root tail has no branch/fallthrough to the fragment, and bounded runtime polls reach public predecessor selector 1:0 with secondaryBranchState still all zero.zCThe predecessor fill opcode context has enough evidence for review.sourcemap1_01arMmap2_02dpredecessorSelectorz1:0predecessorRootHexcurrentSelectorz2:0currentRootHexcurrentReaderHexopcodeHandlerHexopcodeHandlerExpectedHexopcodeHandlerMatchesExpectedopcodeHandlerCodeSizeopcodeHandlerStreamEffectopcodeHandlerStreamEffectText scriptHandlerTableReferenceCountc3fK|])}|jddk(r|jd+yw)rrrNrrs r-rz build_summary..s3 77;'61() s/1entries helperVaHexhelperDirectCallCounthelperDirectCalls)helperOnlyDirectCallInsideOpcode10Handlerc3>K|]}|jdywrrrs r-rz build_summary..s*dPS3773J+K*drr5direct_ref_rowsrg direct_refshandler_immediateshandler_route_immediate_country fragment_rowsfragment_opcodesexpected_fragment_opcodesdecodeddecoded_opcode10_rowsdecoded_fill_targets_secondarydecoded_fill_countsdecoded_expected_prefixdecoded_expected_fill_hexes helper_scope runtime_splitfill_site_text_ref_countroot_tail_branch_to_fillroot_tail_branch_to_readerroot_tail_fixed_to_fillno_fill_entry_proofruntime_still_unproven proof_foundrequired_proof_gate_fail_idsgate_idmissing_evidencerpromotion_statusrs0 r- build_summaryrSs S!H h9G h0@AL[[06BNS(I6L$M"S%66K SWW[12 4  JMW$J{$J #$ , *1 *1 1+#' N*//1 D% Xu55O*//1  D$  !56YP$PP'-"I    K -$.qM$.qM#5'+   %('^BTB[B[B]'^$^!""#:;ArI&y1M8EF ,FF @!  77; 6 )+C0G   "# W V@UV V# )  77$ % 1 !" Vk3A6::;PQpr&=#""U3K##),,X6<"L$(()BCIrM *+K8 , -k : ; )}}-HI!*/K!L'mm,IJ?@EI )   J Ku T ) $ ) ) % ) ) '! +  ) $q (  45= H   / 0D 8 H   3 4 = H  ! !"A Ba G  <(D0 E  !A Bd J E   ; < D $5#8#89S#T#ZXZ 4  255gwG '! K(,<<V\ARUVAV"$ 'w{{>'B&CD,^<=WSEVDWY (!L!Q&h3.h[g.h+h2# % *+73|3D2EF++7+;+;679 +!&?/ %]%6%67Q%R$ST,001FGHI(,,->?@A0445TUVX +!!%%&BCqH'( )--.JKLM)--.JKLM/334QRST88-112LMSQST[X[\ ^ kdHJ)4y9K y (  h S \ *\ *\  ~112GHQE\  n001EFa%P`Ja \  >--.?@IE \  .,,-=>U% BU \  N../AB[eNF[\  V\  GKK7\  #E*:$;\  ' K(@DT(T\  \!2\  $^\  ();N)K\  +D 06B;;IFL"   - \ . uY'/\ 0 \!21\ 2 \3\ 4 4   " ds*dWc*d'd7\ : G HXHX 1I ;\ @  ;ueEl;A\ B 5Z#9":"UCUXYCY=Z<[ \C\ D ME\ F /G\ H &'@I\ J *+;?X+XK\ L 4M\ N *6Uj2kc377=3I2k+lO\ P *+>Q\ R -.ES\ T +,GU\ V 12PW\ X  -PUVfPg hY\ Z %i |&T[\ \ %i fVb&c]\ ^ -n.@.@Ae.f_\ ` 4^5G5G 76 a\ f %n&8&89U&Vg\ h ,-Ei\ j -.Hk\ l ./Fm\ n ko\ p %&>q\ r *;+G +Ts\ t -.Ku\ v '(:w\ x #M$5$56P$Qy\ z !-"3"34E"F{\ | %m&7&78M&N}\ ~ #M$5$56I$J$Pb\ @ %&7&;&;)>?^)_W\ X /334HIORY\ Z !"3"7"78P"Q[\ \ %&7&;&;?+ w\ \G 2G #Bd<3ls7*jAj j7*j)j j"8j'j, 'j1cdd|ddd|dd|ddd |d d |d d |dd |dd d|ddd|dd |dd|ddd|dd|dd|dd|dd d!j|d"d#d!j|d$xsd%d&d!jd'|d(Dxsd%d)d!j|d*xsd%d+|d,d-|d.d/|d0d1|d2d3|d4d5|d6d7|d8d9|d:d;|d<d=|d>d?|d@dA|dBdC|dDdE|dFdG|dH dI|dJdK|dLdM|dNdOd!j|dPxsd%dQ|dRdS|dTdU|dVdWd!j|jdXxsgxsd%ddYt|jdZxsgd[|jd\d]|d^dd_dd`dag}|dbD]&}|jdc|ddde|dfde|dgdh(|j gdi|djD]}|jdk|jdldm|jdndm|jddm|jdodpd!jdq|jdrxsgDxsd%dh |j gds|dtD]}|jdk|jdldm|jdudm|jdvdp|jdwde|jdxded!jdy|jdzxsgDxsd%dh |j gd{|d|j D]\}}d!jd}|jd~xsij Dxsd%}|jdc|d|jddp|jdde|jdde|dh |jddj|S)Nz1# Save Selector Predecessor Fill Opcode10 Contextrz - route: `rz -> rM`z- predecessor/current: `rz` `rz` -> `rrz- current reader: `rz- opcode handler: `rrz` (r)z - helper: `rz` calls=r onlyOpcode10=rz- fill fragment: `rz ` opcodes=rrz - decoded opcode10 fill: tables=rrz counts=c32K|]}t|ywrstrrr5s r-rzmarkdown..As,y}INy|~CzDy}rrz expected=rz- fill rows: opcode10=rz default=rz descriptorStop=rz- direct refs: fillText=r z currentReaderText=r z handlerRouteImmediate=rz- root tail: isolated=rz branchToFill=rrr rr z- runtime: publicPred=rrrrrz polls=rrrz- proof gates: gates=r/rrrz failed=rz- proof: order=rz context=r z proofFound=rz"- failed opcode10 context gates: `rz- missing evidence count: rz- evidence refs: rz- promotion status: r#z ## Evidencez| kind | status | detail |z| --- | --- | --- |rz| rz | rrz |)rUz## Fill FragmentrUz2| va | value | opcode | handler | fixed advances |z| --- | --- | --- | --- | --- |rz| `ruz` | `rrz` | c32K|]}t|ywrrZr\s r-rzmarkdown..Xs5mUc%j5mr fixedAdvances)rUz## Decoded Opcode10 Fill RowsrUzO| va | table byte | helper case | target table | fill count | expected prefix |z&| --- | --- | --- | --- | ---: | --- |rrrrrc3(K|] }d|d ywr1rNr3r\s r-rzmarkdown..es6zEE#;7G6zr)rUz## Direct RefsrUz(| target | refs | text refs | sections |z| --- | ---: | ---: | --- |r c30K|]\}}|d|ywrNr3rkeyr5s r-rzmarkdown..iscese1UG,cr?z `rGrr )r*rUrerKextendrX)summarylinesr|r>r?s r-markdownrl5s;   WX&'tGH,=+>a@ "7+@#A"B#gNbFcEddjkrtElFkGGJKRScKdJeef g g&89:!< gk236'BT:U9VVYZacB[CZDDE F gm,-Xg>U6V5WWefmoZg[f\ ] W%;<=ZQXYnQoHpGqr *388G<]4^+_+fcf*ggopspxpxy}RYZ{R|y}q}qDADpEEOPSPXPXY`aCYDPEPLILOM N )?!@ A7SoKpJqrBCJKgChBi j "7+G#H"II\]dfG^H]II`ahiMaN`O P )E!F G~V]_BWCVDDTU\]AUBTCCPQXY~QP@ A )C!D EYwWoOpNqq~@GHd@effmnuvRnSmTTabijIbJaK L (D EFaPlHmGnnz|CDa|b{cckloltltu|}WuXlYl`]`ka b '"@AB)GTtLuKvwCDKLXDYCZ [ ,SXXgkkBh6i6omo-p-wtw,xxyz $S5F)G)M2%N$OP GKK(:;<= w'89:;  $5 E8z"O r#f+c#h-CM?"MNO LLGH)*  #'''"#5)<(=U377;CWBXY'(SXX5mcggVeNfNljl5m-m-tqt,uuw y   LL,-  #'''"#51G)H(IJ+,-T#''-2H1Iww()*#chh6zUXU\U\]rUsUywy6z.z/BB.CCE F   LLvw\*002 c88c @S@YWY?`?`?bccjgj b/0SWWW5E4Fc#''R]J^I__bckblln o   LL 99U r/c)vdjd|dD}djd|dD}djd|dD}djd|d jD}djd d d d tj|dddtj|ddtj|ddtj|ddtj|ddtj|ddtj|ddtj|dddtj|dd tj|d!xsd"d#tj|d$d%tj|d&d'|d(d)|d*d+ d,tj|d-d.tjd/j|d0d1|d2d3|d4d5|d6d7|d8d9|d:d;|d<d+d=tjd/j|d>xsd"d?tjd/jd@|dADxsd"dBtjd/j|dCxsd"d+dD|dEdF|dGdH|dIdJ|dKdL|dMdN|dOdP|dQdR|dSdTtjd/j|dUxsd"dV|dWdXtjd/j|j dYxsgxsd"dZt |j d[xsgd\|j d]d^tj|d_d+d`|dadb|dadc|dadd|dagS)eNrhc 3K|]R}dtj|ddtj|ddtj|ddTyw)r rr N)htmlescapers r-rzhtml_page..rsg   {{3v;'(){{3x=)*+{{3x=)*+ sAArc3K|]}dtj|jdxsddtj|jdxsddtj|jdxsddtj|jdxsddtjdjd |jd xsgDxsdd y w) rurrrrrc32K|]}t|ywrrZr\s r-rz&html_page...s#[5CJ#[rr_rqN)rrrsrUr*rs r-rzhtml_page..zs   [[!1!8S9:;[[!4!;<=>[[!5!<=>?[[!8!?C@AB{{388#[CGGO..s#gbs $4#grbrrqN)rrrsrUr[r*rs r-rzhtml_page..s   [[!1!8S9:;[[)?!@!GCHIJ[[)rGrrwrrprrc30K|]\}}|d|ywrdr3res r-rz&html_page...s#kese1UG$4#krgr?rqN)rrrsrUr*rX)rr>r|s r-rzhtml_page..s D#  {{4 !SWW]5K5Rs)S(TUwww !ww{#$%{{388#kPZH[Ha_aGhGhGj#kkrorstu  sCCr zcSave Selector Predecessor Fill Opcode10 Contextzz8

Save Selector Predecessor Fill Opcode10 Context

z

rz

z

route rz -> rMz; predecessor rz rz; current rrz; reader rz .

z

opcode rz handler rrz (rz); helper rz calls rrXrz.

z

fill fragment rz; opcodes rrz ; opcode10=rz ; default=rz; descriptorStop=rz ; fillText=r z; currentReaderText=r z; handlerRouteImmediate=rz

decoded opcode10 fill tables=rz ; counts=c32K|]}t|ywrrZr\s r-rzhtml_page..s0SWchTWX]T^SWrrz ; expected=rz

runtime publicPred=rz ; allZero=rz; matchesFill=rz; polls=rz; fillMatches=rz; proof gates rr]rz ; allBlocked=rz ; failed=rz ; proofFound=rz ; failed opcode10 context gates=rz; missing evidence count=rz; evidence refs=rz; promotion status r#zb

Evidence

z
kindstatusdetail
z

Fill Fragment

z

Decoded Opcode10 Fill Rows

vavalueopcodehandlerfixed advances
zy

Direct Refs

vatable bytehelper casetarget tablefill countexpected prefix
)r*rXrrrsrUre)rj evidence_rowsr= decoded_rowsref_rowss r- html_pagerqsII :& MII -.  M99 01  Lyy!.446H 99o GB dkk',/0 16 $++gh&789WU]M^A_@``{}A}H}HIPQfIg}h|iiwx|xCxCDKL`Daxbwccz{{F{FGNO`Ga{bzccqrvr}r}~EFV~WrXqYYoptp{p{|CDV|WpXoYYe f 4;;w{';<==STXT_T_`ghz`{aC@CUDTEENOSOZOZ[bcB[CODNEEUVZVaVabijwbxVyUzzHIPQhIiHjjxy@Alymxnns t !$++g6L.M"N!OO`aealalmpmumuv}TwUnVbWaXXcdklBdCcDDNOVWsOtNuuFGNOkGlFmmxy@A]y^x__st{|]t^s__wx@dxewffk l *4;;sxxHi@j7k7ror+s*tt}CJJKNKSKSSWlstUlVSWKWK^[^_~``klplwlwx{x@x@AHIkAlxmxtqtlukvv{ | )C!D EZPWXpPqOrsABIJfBgAhhpqxyUqVpWWefmnMfNeOO]^efB^C]DDEFMNjFkEllyzAB_z`yaajkokvkvwzww@GHb@cwdwkhkkljmmz{BCO{PzQQqrvr}r}~A ~F ~F G N G R G R S y G z G @ ~ @ ~A ~H E H rI qJ J c d g h o h s h s t E h F h L J L d M c N N ^ _ f _ j _ j k } _ ~ ^   R S W S ^ S ^ _ f g x _ y S z R { { @ A l V F D+ r/c|jdd|dz }|jtj|dddzd |9|jjdd|jt |d |S) NT)parentsexist_okz4save_selector_predecessor_fill_opcode10_context.jsonFr) ensure_asciiindentrhr%r&)mkdir write_textr)dumpsparentr)rjout_dirhtml_outjson_outs r- write_outputsrs MM$M.OOH  7q9D@dT:Ig.A Or/c tjt}|jdtt dz |jdtt |jdt|j}t|jjt|jdz it|jd z it|jd z it|jd z it|jd z i}t||j|j}td |y)N) descriptionz--exer)typedefaultz --out-dirz --html-out)rz7save_selector_predecessor_fill_execution_order_gap.jsonz9save_selector_predecessor_branch_state_execution_gap.jsonz:save_selector_predecessor_fill_site_execution_context.jsonz(save_selector_secondary_reset_scope.jsonzscript_handler_table.jsonz+wrote predecessor fill opcode10 context -> )argparseArgumentParser__doc__ add_argumentrROOTOUT parse_argsrSrL read_bytesr.rrrprint)parserargsrjrs r-mainrs  $ $ 9F dD=4HI  $<  40    D $,,!ZZ\^_$,,!\\^`a$,,!]]_ab$,,!KKRP$,,!<rsE" LL`` H~''* Ul    * %  M _ g TZ`-)( 0L N P Q ?IQ,"^8 &(0 9=TXB2)- ~ ~~~ ~  ~ & ~ ~B 9x=@25d * zFr/
targetrefstext refssections