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.
Silverstein Westphal D4 Charge Scope Distinguishes Two Orientations
Source-reported distinction between the main Silverstein–Westphal D4 orientation producing the geometric phi^(2/3) potential and a different charged orientation discussed as a phi-tilde^(2/5) variant; no charge cancellation is derived here.
Remark
Silverstein–Westphal's analyzed geometric branch uses a D4 wrapped on the diagonal direction and moving along the corresponding diagonal . In §3.1.1 the orientifold maps this D4 to an anti-D4, so the pair has zero net D4 source charge. The charged construction in §3.1.2 instead uses a distinct orientation and gives the variant. The source's brief §2 discussion of a compensating charge is therefore not a valid blanket premise for the main branch; the detailed orientation-specific discussion governs.
The local D4 calculation in Wrapped Nil D4 DBI Reduction And Large Field Potential lets the brane move and wrap in the first Nil factor while holding the isomorphic second factor fixed; it derives only the geometric DBI term and does not establish the orientifold projection or any net charge. A flux-charge balance for a source-carrying configuration therefore cannot be attached to the consumer without resolving this orientation difference.