Manuscript XVI-M@1 · XVI-M.tex · remark · 7346c909

Remark: Revision log (final verification)

Status · lines 2110–2120

XVI-M@1#rem:revlog-final

Back to manuscript

Final verification edits; no expansion (no M.8–M.9); XVI-A–XVI-L, their artifacts and the GitHub repository are not modified.

  1. {Time-only -plateau kernel.} Proposition prop:to-chiplateau: is displayed by cases ( versus ); odd spatial order is anti-self-adjoint ( gives since ); the spacetime-formal non-self-adjointness remark refers to the extra directions; dimensions unchanged; regression asserts the odd- anti-self-adjointness exactly.

  2. Broad M-C matched-scale criterion. Definition def:MCcurv: broad M-C requires (i) a proved functional matching and (ii) an explicit cutoff with a functional representation of the entire collapsed scale variation; M-C (matching + explicit prescription-dependent scaling formulas) is satisfied; broad M-C Unresolved because XVI-L leaves unspecified (thm:L6). Replaced “uncontrolled” by: numerical values and variationality of the full tensor are not determined for the unspecified cutoff.

  3. Predecessor provenance. Pinned local/frozen files and archived corpus excerpts under XVI-M-artifacts/ provenance/; XVI-J eq:rational marked as corroboration, not a frozen XVI-L premise; “resting on a new input” “an explicitly checked kernel identification”.

  4. Wording. Lemma lem:M2comp: independently spot-checks every relation on at three rational points. Proposition prop:M7-id(EH): vanishes identically for arbitrary iff is locally constant.

  5. Full scratch rerun. XVIM_FULL_WP =1 regression recorded as regression_full_ out.txt (artifacts and package); appendix listing updated.

Nearby in this section