UHjDjdZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZdZd Zd ZdZdZd Zgd Zgd ZddddddgZd#dZd$dZd%dZd%dZd&dZd'dZd(dZd)d*dZd+dZ d,dZ!d-d.dZ"d/dZ#d/dZ$efd0d Z%d1d!Z&e'd"k(re&yy)2zFApply public savedat byte samples to the current gate-base candidates.) annotationsN)Path)Anyoutmap1_01amap2_02d )zcurrent-selector-2-0-samplezruntime-pointer-mode-proofzparty-slot-index-evidencezcontrol-path-gate-byte-proof)zBpublic or captured sample covering current selector 2:0 gate bytesz:runtime pointer-mode proof selecting the correct gate basezVparty-slot byte evidence that yields a valid branch-state index rather than stat byteszNcontrol-path proof that sampled gate bytes apply to the current frontier gatesz%data/savedata_sample_gate_values.jsonz:public savedat byte samples used to calibrate gate offsets)path descriptionz+out/save_selector_gate_base_candidates.jsonz;candidate gate-base mappings and save offsets being sampledcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)r fallbacks G/home/exedev/hwanse/tools/summarize_save_selector_gate_sample_values.py load_jsonr,s* ;;= ::dnngn6 77cd|dS)N0x02xvalues rhex8r 2s c{ rcL|jdd|jdS)N selectorGroup: selectorSlotgetsamples rsample_selectorr)6s'jj) *!FJJ~,F+G HHrcL|jdd|jdS)NtileX,tileYr%r's r sample_tiler.:s'jj! "!FJJw$7#8 99rcF|jd}|sy|dd|ddS)N knownField-field (byteRole)r%)rowr2s r field_textr7>s4 GGL !E Gn Rj 12! 44rc|jdxsi}|j|}||j|j}t|tr|SdS)Nvalues)r&lower isinstanceint)r( offset_hexr9rs rvalue_atr>EsS ZZ ! 'RF JJz "E } :++-.uc*544rcVt|txrt|cxkxr tkScSN)r;r<EXPECTED_INDEX_MINEXPECTED_INDEX_MAXrs rin_expected_rangerCMs& eS ! W&8E&WEW&WW&WWrc|jdxsgDcgc])}|jd|k(r|jdr|+}}|$|Dcgc]}|jd|k(s|}}|Scc}wcc}w)NbaseCandidatesbaseKind saveOffsetHexclassificationr%)gate_base_candidates base_kindrHr6rowss rcandidate_rowsrLQs+//0@AGR  77: ) +0H  D !#Ssww/?'@N'RSS K   Ts.A0A5(A5c g}|D]M}t|}|jdtk(xr|jdtk(}|D]}|jd}t ||}|j id|jdd|jdd|d|jdd|jdd t |d |d |jd d |jd d |jd d|d|jdd|d| t|nddt|d|jd P|S)Nr"r$rGsampleIdid samplePathr selectortilecoversCurrentFrontierSelectorrFslot gateOffsetHexr0rvalueHexinExpectedIndexRangecandidateClassificationrH) r)r&CURRENT_FRONTIER_GROUPCURRENT_FRONTIER_SLOTr>appendr.r rC) samples candidatesrKr(rQcovers_current candidater=rs rsample_value_rowsr`[s D"6* JJ '+A A D >*.CC $ I"7JVZ0E KKFJJt,fjj0H O!<   > :   F+ 0IMM*5 f- !? immL95+z build_summary..sG#   ?#'== @ JJ~ &*? ? @#s<>source sourceUrl)rkrlaThe public savedat bytes keep the save/runtime block base plausible only as calibration: loader-aware mapping puts 0x004576d8+0xe8/0xea at save offsets 0x00e2/0x00e4 after the six-byte runtime gap, and all public samples read 0x00 there. Those values are in the expected 0..11 branch-index range, but the samples cover selectors 0:0, 1:0, and 22:0, not the current frontier selector 2:0. The same samples make the party-slot-base mapping weaker: the corresponding stat-byte candidates are 0xe7, 0xa6, or 0x7a, outside the expected selection-index range. This rejects the stat-byte interpretation as promotion evidence while leaving global/save-runtime buffer or object pointer table runtime proof still required.target sampleSource, c3&K|] }|d yw)rkNrrir6s rrjz build_summary..s!JC#h-!JsampleSourceUrlc3JK|]}|jds|dyw)rlNr%rqs rrjz build_summary..s$$h#SVSZSZ[fSgS%5$hs# # sampleSourcesgateOffsetsHexexpectedIndexRangecurrentFrontierSelectorr# sampleCountuniqueSelectorCountsampleSelectorscurrentFrontierSampleCoveredsaveRuntimeGateCandidateCountpartySlotStatCandidateCountsaveRuntimeGateSampleRowspartySlotStatSampleRowssaveRuntimeGateSampleValueCountc3DK|]}|jddywrNrr%rqs rrjz build_summary..s".nSQTQXQXY`QaQmq.n  c3,K|] }|ds dywrWrNrrqs rrjz build_summary..s5tCX[\rXsa5t c3DK|]}|jddywrr%rqs rrjz build_summary..s",o3RURYRYZaRbRnQ,orc3,K|] }|ds dywrrrqs rrjz build_summary..s3u#Y\]sYtA3urTblockedF)&saveRuntimeGateInRangeSampleValueCount saveRuntimeGateDistinctValuesHexpartySlotStatSampleValueCount$partySlotStatInRangeSampleValueCountpartySlotStatDistinctValuesHexruntimePointerModeStillRequiredcontrolPathProofStatus proofFoundgateSampleValueProofFoundfailedGateSampleValueGateIdsmissingEvidence evidenceRefsevidenceRefCountpromotionStatus conclusion)rROOTOUTr&rLr`anyr[rbr)SOURCETARGETjoinrArBrYrZlensumrc!FAILED_GATE_SAMPLE_VALUE_GATE_IDS"GATE_SAMPLE_VALUE_MISSING_EVIDENCEGATE_SAMPLE_VALUE_EVIDENCE_REFS)r\rI sample_itemssave_runtime_candidatesparty_slot_stat_candidatessave_runtime_rowsparty_slot_stat_rowscurrent_frontier_coveredsample_sourcesr(rk source_urlitem selectorsrs r build_summaryrs ,g)D6MLnX)>ZZ ,H K0H  z: d.0  ! !$ ' ( lKF/KLI c! &! &!   !J>!JJ!  499$h$hh !   !  .223CDJ !  13EF!  "&<%=Q?T>U#V!  s<(!  s9~!  9!  '(@!  (-D)E!  &s+E'F!  $%6!  "#7!! " *3.n|d?d>|d@d>|dAd>|dBxsdCdD|dEdF|dGdHJ|jgdI|dJD]N}|jd:|d;d<|d=dD|dKd<|d@d>|dAdDt|d<|dBxsdCdD|dEdHP|jddLj|S)MNz"# Save Selector Gate Sample Valuesz - route: rkz -> rmz- sample source: rnr3rsr5z- gate offsets: roc3(K|] }d|d yw`Nrrirs rrjzmarkdown..s$WTqa[$Wrvz"- expected selection index range: rwrz..rz- sample count: ryz- sample selectors: c3(K|] }d|d ywrrrs rrjzmarkdown..s(\1TF!(\rr{z- current frontier selector: `rxrz#- current frontier sample covered: r|z - save/runtime in-range values: r / rz#- party-slot stat in-range values: rrz'- runtime pointer mode still required: rz- proofFound: `rz- gateSampleValueProofFound: `rz- promotion status: `rrz## Failed Gatesc3(K|] }d|d yw)- `rNrrs rrjzmarkdown..sS43tfASrr)rz## Missing Evidencerc3&K|] }d| yw)z- Nrrs rrjzmarkdown..sD2dVDrrr)rz## Evidence Refsrc38K|]}d|dd|dyw)rr z`: r Nrrqs rrjzmarkdown..s/  c&k]#c-012sr)rz## Save/Runtime Gate Bytesrz^| sample | selector | tile | gate | save offset | value | in range | covers current selector |z2| --- | --- | --- | --- | --- | ---: | --- | --- |rz| rNz | `rQz` | `rRrUrGrVr1z` | rWz | rSz |)rz## Party Slot Stat BytesrzW| sample | selector | slot | gate | save offset | known save field | value | in range |z3| --- | --- | ---: | --- | --- | --- | ---: | --- |rrT )rextendr[r7)summarylinesr6s rmarkdownrs, GH%&d78+<*=> GN34Bw?P7Q6RRST 499$WWEU=V$WWXY ,W5I-J1-M,NbQXYmQnopQqPrs 7=123 tyy(\IZA[(\\]^ (1J)K(LAN -g6T.U-VW *73[+\*]]`ahjKbLaM N -g6\.]-^^abikJcKbL M 1':[2\1]^ ',/02 (1L)M(NaP (9 :;1=    + E. LLS73Q+RSS LL  LLD1B)CDD LL  LL>* LL23  Z!c*o%6eCK=cRaNbMcdO$%U3z?+Ac*B$sKaGbFccf234B 8   LL01  Z!c*o%6d3v;-tCP_L`KabO$%T*S/):$s:?URU>VVZ)*+2 /   LL 99U rcdjd|dD}djd|dD}djd|dD}g}|dD]}|jd tj|d xsd d tj|d dtj|ddtj|ddtj|ddtj|dxsd d|dd|ddg}|dD]}|jd tj|d xsd d tj|d d|dd tj|ddtj|ddtjt |d tj|dxsd d|dddjgdddddd d!d"d#d$d%d&d'd(d)d*d+d,d-d.d/tj|d0d1tj|d2d3tj|j d4xsd d5tjd6j|d7d8tj|d9d:|d;d<|d=d>|d?d<|d@dA|dBdCtj|dDdEdFtj|dGdHdIdJ|dKdLdJ|dKdMdJ|dKdNdO|dPdQdR|dPdSdTdS)UNrc3NK|]}dtj|dyw)
  • z
    • Nhtmlescapers rrjzhtml_page..s+  T[[&'|4#%rc3NK|]}dtj|dyw)z
  • 
    • Nrrs rrjzhtml_page..s+  t{{4 !'rrc3K|]9}dtj|ddtj|dd;yw)rr z : r rNrrqs rrjzhtml_page..sE  T[[V-.i C DV8W7XX]^s?ArrzrNr1zrQzrRrUrGrVzrWz rSz rrTrzzzz zF z1 Save Selector Gate Sample Valuesz zzz+

    Save Selector Gate Sample Values

    z

    route rkz -> rmz; sample source rnz; sample selectors ror{z"; current frontier selector rxz&; save/runtime in-range values rrrz"; party-slot stat in-range values rrz; proofFound rz ; promotion status rz .

    z

    rz

    z

    Failed Gates

    z
      z
    z

    Missing Evidence

    z

    Evidence Refs

    z"

    Save/Runtime Gate Bytes

    z z
    sampleselectortilegatesave offsetvaluein rangecovers current selector
    z

    Party Slot Stat Bytes

    z zz)rr[rrr7r&)r failed_gatesmissing_evidence evidence_refsrr6party_slot_rowss r html_pagersX77:;Lww-.GG>*M23     ;;s:5#678S_567S[123S%9:;<S%9:;<S_%;<=>-./06789    O01   ;;s:5#678S_567v;- S%9:;<S%9:;<;;z#/01S_%;<=>-./0     99/// / # / Q / < / / r/ 1/ 7/ :/ G/ f/ t/ Q/ '!/" #/$ %/& '/( 6)/* dkk'("345WT[[QYIZ=[<\]W[[%@%GCHIJ KK ':K2L(MNOP++/;;w?X7Y+Z*[\((/0X(Y'ZZ]^egH_I^JJ++23Y+Z*[[^_fhG`H_II#L123""&++g6G.H"I!J, X+/:  GL12348;/< "=/> e$?/@ &A/B !"%(C/D #E/F u%G/H -I/J @K/L M/N O/P +Q/R yS/T U/V W/X Y/Z [/\ ]// /rc|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz%save_selector_gate_sample_values.jsonFr ) ensure_asciiindentrrr%save_selector_gate_sample_values.html)mkdir write_textrdumpsr)rout_dirs r write_outputsrise MM$M. 66BB 7q9D@C 66BB9WCU`gBhrctjt}|jdtt dz dz |jdtt dz |jdtt |j}tt|jit|ji}t||jtd |jd z y) N)r z --samplesrerf)typedefaultz--gate-base-candidatesrgz --out-dirz*wrote save selector gate sample values -> r)argparseArgumentParser__doc__ add_argumentrrr parse_argsrrr\rIrrprint)parserargsrs rmainrrs  $ $ 9F  $v Hj8jk 0tSKtEtu  $<    D$,,#$++R0G'4<<( 6t||Fm7m6n opr__main__)r rrrreturnr)rr<rstr)r(dictrr)r6rrr)r(rr=rr int | None)rrrboolr@)rIrrJrrHz str | Noner list[dict])r\rr]rrr)rKrrz list[str])NN)r\ dict | NonerIrrr)rrrr)rrrrrNone)rr)(r __future__rrrrpathlibrtypingr__file__resolverrrrrrYrZrArBrrrrr r)r.r7r>rCrLr`rcrrrrr__name__rrrrsL"  H~''* Ul  %! &"8S >T #8 I:55X@LFRCLXv25i q zFr
    sampleselectorslotgatesave offsetknown save fieldvaluein range