UHjdZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZmZmZddlmZe ej!j0dZed z Zd Zd Zd Zd ZdZddhZ hdZ!hdZ"gdZ#gdZ$dddddddddgZ%ddddd d!Z&d>d"Z'd>d#Z(d?d$Z)d?d%Z*d@d&Z+dAd'Z,dBd(Z-dCd)Z.dDd*Z/dEd+Z0dFd,Z1dGd-Z2dHd.Z3dId/Z4dJd0Z5dKd1Z6 dLd2Z7dMd3Z8dNd4Z9 dOd5Z: dPd6Z;dQd7Z< dR dSd8Z=dTd9Z>dTd:Z?efdUd;Z@dVd<ZAeBd=k(reAyy)WzISummarize descriptor scripts reached by save-selector opcode 0x20 mode 0.) annotationsN)Path)Any)find_cns_strings read_sections va_to_offset)GENERAL_HANDLER_NOTESoutmap1_01amap2_02di-D `>>(@ABCD)zruntime-active-orderz-descriptor-script-field-map-or-frontier-proofz!descriptor-script-gate-base-proofzstrict-source-hotspot)zDruntime active order/count selecting the current descriptor+4 scriptzFfield-map/frontier/encoded route-target evidence in descriptor scriptszSdescriptor script reader/writer hitting gate offsets 0xe8/0xea with a specific basez:strict map1_01a source hotspot or equivalent route trigger Hwanse2.exez:descriptor table, script dword, CNS, and gate-offset scans)path descriptionz7out/save_selector_opcode20_slot_descriptor_writers.jsonz5descriptor table and runtime active-order writer pathz2out/save_selector_current_root_frontier_paths.jsonzPcurrent frontier/root/source/target reference addresses for encoded-target scansiTi*Ti +TiD+Ti+T) currentRoot frontierLeaffrontierReader sourceRecord targetRecordcd|dS)N0x08xvalues P/home/exedev/hwanse/tools/summarize_save_selector_opcode20_descriptor_scripts.pyhex32r+: c{ cd|dS)Nr%02xr'r(s r*hex8r0>r,r-c|dzr|dz S|S)Niir'r(s r*sign16r2Bs#fn57?7%7r-c|dzr|dz S|S)Nllr'r(s r*sign32r4Fs"'*"45; ?%?r-cp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks r* load_jsonr>Js* ;;= ::dnngn6 77r-c"|r t|dSdS)Nr)intr(s r* parse_hexrAPs"3ub>,,r-cvt||}||dzt|kDrytjd||dS)Nz2   E5 U    s:clt|jDcgc] \}}||d c}}Scc}}w)N)r)rl)rmrnros r*string_histogram_rowsrss= #6<<>2   E5   s0ci}|D]H}|D]A}|jd}||j|d|jdxsdz||<CJt|S)Nr)rrl)rbrs) histogramsrp histogramrowr)s r*merge_string_histogramsrxssFK  KCGGG$E}"JJua0CGGG4D4IJF5M  KK ! ((r-c|dk(r'|dk(ry|dk(rdt|Sdt|S|dk(ry|d k(rd t|S|d k(ry |d k(rdt|Sy)Nrrz!context-f2-runtime-object-pointerr zstream2-object-pointer-z unsupported-object-pointer-mode-rzglobal-selection-bufferrz slot-base-rzsave-runtime-block-baserzsaved-pointer-table-unknown-context-a8-source)r0)rcrh stream_plus_2s r*context_a8_operand_sourcer|s ~ D 6 D ,T--@,AB B1$}2E1FGG ~( ~D/011 ~( ~%d=&9%:;; &r-chd}ddh}g}t|jD]4\}}||vrd}n ||vrd}nd}|j||t||d6|S)N>rr r!r"r#current route-record route-context)labelrIvaHexgroup)rmrnappendr+) frontier_refscurrent_labelsroute_record_labelsrowsrrIrs r*frontier_ref_targetsrsFN)>: DM//12  r N "E ) )"E#E 2Y      Kr-cbd|dzdfdt|dz|dzfdt||dzfg}g}|D]{\}}} |D]p} | d} |dk(r || dzk(} n| duxr| |z| k(} | s'|j||t|t||t|dzt| | d | d d d d r}|S)Nz abs16-lowizsigned-rel16-site-plus2zsigned-rel32-site-plus4rCrIlrrblockedF) slotindex siteVaHexrkkind scalarHex targetHex targetLabel targetGrouppromotionStatuspromotesRouteExecution)r2r4rr+) rWr)targetsr slot_namevaluesrrscalarrel_basetarget target_vamatchess r*encoded_target_rows_for_dwordrs efnd+ "F56>$:FQJG "F5M6A:>F D"(fh Ft I{" Y%78"$.Q8f3D 3Q KK!"6]!%L"6J#67"9-%g%g#,*/   , Kr-c i}i}i}|D]}|jd}|jd}|jd}|r|j|ddz||<|r|j|ddz||<|sm|j|ddz||<|Dcgc]}|jddvr|}}|Dcgc]}|jddk(r|} }|rdnd t|t|t| dtt|j tt|j tt|j |dd d d Scc}wcc}w) Nrrrrr >r~rr;descriptor-script-encoded-route-target-scalars-nonpromoting5no-encoded-route-target-scalars-in-descriptor-scriptsr classificationrawScalarCandidateCount!routeProofRawScalarCandidateCount#routeContextRawScalarCandidateCountpromotingCandidateCounttargetGroupCountstargetLabelCounts kindCounts sampleRowsr)rbrDdictrmrn) r group_counts label_counts kind_countsrwrrrroute_proof_rowsroute_context_rowss r*encoded_target_summaryrs#%L#%L"$K = & &wwv "."2"25!"?6+"3"3"5673Bi$ s E$6E)c td|D}td|D}td|D}td|D}i}i}i}g}|D]} | jdxsijD]\} } |j| d| z|| <| jdxsijD]\} } |j| d| z|| <| jdxsijD]\} } |j| d| z|| <t|d ks|j | jd xsgdd t|z |rd nd ||||t t |jt t |jt t |j|d d S)Nc3FK|]}|jdxsdyw)rrNra.0scans r* z-merge_encoded_target_scans.. s"ODHH67<1<O!c3FK|]}|jdxsdyw)rrNrars r*rz-merge_encoded_target_scans..s#aSWDHH%HINQNarc3FK|]}|jdxsdyw)rrNrars r*rz-merge_encoded_target_scans..s$eW[dhh'LMRQRRerc3FK|]}|jdxsdyw)rrNrars r*rz-merge_encoded_target_scans..s"Ut$((#<=BBUrrrrrrrrrrr)sumrbrnrDextendrrm) scans raw_countroute_proof_countroute_context_countpromoting_countrrr sample_rowsrkeyrls r*merge_encoded_target_scansr sOOOIa[`aae_deeUuUUO#%L#%L"$KKW88$78>BEEG AJC , 0 0a 85 @L  A88$78>BEEG AJC , 0 0a 85 @L  A88L17R>>@ ?JC*sA6>K  ? { b    6 <">TrC DT?TU VW JH#,->/B#2!&););)=">?!&););)=">?6+"3"3"567!$ r-c ||id|dddddgdgddddd gd dd dd gd gdddddddgdgidgdddddddddddgdgdgddddddddd tgd!d"d#dd$dddiiigd%Sg}g}g}g} g} d} i} d} g}d}d}i}i}i}i}g}g}|jDcic]\}}|| }}}t|}ttD]}||d&zz}t |||}|n|d'z}|d(z d'z}|d)z d'z}d} |t vr| d*z } | j|dd*z| |<|tv}!|t|t|t|t|t|t||d+v|d,k(|!d- }"|!r%|j|"|"d.r|d*z }|"d/r|d*z }|tvr|j|dd*z||<tj|i}#|#jd0xsd1}$t!||}%t#|#jd2}&|t|t|t|t|t|t|d3z d'z|#jd4xsd1|&|$|&r t%|||nd|#jd5xsd6|%|%rd7nd8d9}'|j|'|'d2rS|j|$dd*z||$<|%s9|j|$dd*z||$<|'d:xsd;}(|j|(dd*z||(<t'|d| d?<|*d@| d@<nt-||| d*z } ||vrC|t|t|||dA}+|j|+| t)|+} n||| dB<t/|||||},| j1|,|,r@| >|t|t|t'|,t3|,D+chc]}+|+dC c}+dD} n1|,r/| -t'|,| dE<t3|,D+chc]}+|+dC c}+| dF<| | j| t| }-id|dt|dtd|d|dt'|d| d |d t'|d | d t5| d |d|d|dt7|j9dt5|d|id|dt7dG|Ddt7dH|Ddt7|j9dt7dI|Ddt7|j9dt;|dt;|dt;|d|r|dJnddt=dKt?|Dddt=dLt?|Dddt=dMt?|Ddd |-d!|-dNd#|-dOd$|-dP|-dQ|-dR|-dS|-dT|-dU| ddVd%Scc}}wcc}+wcc}+w)WNr scriptVaHexscannedDwordCountr linkedCns fieldRecordsfieldRecordCountpointerDwordCountcurrentFrontierDirectRefscurrentFrontierDirectRefCountselectionOpcodeCountselectionOffsetHistogramgateSelectionRowsgateWriterCountgateReaderCountbaseSetterOpcodeCountbaseSetterOpcodeHistogrambaseSetterSampleRowsbaseSetterRowsbaseSetterPointerLikeCountbaseSetterNonPointerCountcontextA8SetterRowCount"contextA8PointerLikeSetterRowCount!contextA8NonPointerSetterRowCount contextA8BaseExpressionHistogram*contextA8NonPointerBaseExpressionHistogram)contextA8NonPointerOperandSourceHistogramlastBaseSetterRowlastContextA8SetterRowlastNonPointerBaseSetterRow lastNonPointerContextA8SetterRowencodedTargetScanencodedTargetClassificationr$encodedTargetRawScalarCandidateCount.encodedTargetRouteProofRawScalarCandidateCount)0encodedTargetRouteContextRawScalarCandidateCount$encodedTargetPromotingCandidateCountencodedTargetGroupCountsencodedTargetLabelCountsencodedTargetKindCountsinterestingRowsrCrr >rrr) rrrk opcodeHex operation stateTableselectionBufferOffsetHexwritesSelectionBufferreadsSelectionBuffer isGateOffsetrrbaseExpressionunknownwritesContextA8rrX evidenceVaHex-z pointer-dword-low-byte-collisionznon-pointer-opcode-shaped-row)rrrkrstreamPlus1HexstreamPlus2HexstreamPlus3Hex handlerNamerrcontextA8OperandSourcehandlerEvidenceVaHexisPointerDwordshapeClassificationrrzr)rrrkcnsTfieldMapRecordStartrU)rrrkrcurrentFrontierTargetr)rrrkencodedTargetHitCountencodedTargetLabelsr r c3,K|] }|ds dywrr Nr'rrws r*rz!script_summary..s)a3O_K`!)a c3,K|] }|dr dywr r'rs r*rz!script_summary..s(dscRbNc(drc38K|]}|ds |dsdyw)rrr Nr'rs r*rz!script_summary..s%2 S1B-CL\H]A2 c3,K|] }|ds |yw)rNr'rs r*rz!script_summary..s QS#>O:PS Qrc3,K|] }|dr |yw)rNr'rs r*rz!script_summary..s TScBR>SS Trc38K|]}|ds |dr|yw)rrNr'rs r*rz!script_summary..s! oS#>O:PY\]mYnS orrrrrrrrr0) rrnrrangeSCRIPT_SCAN_DWORDSrKSELECTION_OPCODESrb GATE_OFFSETSr+r0rdrirBASE_SETTER_OPCODESr rMboolr|rDrrZrrrrmrqrrrsnextreversed).rGrHstrings script_varr linked_cns field_records frontier_hits encoded_rowsinteresting_rows pointer_countselection_offset_countsselection_opcode_countgate_selection_rowsgate_writer_countgate_reader_countbase_setter_countscontext_a8_base_counts"context_a8_non_pointer_base_counts%context_a8_non_pointer_operand_countsbase_setter_sample_rowsbase_setter_rowsrr)frontier_by_vaencoded_targetsrrWrcrhr{rwis_gate_offset selection_rownotebase_expression pointer_likewrites_context_a8base_setter_rowoperand_sourcerX field_recordhit encoded_hits encoded_scans. r*script_summaryrA0s ) I) 4)  )   ) B )  )  )  ()  ,Q)  #A)  ')  )  q)  q)  $Q) (!) " #B#) $ b%) & )!') ( ()) * &q+) , 1!-) . 0/) 0 /1) 2 9"3) 4 85) 6 7) 8 %d9) : *4;) < /=) > !7!;?) @ *+bA) B 3AC) D =aE) FAB45(*(*')!Q) ) VJMMLM.0)+-/9;&<>) 7D7J7J7LM|ueeUlMNM*=9O)*t)UQY&h/ = !t+ ", %) & & "a ' "5L5P5PQ^`a5bef5f #M 2*l:Nv!%L!&\08)-8,0,?)/<)?(.$ . M#**=9 !89%*% !78%*% ( ();)?)?)JQ)N v &(,,VR8D"hh'78EIO+He>PQRUVV7G&55M%N%mRmN=AA.RSTWXX:.I*+b0'..tO/DE G 5>D:%!!$'v!%L C 0XvtLL$$\2-1)*$0$>L! (E * 6 Q M N "v!%L(/ C   %{3i/=e/D+,4VUOUZ\ef L) CKv!%L),\):'-\.Zcs=/A.Z'[ Cco+.|+%>%@!A4  $^4F%G!4 "  7#4 $ *%4 & %c)a7G)a&a'4 ( $S(d6F(d%d)4 * "3'='D'D'F#G+4 , -c2 )2 / -4 2 ,S1S1Z1Z1\-]34 4 +,ABX,Y54 6 56KLn6o74 8 45JKp5q94 : 5E-b14;4 < !$ QH%56 Q # =4 D &t TH%56 T ( E4 L +D oH%56 o - M4 T \U4 V &|4D'EW4 X / =V0WY4 Z 9,Gj:k[4 \=IIn.0s!S39IU9R3Ss$$ entryVaHexrCdescriptorVaHex script0VaHex script4VaHex script8VaHexrscript+0script+4script+8rscriptsscript0LinkedCnsrrscript4LinkedCnsr script4FieldRecordCountr$script4CurrentFrontierDirectRefCountrscript4SelectionOpcodeCountrscript4BaseSetterOpcodeCountr!script4BaseSetterPointerLikeCountr script4BaseSetterNonPointerCountrscript4ContextA8SetterRowCountr)script4ContextA8PointerLikeSetterRowCountrrrrrrrrrrrrrr) (script4ContextA8NonPointerSetterRowCount0script4ContextA8NonPointerOperandSourceHistogramscript4LastBaseSetterRowscript4LastContextA8SetterRow"script4LastNonPointerBaseSetterRow'script4LastNonPointerContextA8SetterRowscript4GateWriterCountscript4GateReaderCount+script4EncodedTargetRawScalarCandidateCount5script4EncodedTargetRouteProofRawScalarCandidateCount7script4EncodedTargetRouteContextRawScalarCandidateCount+script4EncodedTargetPromotingCandidateCount"script4EncodedTargetClassification) rbrDESCRIPTOR_LIMITrrADESCRIPTOR_TABLE_VArKrArr+)rGrHr rdescriptor_writers writer_rowsr writer_rowentry_va descriptorscript0script4script8rMrs @r*descriptor_rowsro&s%(()9:@bK D'(1 S+SUWX Z^^L9:]>QTY\]T]>]z~~.?@AfXcS[]eEf JNN>:;|gqhXb@cw{JNN>:;AkuhXbefXf@g{JNN>:;AkuhXbefXf@g{ 3'7J V 3'7J V 3'7J V  % U% %/%  J4JuZ0PT%  g.AE'Nt % g.AE'Nt % g.AE'Nt %  w%   ; 7%   ; 7%  &wqz2D'E%  3GAJ?^4_%  *71:6L+M%  +GAJ7N,O%  0qzBd7e&-aj1B&C&-aj1B&C;B1:Fl;mELQZ@FHOqzBHd?| d@dA| dBdC| dDdE| dFidG| dHdI| dJ| dK|dL|d:dM|d<dN|d>dO|d@dP|dBdQ|dDdR|dFdS|dHdT|dU|dV|dW|dX|idY|dZ|d[|d\t'|d]t'|d^|d_t'|d`t'|da|dbt)t*Dcgc] }t-|c}dc|"dd|#de|$df|%dg|&dhdidjdidkdldmdidit.t0t2tt2dm|)dn Scc} } wcc} } wcc} } wcc} } wcc} } wcc}}*wcc}w)oN3save_selector_opcode20_slot_descriptor_writers.json.save_selector_current_root_frontier_paths.jsonc3&K|] }|d yw)rPNr'rs r*rz build_summary..sMc";<Mc3&K|] }|d yw)rQNr'rs r*rz build_summary..s$aUXS)O%P$arc3:K|]}|dD] }|d yw)rMrNr'rrwscripts r*rz build_summary..s*bSVW`Sab&!34b4bc3:K|]}|dD] }|d yw)rMrNr'rs r*rz build_summary..s+ vSgjktgu v]c(G!H v!H vrrMrrKrc3&K|] }|d yw)rRNr'rs r*rz build_summary..s(\PS-J)K(\rc3:K|]}|dD] }|d yw)rMrNr'rs r*rz build_summary..s+$qbefobp$qX^V,B%C$q%C$qrc3&K|] }|d yw)rSNr'rs r*rz build_summary..s#XCC(F$G#Xrc3&K|] }|d yw)rTNr'rs r*rz build_summary..s0j^a5X1Y0jrc3&K|] }|d yw)rUNr'rs r*rz build_summary..s/h\_4V0W/hrc3&K|] }|d yw)rVNr'rs r*rz build_summary..s)`TW#.N*O)`rc3&K|] }|d yw)rWNr'rs r*rz build_summary..s6xlos;f7g6xrc3&K|] }|d yw)rXNr'rs r*rz build_summary..s5vjmc:d6e5vrrc32K|]}|ddk(s |yw)rrKNr'rrs r*rz build_summary..s[&fVnPZ>Zv[s rr)rrlrr[rr r]c3&K|] }|d yw)r^Nr'rs r*rz build_summary..#RcC(@$A#Rrc3&K|] }|d yw)r_Nr'rs r*rz build_summary..rrc3:K|]}|dD] }|d yw)rMrNr'rs r*rz build_summary..*gcX[\eXfgf'8 9g 9grc3:K|]}|dD] }|d yw)rMrNr'rs r*rz build_summary..rr)rJrKrLc3&K|] }|d yw)rNr'rs r*rz build_summary..s#Z6F+=$>#Zrc3&K|] }|d yw)rNr'rs r*rz build_summary..s0t]c8W1X0trc3&K|] }|d yw)rNr'rs r*rz build_summary..8CI=>8rc3&K|] }|d yw)rNr'rs r*rz build_summary..sBMSGHBrc3&K|] }|d yw)rNr'rs r*rz build_summary..rrc3&K|] }|d yw)rNr'rs r*rz build_summary..s'b6/E(F'brc3&K|] }|d yw)rNr'rs r*rz build_summary.."X6*;#<"Xrc3&K|] }|d yw)rNr'rs r*rz build_summary..rrc3&K|] }|d yw)rNr'rs r*rz build_summary..s*hQW62K+L*hrc3&K|] }|d yw)rNr'rs r*rz build_summary..s5@F:;5r) r scriptCountrrrrrrrrrraThe descriptor table reached by opcode 0x20 mode 0 resolves to character, battle, or object scripts, not field-map transition records. In the scanned descriptor+4 scripts there are zero field-map CNS records and zero direct or encoded-scalar references to the current map1_01a frontier leaf/reader/source/target addresses. They do contain base-selector opcode-shaped rows, but most 0x28/0x40/0x44 rows are pointer dwords whose low byte merely collides with a handler opcode. The non-pointer context+0xa8 setter-shaped rows are only 0x42 mode-0 context+0xf2 runtime object selection, not a fixed route/gate base or gate-specific setup. None of the descriptor+4 selection-buffer reader/writer rows targets gate offsets 0xe8 or 0xea, and the same gate-offset count is zero across descriptor+0, descriptor+4, and descriptor+8 scripts. So a specific gate base is not proven. This descriptor path therefore does not promote map1_01a -> map2_02d; runtime active order/count and strict hotspot evidence are still required.sourcerdescriptorTableVaHexdescriptorRowCountscriptScanDwordCount frontierRefsrCrPrQscript4EncodedTargetScanrdrr`rrarrbrrcrscript4EncodedTargetGroupCountsrscript4EncodedTargetLabelCountsrscript4EncodedTargetKindCountsrallScriptFieldRecordCount&allScriptCurrentFrontierDirectRefCountallScriptEncodedTargetScan$allScriptEncodedTargetClassification-allScriptEncodedTargetRawScalarCandidateCount7allScriptEncodedTargetRouteProofRawScalarCandidateCount9allScriptEncodedTargetRouteContextRawScalarCandidateCount-allScriptEncodedTargetPromotingCandidateCount!allScriptEncodedTargetGroupCounts!allScriptEncodedTargetLabelCounts allScriptEncodedTargetKindCountsrRallScriptSelectionOpcodeCountrSrTrUrVrWrX'script4ContextA8BaseExpressionHistogram1script4ContextA8NonPointerBaseExpressionHistogramrY+script4LastContextA8BaseExpressionHistogram5script4LastNonPointerContextA8BaseExpressionHistogram2allScriptContextA8NonPointerOperandSourceHistogramgateOffsetsHexr^r_allScriptGateWriterCountallScriptGateReaderCountscriptSlotAggregateRowsscript4SpecificGateBaseProvenF allScriptsSpecificGateBaseProvenz character/battle/object-resourceTr) descriptorScriptClassruntimeActiveOrderRequiredcontrolPathProofStatus proofFound"opcode20DescriptorScriptProofFound%failedOpcode20DescriptorScriptGateIdsmissingEvidence evidenceRefsevidenceRefCountr conclusion)rrr>OUTrrorrrxrrbrrDSOURCETARGETr+rfrrnrsrmrr0*FAILED_OPCODE20_DESCRIPTOR_SCRIPT_GATE_IDS+OPCODE20_DESCRIPTOR_SCRIPT_MISSING_EVIDENCE(OPCODE20_DESCRIPTOR_SCRIPT_EVIDENCE_REFS)+rGrgrxrHr rrscript4_field_countscript4_frontier_ref_countall_field_countall_frontier_ref_countrwrscript4_encoded_scanall_encoded_scanscript4_selection_opcode_countall_selection_opcode_countscript4_base_setter_count&script4_base_setter_pointer_like_count%script4_base_setter_non_pointer_countscript4_context_a8_setter_count,script4_context_a8_pointer_like_setter_count+script4_context_a8_non_pointer_setter_countscript4_context_a8_base_counts*script4_context_a8_non_pointer_base_counts#script4_last_context_a8_base_counts/script4_last_non_pointer_context_a8_base_counts0script4_context_a8_non_pointer_operand_histogram3all_script_context_a8_non_pointer_operand_histogramrm histogram_rowr) last_contextlast_non_pointer_contextscript4_gate_writer_countscript4_gate_reader_countall_gate_writer_countall_gate_reader_countscript_slot_aggregate_rowsr slot_scriptsrrs+ r* build_summaryr|sU S!HsH-G  )  sRRTV W ' 2 $ sMMr R //JKM 3'=BT UDMMM!$$a\`$a!abbbO vTX vv57 )n7  &>Z ' "#7#7 23 )n3  "#3#3 &)(\W[(\%\"!$$qt$q!q ##XSW#X X-00jei0j-j*,//hcg/h,h)&))`[_)`&`#366xsw6x3x0255vqu5v2v/57"AC.:<'FH37NP )nP  &>Z ' :;P;P84 ;RS )nS  :;S;S;7 [C N[[$%GH zM!'*E4R4V4VW\^_4`cpqxcy4y *5 1 z%%QR M!'*E:>>uaH=Y`Kaa 7u =  :;  !12E9\9`9`afhi9jmn9n / 6#&'P#Q #,-=>E?CCE1MPQQ |*L-I . $_/I 0 12H1I 2 %&63I 4 /0@AQ0R5I 6 89IJc9d7I 8 BCS /D 9I > DEU 1F ?I D 89IJc9dEI F ,-=>Q-RGI H ,-=>Q-RII J +,<\,JKI L &'EMI N ()COI P '(AQI R ,-SSI T +,QUI V )*IWI X 45aYI Z 34_[I \ 23HIg3h]I ^ <=RS}=~_I ` ;qkI l F<4HI54;ImI n !";oI p !";qI r #$9sI t #$9uI v "#=wI x (yI z +E{I |"D&*"+.31[F@ HI$ QI IC7 3"P S>gVX`Js02V "V "V V =VVV# 2V) c r djd|dDxsd}gddd|dd |d d |d d d|dd|ddd|dd|dd|dd|dd|dd|dd d|d d!|d"d#|d$d%|d&d'|d(d)|d*d+|d,d-|d.|d/d0dj|d1d2|d3d0dj|d1d4|d5d6dj|d1d2|d7d6dj|d1d4|d8d9|d:d;|d<d=|d>d?|d@d|dAd|dBd|dCd dD|dEdF|dGdH|dId dJ|dKd dL|dMd d|dNddOd}|jdP|dQD|jgdR|jdS|dTD|jgdU|jdV|dWD|jgdX|dYjD]\}}|jdZ|d[|d\|jgd]|d^D]\}|jdZ|d_d`|dad`|dbd`|dcd`|ddde|dfde|dgd`|dhd`|did`|djd`|dkd`|dldm^|jgdn|doDcic] }|dp|dq }}|drDcic] }|dp|dq }}|dsDcic] }|dp|dq }}|dtD]b}|jdu|dpdv|dqd`|j |dpdwd`|j |dpdwd`|j |dpdwdm d|jgdx|dD] }|jdu|dpdv|dqdm"|jgdy|dzD]}|d{} | r| d|nd} |jdZ|d}d[|d~dvdj|dxsdd`dj|dxsdd`|dd`|dd`|dde|dde|dd`|d*d`|d,d[| dv|d3d`|d5dm|jddj|Scc}wcc}wcc}w)N, c36K|]}|dd|dywr):rlNr'rs r*rzmarkdown..A+,  w<.#g,(,rYrz.# Save Selector Opcode 0x20 Descriptor Scriptsz - route: rz -> rz- descriptor table: `r`z- descriptor rows: rz- scan window per script: rz dwordsz&- descriptor+4 field-map CNS records: rPz-- descriptor+4 current frontier direct refs: rQz-- descriptor+4 encoded route-target scalars: r`z / rarcz (rd)z4- descriptor+4 selection-buffer opcode-shaped rows: rRz=- all descriptor-script selection-buffer opcode-shaped rows: rz/- descriptor+4 base-setter opcode-shaped rows: rSz.- descriptor+4 base-setter pointer-like rows: rTz-- descriptor+4 base-setter non-pointer rows: rUz0- descriptor+4 context+0xa8 setter-shaped rows: rVz<- descriptor+4 context+0xa8 non-pointer setter-shaped rows: rXz9- descriptor+4 non-pointer context+0xa8 operand sources: z*- descriptor+4 specific gate base proven: rz- descriptor+4 gate `rz ` writers: r^z ` readers: r_z- all descriptor-script gate `rrz3- all descriptor-script specific gate base proven: rz/- all descriptor-script field-map CNS records: rz6- all descriptor-script current frontier direct refs: rz6- all descriptor-script encoded route-target scalars: rrrrz- script class: rz!- runtime active order required: rz- proofFound: `rz'- opcode20DescriptorScriptProofFound: `rz- promotion status: `rrz## Failed Gatesc3(K|] }d|d yw)- `rNr'ritems r*rzmarkdown..ss\43tfA\sr)rz## Missing Evidencerc3&K|] }d| yw)z- Nr'rs r*rzmarkdown..ysD2dVDrr)rz## Evidence Refsrc38K|]}d|dd|dyw)rrz`: rNr'rs r*rzmarkdown..s/  c&k]#c-012sr)rz## Current Frontier Refsrz| label | VA |z | --- | --- |rz| z | `z` |)rz## Script Slot Aggregaterz| slot | scripts | field maps | frontier refs | encoded raw/proof/promoting | selection opcodes | gate writers | gate readers | context+0xa8 setters | non-pointer context+0xa8 setters |zF| --- | ---: | ---: | ---: | ---: | ---: | ---: | ---: | ---: | ---: |rrz | rrrr/rrrrrrrz |)rz&## Descriptor+4 Context Base Histogramrz| base expression | shaped row count | non-pointer row count | last-shaped descriptor count | last-non-pointer descriptor count |z#| --- | ---: | ---: | ---: | ---: |rr)rlrrrz| `z` | r)rz8## Descriptor+4 Non-Pointer Context+0xa8 Operand Sourcesrz| operand source | row count |z| --- | ---: |)rz## Descriptor Rowsra4| index | descriptor | script+0 CNS | script+4 CNS | script+4 field maps | script+4 frontier refs | script+4 encoded raw/proof/promoting | script+4 context+0xa8 setters | script+4 non-pointer context+0xa8 setters | script+4 last non-pointer context+0xa8 base | script+4 gate writers | script+4 gate readers |zQ| ---: | --- | --- | --- | ---: | ---: | ---: | ---: | ---: | --- | ---: | ---: |rCr]rrrFrNrO )joinrrnrrb) summarynon_pointer_operand_sourceslinesrr)rw last_countsnon_pointer_countslast_non_pointer_countsrlast_context_texts r*markdownr@s"&)),MN,##   - 8-  -  GH%&d78+<*=>-  (> ?@B -  g&:;<= -  %W-C%D$EWM -  19R1S0TU-  8@f8g7hi-  8 @ A B# J K LC @ A BC 8 9 :!  =-  ?wGd?e>fg-  HPoHpGqr-  :'B`:a9bc!- " 9Ad9e8fg#- $ 8@b8c7de%- & ;7Cc;d:ef'- ( GwOyGzF{|)- * DD_C`a+- , 5W=\5]4^_-- .  '2B*C DE[QXYqQrPst/- 0  '2B*C DE[QXYqQrPst1- 2 )7;K3L)M(NkZab|Z}Y~3- 4 )7;K3L)M(NkZab|Z}Y~5- 6 >gFh>i=jk7- 8 :'B]:^9_`9- : AIqAr@st;- < A B C DC L M Nc B C DE : ; * LL /5571 u r%UG3/01 LL01   V S]!3 4C5G5K5KCPWLZ[5\4]]`s7|Q/04K4O4OPST[P\^_4`3aac e   LLIJ? s3w<.S\N"=>? LL'( DE >JL)9:PS Wd3'8#9":$yy/018S9yy/018S9,-.c#6\2]1^^a@AB!JKLA@AB#345S=g9h8ij!"$+,-S5M1N0Or S   LL 99U cs+R*R/R4c djd|dDxsd}|djDcgc]4\}}dtj|dtj|d6}}}g}|d D]Td }|r|d nd}|j d jgdd dtjdxsddtjdxsddtjdjdxsddtjdxsddtjdjdxsddddddddddddddddtj|ddddd W|d!Dcgc]od"tjd#dd$dt fd%|d&Dd'dt fd(|d)Dd'dt fd*|d+Dd'd q} }|dDcgc]$}d"tj|d#d|d$d &} }|d,Dcgc]`}dtj|d-d|d.d|d/d|d0d|d1d|d2d|d3d|d4d|d5d|d6d|d7d|d8d b} }d jd9|d:D} d jd;|d<D} d jd=|d>D}d?jgd@dAdBdCdDdEdFdGdHdIdJdKdLdMdNdOdPdQdRdSd jgdTtj|dUdVtj|dWdXtj|dYdZ|d[d\|dd]|dd^|d_d`|dadb|ddc|dddtj|de|dfdg|ddh|ddi|djdk|dldm|dndotjt |dpdqtj|drdsdt|dd|dd|ddutj|dvdw|dxd|dyd|dzdutj|d{d|d}tj|d~ddd| ddd| ddd|ddd|ddd| ddd| ddd| ddd|dddd Scc}}wcc}wcc}wcc}w)Nrc36K|]}|dd|dywrr'rs r*rzhtml_page..rrrYrrzzzrCr]rrrrFzrGzrNrHrOz rPrQr`rrarcrVrXr^r_z rzr)rlc3@K|]}|ddk(s|dywr)rlNr')rnprws r*rzhtml_page..s@LoqryozBCJKpKGL rrc3@K|]}|ddk(s|dywrr'rlastrws r*rzhtml_page..s@L4mqrymzBCJKnKgLrrc3@K|]}|ddk(s|dywrr'rs r*rzhtml_page..sHV4w{}DxEILMTIUxUgVrrrrrrrrrrrrrrrc3NK|]}dtj|dyw)
  • z
    • Nhtmlescapers r*rzhtml_page..s+  T[[&'|4#%rc3NK|]}dtj|dyw)z
  • 
    • Nrrs r*rzhtml_page..s+  t{{4 !'r!rc3K|]9}dtj|ddtj|dd;yw)rrz     : rr#Nrrs r*rzhtml_page..!sE  T[[V-.i C DV8W7XX]^s?Arrzzzz zF z= Save Selector Opcode 0x20 Descriptor Scriptsz zzz7

    Save Selector Opcode 0x20 Descriptor Scripts

    z

    route rz -> rz; descriptor table rz; descriptor rows rz%; descriptor+4 field-map CNS records z,; descriptor+4 current frontier direct refs z3; descriptor+4 selection-buffer opcode-shaped rows rRz<; all descriptor-script selection-buffer opcode-shaped rows rz/; descriptor+4 context+0xa8 setter-shaped rows z;; descriptor+4 context+0xa8 non-pointer setter-shaped rows z8; descriptor+4 non-pointer context+0xa8 operand sources z); descriptor+4 specific gate base proven rz; descriptor+4 gate writers z; descriptor+4 gate readers z%; all descriptor-script gate writers rz%; all descriptor-script gate readers rz2; all descriptor-script specific gate base proven rz; proofFound rz ; promotion status rz .

    z/

    descriptor+4 encoded route-target scalars z (rdz=); all descriptor-script encoded route-target scalars rrrrz ).

    z

    rz

    z

    Failed Gates

    z
      z
    z

    Missing Evidence

    z

    Evidence Refs

    z

    Current Frontier Refs

    zA z
    labelVA
    z

    Script Slot Aggregate

    a z.

    Descriptor+4 Context Base Histogram

    z
    slotscriptsfield mapsfrontier refsencoded raw/proof/promotingselection opcodesgate writersgate readerscontext+0xa8 settersnon-pointer context+0xa8 setters
    z@

    Descriptor+4 Non-Pointer Context+0xa8 Operand Sources

    zQ
    base expressionshaped row countnon-pointer row countlast-shaped descriptor countlast-non-pointer descriptor count
    z

    Descriptor Rows

    a
    operand sourcerow count
    zz)r rnrr rrstr)r r rr) frontier_rowsdescriptor_rows_htmlrrrwbase_histogram_rowsnon_pointer_operand_source_rowsslot_aggregate_rows failed_gatesmissing_evidence evidence_refss ` r* html_pager.s "&)),MN,##   $N399; E5 4;;u%&odkk%6H5IIZ[M'( DE >JL)9:PS##    w<. ! S):%;%BsCD E S%8%?C@A B ;;tyy-?)@AHSIJ  K   S%8%?C@A   B   ;;tyy-?)@AHSIJ   K  012 3 =>? @ DEF GH JKL MN @AB C 789 : ABC D %678 9 /01 2  /01!  2!   >DE   T[[W678w<.!Lw7j/kLNOPQQL7;h3iLNOPQQV7;r3sVXYZ[[e  f  MN'  S\233CCL>Q[\'#'&45  {{3v;'()=!"#%&'(23459:;1 ? @ A 5 6 78)*+,$%&'$%&',-./6789 "77CDLww-.GG>*M 99=== = # = Q = H = = r= 1= 7= := G= f= t= Q= '!=" #=$ %=& '=( B)=* E E+ Edkk'("345 EW ET[[QYIZ=[<\ E\u EvzwBwBCJKaCbwcvd Ed} E~EFZ~[}\ E\A EBIJcBdAe EeQ ERYZ@RAQB EBu Ev}~[v\u] E]Y EZabA ZB YC EC r Es z { [ s \ r ] E] X EY ` a K Y L X M EM E EF J F Q F Q R m F n E o Eo X EY`a@YAXB EB^ E_fg_@^A EA] E^ef~^]@ E@e EfmnHfIeJ EJo EpwxRpSoT ETF EGNOqGrFs EsF EGKGRGRSVW^_kWlSmGnFo EoO EPTP[P[\cdu\vPwOx ExD E+=, :'Bo:p9qqr J K LA @ A BC++g&JKLMN> B C DA L M Na B C DE++g&LMNO} ^-=>  GL12348?=@ "A=B e$C=D &E=F !"%(G=H #I=J u%K=L +M=N LO=P Q=R S=T +U=V gW=X Y=Z [=\ 9]=^ Q_=` a=b c=d Ke=f \g=h )i=j k=l %m=n Po=p q=r s=t u=v w=x y== =O8 's9UA4U)U# A%U(c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz.save_selector_opcode20_descriptor_scripts.jsonFr) ensure_asciiindentrr6r7.save_selector_opcode20_descriptor_scripts.html)mkdir write_textr:dumpsr.)r out_dirs r* write_outputsr9esf MM$M. ??KK 7q9D@L ??KKIV]L^ipKqr-cFtjt}|jdtt dz |jdtt dz |jdtt dz |jd tt |j}t|jjt|jit|ji}t||jt!d |jd z y) N)rz--exer)typedefaultz--descriptor-writersrz--current-root-frontierrz --out-dirz6wrote save selector opcode 0x20 descriptor scripts -> r4)argparseArgumentParser__doc__ add_argumentrROOTr parse_argsrrG read_bytesr>rgcurrent_root_frontierr9r8print)parserargsr s r*mainrHns  $ $ 9F dD=4HI .T3I~C~ 1cL|F|}  $<    D $))2.$,,b1G '4<<( B4<<SCDCCD EFr-__main__)r)r@returnr%)r)r@rJr@)rrr=rrJr)r)z str | NonerJ int | None)rGbytesrH list[dict]rIr@rJrK)rHrMr)r@rJr) rGrLrHrMrWr@rXr%rJ dict | None)rcr@rJr%)rhr@rJr%)rpzdict[int, int]rJrM)rpdict[str, int]rJrM)ruzlist[list[dict]]rJrM)rcr@rhr@r{r@rJr%)rrOrJrM) rWr@r)r@rrMrr@rr%rJrM)rrMrJr)rrMrJr)rGrLrHrMr dict[int, str]r!rKrr%rrOrJr) rGrLrHrMr rPrrOrgrrJrM)rxrrJrO)NN)rGrLrgrNrxrNrJr)r rrJr%)r rr8rrJNone)rJrQ)Cr? __future__rr=rr:rEsyspathlibrtypingrrinsertr%__file__resolveparentprobe_exe_scene_tablesrrr2summarize_save_selector_opcode20_nested_base_modesr r0rArrrrfrerrrrrrrrwr+r0r2r4r>rArKrMrZrdrirqrsrxr|rrrrrArorrrr.r9rH__name__r'r-r*r]sO" 3tH~--/6678PPT H~''* Ul   d| ,:.* /++gh FXOP ASef,(  8@8 -45 R)'$(# # ##  #  #  #L%P!Hs sss s  s " s sl; ;;;" ;  ;  ;|4'+/3A A#A"-A AHVrIX25r F  zFr-
    indexdescriptorscript+0script+0 CNSscript+4script+4 CNSscript+4 field mapsscript+4 frontier refsscript+4 encoded raw/proof/promotingscript+4 context+0xa8 settersscript+4 non-pointer context+0xa8 settersscript+4 last non-pointer context+0xa8 basescript+4 gate writersscript+4 gate readers