λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XV-F-patch@1 · XV-F-patch.tex · section · 6d6ef16d

The post-patch manifest

Assembled ledger, debugging, and the revised F0 verdict › The post-patch manifest · lines 2155–2239

XV-F-patch@1#tab:assembled

Back to manuscript

-patch status of the relevant XV-F items.
Item	Status	After the patch
Item	Status	After the patch
D0.1–D0.2	$D_{s}$ locally; $O$ globally	The XIV-I local generators, full chart-function coefficient class, and reconstruction rule are transcribed. They do not enumerate the complete common six-entry presentation package.
D0.3	$D_{s} / D_{p}$ locally	The source coefficient seminorms are displayed. A local image quotient topology is explicitly a patch convention. The topology of the full common image is not identified.
D0.4	$D_{s}$ for local examples; $O$ for the full kernel	The local reconstruction is coefficientwise $C^{\infty}$ -linear, and the displayed chart-function relations are local null presentations. The complete graph kernel and its generators are not classified.
D0.5	$D_{p} / T$ ; actual fiber $O$	Residual species is named. For a specified value space $B_{res}$ , the bundle and dual test pairing are defined. The actual frozen output fiber is not recovered.
D0.8	Named domain; $R$ complement	$O = U_{can}$ is the inherited proved domain. The refused complement equation is not reused. A new operational description of the complete domain is not supplied.
D0.10	$D_{s} / D_{p}$	The source target is transcribed and $m^{\circ}$ is written as its canonical-domain recipe. No global characteristic operation is defined.
D0.11	$D_{s}$	The blocks are $H_{T}$ and $H$ , and their difference stays grouped. The disputed hatted replacement notation is removed. No smooth-difference hypothesis is asserted.
D0.12	$D_{s} / D_{p}$	$T_{0}$ and the vertex are transcribed. The patch uses the unique symmetric polarization and its derived mixed-Hessian factor. Other inherited weights are not recovered.
D0.16	$D_{s}$	All five joint-map clauses are displayed. No map satisfying them is constructed, and nonemptiness is not asserted.
D0.17	$D_{s}$ for the class; $T$ for parameters	Collision coordinates and contact-role formulas are displayed. The actual graph operator, admissible weights, and spectator coefficients remain unidentified. No exhaustiveness or presentation-level correction space is proved.
D0.13–D0.14	Copied formulas; ingredients $O$	The $L, Q, T, K_{8}, K_{9}$ displays are present in the supplied sheets. The inherited switches, observations, fiber maps, quadratic coefficient, and differentiated-source coefficients are not fully instantiated.
$E_{0}^{R}$ kernel support	$D_{s}$ within XIV-I	The source identifies $R$ as its kernel and displays the retarded cone formula. The copied kernel support is available. No external same-symbol identification is asserted.
$A$	$O$	No actual space of presentation-level correction maps is supplied by a class of contact values.

Nearby in this section

section: The post-patch manifest