UHj5VXdZddlmZddlZddlZddlZddlZddlZddlm Z ddl m Z ejjdee ej!j"ddlmZmZe ej!j*dZedz Zd Zd Zd Zd Zd ZdZdZdZdZ dZ!dgdddddgddgddgZ"ddddZ#d/dZ$d0d Z%d1d!Z&d2d"Z'd3d#Z(d3d$Z)d4d%Z*d5d&Z+d6d'Z, d7d(Z- d8 d9d)Z.d:d*Z/d:d+Z0efd;d,Z1d,,r&cvt||}||dzt|kDrytjd||dS)Nzz&field_maps_for_leaf..^"X:J1Kx1WX$$rmapnextr@ leaf_streamsrDrowrecords ` r$field_maps_for_leafrO[s]  XXZ^ _C  ,/GGN,C,Ir _&VZZX]M^FJJu  __ _ A# A#csgStfd|Dd}|sgS|jdxsgDcgc]%}|jds|jd'c}Scc}w)Nc3LK|]}|jdk(s|ywr>r?rAs r$rEz'nested_maps_for_leaf..grFrGrrHrIrKs ` r$nested_maps_for_leafrSdsa  XXZ^ _C  ,/GG4H,I,OR e&SYS]S]^cSdFJJu  ee erPcsytfd|Dd}|sytfd|jdxsgDS)NFc3LK|]}|jdk(s|yw)rNr?)rBrC stream_hexs r$rEz!trace_contains..ps!X$((=2IZ2WXrGc3FK|]}|jdk(yw)vaHexNr?)rBrCva_hexs r$rEz!trace_contains..ssNttxx F*Ns!r)rJanyr@) stream_tracesrVrYrMs `` r$trace_containsr\msA  XXZ^ _C  Nswww7G7M2N NNr&c&t|vxrt|vSN)SOURCETARGET)mapss r$ route_pairrbvs T> ,fn,r&c|siS|jdxsgDcic]8}|jdr%|jd|jdxsi:c}Scc}w)Nrrrr?)opcode2c_route_pair_contextrMs r$corrected_traces_by_descriptorrezse & /226:@b   77? #  #''*:";"ArA  s=Acbt|||}t|}t|tr t|||nd}|tk(r t|trt|||dznd} t| } t ||} t ||} t || } t||ttxsd}t|| ttxsd}|j|xsi}|jddu}id|dt|d|tz dzd|tk\d |d t|d |tk(d | d | d| d| dt| dt| d|d|d|d|jd|xs|| tk(|tk(t| xst| xs |xs|xs|dS)Nr3rTentryVa entryVaHexrootRelativeIndexinsideCurrentRootEntryRunrdescriptorMarkerHexdescriptorIsMarkerShapechildPointerHexdescriptorFieldMapsdescriptorNestedFieldMapschildFieldMapsdescriptorHasRoutePairchildHasRoutePair%descriptorTraceContainsFrontierReader childTraceContainsFrontierReader.correctedDescriptorTraceContainsFrontierReader%correctedDescriptorFrontierReaderStepfrontierReaderStep).effectiveDescriptorTraceContainsFrontierReaderisFrontierLeafChildisFrontierLeafDescriptor routeRelevant) r;r.r*r+DESCRIPTOR_MARKERrOrSr\FRONTIER_READERr@ROOT_TABLE_POINTERrb FRONTIER_LEAF)r7r8rLr[corrected_by_descriptorentry_var- value_hexmarkerchild child_hexdescriptor_maps nested_maps child_mapsdescriptor_reader child_readercorrected_descriptor_tracecorrected_descriptor_readers r$ entry_rowrsG S(H -Ee I/9%/EXc8U +4F28#>  9    $[  *  !*_"=  Z 3  01B  +L  9:U! " 01K1O1OPd1e# $;L:jOj$ 5$)]$:  ' +*% +  + ++5 r&c *t|}t|}tttdDcgc]}t ||||||}}|Dcgc] }|ds | } }|Dcgc] }|dr | } }| Dcgc]}|j ds|} }|Dcgc]'}|j ds|j ds&|)} }| Dcgc] }|| vs| } }| Dcgc] }|| vs| }}| Dcgc]}|j dr|}}| Dcgc]}|j dr|}}|Dcgc]'}|j ds|j ds&|)}}d }d }g}|s|jd | s|jd |s|jd |Dcgc]}tj ||}}d tdttd}idtdtdtdttdttdttdttdz dttdtt dt"dt%t"dt%|dt%| dt%| dt%| dt%| d t%|d!t'|id"t%|d#t%|d$t'| xrt%|t%| k(d%|Dcgc]}|d& c}d't'|xrt)d(|Dd)t'| d*t'|d+| Dcgc]}|d& c}d,|Dcgc]}|d& c}d-|Dcgc]}|d& c}d.|d/|Dcgc]}|j d0s|c}d1|d2|d3|d4|d5|d6gd7|d8Scc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}wcc}w)9Nr3rkrrrurtrvrzr{FrrrzThe current selector z table pointer is a . The raw generic stream trace still finds the direct frontier leaf reference only as the descriptor child at root-relative index -12, before that table pointer. However, the opcode 0x2c correction shows the non-negative current-root route-pair descriptors at indices 6 and 8 can also reach the frontier reader 0x00542b0c. That resolves the stale no-fixed-advance trace contradiction, but it is still descriptor/control-flow evidence only; normal runtime selector execution, reader branch outcome, and a strict map1_01a hotspot remain unproven.sourcetargetselectorrootHexrootTablePointerHextableWindowHexz..frontierLeafHexfrontierReaderHex evidenceRefsevidenceRefCount entryCountnegativeIndexCountcurrentRootEntryCount$routePairDescriptorCurrentEntryCountreaderBearingCurrentEntryCountreaderBearingNegativeEntryCountopcode2cCorrectionApplied'correctedReaderBearingCurrentEntryCount)correctedRoutePairTraceReachesReaderCount0correctedTraceAllRoutePairDescriptorsReachReaderfrontierLeafChildEntryIndicesrj"frontierLeafChildOnlyNegativeIndexc3,K|] }|ddkyw)rjrNrBrMs r$rEz build_summary..sL'(1,Ls*frontierReaderSelectableByNonNegativeIndex2frontierReaderReachableByCorrectedNonNegativeIndex!routePairCurrentDescriptorIndices(routePairCorrectedTraceDescriptorIndicesreaderBearingNegativeIndicesrrouteRelevantRowsr|runtimeSelectionProven proofFoundfailedLeafIndexGateIdsmissingEvidencestrictHotspotFoundblocked)zYprove normal runtime selector/root execution reaches the corrected route-pair descriptorszXresolve the 0x00542b0c reader branch outcome and map target linkage on a real route pathz3or find a strict map1_01a source coordinate/hotspot)promotionStatusremainingProofs conclusion)rrerangeTABLE_WINDOW_STARTTABLE_WINDOW_END_EXCLUSIVErr@append#LEAF_INDEX_MISSING_EVIDENCE_BY_GATECURRENT_SELECTORr.rr_r` CURRENT_ROOTrr~ EVIDENCE_REFSr4boolall)r7rLr[rdr8rr9rrM current_rows negative_rowsroute_descriptor_rowsreader_child_rowscurrent_reader_rowsnegative_reader_rowscorrected_current_reader_rows corrected_route_pair_reader_rowsfrontier_child_rowsruntime_selection_provenstrict_hotspot_foundfailed_leaf_index_gate_idsgate_idmissing_evidencers r$ build_summaryrs{ S!H<=XY*,FJ   #x}>UWYZ D $(LC3/J+KCLLL$(QS4O0PSQMQ,8^SCGGD\<]S^^(,Q8Z0[_b_f_fhO`PQQ*6S3#AR:R3SS+8UCCCTa5. 6 ,Rg-h3c2E.F-h7. 8 30P5 ),C# $5 9. > 'Ma(bc-@)A(b?. @ A. B TNcSWW_5McNC. D !":E. F .G. H !"O OO O#&O#0O(O-0'O2O2!O7 O<  P # P 7 P P %P cZddd|dd|ddd|d d |d dd |d dd|ddd|ddd|ddd|dd|dd|dd|dd|dd|dd |d!d"|d#d$|d%d&|d'd(|d)d*|d+d,|d-d.d/j|jd0xsgxsd1dd2t|jd3xsgd4|d5dd6|d7dd|d8dg}|jd9dg|jd:|jd3xsgD|jgd;|jd<xsgD]J}|j d=|jd>d?d/j|jd@xsgL|jgdA|dBD]}|j dC|dDdE|dFdG|jdHdG|jdIxsd1dJ|dKdLd/j|jdMxsgxsd1dLd/j|jdNxsgxsd1dLd/j|jdOxsgxsd1dL|jdPdL|jdQdL|jdRdS|jgdT|dUD]v}|j dC|dDdE|dFdG|jdHdG|jdIxsd1dJ|dKdE|jdVxsd1dJ|jdWdSx|jgdX|jdY|dZD|j dd[j|S)\Nz # Save Selector Leaf Index Spacergz - route: `rz -> r`z - selector: `rz` root `rz- root table pointer: `rz- table window: `rz- frontier leaf: `rz- frontier reader: `rz - entries: rz- negative-index entries: rz- current-root entries: rz)- current route-pair descriptor entries: rz"- current reader-bearing entries: rz#- negative reader-bearing entries: rz"- opcode 0x2c correction applied: rz,- corrected current reader-bearing entries: rz/- corrected route-pair traces reaching reader: rz%- frontier leaf child entry indices: rz4- frontier reader selectable by non-negative index: rz=- frontier reader reachable by corrected non-negative index: rz- proof found: rz- failed leaf-index gates: `, r-z- missing evidence count: rz- promotion status: `rz- evidence refs: `rrz## Missing Evidencec3&K|] }d| ywz- NrrBrCs r$rEzmarkdown..;sN2dVN)rgz## Evidence Refsrgrz- `rz`: r)rgz## Route-Relevant Entriesrgz| index | entry | descriptor | child | current entry | desc maps | nested maps | child maps | raw desc reader | corrected desc reader | child reader |zD| ---: | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |rz| rjz | `riz` | `rrnz` | rkz | rorprqrtrvruz |)rgz## All EntriesrgzP| index | entry | descriptor | child | current entry | marker | route relevant |z,| ---: | --- | --- | --- | --- | --- | --- |rrlr|)rgz## Remaining Proofsrgc3&K|] }d| ywrrrs r$rEzmarkdown..asD2dVDrr )joinr@r4extendr)summarylinesrefrMs r$markdownrs* WX&'tGH,=+>a@  +,HWY5G4HJ !'*?"@!AC G$456a8 W%678: w':; gl+,- $W-A%B$CD "7+B#C"DE 3GwGs?t>uv GQEIFHG H ',/01 &tyy=U1V1\Z\']'dad&eefg $S5F)G)M2%N$OP (9 :;1= W%789;   9 E< LL',- LLN5F)G)M2NN LL-.{{>*0b  #''&/"#dii0A0GR&H%I J   LL*+   ()*$sE#Fcyy!<=CDKLCyy!128b9@SAww>?@wwGHIww9:;2 ?    LLv  ()*$sd?|d@dAdB|d@dCdD|d<dEdFdgS)HNrgc 3K|]m}dtjt|jddtjdj |jdxsgdoyw)z
  • rz : rr
    • Nhtmlescapestrr@r)rBrs r$rEzhtml_page..gsf   S1239 ;;tyy!2!8b9 : ; sA3A5rc:djddDS)Nrc3K|]}d|ddtjt|ddtjt|jddtjt|jdxsdd|d d tjd j |jd xsgxsdd tjd j |jd xsgxsdd tjd j |jdxsgxsdd |jdd |jdd |jddyw)rjrirrnrrkz rrorprqrtrvru Nrrs r$rEz3html_page..relevant_rows..ps  *+,-S\):%;<=>S)A%BCDES1B)C)Js%KLMN2345;;tyy1F)G)M2NURUVWX;;tyy1L)M)SQST[X[\]^;;tyy1A)B)HbIPSQRS77BCDE77KLMN77=>?@  sFF rrrsr$ relevant_rowsz html_page..relevant_rowsos)yy 23   r&c:djddDS)Nrc3K|]}d|ddtjt|ddtjt|jddtjt|jdxsdd|d dtjt|jd xsdd|jd d y w)rrjrrirrrnrrrkrlr|rN)rrrr@rs r$rEz.html_page..all_rows..s   *+,-S\):%;<=>S)A%BCDES1B)C)Js%KLMN2345S1F)G)N3%OPQR77?+,-   sCC!rrrsr$all_rowszhtml_page..all_rowss'yy  v   r&c3NK|]}dtj|dywz
  • rNrrrs r$rEzhtml_page..s#\tDKK-.e4\#%rc3NK|]}dtj|dywrrrs r$rEzhtml_page..s(,0$t{{4 !'rrrzzzz zF z/ Save Selector Leaf Index Spacea zzz)

    Save Selector Leaf Index Space

    z

    route rz -> rz; selector rz"; root table pointer rz/; current route-pair descriptor entries rz!; current reader-bearing entries rz"; negative reader-bearing entries rz!; opcode 0x2c correction applied rz.; corrected route-pair traces reaching reader rz3; frontier reader selectable by non-negative index rz<; frontier reader reachable by corrected non-negative index rz ; proofFound=rz; failedLeafIndexGates=,rrz; missingEvidenceCount=z; promotion rz .

    z

    rz

    z

    Evidence refs: rz.

    z

    Missing Evidence

      z
    z

    Evidence Refs

      z!

      Route-Relevant Entries

      z z
      indexentrydescriptorchildcurrent entrydesc mapsnested mapschild mapsraw desc readercorrected desc readerchild reader
      z

      All Entries

      z z

      Remaining Proofs

      z
        zz)returnr)rr@rrr4)r evidence_refsrrproofs missing_itemss` r$ html_pagerfs]GG ;;~.4" M $  WW\IZA[\ \FGG4;KK@Q4R4XVXM 99"P9 \3 R R  RGH-. Rg Rgh6G5H RH` Rahisat`u RvX RY`avYwXx Rxg RhopVhWgX RXy RzABbzcyd RdF RGNOpGqFr RrS RT[\wTxSy Ryg Rhop[ h\ g] R] P RQ X Y E Q F P G RG C RD K L @ D A C B RB O RP W X d P e O f Rf C RDHDODOPSPXPXY`YdYde}Y~YDBDPEPLILDMCN RNl Rmpqxq|q|}NqOqUSUmVlW RWi RjqrCjDiE REQ R  GL12348 %g.@&A%B%H )-> &}oU;+ J  l %  9 r&c|jdd|dz jtj|dddzd |d z jt |d y) NT)parentsexist_okz#save_selector_leaf_index_space.jsonF) ensure_asciiindentrrr#save_selector_leaf_index_space.html)mkdir write_textr dumpsr)rout_dirs r$ write_outputsr se MM$M. 44@@ 7q9D@A 44@@7AS^e@fr&c tjt}|jdtt dz |jdtt |j}t|jjt|jdz gt|jdz gt|jdz i}t||jtd |jd z y) N) descriptionz--exez Hwanse2.exe)typedefaultz --out-dirzsave_selector_leaf_streams.jsonz save_selector_stream_traces.jsonz.save_selector_opcode2c_route_pair_context.jsonz(wrote save selector leaf index space -> r)argparseArgumentParser__doc__ add_argumentrROOTOUT parse_argsrr7 read_bytesr%r r print)parserargsrs r$mainrs  $ $ 9F dD=4HI  $<    D $,,!BBBG$,,!CCRH$,,!QQSUV G '4<<( 4T\\Di5i4j klr&__main__)rrr#rrr)r- int | Noner str | None)r-rrr)r7bytesr8 list[dict]r9r+rr)rLr rDrr list[str])r[r rVrrYrrr)rar!rr)rd dict | Nonerdict[str, dict])r7rr8r rLr r[r rr#rr+rdictr^) r7rrLr r[r rdr"rr$)rr$rr)rr$r rrNone)rr%)4r __future__rrrr r5syspathlibrtypingrrinsertr__file__resolveparentprobe_exe_scene_tablesrrrrrr_r`rrrrrrr~r}rrr%r.r1r;rOrSr\rbrerrrrr r__name__rr&r$r0sS" 3tH~--/6678> H~''* Ul   ' 6 7   E ! : ^ WD'#8 @-4`fO-0 000 0 - 0  0 0n04 a aaa"- a  aHHVJZ25g m zFr&
      indexentrydescriptorchildcurrent entrymarkerroute relevant