UHj7dZddlmZddlZddlZddlZddlZddlZddlm Z ejjde e e jjddlmZmZmZe e jj(dZedz ZdZd Zd Zdd Zdd Zdd ZddZddZ ddZddZ ddZ!ddZ"ddZ#d dZ$e%dk(re$yy)!zLSummarize secondaryBranchState reset/write scope around the current blocker.) annotationsN)Path) offset_to_va read_sections va_to_offsetouti`Yi Ai@cd|dS)N0x08x)values J/home/exedev/hwanse/tools/summarize_save_selector_secondary_reset_scope.pyhex32rs c{ c g}|D]}|jddk7r|d}||dz}|||}tdtdt|dz D]}||dk7r t |||z} | t j d||d zd} | d z| z} | |k(sI|j| t| t| t| cxkxr td zkncd |S) Nnamez.textrawraw_sizerzC6Cz build_summary..zs9o[^#>U:V9ovalidBeforeFrontierCountvalidAfterFrontierCounttailValidSecondaryFillCountrVrrWakThe secondaryBranchState table has no direct indexed writes in .text; its direct references are table-base loads, stack-local table pointer loads, and indexed reads. Helper 0x00410c90 is reached by a single direct call inside the opcode 0x10 handler, so secondary resets/overwrites are driven by script opcode 0x10 rows. The current root has no valid secondary opcode 0x10 fill before the 0x00542b0c blocker and the 1:0 tail has no post-fill secondary fill. This narrows reset risk to unproven runtime order or still-untraced bytecode paths; it still does not promote map1_01a->map2_02d without a strict source hotspot.) helperVaHexopcode10HandlerHexdirectCallCount directCalls#onlyDirectCallInsideOpcode10Handler rootRangeHexrQfrontierReaderHexpredecessorRootHexlocalTailResetFoundpersistenceProvenstrictHotspotFound) currentRootHexrr'currentRootValidBeforeFrontierFillCount¤tRootValidAfterFrontierFillCountrs&predecessorTailValidSecondaryFillCountpredecessorLocalTailResetFoundrurvFblocked)zJprove selector 1:0 executes before selector 2:0 in the normal runtime pathzjprove no untraced bytecode path runs another secondary opcode 0x10 fill between 1:0 and the current readerz1find strict map1_01a source coordinate or hotspot) rMhelper routeScopenoDirectGlobalSecondaryWriter'noKnownPreFrontierResetInScopedEvidenceglobalResetRuledOutpromotionStatusremainingProofs conclusion) rrar2 HELPER_VAr!allrrr%split)r&r[secondary_state_sourcespredecessor_tail_resetpersistence_gapr'r] helper_callshelper_only_opcode10current_before current_after tail_validno_direct_global_writerno_known_pre_frontier_resetrs r build_summaryrpsS!H'X|DIS(I6L|,1oc9obn9o6o,001KLN+//0IJM'++,IJJ'(BCqHqYWkMlpqMq    a   !O   X!* +"'(8"9"<0'3G  699."MSSTXZ[\]^_!8!.sG*#uuAeW%Gs-)joinrZ)countss r format_countsrs" 99G G G N3Nrc|d}|d}|d}ddd|ddd |d d t|d d d|dd|dd|dd|dd|dd|dd|dd|dd|dd |d!d"|d#d$|d%d|d&dd'dd(d)g}|d*D]&}|jd+|d,d-|d.d/|d0d1(|jgd2|d3D]X}|jd+|d4d/|jd5xsd6d7|jd8d7|jd9xsd6d1 Z|jgd:|jd;|d<D|jdd=j |S)>NrMr}r~z%# Save Selector Secondary Reset Scoperqz- secondaryBranchState: `rP`z- secondary refs: rT (rU)z$- direct secondary indexed writers: rVz- unresolved secondary refs: rWz - helper: `rkz` direct calls rmz1- helper only called inside opcode 0x10 handler: roz1- current valid before-frontier secondary fills: rxz0- current valid after-frontier secondary fills: ryz*- predecessor tail valid secondary fills: rzz%- no direct global secondary writer: rz2- no known pre-frontier reset in scoped evidence: rz- global reset ruled out: rz- promotion status: rrz## Helper Direct Callsz+| call | target | inside opcode10 handler |z| --- | --- | --- |rnz| `rz` | `rz` | rz |)rqz## Secondary Table Refsrqz'| ref | kind | writes table | meaning |z| --- | --- | --- | --- |rNrefVaHexr9rz | r?r@)rqz## Remaining Proofsrqc3&K|] }d| yw)z- Nr reitems rrfzmarkdown..sD2dVDrgr )rr$extendrr)summaryr]r}routelinesrHs rmarkdownrsY./I X F L !E/ #Ij$9#:!< Yz232mIoD^6_5``ab .y9S/T.UV ' 2F(G'HI f]+,OFCTc#''JaBbAccfwwy!(S) -   LL01 LLD1B)CDD LL 99U rc~|d}|d}|d}djd|dD}djd|dD}d jd |d D}djd d ddtj|dd|ddtjt|dd|dd|dd d|dd|dd|ddd |d!d"|d#d$|d%dd&|d'd(|d)d*|d+d,tj|d-d. d/tj|d0d.d1|d2d3|d2d4|d5gS)6NrMr}r~rc3K|]?}dtj|ddtj|dd|ddAyw)rzrr Nhtmlescaperds rrfzhtml_page..sb   [[[!1234[[]!3456*+,- sAArnc 3TK|]}dtj|ddtj|jdxsddtjt|jddtj|jdxsdd y w) rrrr9rz r?r@rN)rrrstrrds rrfzhtml_page..s   [[Z123{{3776?1c234{{3sww'>?@ABC{{3779-4567  sB&B(rNrqc3NK|]}dtj|dyw)z
  • z
    • Nrrs rrfzhtml_page..s#\tDKK-.e4\s#%rzWSave Selector Secondary Reset Scopezz,

    Save Selector Secondary Reset Scope

    z

    secondaryBranchState rPz; refs rTrrUz%); direct secondary indexed writers: rVz; unresolved refs: rWz.

    z

    helper rkz; direct calls rmz1; helper only called inside opcode 0x10 handler: roz"

    current before-frontier fills: rxz ; current after-frontier fills: ryz ; predecessor tail valid fills: rzz&

    no direct global secondary writer: rz2; no known pre-frontier reset in scoped evidence: rz; global reset ruled out: rz; promotion status: rz

    z

    rz~

    Helper Direct Calls

    z
    calltargetinside opcode10 handler
    z

    Secondary Table Refs

    z

    Remaining Proofs

      z
    )rrrr)rr]r}r call_rowsref_rowsproofss r html_pagers./I X F L !E  -( IyyV$HWW\IZA[\ \F 99c G6 (Yz5J)K(LN[deo[pZqqstxttANOXYhOiAjuktllQR[\vRwQxxKLUVjLkKllq r 6-011GO`HaGbcTU[\AUBTCCH I ,U3\-],^^~@EFn@oppPQVWQ@PAAF G 09X1Y0Z[MNUVN@MAA[\cdy\z[{{OPTP[P[\cdu\vPwOxx| } dkk',/0 16 I L 'xu5 rc|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz(save_selector_secondary_reset_scope.jsonF) ensure_asciiindentrutf-8encoding(save_selector_secondary_reset_scope.html)mkdir write_textjsondumpsr)rout_dirs r write_outputsr sf MM$M. 99EE 7q9D@F 99EEiPWFXcjEkrc tj}|jdttdz |jdtt dz |jdtt dz |jdtt d z |jd tt d z |jd tt |j }t|jjtj|jjd tj|jjd tj|jjd tj|j jd }t#||j$t'd|j$dz y)Nz--exez Hwanse2.exe)typedefaultz--branch-statezsave_selector_branch_state.jsonz--secondary-state-sourcesz*save_selector_secondary_state_sources.jsonz --tail-resetz)save_selector_predecessor_tail_reset.jsonz--persistence-gapz.save_selector_predecessor_persistence_gap.jsonz --out-dirrrzwrote secondary reset scope -> r)argparseArgumentParser add_argumentrROOTOUT parse_argsrr& read_bytesrloadsr[ read_textr tail_resetrrrprint)parserargsrs rmainrs  $ $ &F dD=4HI (tSCd=de 3$NzHz{ T3Al;lm +$Fv@vw  $<    D  4$$...@A 4//9979KL 4??,,g,>? 4''1171CD G'4<<( +DLL;e,e+f ghr__main__)rrFreturnr)r&bytesr' list[dict]r(rFrr)r&rr4rFr5rFrr)r&rr'rrGrDrrD)r&rr'rr[rDrrD) r&rr[rDrrDrrDrrDrrD)rzdict[str, int]rr)rrDrr)rrDrrrNone)rr)&__doc__ __future__rrrrr"syspathlibrpathinsertr__file__resolveparentprobe_exe_scene_tablesrrrrrrrXrr%rr2r6rJrarrrrrr__name__r rrrsR" 3tH~--/6678LL H~''* Ul  4.2:; ;;";! ;  ;  ;|O/d&Rli( zFr
    refkindwrites tablemeaning