Manuscript XV-E@1 · XV-E.tex · section · a3dc45f5

Manifest

Source recovery (Gate E0) › Manifest · lines 288–353

Item	Record content	Status	Needed for	Change since XV-D
D0.1	$P_{int}$ : “finite retarded-pole module of Definition def:amodule” Iamplitude.	R	E1, E2	None.
D0.2	$Rec$ : two values, $Rec (M_{R}) = δ (q) R (r)$ , $Rec (i θ M_{R}) = δ^{'} (q) R (r)$ Jnull.	T (2 values)	E1, E2	None.
D0.3	$K_{int} = im Rec$ convention; topology unnamed.	R	E1	None.
D0.4	$ker Rec$ : one relation $(q i θ + 1) M_{R}$ Jnull.	T (1 relation)	E2	None.
D0.5	$W$ : name; variables $(a, b, z, y)$ ; $dim W = 16$ Grelease.	R	E1	None.
D0.6	$N = N_{att}$ : name; $dim N = 8$ Grelease; a codimension-four stratum with rank-two cone differentials is named Crelease.	R	E1	XIV-C release present; no equations.
D0.7	$S_{resp}$ : name; codimension five; coordinates $q_{1}, q_{2}$ in (eq:referenceWF).	R	E1, E3	None.
D0.8	$O = U_{can}$ : name; non-identity with $W ∖ N_{att}$ Ijoint.	R	E1	None.
D0.9	Collision strata, observable diagonals: names.	U	E4	None.
D0.10	$m^{\circ}$ : “canonical grouped expression eq:target” Ijoint.	R	E1	None.
D0.11	$C_{cross}$ : name; traceability lemma lem:traces named Jreference.	R	E1, E2	None.
D0.12	Mixed vertex Hessian, weights: names.	U	E1	None.
D0.13	$D$ via undefined $a ˙_{2}$ Iamplitude; pole chart of $R$ (eq:pole) Ipole. Newly in record: $a^{α μ, ab} = \frac{1}{2} η^{α μ} η^{ab} - η^{α (a} η^{b) μ}$ , $Λ^{μ, ab} (x, z) = σ_{ε} (z) a^{α μ, ab} \partial^{z}_{α} E_{0}^{R} (x - z)$ XIIA; $G^{R}_{gr} = - P E_{0}^{R}$ XIID.	T/R/C	E1, E3	Candidates for $A$ , $L$ , $R$ , $σ_{ε}$ ; see sec:candidates.
D0.14	$K_{8}$ , $K_{9}$ : “eq:K8reduced, eq:K9” Hverdict.	R	E1	None.
D0.15	Normalization eq:Rconvention Jadmission.	R	E4	None.
D0.16	Candidate map class def:mapclass, def:class Jverdict,Ijoint.	R	E2	None.
D0.17	Correction class: “XIII-C's partial-diagonal ambiguity class” record.	R	E2	None.
D0.18	$v_{α}$ , $c_{D, β}$ : symbols in (eq:reference) Jreference.	R	E3	None.
D0.19	Target cone: supported-sector bound (eq:referenceWF); $L (\cdot)$ named Jconditional.	T (partial)	E4	None.
D0.20	$Q_{H}$ , $E_{H}$ , output operations: the line (eq:admission) Jadmission.	R	E4	None.