UHjr.dZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZddZdd Zdd Z d dd Zdd Zdd ZddZddZedk(reyy)z@Combine active-flag evidence with the current selector equation.) annotationsN)Path)Anyoutcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks G/home/exedev/hwanse/tools/summarize_save_selector_active_flag_effect.py load_jsonrs* ;;= ::dnngn6 77c|dz}tdD]}|r|dz nd}||sntdD]}|dzdk\rdn|dz}||s|S|S)N r r)range)tablestartslot_s rsimulate_opcode12_selected_slotrsv 4z build_summary..bs%TCc*>&?%TaIThe active-selection flag evidence removes one static unknown from the 0x005428bc writer: the EXE/startup default for 0x00457744 is 1, so opcode 0x12 normally starts from the prior selectionBuffer[0x20] value. However, 0x00457744 is also save offset 0x006c and can be overwritten by a loaded save. More importantly, the prior start slot is not the decisive blocker under the strongest predecessor-fill hypothesis: if 1:0 leaves secondaryBranchState as [1,1,0..], both activeFlag=1 for every possible prior slot and activeFlag=0 from zero select a passing slot. Without that predecessor/runtime table proof, opcode 0x12 still only selects a nonzero state, and state value 2 would fail the 0x00542b0c reader. Promotion therefore remains blocked on predecessor execution/state persistence, the gated control path, and a strict map1_01a hotspot.sourcemap1_01atargetmap2_02d writerVaHex 0x005428bc readerVaHex 0x00542b0cactiveFlagVaHex 0x00457744activeFlagStaticInitialByteHexactiveFlagSaveOffsetHexactiveFlagSaveSource saveOffsetHexactiveFlagResolvedStaticDefaultresolvedStaticDefaultactiveFlagStartupInitVaHexstartupInitVaHexactiveFlagStartupInitCallCountstartupInitCallCountpredecessorSelectorz1:0predecessorRootHex 0x00478364predecessorFillValueHex fillValueHex 0x00000210(secondaryBranchStateAfterPredecessorFilloutcomesallPredecessorStartsPassarbitraryStateCounterexamplesblocked)zNprove predecessor 1:0 executes before current selector 2:0 in the normal routez+B+BCZ+[  %&9&=&=>P&Q  )*=*A*ABX*Y  7;;|jgd2|d3D]6}|jd'|d+d)|d,d)|d-d)|d.rd/nd0d)|d4d1 8|jgd5|jd6|d7D|jdd8j|S)9Nz"# Save Selector Active Flag Effectz - route: r7z -> r9z- writer/reader: `r;z` / `r=`z- active flag: `r?z ` static `rAz` save offset `rBz- startup init: `rGz` calls rIz- predecessor: `rKz` root `rLz` fill `rNz- all predecessor starts pass: rSzL- prior selectionBuffer still primary blocker under predecessor hypothesis: rVz- promotion status: `rWrYz## Predecessor-Fill Outcomeszc| active flag | start source | start slot | selected slot | selected value | reader falls through |z)| ---: | --- | ---: | ---: | ---: | --- |rRz| r z | r!r"r#r$r%yesnoz |)rdz2## Counterexamples Without Predecessor Table ProofrdzP| start slot | selected slot | selected value | reader falls through | meaning |z"| ---: | ---: | ---: | --- | --- |rTr/)rdz## Remaining Blockersrdc3&K|] }d| yw)z- Nr1r3items rr5zmarkdown..sF2dVFr6rX )r&extendjoin)summarylinesr4s rmarkdownrps, GH%&d78+<*=> W]34E'-:P9QQRS 7#456jIiAj@kkz|CD]|^{__` a G$@AB(7SsKtJuv 7#89:(7K_C`BaaijqsLkMjNNO P )'2L*M)NO VW^`cXdWe f (9 :;1=   & m3# E&z"  \"#3s='9&:#c+>N=Os>"#3s?';&R=SSV01utr r!r"r#r$r%rfrg Nhtmlescaper2s rr5zhtml_page..s   < !"{{3}-./0; !>"#$?#$%01ut<=   sAA rRc3K|]<}d|dd|dd|dd|drdnddtj|dd >y w) rsr"rtr#r$r%rfrgr/ruNrvr2s rr5zhtml_page..s|   ; !>"#$?#$%01ut<={{3y>*+,   sAArTrdc3NK|]}dtj|dyw)z
  • z
    • Nrvris rr5zhtml_page..s#`4dkk$/06`s#%rXzTSave Selector Active Flag Effecta(z)

    Save Selector Active Flag Effect

    z

    route: r7z -> r9z; writer r;z; reader r=z .

    z

    active flag r?z; static rAz; save offset rBz; startup init rGz

    all predecessor starts pass: rSzL; prior selectionBuffer still primary blocker under predecessor hypothesis: rVz; promotion status rWz

    rYz

    z"

    Predecessor-Fill Outcomes

    zz
    active flagstart sourcestart slotselected slotselected valuereader falls through
    z8

    Counterexamples Without Predecessor Table Proof

    zz

    Remaining Blockers

    z
      z
    )rmrwrx)rn outcome_rows counter_rowsblockerss r html_pager~s99 :&  L99 :;  Lww`7K^C_``H 99` s3 T[[!234GDKKPXHY r) argparseArgumentParser add_argumentrrZ parse_argsrbrrprint)parserargsrns rmainrsc  $ $ &F  $<    DoG'4<<( 6t||Fm7m6n opr__main__)rrrrreturnr)r list[int]rintrr)rrrz list[dict])NNN)r] dict | Noner^rr_rrdict)rnrrstr)rnrrrrNone)rr)__doc__ __future__rrrwr pathlibrtypingr__file__resolverROOTrZrrr)rbrpr~rr__name__r1rrrsF"  H~''* Ul8 2(,,0,0M$M)M*M M`(V)Xiq zFr
    start slotselected slotselected valuereader falls throughmeaning