pub fn end_nosync(bucket: usize, t0: Option<Instant>)
2026-09-25: Record a span without synchronising: host wall time only.