Manuscript XV-F-patch-ii@1 · XV-F-patch-ii.tex · proposition · 9674ac67
Proposition: Q1
Patch 1: residual fiber and pairing (Q1) › Non-claims and the Q1 verdict · lines 523–536 · proof included or linked
XV-F-patch-ii@1#prop:Q1
No direct sheet defines . Convention def:Eres specifies one fiber (rank ten), one density, and one pairing, compatible with Definition def:gtest through Lemma lem:partial and with the displayed entries through Lemma lem:index. Q1 is discharged with status convention; it passes F0 only if C1 is accepted as the frozen choice.
Proof. The first sentence is the record (Gresidual; the patch's D0.5). The rest cites the results above.