+ 2jRt^RIHt^RIHtHt^RIHtHtH t ]'d^RI H t .ROt ^t RRltRRltR R ltR R ltR #)aIncompatibility index and dependency-clause merging. The resolver keeps two derived indexes alongside ``incompatibilities``: ``package_to_incompatibilities`` (package -> list of clause indices) for unit-propagation lookup, and ``dependency_index`` (merge key -> index) for collapsing many singleton dependency clauses into one ``pkg in {v1, v2, ...}`` clause (pubgrub-rs's ``merge_dependents``). ) annotations) TYPE_CHECKINGAny)IncompatibilityIncompatibilityCauseTerm)Resolverc$V^8dQhRRRRRR/#)resolverResolver[Any, Any]incompatibilityIncompatibility[Any, Any]returnNone)formats"f/home/user/billing-ledger-validation/.venv/lib/python3.14/site-packages/nab_resolver/incompat_index.py __annotate__r s$ 7 7  73L 7  7c"\W4'dR#\VP4pVPPV4VPF/pVP VP ,PV4K1 \WV4R#)zDAdd an incompatibility, merging into an existing clause if possible.N)maybe_merge_dependencylenincompatibilitiesappendtermspackage_to_incompatibilitiespackageindex_dependency)r r indexterms&& radd_incompatibilityr! smh88 ** +E %%o6%%--dll;BB5I&X6rc V^8dQhRRRR/#)r r rrz!tuple[Any, Any, Any, bool] | Noner)rs"rrr.s.&rc.VP\PJg\VP4\ 8wdR#VPwrVP 4'gR#VPVPVPVP 43#)anReturn the merge key for a two-term DEPENDENCY clause, else None. Every DEPENDENCY clause we emit is ``[package_term (positive), dep_term]``, so we trust call-site order: first term is the package, second is the dep. Clauses with matching ``(package, dep_package, dep_constraint, dep_positive)`` tuples can be merged by unioning the package term's positive ranges. N) causer DEPENDENCYrr_DEPENDENCY_CLAUSE_TERMS is_positiver constraint)r pkg_termdep_terms& rdependency_merge_keyr+.s %9%D%DD $$ %)A A(..H    ! !   rc(V^8dQhRRRRRRRR/#) r r r r rrintrrr)rs"rrrJs0// /./ / /rcD\V4pVeW PV&R#R#)z@Record this incompatibility as the canonical clause for its key.N)r+dependency_index)r r rkeys&&& rrrJs&  /C ).!!#&rc$V^8dQhRRRRRR/#)r r r r rrboolr)rs"rrrUs$"" "3L" "rc\V4pVfR#VPPV4pVfR#VPV,pVPwrVVPwrxVP VP ,p WP 8XdR#\ \VPV RR7V.\PR7p WPV&R#)zTry to merge ``incompatibility`` into an existing clause. Returns ``True`` if a merge happened (caller should not also append). Replaces the existing package term with the union; the dep term stays unchanged so semantics are preserved. FT)positive)r$) r+r/getrrr(rrrrr%) r r r0existing_indexexisting existing_pkg existing_depnew_pkg_merged_constraintmergeds && rrrUs  /C {..2237N)).9H!)L &&JG$//'2D2DD333  %%'84 H  #-- F28~. rN)r!r+rr)__doc__ __future__rtypingrrtypesrrrr r__all__r&r!r+rrrrrrCsA#%>>"  78/"r