The sharp divergence-form problem

The normal here is the declared completion covector $n=\mathrm{d}t$. These velocities are coordinate-coefficient data, not a newly derived host lapse or a measured observer velocity. The host time conversion remains the inherited one.

The flux-first interpretation is important: it does not multiply a surface delta by an unspecified discontinuous velocity.