Make unread Web Push use the production notification contract #566

Merged
timmy merged 1 commits from timmy/565-production-push-contract into main 2026-08-11 10:57:49 +00:00
Owner

Closes #565

What changed

  • consume canonical id values emitted by gitea_proxy.notification_page() during push dispatch
  • baseline existing production-shaped unread IDs when a device subscribes
  • add an adapter-to-dispatch behavioral integration test and align push fixtures with the production contract

Verification

  • RED: production-shaped notification integration test returned 0 deliveries instead of 1
  • RED: production-shaped subscription baseline replayed existing ID 42
  • focused: 19 passed
  • full suite: 1167 passed in 66.31s
Closes #565 ## What changed - consume canonical `id` values emitted by `gitea_proxy.notification_page()` during push dispatch - baseline existing production-shaped unread IDs when a device subscribes - add an adapter-to-dispatch behavioral integration test and align push fixtures with the production contract ## Verification - RED: production-shaped notification integration test returned 0 deliveries instead of 1 - RED: production-shaped subscription baseline replayed existing ID 42 - focused: `19 passed` - full suite: `1167 passed in 66.31s`
timmy added 1 commit 2026-08-11 10:56:07 +00:00
fix: use production IDs for unread Web Push (Closes #565)
All checks were successful
CI / lint (pull_request) Successful in 1m14s
CI / build-release (pull_request) Successful in 5s
CI / release-candidate (pull_request) Has been skipped
8e74f022eb
timmy merged commit 50d51ed159 into main 2026-08-11 10:57:49 +00:00
Sign in to join this conversation.
No reviewers
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: stackchain/stackchain-dashboard#566
No description provided.