UHjB/dZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZdZd Zd Zdd Zdd Zdd ZddZdddZddZddZefddZddZedk(reyy)zCClassify post-gate opcode 0x10 rows near the current route blocker.) annotationsN)Path)Anyoutmap1_01amap2_02d 0x0040b49ecp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)pathfallbacks O/home/exedev/hwanse/tools/summarize_save_selector_post_gate_reset_candidates.py load_jsonrs* ;;= ::dnngn6 77ctt|xsdd}|dz dz}|dz dz}d|dd|d|dk(rdnd |d kd S) N00x02xrprimaryBranchStatesecondaryBranchState )streamPlus1HexhelperArgumentHex stateTablehelperDispatchValid)int) value_hexvalue stream_plus_1 helper_args r decode_op10r+si   S" %EaZ4'M2+%J}S12!*S!12.;q.@*F\)T1  rc(td|DiS)Nc3K|]6}|jdtk(r|jdtk(r|8yw)sourcetargetN)getSOURCETARGET).0rows r z"route_gate_path..'s9 wwx F*swwx/@F/J  s<>)next) gate_pathss rroute_gate_pathr8%s!  %   rc|jdxsgDcic]%}|jdr|jd|'c}Scc}w)N candidatesvaHex)r0)secondary_sourcesr4s rsecondary_candidate_by_var=/sN%((6<"   777  #  s*Ac||nttdz g}||nttdz i}t|}t|}|j dxsg}g}|D]%}|j ddk7rt |j d}|j |j dxsi}|j d|d} |j d |d } |j |j d|j d|j d |j d |d |j d |d | | |j d |j dxs| sdnd| dk(xr t| d (|Dcgc] }|dr| } }d} idtdtd|j dd|j dd|r|dxsij dndd|j dxsij dd|j dd|j dd |j d d!|j d!d"t|d#t| d$t|t| z d%|d&|j d'd(|j d)d*|j d+xsgd,d-d-| d.Scc}w)/Nsave_selector_gate_paths.json*save_selector_secondary_state_sources.json postGateTrace opcodeHex0x10valueHexr;r%r$ handlerVaHexr"r#beforeFrontierReaderrouteRelevancez?post-gate opcode 0x10 row does not dispatch a valid helper casez8post-gate opcode 0x10 row dispatches a valid helper caser ) r;rDrEr"r#r$r%rFrGcanResetSecondaryBranchStaterHaThe two opcode 0x10 rows immediately after the current gates are secondary-table shaped, but their helper arguments are 0xe6 and 0xe7, outside the valid helper jump-table range 0x00..0x0b. They therefore do not prove a post-gate secondaryBranchState reset or fill. The path still stops at the opcode 0x24/0xe8 data-descriptor boundary before any proven route to the 0x00542b0c frontier reader.r.r/nearestWriterVaHexfrontierReaderVaHexpostGateTraceStartHexropcode24BoundaryVaHexopcode24Boundary opcodeVaHexdispatchStopVaHexdispatchStopOpcodeHexdispatchStopHandlerSectionhelperValidCaseRangeHexpostGateOpcode10RowCount validPostGateSecondaryResetCountinvalidPostGateOpcode10RowCountpostGateOpcode10Rows#currentRootValidBeforeFrontierCountvalidBeforeFrontierCount"currentRootValidAfterFrontierCountvalidAfterFrontierCountvalidAfterFrontierRowsvalidAfterFrontierFblocked)postGateRowsPromoteRoutecontrolPathProofStatuspromotionStatus conclusion) rOUTr8r=r0r+appendboolr1r2len) r7r< gate_pathcandidates_by_vapost_gate_tracepost_gate_opcode10_rowsr4decodedsecondary_candidate helper_valid state_tablevalid_post_gate_resetsras r build_summaryro7s~)59SKjEjln;oJ->-J)PY :: Q +I01BCmmO4:O   77; 6 ) cggj12.2237773CDJ*../DgNcFde )--lGL?  /F!G  %imm4P&Q  "#4#8#89R#S  #C(?$@  +C0F,G  *3/F+G#NdJe+e   7  ./@/D/DE_/`  -.?.C.CD].^! " !"3"7"78L"M"SQS# $%*"+$ + s Kcddd|dd|dd|dd d |d d d |d d d|dd d|dd|dd|dd|dd d|dd|dd|dd|dd |d!d d|d"dd#dd$d%g}|d&D]D}|jd'|d(d)|d*d)|d+d)|d,d-|d.d/|d0d/|d1d/|d2d3F|jgd4|d5D]\}|jd'|jd(d)|jd*d)|jd,d-|jd2d3 ^|jdd6j|S)7Nz*# Save Selector Post-Gate Reset Candidatesz - route: r.z -> r/z- nearest writer: `rI`z- frontier reader: `rJz- post-gate trace start: `rKz- opcode 0x24 boundary: `rLz- dispatch stop: `rOz ` opcode `rPz` in rQz- helper valid cases: `rRz- post-gate opcode 0x10 rows: rSz$- valid post-gate secondary resets: rTz1- current valid before-frontier secondary fills: rWz - post-gate rows promote route: r^z- promotion status: `r`raz## Post-Gate Opcode 0x10 Rowsz_| va | value | stream+1 | helper arg | table | helper valid | can reset secondary | relevance |z1| --- | --- | --- | --- | --- | --- | --- | --- |rVz| `r;z` | `rDr"r#z` | r$z | r%rHrGz |)rqz## Valid After-Frontier Rowsrqz'| va | value | helper arg | relevance |z| --- | --- | --- | --- |r[ )rcextendr0join)summarylinesr4s rmarkdownrx{sk4 GH%&d78+<*=> g&:; w'<=>a@ $W-D%E$FaH #G,C$D#EQG W%89:*WMdEeDffklsuQmRlS T !'*C"D!EQG (1K)L(MN .w7Y/Z.[\ ;GDid?|d=d@dAdBS)CNrVzr;zrDr"r#zr$z r%rHrGz r[-rszzzz zF z9 Save Selector Post-Gate Reset Candidatesz zzz3

Save Selector Post-Gate Reset Candidates

z

route r.z -> r/z; post-gate opcode 0x10 rows rSz#; valid post-gate secondary resets rTz; promotion status r`z .

z

opcode 0x24 boundary rLz; dispatch stop rOz&; post-gate rows promote route r^z.

z

raz

z%

Post-Gate Opcode 0x10 Rows

z z
vavaluestream+1helper argtablehelper validcan reset secondaryrelevance
z$

Valid After-Frontier Rows

zf zzrq)rchtmlescaper0ru)rv post_rowsr4 after_rowss r html_pagersI-.   S\234S_567S)9%:;<=S)<%=>?@;;s<0123,-./5678;;s#34567    J/0  SWWW%5%<=>?SWWZ%8%?C@ABSWW-@%A%HSIJK;;sww'78?C@AB     99### # # # Q # D # # r# 1# 7# :# G# f# t# Q# '!#" ##$ %#& '#( >)#* dkk'("345WT[[QYIZ=[<\\y{BC]{^z__BCJKmCnBooHIMITITU\]nUoIpHqq} ~+#, +4;;w?V7W7^[^+_*``}CJJKRSfKgKnkno~ppVW^_yWzV{{@ A-#.  GL12348/#0 01#2 A3#4 5#6 7#8 /9#: q;#< =#> ?#@ A#B C#D E## #rc|jdd|dz jtj|dddzd y) NT)parentsexist_ok-save_selector_post_gate_reset_candidates.jsonF) ensure_asciiindentrsr r )mkdir write_textrdumps)rvout_dirs r write_outputsrsD MM$M. >>JJ 7q9D@Krctjt}|jdtt dz |jdtt dz |jdtt |j }tt|jgt|ji}t||jtd|jd z y) N) descriptionz --gate-pathsr?)typedefaultz--secondary-sourcesr@z --out-dirz2wrote save selector post-gate reset candidates -> r)argparseArgumentParser__doc__ add_argumentrrb parse_argsrorr7r<rrprint)parserargsrvs rmainrs  $ $ 9F T3A`;`a -D#HtBtu  $<    D$//2&$(("-G'4<<( < <<I I J Lr__main__)rrrrreturnr)r'z str | Nonerdict)r7z list[dict]rr)r<rrzdict[str, dict])NN)r7zlist[dict] | Noner<z dict | Nonerr)rvrrstr)rvrrrrNone)rr)r __future__rrr{rpathlibrtypingr__file__resolverROOTrbr1r2OPCODE10_HANDLERrr+r8r=rorxrrr__name__rrrsI"  H~''* Ul  8 AH+\<~25" zFr
vavaluehelper argrelevance