UHjtOdZddlmZddlZddlZddlZddlmZddlm Z ee jjdZ e dz ZdZd Zd Zgd Zgd Zd gdddgdddgdddgddgZd%dZd&dZd'dZd(dZd)dZd*dZd+dZd,dZd-dZ d.dZd/d Zd/d!Z efd0d"Z!d1d#Z"e#d$k(re"yy)2z6Summarize the current frontier reader branch outcomes.) annotationsN)Path)Anyoutmap1_01amap2_02d 0x00542b0c)znormal-runtime-reader-executionzresource-payload-strict-hotspotz&independent-strict-transition-evidence)zVnormal runtime selector/root execution reaches reader 0x00542b0c with real route statezEselected resource payload decodes to a strict map1_01a source hotspotzEindependent strict event/coordinate evidence for map1_01a -> map2_02dz)out/save_selector_scene_list_context.json)currentFrontier branchSteps evidenceRefsevidenceRefCount)pathfieldsz/out/save_selector_branch_selector_equation.json)predecessorFillHypothesisactiveFlagEffectreaderHandlerVaHexz'out/map1_01a_scene_payload_context.json)payloadsclassificationpromotionEvidencez2out/save_selector_opcode2c_route_pair_context.json) correctedTraceReachesReaderCountroutePairDescriptorCount proofFoundcp|js|Stj|jdS)Nutf-8encoding)existsjsonloads read_text)rfallbacks S/home/exedev/hwanse/tools/summarize_save_selector_frontier_reader_branch_context.py load_jsonr$/s* ;;= ::dnngn6 77c<t|tsyt|dS)N) isinstancestrint)values r# u32_from_hexr,5s eS ! ub>r%c*t|}||dzSdS)Nr,) value_hexr+s r#low_byter1;s  #E ,54<6$6r%c4t|}|y||dzz dzS)Nr.r/)r0offsetr+s r# stream_byter5@s(  #E } fqj !T ))r%c|xsi}|jdxs(|jdxs|jdxsdS)Ncns targetVaHexkind-get)r9s r# kind_labelr=Gs: :2D 88E? Pdhh}5 P&9I PSPr%c|jdxsgDcic]%}|jdr|jd|'c}Scc}w)Nr payloadVaHexr;)scene_payload_contextrows r# payload_by_varBLsN),,Z8>B   77> " $  s*Ac|jdxsi}|jdxsgDcic]%}|jdr|jd|'c}Scc}w)Nr windowvaHexr;)scene_list_contextcurrentrAs r# window_by_varHTsb $$%67=2G;;x(.B   777  #  s*Ac0t|}|yd||zdS)N0x08xr/)r0deltar+s r#add_hexrM]s(  #E }  c" ##r%c|jdxsi}|jdxsg}t|}|jdxsigdjdxsijd}t|}g}|D]}|jd}t|} | || |k\r*t|jdd k7rH|jt |d xsd } |jt |d xsd } |jd} t | d xsddk7rdnd} t | d}|j || | |d|dnd| r| jdnd| r| jdni| r&| jdxsijddund| r&| jdxsijddund| r| jdnd| r| jdnd| r| jdni| xsijdxsijd| xsijdxsijddud |S)Nr rDr rnearestSourceRecordAfterBranch recordVaHexrEvalueHexr3rsecondaryBranchStateprimaryBranchStaterJ02x valueKind isFieldMapTF isResourcehandlerCandidatehandlerSection isCodeHandler) branchVaHexrQ stateTableselectionBufferOffsetHexfalseTargetVaHexfalseTargetKindfalseTargetIsFieldMapfalseTargetIsResourcetrueFallthroughVaHextrueFallthroughValueHextrueFallthroughKindtrueFallthroughHandlerSectiontrueFallthroughLooksExecutable)r<rHr,r1rMr5append)rFrGrDby_va first_sourcefirst_source_varowsrAva_hexvatarget fallthroughr0tabler4s r#sibling_gate_rowsrudsc $$%67=2G [[ " (bF + ,E[[/7B4;??@`agegllmz{L"<0O D ! & ! :/5":O  CGGJ' (D 0 761-34ii 2 8b9 GGJ' +6y!+D+Ia*O&UiY* !!=C=O"VCL(9UY:@ : 6d:@vzz+6bbhfjj&=&C%H%H%VZ^%^nsbhfjj&=&C%H%H%VZ^%^ns@KKOOG$|jd?d@|jdAd|jddBdCdDdCdEdCdFtdGtdHtdIttdJdCdKdCdL|gdMdNS)ONr c3RK|]}|jdtk(s|!yw) streamVaHexN)r< READER_HEX.0rAs r# z build_summary..s!aCGGM.s'bcI`Aa'b  siblingFieldMapTargetCountc3DK|]}|jdsdyw)rdrNr;rzs r#r|z build_summary..s)d377KbCc!)dr!siblingExecutableFallthroughCountc3DK|]}|jdsdyw)rjrNr;rzs r#r|z build_summary..s0ts#''RrJs0tr siblingGatesnearestSourceRecordAfterReaderrOnearestTargetRecordAfterReadernearestTargetRecordAfterBranchrFfrontierReaderRuntimeProofFound%frontierReaderStrictHotspotProofFoundfailedFrontierReaderGateIdsmissingEvidencer rstrictHotspotFoundruntimeSelectionProvenblocked)zVprove normal runtime selector/root execution reaches this reader with real route statezYdecode the selected resource payload into a strict map1_01a source hotspot, if one existszMor find independent strict event/coordinate evidence for map1_01a -> map2_02d)promotionStatus conclusionremainingProofs) r<nextrBruSOURCETARGETrylensumFAILED_FRONTIER_READER_GATE_IDS FRONTIER_READER_MISSING_EVIDENCEFRONTIER_READER_EVIDENCE_REFS)rFbranch_selector_equationr@opcode2c_contextrGbranchrfallthrough_payload predecessoractivepredecessor_selects_fallthrough pass_outcome fail_outcomesiblingsrs r# build_summaryrsq !$$%67=2G a M28ba ] # +tQ/F23H",,vzz2G'HIOR*../JKQrK % ) )*< = CF&1oo6K&LPT&T# !::&89JJ45ZZ 67=2!::&CDJOOP`a!::&BCtK!4!8!89I!J$7$;$;B"JJ'?@DH#ZZ(?@FBKKLY]aa L!!34H +* &* &*  z*  &**Z0 *  6::;OP *  VZZ , *  #FJJ/I$J*  fjj.*  45E5I5IJl5m*  #$4$8$89S$T*  (9N)O*  ' (G*  )+//:O*P*  26::?B4C*  '9X ^h*  |!* " |#* $ -c(m%* & #C'bX'b$b'* ( %c)dx)d&d)* * ,S0th0t-t+* , -* . )&**5U*V/* 0 )&**5U*V1* 2 &**%563* 4 e5* 6 *57* 8 09* : &'F;* < ;=* > 5?* @ C =>A* B eC* D !%E* F%  K* *r%c |jdxsi}|jdxsi}gddd|jdd|jdd d |jd d |jd d|jdd d|jdd d|jdd|jdd|jdd|jdd|jdd|jdd d|jdd |jd!d"|jd#d$d%j|jd&xsgxsd'd(t|jd)xsgd*|jd+d,|jd-d.|jd/d0|jd1d d|jd2xsddd3dd4d5d6|jd7d8|jd9d:|jd;d|jd?d>|jd@xsd'd>|jdAdBdC|jd7d8|jdDd|jd^dB|j gd_|j d`|jdaxsgD|j gdb|j dc|jd)xsgD|j dddj|S)eNrrz.# Save Selector Frontier Reader Branch ContextrTz - route: `rz -> rr`z - reader: `rz` `rz` via `rz- condition: `rz/- corrected route-pair traces reaching reader: r/rz- predecessor hypothesis: `rz` fill `rz` all starts pass=rz#- predecessor hypothesis outcome: `rz- proof found: rz'- frontier reader runtime proof found: rz.- frontier reader strict hotspot proof found: rz - failed frontier reader gates: z, rr:z- missing evidence count: rz- evidence refs: rz- strict hotspot found: rz- runtime selection proven: rz- promotion status: `rrz## Reader Outcomesze| condition value | outcome | target/value | kind | executable | payload class | promotion evidence |z+| --- | --- | --- | --- | --- | --- | --- |z| 1 | rz | `rz` -> `rQz` | rYz | rrrz |z | not 1 | r8z | - | resource=r fieldMap=rz | False |z%## Sibling Gates Before Source Recordz- gate count: rz- resource target count: rz- field-map target count: rz - executable fallthrough count: rz`| branch | offset | false target | false kind | true fallthrough | true kind | true executable |rz| `r_z` | `rarbrcrfrgrhrj)rTz## Remaining ProofsrTc3&K|] }d| ywz- Nr{items r#r|zmarkdown..N2dVNr)rTz## Missing EvidencerTc3&K|] }d| ywrrrs r#r|zmarkdown..rr )r<joinrr=rkextend)summaryrrlinesrAs r#markdownrs ;;}-3L;;}-3L% 8%  %  W[[*+4 H0E/FaH%  gkk-01W[[AQ5R4SSZ[b[f[fg{[|Z}}~ %  [12!4 %  :'++Fq:r9sstu|vAvAB\v]u^ _ %  &gkk2Q&R%SS[\c\g\giG]H\II[\c\g\ghH\I[J K%  .gkk:X.Y-ZZ[\%  '++l345%  2'++>_2`1ab%  9El9m8no%  +499W[[A^5_5ece+f+mjm*no%  %S5F)G)M2%N$OP%  GKK(:;<=%  #7;;/C#D"EF%  'w{{3K'L&MN!% "  ,= >?qA#% $ %% &  L!'R'% ( )% * +% , -% . p/% 0 61% 2 !!),-T,2B2BCT2U1VV\]i]m]mnx]y\zz~@JKWK[K[\gKh@ijjmnzn~n~PnQmRRUVbVfVfg~VVFCFUGGJKWK[K[\vKwJxxz {3% 4 \%%i01l6F6F}6U5VVZ[efrfvfvxCgD\E[FFVWcWgWghzW{V||FGSGWGWXjGkFllv w5% 6 7% 8 09% : ;% < %IJKL=% > $GKK0J$K#LM?% @ %W[[1M%N$OPA% B +7;;7Z+[*\]C% D E% F kG% H 6I% EL{{>*0b  #''-()sww7Q/R.ST*+,DCGGDUg=hhj l   LL01 LLN5F)G)M2NN LL01 LLN5F)G)M2NN LL 99U r%c&D |jdxsi}|jdxsi}g}|jdxsgD]i}|jdtjt |jddtjt |jddtjt |jdd tjt |jd d tjt |jd d tjt |jdd tjt |jdd|jddldj d|jdxsgD}dj d|jdxsgD}dj d|jdxsgD}dj dddddd d!d"d#d$d%tjt |jd&d'tjt |jd(d)tjt |jd*d+|jd,d-|jd.d/tjt |jd0d1tjt |jd2d3d4|jd5d6|jd7d8|jd9d:t|jdxsgd;|jd<d3 d=tj|jd>xsdd?d@|dAdB|dAdCdDdEdFtjt |jdGd tjt |jdHd tjt |jdId tjt |jdJd|jdKdtjt |jdLxsdMd|jdNddOtjt |jdGd tjt |jdPd tjt |jdJdQ|jdRdS|jdTdU dVdWdX|jdYdZ|jd[d\|jd]d^|jd_d3 d`dEdj |dadbdc|dAdddedgS)fNrrrzr_zrarbzrczrfz -> rgrhz rjz rTc3NK|]}dtj|dywz
  • z
    • Nhtmlescapers r#r|zhtml_page..-s#ftDKK-.e4f#%rc3NK|]}dtj|dywrrrs r#r|zhtml_page...s(,0$t{{4 !'rrc3NK|]}dtj|dywrrrs r#r|zhtml_page..1s#g$T[[./u5grrrzzzz zF z= Save Selector Frontier Reader Branch Contexta$ zzz7

    Save Selector Frontier Reader Branch Context

    z

    route rz -> rrz; reader rz;; corrected route-pair traces reaching reader rrrz.; predecessor hypothesis outcome rz ; promotion status rz .

    z

    proofFound rz/; frontierReaderRuntimeProofFound rz5; frontierReaderStrictHotspotProofFound rz$; missingEvidenceCount z; evidence refs rz

    rz

    z+

    Failed Frontier Reader Gates

      z
    z

    Missing Evidence

      z

      Reader Outcomes

      z z z z
      conditionoutcometarget/valuekindexecutablepayload classpromotion evidence
      1rrrQrYrrr:rz
      not 1r8z-resource=rrrzFalse
      z-

      Sibling Gates Before Source Record

      z

      gate count: rz&; resource target count: rz'; field-map target count: rz-; executable fallthrough count: rz z
      branchoffsetfalse targetfalse kindtrue fallthroughtrue kindtrue executable
      z

      Remaining Proofs

      z
        zz)r<rkrrr)r=rr)rrr sibling_rowsrAproofs failed_gatesmissings r# html_pagers/ ;;}-3L;;}-3LL{{>*0b   S)?%@ABCS1K)L%MNOPS1C)D%EFGH;;z#''2C*DEFGHS1G)H%IJKK\]a]h]hilmpmtmtvOnPjQ^R]SS;;z#''2G*HIJKL77;<=>    WWfM^A_Aecef fF774;KK@]4^4dbdLggg'++N_B`BfdfggG 99"PG oA DKKGKK,A(BCDGDKKX[\c\g\ghp\qXrLsKtuKLPLWLWX[\c\g\ghu\vXwLxKyytu|u@u@Alumtnnopwp{p{|VpWoXXFGKGRGRSVW^WbWbcAWBSCGDFEEefjfqfqruv}vAvABSvTrUfVeWWc d \!: ;;jkrkvkvxYlZk[[PQXQ\Q\]DQEPFFjknovozoz{LoMoSQSkTjUUrszs~s~QsRrSS_ `  GKK 5;<=TB 5l^5I )'%8$ t S1A1A)1L-M!N O_c_j_jkno{ooARpSlT`U_VVghlhshstwxDxHxHISxTtUhVgWWghlhshst~KOOP[\t]h^g__hiuiyiyzKiLhMMVW[WbWbcfgsgwgwxOgPgWTWcXWYVZZcdpdtdtuOdPcQQ[ \ $T[[\5E5Ei5P1Q%R$SSbcgcncnorstDtDERtSpTdUcVVfgkgrgrs}~J~N~NOZ~[s\g]f^^z{G{K{KL^{_z``jkwk{k{|NkOjPPh i7 !'++.R"S!TTz|C|G|GHb|c{ddKLSLWLWXtLuKvvcdkdodopSdTcUUa b u BGGL)**:;%  = r%c|jdd|dz jtj|dddzd y) NT)parentsexist_ok1save_selector_frontier_reader_branch_context.jsonFrW) ensure_asciiindentrrr)mkdir write_textrdumps)rout_dirs r# write_outputsrTsD MM$M. BBNN 7q9D@Or%c tjt}|jdtt |j }tt|jdz it|jdz it|jdz it|jdz i}t||jtd|jd z y) N) descriptionz --out-dir)typedefaultz%save_selector_scene_list_context.jsonz+save_selector_branch_selector_equation.jsonz#map1_01a_scene_payload_context.jsonz.save_selector_opcode2c_route_pair_context.jsonz(wrote frontier reader branch context -> r) argparseArgumentParser__doc__ add_argumentrOUT parse_argsrr$rrprint)parserargsrs r#mainr\s  $ $ 9F  $<    D$,,!HH"M$,,!NNPRS$,,!FFK$,,!QQSUV G '4<<( 4T\\Dw5w4x yzr%__main__)rrr"rreturnr)r+ str | Noner int | None)r0rrr )r0rr4r*rr )r9z dict | Nonerr))r@dictrdict[str, dict])rFr rr )r0rrLr*rr)rFr rz list[dict]) rFr rr r@r rr rr )rr rr))rr rrrNone)rr )$r __future__rrrrpathlibrtypingr__file__resolverROOTrrrryrrrr$r,r1r5r=rBrHrMrurrrrr__name__rr%r#rs8<"  H~''* Ul    # $ <X BY :E E`!(8  7 *Q $"JYY"Y Y Y  Yx5p4n25 { zFr%