dSLjyCdZddlmZddlZddlZddlmZddlmZee jjdZ e dz Z e dz Zdd Zdd Zdd Zdd Zdd ZddZddZedk(reyy)aIConsolidate the selector address-predecessor bridge decision. The 10:0 -> 2:0 address-adjacent block was tempting because it contains many current-range pointers. This report keeps that evidence visible while making the promotion boundary explicit: those references are data/resource adjacency, not live route execution proof. ) annotationsN)Path)Anyoutwebc tjt|z jd}t |t r|SiS#t$ricYSwxYw)Nutf-8encoding)jsonloadsOUT read_textFileNotFoundError isinstancedict)namedatas 9tools/build_selector_address_predecessor_bridge_review.py load_jsonrsSzz3:00'0BCdD)41r1  s,A AAcVtj|ddSt|dS)NT)quote)htmlescapestr)values rhrs% ;;U]r$ GGE $ GGcv|jdrd|zS|jdr|jdS|S)Nzout/z../zweb/) startswith removeprefix)paths rlinkr%"s: vt| v  (( Kr cV|r't|dtr|djdSy)Nrrole)rrget)refss rfirst_ref_roler**s( 47D)Aw{{6"" r cT td}td}td}td}td}td}td}|jd}t|tr|ni}|jd }t|tr|ni}|jd } t| tr| ng} |jd } t| tr| ng} |jd d |jd|jdgd|jdd|jd|jdgd|jdd|jd|jd|jdgd|jdd|jd|jdgdg} |jd} t| tr| ng} |jd } t| tr| ng} d!|jd"d#d#kD|jd"d#d$d%t | d&k7t | xsd'd$d(t |jd)|jd*xsijd+d#d$d,t |jd-|jd-d$d.t |jd/|jd/d$d0|jd1d#d#kD|jd1d#d$d2t |jd3|jd3d$g}td4|D}d5}id|jdd|jdd|jdd|jdd6|jd6d7|jd7d"|jd"d#d8|jd8d#d9t| d:|jd*xsijd+d#d3|jd3d;t |jd-xr<td<|jDxrt |jd/d=|jd1d#d>|jd>d?|d@dAdB|}dCdDgdE|| |jdFi| | ddG|| | |jdH|jd-||jd/|jdI|jdJdK|jdL|jdM|jd1|jdNdOdPtt|jdQtr|jdQgngidRS)SNz&selector_root_preentry_ref_review.jsonz.save_selector_address_predecessor_context.jsonz*save_selector_predecessor_bridge_refs.jsonz*save_selector_predecessor_route_order.jsonz7save_selector_predecessor_fill_execution_order_gap.jsonz4save_selector_predecessor_descriptor_bridge_gap.jsonz#selector_root_structure_review.jsonfillEntryCandidateScandirectFillSiteRefCounts failedGatesremainingProofssourceSelectorzsource selector sourceRootHex sourceMaps)selectorr'rootHexmapslogicalPredecessorSelectorzlogical predecessorlogicalPredecessorRootHexlogicalPredecessorMapsaddressPredecessorSelectorzaddress predecessoraddressPredecessorRootHexaddressPredecessorRangeHexaddressPredecessorMaps)r3r'r4rangeHexr5currentSelectorzcurrent selectorcurrentRootHex currentMaps#addressPredecessorToCurrentRootRefs0addressPredecessorCurrentRootRefFollowingStringsz-source/predecessor aligned current-range refs)sourceOrPredecessorToCurrentRangeRefCountr)rpassedevidencez
current direct dword bridgeforwardExecutionBridgeFoundpredecessorToCurrenthitCountz0predecessor fill sites reachable from root entry)rootEntryFixedTraversalFillSitesReachablez&predecessor fill entry candidate foundentryCandidateFoundz0descriptor closure contains route execution edge+descriptorEdgeRouteExecutionTargetEdgeCountzroute order provenrouteOrderProvenc3&K|] }|d yw)rDN).0gates r zbuild..s4d4>4szuaddress-predecessor selector 10:0 is target-side resource/data adjacency only; do not promote it as a route producer.0addressPredecessorEqualsLogicalPredecessorMapSet)currentEqualsAddressPredecessorPlusSource(addressPredecessorToCurrentRangeRefCount'addressPredecessorToCurrentRootRefCountpredecessorToCurrentHitCountfillExecutionProvenc3@K|]}t|xsddkDyw)rN)intrPrs rrRzbuild..sQEJQ!#Qs!descriptorRouteExecutionEdgeCount0addressPredecessorBridgeRouteExecutionProofFoundpromotedRouteProofbridgeContextClassificationz+context-only-target-side-resource-adjacencydecisionrz1hwanse-selector-address-predecessor-bridge-review)z*out/selector_root_preentry_ref_review.jsonz'out/selector_root_structure_review.jsonz2out/save_selector_address_predecessor_context.jsonz.out/save_selector_predecessor_bridge_refs.jsonz.out/save_selector_predecessor_route_order.jsonz;out/save_selector_predecessor_fill_execution_order_gap.jsonz8out/save_selector_predecessor_descriptor_bridge_gap.json,addressPredecessorBridgeClassificationCounts("localFillTraceReachesCurrentReaderlocalFillTraceStopReasonlocalFillTraceStopHex)rcrJr-rKrdre%descriptorEdgeRejectionClassification'descriptorEdgeDescriptorTargetEdgeCount#descriptorEdgeAllTargetSectionsData)classificationdescriptorTargetEdgeCountrouteExecutionTargetEdgeCountallTargetSectionsDatarootReviewCount rootReviews)versionkindsourceArtifactssummaryselectorMapSetsclassificationCountsexactCurrentRootRefsfollowingResourceStrings decisionGatesrouteOrderFailedGatesrouteOrderRemainingProofsfillGap descriptorGapstructureContext) rr(rrlistr*boolalllenanyvalues)preentryctxbridge route_orderfill_gapdescriptor_gap structurefill_entry_scandirect_fill_ref_counts failed_gatesremaining_proofsselector_map_setsexact_root_refsfollowing_stringsgatespromotedr`rrs rbuildr0s,ABH D EC C DFHIKRSHUVN?@Ill#;?#(:; ?$ EL4e44H 1 $cgg.J&K#SWW-H%I 377#45 #''"23  ;CGG >=  4SWW=h5i 4X\\ 76  3HLL 65  233G '4J)K)Qr(V(VWacd(e!" KOO,>?#$ tHLL1\$]^ = Q1G1N1N1PQ Q = $$%:; <)* ,^-?-?@mop-q+, ;HLL >= -2 h34 &'T56 H7G>C , ( -[]_ ` /$5cr$:!-%52:,,?c2d9A;:(>#2#6#67L#M(0 5O(P%-\\2I%J  -001XY)7););r>r^r9r_rWrUrCz
z z
NrrPkvs rrRzrender_html..s@  Aq    !vZ!v]C s,.c3 K|]}dt|jddt|jddt|jddtdj|jdxsgd y w) r3 r'zr4z, r5 N)rr(joinrProws rrRzrender_html..s   $%&'!"#swwy)*+,3776?0b1234  sB Brsc3XK|]"\}}dt|dt|d$yw)rrrNrrs rrRzrender_html..s3 Aq 1Q4& !A$z2s(*rtc 3K|]s}dt|jddt|jddt|jddt|jdd uy w) zrefVaHexz targetVaHexrr'risCurrentSelectorRowPointerrNrr(rs rrRzrender_html..s   swwz*+,-sww}-./0!"#6789:  sA9A;ruc 3K|]S}dt|ddt|drdnddt|ddt|jdd Uy w) rrzrrErNrrs rrRzrender_html..st   V~#h-V<=R#h-@P?QR$%&' sAArwc3dK|](}dtt|dt|d*yw)zzNrr[s rrRzrender_html.. sau&5 '2arvc3:K|]}dt|dywz
  • z
    • Nrr[s rrRzrender_html.. sWtAeH:U+Wrrxc3:K|]}dt|dywrrr[s rrRzrender_html.. s^5$qxj.^rryrzr{u8 Selector Address Predecessor Bridge Review

    Selector Address Predecessor Bridge Review

    주소상 선행 selector r9u"가 current selector r>uu로 이어지는 실행 증거인지 재분류한 요약입니다.

    결론: r`z
    z

    Selector Map Sets

    z
    selectorrolerootmaps

    Decision Gates

    z
    gatepassedevidence

    Bridge Classifications

    z
    classificationcount

    Exact Current Root Refs

    z
    reftargetrolerow pointer

    Fill Gap

    fill trace reaches current reader: rczF

    root traversal reaches fill sites: rJz:

    entry candidate found: rKz,

    stop: rez rdzj

    Descriptor Gap

    classification: riz5

    descriptor edges: rjz:

    route execution edges: rkz5

    all targets data: rlzu

    Following Resource Strings

    zk

    Route Order Failed Gates

      zM

    Remaining Proofs

      z`

    Source Artifacts

    z
    )ritemssortedrr() rscardsmap_rows class_rowsref_rows gate_rowslinks resourcesfailed remainingrrs r render_htmlrs YA GG GGI  Eww)*H4 67==?@Jww./H ( I GG*+ EaE_@`aaI WWW>U9VW WF^DA\<]^^IIH/*N` ` !3` B45QUU;W5X3Y2ZC` B[}C` B~@A@E@EFW@X~Y}ZC` BZ(C` D)*!%% *;(<'=E` D>E` FWG` FcG` NdlblO` NmXO` XYbWbY` XcRY` dS]Q]e` d^ie` ljrhrm` ls>m` z?@ Mq@r>s=t{` zu>{` |?@ Mx@y>z={}` ||2}` ~34HLLAV4W2X1Y` ~Z$` @%&hll3J&K$L#MA` @NVA` @WXX`XdXdeYAWBVCA` @C+A` H,-^-?-?@P-Q+R*SI` HT-I` J./~/A/AB]/^-_,`K` Ja2K` L34N4F4FGf4g2h1iM` Lj-M` N./~/A/ABY/Z-[,\O` N] O` Z!*{[` Z+ [` f (g` f g` n +o` no` zw{` z{` `r c \tjdtjdt}tdz j t j |dddtd z j t|d|d }td |d d |dd|ddy)NT)exist_okz/selector_address_predecessor_bridge_review.jsonF),:) ensure_ascii separatorsr r z/selector_address_predecessor_bridge_review.htmlrrz2wrote selector address predecessor bridge review (r9z -> r>z , promoted=r^)) rmkdirWEBr write_textr dumpsrprint)rrs rmainrrsIItIIItI 7D <<HH 4e CI <<HHDI YA  * + ,D3D1E0FG*+,A /r __main__)rrreturndict[str, Any])rrrr)r$rrr)r)z list[Any]rz str | None)rr)rrrr)rNone)__doc__ __future__rrr pathlibrtypingr__file__resolveparentsROOTrrrrr%r*rrr__name__rOr rrs#  H~''* Ul Ul2H dNXv( zFr