Manuscript XV-F@3 · XV-F-v3.tex · section · d4e74afa

Acceptance ledger

Verdict and release › Acceptance ledger · lines 2315–2348

Acceptance item	XV-F verdict
Actual $P_{int}$ , $Rec$ , $K_{int}$ , $O$ defined	Chart and reconstruction rule: yes; generators, coefficient class, module action, topology, $O$ : no ( $O$ refused as an equation). F0 fails.
All six operational entries with frozen coefficients and signs	All six formulas reproduced and shown to exist for every completion (Theorem thm:exist); three of them of reconstruction form in the charts (Proposition prop:K5chart); $A$ , $f$ , $σ_{ε}$ , $D$ , $q_{α β}$ , $P$ , $b$ , $g$ , $E^{A}_{m}$ not fixed.
Lift defined on claimed domain	No (Proposition prop:F0).
Canonical agreement proved	Not applicable.
Full reconstruction kernel handled	Graph: depends on the coefficient class (Lemma lem:recrule); not evaluable. Jet module: complete (Theorem thm:jetchar).
Defect computed and cancellation in the actual class	Graph: no; class definition recovered, form of the test fixed (Proposition prop:conditional). Jet module: descending extensions classified (Theorem thm:affine).
Estimates for actual coefficients and full graph	Not entered.
Admission after output specification	Convention (eq:Rconv) recorded; admission unasserted.