Issues

• Inductive invariants for the window-commit models (unbounded proofs)

  turbolytics/sql-flow#420 · Filter by author turbolytics opened on Oct 2, 2026

• Formally verify the multi-worker window-commit protocol (Quint or deterministic simulation)

  turbolytics/sql-flow#418 · Filter by author turbolytics opened on Oct 1, 2026

• Per-partition watermark for partition_owned windows

  turbolytics/sql-flow#417 · Filter by author turbolytics opened on Oct 1, 2026
  1

• turbostats: stamp sent_at to the millisecond, not the second

  turbolytics/sql-flow#416 · Filter by author turbolytics opened on Sep 30, 2026

• rollup run: say when a freshness read fails

  enhancement
  turbolytics/sql-flow#415 · Filter by author turbolytics opened on Sep 30, 2026

• webhook source: verify public-key signed requests alongside HMAC, and publish the key spec

  turbolytics/sql-flow#406 · Filter by author turbolytics opened on Sep 27, 2026

• CI speedup: a unit pass in seconds, one Postgres per integration package

  turbolytics/sql-flow#400 · Filter by author turbolytics opened on Sep 27, 2026

• turbostats: publish a JSON Schema for the v1 bundle, generated from the wire types

  enhancement
  turbolytics/sql-flow#392 · Filter by author turbolytics opened on Sep 26, 2026

• Five findings from running main against the turbostats v1 bundle

  bug
  turbolytics/sql-flow#386 · Filter by author turbolytics opened on Sep 25, 2026
  1

• Make it easier for LLMs to leverage SQLFlow

  turbolytics/sql-flow#372 · Filter by author turbolytics opened on Sep 23, 2026

• conformance: harness swaps time.Local while the ClickHouse driver reads it (race)

  turbolytics/sql-flow#356 · Filter by author turbolytics opened on Sep 21, 2026

• The websocket source cannot resume after a reconnect, so every gap is silent, unrecoverable loss

  source
  turbolytics/sql-flow#353 · Filter by author turbolytics opened on Sep 21, 2026

• run: the metrics port is hardcoded, so only one instance per host gets /metrics and /healthz

  enhancement
  turbolytics/sql-flow#342 · Filter by author turbolytics opened on Sep 19, 2026

• dev invoke: a typed fixture mode for registry-backed sources

  serde
  turbolytics/sql-flow#321 · Filter by author turbolytics opened on Sep 16, 2026

• Compatibility columns for other Confluent-compatible registries

  serdetesting
  turbolytics/sql-flow#319 · Filter by author turbolytics opened on Sep 16, 2026

• Arrow types for the Avro 1.12 logical types

  serde
  turbolytics/sql-flow#318 · Filter by author turbolytics opened on Sep 16, 2026

• Writing a schema that has references

  serdesink
  turbolytics/sql-flow#317 · Filter by author turbolytics opened on Sep 16, 2026

• A Kafka dead-letter queue that republishes the original bytes

  serdesink
  turbolytics/sql-flow#316 · Filter by author turbolytics opened on Sep 16, 2026

• The schema GUID in a record header, read and write

  serde
  turbolytics/sql-flow#315 · Filter by author turbolytics opened on Sep 16, 2026

• Subject naming strategies other than <topic>-value

  serde
  turbolytics/sql-flow#314 · Filter by author turbolytics opened on Sep 16, 2026

• AWS Glue Schema Registry

  serde
  turbolytics/sql-flow#313 · Filter by author turbolytics opened on Sep 16, 2026

• validate fetches the registry schema and binds the SQL against it

  serde
  turbolytics/sql-flow#312 · Filter by author turbolytics opened on Sep 16, 2026

• More than one topic on a registry-backed source

  serdesource
  turbolytics/sql-flow#311 · Filter by author turbolytics opened on Sep 16, 2026

• InferredDiskBatch and StructuredBatch with a registry format

  serde
  turbolytics/sql-flow#310 · Filter by author turbolytics opened on Sep 16, 2026

• Message keys: a key on core.Message, framed under the key subject

  serdesinksource
  turbolytics/sql-flow#309 · Filter by author turbolytics opened on Sep 16, 2026