Harden HTTP query lifecycle and result streaming#13

Merged

argahsuknesib merged 1 commit intomainfrom

codex/http-service-hardening

Apr 9, 2026

Collaborator

argahsuknesib commented Apr 9, 2026

Summary

make query result delivery a bounded broadcast stream so multiple clients can subscribe to the same query id
split stop and delete semantics in the HTTP API and reject deleting running queries
add HTTP integration tests for health, lifecycle, websocket preconditions, and multi-subscriber broadcasting

Validation

cargo test --test http_server_integration_test
cargo test --all-features
cargo clippy --all-targets --all-features -- -D warnings


          Harden HTTP query lifecycle and result streaming

60ab811

argahsuknesib merged commit 9b9f8a0 into main

14 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet