+ 2jqRt^RIHt^RIHt^RIHt^RIHtH t H t ^RI H t H t ]'d^RIHt^RIHt^RI HtR .t]!0Rm4tR R lt!R R ]4tR R/RRlltRRltRRltRRltR#)aEmit-time lock coverage validation for the PEP 751 emitter. A conformant PEP 751 consumer refuses a lock unless one of its declared ``environments`` markers matches the installing interpreter. A non-covering lock declares no row for an interpreter its own resolve produced pins for, so the installer refuses it there. This is the completeness dual of the disjointness gate: that one forbids two same-name entries firing under one context, this one forbids a resolved context with no entry. The universe is not expressible as a single PEP 508 marker, so the check runs through the marker algebra. For each target the resolve ran it asks whether the union of the emitted rows admits the whole range the target stands for: a minor-interval target stands for its whole minor, a whole target for one micro. A point in that range no row admits is returned as a witness, and the gate fires naming the uncovered interpreter. ) annotations)reduce) TYPE_CHECKING) DecisionStore MarkerSetvariable_names)UNBOUNDABLE_MARKER_VARIABLESdeclared_range_marker)Sequence)Marker) ResolveTarget CoverageErrorc V^8dQhRRRR/#)targetr returnzdict[str, str])formats"h/home/user/billing-ledger-validation/.venv/lib/python3.14/site-packages/nab_python/_lockfile/coverage.py __annotate__r/s  M n cVPP4UUu/uF!wrV\9gKV\9gKWbK# upp#uuppi)zReturn the env axes a reference pins to single equality values. Every boundable axis :func:`declared_range_marker` fixes to one value, minus the open python axis. ) marker_envitemsr_OPEN_PYTHON_AXIS)rnamevalues& r_reference_pinsr/sU",,224 4KD 3 3 8+validate_marker_coverage..XsB\6  v & &\#%c3N"TFp\P!V4xK R#5ir.r/r1s& rr4r5ds DvY " "6 * *r6)r%) rrunionempty_project_implementation_version_references_by_pinsrrestrictdictwitnessr _coverage_message) r'r)r%coveredpins references covered_hereaskedr>s &$$ rvalidate_marker_coveragerEDs B\BG .gWMG/8>>@''T 3  OO D D OO   =(111>   1' :; ;Arc V^8dQhRRRR/#)rr'r(rz,dict[tuple[tuple[str, str], ...], list[str]]r)rs"rrrls $1rc/p\4pVFsp\V4pWB9dKVPV4\\ \ V4P 444pVPV.4PV4Ku V#)aGroup the distinct target references by the platform axes they pin. Targets differing only in Python version pin the same axes, so one restricted union serves them all. Deduped by marker string, so a split minor's slices and the conflict forks of one environment count once. ) setr addtuplesortedrr setdefaultappend)r'groupedseenrr3keys& rr;r;lsw=?GUD&v. >  F?6288:;<3#**62  Nrc(V^8dQhRRRRRRRR/#)rr@rr)r*r'r(rr)rs"rrrs0 "% rc*a\;QJdRV4F 'gK RM RM !RV44'gS#VUu0uFq3PkK pp\\PV3RlV4\P !44#uupi)aDrop ``implementation_version`` from ``covered`` when a row mirrors it. On CPython the resolve mirrors each slice's ``python_full_version`` bounds onto ``implementation_version``, and the algebra treats the two as independent. A cross term (``python_full_version`` from one slice, ``implementation_version`` from another) then survives the plain union and manufactures a false hole on a covering lock, since the reference leaves ``implementation_version`` open. With no existential primitive the projection is reproduced by ``restrict``: binding ``implementation_version`` to one representative per slice drops the axis, and the union over the targets' ``python_full_version`` reassembles the minor. Runs only when a row names ``implementation_version``. c3>"TFpR\V49xK R#5iimplementation_versionN)r)r2rows& rr42_project_implementation_version..sW,3'>#+>>,sTFc3J<"TFpSPRV/4xK R#5irT)r<)r2repr@s& rr4rWs%Kds  3S9 : :ds #)anypython_full_versionrrr8r9)r@r)r'rrepssf&& rr:r:sn& 3W,W333W,W W W5< =W6 & &WD = KdK  >sBc V^8dQhRRRR/#)rr>zdict[str, str | frozenset[str]]rstrr)rs"rrrs>3rcB\R0,pVP4UUu/uF'wr#\V\4'gKW!9gK%W#bK) pppVP R4pRP R\ VP4444pRV RV R2#uuppi)aSRender the uncovered interpreter the witness names. ``python_full_version`` first, then the other boundable axes the witness pins as a sorted ``name == "value"`` list. Kernel axes and the ``python_version`` half of the shared python axis are dropped; membership selections never appear on an environment row, so every value is a string. python_versionr[z, c36"TFwrV RV R2xK R#5i)z == ""Nr)r2rrs& rr4$_coverage_message..s#2K;44&eWA2KszBthe lock declares no environment covering python_full_version == "z" (zT). The resolve produced pins for this interpreter but no environments row admits it.)rr isinstancer^popjoinrK)r>skiprr boundable full_versionaxess& rr?r?s (+;*< TF; sBB B>r`r[rU)r# __future__r functoolsrtypingr_vendor.packaging.markersetsrrrrrr collections.abcr _vendor.packaging.markersr r __all__ frozensetrr ValueErrorr rEr;r:r?rrrrtsv$# SSH(2& G J%<#' %