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.
Local Lipschitz continuity in the state variable, locally uniform in time and parameters
Definition
Let with , let be open, and let . The map is locally Lipschitz in the state variable, locally uniformly in time, if every compact time-state cylinder has a finite such that
whenever have the same time coordinate.
On every compact time-state cylinder the state-variable inequality holds with one finite constant . More generally, let , let , let be open in its relative Euclidean topology, and let . The parameter family is locally Lipschitz in the state variable, locally uniform in time and parameters when every compact time-state-parameter cylinder has one finite such that
whenever have the same time and parameter coordinates.