docs(requirements): split push stream rows

Add explicit northstar ring fields to push requirements, split cross-origin stream guidance, and shorten SSE swap wording without changing behavior.

req: push/001

req: push/002

req: push/003

req: push/004

req: push/005

req: push/006

req: push/007
This commit is contained in:
slhx agent
2026-06-25 15:48:34 +02:00
parent 4c1ef3f0c9
commit 409e8a9984
2 changed files with 10 additions and 7 deletions
+9 -6
View File
@@ -630,22 +630,25 @@ what a valid business email is. [north_star]
## push
### req: push/001
001 Server push streams canonical postcard EffectBatch over SSE or WebSocket. hemx core owns the EffectBatch schema, not the transport.
0 001 Server push streams canonical postcard EffectBatch over SSE or WebSocket. hemx core owns the EffectBatch schema, not the transport.
### req: push/002
002 SSE/WebSocket connections are authenticated by the server framework before stream creation. hemx does not define auth semantics for streams.
0 002 SSE/WebSocket connections are authenticated by the server framework before stream creation. hemx does not define auth semantics for streams.
### req: push/003
003 Push swaps are ordinary partial swaps carried over SSE/WebSocket: streamed effects target generated slots, atoms, or island events such as `ui::feed.prepend(event)` or `ui::game.emit(snapshot)`. No selector-based `sse-swap` semantics in core.
0 003 Push swaps are ordinary partial swaps over SSE/WebSocket: streamed effects target generated slots, atoms, or island events such as `ui::feed.prepend(event)` or `ui::game.emit(snapshot)`. No selector-based `sse-swap` semantics in core.
### req: push/004
004 Out-of-band updates are ordinary multi-target partial swaps/effects, not a separate response model.
0 004 Out-of-band updates are ordinary multi-target partial swaps/effects, not a separate response model.
### req: push/005
005 Push is one-way server-to-client delivery of EffectBatch. It does not define client mutation, optimistic queues, reconciliation, or conflict handling.
0 005 Push is one-way server-to-client delivery of EffectBatch. It does not define client mutation, optimistic queues, reconciliation, or conflict handling.
### req: push/006
006 `data-hemx-sse` is declared on `data-hemx-root` and opens only non-empty same-origin SSE URLs by default. Empty static URLs and non-root placement are build errors; cross-origin streams belong to explicit integration code rather than the standard runtime convention.
0 006 `data-hemx-sse` is declared on `data-hemx-root` and opens only non-empty same-origin SSE URLs by default. Empty static URLs and non-root placement are build errors.
### req: push/007
0 007 Cross-origin push streams belong to explicit integration code rather than the standard runtime convention.
---