KAN-Former: a lightweight ECG model for real-time atrial fibrillation detection on wearable devices | Synapse