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.
Disk Level Truncated Dp Curvature WZ Factor
The source-reported disk-level order-alpha'^2 parity-odd Dp WZ curvature term with B=F=0, constant dilaton and the source's tangent/normal curvature trace; no all-orders characteristic-class or non-Abelian claim.
Postulate
Let be an allowed Type II D-brane dimension with , and let be a smooth oriented timelike embedding with nondegenerate induced metric. Its normal bundle is the spacelike orthogonal complement of in . Let and be the connections obtained by orthogonally projecting the pulled-back ambient Levi-Civita connection to and , and let and be their endomorphism-valued curvature two-forms. Each trace is the matrix trace in the corresponding tangent or normal vector representation. At disk level and order , with constant dilaton and , adopt the source-reported parity-odd WZ expression Here are the smooth ambient real -form potentials in the democratic WZ basis of Type II Dp Brane DBI WZ Action, with its massless D8 restriction and separate D9 supplement. Pullback acts only on these ambient potentials; the curvature four-forms already live on . To translate Bachas–Bain–Green (BBG), put , , and on this zero- branch. BBG footnote 5 gives , so and . This is an explicit local field normalization, not an identification or a global charge-lattice assertion. Only the displayed curvature-squared term is adopted; no all-orders claim is made.