@nacre.work/core 0.1.0 → 0.3.0

package/dist/migrations/0015_reference_queries.sql

@@ -0,0 +1,97 @@
+-- The query set a reindex is checked against.
+--
+-- `docs/architecture.md` has carried a step 4 since before there was a reindex
+-- — "the recall check against a reference query set" — and has listed it as not
+-- built for just as long, with the reason: it is "a gate nobody can run without
+-- a query set". This is the query set.
+--
+-- ─── what the gate is for ───
+--
+-- A migration onto a new model succeeds mechanically whether or not the new
+-- model works. Every document gets a shadow vector, the count reaches zero,
+-- `vector_name` moves, and search is now answered by the new slot. If the
+-- provider was misconfigured — the right endpoint behind the wrong model name,
+-- a truncated dimension, an embedder returning near-constant vectors — every
+-- step still reports success and retrieval quietly collapses. There is no
+-- failing test, no alert, and no error anywhere, because nothing failed.
+--
+-- The gate is the only thing in the sequence that asks whether the new model
+-- can still answer, rather than whether the write happened.
+--
+-- ─── why ground truth rather than agreement with the old model ───
+--
+-- The cheaper design compares the new slot's answers against the old slot's and
+-- gates on the overlap. It needs nothing from the operator, and it is wrong:
+-- **a better model disagrees with the worse one it replaces**, so a gate on
+-- agreement blocks exactly the migrations worth making, and passes a new model
+-- that reproduces the old one's mistakes. What an operator means by "search
+-- still works" is against documents they picked, which is a thing only they
+-- have.
+--
+-- So the set is theirs and the gate is off until they write one. That is the
+-- honest arrangement, and it is why this table exists rather than a constant.
+--
+-- ─── external ids, not document ids ───
+--
+-- `expected` names documents the way the operator does. A document deleted and
+-- re-ingested is the same reference; a document id would have changed underneath
+-- them silently and scored as a miss. The resolution to ids happens when the
+-- check runs, and an entry that resolves to nothing **fails the check with that
+-- reason** rather than counting as a miss — a stale reference set and a bad
+-- model are different problems and must not produce the same number.
+
+-- Composite keys for the cross-tenant foreign key below, the same shape 0002
+-- gave `groups` and `users`. Without it a row could name a layer in one
+-- organization while claiming another, and only the code writing the insert
+-- would stop it.
+ALTER TABLE layers ADD CONSTRAINT layers_id_org_key UNIQUE (id, org_id);
+
+CREATE TABLE reference_queries (
+    id         uuid        PRIMARY KEY DEFAULT gen_random_uuid(),
+    org_id     uuid        NOT NULL REFERENCES organizations (id) ON DELETE CASCADE,
+    layer_id   uuid        NOT NULL,
+
+    -- Bounded because every one of these is an embedding round trip at the end
+    -- of a migration, and because an unbounded text column reached by an API is
+    -- a way to store something else.
+    query      text        NOT NULL CHECK (length(query) BETWEEN 1 AND 1024),
+
+    -- At most ten, which is the `k` the check retrieves at. A set naming more
+    -- expected documents than the check can return could never score 1.0, so
+    -- the floor would be unreachable and the operator would read it as a
+    -- regression. Refused here as well as at the API, because the two disagree
+    -- exactly when someone writes to the database by hand.
+    expected   text[]      NOT NULL CHECK (
+                             cardinality(expected) BETWEEN 1 AND 10
+                             AND array_position(expected, NULL) IS NULL
+                           ),
+
+    -- The operator's order, preserved. A reference set is read as a list and a
+    -- report that renumbers it every time it is fetched is a report nobody can
+    -- compare against the last one.
+    ordinal    int         NOT NULL,
+    created_at timestamptz NOT NULL DEFAULT now(),
+
+    CONSTRAINT reference_queries_layer_in_org
+        FOREIGN KEY (layer_id, org_id) REFERENCES layers (id, org_id) ON DELETE CASCADE,
+    CONSTRAINT reference_queries_ordinal UNIQUE (layer_id, ordinal)
+);
+
+-- The two questions asked of this table: "the set for this layer" (the API, and
+-- the check) and "does this layer have one at all" (the switch predicate).
+CREATE INDEX reference_queries_layer ON reference_queries (org_id, layer_id);
+
+-- Tenant data, so RLS, and FORCE because ENABLE alone does not apply to the
+-- owner and migrations run as the owner.
+ALTER TABLE reference_queries ENABLE ROW LEVEL SECURITY;
+ALTER TABLE reference_queries FORCE  ROW LEVEL SECURITY;
+
+CREATE POLICY org_isolation ON reference_queries
+    USING (org_id = current_setting('app.current_org')::uuid);
+
+-- `nacre_app` reads and rewrites the set, because the API does. `nacre_worker`
+-- only reads: the check must not be able to alter the thing it is checked
+-- against, and a sweep that could delete a reference query could turn a failing
+-- gate into a passing one by emptying it.
+GRANT SELECT, INSERT, DELETE ON reference_queries TO nacre_app;
+GRANT SELECT ON reference_queries TO nacre_worker;

package/dist/migrations/0016_drop_acl_tag_cache.sql

@@ -0,0 +1,62 @@
+-- 0016 — remove the ACL tag cache.
+--
+-- `docs/authz.md` 3.6 specified `acl_tags` in the vector payload as a second
+-- filter alongside the layer bound: "both the layer filter and the tag filter
+-- apply". The filter was never built. `buildFilter` is the only filter builder
+-- in the codebase and it emits `org_id`, `deleted`, the plan's layers and
+-- documents as a `should`, a `must_not` on denied documents, and the caller's
+-- metadata narrowing — and no tag clause. So the whole subsystem kept a payload
+-- field fresh that no query read.
+--
+-- Two things settled it, and only the second is decisive.
+--
+-- **It saves nothing.** The tags were justified as a speed-up over "joining
+-- back to Postgres". Nothing joins back: the resolver computes the caller's
+-- whole permitted set from `grants` on every request, so the expensive part has
+-- already happened by the time a filter is built. A tag clause would be a
+-- second constraint derived from the same table, one request later.
+--
+-- **It cannot express what the product now sells.** `tagsForLayer` read
+-- `effect = 'allow'` grants on the layer and its workspace — document-scoped
+-- grants were invisible to it, and so were denies. Applied as the `must` the
+-- specification asks for, a caller reaching a document through a
+-- document-scoped grant would have been filtered *out*: their principal is not
+-- in that layer's tag set. Document-scoped grants are issuable now, through
+-- `@nacre.work/enterprise-acl-advanced`, so the specified design and a shipped
+-- feature could not both be true.
+--
+-- Making tags per-document would have fixed that and left the other cost: the
+-- tag filter is stale by construction, so a *newly granted* document would stay
+-- invisible until the sweep caught up. Revocation is already immediate — the
+-- plan is computed per request, and the effective-principals cache is keyed on
+-- `organizations.groups_version`, which bumps on every write to `grants` — so
+-- the trade was a delay on grants in exchange for nothing on revocations.
+--
+-- What goes with it: the retag sweep, its lease, the propagation gauge and its
+-- alert, `NACRE_ACL_TAG_HASH_BYTES` and `NACRE_ACL_PROPAGATION_SLA`. Invariant
+-- I4 is unchanged and is now argued structurally rather than measured
+-- temporally: there is no cache between a grant change and the next request.
+--
+-- `organizations.groups_version` stays. It is the effective-principals cache
+-- key, which is read on every request, and its triggers are what make that
+-- cache safe.
+
+ALTER TABLE documents DROP COLUMN IF EXISTS acl_version;
+ALTER TABLE documents DROP COLUMN IF EXISTS acl_tagged_at;
+
+-- Dropped with its column. Named explicitly because a partial index over a
+-- dropped column disappears silently, and a reader of 0004 should be able to
+-- find where it went.
+DROP INDEX IF EXISTS documents_acl_version_idx;
+
+-- `sweep_claimed_at` **stays**, and 0011's name for it is now misleading rather
+-- than wrong. It was added for the retag sweep and the collector took it as
+-- well: `claimPurgeable` sets it to lease a tombstone so two workers do not
+-- purge the same points, and `markPurged` clears it. Dropping it here removed a
+-- column the collector reads — caught by the garbage-collection tests against a
+-- real database, which is the only place it could have been caught.
+COMMENT ON COLUMN documents.sweep_claimed_at IS
+  'Lease held by the garbage collector while it purges a tombstone''s vectors. Cleared by markPurged, and reclaimed after NACRE_INDEX_LEASE if the worker holding it dies. Shared with the retag sweep until 0016 removed that sweep.';
+
+COMMENT ON COLUMN organizations.groups_version IS
+  'Permission epoch. Bumped by triggers on groups, group_members and grants. Read as the effective-principals cache key — which is what makes caching a permission input safe, since a change composes a different key rather than expiring an old one.';

package/dist/migrations/0017_drop_workspace_admin_role.sql

@@ -0,0 +1,30 @@
+-- 0017 — `users.role` loses `workspace_admin`.
+--
+-- 0001 wrote `CHECK (role IN ('platform_admin','org_admin','workspace_admin','member'))`
+-- and `OrgRole` in the code has always been three values. A row carrying the
+-- fourth read into a type that does not admit it and then behaved as `member`,
+-- because it matches neither role branch in `resolve` and falls through to
+-- grant-based evaluation. Safe — it denies rather than widens — and still a
+-- role the schema offered, nothing implemented, and nothing refused: an
+-- operator who set it got a silently demoted user and no error.
+--
+-- Removed rather than implemented, because it is a category error and not a
+-- missing feature. `users.role` is organization-wide; "administers a
+-- workspace" is scoped to one. The permission model already expresses it, and
+-- expresses it better: `admin` on a `workspace` scope, which a person can hold
+-- on several workspaces at once and which a single column cannot say. Adding
+-- the role would have created a second way to spell one thing, with the
+-- resolver having to decide which wins.
+--
+-- Existing rows are moved to `member`, which is what they already behaved as.
+-- The UPDATE runs before the constraint is replaced, or the constraint would
+-- refuse the rows it exists to remove.
+
+UPDATE users SET role = 'member' WHERE role = 'workspace_admin';
+
+ALTER TABLE users DROP CONSTRAINT IF EXISTS users_role_check;
+ALTER TABLE users ADD CONSTRAINT users_role_check
+    CHECK (role IN ('platform_admin', 'org_admin', 'member'));
+
+COMMENT ON COLUMN users.role IS
+  'Organization-wide role. Anything scoped to a workspace, a layer or a document is a grant, not a role — see docs/authz.md rules 2 and 3.';

package/dist/migrations/0018_group_members_nulls_not_distinct.sql

@@ -0,0 +1,46 @@
+-- 0018 — `group_members` can actually hold a member only once.
+--
+-- 0001 wrote `UNIQUE (group_id, member_user, member_group)` with a CHECK that
+-- exactly one of the two member columns is non-null. **In Postgres a unique
+-- index treats NULLs as distinct by default**, so two rows with the same
+-- `group_id` and `member_user` and a NULL `member_group` do not conflict — and
+-- every row this table holds has one of the two columns NULL, by construction.
+--
+-- The constraint therefore deduplicated nothing at all, in either direction.
+-- `ON CONFLICT DO NOTHING` against it is a no-op, which is exactly how it was
+-- found: a SCIM group sync adding the same member twice produced two rows and
+-- an idempotent re-sync doubled a group's membership every time it ran.
+--
+-- Not a permission bug. `effectivePrincipals` walks the graph into a `Set`, so
+-- a duplicated edge resolves to the same principal set and grants nothing
+-- extra. What it is: a table that grows without bound under a directory sync,
+-- a membership count that is wrong wherever one is shown, and — worse than
+-- either — a uniqueness guarantee the schema appears to make and does not, so
+-- the next writer reaches for `ON CONFLICT` and gets silence.
+--
+-- `NULLS NOT DISTINCT` needs Postgres 15; the Compose image is 17 and
+-- docs/config.md has always named 17. Dropping to a pair of partial unique
+-- indexes would work on older versions and is not worth carrying a version
+-- floor nothing else needs.
+--
+-- Duplicates are collapsed before the constraint is replaced, or the constraint
+-- refuses the rows it exists to prevent. `ctid` is the only thing that
+-- distinguishes them, which is what "duplicate" means here.
+
+DELETE FROM group_members a
+ USING group_members b
+ WHERE a.ctid > b.ctid
+   AND a.group_id = b.group_id
+   AND a.org_id = b.org_id
+   AND a.member_user IS NOT DISTINCT FROM b.member_user
+   AND a.member_group IS NOT DISTINCT FROM b.member_group;
+
+ALTER TABLE group_members
+    DROP CONSTRAINT IF EXISTS group_members_group_id_member_user_member_group_key;
+
+ALTER TABLE group_members
+    ADD CONSTRAINT group_members_member_unique
+    UNIQUE NULLS NOT DISTINCT (group_id, member_user, member_group);
+
+COMMENT ON CONSTRAINT group_members_member_unique ON group_members IS
+  'NULLS NOT DISTINCT, deliberately: exactly one of member_user and member_group is non-null on every row, so the default NULLS DISTINCT made this constraint match nothing.';

package/dist/migrations/0019_embedding_provider_write_guard.sql

@@ -0,0 +1,58 @@
+-- 0019 — a tenant may read the installation-wide embedding provider, never write it.
+--
+-- `embedding_providers` is the one table where a NULL `org_id` is legitimate: it
+-- is the installation-wide default model, and 0002's `org_isolation` lets every
+-- organization *read* it, on purpose. 0002 also carried this, two lines down:
+--
+--     -- Writing a global default is not something a tenant may do.
+--     CREATE POLICY org_writes_own ON embedding_providers
+--       FOR INSERT WITH CHECK (org_id = current_setting('app.current_org')::uuid);
+--
+-- and that policy does nothing. A PERMISSIVE policy is OR'd with the other
+-- PERMISSIVE policy for the same command, so on INSERT the effective check is
+-- `org_writes_own` OR `org_isolation` — and `org_isolation`'s check admits
+-- `org_id IS NULL`. `org_writes_own` is a strict subset of what was already
+-- allowed, so adding it changed nothing. It was verified inert against a real
+-- database: a connection scoped to org A, as `nacre_app`, could INSERT, UPDATE
+-- and DELETE the NULL-`org_id` row every other tenant reads as its default.
+--
+-- The consequence is the shape the whole schema's FORCE RLS exists to prevent,
+-- one table over from where it was checked: repoint that endpoint and every
+-- other tenant's documents are embedded by an attacker's service; delete it and
+-- every tenant relying on the default stops resolving a model. No core endpoint
+-- writes this table, so this is the second line of defence rather than a
+-- reachable exploit today — but the second line is exactly what a NULL-`org_id`
+-- row needs, because the first line (a handler setting `org_id` from the token)
+-- cannot cover a row whose `org_id` is meant to be NULL.
+--
+-- The fix is RESTRICTIVE policies on the three writing commands. A RESTRICTIVE
+-- policy is AND'd with the permissive result, so it can only ever remove access
+-- — it cannot widen a read. SELECT carries none, so the global row stays
+-- readable by every tenant exactly as before.
+
+DROP POLICY IF EXISTS org_writes_own ON embedding_providers;
+
+-- Each names the writing role's own organization and nothing else. `org_id`
+-- NULL fails the equality (NULL = uuid is NULL, not true), which is what keeps
+-- the global row out of a tenant's reach on every one of the three commands.
+CREATE POLICY tenant_writes_own_insert ON embedding_providers
+  AS RESTRICTIVE FOR INSERT
+  WITH CHECK (org_id = current_setting('app.current_org')::uuid);
+
+CREATE POLICY tenant_writes_own_update ON embedding_providers
+  AS RESTRICTIVE FOR UPDATE
+  USING (org_id = current_setting('app.current_org')::uuid)
+  WITH CHECK (org_id = current_setting('app.current_org')::uuid);
+
+CREATE POLICY tenant_writes_own_delete ON embedding_providers
+  AS RESTRICTIVE FOR DELETE
+  USING (org_id = current_setting('app.current_org')::uuid);
+
+-- The installation-wide default is still written once, by `init`, and it is a
+-- NULL-`org_id` row — so it now goes in under `nacre_worker`, the same
+-- BYPASSRLS role the worker's cross-tenant queue uses. `init` is the only
+-- writer of that row (a per-organization provider carries the org's own id and
+-- passes the policies above unchanged), which is why the exception is one
+-- statement in one bootstrap command rather than a hole in the policy.
+COMMENT ON POLICY tenant_writes_own_insert ON embedding_providers IS
+  'A tenant writes only its own providers. The NULL-org_id installation default is written by init under nacre_worker; see 0019.';

package/dist/multipart.d.ts

@@ -0,0 +1,55 @@
+/**
+ * `multipart/form-data`, parsed strictly.
+ *
+ * `POST /v1/documents` has declared this in `docs/openapi.yaml` since before
+ * there was a server, and `docs/api.md` has listed it as not built for just as
+ * long. This is it.
+ *
+ * ─── why by hand, and what that obliges ───
+ *
+ * This parses attacker-supplied bytes. The usual answer is a library, and the
+ * usual argument against one applies here more than anywhere else in this
+ * repository: the request path of a document index is exactly where a
+ * dependency's parser bugs become yours. The parser sidecar makes the same
+ * choice for the same reason and says so.
+ *
+ * The obligation that comes with it is to be strict rather than clever. Every
+ * bound below is a refusal, not a truncation, and none of them is
+ * configurable — a caller who trips one gets `400` and a reason:
+ *
+ * - the boundary must match RFC 2046's grammar, so it cannot carry a regular
+ *   expression, a newline, or a thousand characters;
+ * - a bounded number of parts, so a body of ten thousand empty ones is a
+ *   refusal rather than ten thousand allocations;
+ * - a bounded header block per part, so a part that is all headers cannot be
+ *   scanned forever;
+ * - `filename` is read and never used to build anything. Object keys come from
+ *   `documentKey`, which hashes the external id; a filename reaches a database
+ *   column and nothing else.
+ *
+ * What it deliberately does not do: nested multipart, `Content-Transfer-
+ * Encoding`, and charsets other than UTF-8. Each is a real part of the
+ * specification and none is something a document upload needs, so each is a
+ * refusal rather than a branch.
+ */
+export declare class MultipartError extends Error {
+    constructor(message: string);
+}
+export interface MultipartPart {
+    readonly name: string;
+    /** Present when the part carried one. Never used to build a path or a key. */
+    readonly filename?: string;
+    readonly contentType?: string;
+    readonly bytes: Uint8Array;
+}
+/** Enough for a document plus its fields, and small enough to bound the work. */
+export declare const MAX_PARTS = 16;
+/** A part's headers. Anything longer is not a header block, it is an attack. */
+export declare const MAX_PART_HEADER_BYTES: number;
+/**
+ * The boundary from a `content-type`, or `undefined` when this is not
+ * multipart at all — which is not an error, it is how a caller says "JSON".
+ */
+export declare function multipartBoundary(contentType: string | undefined): string | undefined;
+export declare function parseMultipart(body: Uint8Array, boundary: string): readonly MultipartPart[];
+//# sourceMappingURL=multipart.d.ts.map

package/dist/multipart.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"multipart.d.ts","sourceRoot":"","sources":["../multipart.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,qBAAa,cAAe,SAAQ,KAAK;gBAC3B,OAAO,EAAE,MAAM;CAI5B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAC3B;AAED,iFAAiF;AACjF,eAAO,MAAM,SAAS,KAAK,CAAA;AAC3B,gFAAgF;AAChF,eAAO,MAAM,qBAAqB,QAAW,CAAA;AAK7C;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAqBrF;AAaD,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,aAAa,EAAE,CA+E3F"}

package/dist/multipart.js

@@ -0,0 +1,158 @@
+/**
+ * `multipart/form-data`, parsed strictly.
+ *
+ * `POST /v1/documents` has declared this in `docs/openapi.yaml` since before
+ * there was a server, and `docs/api.md` has listed it as not built for just as
+ * long. This is it.
+ *
+ * ─── why by hand, and what that obliges ───
+ *
+ * This parses attacker-supplied bytes. The usual answer is a library, and the
+ * usual argument against one applies here more than anywhere else in this
+ * repository: the request path of a document index is exactly where a
+ * dependency's parser bugs become yours. The parser sidecar makes the same
+ * choice for the same reason and says so.
+ *
+ * The obligation that comes with it is to be strict rather than clever. Every
+ * bound below is a refusal, not a truncation, and none of them is
+ * configurable — a caller who trips one gets `400` and a reason:
+ *
+ * - the boundary must match RFC 2046's grammar, so it cannot carry a regular
+ *   expression, a newline, or a thousand characters;
+ * - a bounded number of parts, so a body of ten thousand empty ones is a
+ *   refusal rather than ten thousand allocations;
+ * - a bounded header block per part, so a part that is all headers cannot be
+ *   scanned forever;
+ * - `filename` is read and never used to build anything. Object keys come from
+ *   `documentKey`, which hashes the external id; a filename reaches a database
+ *   column and nothing else.
+ *
+ * What it deliberately does not do: nested multipart, `Content-Transfer-
+ * Encoding`, and charsets other than UTF-8. Each is a real part of the
+ * specification and none is something a document upload needs, so each is a
+ * refusal rather than a branch.
+ */
+export class MultipartError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'MultipartError';
+    }
+}
+/** Enough for a document plus its fields, and small enough to bound the work. */
+export const MAX_PARTS = 16;
+/** A part's headers. Anything longer is not a header block, it is an attack. */
+export const MAX_PART_HEADER_BYTES = 8 * 1024;
+/** RFC 2046: 1-70 characters from a fixed set, not ending in a space. */
+const BOUNDARY = /^[A-Za-z0-9'()+_,\-./:=?]([A-Za-z0-9'()+_,\-./:=? ]{0,68}[A-Za-z0-9'()+_,\-./:=?])?$/;
+/**
+ * The boundary from a `content-type`, or `undefined` when this is not
+ * multipart at all — which is not an error, it is how a caller says "JSON".
+ */
+export function multipartBoundary(contentType) {
+    if (contentType === undefined)
+        return undefined;
+    const [type, ...rest] = contentType.split(';');
+    if ((type ?? '').trim().toLowerCase() !== 'multipart/form-data')
+        return undefined;
+    for (const parameter of rest) {
+        const eq = parameter.indexOf('=');
+        if (eq === -1)
+            continue;
+        if (parameter.slice(0, eq).trim().toLowerCase() !== 'boundary')
+            continue;
+        let value = parameter.slice(eq + 1).trim();
+        if (value.startsWith('"') && value.endsWith('"') && value.length >= 2) {
+            value = value.slice(1, -1);
+        }
+        if (!BOUNDARY.test(value)) {
+            throw new MultipartError('the multipart boundary is not a valid one');
+        }
+        return value;
+    }
+    throw new MultipartError('multipart/form-data with no boundary parameter');
+}
+const CRLF = Buffer.from('\r\n');
+const DOUBLE_CRLF = Buffer.from('\r\n\r\n');
+/** `name="x"; filename="y"` — one parameter, unescaped the way browsers send it. */
+function parameter(header, key) {
+    const match = new RegExp(`(?:^|;)\\s*${key}\\s*=\\s*("([^"]*)"|[^;]*)`, 'i').exec(header);
+    if (match === null)
+        return undefined;
+    const value = match[2] ?? match[1] ?? '';
+    return value.trim();
+}
+export function parseMultipart(body, boundary) {
+    const buffer = Buffer.from(body.buffer, body.byteOffset, body.byteLength);
+    const delimiter = Buffer.from(`--${boundary}`);
+    let cursor = buffer.indexOf(delimiter);
+    if (cursor === -1)
+        throw new MultipartError('the body contains no multipart boundary');
+    const parts = [];
+    while (cursor !== -1) {
+        let start = cursor + delimiter.length;
+        // `--boundary--` closes the body. Anything after it is epilogue and
+        // ignored, which is what the specification says and what every client does.
+        if (buffer.slice(start, start + 2).toString() === '--')
+            break;
+        // The delimiter is followed by CRLF. Tolerating a bare LF here would mean
+        // accepting a body no conforming client sends, so it does not.
+        if (!buffer.slice(start, start + 2).equals(CRLF)) {
+            throw new MultipartError('a multipart boundary is not followed by CRLF');
+        }
+        start += 2;
+        const headerEnd = buffer.indexOf(DOUBLE_CRLF, start);
+        if (headerEnd === -1)
+            throw new MultipartError('a multipart part has no header block');
+        if (headerEnd - start > MAX_PART_HEADER_BYTES) {
+            throw new MultipartError('a multipart part has an implausibly large header block');
+        }
+        const headers = buffer.slice(start, headerEnd).toString('utf8');
+        const bodyStart = headerEnd + DOUBLE_CRLF.length;
+        const next = buffer.indexOf(delimiter, bodyStart);
+        if (next === -1)
+            throw new MultipartError('a multipart part is not terminated');
+        // The CRLF immediately before the next delimiter belongs to the delimiter,
+        // not to the content. Keeping it appends two bytes to every uploaded file.
+        const end = next >= 2 && buffer.slice(next - 2, next).equals(CRLF) ? next - 2 : next;
+        let disposition;
+        let contentType;
+        for (const line of headers.split('\r\n')) {
+            const colon = line.indexOf(':');
+            if (colon === -1)
+                continue;
+            const key = line.slice(0, colon).trim().toLowerCase();
+            const value = line.slice(colon + 1).trim();
+            if (key === 'content-disposition')
+                disposition = value;
+            else if (key === 'content-type')
+                contentType = value;
+            else if (key === 'content-transfer-encoding' && value.toLowerCase() !== 'binary') {
+                // Refused rather than decoded. base64 here is legal and archaic, and a
+                // decoder is another parser of hostile input for a case no browser and
+                // no HTTP client produces.
+                throw new MultipartError(`content-transfer-encoding ${value} is not supported`);
+            }
+        }
+        if (disposition === undefined)
+            throw new MultipartError('a multipart part has no content-disposition');
+        const name = parameter(disposition, 'name');
+        if (name === undefined || name === '') {
+            throw new MultipartError('a multipart part has no name');
+        }
+        const filename = parameter(disposition, 'filename');
+        parts.push({
+            name,
+            ...(filename === undefined || filename === '' ? {} : { filename }),
+            ...(contentType === undefined ? {} : { contentType }),
+            bytes: new Uint8Array(buffer.subarray(bodyStart, end)),
+        });
+        if (parts.length > MAX_PARTS) {
+            throw new MultipartError(`a multipart body may carry at most ${MAX_PARTS} parts`);
+        }
+        cursor = next;
+    }
+    if (parts.length === 0)
+        throw new MultipartError('the multipart body carries no parts');
+    return parts;
+}
+//# sourceMappingURL=multipart.js.map

package/dist/multipart.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"multipart.js","sourceRoot":"","sources":["../multipart.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,MAAM,OAAO,cAAe,SAAQ,KAAK;IACvC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAA;IAC9B,CAAC;CACF;AAUD,iFAAiF;AACjF,MAAM,CAAC,MAAM,SAAS,GAAG,EAAE,CAAA;AAC3B,gFAAgF;AAChF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,GAAG,IAAI,CAAA;AAE7C,yEAAyE;AACzE,MAAM,QAAQ,GAAG,sFAAsF,CAAA;AAEvG;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,WAA+B;IAC/D,IAAI,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC/C,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC9C,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,qBAAqB;QAAE,OAAO,SAAS,CAAA;IAEjF,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QACjC,IAAI,EAAE,KAAK,CAAC,CAAC;YAAE,SAAQ;QACvB,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,UAAU;YAAE,SAAQ;QAExE,IAAI,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;QAC1C,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACtE,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QAC5B,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,cAAc,CAAC,2CAA2C,CAAC,CAAA;QACvE,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,IAAI,cAAc,CAAC,gDAAgD,CAAC,CAAA;AAC5E,CAAC;AAED,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;AAChC,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;AAE3C,oFAAoF;AACpF,SAAS,SAAS,CAAC,MAAc,EAAE,GAAW;IAC5C,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,cAAc,GAAG,4BAA4B,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACzF,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACxC,OAAO,KAAK,CAAC,IAAI,EAAE,CAAA;AACrB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAgB,EAAE,QAAgB;IAC/D,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,CAAA;IACzE,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC,CAAA;IAE9C,IAAI,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;IACtC,IAAI,MAAM,KAAK,CAAC,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,yCAAyC,CAAC,CAAA;IAEtF,MAAM,KAAK,GAAoB,EAAE,CAAA;IAEjC,OAAO,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QACrB,IAAI,KAAK,GAAG,MAAM,GAAG,SAAS,CAAC,MAAM,CAAA;QAErC,oEAAoE;QACpE,4EAA4E;QAC5E,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,IAAI;YAAE,MAAK;QAE7D,0EAA0E;QAC1E,+DAA+D;QAC/D,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,cAAc,CAAC,8CAA8C,CAAC,CAAA;QAC1E,CAAC;QACD,KAAK,IAAI,CAAC,CAAA;QAEV,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,CAAA;QACpD,IAAI,SAAS,KAAK,CAAC,CAAC;YAAE,MAAM,IAAI,cAAc,CAAC,sCAAsC,CAAC,CAAA;QACtF,IAAI,SAAS,GAAG,KAAK,GAAG,qBAAqB,EAAE,CAAC;YAC9C,MAAM,IAAI,cAAc,CAAC,wDAAwD,CAAC,CAAA;QACpF,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC/D,MAAM,SAAS,GAAG,SAAS,GAAG,WAAW,CAAC,MAAM,CAAA;QAEhD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,CAAA;QACjD,IAAI,IAAI,KAAK,CAAC,CAAC;YAAE,MAAM,IAAI,cAAc,CAAC,oCAAoC,CAAC,CAAA;QAE/E,2EAA2E;QAC3E,2EAA2E;QAC3E,MAAM,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QAEpF,IAAI,WAA+B,CAAA;QACnC,IAAI,WAA+B,CAAA;QACnC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;YAC/B,IAAI,KAAK,KAAK,CAAC,CAAC;gBAAE,SAAQ;YAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;YACrD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;YAC1C,IAAI,GAAG,KAAK,qBAAqB;gBAAE,WAAW,GAAG,KAAK,CAAA;iBACjD,IAAI,GAAG,KAAK,cAAc;gBAAE,WAAW,GAAG,KAAK,CAAA;iBAC/C,IAAI,GAAG,KAAK,2BAA2B,IAAI,KAAK,CAAC,WAAW,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACjF,uEAAuE;gBACvE,uEAAuE;gBACvE,2BAA2B;gBAC3B,MAAM,IAAI,cAAc,CAAC,6BAA6B,KAAK,mBAAmB,CAAC,CAAA;YACjF,CAAC;QACH,CAAC;QAED,IAAI,WAAW,KAAK,SAAS;YAAE,MAAM,IAAI,cAAc,CAAC,6CAA6C,CAAC,CAAA;QACtG,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,CAAA;QAC3C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YACtC,MAAM,IAAI,cAAc,CAAC,8BAA8B,CAAC,CAAA;QAC1D,CAAC;QAED,MAAM,QAAQ,GAAG,SAAS,CAAC,WAAW,EAAE,UAAU,CAAC,CAAA;QACnD,KAAK,CAAC,IAAI,CAAC;YACT,IAAI;YACJ,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;YAClE,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;YACrD,KAAK,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;SACvD,CAAC,CAAA;QAEF,IAAI,KAAK,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,cAAc,CAAC,sCAAsC,SAAS,QAAQ,CAAC,CAAA;QACnF,CAAC;QAED,MAAM,GAAG,IAAI,CAAA;IACf,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,qCAAqC,CAAC,CAAA;IACvF,OAAO,KAAK,CAAA;AACd,CAAC"}

package/dist/oauth.d.ts

@@ -36,6 +36,16 @@ export interface ProtectedResourceMetadata {
 }
 /** The path RFC 9728 fixes, and the one the `WWW-Authenticate` header names. */
 export declare const PROTECTED_RESOURCE_PATH = "/.well-known/oauth-protected-resource";
+/**
+ * Where the public signing key is published — RFC 7517, and the conventional
+ * path every JWT library looks at first.
+ *
+ * Served only by a deployment that signs asymmetrically. With
+ * `NACRE_JWT_SECRET` there is nothing to publish and this answers `404`: a
+ * shared secret has no public half, and an endpoint that produced one anyway
+ * would be handing out the key that mints tokens.
+ */
+export declare const JWKS_PATH = "/.well-known/jwks.json";
 export declare function protectedResourceMetadata(input: {
     /** `NACRE_CANONICAL_URL`. Baked into the issuer of every token ever minted. */
     readonly canonicalUrl: string;

package/dist/oauth.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"oauth.d.ts","sourceRoot":"","sources":["../oauth.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,qBAAqB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAClD,QAAQ,CAAC,wBAAwB,EAAE,SAAS,MAAM,EAAE,CAAA;IACpD,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAA;IACvC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAA;CAC7C;AAED,gFAAgF;AAChF,eAAO,MAAM,uBAAuB,0CAA0C,CAAA;AAE9E,wBAAgB,yBAAyB,CAAC,KAAK,EAAE;IAC/C,+EAA+E;IAC/E,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,qEAAqE;IACrE,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAA;CACtC,GAAG,yBAAyB,CAoB5B"}
+{"version":3,"file":"oauth.d.ts","sourceRoot":"","sources":["../oauth.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,qBAAqB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAClD,QAAQ,CAAC,wBAAwB,EAAE,SAAS,MAAM,EAAE,CAAA;IACpD,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAA;IACvC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAA;CAC7C;AAED,gFAAgF;AAChF,eAAO,MAAM,uBAAuB,0CAA0C,CAAA;AAE9E;;;;;;;;GAQG;AACH,eAAO,MAAM,SAAS,2BAA2B,CAAA;AAEjD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE;IAC/C,+EAA+E;IAC/E,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,qEAAqE;IACrE,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAA;CACtC,GAAG,yBAAyB,CAoB5B"}

package/dist/oauth.js

@@ -29,6 +29,16 @@
  */
 /** The path RFC 9728 fixes, and the one the `WWW-Authenticate` header names. */
 export const PROTECTED_RESOURCE_PATH = '/.well-known/oauth-protected-resource';
+/**
+ * Where the public signing key is published — RFC 7517, and the conventional
+ * path every JWT library looks at first.
+ *
+ * Served only by a deployment that signs asymmetrically. With
+ * `NACRE_JWT_SECRET` there is nothing to publish and this answers `404`: a
+ * shared secret has no public half, and an endpoint that produced one anyway
+ * would be handing out the key that mints tokens.
+ */
+export const JWKS_PATH = '/.well-known/jwks.json';
 export function protectedResourceMetadata(input) {
     return {
         // Without a trailing slash, because this is the audience value a token is

package/dist/oauth.js.map

@@ -1 +1 @@
-{"version":3,"file":"oauth.js","sourceRoot":"","sources":["../oauth.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAUH,gFAAgF;AAChF,MAAM,CAAC,MAAM,uBAAuB,GAAG,uCAAuC,CAAA;AAE9E,MAAM,UAAU,yBAAyB,CAAC,KAKzC;IACC,OAAO;QACL,0EAA0E;QAC1E,4EAA4E;QAC5E,0DAA0D;QAC1D,QAAQ,EAAE,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAChD,GAAG,CAAC,KAAK,CAAC,mBAAmB,KAAK,SAAS;YACzC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,qBAAqB,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;QAC/E,wEAAwE;QACxE,4EAA4E;QAC5E,sEAAsE;QACtE,wBAAwB,EAAE,CAAC,QAAQ,CAAC;QACpC,sBAAsB,EAAE,2DAA2D;QACnF,2EAA2E;QAC3E,yEAAyE;QACzE,qEAAqE;QACrE,oDAAoD;QACpD,gBAAgB,EAAE,EAAE;KACrB,CAAA;AACH,CAAC"}
+{"version":3,"file":"oauth.js","sourceRoot":"","sources":["../oauth.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAUH,gFAAgF;AAChF,MAAM,CAAC,MAAM,uBAAuB,GAAG,uCAAuC,CAAA;AAE9E;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,wBAAwB,CAAA;AAEjD,MAAM,UAAU,yBAAyB,CAAC,KAKzC;IACC,OAAO;QACL,0EAA0E;QAC1E,4EAA4E;QAC5E,0DAA0D;QAC1D,QAAQ,EAAE,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAChD,GAAG,CAAC,KAAK,CAAC,mBAAmB,KAAK,SAAS;YACzC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,qBAAqB,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;QAC/E,wEAAwE;QACxE,4EAA4E;QAC5E,sEAAsE;QACtE,wBAAwB,EAAE,CAAC,QAAQ,CAAC;QACpC,sBAAsB,EAAE,2DAA2D;QACnF,2EAA2E;QAC3E,yEAAyE;QACzE,qEAAqE;QACrE,oDAAoD;QACpD,gBAAgB,EAAE,EAAE;KACrB,CAAA;AACH,CAAC"}

package/dist/observability.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"observability.d.ts","sourceRoot":"","sources":["../observability.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,IAAI,CAAA;AAI9B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAE3C;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,CA4ItG"}
+{"version":3,"file":"observability.d.ts","sourceRoot":"","sources":["../observability.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,IAAI,CAAA;AAI9B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAE3C;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,CAyItG"}