Local Hadamard form is not a geodesic-only global equality

The exact result is therefore a positive-frequency spectrum condition for a specified geometric-plus-apex relation. Calling it a geodesic-only globally Hadamard theorem would discard part of the actual wavefront. Conversely, its additional global singularities do not invalidate local Hadamard point splitting.