HarlekinandClaude Opus 5
34a8b96dd3
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. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
48 lines
1.8 KiB
TypeScript
48 lines
1.8 KiB
TypeScript
import { describe, expect, it } from 'vitest'
|
|
import { uuidv7 } from '@/lib/uuidv7'
|
|
|
|
/**
|
|
* Auf der Sortierbarkeit dieser Kennungen beruhen zwei Dinge: die
|
|
* Nachlieferung verpasster Nachrichten (`id > seit`) und die Reihenfolge im
|
|
* Chat. Bricht sie, kommen Nachrichten durcheinander an oder gehen bei einem
|
|
* Wiederverbinden verloren — beides fällt spät und unangenehm auf.
|
|
*/
|
|
describe('UUIDv7', () => {
|
|
it('hat die richtige Form, Version und Variante', () => {
|
|
const id = uuidv7()
|
|
expect(id).toMatch(/^[0-9a-f]{8}-[0-9a-f]{4}-7[0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/)
|
|
})
|
|
|
|
it('trägt den Zeitstempel in den ersten 48 Bit', () => {
|
|
// Muss über allem liegen, was vorherige Aufrufe schon vergeben haben:
|
|
// der Zähler im Modul geht bewusst nie zurück.
|
|
const zeitpunkt = Date.now() + 60_000
|
|
const id = uuidv7(zeitpunkt)
|
|
const hex = id.replace(/-/g, '').slice(0, 12)
|
|
expect(Number.parseInt(hex, 16)).toBe(zeitpunkt)
|
|
})
|
|
|
|
it('bleibt innerhalb derselben Millisekunde sortierbar', () => {
|
|
// Ohne Zähler kämen zwei schnell hintereinander gesendete Nachrichten in
|
|
// zufälliger Reihenfolge an.
|
|
const zeitpunkt = Date.now()
|
|
const ids = Array.from({ length: 500 }, () => uuidv7(zeitpunkt))
|
|
expect([...ids].sort()).toEqual(ids)
|
|
expect(new Set(ids).size).toBe(ids.length)
|
|
})
|
|
|
|
it('sortiert über Millisekunden hinweg', () => {
|
|
const frueh = uuidv7(1_700_000_000_000)
|
|
const spaet = uuidv7(1_700_000_000_001)
|
|
expect(frueh < spaet).toBe(true)
|
|
})
|
|
|
|
it('fällt bei einer zurückspringenden Uhr nicht zurück', () => {
|
|
// Sommerzeit, NTP-Korrektur: die Reihenfolge ist wichtiger als der genaue
|
|
// Zeitpunkt, sonst überholt eine neue Nachricht eine alte.
|
|
const vorher = uuidv7(1_800_000_000_000)
|
|
const nachher = uuidv7(1_700_000_000_000)
|
|
expect(nachher > vorher).toBe(true)
|
|
})
|
|
})
|