0.5.1 — per-graph line/dots toggle + faithful samples

Patch release on top of 0.5.0. UI control over how each graph renders, and end of all client-side value interpolation.

Per-graph plot style toggle

• New STYLE segmented button (LINE / DOTS) in each graph widget's settings panel, alongside the existing MIN/MAX BAND toggle. Per-widget, persisted in the dock layout.
• DOTS renders one circle per actual recorded sample, positioned at its real timestamp on the x-axis — not at a resampled-array index. Zoom in until a 1-second window contains only the ~10 raw samples a 100 Hz signal produced; you'll see exactly those 10 dots at their true time positions.
• Above ~1 sample per 4 px (very dense or zoomed-out), dots stride so they stay visibly discrete instead of blurring into a band.

Nearest-neighbor sampling (no interpolation anywhere)

• resampleToN previously blended adjacent samples (a*(1-f) + b*f). Now uses nearest-neighbor: every output slot picks the closest real sample's value, unchanged.
• Affects line / area / step plots equally. The SVG path still draws straight segments between adjacent points (that's the line), but every individual y-value you can read off a graph corresponds to a real recorded sample.

Notes

• Same database schema as 0.5.0. No migration required — just install.
• Same cloud architecture, sync model, lazy-replay-fetch, bundled-reads behavior as 0.5.0.