MIPStarRE paper-gap notes

Mathematical notes recording each discrepancy between a cited source and the formal development: missing hypotheses, scalar corrections, scope restrictions, and replacement proof routes. 26 notes: 0 open, 0 resolved or historical, 26 untagged. Classified by status; source keys in the legend below. The conventions are stated in the policy note. Cite a note by its permanent URL https://sirui-lu.com/MIPStarRE/paper-gaps/<name>.pdf or via paper-gaps.bib.

Untagged 26

2026-05-11The Constant in the Completion-Route Orthonormalization Theorem issue · cited ×2 (tex)
2026-05-05Issue 1093: The Total-Overlap Term in Projective Point-Consistency Transport issue · cited ×1 (tex)
2026-05-04Issue 1099: The Line-169 Replacement Step in the Main-Induction Projectivization Chain issue (tex)
2026-05-04Issue 1099: The Sharper Local Repair for the Line-169 Transport Step issue · cited ×5 (tex)
2026-05-03Issue 1100: Endpoint Branches in the Proof of \texorpdfstringlem:projective-non-measurementlem:projective-non-measurement issue · cited ×1 (tex)
2026-05-05Issue 1228: The SVD Step in Orthonormalization issue (tex)
2026-05-05Issue 1230: How the Self-Improvement SDP Is Used issue · cited ×9 (tex)
2026-05-14Issue 1622: The Degree-Zero Branch of Low-Degree Pasting issue · cited ×2 (tex)
2026-04-30Issue 196: The SDP Primal Constraint Is a Submeasurement Constraint issue (tex)
2026-06-11Chapter 3 Same-Space Specializations of Two-Space Paper Propositions issue (tex)
2026-05-22The Zero-Sampling Boundary in the Main Formal Theorem issue · cited ×9 (tex)
2026-05-01Why the full-slice ABAB transport carries an extra 2\sqrt\zeta issue · cited ×4 (tex)
2026-05-01The evaluated-slice commutativity estimate for the processed-G measurements issue · cited ×2 (tex)
2026-04-29Issue 904: The Missing Completion Term in the Definition of \texorpdfstring\zeta_2zeta2 issue · cited ×6 (tex)
2026-04-29The Large-\texorpdfstringkk Side Condition in the Main Induction issue · cited ×17 (tex)
2026-05-01The ambient dimension in the commutativity theorem for G issue · cited ×2 (tex)
2026-05-01The Support of the Distinct-Tuple Distribution issue · cited ×2 (tex)
2026-05-01The First Successor-Step Error Absorption in the Main Induction issue · cited ×2 (tex)
2026-05-01The Accumulated Error in the Pasting From-\texorpdfstringHH-to-\texorpdfstringGG Lemma issue · cited ×2 (tex)
2026-05-01Resolved Missing \nu-Consistency Hypothesis in the Self-Improvement Theorem issue · cited ×2 (tex)
2026-04-30Issue 933: Normalization of Quantum States in the LDT Formalization issue · cited ×5 (tex)
2026-05-01The polynomial definition: functions with a representative, not function types issue (tex)
2026-05-01Foundation-layer formalization design: finite fields, distributions, and a zero family issue-458 (tex)
2026-05-08Naimark dilation: projective-submeasurement form and the full bipartite assembly naimark · cited ×4 (tex)
2026-05-11Proof-Gap Protocol for Source-Faithful Formalization proof-gap · cited ×7 (tex)
2026-04-30The Nonnegativity Hypothesis in the Small-Overlaps Bound truncation-combinatorics · cited ×5 (tex)

Sources legend