Manuscript XV-F-patch-ii@1 · XV-F-patch-ii.tex · section · 9674ac67

Ledger

Reassessment › Ledger · lines 1510–1563

Gate	Member	Status	Content
Q1	$E_{res}$ , density, pairing	convention	C1: rank ten, metric slot at $z$ , trivial scalar line at $y$ , coordinate density, duality pairing (Convention def:Eres); supported by Lemma lem:index; erasure of $z$ -covectors (Lemma lem:erase).
Q2	$P_{int} = ⨁ P_{e}$	open at $K_{47}$	Descent criterion identified; $K_{5}^{\pm}$ : chart module, rule identified, generators open; $K_{6}, K_{8}, K_{9}$ : normal-jet type of order $\leq 3$ identified (Theorem thm:normalorder), presentation space and coefficient class open; $K_{47}$ : nothing (Proposition prop:K47); action, topology open; $ker Rec$ not computable (Lemma lem:directsum).
Q3	$A$	open	XIV-H `input:EC` quoting (eq:afrak); candidate $a$ , $a^{2} = id$ (Lemma lem:fiber).
	$σ_{ε}$ , $f$	open	XIV-H preceding `eq:L`; cutoff and support only through quotations.
	$D$ from $a ˙_{2}$	identified	(eq:Dfrom) II2; value conditional on $a_{2}$ (Lemma lem:dformula).
	$a_{2}$	open	XIV-H `input:EC` quoting (eq:a2).
	$q^{L, I, J}_{α β}$	open	bound $\leq 2$ identified Hq; 45 functions per $(L, I, J)$ ; expansion not performed.
	$P$ , $b$	open	XIV-H source incidence, `eq:K9`.
	$g$	role identified	the switch Jhessian; formula open.
	$E^{A}_{m}$	open	declaration as advanced inverse; then Lemma lem:advanced.
Q4	$D_{Γ}$ , $w_{Γ}$ , $S_{Γ/ I}$	open at $D_{Γ}$	roles only (Proposition prop:roles).
	$A$ as maps	open	not defined by XIII-C; $A_{m a x}$ available only after Q2 (Proposition prop:Amax).
	lift of $Δ_{I}$	refused	no dictionary (Proposition prop:lift).
Q5	product list on $O$	documentary	absence stated (Proposition prop:list); D0.8 open.
—	carried from the patch, not reassessed	open	display of $m^{\circ}$ (D0.10); identity of the blocks in (eq:cross) (D0.11); normalization of $T^{μν} (ϕ, ψ)$ (D0.12); `def:class` (D0.16).