Enriques surfaces

The geometric Enriques-surface predicate, the supplied numerical data of an isotropic 10-collection of line bundles, its conditional exceptionality and semiorthogonality packages, and the formal residual full subcategory. It also exposes the Serre, spherical, and pseudoprojective classification interfaces used by the two refined derived Torelli papers. The paper-content layer additionally records orthogonal exceptional blocks, their residual right projections and mutation triangles, the intervening (-2)-curve chains, Ext-profile constructors, and the Fourier--Mukai extension interface from residual to ambient equivalences.