feat(reports): fail-close leftover-map pair-list post coverage (v2.45.0)

AGENTS.md

@@ -273,7 +273,7 @@ stops startup instead of leaving a healthy-looking partial schema, and
 application code must not compensate for a missing table.
 
 Period leftover pairs (ADR 0017 / 0018 / 0048 / 0049 / 0119 / 0158 / 0162 /
-0163 / 0164 / 0182 / 0185 / 0201 / 0233 / 0266 / 0267 / 0268 / 0269 / 0270 / 0271 / 0272 / 0273 / 0274 / 0275 / 0276 / 0277 / 0278 / 0279 / 0280 / 0281 / 0282 / 0283 / 0284 / 0285 / 0286 / 0287) are computed in `lineageweave/leftover_pairs.py` from the
+0163 / 0164 / 0182 / 0185 / 0201 / 0233 / 0266 / 0267 / 0268 / 0269 / 0270 / 0271 / 0272 / 0273 / 0274 / 0275 / 0276 / 0277 / 0278 / 0279 / 0280 / 0281 / 0282 / 0283 / 0284 / 0285 / 0286 / 0287 / 0288) are computed in `lineageweave/leftover_pairs.py` from the
 residual after a real GRM/GPCM score, never invented. Distances are
 Euclidean on the two-dimensional Gabriel leftover map; missing cells stay
 out of the factorization. Closest and farthest post–criterion pairs
@@ -379,6 +379,12 @@ every scored criterion entering the map; a missing, non-integer, or negative
 dropped count, or a dropped count that contradicts usable item complete-case
 integers, omits that leftover-map incomplete item note and does not invent
 dropped criteria from scored minus used or from plotted criterion marker count.
+ADR 0288 fail-closes leftover-map post complete-case coverage on the pair list
+through leftoverMapCoverageCounts so a used-greater-than-scored, negative, or
+non-integer payload cannot caption a contradictory `used N of M scored posts`
+note; a missing, non-integer, negative-used, non-positive-scored, or
+used-greater-than-scored coverage omits that leftover-map coverage note and
+does not invent post coverage from plotted marker count.
 When `R`, `R̂`, `U`, `x`,
 `s`, and `e` are finite, `e + s + x = 1`. When `Y`, `E`, and `R` are
 finite, `Y − E = R`. When `R`, `R̂`, and `U` are
@@ -391,7 +397,9 @@ residual SVD axes 1 and 2 and persists to `report_leftover_map_axis`.
 Rank-0 residuals emit two zero-share axes; the shares are report-level
 and are not a leftover score. Complete-case coverage (ADR 0168) persists to
 `report_leftover_map_coverage` and captions the pair list and the leftover-map
-graphic with how many scored posts entered the map. Item complete-case coverage
+graphic with how many scored posts entered the map. Pair-list post complete-case
+coverage (ADR 0288) fail-closes that pair-list note through leftoverMapCoverageCounts.
+Item complete-case coverage
 (ADR 0282) captions the leftover-map graphic with how many scored criteria
 entered the map. Item complete-case coverage on the pair list (ADR 0285)
 captions the pair list with how many scored criteria entered the map. Incomplete post coverage (ADR 0283) captions the leftover-map

ARCHITECTURE.md

@@ -637,7 +637,7 @@ information at the group's mean θ (Lord, 1980 max-info CAT). Rankings
 persist to `report_item_information`. After those IRT main effects,
 residual SVD leftover pairs on two Gabriel axes (Jeon et al., 2021;
 ADR 0017 / 0048 / 0049 / 0119 / 0148 / 0158 / 0162 / 0163 / 0164 / 0168 /
-0182 / 0185 / 0201 / 0233 / 0266 / 0267 / 0268 / 0269 / 0270 / 0271 / 0272 / 0273 / 0274 / 0275 / 0276 / 0277 / 0278 / 0279 / 0280 / 0281 / 0282 / 0283 / 0284 / 0285 / 0286 / 0287) persist to `report_leftover_pair` with signed residual `R`,
+0182 / 0185 / 0201 / 0233 / 0266 / 0267 / 0268 / 0269 / 0270 / 0271 / 0272 / 0273 / 0274 / 0275 / 0276 / 0277 / 0278 / 0279 / 0280 / 0281 / 0282 / 0283 / 0284 / 0285 / 0286 / 0287 / 0288) persist to `report_leftover_pair` with signed residual `R`,
 observed `Y`, expected `E[Y|θ, item]`, full leftover-map rank, unexplained
 leftover, ADR 0201 reconstruction evidence, ADR 0185 cross-share evidence,
 ADR 0233 unexplained leftover share `s`, ADR 0266 explained leftover
@@ -666,7 +666,8 @@ captions the leftover-map graphic display with persisted leftover-map incomplete
 item coverage. ADR 0285 captions the leftover pair list with persisted leftover-map
 item complete-case coverage. ADR 0286 captions the leftover pair list with persisted leftover-map
 incomplete post coverage. ADR 0287 captions the leftover pair list with persisted leftover-map
-incomplete item coverage. Click a post marker or a pair button
+incomplete item coverage. ADR 0288 fail-closes leftover-map post complete-case coverage
+on the leftover pair list through leftoverMapCoverageCounts. Click a post marker or a pair button
 opens that post. Those ADRs are the normative mathematical, storage, and
 display contracts. Leftover-map axis share
 (Gabriel inertia of residual SVD axes 1 and 2; ADR 0148) persists to

CHANGELOG.d/2.45.0-leftover-map-list-post-coverage-helper.md

@@ -0,0 +1,31 @@
+## 2.45.0 — Leftover-map post complete-case coverage fail-closed on the pair list
+
+- Fail-close leftover-map post complete-case coverage on the leftover pair
+  list through leftoverMapCoverageCounts (ADR 0288). After `make seed`,
+  closest and farthest leftover pairs sit above the member list with the
+  Gabriel biplot of already-named coordinates, leftover-map axis share when
+  finite, axis ticks that match `ξ (x, y) ζ (x, y)` on the pair row, pair
+  segments that match `d` on the pair row, pair segments that match `R̂` on
+  the pair row, pair segments that match `R̂²/R²` on the pair row, pair
+  segments that match `U²/R²` on the pair row, pair segments that match
+  `2R̂U/R²` on the pair row, pair segments that match `U` on the pair row,
+  pair segments that match `R` on the pair row, pair segments that match
+  `Y` on the pair row, pair segments that match `E` on the pair row, pair
+  segments that match leftover-map rank on the pair row, a plot caption
+  that matches leftover-map complete-case coverage above the pair list, a
+  plot caption that matches leftover-map item complete-case coverage, a
+  plot caption that matches leftover-map incomplete post coverage, a plot
+  caption that matches leftover-map incomplete item coverage, a pair-list
+  note that matches leftover-map post complete-case coverage, a pair-list
+  note that matches leftover-map item complete-case coverage, a pair-list
+  note that matches leftover-map incomplete post coverage, and a pair-list
+  note that matches leftover-map incomplete item coverage; click a post
+  marker or a pair button opens that post. A missing, non-integer, negative
+  used, non-positive scored, or used-greater-than-scored coverage omits
+  that leftover-map coverage note. Coverage `0 of M` is shown when that
+  persisted used count is a non-negative integer and scored is a positive
+  integer. Do not invent post coverage from plotted marker count,
+  leftover-map distance, leftover-map rank, leftover-map item coverage,
+  leftover-map incomplete post coverage, leftover-map incomplete item
+  coverage, or the count of unused axes. Never invent a leftover score.
+  Never invent a theta. No new columns.

CHANGELOG.md

@@ -8,6 +8,37 @@ All notable changes to this project are documented here. Format follows
 
 ### Added
 
+- Period leftover pairs now fail-close leftover-map post complete-case
+  coverage on the leftover pair list through leftoverMapCoverageCounts
+  (ADR 0288 / v2.45.0). After `make seed`, closest and farthest leftover
+  pairs sit above the member list with the Gabriel biplot of already-named
+  coordinates, leftover-map axis share when finite, axis ticks that match
+  `ξ (x, y) ζ (x, y)` on the pair row, pair segments that match `d` on
+  the pair row, pair segments that match `R̂` on the pair row, pair
+  segments that match `R̂²/R²` on the pair row, pair segments that match
+  `U²/R²` on the pair row, pair segments that match `2R̂U/R²` on the pair
+  row, pair segments that match `U` on the pair row, pair segments that
+  match `R` on the pair row, pair segments that match `Y` on the pair
+  row, pair segments that match `E` on the pair row, pair segments that
+  match leftover-map rank on the pair row, a plot caption that matches
+  leftover-map complete-case coverage above the pair list, a plot caption
+  that matches leftover-map item complete-case coverage, a plot caption
+  that matches leftover-map incomplete post coverage, a plot caption that
+  matches leftover-map incomplete item coverage, a pair-list note that
+  matches leftover-map post complete-case coverage, a pair-list note that
+  matches leftover-map item complete-case coverage, a pair-list note that
+  matches leftover-map incomplete post coverage, and a pair-list note
+  that matches leftover-map incomplete item coverage; click a post marker
+  or a pair button opens that post. A missing, non-integer, negative used,
+  non-positive scored, or used-greater-than-scored coverage omits that
+  leftover-map coverage note. Coverage `0 of M` is shown when that
+  persisted used count is a non-negative integer and scored is a positive
+  integer. Do not invent post coverage from plotted marker count,
+  leftover-map distance, leftover-map rank, leftover-map item coverage,
+  leftover-map incomplete post coverage, leftover-map incomplete item
+  coverage, or the count of unused axes. Never invent a leftover score or
+  a theta. No new columns.
+
 - Period leftover pairs now caption the leftover pair list with persisted
   leftover-map incomplete item coverage (ADR 0287 / v2.44.0). After
   `make seed`, closest and farthest leftover pairs sit above the member

CLAUDE.md

@@ -49,7 +49,7 @@ cutoff. Global Ask optional `knowledge_cutoff` uses the same cover
 
 Create/start endpoint rules (ADR 0017 / 0021), tie-vs-miss similarity
 (ADR 0026), R&R catalog ids (ADR 0019 / 0027), leftover pairs
-(ADR 0048–0164 / 0182 / 0185 / 0201 / 0233 / 0266 / 0267 / 0268 / 0269 / 0270 / 0271 / 0272 / 0273 / 0274 / 0275 / 0276 / 0277 / 0278 / 0279 / 0280 / 0281 / 0282 / 0283 / 0284 / 0285 / 0286 / 0287), occupational construct catalog search
+(ADR 0048–0164 / 0182 / 0185 / 0201 / 0233 / 0266 / 0267 / 0268 / 0269 / 0270 / 0271 / 0272 / 0273 / 0274 / 0275 / 0276 / 0277 / 0278 / 0279 / 0280 / 0281 / 0282 / 0283 / 0284 / 0285 / 0286 / 0287 / 0288), occupational construct catalog search
 (ADR 0257), the text-channel embedding swap and cosine
 clamp (ADR 0190), per-edge channel-score persistence (ADR 0195),
 token-backed status notices (ADR 0220),