@telorun/cel 0.107.0 → 0.109.0

package/dist/backend-runtime.d.ts

@@ -19,7 +19,7 @@ import type { CelActivation } from "./activation.js";
 import type { CelType } from "./cel-type.js";
 import type { CelError, CelOptional, CelValue } from "./cel-value.js";
 import type { FunctionRegistry } from "./function-registry.js";
-import type { CelImplementation } from "./runtime-library.js";
+import type { CelCallContext } from "./runtime-library.js";
 import type { CallForm } from "./signature.js";
 import type { CelSelectNode, SourceRange } from "./syntax-tree.js";
 /** A compile-time refusal: a tree neither backend can compile at all. */
@@ -29,7 +29,15 @@ export declare class CelCompileError extends Error {
 /** How many distinct argument-type combinations one call site remembers. */
 export declare const CALL_SITE_CACHE_CAPACITY = 16;
 /** What a namespaced call is dispatched through, when something bound it. */
-export type NamespaceDispatch = (namespace: string, name: string) => CelImplementation | undefined;
+/**
+ * A function bound under a namespace. Its arguments arrive as **one array**, where a
+ * registered overload's arrive positionally: a namespace declaration may withhold its
+ * parameter list entirely, so the count is the host's and not the dispatch key's. That is
+ * the whole rule — positional where the key fixes the arity, one array where the author
+ * decides it.
+ */
+export type NamespaceImplementation = (args: readonly CelValue[], ctx: CelCallContext) => CelValue;
+export type NamespaceDispatch = (namespace: string, name: string) => NamespaceImplementation | undefined;
 export interface EvaluationFrame {
     readonly activation: CelActivation;
     readonly slots: CelValue[];
@@ -93,14 +101,19 @@ export declare function plainMemberChain(node: CelSelectNode, bound: (name: stri
 /**
  * A member read in every form. Reading **through an optional** answers an optional
  * whichever form the read is written in, which is what lets a chain over a value that
- * may be absent stay one expression: an absent one propagates as absent, a key the held
- * value does not have is absent too, and a held value that holds no members at all is
- * still the mistake it would be outside an optional.
+ * may be absent stay one expression: an absent one propagates as absent, and a key the
+ * held value does not have is absent too.
+ *
+ * Which refusals are absence and which are a mistake is `lookupAbsence`'s, and it turns
+ * on the FORM the read is written in rather than on what the operand turned out to be: a
+ * presence-shaped read over a value that holds no members is absent, while the ordinary
+ * read of a member of such a value is the mistake it is outside an optional too.
  */
 export declare function readThrough(container: CelValue, key: CelValue, optionalForm: boolean, range: SourceRange): CelValue;
 /**
- * `has(a.b)` — presence, which a missing key answers `false` for rather than erroring.
- * An absent optional has no members, and a present one is asked about what it holds.
+ * `has(a.b)` — presence, which a missing key and a value that holds no members both
+ * answer `false` for rather than erroring. An absent optional has no members, and a
+ * present one is asked about what it holds.
  */
 export declare function hasMember(container: CelValue, field: CelValue, range: SourceRange): CelValue;
 /** A bool operand, or the error it is — a non-bool is a mistake of its own. */
@@ -129,10 +142,35 @@ export declare class CallSite {
     private readonly nominalArity;
     private readonly resolved;
     private readonly context;
-    private lastNames;
+    /** The arity the last resolution was made under; `-1` until there is one. */
+    private count;
+    private t0;
+    private t1;
+    private t2;
+    private t3;
     private lastDispatch;
     constructor(name: string, form: CallForm, range: SourceRange, registry: FunctionRegistry, nominalArity: (name: string) => number | undefined);
+    call0(): CelValue;
+    call1(a: CelValue): CelValue;
+    call2(a: CelValue, b: CelValue): CelValue;
+    call3(a: CelValue, b: CelValue, c: CelValue): CelValue;
+    call4(a: CelValue, b: CelValue, c: CelValue, d: CelValue): CelValue;
+    /**
+     * The array form, for a caller that holds its arguments as one — a call written WIDER than
+     * any overload can be (`'42'.replace('2', '1', 1, false)` is five values, which is a row),
+     * the conformance and identity gates, and a host comparing a site cold against warm. It
+     * routes to the same entry points, so there is one dispatch path and not two.
+     */
     call(values: readonly CelValue[]): CelValue;
+    /**
+     * A call written with more values than the widest signature may declare. **The arity is
+     * the SOURCE's, not the dispatch key's** — anyone may write a call of any width — so this
+     * is reachable and answers the ordinary refusal, naming the types it was handed. Nothing
+     * resolves here, because a signature that wide is refused where it is registered; the
+     * resolution still runs, so one place decides what a call that resolves to nothing says.
+     */
+    private wide;
+    private resolve;
     private answer;
 }
 /** A call site over an environment, which both backends build one of per call. */

package/dist/backend-runtime.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"backend-runtime.d.ts","sourceRoot":"","sources":["../src/backend-runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAGrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAiB7C,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAUtE,OAAO,KAAK,EAAE,gBAAgB,EAAiC,MAAM,wBAAwB,CAAC;AAE9F,OAAO,KAAK,EAAkB,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAW,aAAa,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE5E,yEAAyE;AACzE,qBAAa,eAAgB,SAAQ,KAAK;gBAC5B,OAAO,EAAE,MAAM;CAI5B;AAED,4EAA4E;AAC5E,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C,6EAA6E;AAC7E,MAAM,MAAM,iBAAiB,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,iBAAiB,GAAG,SAAS,CAAC;AAEnG,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC;IAC3B,wFAAwF;IACxF,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,GAAG,SAAS,CAAC;CAC3D;AAED;;;;GAIG;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,eAAe,KAAK,QAAQ,CAAC;AAE3D,mEAAmE;AACnE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,8DAA8D;IAC9D,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAClD,4FAA4F;IAC5F,QAAQ,CAAC,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;IAC5D;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;CAC9C;AAID;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,GAAG,QAAQ,CAE1E;AAID,6EAA6E;AAC7E,wBAAgB,QAAQ,CACtB,UAAU,EAAE,aAAa,EACzB,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,EACxC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,WAAW,GACjB,QAAQ,CAKV;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,UAAU,EAAE,aAAa,EACzB,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,EACxC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,KAAK,EAAE,WAAW,GACjB,QAAQ,CAaV;AAED,iFAAiF;AACjF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC;AAED,qFAAqF;AACrF,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,cAAc,EAAE,CAMvF;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,aAAa,EACzB,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,EACxC,UAAU,EAAE,SAAS,cAAc,EAAE,EACrC,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,WAAW,GACjB,QAAQ,CAOV;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,aAAa,EACnB,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,GAC/B,SAAS,MAAM,EAAE,GAAG,SAAS,CAY/B;AAID;;;;;;GAMG;AACH,wBAAgB,WAAW,CACzB,SAAS,EAAE,QAAQ,EACnB,GAAG,EAAE,QAAQ,EACb,YAAY,EAAE,OAAO,EACrB,KAAK,EAAE,WAAW,GACjB,QAAQ,CAUV;AAaD;;;GAGG;AACH,wBAAgB,SAAS,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,GAAG,QAAQ,CAK5F;AAID,+EAA+E;AAC/E,wBAAgB,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,GAAG,OAAO,GAAG,QAAQ,CAInF;AAED,sFAAsF;AACtF,wBAAgB,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,GAAG,WAAW,GAAG,QAAQ,CAGzF;AAkCD;;;;;;;;;;;;;GAaG;AACH,qBAAa,QAAQ;IAOjB,OAAO,CAAC,QAAQ,CAAC,IAAI;IACrB,OAAO,CAAC,QAAQ,CAAC,IAAI;IACrB,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,YAAY;IAV/B,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAuE;IAChG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAiB;IACzC,OAAO,CAAC,SAAS,CAAgC;IACjD,OAAO,CAAC,YAAY,CAAyB;gBAG1B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,QAAQ,EACd,KAAK,EAAE,WAAW,EAClB,QAAQ,EAAE,gBAAgB,EAC1B,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS;IAKrE,IAAI,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,GAAG,QAAQ;IAmD3C,OAAO,CAAC,MAAM;CAef;AAED,kFAAkF;AAClF,wBAAgB,UAAU,CACxB,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,QAAQ,EACd,KAAK,EAAE,WAAW,GACjB,QAAQ,CAEV;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,QAAQ,EACf,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,GACjD,OAAO,CAkCT"}
+{"version":3,"file":"backend-runtime.d.ts","sourceRoot":"","sources":["../src/backend-runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAGrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAiB7C,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAWtE,OAAO,KAAK,EAAE,gBAAgB,EAAiC,MAAM,wBAAwB,CAAC;AAE9F,OAAO,KAAK,EAAE,cAAc,EAAqB,MAAM,sBAAsB,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAW,aAAa,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE5E,yEAAyE;AACzE,qBAAa,eAAgB,SAAQ,KAAK;gBAC5B,OAAO,EAAE,MAAM;CAI5B;AAED,4EAA4E;AAC5E,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C,6EAA6E;AAC7E;;;;;;GAMG;AACH,MAAM,MAAM,uBAAuB,GAAG,CAAC,IAAI,EAAE,SAAS,QAAQ,EAAE,EAAE,GAAG,EAAE,cAAc,KAAK,QAAQ,CAAC;AAEnG,MAAM,MAAM,iBAAiB,GAAG,CAC9B,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,MAAM,KACT,uBAAuB,GAAG,SAAS,CAAC;AAEzC,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC;IAC3B,wFAAwF;IACxF,QAAQ,CAAC,iBAAiB,EAAE,iBAAiB,GAAG,SAAS,CAAC;CAC3D;AAED;;;;GAIG;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,eAAe,KAAK,QAAQ,CAAC;AAE3D,mEAAmE;AACnE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,8DAA8D;IAC9D,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAClD,4FAA4F;IAC5F,QAAQ,CAAC,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;IAC5D;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;CAC9C;AAID;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,GAAG,QAAQ,CAE1E;AAID,6EAA6E;AAC7E,wBAAgB,QAAQ,CACtB,UAAU,EAAE,aAAa,EACzB,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,EACxC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,WAAW,GACjB,QAAQ,CAKV;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,UAAU,EAAE,aAAa,EACzB,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,EACxC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,KAAK,EAAE,WAAW,GACjB,QAAQ,CAaV;AAED,iFAAiF;AACjF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC;AAED,qFAAqF;AACrF,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,cAAc,EAAE,CAMvF;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,aAAa,EACzB,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,EACxC,UAAU,EAAE,SAAS,cAAc,EAAE,EACrC,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,WAAW,GACjB,QAAQ,CAOV;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,aAAa,EACnB,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,GAC/B,SAAS,MAAM,EAAE,GAAG,SAAS,CAY/B;AAID;;;;;;;;;;GAUG;AACH,wBAAgB,WAAW,CACzB,SAAS,EAAE,QAAQ,EACnB,GAAG,EAAE,QAAQ,EACb,YAAY,EAAE,OAAO,EACrB,KAAK,EAAE,WAAW,GACjB,QAAQ,CA6BV;AAuBD;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,GAAG,QAAQ,CAK5F;AAID,+EAA+E;AAC/E,wBAAgB,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,GAAG,OAAO,GAAG,QAAQ,CAInF;AAED,sFAAsF;AACtF,wBAAgB,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,GAAG,WAAW,GAAG,QAAQ,CAGzF;AAkCD;;;;;;;;;;;;;GAaG;AACH,qBAAa,QAAQ;IAYjB,OAAO,CAAC,QAAQ,CAAC,IAAI;IACrB,OAAO,CAAC,QAAQ,CAAC,IAAI;IACrB,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,YAAY;IAf/B,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAuE;IAChG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAiB;IACzC,6EAA6E;IAC7E,OAAO,CAAC,KAAK,CAAM;IACnB,OAAO,CAAC,EAAE,CAAqB;IAC/B,OAAO,CAAC,EAAE,CAAqB;IAC/B,OAAO,CAAC,EAAE,CAAqB;IAC/B,OAAO,CAAC,EAAE,CAAqB;IAC/B,OAAO,CAAC,YAAY,CAAyB;gBAG1B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,QAAQ,EACd,KAAK,EAAE,WAAW,EAClB,QAAQ,EAAE,gBAAgB,EAC1B,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS;IAKrE,KAAK,IAAI,QAAQ;IAKjB,KAAK,CAAC,CAAC,EAAE,QAAQ,GAAG,QAAQ;IAK5B,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,QAAQ;IAOzC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,QAAQ;IAYtD,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,QAAQ;IAanE;;;;;OAKG;IACH,IAAI,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,GAAG,QAAQ;IAiB3C;;;;;;OAMG;IACH,OAAO,CAAC,IAAI;IAsBZ,OAAO,CAAC,OAAO;IAoDf,OAAO,CAAC,MAAM;CAkBf;AAED,kFAAkF;AAClF,wBAAgB,UAAU,CACxB,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,QAAQ,EACd,KAAK,EAAE,WAAW,GACjB,QAAQ,CAEV;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,QAAQ,EACf,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,GACjD,OAAO,CAkCT"}

package/dist/backend-runtime.js

@@ -18,8 +18,8 @@
 import { activationHolds } from "./activation.js";
 import { BoundedCache } from "./bounded-cache.js";
 import { BOOL, BYTES, DOUBLE, DURATION, DYN, INT, listOf, mapOf, NULL, optionalOf, STRING, TIMESTAMP, TYPE, UINT, } from "./cel-type.js";
-import { asyncValueRefused, celError, celNone, celSome, celTypeNameOf, isCelError, isCelOptional, } from "./cel-value.js";
-import { celHas, celLookup, celRead, lookupError, MISSING, OUT_OF_RANGE } from "./member-read.js";
+import { asyncValueRefused, CEL_VALUE_TYPE, celError, celNone, celSome, celTypeNameOf, isCelError, isCelOptional, } from "./cel-value.js";
+import { celHas, celLookup, celRead, lookupAbsence, lookupError } from "./member-read.js";
 import { implementationOf } from "./runtime-library.js";
 /** A compile-time refusal: a tree neither backend can compile at all. */
 export class CelCompileError extends Error {
@@ -120,37 +120,64 @@ export function plainMemberChain(node, bound) {
 /**
  * A member read in every form. Reading **through an optional** answers an optional
  * whichever form the read is written in, which is what lets a chain over a value that
- * may be absent stay one expression: an absent one propagates as absent, a key the held
- * value does not have is absent too, and a held value that holds no members at all is
- * still the mistake it would be outside an optional.
+ * may be absent stay one expression: an absent one propagates as absent, and a key the
+ * held value does not have is absent too.
+ *
+ * Which refusals are absence and which are a mistake is `lookupAbsence`'s, and it turns
+ * on the FORM the read is written in rather than on what the operand turned out to be: a
+ * presence-shaped read over a value that holds no members is absent, while the ordinary
+ * read of a member of such a value is the mistake it is outside an optional too.
  */
 export function readThrough(container, key, optionalForm, range) {
+    // The shape nearly every read has — a record's own string-keyed entry — decided by asking
+    // what the container is ONCE. The general path below is three total steps, so it reads the
+    // type key twice and the prototype again; this asks each question once and falls through
+    // to the one seam for every other container, every other key and every refusal.
+    if (!optionalForm && typeof key === "string" && typeof container === "object" && container !== null) {
+        if (container[CEL_VALUE_TYPE] === undefined) {
+            const prototype = Object.getPrototypeOf(container);
+            if ((prototype === Object.prototype || prototype === null) &&
+                Object.prototype.hasOwnProperty.call(container, key)) {
+                const held = container[key];
+                // The thenable door, inline: `readHostValue` is this test and nothing else.
+                if (typeof held !== "object" || held === null || typeof held.then !== "function") {
+                    return held;
+                }
+            }
+        }
+    }
     if (isCelOptional(container)) {
         if (!container.present)
             return celNone();
-        return optionalRead(container.held, key, range);
+        return optionalRead(container.held, key, optionalForm, range);
     }
     if (optionalForm)
-        return optionalRead(container, key, range);
+        return optionalRead(container, key, true, range);
     // **A member read is a door a host value comes through**, and the value it answers is
     // whatever the host put inside its own object: `readHostValue` is what refuses a thenable
     // there, rather than the aggregate, the operator or the exit that happens to see it next.
     return readHostValue(celRead(container, key, range), range);
 }
-function optionalRead(container, key, range) {
+/**
+ * A read that answers an optional. `presence` is whether the read was WRITTEN in a
+ * presence-shaped form (`.?`, `[?]`), which is what decides whether a value holding no
+ * members is absence or a mistake.
+ */
+function optionalRead(container, key, presence, range) {
     const found = celLookup(container, key);
     if (typeof found !== "symbol") {
         const held = readHostValue(found, range);
         // A value that must be awaited is refused rather than carried as a present optional.
         return isCelError(held) ? held : celSome(held);
     }
-    if (found === MISSING || found === OUT_OF_RANGE)
+    if (lookupAbsence(found, presence))
         return celNone();
     return lookupError(found, key, range);
 }
 /**
- * `has(a.b)` — presence, which a missing key answers `false` for rather than erroring.
- * An absent optional has no members, and a present one is asked about what it holds.
+ * `has(a.b)` — presence, which a missing key and a value that holds no members both
+ * answer `false` for rather than erroring. An absent optional has no members, and a
+ * present one is asked about what it holds.
  */
 export function hasMember(container, field, range) {
     if (isCelOptional(container)) {
@@ -215,7 +242,12 @@ export class CallSite {
     nominalArity;
     resolved = new BoundedCache(CALL_SITE_CACHE_CAPACITY);
     context;
-    lastNames;
+    /** The arity the last resolution was made under; `-1` until there is one. */
+    count = -1;
+    t0;
+    t1;
+    t2;
+    t3;
     lastDispatch = null;
     constructor(name, form, range, registry, nominalArity) {
         this.name = name;
@@ -225,23 +257,89 @@ export class CallSite {
         this.nominalArity = nominalArity;
         this.context = { range };
     }
+    call0() {
+        if (this.count === 0)
+            return this.answer(this.lastDispatch);
+        return this.resolve(0, undefined, undefined, undefined, undefined);
+    }
+    call1(a) {
+        if (this.count === 1 && celTypeNameOf(a) === this.t0)
+            return this.answer(this.lastDispatch, a);
+        return this.resolve(1, a, undefined, undefined, undefined);
+    }
+    call2(a, b) {
+        if (this.count === 2 && celTypeNameOf(a) === this.t0 && celTypeNameOf(b) === this.t1) {
+            return this.answer(this.lastDispatch, a, b);
+        }
+        return this.resolve(2, a, b, undefined, undefined);
+    }
+    call3(a, b, c) {
+        if (this.count === 3 &&
+            celTypeNameOf(a) === this.t0 &&
+            celTypeNameOf(b) === this.t1 &&
+            celTypeNameOf(c) === this.t2) {
+            return this.answer(this.lastDispatch, a, b, c);
+        }
+        return this.resolve(3, a, b, c, undefined);
+    }
+    call4(a, b, c, d) {
+        if (this.count === 4 &&
+            celTypeNameOf(a) === this.t0 &&
+            celTypeNameOf(b) === this.t1 &&
+            celTypeNameOf(c) === this.t2 &&
+            celTypeNameOf(d) === this.t3) {
+            return this.answer(this.lastDispatch, a, b, c, d);
+        }
+        return this.resolve(4, a, b, c, d);
+    }
+    /**
+     * The array form, for a caller that holds its arguments as one — a call written WIDER than
+     * any overload can be (`'42'.replace('2', '1', 1, false)` is five values, which is a row),
+     * the conformance and identity gates, and a host comparing a site cold against warm. It
+     * routes to the same entry points, so there is one dispatch path and not two.
+     */
     call(values) {
-        const count = values.length;
-        const last = this.lastNames;
-        if (last !== undefined && last.length === count) {
-            let same = true;
-            for (let at = 0; at < count; at += 1) {
-                if (celTypeNameOf(values[at]) !== last[at]) {
-                    same = false;
-                    break;
-                }
+        switch (values.length) {
+            case 0:
+                return this.call0();
+            case 1:
+                return this.call1(values[0]);
+            case 2:
+                return this.call2(values[0], values[1]);
+            case 3:
+                return this.call3(values[0], values[1], values[2]);
+            case 4:
+                return this.call4(values[0], values[1], values[2], values[3]);
+            default:
+                return this.wide(values);
+        }
+    }
+    /**
+     * A call written with more values than the widest signature may declare. **The arity is
+     * the SOURCE's, not the dispatch key's** — anyone may write a call of any width — so this
+     * is reachable and answers the ordinary refusal, naming the types it was handed. Nothing
+     * resolves here, because a signature that wide is refused where it is registered; the
+     * resolution still runs, so one place decides what a call that resolves to nothing says.
+     */
+    wide(values) {
+        const names = new Array(values.length);
+        for (let at = 0; at < values.length; at += 1) {
+            const held = celTypeNameOf(values[at]);
+            if (held === undefined) {
+                const named = readHostValue(values[at], this.range);
+                if (isCelError(named))
+                    return named;
+                return celError("no_matching_overload", `${this.name} was handed a value of no CEL type`, this.range);
             }
-            if (same)
-                return this.answer(this.lastDispatch, values, last);
+            names[at] = held;
         }
+        return celError("no_matching_overload", `no overload of ${JSON.stringify(this.name)} takes (${names.join(", ")})`, this.range);
+    }
+    resolve(count, a, b, c, d) {
         const names = new Array(count);
         for (let at = 0; at < count; at += 1) {
-            const held = celTypeNameOf(values[at]);
+            const value = at === 0 ? a : at === 1 ? b : at === 2 ? c : d;
+            const held = celTypeNameOf(value);
             if (held === undefined) {
                 // A value of no CEL type. A **thenable** is one, and a thenable NESTED inside a host
                 // value arrives here rather than through the activation read, because a member read
@@ -249,7 +347,7 @@ export class CallSite {
                 // shape, so this is the door a host actually uses. `readHostValue` names it for what
                 // it is; anything else is the overload failure it was going to be. The cost is on the
                 // slow path only: dispatch was about to fail either way.
-                const named = readHostValue(values[at], this.range);
+                const named = readHostValue(value, this.range);
                 if (isCelError(named))
                     return named;
                 return celError("no_matching_overload", `${this.name} was handed a value of no CEL type`, this.range);
@@ -259,20 +357,25 @@ export class CallSite {
         const key = names.join(",");
         let dispatch = this.resolved.get(key);
         if (dispatch === undefined) {
-            const types = values.map((value) => runtimeType(value, this.nominalArity));
+            const types = names.map((unused, at) => runtimeType((at === 0 ? a : at === 1 ? b : at === 2 ? c : d), this.nominalArity));
             const resolution = this.registry.resolve(this.name, this.form, this.form === "receiver" ? types.slice(1) : types, this.form === "receiver" ? types[0] : undefined);
             dispatch = dispatchOf(this.name, resolution);
             this.resolved.set(key, dispatch);
         }
-        this.lastNames = names;
+        this.count = count;
+        this.t0 = names[0];
+        this.t1 = names[1];
+        this.t2 = names[2];
+        this.t3 = names[3];
         this.lastDispatch = dispatch;
-        return this.answer(dispatch, values, names);
+        return this.answer(dispatch, a, b, c, d);
     }
-    answer(dispatch, values, names) {
+    answer(dispatch, a, b, c, d) {
         if (!dispatch) {
+            const names = [this.t0, this.t1, this.t2, this.t3].slice(0, Math.max(this.count, 0));
             return celError("no_matching_overload", `no overload of ${JSON.stringify(this.name)} takes (${names.join(", ")})`, this.range);
         }
-        const value = dispatch.implementation(values, this.context);
+        const value = dispatch.implementation(this.context, a, b, c, d);
         return dispatch.foreign ? readHostValue(value, this.range) : value;
     }
 }

package/dist/catalog-runtime.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-runtime.d.ts","sourceRoot":"","sources":["../src/catalog-runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAIH,OAAO,KAAK,EAEV,iBAAiB,EAClB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,KAAK,EAMV,QAAQ,EACT,MAAM,gBAAgB,CAAC;AA6BxB;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IACjC,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IAC9B,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IAC/B,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IACjC,IAAI,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC;IAClE,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IACvC,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IACvC,IAAI,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,MAAM,CAAC;IAClC,mEAAmE;IACnE,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC;CACtD;AAED,6DAA6D;AAC7D,MAAM,MAAM,qBAAqB,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,kBAAkB,CAAC,KAAK,iBAAiB,CAAC;AAutBjG;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,OAAO,CAAC,kBAAkB,CAAC,GACpC,iBAAiB,GAAG,SAAS,CAE/B;AAED,0EAA0E;AAC1E,wBAAgB,sBAAsB,IAAI,SAAS,MAAM,EAAE,CAE1D;AAkFD,iEAAiE;AACjE,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,oBAAoB,GAAG,SAAS,CAElF;AAED,iFAAiF;AACjF,wBAAgB,mBAAmB,IAAI,SAAS,MAAM,EAAE,CAEvD"}
+{"version":3,"file":"catalog-runtime.d.ts","sourceRoot":"","sources":["../src/catalog-runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAIH,OAAO,KAAK,EAEV,iBAAiB,EAClB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,KAAK,EAOV,QAAQ,EACT,MAAM,gBAAgB,CAAC;AA6BxB;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IACjC,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IAC9B,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IAC/B,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IACjC,IAAI,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC;IAClE,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IACvC,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IACvC,IAAI,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,MAAM,CAAC;IAClC,mEAAmE;IACnE,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC;CACtD;AAED,6DAA6D;AAC7D,MAAM,MAAM,qBAAqB,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,kBAAkB,CAAC,KAAK,iBAAiB,CAAC;AAstBjG;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,OAAO,CAAC,kBAAkB,CAAC,GACpC,iBAAiB,GAAG,SAAS,CAE/B;AAED,0EAA0E;AAC1E,wBAAgB,sBAAsB,IAAI,SAAS,MAAM,EAAE,CAE1D;AAkFD,iEAAiE;AACjE,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,oBAAoB,GAAG,SAAS,CAElF;AAED,iFAAiF;AACjF,wBAAgB,mBAAmB,IAAI,SAAS,MAAM,EAAE,CAEvD"}