tenancy-rls

name

tenancy-rls

description

Use when touching data access, tenant scoping, RLS policies, migrations, or the repo topology in loopctl — anything that reads/writes tenant-scoped rows, adds a table, or runs heavy analytical/vector reads. Covers the three Ecto repos (Repo/AdminRepo/HeavyReadRepo), the SET LOCAL RLS mechanism, the transaction-owner invariant, and the pgbouncer statement_timeout gotcha. Triggers on: tenant_id, RLS, row level security, with_tenant, set_rls_context, SET LOCAL, app.current_tenant_id, BYPASSRLS, AdminRepo, HeavyReadRepo, heavy read, statement_timeout, pgbouncer, migration, new table.

Multi-Tenancy & Repo Topology

loopctl isolates every tenant's data with PostgreSQL Row-Level Security. Getting the scoping mechanics wrong is a cross-tenant data leak — the highest-severity bug class in this codebase. This skill is pointers + invariants, not restated logic; read the cited code before changing it.

The three repos — pick by intent

Repo	Role	RLS	Use for
Loopctl.Repo (lib/loopctl/repo.ex)	tenant-scoped app queries	enforced (RLS role, no BYPASSRLS)	everything a tenant does
Loopctl.AdminRepo (lib/loopctl/admin_repo.ex)	cross-tenant superadmin ops	BYPASSRLS	superadmin API, custody writes, capability consume
Loopctl.HeavyReadRepo (lib/loopctl/heavy_read_repo.ex)	heavy analytical/vector reads	BYPASSRLS, own pool	semantic search, novelty, suggest-links, distant-pairs

In TEST, HeavyRead is DI-routed to AdminRepo (config/test.exs:84 sets :heavy_read_repo), so every heavy read shares the AdminRepo sandbox connection and the SET LOCAL statement_timeout assertions on that routed path are unsound under Sandbox (config/test.exs:74-83). Assert pool/timeout behavior against HeavyReadRepo directly.

There are three repos (CLAUDE.md "Multi-Tenant Rules" #6 says the same). Never route a heavy vector/enumeration read through AdminRepo: that shares a tiny 3-connection pool with every other admin op and three concurrent heavy reads starve it (heavy_read_repo.ex:5-17). Route heavy reads through Loopctl.HeavyRead (lib/loopctl/heavy_read.ex), which owns the HeavyReadRepo pool.

Invariants (must hold — cited)

1. with_tenant/2 must OWN its transaction — repo.ex:95-103. The RLS context is set with SET LOCAL app.current_tenant_id / SET LOCAL ROLE, which are transaction-scoped. If with_tenant runs inside an existing transaction, its SET LOCAL lands in a SAVEPOINT and persists past the savepoint into the outer transaction — overriding the outer tenant/role for the rest of its life (a cross-tenant / role leak). assert_not_nested!/2 (repo.ex:130-138) raises to prevent it. But the guard is INERT under the SQL sandbox (repo.ex:116-118 — in_transaction?() and not sandbox_pool?()), i.e. for the ENTIRE test suite: no test can catch a nested caller, and a nesting regression merges green and only raises in dev/prod. Verify non-nesting by inspection; the RULE itself is unit-tested in test/loopctl/repo_nested_transaction_guard_test.exs. Inside an enclosing transaction, call Repo.set_rls_context/1 (repo.ex:153-163) directly instead.
2. RLS context = set_config('app.current_tenant_id', $1, true) — repo.ex:154-158. In dev/test the connection is a superuser, so maybe_set_local_role/0 (repo.ex:174-179) additionally SET LOCAL ROLE to a non-superuser (:rls_role) so policies actually apply; prod connects as a non-superuser natively.
3. New tables: ENABLE ROW LEVEL SECURITY, never FORCE — the prod role (schema_admin) owns the tables without BYPASSRLS, so ENABLE already applies to it; FORCE would also gate the admin paths. (CLAUDE.md "Before Changing Any Role Requirement" #4 — NOT "Multi-Tenant Rules" #4, which is the tenant_id-never-in-cast rule cited below.)
4. tenant_id is set programmatically, never in cast — set it on the struct, keep it out of every changeset's cast allowlist (CLAUDE.md "Multi-Tenant Rules" #4; mirrors the Ecto convention in AGENTS.md). A user-supplied tenant_id in params must never win.
5. Every context function takes tenant_id as its first argument, and every tenant-scoped test includes a "tenant A cannot see tenant B" isolation case (CLAUDE.md #2/#5).
6. On AdminRepo/HeavyReadRepo, RLS does NOTHING — the explicit tenant_id predicate is the only isolation there (knowledge.ex:9-14, heavy_read.ex:3-7). This is the compensating invariant for the other two repos, and it is enforced structurally on the heavy path: the private guard!/2 (heavy_read.ex:1255-1275) RAISES unless EVERY base-table source — from, every join, and every subquery, recursively — carries a conjunctive x.tenant_id == ^tenant_id bound to the passed tenant_id; test/loopctl/heavy_read_guard_test.exs additionally bars direct HeavyReadRepo calls. Agent-memory reads need a SECOND predicate: all_memory/4 (:1016) also requires a conjunctive subject_id equality on the outermost query (private guard_memory!/3, heavy_read.ex:1277-1300), because subject_id scoping is application-level only. Always go through Loopctl.HeavyRead, never HeavyReadRepo directly; on AdminRepo there is no guard at all, so the predicate is on you.
7. Heavy reads can be SHED — handle {:error, :heavy_read_overloaded}. all/3 (heavy_read.ex:960), one/3 (heavy_read.ex:980) and all_memory/4 (heavy_read.ex:1016) are specced to return it: the per-tenant cost-weighted in-flight gate (gated/4, heavy_read.ex:1045-1065) sheds over the cap — on_overload: :raise (default) raises → 429, on_overload: :tag returns the tuple. Binding the result as a list crashes exactly under the load the gate exists for.
8. A consistency-coupled heavy read must be PRIMARY-PINNED. repo_for/1 (heavy_read.ex:114-117, pure decision in route_repo/4, heavy_read.ex:129-137) routes an endpoint listed in primary_pinned_endpoints/0 (heavy_read.ex:93, today :sth_incremental) onto the PRIMARY pool whenever a distinct replica is configured — so it is NOT always HeavyReadRepo. Add a new endpoint to that list when it cannot tolerate replica lag.

The pgbouncer gotcha (US-27.13 — production outage, do not regress)

HeavyReadRepo enforces a server-side statement_timeout per-read via SET LOCAL inside the transaction (all/3 at heavy_read.ex:960 and one/3 at :980, both via with_statement_timeout/5 at :1081; heavy_read_repo.ex:19-32) — NOT as a connection startup :parameters value. Fly MPG fronts Postgres with pgbouncer, which rejects a statement_timeout startup parameter with FATAL 08P01 unsupported startup parameter, crash-looping the whole pool so it never connects. If you need any per-connection GUC on a pgbouncer-fronted pool, apply it with SET LOCAL inside a transaction, never via :parameters.

Anti-patterns

• Calling Loopctl.Repo.with_tenant/2 from inside another Repo.transaction — raises by design; use set_rls_context/1 in the enclosing transaction.
• Reaching for AdminRepo "because RLS is in the way." If a tenant query can't see its own rows, the tenant context isn't set — fix the with_tenant boundary, don't bypass RLS.
• A heavy vector/semantic/enumeration read on Repo or AdminRepo instead of HeavyRead.
• Adding statement_timeout (or any GUC) to a repo's :parameters — pgbouncer 08P01.
• A migration that creates a tenant-scoped table without a tenant_id column + RLS policy.

Related

• chain-of-custody — custody writes/consume run on AdminRepo; roles gate who may write.
• knowledge-wiki — all heavy KB reads route through HeavyRead/HeavyReadRepo.
• Deep Ecto/OTP mechanics: the global patterns-ecto / patterns-elixir-otp skills.