Refresh event grids after deletion#2398
Conversation
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 160340cb85
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
160340c to
88f0a71
Compare
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 88f0a71fc5
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
88f0a71 to
1c564b2
Compare
What changed
Why
Event deletion returns 202 before Elasticsearch-backed list and aggregate views are necessarily consistent. The Svelte Events grid removed a visible row when a push notification arrived but normally skipped an authoritative reload unless the page became empty. Replacement rows, cursor metadata, off-page removals, and related Stack summaries could therefore remain stale until F5.
Push timing was a contributor but could not be the sole correctness mechanism: notifications may be delayed or silently lost, and browser close code 1006 is ambiguous. The fix combines immediate UI feedback, bounded authoritative reconciliation, direct query invalidation, and reconnect-wide refresh.
Verification
npm run validatenpm run test:unit— 24 files / 305 tests passedUnauthorizedBreaking changes
None.