@techreport{gap:issue-1032-orthonormalization-constant,
  author      = {The {MIPStarRE} contributors},
  title       = {The Constant in the Completion-Route Orthonormalization Theorem},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-1032-orthonormalization-constant},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-1032-orthonormalization-constant.pdf},
}

@techreport{gap:issue-1093-submeasurement-triangle-total-overlap,
  author      = {The {MIPStarRE} contributors},
  title       = {Issue 1093: The Total-Overlap Term in Projective Point-Consistency Transport},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-1093-submeasurement-triangle-total-overlap},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-1093-submeasurement-triangle-total-overlap.pdf},
}

@techreport{gap:issue-1099-line169-triangle-sub-loss,
  author      = {The {MIPStarRE} contributors},
  title       = {Issue 1099: The Line-169 Replacement Step in the Main-Induction Projectivization Chain},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-1099-line169-triangle-sub-loss},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-1099-line169-triangle-sub-loss.pdf},
}

@techreport{gap:issue-1099-sharper-local-fix,
  author      = {The {MIPStarRE} contributors},
  title       = {Issue 1099: The Sharper Local Repair for the Line-169 Transport Step},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-1099-sharper-local-fix},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-1099-sharper-local-fix.pdf},
}

@techreport{gap:issue-1100-projective-non-measurement-endpoints,
  author      = {The {MIPStarRE} contributors},
  title       = {Issue 1100: Endpoint Branches in the Proof of \texorpdfstringlem:projective-non-measurementlem:projective-non-measurement},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-1100-projective-non-measurement-endpoints},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-1100-projective-non-measurement-endpoints.pdf},
}

@techreport{gap:issue-1228-orthonormalization-svd-usage,
  author      = {The {MIPStarRE} contributors},
  title       = {Issue 1228: The SVD Step in Orthonormalization},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-1228-orthonormalization-svd-usage},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-1228-orthonormalization-svd-usage.pdf},
}

@techreport{gap:issue-1230-self-improvement-sdp-usage,
  author      = {The {MIPStarRE} contributors},
  title       = {Issue 1230: How the Self-Improvement SDP Is Used},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-1230-self-improvement-sdp-usage},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-1230-self-improvement-sdp-usage.pdf},
}

@techreport{gap:issue-1622-ld-pasting-degree-zero,
  author      = {The {MIPStarRE} contributors},
  title       = {Issue 1622: The Degree-Zero Branch of Low-Degree Pasting},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-1622-ld-pasting-degree-zero},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-1622-ld-pasting-degree-zero.pdf},
}

@techreport{gap:issue-196-sdp-weakening,
  author      = {The {MIPStarRE} contributors},
  title       = {Issue 196: The SDP Primal Constraint Is a Submeasurement Constraint},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-196-sdp-weakening},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-196-sdp-weakening.pdf},
}

@techreport{gap:issue-2338-ch3-same-space-specializations,
  author      = {The {MIPStarRE} contributors},
  title       = {Chapter 3 Same-Space Specializations of Two-Space Paper Propositions},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-2338-ch3-same-space-specializations},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-2338-ch3-same-space-specializations.pdf},
}

@techreport{gap:issue-422-main-formal-zero-k-boundary,
  author      = {The {MIPStarRE} contributors},
  title       = {The Zero-Sampling Boundary in the Main Formal Theorem},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-422-main-formal-zero-k-boundary},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-422-main-formal-zero-k-boundary.pdf},
}

@techreport{gap:issue-458-foundation-layer,
  author      = {The {MIPStarRE} contributors},
  title       = {Foundation-layer formalization design: finite fields, distributions, and a zero family},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-458-foundation-layer},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-458-foundation-layer.pdf},
}

@techreport{gap:issue-713-scalar-tensor-decision,
  author      = {The {MIPStarRE} contributors},
  title       = {Why the full-slice ABAB transport carries an extra 2\sqrt\zeta},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-713-scalar-tensor-decision},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-713-scalar-tensor-decision.pdf},
}

@techreport{gap:issue-760-scalar-chain-alignment,
  author      = {The {MIPStarRE} contributors},
  title       = {The evaluated-slice commutativity estimate for the processed-G measurements},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-760-scalar-chain-alignment},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-760-scalar-chain-alignment.pdf},
}

@techreport{gap:issue-904-zeta2-completion,
  author      = {The {MIPStarRE} contributors},
  title       = {Issue 904: The Missing Completion Term in the Definition of \texorpdfstring\zeta\_2zeta2},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-904-zeta2-completion},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-904-zeta2-completion.pdf},
}

@techreport{gap:issue-906-main-formal-k-bound,
  author      = {The {MIPStarRE} contributors},
  title       = {The Large-\texorpdfstringkk Side Condition in the Main Induction},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-906-main-formal-k-bound},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-906-main-formal-k-bound.pdf},
}

@techreport{gap:issue-930-com-main-dimension-typo,
  author      = {The {MIPStarRE} contributors},
  title       = {The ambient dimension in the commutativity theorem for G},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-930-com-main-dimension-typo},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-930-com-main-dimension-typo.pdf},
}

@techreport{gap:issue-930-distinct-tuple-support,
  author      = {The {MIPStarRE} contributors},
  title       = {The Support of the Distinct-Tuple Distribution},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-930-distinct-tuple-support},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-930-distinct-tuple-support.pdf},
}

@techreport{gap:issue-930-main-induction-successor-coefficient,
  author      = {The {MIPStarRE} contributors},
  title       = {The First Successor-Step Error Absorption in the Main Induction},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-930-main-induction-successor-coefficient},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-930-main-induction-successor-coefficient.pdf},
}

@techreport{gap:issue-930-pasting-from-H-to-G-error,
  author      = {The {MIPStarRE} contributors},
  title       = {The Accumulated Error in the Pasting From-\texorpdfstringHH-to-\texorpdfstringGG Lemma},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-930-pasting-from-H-to-G-error},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-930-pasting-from-H-to-G-error.pdf},
}

@techreport{gap:issue-930-self-improvement-missing-nu-consistency,
  author      = {The {MIPStarRE} contributors},
  title       = {Resolved Missing \nu-Consistency Hypothesis in the Self-Improvement Theorem},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-930-self-improvement-missing-nu-consistency},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-930-self-improvement-missing-nu-consistency.pdf},
}

@techreport{gap:issue-933-quantumstate-normalization,
  author      = {The {MIPStarRE} contributors},
  title       = {Issue 933: Normalization of Quantum States in the LDT Formalization},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-933-quantumstate-normalization},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-933-quantumstate-normalization.pdf},
}

@techreport{gap:issue-polynomial-function-divergence,
  author      = {The {MIPStarRE} contributors},
  title       = {The polynomial definition: functions with a representative, not function types},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {issue-polynomial-function-divergence},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/issue-polynomial-function-divergence.pdf},
}

@techreport{gap:naimark-dilation,
  author      = {The {MIPStarRE} contributors},
  title       = {Naimark dilation: projective-submeasurement form and the full bipartite assembly},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {naimark-dilation},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/naimark-dilation.pdf},
}

@techreport{gap:proof-gap-protocol,
  author      = {The {MIPStarRE} contributors},
  title       = {Proof-Gap Protocol for Source-Faithful Formalization},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {proof-gap-protocol},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/proof-gap-protocol.pdf},
}

@techreport{gap:truncation-combinatorics-f-nonneg,
  author      = {The {MIPStarRE} contributors},
  title       = {The Nonnegativity Hypothesis in the Small-Overlaps Bound},
  institution = {MIPStarRE},
  type        = {Paper-gap note},
  number      = {truncation-combinatorics-f-nonneg},
  year        = {2026},
  url         = {https://sirui-lu.com/MIPStarRE/paper-gaps/truncation-combinatorics-f-nonneg.pdf},
}