Mathematical and LaTeX debugging ledger

• Scope of “closed exit.” The phrase refers to lack of inherited admission, not to nonexistence of the independently supplied XV-B manuscript.

• Bibliographic titles. Descriptive internal titles are used only when they occur in the supplied source records. Otherwise manuscript labels are retained.

• Verification. Static derivation, compilation, software execution, formal proof, and biological validation remain distinct evidence types.