How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Integrally graded conformal module
Definition
Let be a conformal vertex algebra of CFT type. An integrally graded conformal -module is a module for which the conformal field has modes , is diagonalizable, and for some integer lower bound . The operators satisfy the Virasoro relations with the same central charge as . The sum is algebraic: each vector has finitely many nonzero homogeneous components. No finite-dimensionality of is required. Integer weights make single-valued for ; the lower bound makes each positive-mode exponential used in the formal-coordinate action locally finite. Modules with fractional weights require additional tangent or root data and are outside this definition.