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.
Zero-rotation and zero-charge metric substitutions
Example
Consider the exact Kerr-Newman metric and potential on a pole-free domain with and . Its three parameter substitutions give the Reissner-Nordström, vacuum Kerr, and Schwarzschild metric forms as follows. At zero rotation the RN coordinate formulas agree for every admitted ; identification with the RN datum defined here uses only the common positive-radius pole-free domains.
Facts & Assumptions
Given: The electric KN and RN data and their verified field equations, with real length parameters.
Fully verified electric Kerr-Newman electrovacuum: the KN metric and potential satisfy the source-free geometric equations on their common domain.
Dyonic Reissner-Nordström metric and field domains: the electric RN specialization has and potential when and .
The Schwarzschild exterior model datum: domain, metric, mass parameter and time orientation: with Schwarzschild radius , the exterior metric function is on .
Verification
Set and retain the electric parameter . Then , , and the KN line element reduces term by term to Its potential becomes . For every open on which , the resulting metric, potential and field on the common pole-free chart are the restrictions of the electric RN datum with in [F2]. When is admitted by the KN definition, the same coordinate expressions hold, but that chart is outside the positive-radius RN datum in [F2]. No global-domain equality or uniqueness theorem is used.
Set with arbitrary. The potential and field vanish, while and the displayed metric is the vacuum Kerr form. Since the KN residual identity of [F1] remains valid at , its Ricci tensor vanishes. This is the vacuum rotating limit, not a classification claim.
Set both and . On the component and , the metric function is . With and , [F3] identifies it with the Schwarzschild exterior metric form. The conclusion is only the coordinate substitution and local metric identity.