@toa.io/extensions.exposition 1.0.0-alpha.34 → 1.0.0-alpha.340

package/transpiled/Query.js

@@ -1,57 +1,142 @@
-"use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || function (mod) {
-    if (mod && mod.__esModule) return mod;
-    var result = {};
-    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
-    __setModuleDefault(result, mod);
-    return result;
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Query = void 0;
-const http = __importStar(require("./HTTP"));
-const schemas = __importStar(require("./schemas"));
-class Query {
+import { quote } from '@toa.io/generic';
+import * as http from './HTTP/index.js';
+import { schemas } from '@toa.io/definitions/extensions.exposition';
+import { queryable } from './Mapping.js';
+import { take } from './Introspection.js';
+export class Query {
+    parameterized;
     query;
     closed = false;
     prepend = ';';
-    constructor(query) {
-        if (query.criteria !== undefined) {
-            if (query.criteria.endsWith(';'))
-                query.criteria = query.criteria.slice(0, -1);
-            else
-                this.closed = true;
-            if (query.criteria.startsWith(',') || query.criteria.startsWith(';')) {
-                this.prepend = query.criteria[0];
-                query.criteria = query.criteria.slice(1);
+    queryable;
+    searchable;
+    /** whether a page is taken of what this answers, and so whether `omit` and `limit` apply */
+    paged;
+    /** whether this answers a stream of a collection, read in windows of `limit` and continued by `token` */
+    streamed;
+    constructor(query, paged = true, streamed = false) {
+        this.parameterized = query?.parameters !== undefined;
+        this.queryable = queryable(query);
+        this.searchable = query?.search === true;
+        this.streamed = streamed;
+        this.paged = paged && !streamed;
+        if (this.queryable) {
+            if (this.paged) {
+                query.omit ??= { value: 0, range: [0, 1000] };
+                query.limit ??= { value: 10, range: [1, 100] };
+            }
+            if (query.criteria !== undefined) {
+                // eslint-disable-next-line max-depth
+                if (query.criteria.endsWith(';'))
+                    query.criteria = query.criteria.slice(0, -1);
+                else
+                    this.closed = true;
+                // eslint-disable-next-line max-depth
+                if (query.criteria.startsWith(',') || query.criteria.startsWith(';')) {
+                    this.prepend = query.criteria[0];
+                    query.criteria = query.criteria.slice(1);
+                }
             }
         }
         this.query = query;
     }
     fit(query, parameters) {
-        const error = schemas.querystring.fit(query);
-        if (error !== null)
-            throw new http.BadRequest('Query ' + error.message);
-        this.fitCriteria(query, parameters);
-        this.fitRanges(query);
-        this.fitSort(query);
+        const qs = this.split(query);
+        if (qs.query !== null) {
+            const error = schemas.querystring.fit(qs.query);
+            if (error !== null)
+                throw new http.BadRequest('Query ' + error.message);
+            this.fitCriteria(qs.query, parameters);
+            if (this.paged)
+                this.fitRanges(qs.query);
+            else if (this.streamed)
+                this.fitWindow(qs.query);
+            else
+                this.refuseRanges(qs.query);
+            for (const name of STREAMED)
+                if (qs.query[name] !== undefined && !this.streamed)
+                    throw new http.BadRequest(`Query ${name} is not allowed`);
+            // present, the window is the last one read: `?stop`
+            if (qs.query.stop !== undefined)
+                qs.query.stop = qs.query.stop !== 'false';
+            this.fitSort(qs.query);
+            if (this.query.deleted !== undefined)
+                qs.query.deleted = this.query.deleted;
+            if (this.query.projection !== undefined)
+                qs.query.projection = this.query
+                    .projection;
+        }
+        return {
+            query: qs.query,
+            parameters: qs.parameters
+        };
+    }
+    /**
+     * The querystring parameters this resource declares, which are properties of its own
+     * taken out of the input. What selects records is not among them: that is `selection`.
+     */
+    explain(introspection) {
+        let query = null;
+        if (this.query?.parameters !== undefined)
+            for (const parameter of this.query.parameters) {
+                const schema = take(introspection, parameter);
+                // eslint-disable-next-line max-depth
+                if (schema === undefined)
+                    continue;
+                query ??= {};
+                query[parameter] = schema;
+            }
+        return query;
+    }
+    /**
+     * What picks the records a call is about, which is the querystring the gateway reads
+     * rather than anything the resource declares.
+     */
+    selection() {
+        if (!this.queryable)
+            return null;
+        const query = {};
+        if (!this.closed)
+            query.criteria = keyword('string', 'What to match, in RSQL: `state==hot`, `rank=gt=5;name==*tea*`.');
+        query.sort = keyword('string', 'What to order by: `rank:desc`, or `rank` for ascending.');
+        if (this.paged) {
+            query.limit = bounded('How many at once.', this.query.limit);
+            query.omit = bounded('How many to skip.', this.query.omit);
+        }
+        if (this.streamed) {
+            if (this.query.limit !== undefined)
+                query.limit = bounded('How many in a window.', this.query.limit);
+            query.token = keyword('string', 'Where the stream continues from: the token it ended with.');
+            if (this.query.limit !== undefined)
+                query.stop = keyword('boolean', 'The window is the last one read: its token continues with changes.');
+        }
+        if (this.searchable)
+            query.search = keyword('string', 'What to search the text index for.');
         return query;
     }
+    split(query) {
+        let parameters = null;
+        if (this.query?.parameters !== undefined)
+            for (const key in query)
+                // eslint-disable-next-line max-depth
+                if (this.query.parameters.includes(key)) {
+                    parameters ??= {};
+                    parameters[key] = query[key];
+                    delete query[key];
+                }
+        if (!this.queryable) {
+            const keys = Object.keys(query);
+            if (keys.length > 0)
+                throw new http.BadRequest(`Query parameter '${keys[0]}' is not allowed`);
+            query = null;
+        }
+        if (query?.search !== undefined && !this.searchable)
+            throw new http.BadRequest('Query search is not allowed');
+        return {
+            query,
+            parameters
+        };
+    }
     fitCriteria(query, parameters) {
         const groups = [];
         const idx = parameters.findIndex((parameter) => parameter.name === 'id');
@@ -60,8 +145,9 @@ class Query {
             parameters.splice(idx, 1);
         }
         if (parameters.length > 0) {
+            // a segment may carry `,` `;` `(` `)` `=`, which is criteria grammar when unquoted
             const criteria = parameters
-                .map(({ name, value }) => `${name}==${value}`)
+                .map(({ name, value }) => `${name}==${quote(value)}`)
                 .join(';');
             groups.push({ criteria, operator: this.prepend });
         }
@@ -79,8 +165,37 @@ class Query {
                     : `${acc}(${criteria})${operator}`;
             }, '');
     }
+    /** A route that answers one object is not paged, so a request that pages it is a mistake. */
+    refuseRanges(qs) {
+        for (const name of ['omit', 'limit'])
+            if (qs[name] !== undefined)
+                throw new http.BadRequest(`Query ${name} is not allowed`);
+    }
+    /**
+     * A stream of a collection is read a window after the one before it, which the token says, so
+     * it takes a `limit` where the route declares one and never an `omit`. One that declares no
+     * `limit` answers the whole collection at once.
+     */
+    fitWindow(qs) {
+        const query = qs;
+        if (qs.omit !== undefined)
+            throw new http.BadRequest('Query omit is not allowed');
+        if (this.query.limit === undefined) {
+            if (qs.limit !== undefined)
+                throw new http.BadRequest('Query limit is not allowed');
+            return;
+        }
+        if (qs.limit !== undefined)
+            query.limit = fit(qs.limit, this.query.limit.range, 'limit');
+        else
+            query.limit = this.query.limit.value ?? this.query.limit.range[0];
+    }
     fitRanges(qs) {
         const query = qs;
+        if (this.query.limit === undefined)
+            throw new Error('Query limit must be defined');
+        if (this.query.omit === undefined)
+            throw new Error('Query limit range must be defined');
         if (qs.limit !== undefined)
             query.limit = fit(qs.limit, this.query.limit.range, 'limit');
         else
@@ -96,13 +211,27 @@ class Query {
         query.sort = sort.split(';');
     }
 }
-exports.Query = Query;
 function fit(string, range, name) {
     const number = parseInt(string);
     if (number < range[0] || number > range[1])
-        throw new http.BadRequest(`Query ${name} must be between ` +
-            `${range[0]} and ${range[1]} inclusive`);
+        throw new http.BadRequest(`Query ${name} must be between ${range[0]} and ${range[1]} inclusive`);
     return number;
 }
 const WHATEVER = ';';
+/** what only a stream takes */
+const STREAMED = ['token', 'stop'];
+function keyword(type, description) {
+    return { type, description };
+}
+function bounded(description, bounds) {
+    const schema = {
+        type: 'integer',
+        description,
+        minimum: bounds.range[0],
+        maximum: bounds.range[1]
+    };
+    if (bounds.value !== undefined)
+        schema.default = bounds.value;
+    return schema;
+}
 //# sourceMappingURL=Query.js.map

package/transpiled/Query.js.map

@@ -1 +1 @@
-{"version":3,"file":"Query.js","sourceRoot":"","sources":["../source/Query.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,6CAA8B;AAE9B,mDAAoC;AAIpC,MAAa,KAAK;IACC,KAAK,CAAc;IACnB,MAAM,GAAY,KAAK,CAAA;IACvB,OAAO,GAAc,GAAG,CAAA;IAEzC,YAAoB,KAAmB;QACrC,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAC9B,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;;gBAE5C,IAAI,CAAC,MAAM,GAAG,IAAI,CAAA;YAEpB,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrE,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAc,CAAA;gBAE7C,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;YAC1C,CAAC;QACH,CAAC;QAED,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;IACpB,CAAC;IAEM,GAAG,CAAE,KAAiB,EAAE,UAAuB;QACpD,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAE5C,IAAI,KAAK,KAAK,IAAI;YAChB,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAA;QAErD,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;QACnC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QACrB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAEnB,OAAO,KAAmB,CAAA;IAC5B,CAAC;IAEO,WAAW,CAAE,KAAiB,EAAE,UAAuB;QAC7D,MAAM,MAAM,GAAoB,EAAE,CAAA;QAClC,MAAM,GAAG,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;QAExE,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;YACf,KAAK,CAAC,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,CAAA;YAEhC,UAAU,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;QAC3B,CAAC;QAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,UAAU;iBACxB,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,KAAK,EAAE,CAAC;iBAC7C,IAAI,CAAC,GAAG,CAAC,CAAA;YAEZ,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAA;QACnD,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS;YACnC,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAA;QAE/D,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;YAC9B,IAAI,IAAI,CAAC,MAAM;gBACb,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,0BAA0B,CAAC,CAAA;;gBAErD,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAA;QAEjE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YACnB,KAAK,CAAC,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,CAAC,EAAE,EAAE;gBAChE,OAAO,CAAC,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC;oBAC5B,CAAC,CAAC,GAAG,GAAG,IAAI,QAAQ,GAAG;oBACvB,CAAC,CAAC,GAAG,GAAG,IAAI,QAAQ,IAAI,QAAQ,EAAE,CAAA;YACtC,CAAC,EAAE,EAAE,CAAC,CAAA;IACV,CAAC;IAEO,SAAS,CAAE,EAAc;QAC/B,MAAM,KAAK,GAAG,EAAgB,CAAA;QAE9B,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS;YACxB,KAAK,CAAC,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;;YAE5D,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAA;QAEtC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;YACvB,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC5D,CAAC;IAEO,OAAO,CAAE,EAAc;QAC7B,MAAM,KAAK,GAAG,EAAgB,CAAA;QAE9B,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YACxD,OAAM;QAER,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,CAAA;QAEtD,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC9B,CAAC;CACF;AA5FD,sBA4FC;AAED,SAAS,GAAG,CAAE,MAAc,EAAE,KAAuB,EAAE,IAAY;IACjE,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IAE/B,IAAI,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC;QACxC,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,IAAI,mBAAmB;YACxD,GAAG,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAA;IAE5C,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,QAAQ,GAAG,GAAG,CAAA"}
+{"version":3,"file":"Query.js","sourceRoot":"","sources":["../source/Query.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AAEvC,OAAO,EAAE,OAAO,EAAE,MAAM,2CAA2C,CAAA;AACnE,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAA;AAKzC,MAAM,OAAO,KAAK;IACA,aAAa,CAAS;IAErB,KAAK,CAAc;IACnB,MAAM,GAAY,KAAK,CAAA;IACvB,OAAO,GAAc,GAAG,CAAA;IACxB,SAAS,CAAS;IAClB,UAAU,CAAS;IAEpC,4FAA4F;IAC3E,KAAK,CAAS;IAE/B,yGAAyG;IACxF,QAAQ,CAAS;IAElC,YAAmB,KAAmB,EAAE,KAAK,GAAG,IAAI,EAAE,QAAQ,GAAG,KAAK;QACpE,IAAI,CAAC,aAAa,GAAG,KAAK,EAAE,UAAU,KAAK,SAAS,CAAA;QACpD,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;QACjC,IAAI,CAAC,UAAU,GAAG,KAAK,EAAE,MAAM,KAAK,IAAI,CAAA;QACxC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;QACxB,IAAI,CAAC,KAAK,GAAG,KAAK,IAAI,CAAC,QAAQ,CAAA;QAE/B,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,KAAK,CAAC,IAAI,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAA;gBAC7C,KAAK,CAAC,KAAK,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAA;YAChD,CAAC;YAED,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBACjC,qCAAqC;gBACrC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;oBAAE,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;;oBACzE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAA;gBAEvB,qCAAqC;gBACrC,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBACrE,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAc,CAAA;oBAE7C,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;gBAC1C,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;IACpB,CAAC;IAEM,GAAG,CAAC,KAAiB,EAAE,UAAuB;QACnD,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAE5B,IAAI,EAAE,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;YAE/C,IAAI,KAAK,KAAK,IAAI;gBAAE,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAA;YAEvE,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;YAEtC,IAAI,IAAI,CAAC,KAAK;gBAAE,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;iBACnC,IAAI,IAAI,CAAC,QAAQ;gBAAE,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;;gBAC3C,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;YAEhC,KAAK,MAAM,IAAI,IAAI,QAAQ;gBACzB,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,QAAQ;oBAChD,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,IAAI,iBAAiB,CAAC,CAAA;YAE7D,oDAAoD;YACpD,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;gBAC5B,EAAE,CAAC,KAAoB,CAAC,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAA;YAE3D,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;YAEtB,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;gBACjC,EAAE,CAAC,KAAoB,CAAC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAA;YAEvD,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS;gBACpC,EAAE,CAAC,KAAoB,CAAC,UAAU,GAAG,IAAI,CAAC,KAAK;qBAC7C,UAAsC,CAAA;QAC7C,CAAC;QAED,OAAO;YACL,KAAK,EAAE,EAAE,CAAC,KAAmB;YAC7B,UAAU,EAAE,EAAE,CAAC,UAAU;SAC1B,CAAA;IACH,CAAC;IAED;;;OAGG;IACI,OAAO,CAAC,aAA4B;QACzC,IAAI,KAAK,GAAkC,IAAI,CAAA;QAE/C,IAAI,IAAI,CAAC,KAAK,EAAE,UAAU,KAAK,SAAS;YACtC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;gBAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,SAAS,CAAC,CAAA;gBAE7C,qCAAqC;gBACrC,IAAI,MAAM,KAAK,SAAS;oBAAE,SAAQ;gBAElC,KAAK,KAAK,EAAE,CAAA;gBACZ,KAAK,CAAC,SAAS,CAAC,GAAG,MAAM,CAAA;YAC3B,CAAC;QAEH,OAAO,KAAK,CAAA;IACd,CAAC;IAED;;;OAGG;IACI,SAAS;QACd,IAAI,CAAC,IAAI,CAAC,SAAS;YAAE,OAAO,IAAI,CAAA;QAEhC,MAAM,KAAK,GAA2B,EAAE,CAAA;QAExC,IAAI,CAAC,IAAI,CAAC,MAAM;YACd,KAAK,CAAC,QAAQ,GAAG,OAAO,CACtB,QAAQ,EACR,gEAAgE,CACjE,CAAA;QAEH,KAAK,CAAC,IAAI,GAAG,OAAO,CAClB,QAAQ,EACR,yDAAyD,CAC1D,CAAA;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,KAAK,CAAC,KAAK,GAAG,OAAO,CAAC,mBAAmB,EAAE,IAAI,CAAC,KAAK,CAAC,KAAM,CAAC,CAAA;YAC7D,KAAK,CAAC,IAAI,GAAG,OAAO,CAAC,mBAAmB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAK,CAAC,CAAA;QAC7D,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS;gBAChC,KAAK,CAAC,KAAK,GAAG,OAAO,CAAC,uBAAuB,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;YAElE,KAAK,CAAC,KAAK,GAAG,OAAO,CACnB,QAAQ,EACR,2DAA2D,CAC5D,CAAA;YAED,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS;gBAChC,KAAK,CAAC,IAAI,GAAG,OAAO,CAClB,SAAS,EACT,oEAAoE,CACrE,CAAA;QACL,CAAC;QAED,IAAI,IAAI,CAAC,UAAU;YACjB,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,QAAQ,EAAE,oCAAoC,CAAC,CAAA;QAExE,OAAO,KAAK,CAAA;IACd,CAAC;IAEO,KAAK,CAAC,KAAiB;QAI7B,IAAI,UAAU,GAAkC,IAAI,CAAA;QAEpD,IAAI,IAAI,CAAC,KAAK,EAAE,UAAU,KAAK,SAAS;YACtC,KAAK,MAAM,GAAG,IAAI,KAAK;gBACrB,qCAAqC;gBACrC,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBACxC,UAAU,KAAK,EAAE,CAAA;oBACjB,UAAU,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAW,CAAA;oBAEtC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAA;gBACnB,CAAC;QAEL,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAE/B,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBACjB,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,oBAAoB,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAA;YAE1E,KAAK,GAAG,IAAK,CAAA;QACf,CAAC;QAED,IAAI,KAAK,EAAE,MAAM,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,UAAU;YACjD,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,6BAA6B,CAAC,CAAA;QAE1D,OAAO;YACL,KAAK;YACL,UAAU;SACX,CAAA;IACH,CAAC;IAEO,WAAW,CAAC,KAAiB,EAAE,UAAuB;QAC5D,MAAM,MAAM,GAAoB,EAAE,CAAA;QAClC,MAAM,GAAG,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;QAExE,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;YACf,KAAK,CAAC,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,CAAA;YAEhC,UAAU,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;QAC3B,CAAC;QAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,mFAAmF;YACnF,MAAM,QAAQ,GAAG,UAAU;iBACxB,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;iBACpD,IAAI,CAAC,GAAG,CAAC,CAAA;YAEZ,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAA;QACnD,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS;YACnC,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAA;QAE/D,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;YAC9B,IAAI,IAAI,CAAC,MAAM;gBAAE,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,0BAA0B,CAAC,CAAA;;gBACjE,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAA;QAEpE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YACnB,KAAK,CAAC,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,CAAC,EAAE,EAAE;gBAChE,OAAO,CAAC,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC;oBAC5B,CAAC,CAAC,GAAG,GAAG,IAAI,QAAQ,GAAG;oBACvB,CAAC,CAAC,GAAG,GAAG,IAAI,QAAQ,IAAI,QAAQ,EAAE,CAAA;YACtC,CAAC,EAAE,EAAE,CAAC,CAAA;IACV,CAAC;IAED,6FAA6F;IACrF,YAAY,CAAC,EAAc;QACjC,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO,CAAU;YAC3C,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,SAAS;gBACxB,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,IAAI,iBAAiB,CAAC,CAAA;IAC/D,CAAC;IAED;;;;OAIG;IACK,SAAS,CAAC,EAAc;QAC9B,MAAM,KAAK,GAAG,EAAgB,CAAA;QAE9B,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,2BAA2B,CAAC,CAAA;QAEjF,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACnC,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS;gBAAE,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,4BAA4B,CAAC,CAAA;YAEnF,OAAM;QACR,CAAC;QAED,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS;YACxB,KAAK,CAAC,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;;YACzD,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IACxE,CAAC;IAEO,SAAS,CAAC,EAAc;QAC9B,MAAM,KAAK,GAAG,EAAgB,CAAA;QAE9B,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAA;QAClF,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAC/B,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAA;QAEtD,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS;YACxB,KAAK,CAAC,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;;YACzD,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAA;QAEzC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACrF,CAAC;IAEO,OAAO,CAAC,EAAc;QAC5B,MAAM,KAAK,GAAG,EAAgB,CAAA;QAE9B,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAM;QAElE,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,CAAA;QAEtD,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC9B,CAAC;CACF;AAED,SAAS,GAAG,CAAC,MAAc,EAAE,KAAuB,EAAE,IAAY;IAChE,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IAE/B,IAAI,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC;QACxC,MAAM,IAAI,IAAI,CAAC,UAAU,CACvB,SAAS,IAAI,oBAAoB,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,YAAY,CACtE,CAAA;IAEH,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,QAAQ,GAAG,GAAG,CAAA;AAEpB,+BAA+B;AAC/B,MAAM,QAAQ,GAAG,CAAC,OAAO,EAAE,MAAM,CAAU,CAAA;AAO3C,SAAS,OAAO,CAAC,IAAY,EAAE,WAAmB;IAChD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAuB,CAAA;AACnD,CAAC;AAED,SAAS,OAAO,CAAC,WAAmB,EAAE,MAAoB;IACxD,MAAM,MAAM,GAA4B;QACtC,IAAI,EAAE,SAAS;QACf,WAAW;QACX,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACxB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;KACzB,CAAA;IAED,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;QAAE,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,KAAK,CAAA;IAE7D,OAAO,MAA2B,CAAA;AACpC,CAAC"}

package/transpiled/RPC/Context.d.ts

@@ -0,0 +1,11 @@
+import * as http from '../HTTP/index.ts';
+import type { Params } from './types.ts';
+/**
+ * One call, as a request the rest of the gateway can serve.
+ *
+ * The clone is the transport context except for what the call decides, so nothing
+ * downstream — the router, the directives, the endpoint, the mapping — knows it is one.
+ * It is derived from the context rather than built beside it, so everything not named
+ * here, `identity` included, is read through.
+ */
+export declare function fork(context: http.Context, path: string, verb: string, query: Params | undefined, input: unknown): http.Context;

package/transpiled/RPC/Context.js

@@ -0,0 +1,56 @@
+import * as http from '../HTTP/index.js';
+/**
+ * One call, as a request the rest of the gateway can serve.
+ *
+ * The clone is the transport context except for what the call decides, so nothing
+ * downstream — the router, the directives, the endpoint, the mapping — knows it is one.
+ * It is derived from the context rather than built beside it, so everything not named
+ * here, `identity` included, is read through.
+ */
+// eslint-disable-next-line max-params
+export function fork(context, path, verb, query, input) {
+    const url = new URL(path, context.url);
+    if (query !== undefined)
+        for (const [name, value] of Object.entries(query))
+            url.searchParams.set(name, String(value));
+    const headers = { ...context.request.headers };
+    // a conditional is the envelope's, and a call would answer 304 to a question nobody asked
+    delete headers['if-match'];
+    delete headers['if-none-match'];
+    const request = Object.create(context.request, {
+        method: { value: verb, enumerable: true },
+        headers: { value: headers, enumerable: true }
+    });
+    // its own, so an `io:output` restriction shapes this call's reply and no other
+    const pipelines = { body: [], response: [] };
+    return Object.create(context, {
+        /*
+         * A credential refuses an `anonymous` route because it would make the reply
+         * uncacheable. What a procedure answers is not a reply: it is a value in an envelope
+         * this gateway answers `no-store`, and the procedure's own headers are discarded.
+         */
+        procedural: { value: true, enumerable: true },
+        url: { value: url, enumerable: true },
+        request: { value: request, enumerable: true },
+        pipelines: { value: pipelines, enumerable: true },
+        body: {
+            value: async () => {
+                let value = input;
+                for (const transform of pipelines.body)
+                    value = await transform(value);
+                return value;
+            }
+        },
+        /*
+         * The raw request is the envelope, and it has been read. `map:buffer` is the one
+         * directive that asks for it, and answering with a spent stream would hand the
+         * operation an empty string; refusing says what is actually the matter.
+         */
+        buffer: {
+            value: () => {
+                throw new http.BadRequest('`map:buffer` reads the request, which a call is not');
+            }
+        }
+    });
+}
+//# sourceMappingURL=Context.js.map

package/transpiled/RPC/Context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Context.js","sourceRoot":"","sources":["../../source/RPC/Context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,kBAAkB,CAAA;AAGxC;;;;;;;GAOG;AACH,sCAAsC;AACtC,MAAM,UAAU,IAAI,CAClB,OAAqB,EACrB,IAAY,EACZ,IAAY,EACZ,KAAyB,EACzB,KAAc;IAEd,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAA;IAEtC,IAAI,KAAK,KAAK,SAAS;QACrB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;YAC/C,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;IAE7C,MAAM,OAAO,GAAG,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,CAAA;IAE9C,0FAA0F;IAC1F,OAAO,OAAO,CAAC,UAAU,CAAC,CAAA;IAC1B,OAAO,OAAO,CAAC,eAAe,CAAC,CAAA;IAE/B,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE;QAC7C,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE;QACzC,OAAO,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE;KAC9C,CAAC,CAAA;IAEF,+EAA+E;IAC/E,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;IAEvD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE;QAC5B;;;;WAIG;QACH,UAAU,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE;QAC7C,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE;QACrC,OAAO,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE;QAC7C,SAAS,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE;QACjD,IAAI,EAAE;YACJ,KAAK,EAAE,KAAK,IAAI,EAAE;gBAChB,IAAI,KAAK,GAAG,KAAK,CAAA;gBAEjB,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,IAAI;oBAAE,KAAK,GAAG,MAAM,SAAS,CAAC,KAAK,CAAC,CAAA;gBAEtE,OAAO,KAAK,CAAA;YACd,CAAC;SACF;QACD;;;;WAIG;QACH,MAAM,EAAE;YACN,KAAK,EAAE,GAAG,EAAE;gBACV,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,qDAAqD,CAAC,CAAA;YAClF,CAAC;SACF;KACF,CAAiB,CAAA;AACpB,CAAC"}

package/transpiled/RPC/Dispatcher.d.ts

@@ -0,0 +1,19 @@
+import * as http from '../HTTP/index.ts';
+import type { RPCAnnotation as RPC } from '@toa.io/definitions/extensions.exposition';
+/**
+ * JSON-RPC, as the calls a request carries.
+ *
+ * It clones the context per call and hands each clone back to the gateway: it holds no
+ * tree, no index and no knowledge of routing. Whether a name resolves, what it resolves
+ * to, and what the directives of that route do are answered by the same `route` an
+ * ordinary request goes through.
+ */
+export declare class Dispatcher {
+    private readonly batch;
+    constructor(options: RPC);
+    dispatch(context: http.Context, route: http.Processor): Promise<http.OutgoingMessage>;
+    private answer;
+    private call;
+    /** A body the decoder refuses is a parse error; a media type it does not know is not. */
+    private read;
+}

package/transpiled/RPC/Dispatcher.js

@@ -0,0 +1,103 @@
+import { console } from 'openspan';
+import * as http from '../HTTP/index.js';
+import { schemas } from '@toa.io/definitions/extensions.exposition';
+import { BATCH } from '@toa.io/definitions/extensions.exposition';
+import { address, split } from './names.js';
+import { fork } from './Context.js';
+import { BATCH_TOO_LARGE, INVALID_REQUEST, PARSE, failure, of, response } from './errors.js';
+import { VERSION } from './types.js';
+/**
+ * JSON-RPC, as the calls a request carries.
+ *
+ * It clones the context per call and hands each clone back to the gateway: it holds no
+ * tree, no index and no knowledge of routing. Whether a name resolves, what it resolves
+ * to, and what the directives of that route do are answered by the same `route` an
+ * ordinary request goes through.
+ */
+export class Dispatcher {
+    batch;
+    constructor(options) {
+        this.batch = options.batch ?? BATCH;
+    }
+    async dispatch(context, route) {
+        if (context.request.method !== 'POST')
+            throw new http.MethodNotAllowed(new Headers({ allow: 'POST' }));
+        const envelope = await this.read(context);
+        const batched = Array.isArray(envelope);
+        const calls = batched ? envelope : [envelope];
+        if (calls.length === 0)
+            throw new http.BadRequest(response(null, failure(INVALID_REQUEST, 'A request carries at least one call')));
+        if (calls.length > this.batch)
+            throw new http.BadRequest(response(null, failure(BATCH_TOO_LARGE, `A request carries at most ${this.batch} calls`)));
+        const answers = [];
+        // one after another: a request the caller writes should not become a fan-out they own
+        for (const call of calls) {
+            const answer = await this.answer(call, context, route);
+            if (answer !== null)
+                answers.push(answer);
+        }
+        // every call was a notification, and a notification is answered by not answering
+        if (answers.length === 0)
+            return { status: NO_CONTENT };
+        // a reply assembled from several is not one of them, and is not stored as if it were
+        return {
+            status: OK,
+            body: batched ? answers : answers[0],
+            headers: new Headers({ 'cache-control': 'no-store' })
+        };
+    }
+    async answer(input, context, route) {
+        const invalid = schemas.call.fit(input);
+        // it may have carried an id, but nothing about it is trustworthy enough to answer to
+        if (invalid !== null)
+            return response(null, failure(INVALID_REQUEST, invalid.message));
+        return await this.call(input, context, route);
+    }
+    async call(call, context, route) {
+        const notification = call.id === undefined;
+        try {
+            const params = call.params ?? {};
+            const { path, verb, variables } = address(call.method, params);
+            const { query, input } = split(params, variables);
+            const clone = fork(context, path, verb, query, input);
+            // one span per call, so what the directives of that call open has somewhere to hang
+            const message = await console.span({ name: call.method, attributes: { id: call.id } }, async () => await route(clone));
+            // what `io:output` restricts, over this call's reply rather than the envelope
+            await http.shape(clone, message);
+            if (notification)
+                return null;
+            return { jsonrpc: VERSION, id: call.id, result: message.body ?? null };
+        }
+        catch (exception) {
+            /*
+             * A credential belongs to the request. Refusing one call for it would leave the
+             * reply a 200, and the challenge that tells a client where to authenticate is
+             * attached to a 401 — so the whole envelope is refused instead.
+             */
+            if (exception instanceof http.Unauthorized)
+                throw exception;
+            if (notification) {
+                console.debug('Notification failed', {
+                    method: call.method,
+                    error: of(exception)
+                });
+                return null;
+            }
+            return { jsonrpc: VERSION, id: call.id, error: of(exception) };
+        }
+    }
+    /** A body the decoder refuses is a parse error; a media type it does not know is not. */
+    async read(context) {
+        try {
+            return await context.body();
+        }
+        catch (exception) {
+            if (exception instanceof http.BadRequest)
+                throw new http.BadRequest(response(null, failure(PARSE, 'Parse error')));
+            throw exception;
+        }
+    }
+}
+const OK = 200;
+const NO_CONTENT = 204;
+//# sourceMappingURL=Dispatcher.js.map

package/transpiled/RPC/Dispatcher.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Dispatcher.js","sourceRoot":"","sources":["../../source/RPC/Dispatcher.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAClC,OAAO,KAAK,IAAI,MAAM,kBAAkB,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,2CAA2C,CAAA;AACnE,OAAO,EAAE,KAAK,EAAE,MAAM,2CAA2C,CAAA;AACjE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AACnC,OAAO,EACL,eAAe,EACf,eAAe,EACf,KAAK,EACL,OAAO,EACP,EAAE,EACF,QAAQ,EACT,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,OAAO,EAA4B,MAAM,YAAY,CAAA;AAG9D;;;;;;;GAOG;AACH,MAAM,OAAO,UAAU;IACJ,KAAK,CAAQ;IAE9B,YAAmB,OAAY;QAC7B,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,KAAK,CAAA;IACrC,CAAC;IAEM,KAAK,CAAC,QAAQ,CACnB,OAAqB,EACrB,KAAqB;QAErB,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,MAAM;YACnC,MAAM,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;QAEjE,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACzC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;QACvC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;QAE7C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YACpB,MAAM,IAAI,IAAI,CAAC,UAAU,CACvB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,eAAe,EAAE,qCAAqC,CAAC,CAAC,CAChF,CAAA;QAEH,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK;YAC3B,MAAM,IAAI,IAAI,CAAC,UAAU,CACvB,QAAQ,CACN,IAAI,EACJ,OAAO,CAAC,eAAe,EAAE,6BAA6B,IAAI,CAAC,KAAK,QAAQ,CAAC,CAC1E,CACF,CAAA;QAEH,MAAM,OAAO,GAAe,EAAE,CAAA;QAE9B,sFAAsF;QACtF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;YAEtD,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC3C,CAAC;QAED,iFAAiF;QACjF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAA;QAEvD,qFAAqF;QACrF,OAAO;YACL,MAAM,EAAE,EAAE;YACV,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACpC,OAAO,EAAE,IAAI,OAAO,CAAC,EAAE,eAAe,EAAE,UAAU,EAAE,CAAC;SACtD,CAAA;IACH,CAAC;IAEO,KAAK,CAAC,MAAM,CAClB,KAAc,EACd,OAAqB,EACrB,KAAqB;QAErB,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAEvC,qFAAqF;QACrF,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,eAAe,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;QAEtF,OAAO,MAAM,IAAI,CAAC,IAAI,CAAC,KAAa,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;IACvD,CAAC;IAEO,KAAK,CAAC,IAAI,CAChB,IAAU,EACV,OAAqB,EACrB,KAAqB;QAErB,MAAM,YAAY,GAAG,IAAI,CAAC,EAAE,KAAK,SAAS,CAAA;QAE1C,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,EAAE,CAAA;YAChC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;YAC9D,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;YACjD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;YAErD,oFAAoF;YACpF,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,IAAI,CAChC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAClD,KAAK,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,CAC/B,CAAA;YAED,8EAA8E;YAC9E,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;YAEhC,IAAI,YAAY;gBAAE,OAAO,IAAI,CAAA;YAE7B,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAG,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,IAAI,IAAI,EAAE,CAAA;QACzE,CAAC;QAAC,OAAO,SAAS,EAAE,CAAC;YACnB;;;;eAIG;YACH,IAAI,SAAS,YAAY,IAAI,CAAC,YAAY;gBAAE,MAAM,SAAS,CAAA;YAE3D,IAAI,YAAY,EAAE,CAAC;gBACjB,OAAO,CAAC,KAAK,CAAC,qBAAqB,EAAE;oBACnC,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC;iBACrB,CAAC,CAAA;gBAEF,OAAO,IAAI,CAAA;YACb,CAAC;YAED,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAG,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAA;QACjE,CAAC;IACH,CAAC;IAED,yFAAyF;IACjF,KAAK,CAAC,IAAI,CAAC,OAAqB;QACtC,IAAI,CAAC;YACH,OAAO,MAAM,OAAO,CAAC,IAAI,EAAE,CAAA;QAC7B,CAAC;QAAC,OAAO,SAAS,EAAE,CAAC;YACnB,IAAI,SAAS,YAAY,IAAI,CAAC,UAAU;gBACtC,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;YAE1E,MAAM,SAAS,CAAA;QACjB,CAAC;IACH,CAAC;CACF;AAED,MAAM,EAAE,GAAG,GAAG,CAAA;AACd,MAAM,UAAU,GAAG,GAAG,CAAA"}

package/transpiled/RPC/errors.d.ts

@@ -0,0 +1,18 @@
+import { type Failure, type Response } from './types.ts';
+export declare const PARSE = -32700;
+export declare const INVALID_REQUEST = -32600;
+export declare const METHOD_NOT_FOUND = -32601;
+export declare const INVALID_PARAMS = -32602;
+export declare const INTERNAL = -32603;
+export declare const FORBIDDEN = -32000;
+export declare const REFUSED = -32001;
+export declare const BATCH_TOO_LARGE = -32002;
+export declare function failure(code: number, message: string, data?: unknown): Failure;
+export declare function response(id: string | number | null, error: Failure): Response;
+/**
+ * What an exception says as a JSON-RPC error.
+ *
+ * The readable text is `body`, never `message`: `http.Exception` calls `super()` with no
+ * argument, so every one of them carries an empty `message`.
+ */
+export declare function of(exception: unknown): Failure;

package/transpiled/RPC/errors.js

@@ -0,0 +1,66 @@
+import * as http from '../HTTP/index.js';
+import { VERSION } from './types.js';
+/*
+ * The five the specification fixes (JSON-RPC 2.0 §5.1). A client reads these the same
+ * whoever answers.
+ */
+export const PARSE = -32700;
+export const INVALID_REQUEST = -32600;
+export const METHOD_NOT_FOUND = -32601;
+export const INVALID_PARAMS = -32602;
+export const INTERNAL = -32603;
+/*
+ * Ours. The specification reserves -32000 to -32099 for implementation-defined server
+ * errors and defines nothing in it, so these mean nothing outside Toa — which is why
+ * `REFUSED` carries the operation's own code in `data`.
+ */
+export const FORBIDDEN = -32000;
+export const REFUSED = -32001;
+export const BATCH_TOO_LARGE = -32002;
+export function failure(code, message, data) {
+    const value = { code, message };
+    if (data !== undefined)
+        value.data = data;
+    return value;
+}
+export function response(id, error) {
+    return { jsonrpc: VERSION, id, error };
+}
+/**
+ * What an exception says as a JSON-RPC error.
+ *
+ * The readable text is `body`, never `message`: `http.Exception` calls `super()` with no
+ * argument, so every one of them carries an empty `message`.
+ */
+export function of(exception) {
+    if (exception instanceof http.UnprocessableEntity)
+        return refusal(exception);
+    if (exception instanceof http.NotFound || exception instanceof http.MethodNotAllowed)
+        return failure(METHOD_NOT_FOUND, text(exception, 'Method not found'));
+    if (exception instanceof http.Forbidden)
+        return failure(FORBIDDEN, text(exception, 'Forbidden'));
+    if (exception instanceof http.BadRequest)
+        return failure(INVALID_PARAMS, text(exception, 'Invalid params'));
+    // a conflict, a precondition, a throttle: the call was refused, and by what is worth saying
+    if (exception instanceof http.ClientError)
+        return failure(REFUSED, text(exception, 'Refused'), { status: exception.status });
+    return failure(INTERNAL, 'Internal error');
+}
+/**
+ * An operation that declares its errors answers with one rather than throwing, and what it
+ * answers with is its code. The number says the operation refused; `data.code` says what it
+ * refused with, and is what a caller branches on.
+ */
+function refusal(exception) {
+    const body = exception.body;
+    if (typeof body !== 'object' || body === null || typeof body.code !== 'string')
+        return failure(REFUSED, text(exception, 'Refused'));
+    const code = body.code;
+    return failure(REFUSED, code, { code });
+}
+function text(exception, fallback) {
+    return typeof exception.body === 'string' && exception.body !== ''
+        ? exception.body
+        : fallback;
+}
+//# sourceMappingURL=errors.js.map

package/transpiled/RPC/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../source/RPC/errors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,kBAAkB,CAAA;AACxC,OAAO,EAAE,OAAO,EAA+B,MAAM,YAAY,CAAA;AAEjE;;;GAGG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAA;AAC3B,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAK,CAAA;AACrC,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAK,CAAA;AACtC,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAK,CAAA;AACpC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAA;AAE9B;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAK,CAAA;AAC/B,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAK,CAAA;AAC7B,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAK,CAAA;AAErC,MAAM,UAAU,OAAO,CAAC,IAAY,EAAE,OAAe,EAAE,IAAc;IACnE,MAAM,KAAK,GAAY,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;IAExC,IAAI,IAAI,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,GAAG,IAAI,CAAA;IAEzC,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,EAA0B,EAAE,KAAc;IACjE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAA;AACxC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,EAAE,CAAC,SAAkB;IACnC,IAAI,SAAS,YAAY,IAAI,CAAC,mBAAmB;QAAE,OAAO,OAAO,CAAC,SAAS,CAAC,CAAA;IAE5E,IAAI,SAAS,YAAY,IAAI,CAAC,QAAQ,IAAI,SAAS,YAAY,IAAI,CAAC,gBAAgB;QAClF,OAAO,OAAO,CAAC,gBAAgB,EAAE,IAAI,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC,CAAA;IAEvE,IAAI,SAAS,YAAY,IAAI,CAAC,SAAS;QACrC,OAAO,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAA;IAEzD,IAAI,SAAS,YAAY,IAAI,CAAC,UAAU;QACtC,OAAO,OAAO,CAAC,cAAc,EAAE,IAAI,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC,CAAA;IAEnE,4FAA4F;IAC5F,IAAI,SAAS,YAAY,IAAI,CAAC,WAAW;QACvC,OAAO,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;IAEnF,OAAO,OAAO,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAA;AAC5C,CAAC;AAED;;;;GAIG;AACH,SAAS,OAAO,CAAC,SAAmC;IAClD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAA;IAE3B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC5E,OAAO,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAA;IAErD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAc,CAAA;IAEhC,OAAO,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;AACzC,CAAC;AAED,SAAS,IAAI,CAAC,SAAyB,EAAE,QAAgB;IACvD,OAAO,OAAO,SAAS,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,KAAK,EAAE;QAChE,CAAC,CAAC,SAAS,CAAC,IAAI;QAChB,CAAC,CAAC,QAAQ,CAAA;AACd,CAAC"}

package/transpiled/RPC/index.d.ts

@@ -0,0 +1 @@
+export { Dispatcher } from './Dispatcher.ts';

package/transpiled/RPC/index.js

@@ -0,0 +1,2 @@
+export { Dispatcher } from './Dispatcher.js';
+//# sourceMappingURL=index.js.map

package/transpiled/RPC/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../source/RPC/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA"}

package/transpiled/RPC/names.d.ts

@@ -0,0 +1,31 @@
+import type { Segment } from '../RTD/segment.ts';
+import { type Params } from './types.ts';
+/**
+ * What a name resolves to: the path the call is made at, and the verb it is made with.
+ *
+ * A name is the route template with its variables marked and the verb appended as a segment
+ * of its own — `pots._id.GET`. The revision names the characters a tool's name may hold, and
+ * `/` is not among them, so segments are joined by `.` — which a segment cannot hold either,
+ * so nothing in a name can be mistaken for anything else, and the verb is always last.
+ */
+export interface Address {
+    path: string;
+    verb: string;
+    /** the `params` the path took, which are therefore not the operation's input */
+    variables: string[];
+}
+export declare function address(method: string, params: Params): Address;
+/**
+ * What the call carries, as a request carries it: the path took its variables, `query` is
+ * the querystring, and the rest is the body.
+ */
+export declare function split(params: Params, variables: string[]): {
+    query?: Params;
+    input?: Params;
+};
+/** The name of a method on this route, or nothing where the route has none. */
+export declare function name(segments: Segment[], verb: string): string | null;
+/** The segment that leaves a route unnameable, as it was declared, or nothing where none does. */
+export declare function refusal(segments: Segment[]): string | null;
+/** The route as it was declared, which is how a message about it should read. */
+export declare function template(segments: Segment[]): string;