Phase 6 abgeschlossen: Aktenchat, Kanäle, Echtzeit, Benachrichtigungen
Ein Ereignisstrom mit Themen (/api/stream), in dem der Dateistrom aus Phase 5 aufgegangen ist. Zwei Prüfungen: beim Verbinden, welche Themen der Nutzer abonnieren darf, und je Ereignis wird der Inhalt mit seinen Rechten geladen. Das zweite ist nicht nur Vorsicht - eine Umklassifizierung wirkt dadurch in einer offenen Verbindung sofort. In der pg_notify-Nutzlast steht nie ein Inhalt, nur Thema, Art und Kennung. Der Aktenchat sendet optimistisch mit clientseitiger UUIDv7, die zugleich Idempotenzschlüssel ist. Antworten, vier feste Reaktionen, Bearbeiten mit sichtbarem editedAt, Zurückziehen mit Platzhalter - Löschen gibt es nicht, und eine Regel in der Datenbank hält das fest. Eine zurückgezogene Nachricht kommt ohne Text an, nicht ausgeblendet. Aktenzeichen im Text werden zu Vorschaukarten, serverseitig aufgelöst. Eine Akte, die der Leser nicht sehen darf, sieht darin genauso aus wie eine, die es gar nicht gibt. "Als Vermerk übernehmen" steht sichtbar an jeder Nachricht. Der Vermerk gehört dem Verfasser, nicht dem Übernehmenden; ein Systemeintrag nennt den Ursprung, damit der Wortlaut später nicht für die Akte geschrieben wirkt. Bei den Discord-Benachrichtigungen entscheidet die Web-App, wer was erfährt, und der Worker liefert nur aus. Die Alternative hätte geheissen, die Sichtbarkeitsprüfung im Worker ein zweites Mal zu bauen. In meta steht ein Titel nur, wenn er hinaus darf - ab Stufe 3 keiner. Postausgang als Tabelle, angestossen über LISTEN, mit Takt als Sicherheitsnetz. Nebenbei riss das Budget der Fallakte erneut (122 kB). Drei Schritte zurück auf 119,6: Chattexte in eine eigene i18n-Datei, ein gemeinsames AddPanel statt viermal derselbe Aufklapp-Code, und eine eigene UUIDv7 statt des Pakets - die Sortierbarkeit, auf der die Nachlieferung beruht, steht damit im eigenen Code und hat Tests. Unterwegs habe ich NotifyMode und User.notifyMode ein zweites Mal angelegt, obwohl es beides seit dem Grundgerüst gibt. Die Migration schlug fehl und die Datenbank musste von Hand aufgeräumt werden; die Lehre steht in docs/13. 155 Tests im Web-Paket, 15 in der Datenbank, 7 im Worker, 32 e2e.
This commit is contained in:
@@ -0,0 +1,71 @@
|
||||
/**
|
||||
* UUIDv7, zeitlich sortiert.
|
||||
*
|
||||
* Selbst geschrieben statt als Abhängigkeit: das Paket wog 2,6 kB im Bündel
|
||||
* der Fallakte, und die eine Eigenschaft, auf die sich das System verlässt,
|
||||
* steht so ausdrücklich hier statt in fremdem Code.
|
||||
*
|
||||
* Die Eigenschaft ist: **die Kennungen sind lexikografisch sortierbar wie die
|
||||
* Zeit.** Darauf beruhen zwei Dinge — die Nachlieferung beim Wiederverbinden
|
||||
* (`id > seit`) und die Reihenfolge im Chat, ohne dass eine Sortierspalte
|
||||
* nötig wäre. Siehe docs/06-chat-und-realtime.md.
|
||||
*
|
||||
* Aufbau nach RFC 9562:
|
||||
*
|
||||
* 48 Bit Zeitstempel (ms) | 4 Bit Version 7 | 12 Bit Zähler
|
||||
* 2 Bit Variante | 62 Bit Zufall
|
||||
*
|
||||
* Der Zähler in `rand_a` sichert die Reihenfolge auch innerhalb derselben
|
||||
* Millisekunde. Ohne ihn kämen zwei schnell hintereinander gesendete
|
||||
* Nachrichten in zufälliger Reihenfolge an.
|
||||
*/
|
||||
|
||||
let letzteZeit = 0
|
||||
let zaehler = 0
|
||||
|
||||
/** 12 Bit, danach wird auf die nächste Millisekunde gewartet. */
|
||||
const ZAEHLER_MAX = 0xfff
|
||||
|
||||
export function uuidv7(now: number = Date.now()): string {
|
||||
if (now === letzteZeit) {
|
||||
zaehler += 1
|
||||
if (zaehler > ZAEHLER_MAX) {
|
||||
// Mehr als 4096 Kennungen in einer Millisekunde: lieber eine
|
||||
// Millisekunde vorgreifen als die Sortierung verlieren.
|
||||
letzteZeit += 1
|
||||
zaehler = 0
|
||||
now = letzteZeit
|
||||
}
|
||||
} else if (now > letzteZeit) {
|
||||
letzteZeit = now
|
||||
zaehler = 0
|
||||
} else {
|
||||
// Die Uhr ist zurückgesprungen. Die Reihenfolge ist wichtiger als der
|
||||
// genaue Zeitpunkt, also weiterzählen statt zurückfallen.
|
||||
letzteZeit += 1
|
||||
zaehler = 0
|
||||
now = letzteZeit
|
||||
}
|
||||
|
||||
const bytes = new Uint8Array(16)
|
||||
|
||||
// 48 Bit Zeitstempel, big endian.
|
||||
const zeit = BigInt(now)
|
||||
for (let i = 0; i < 6; i++) {
|
||||
bytes[i] = Number((zeit >> BigInt(8 * (5 - i))) & 0xffn)
|
||||
}
|
||||
|
||||
// Version 7 in den oberen vier Bit von Byte 6, darunter der Zähler.
|
||||
bytes[6] = 0x70 | ((zaehler >> 8) & 0x0f)
|
||||
bytes[7] = zaehler & 0xff
|
||||
|
||||
const zufall = new Uint8Array(8)
|
||||
crypto.getRandomValues(zufall)
|
||||
bytes.set(zufall, 8)
|
||||
|
||||
// Variante 10xx in den oberen zwei Bit von Byte 8.
|
||||
bytes[8] = (bytes[8]! & 0x3f) | 0x80
|
||||
|
||||
const hex = [...bytes].map((b) => b.toString(16).padStart(2, '0')).join('')
|
||||
return `${hex.slice(0, 8)}-${hex.slice(8, 12)}-${hex.slice(12, 16)}-${hex.slice(16, 20)}-${hex.slice(20)}`
|
||||
}
|
||||
Reference in New Issue
Block a user