Extend the 2b.0 red-phase coverage: presence, RLS isolation, offline-queue
contract, and Playwright scaffolds for the shopping-session UX. Only the
presence test is blocked on an upstream Realtime bug (documented below); all
other Realtime paths are proven end-to-end.
Tests
- realtime-postgres-changes.test.ts: now uses afterEach socket disconnect
(Vitest singleFork kept Phoenix sockets alive between files, leaking state)
- realtime-isolation.test.ts (new): R-I-01 David (guest, same collective)
receives events; R-I-02 Eva (non-member) receives NONE — RLS is enforced
server-side per subscribed JWT
- realtime-presence.test.ts (new, describe.skip): two-client roster + leave
assertions ready, gated on upstream bug
- sync-queue.test.ts (new, describe.skip): 7 placeholders pinning the
apps/web/src/lib/sync/queue.ts contract (Q-01..Q-04 enqueue / in-order
flush / retry; F-01..F-03 online-event flush + last-write-wins)
- apps/web/tests/e2e/{session,realtime,offline}.test.ts (new, describe.skip):
S-01..S-03, R-E-01, R-E-02, O-01, O-02 pinning the Modo Compra UI contract
- vitest.config.ts: fileParallelism=false, drop singleFork so each file gets
a fresh worker fork — prevents RealtimeClient singleton leakage
Infra
- db-init/00-role-passwords.sh: pre-create `realtime` schema with
AUTHORIZATION supabase_admin. Realtime's per-tenant migrator creates tables
INSIDE the schema but does not create the schema itself; without this the
first tenant connect fails with "schema realtime does not exist"
- docker-compose.dev.yml: adopt the upstream supabase/supabase Realtime env
shape — SEED_SELF_HOST=true + RUN_JANITOR=true + RLIMIT_NOFILE=10000 +
drop the custom `command: eval seeds` (that bypasses the normal supervisor
startup and was observed to cause GenServer crashes under load).
Version pinned to v2.76.5 to match the official docker-compose.
Known upstream bug
- Realtime v2.76.5 and v2.83.0 both crash on presence_diff:
`(UndefinedFunctionError) RealtimeChannel.handle_out/3 is undefined`.
postgres_changes + isolation unaffected (they don't traverse handle_out).
Presence tests stay `describe.skip` until a fixed upstream is released.
Totals: 59 Vitest passed (+ 9 skipped awaiting implementation/upstream),
16 pgTAP, 15 Playwright (+ 7 E2E scaffolded for 2b UI) = 90 green.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
107 lines
3.4 KiB
TypeScript
107 lines
3.4 KiB
TypeScript
/**
|
|
* R-series (Isolation): RLS must be enforced on Realtime postgres_changes too.
|
|
*
|
|
* Eva is not a member of the seed collective. Even if she subscribes to the
|
|
* shopping_items channel for SEED_LIST_ID, the Realtime server evaluates RLS
|
|
* using her JWT when deciding which events to forward, and should drop every
|
|
* event whose row is not visible to her.
|
|
*
|
|
* We also verify the positive case: a guest of the same collective (David) DOES
|
|
* receive events, because the existing shopping_items SELECT policy allows
|
|
* guests to read items in their collectives.
|
|
*/
|
|
import { describe, it, expect, afterAll, afterEach } from 'vitest';
|
|
import { createClientAs, createAdminClient } from '../src/supabase-clients.js';
|
|
import { subscribePostgresChanges } from '../src/realtime-helpers.js';
|
|
import { ANA_ID, DAVID_ID, EVA_ID, SEED_LIST_ID } from '../src/seed-constants.js';
|
|
import type { SupabaseClient } from '@supabase/supabase-js';
|
|
|
|
const admin = createAdminClient();
|
|
const createdItemIds: string[] = [];
|
|
|
|
const activeClients: SupabaseClient[] = [];
|
|
function track(c: SupabaseClient): SupabaseClient {
|
|
activeClients.push(c);
|
|
return c;
|
|
}
|
|
afterEach(async () => {
|
|
for (const c of activeClients.splice(0)) {
|
|
await c.removeAllChannels();
|
|
await c.realtime.disconnect();
|
|
}
|
|
});
|
|
|
|
afterAll(async () => {
|
|
if (createdItemIds.length > 0) {
|
|
await admin.from('shopping_items').delete().in('id', createdItemIds);
|
|
}
|
|
});
|
|
|
|
describe('Realtime RLS isolation — shopping_items', () => {
|
|
it('R-I-01: David (guest) receives events for items in his collective', async () => {
|
|
const david = track(await createClientAs(DAVID_ID));
|
|
const ana = track(await createClientAs(ANA_ID));
|
|
|
|
const sub = await subscribePostgresChanges<{ id: string; name: string }>(david, {
|
|
table: 'shopping_items',
|
|
event: 'INSERT',
|
|
filter: `list_id=eq.${SEED_LIST_ID}`
|
|
});
|
|
|
|
try {
|
|
const itemName = `R-I-01-${Date.now()}`;
|
|
const { data } = await ana
|
|
.from('shopping_items')
|
|
.insert({ list_id: SEED_LIST_ID, name: itemName, sort_order: 800, created_by: ANA_ID })
|
|
.select('id')
|
|
.single();
|
|
createdItemIds.push(data!.id);
|
|
|
|
const evt = await sub.waitFor((e) => e.new.name === itemName);
|
|
expect(evt.new.name).toBe(itemName);
|
|
} finally {
|
|
await sub.unsubscribe();
|
|
await ana.removeAllChannels();
|
|
await david.removeAllChannels();
|
|
}
|
|
});
|
|
|
|
it('R-I-02: Eva (non-member) receives NO events for items in the seed list', async () => {
|
|
const eva = track(await createClientAs(EVA_ID));
|
|
const ana = track(await createClientAs(ANA_ID));
|
|
|
|
const sub = await subscribePostgresChanges<{ id: string; name: string }>(eva, {
|
|
table: 'shopping_items',
|
|
event: 'INSERT',
|
|
filter: `list_id=eq.${SEED_LIST_ID}`
|
|
});
|
|
|
|
try {
|
|
// Ana inserts something that should NOT reach Eva
|
|
const forbiddenName = `R-I-02-forbidden-${Date.now()}`;
|
|
const { data } = await ana
|
|
.from('shopping_items')
|
|
.insert({
|
|
list_id: SEED_LIST_ID,
|
|
name: forbiddenName,
|
|
sort_order: 801,
|
|
created_by: ANA_ID
|
|
})
|
|
.select('id')
|
|
.single();
|
|
createdItemIds.push(data!.id);
|
|
|
|
// Give Realtime up to 2s to (not) deliver. If RLS works, Eva sees nothing.
|
|
await new Promise((r) => setTimeout(r, 2_000));
|
|
|
|
const evt = sub.events.find((e) => e.new.name === forbiddenName);
|
|
expect(evt).toBeUndefined();
|
|
expect(sub.events.length).toBe(0);
|
|
} finally {
|
|
await sub.unsubscribe();
|
|
await ana.removeAllChannels();
|
|
await eva.removeAllChannels();
|
|
}
|
|
});
|
|
});
|