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

Remark: Revision log (this cycle)

Status · lines 2076–2095

XVI-M@1#rem:revlog

Back to manuscript

This cycle integrates three completed work packages; XVI-A–XVI-L and their artifacts are not modified.

  1. Work package A (Section sec:wpA-Sbv): Gate S-bv certified (Theorem thm:wpA-Sbv); , boundary side , including across the nonzero null cone; convention ledger; position-space forms of and . Consequences applied: the M.2 presentation, the M.3/M.4 ranks and the M.7 constructions are no longer conditional on (S-bv) (only and the single side were used); (Theorem thm:M6-S2); the identification at is not established ( itself is global, XVI-J). Every former “Gate S-bv conditional” statement in the body was replaced by a reference to Theorem thm:wpA-Sbv; the Euclidean motivation (Remark rem:Sbv-motivation) is kept and is explicitly not the certification.

  2. Work package B (Section sec:wpB): () at every grade ; top-order residues -independent; lower orders through ; double-plateau scale tensor variational but not matched (superseded in audit 3: only the top component is variational; Theorem thm:wpB-dp); M-C Proved obstructed in the graph-specific matching domain (superseded in audit 3 by: M-C Proved obstructed, broad M-C not achieved; Corollary cor:wpB-MC). The former M.6 remark “ unresolved for ” is marked resolved.

  3. Work package C (Section sec:to-timeonly): universal time-only classification; time-only reading; route 1 route 2; the double-plateau curvature-square matching does not survive the time-only reading (Remark rem:M5-timeonly). Downgrade applied: the actual-data consequence is Proposition prop:to-actual with hypotheses (H1)–(H3), not a Constructed claim; the linear independence of the is a separately proved Lemma lem:to-indep.

  4. Integration consistency checks. (a) {Normalization of .} The fragments agree: wpA certifies with side ; the motivational value of Remark rem:Sbv-motivation coincides; wpB works with symbolic , and substituting gives the unit , with top coefficient ; wpC uses only . No sign or discrepancy was found; conventions.json records and the side. (b) Labels. No clashes between the fragments and the manuscript; the wpC labels sec:time-only, def:time-only, thm:time-only were renamed into the to- prefix (sec:to-timeonly, def:to-timeonly, thm:to-timeonly); wpA/wpB use the prefixes wpA-, wpB-. (c) Fragment typos. A malformed longtable column specification and a retarded/advanced slip in the wpA fragment were corrected; plain-text cross-references were turned into ||s. (d) Superseded statements. The fragments' own “conditional on (S-bv)” or “not discharged” clauses (written before integration) are superseded by Theorem thm:wpA-Sbv; wpC keeps “on the current coherent presentation”. (e) Time-only scale tensor. wpB left open how the scale tensor behaves in the time-only readings; Corollary cor:wpB-timeonly (new, derived at integration from the archived top-order coordinate and the wpC kernels) closes this: it is non-variational there. (f) Historical outputs. Earlier-cycle script outputs and certificates keep their historical status strings (e.g.\ “S-bv CONDITIONAL”, “M-C unfinished”); they are reproduced verbatim and are superseded by this revision.

Nearby in this section