feat: name leftover-map reconstruction on leftover pairs (v2.12.30)

[seonghobae]

Buyer next action

After make seed, leftover post–criterion pairs sit above the member list with leftover-map reconstruction R̂ next to leftover-map distance d. Click the pair to open that post. The reconstruction badge is omitted when the pair has no complete-case leftover map (fallback rows do not invent a reconstruction). A signed reconstruction is shown, never clamped. Never invent leftover score or theta.

A leftover residual R is not the leftover the two leftover-map axes reconstruct. Gabriel (1971) reconstructs a centered matrix as the inner product of person and item coordinates. Two leftover-map axes pad unused axes with zero and drop hidden SVD axes after the second, so reconstruction R̂_c = ξ_{1:2} · ζ_{1:2} recovers centered leftover R̃ = R − center, not raw residual R and not leftover-map distance d. Rank-0 origin maps store R̂ = 0. A rank-1 cell stores exact centered leftover. A rank-3+ cell stores truncated reconstruction, which is not R and not d.

Scope (this PR only)

• ADR 0186 leftover-map reconstruction
• migration 0186 nullable leftover_map_reconstruction on leftover pair rows (no nonnegative CHECK)
• persist/fetch/seed leftover_map_reconstruction when complete-case ξ, ζ exist (R̂_c = ξ_{1:2} · ζ_{1:2}; unused axes pad with 0; hidden SVD axes after the second are dropped)
• frontend R̂ badge + named reconstruction next action; i18n en/ko/zh/ja/vi
• rank-1 cell reconstruction equals centered leftover; rank-4 synthetic residual proves R̂ ≠ R, ≠ leftover_distance, and ≠ full-rank inner product; leftover_distance stays two-axis Euclidean
• rank-0 maps store R̂ = 0; fallback omits reconstruction; negative finite reconstruction is stored
• do not persist leftover_map_explained_share, leftover_map_unexplained_share, leftover_map_unexplained, leftover_map_cross_share, or leftover-map coordinates
• release 2.12.30

Independent of leftover stacks already in review

Do not mix into:

• feat: persist leftover interaction-map coordinates (v2.12.7) #481 leftover interaction-map coordinates
• feat: land leftover pair clicks on the named Post quality criterion (v2.12.8) #485 leftover criterion evaluation landing
• feat: name leftover complete-case coverage (v2.12.17) #518 leftover complete-case coverage
• feat: persist leftover-map axis share on period reports (v2.12.16) #519 leftover-map axis share
• feat: show leftover pairs on the grouping comparison strip (v2.12.17) #521 leftover pairs comparison strip
• feat: measure leftover-map distances on two Gabriel axes (v2.12.18) #522 two-axis leftover-map distance
• feat: name leftover-map unexplained leftover on leftover pairs (v2.12.26) #535 leftover-map unexplained leftover
• feat: name leftover-map unexplained share on leftover pairs (v2.12.27) #537 leftover-map unexplained share
• feat: name leftover-map explained share on leftover pairs (v2.12.28) #539 leftover-map explained share
• feat: name leftover-map cross share on leftover pairs (v2.12.29) #563 leftover-map cross share
• Role, responsibility, and agent ontology (v2.10.0) #74 / feat: add normalized analysis-run registry (Milestone 2 slice 1) #89 / fix(ai): delegate structured defaults to adaptive orchestration #91 / feat(ui): show business context on related-node chips (v0.75.0) #92 historic stacks

Independent exact-head APPROVE required. Do not self-approve. Squash-merge only with independent APPROVE + exact-head required success.

Verification

• uv run --with pytest --with numpy pytest tests/test_leftover_pairs.py — 13 passed
• frontend leftover formatters, LeftoverPairList, i18n, and App.test leftover report surface — 133 passed

---

[coderabbitai]

Warning

Review limit reached

Next included review available in 14 minutes.

View limit details

Limit details: You’ve used the included review currently available.

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Learn how review limits work.

Review configuration:

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Pro Plus

Run ID: ea271136-e350-4962-b13f-54e5e5ca3c04

📥 Commits

Reviewing files that changed from the base of the PR and between 1e72636 and 78afd5b.

📒 Files selected for processing (27)

• AGENTS.md
• ARCHITECTURE.md
• CHANGELOG.d/2.12.30-leftover-map-reconstruction.md
• CHANGELOG.md
• CLAUDE.md
• backend/app/report_ingestion.py
• backend/tests/test_api.py
• docs/adr/0003-fast-mlsirm-report-integration.md
• docs/adr/0048-persist-lsirm-leftover-pairs.md
• docs/adr/0049-leftover-pair-report-ui.md
• docs/adr/0186-leftover-map-reconstruction.md
• frontend/src/App.test.tsx
• frontend/src/api.ts
• frontend/src/components/LeftoverPairList.stories.tsx
• frontend/src/components/LeftoverPairList.test.tsx
• frontend/src/components/LeftoverPairList.tsx
• frontend/src/i18n.test.ts
• frontend/src/i18n.ts
• frontend/src/leftoverMapReconstruction.test.ts
• frontend/src/leftoverMapReconstruction.ts
• lineageweave/leftover_pairs.py
• migrations/0186_report_leftover_map_reconstruction.sql
• migrations/rollback/0186_report_leftover_map_reconstruction.sql
• scripts/seed_demo_data.py
• tests/test_leftover_pairs.py
• tests/test_period_report.py
• tests/test_schema.py

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[seonghobae]

Cycle 2026-08-24: pushed exact head ac5de72 as independent leftover-map reconstruction (ADR 0186, v2.12.30) onto main. Copilot review requested. Auto-merge armed squash; still blocked on independent exact-head APPROVE. Do not self-approve. Do not mix into #481/#485/#535/#537/#539/#563 leftover stacks.

Local verification: leftover pair unit tests 13 passed; frontend leftover formatters + LeftoverPairList + i18n + App leftover surface 133 passed. Synthetic fixtures only.

[seonghobae]

Leftover-map persist+2D UI restack is now #579 (v2.12.19, ADR 0121/0126) on main@b4911f8. Reconstruction naming on leftover pairs stays a later increment after that persist lands. Do not mix into #74/#92. Independent review only — never self-approve.

[seonghobae]

Cycle comment: leftover increment still waits for independent APPROVE + exact-head required success. Author must not self-approve. Do not squash-merge without that APPROVE. Recut leftover-map length onto protected main as independent v2.12.31 / ADR 0187 (0183–0186 claimed by open leftover share/reconstruction PRs). Do not mix leftover stacks. Issues #79 and #87 stay open.

[seonghobae]

Cycle 2026-08-25T07:05 KST: #564 stays independent. It must not mix with leftover stacks #485 / #518 / #521 / #537 / #539 / #563 / #579.

Landed ADR 0182 already defines unexplained leftover as U = R − R̂ with the same two-axis inner product used for leftover-map distance. That identity only holds when persisted reconstruction is that internal R̂, not a separately centered R̃.

This cycle therefore opens a fresh main-based persist of leftover-map reconstruction so U + R̂ = R remains auditable. Do not squash-merge #564 onto that work. Independent exact-head APPROVE required. Author will not self-approve.

[seonghobae]

Independent leftover stack — do not mix. This cycle implements uncentered leftover-map reconstruction R̂ = ξ_{1:2} · ζ_{1:2} on current main (ADR 0183 / v2.12.31) so landed U + R̂ = R stays auditable. #564 remains the centered-R̃ reconstruction (ADR 0186 / v2.12.30) and is not rebased, amended, or squash-merged into this increment. Do not substitute centered R̃ for the reconstruction used to form unexplained leftover U (ADR 0182).

[seonghobae]

Independent leftover stack — do not mix.

Uncentered leftover-map reconstruction persist is now #588 (ADR 0183 / v2.12.31) on current main so landed U + R̂ = R stays auditable. #564 remains the centered-R̃ reconstruction (ADR 0186 / v2.12.30) and is not rebased, amended, or squash-merged into that increment.

[seonghobae]

Closed as superseded by the accepted raw-residual contract and PR #588. ADR 0182 defines U = R − R̂ against raw residual R; this branch reconstructs centered residual R̃ and would break the landed audit identity. PR #588 is the compatible reconstruction persistence path.