+ 2j/Rt^RIHt^RIHt^RIHtHt^RIH t H t H t ^RI H t ^RIHt]'d^RIHt^RIHt^R IHt!R R ]4tR R /RRlltRRltRRltRRltRRltR#)aDecision-aware look-ahead for :class:`nab_python.provider.Provider`. Owns ``_look_ahead_ok`` and the pending-block tables that record why a candidate was rejected. ``flush_pending_blocks`` turns those into incompatibilities at the end of ``choose_version``. A decision or positive-range rejection becomes a grouped binary incompatibility (``{candidate range, blocker range}``). Version-derived terms are widened onto the listing's gaps, which leaves the selectable versions they name unchanged. The blocker term widens further when every rejection in the group recorded a dependency range: each fired because the blocker sat outside that range, so every blocker version outside their union repeats the same rejections. Groups queued without ranges, such as the extras block path, keep the narrower term. A root-requirement or metadata rejection has no blocker to name: nothing later in the resolve undoes it, so its versions are banned outright. ) annotations) defaultdict) TYPE_CHECKING NamedTuple)IncompatibilityIncompatibilityCauseTerm) VersionRange)canonicalize_name)Iterable)Version)ProvidercR]tRt^$t$RtR]R&R]R&]RRl4tRR ltR t R #) DepRangeUniona>The blocker constraints recorded by one pending group. ``union`` accumulates the dependency range each rejected candidate declared on the blocker; ``covered`` counts the rejections that contributed one. Widening needs the whole group, so a flush declines when ``covered`` falls short of the group's rejection count. intcoveredr unioncV^8dQhRR/#)returnr)formats"i/home/user/billing-ledger-validation/.venv/lib/python3.14/site-packages/nab_python/_provider/lookahead.py __annotate__DepRangeUnion.__annotate__1s,,],c :V!^\P!44#)z0Return an accumulator with nothing recorded yet.)r empty)clss&rzeroDepRangeUnion.zero0s1l((*++rc V^8dQhRRRR/#)r dep_ranger rrr)rs"rrr5sGG GGrc ^\VP^,VPV,4#)zBReturn this accumulator with one more rejection's range folded in.)rrr)selfr"s&&rrecordDepRangeUnion.record5s!T\\A-tzzI/EFFrrN) __name__ __module__ __qualname____firstlineno____doc____annotations__ classmethodrr%__static_attributes__rrrrr$s2L ,,GGrrcheck_decisionsTc ,V^8dQhRRRRRRRRR R/#) rproviderr packagestrversionr r/boolrr)rs"rrr:sAKKK KK  K  Krc^RIHpVPV4^,eR#W3pWPP9dVP W4VPPV/4pV'd VPMRpVP4EFwr\ V 4p WP9dRVPV ,p V PV 4'd(VPWW3,PV4R#VfKxVPV 4p V e_W9dYWV 3pVP V,PV4VP"V,P%V 4VP"V&R#VP&PV 4pVfEK V eEKV PV4'gEK.WV3pVP(V,PV4VP*V,P%V 4VP*V&R# R# TdApTP \ T4,PT\T44Rp?R#Rp?ii;i)aCheck candidate compatibility with root reqs and decisions. With ``check_decisions=False`` only the root-requirement check runs; used for "subsequent candidate" iterations to avoid per-candidate clause growth on tight version-locks. Extras proxies are skipped (the base's look-ahead is sufficient). ``MetadataError`` (including ``UnsupportedSdistError``) is treated as a rejection so the resolver moves on; the message is recorded for the eventual no-versions diagnostic. ) MetadataErrorNTF)r1r7split_and_normalize deps_cacheget_dependenciespending_metadata_blocksr setdefaultr3getsolution_decisionsitemsroot_requirements is_disjointpending_root_blocksappendpending_blockspending_decision_dep_rangesr%solution_rangespending_range_blockspending_range_dep_ranges)r1r2r4r/r7 cache_keyexcdeps decisionsdep_namer"dep_normalized root_rangedecided_version decision_key pos_range range_keys&&&$ r look_ahead_okrT:s&)##G,Q/;"I+++   % %g 7    " "9b 1D/>++DI#zz|*84 77 7!33NCJ$$Z00,,iD&/  'mmN;O*/O 'I '' 5<w-G H S SS   sHI5IIc(V^8dQhRRRRRRRR/#) rr1r r2r3r4r rr r)rs"rrrs2 K K K!$ K/6 K Krc\VPW4pVf\P!V4#T#)a Return ``version``'s widened neighbor gap, or its singleton without one. Look-ahead needs the gap rather than a ``widen_decision`` span: the gap contains ``version`` and no other listed version, so unions and merge keys name exactly the versions the scan rejected. )widen_decision_gapr singleton)r1r2r4wideneds&&& r_widen_or_singletonrZs.))';G.5o< ! !' *J7Jrc(V^8dQhRRRRRRRR/#) rr1r r2r3versionszIterable[Version]rr r)rs"rrrs,!$0Arch\P!4pVFpV\WV4,pK V#)zDReturn the widened union of one group's rejected candidate versions.)r rrZ)r1r2r\rr4s&&& r_candidate_unionr^s3    E+HwGG Lrc$V^8dQhRRRRRR/#)r accumulatedr rejectionsrrzVersionRange | Noner)rs"rrrs$***,/**rc\VPV8wdR#VPP4#)a\Return the blocker range every rejection in the group rules out. Each rejection recorded the candidate's dependency range on the blocker and fired because the blocker sat outside it, so a blocker version outside all of them reproduces the whole group and the complement of the union is the largest sound term. Returns ``None`` when a rejection contributed no range, leaving the group on its narrower term. Dependency ranges never admit arbitrary strings and :meth:`VersionRange.complement` drops the pre-release opt-in region, so the complement opens no admission the rejections did not already have. N)rr complement)r`ras&&r_membership_widenedrds*j(    ' ' ))rc V^8dQhRRRR/#)rr1r rNoner)rs"rrrsm9m98m9m9rc dVPP4Fwwpppp\WV4p\VPWV3,\ V44pVe.\ P!V4PV4'dTM \WV4pVPP\\WRR7\W'RR7.\PR74K \!\"4Vn\!\$P&4VnVP(P4Fwwpppp\WV4p\VP*WV3,\ V44pVeW, P,'dTMTpVPP\\WRR7\W'RR7.\PR74K \!\"4Vn\!\$P&4Vn\!\ P.4p VP0P4F%wvrpW;;,\WV4,uu&K' VP2P4F#wrW;;,\WV4,uu&K% V P4FEwrVPP\\WRR7.\P4R74KG \!\"4Vn\!\64VnR#)aConvert queued rejections into incompatibilities. For each ``(candidate_pkg, blocker_pkg, blocker_key)`` group we add ``{candidate_pkg in {v1,v2,...}, blocker_pkg in R}``, with each candidate version widened through ``widen_decision_gap``: a version's open neighbor gap holds no other listed version, so adjacent gaps coalesce without changing which versions the clause names. ``R`` is the membership widening when the group recorded a range for every rejection and that widening still covers the blocker, otherwise the decided version's gap for decision-keyed groups and the captured positive range for range-keyed ones. Sound across backjumps because the blocker term goes UNDETERMINED when the supporting decision is reverted, so the candidate range can be reconsidered. Root-requirement and metadata rejections have no such blocker: neither a root requirement nor unreadable metadata changes over the resolve, so each package's rejected versions go out as one single-term ``NO_VERSIONS`` clause naming just those versions. The resolver's own fallback bans the whole asked range, including the pre-releases the PEP 440 buffer kept out of the scan. NT)positive)cause)rDr?r^rdrElenr rX is_subsetrZpending_clausesrCrrr DEPENDENCYrlistrrrGrHis_emptyrrBr; NO_VERSIONSdict) r1 candidate_pkg blocker_pkgblocker_versionr\ range_union membership blocker_term blocker_rangeunusable_rejecteds & rflush_pending_blocksr|s4**002   &xI )  0 0_=  M  %&&7AA*MM %XOL    '' dCTB+55   '38*$/H+6}7I7I+JH(00668   &xI )  - -];  M  %=+E*O*O*O     '' dCTB+55   !92%0$5H!(3M4F4F(GH%0;<;M;M/NH)1)E)E)K)K)M%X#3HX#VV*N$,#C#C#I#I#K #3HX#VV$L$,>>#3   '' m=>*66  $4$/t#4H '24'8H$rN)r+ __future__r collectionsrtypingrrnab_resolver.typesrrr_vendor.packaging.rangesr _vendor.packaging.utilsr collections.abcr _vendor.packaging.versionr r1r rrTrZr^rdr|rrrrsc$##,JJ37(3#GJG,K ! K\ K*(m9r