feat(reports): preserve grouping-comparison expected delta for serialized successor

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 / 0288 / 0289 / 0290 / 0291 / 0292 / 0293 / 0294 / 0295 / 0296 / 0297 / 0298 / 0299) 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 / 0289 / 0290 / 0291 / 0292 / 0293 / 0294 / 0295 / 0296 / 0297 / 0298 / 0299 / 0300) 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
@@ -458,6 +458,12 @@ compares leftover pairs can match the pair-row `Y` badge; a missing or non-finit
 `Y` omits that leftover-map comparison observed badge and does not invent
 `Y` from `R` and `E` or from leftover-map distance. The strip does not gain the
 leftover-map graphic.
+ADR 0300 captions grouping comparison leftover-pair buttons with persisted leftover
+expected `E` through formatLeftoverMapExpected so a buyer who
+compares leftover pairs can match the pair-row `E` badge; a missing or non-finite
+`E` omits that leftover-map comparison expected badge and does not invent
+`E` from `Y` and `R` or from leftover-map distance. The strip does not gain the
+leftover-map graphic.
 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
@@ -494,6 +500,8 @@ Grouping comparison leftover residual (ADR 0298) captions grouping comparison le
 buttons with persisted leftover residual `R`.
 Grouping comparison leftover observed (ADR 0299) captions grouping comparison leftover-pair
 buttons with persisted leftover observed `Y`.
+Grouping comparison leftover expected (ADR 0300) captions grouping comparison leftover-pair
+buttons with persisted leftover expected `E`.
 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)

ARCHITECTURE.md

@@ -689,6 +689,8 @@ ADR 0298 captions grouping comparison leftover-pair buttons with persisted lefto
 residual `R` through formatLeftoverMapResidual.
 ADR 0299 captions grouping comparison leftover-pair buttons with persisted leftover
 observed `Y` through formatLeftoverMapObserved.
+ADR 0300 captions grouping comparison leftover-pair buttons with persisted leftover
+expected `E` through formatLeftoverMapExpected.
 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
@@ -715,8 +717,9 @@ incomplete item coverage (ADR 0292), leftover-map reconstruction `R̂`
 (ADR 0295), leftover-map cross share `x`
 (ADR 0296), leftover-map unexplained leftover `U`
 (ADR 0297), leftover residual `R`
-(ADR 0298), and leftover observed `Y`
-(ADR 0299);
+(ADR 0298), leftover observed `Y`
+(ADR 0299), and leftover expected `E`
+(ADR 0300);
 `POST .../rebuild` scores every grouping kind (post_admin). `make seed`
 folds A-100/B-200 Event Lineage fixtures (and the Riverbend calendar
 post) that already have constructed IRT cells into the same shared

CHANGELOG.d/2.57.0-leftover-map-compare-expected.md

@@ -0,0 +1,16 @@
+## 2.57.0 — Leftover expected on grouping comparison strip pair rows
+
+- Caption leftover expected `E` on grouping comparison strip leftover-pair
+  buttons through formatLeftoverMapExpected (ADR 0300). After `make seed`,
+  closest and farthest leftover pairs sit above the member list with grouping
+  comparison leftover-pair buttons that match leftover expected `E` on the
+  pair row; click a post marker or a pair button opens that post. A missing
+  or non-finite `E` omits that leftover-map comparison expected badge and
+  keeps leftover observed `Y` when finite, leftover residual `R` when finite,
+  leftover-map unexplained leftover `U` when finite, leftover-map cross share
+  `x` when finite, leftover-map unexplained leftover share `s` when finite,
+  leftover-map explained leftover share `e` when finite, leftover-map
+  reconstruction `R̂` when finite, leftover-map distance `d`, plus the strip
+  coverage notes. Do not invent `E` from `Y` and `R`. A finite negative leftover
+  is shown, never clamped. The strip does not gain the leftover-map graphic.
+  Never invent a leftover score. Never invent a theta. No new columns.

CHANGELOG.md

@@ -8,6 +8,58 @@ All notable changes to this project are documented here. Format follows
 
 ### Added
 
+- Period leftover pairs now caption grouping comparison leftover-pair
+  buttons with persisted leftover expected `E` through
+  formatLeftoverMapExpected (ADR 0300 / v2.57.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, a pair-list
+  note that matches leftover-map incomplete item coverage, a grouping
+  comparison note that matches leftover-map post complete-case coverage,
+  a grouping comparison note that matches leftover-map item
+  complete-case coverage, a grouping comparison note that matches
+  leftover-map incomplete post coverage, a grouping comparison note
+  that matches leftover-map incomplete item coverage, grouping comparison
+  leftover-pair buttons that match leftover-map reconstruction `R̂` on the
+  pair row, grouping comparison leftover-pair buttons that match
+  leftover-map explained leftover share `e` on the pair row, grouping
+  comparison leftover-pair buttons that match leftover-map unexplained
+  leftover share `s` on the pair row, grouping comparison leftover-pair
+  buttons that match leftover-map cross share `x` on the pair row,
+  grouping comparison leftover-pair buttons that match leftover-map
+  unexplained leftover `U` on the pair row, grouping comparison leftover-pair
+  buttons that match leftover residual `R` on the pair row, grouping
+  comparison leftover-pair buttons that match leftover observed `Y` on the
+  pair row, and grouping comparison leftover-pair buttons that match leftover
+  expected `E` on the pair row; click a post marker or a pair button opens
+  that post. A missing or non-finite `E` omits that leftover-map comparison
+  expected badge and keeps leftover observed `Y` when finite, leftover residual
+  `R` when finite, leftover-map unexplained leftover `U` when finite,
+  leftover-map cross share `x` when finite, leftover-map unexplained leftover
+  share `s` when finite, leftover-map explained leftover share `e` when finite,
+  leftover-map reconstruction `R̂` when finite, leftover-map distance `d`,
+  plus the strip coverage notes. Do not invent `E` from `Y` and `R`, leftover-map
+  distance, plotted coordinates, leftover residual, leftover-map reconstruction,
+  leftover-map unexplained leftover, leftover-map rank, leftover-map post
+  coverage, leftover-map item coverage, leftover-map incomplete post coverage,
+  leftover-map incomplete item coverage, or the count of unused axes. A finite
+  negative leftover is shown, never clamped. The strip does not gain the
+  leftover-map graphic. Never invent a leftover score or a theta. No new columns.
+
 - Period leftover pairs now caption grouping comparison leftover-pair
   buttons with persisted leftover observed `Y` through
   formatLeftoverMapObserved (ADR 0299 / v2.56.0). After `make seed`,

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 / 0288 / 0289 / 0290 / 0291 / 0292 / 0293 / 0294 / 0295 / 0296 / 0297 / 0298 / 0299), 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 / 0289 / 0290 / 0291 / 0292 / 0293 / 0294 / 0295 / 0296 / 0297 / 0298 / 0299 / 0300), 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),