+ 2jxRt^RIHt^RIHtHt^RIHt^RIH t ^RI H t H t H t Ht]'d^RIHt.ROtRRltR R ltR R ltR RltRRltRRltR#)a Decision making for the PubGrub resolver. Picks the next undecided package, asks the provider for a version, and records ``NO_VERSIONS`` clauses or constraint clauses as needed. Reference: https://github.com/dart-lang/pub/blob/master/doc/solver.md#decision-making ) annotations) TYPE_CHECKINGAny)add_incompatibility)ROOT)IncompatibilityIncompatibilityCause RangeProtocolTerm)Resolverc V^8dQhRRRR/#)resolverResolver[Any, Any]return Any | None)formats"^/home/user/billing-ledger-validation/.venv/lib/python3.14/site-packages/nab_resolver/decide.py __annotate__rs)()('9)(j)(c 0aaaaaaa a VPP4pVP\4V'gR#VPP 4VP PoVP PoVPPoVPP4oVPPoVPPoVPo VPo RVVVVVVV V 3Rllp\!WR7#)aChoose the next undecided package, or None if all decided. Prefers ``is_ready`` packages so resolution keeps making progress while other listings/metadata are still in flight. ``begin_decision_scan`` marks the start of the scan so a provider fed by another thread can hold the state behind its sort key still: ``min`` only picks correctly over a key that does not move while it runs. Nc V^8dQhRRRR/#)r packagerrztuple[Any, ...]r)rs"rr.choose_package_to_decide..__annotate__6s33#3/3rc<S !TS!V4;'gSSS4pS!V4'd^M^pS PV4pVf)S PV4pVf^^\V43pVS V&W!V3#))getstr) rpriority ready_penaltytiebreak any_rangeconflict_countsculprit_counts get_rangeis_ready prioritize root_ordertiebreak_caches & rsort_key*choose_package_to_decide..sort_key6s  g  + +)     &g..A !%%g.  !~~g.Hq#g,/&.N7 #22r)key)solutionundecided_packagesdiscardrproviderbegin_decision_scanstatspackage_conflict_countspackage_culprit_countsr range_typefullr'r&r)root_package_ordermin) r undecidedr*r"r#r$r%r&r'r(r)s & @@@@@@@@rchoose_package_to_decider:s!!446I d  ))+nn<?G"H6# =rc ,V^8dQhRRRRRRRRR R /#) r rrrr requirementRangeProtocol[Any]causezIncompatibility[Any, Any]rNoner)rs"rrrisAMM M M$M % M  MrcXVPPV4pVfR#WB,pWT8wd{VPV4'dbVPPWRVR7VP;P ^, unVP PVRVR7R#R#R#)aDerive a requirement that refines a package's range without narrowing it. Unit propagation acts only on requirements that narrow a package's version set. When a version-set-redundant requirement still yields a different range, that difference is a refinement the range type carries (such as a pre-release opt-in), so derive it onto the package. The derivation rides the parent decision level, is undone on backtracking, and leaves every term relation unchanged, so nothing re-propagates. NT)positiverO)r-positive_range is_subsetderiver2 derivationsobserver on_derivation)rrrMrOrRfoldeds&&&& rabsorb_redundant_requirementrZis  //8H #F h00==  E R""a'"''$e'L>rc(V^8dQhRRRRRRRR/#) r rrrrrBrNrrEr)rs"rrrs2 L L  L+. L?Q L  Lrc8VPPW4#)aReturn whether a user constraint is why ``choose_version`` found nothing. ``choose_version`` already returned None over the constraint-narrowed range. Ask whether the un-narrowed ``current_range`` would still yield a version: a hit means the constraint clipped away what would otherwise have been chosen, so the constraint is the cause; a miss means the package fails on its own (no versions, or none satisfy the requirement) and the constraint is irrelevant. )r0has_satisfying_version)rrrBs&&&r_constraint_hid_a_versionr^s    3 3G KKrc(V^8dQhRRRRRRRR/#) r rrrr had_pendingrErrPr)rs"rrrs,!! !+.!@D! !rc V'dR#VPPV4;'gVPP4pVPP W4VP PV4pVRJ;'d \WV4pV'd\PpTpM\PpRp\V\\WRR7.VVR74R#)zAdd the default ``NO_VERSIONS`` clause for ``package``. Skipped when the provider already supplied context-aware clauses; otherwise the broad clause would persist past the backjump that lifts the supporting decisions. NT)rR)rOconstraint_range)r-rr5r6rWon_no_versionsr=r^r CONSTRAINT NO_VERSIONSrrr )rrr`rBrC constrainedrOrbs&&$ rrecord_no_versionsrgs%%))'2PPh6I6I6N6N6PM $$W<%%))'2JD(-F=.K$//%$00 '4 8 9- rN)rKrZr:rArg)__doc__ __future__rtypingrrincompat_indexrrootrtypesrrr r rr __all__r:rArKrZr^rgrrrrosM#%/MM" )(XD$ M8 L!r