@gaganref/confect-test 10.3.1-fork.89 → 10.3.1-fork.90

package/dist/internal/Execution.d.ts

@@ -5,16 +5,22 @@ import * as Kernel from "./Kernel.js";
 import * as KernelQuery from "./KernelQuery.js";
 import * as KernelRefusal from "./KernelRefusal.js";
 import type * as ReadSet from "./ReadSet.js";
+import * as Scheduling from "./Scheduling.js";
 type Modules = Record<string, () => Promise<any>>;
 /**
- * One registered component: its schema and its function modules, each loaded
- * once when the world opens.
+ * One registered component: its schema, its function modules, each loaded once
+ * when the world opens, and its standing sources.
  */
 interface Component {
     readonly path: string;
     readonly schema: KernelQuery.KernelSchema | null;
     readonly loaders: ReadonlyMap<string, () => Promise<any>>;
     readonly loaded: Map<string, any>;
+    /**
+     * The functions, as `module:export`, that schedule their own next run. A job
+     * that runs one, or that one schedules, is never drain work.
+     */
+    readonly standing: ReadonlySet<string>;
 }
 /**
  * Who is calling: the identity and the request attributes a test accessor set.
@@ -83,13 +89,28 @@ export declare class World {
     private readonly queries;
     private readonly holding;
     private nextAttemptId;
+    /**
+     * The latest deadline time has been advanced to. The clock never reads
+     * earlier.
+     */
+    private floor;
+    private readonly targets;
     constructor(schema: SchemaDefinition<GenericSchema, boolean> | null | undefined, modules: Modules, runtime?: Kernel.KernelRuntime);
-    register(componentPath: string, schema: SchemaDefinition<GenericSchema, boolean>, modules: Modules): void;
+    register(componentPath: string, schema: SchemaDefinition<GenericSchema, boolean>, modules: Modules, standing?: ReadonlyArray<string>): void;
     /**
      * Load every registered module of every component, once, before any function
-     * runs.
+     * runs, then check that each standing source names an exported function.
      */
     open(): Promise<void>;
+    /**
+     * Refuse a standing source no module of its component exports.
+     */
+    private checkStanding;
+    /**
+     * The kernel's time: the runtime's, never earlier than the latest deadline
+     * time was advanced to.
+     */
+    now(): number;
     private component;
     private resolve;
     query(caller: Caller, reference: any, args: any): Promise<any>;
@@ -105,6 +126,59 @@ export declare class World {
      * The held attempts, oldest first.
      */
     held(): ReadonlyArray<HeldAttempt>;
+    /**
+     * The committed pending jobs, earliest deadline first.
+     */
+    jobs(): ReadonlyArray<Scheduling.Job>;
+    /**
+     * Move the clock forward `ms`, running every job whose deadline falls on the
+     * way, in deadline order, each starting at its deadline. Jobs those jobs
+     * schedule inside the window run too. `advance(0)` runs what is due now and
+     * crosses no future deadline.
+     */
+    advance(ms: number, budget?: number): Promise<void>;
+    /**
+     * Run jobs, earliest deadline first and each at its deadline, until only
+     * standing jobs are pending. Every job run counts against `budget`.
+     */
+    drain(budget?: number): Promise<void>;
+    /**
+     * Run the first of `select(pending)` until it is empty, moving the clock to
+     * each job's deadline as it starts.
+     */
+    private walk;
+    private raiseFloor;
+    /**
+     * Run one pending job as its own request, moving its row through in progress
+     * to success or failed. `walk` picks it from the committed pending jobs and
+     * starts it in the same turn, so no cancel can land in between. The job runs
+     * as a fresh invocation of the world that scheduled it, whatever invocation
+     * the drain itself runs under.
+     */
+    private runJob;
+    /**
+     * Write through a fresh attempt and publish it at once, as the scheduler does
+     * for an action's schedule and a job's state. Nothing runs between the
+     * snapshot and the commit, so no other commit can conflict with it.
+     */
+    private commitNow;
+    /**
+     * Publish `writes` as the next commit, at the runtime's timestamp for it. No
+     * writes publish nothing and ask the runtime for no timestamp, which answers
+     * the latest commit's.
+     */
+    private publishWrites;
+    /**
+     * Write a pending job into `attempt`, so the job exists only once that
+     * attempt publishes. A job that a standing function schedules, or that runs
+     * one, is standing.
+     */
+    private scheduleJob;
+    /**
+     * Cancel a job that has not finished. A finished job stays as it ended.
+     */
+    private cancelJob;
+    private isStanding;
     private queryAt;
     private mutationAt;
     private actionAt;
@@ -153,6 +227,11 @@ export declare class World {
     jsSyscall(op: string): Promise<never>;
     private get;
     private insert;
+    /**
+     * A new document's creation time: `at`, or just past the latest one, so no
+     * two documents share one.
+     */
+    private creationTime;
     private existing;
     private fields;
     private patch;
@@ -160,7 +239,8 @@ export declare class World {
     private remove;
 }
 /**
- * Whether `globalThis.Convex` is the kernel's, so no other backend answered.
+ * Whether `globalThis.Convex` is the kernel's, and no other backend installed
+ * one behind it.
  */
 export declare const ownsConvexGlobal: () => boolean;
 export {};

package/dist/internal/Execution.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Execution.d.ts","sourceRoot":"","sources":["../../src/internal/Execution.ts"],"names":[],"mappings":"AACA,OAAO,EAML,KAAK,aAAa,EAClB,KAAK,gBAAgB,EACrB,KAAK,YAAY,EAClB,MAAM,eAAe,CAAC;AACvB,OAAO,EAA8B,KAAK,KAAK,EAAE,MAAM,eAAe,CAAC;AAGvE,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAC;AAChD,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAC;AACpD,OAAO,KAAK,KAAK,OAAO,MAAM,cAAc,CAAC;AAyB7C,KAAK,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;AAElD;;;GAGG;AACH,UAAU,SAAS;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,YAAY,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1D,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CACnC;AAED,eAAO,MAAM,SAAS,EAAE,MAKvB,CAAC;AAEF,eAAO,MAAM,YAAY,WACf,MAAM,YACJ,OAAO,CAAC,YAAY,CAAC,KAC9B,MAMF,CAAC;AAYF;;GAEG;AACH,MAAM,MAAM,OAAO,GACf;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC;AAEzD;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED;;;;GAIG;AACH,MAAM,MAAM,WAAW,GACnB;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;CACxB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAAE,GACzD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,mCAAmC,CAAC;CACnE,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC;AA2OhF;;GAEG;AACH,qBAAa,KAAK;IAcd,OAAO,CAAC,QAAQ,CAAC,OAAO;IAb1B,QAAQ,CAAC,UAAU,yBAAgC;IACnD,KAAK,EAAE,MAAM,CAAC,KAAK,CAAgB;IACnC,OAAO,CAAC,MAAM,CAA4B;IAC1C,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,gBAAgB,CAAK;IAC7B,OAAO,CAAC,WAAW,CAAK;IACxB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoC;IAC5D,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA2B;IACnD,OAAO,CAAC,aAAa,CAAK;IAE1B,YACE,MAAM,EAAE,gBAAgB,CAAC,aAAa,EAAE,OAAO,CAAC,GAAG,IAAI,GAAG,SAAS,EACnE,OAAO,EAAE,OAAO,EACC,OAAO,GAAE,MAAM,CAAC,aAAkC,EAIpE;IAED,QAAQ,CACN,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,gBAAgB,CAAC,aAAa,EAAE,OAAO,CAAC,EAChD,OAAO,EAAE,OAAO,QAYjB;IAED;;;OAGG;IACH,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAWpB;IAED,OAAO,CAAC,SAAS;IAMjB,OAAO,CAAC,OAAO;IAwCf,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAY7D;IAED,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAYhE;IAED,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAY9D;IAED,GAAG,CACD,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,MAAM,EACrB,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,GAAG,GACzB,OAAO,CAAC,GAAG,CAAC,CAUd;IAID;;OAEG;IACH,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC,WAAW,CAAC,CAcvE;IAED,KAAK,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CAUtC;IAED;;OAEG;IACH,IAAI,IAAI,aAAa,CAAC,WAAW,CAAC,CAEjC;IAID,OAAO,CAAC,OAAO;IAgBf,OAAO,CAAC,UAAU;IAWlB,OAAO,CAAC,QAAQ;IAQhB,OAAO,CAAC,SAAS;IA6BjB,OAAO,CAAC,QAAQ;IA8ChB,OAAO,CAAC,cAAc;IAuBtB,OAAO,CAAC,WAAW;IA4CnB;;;;;;OAMG;IACH,OAAO,CAAC,eAAe;IAyDvB;;;;;OAKG;IACH,OAAO,CAAC,SAAS;IA0DjB;;;OAGG;IACH,OAAO,CAAC,OAAO;IAUf,OAAO,CAAC,SAAS;IAoFjB,OAAO,CAAC,MAAM;IAId,OAAO,CAAC,IAAI;IAcZ,OAAO,CAAC,UAAU;IAQlB,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAiC5C;IAED;;;;;;;;;;OAUG;IACH,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAe1D;IAED,OAAO,CAAC,aAAa;IA8IrB,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAMpC;IAID,OAAO,CAAC,GAAG;IAOX,OAAO,CAAC,MAAM;IAoBd,OAAO,CAAC,QAAQ;IA0BhB,OAAO,CAAC,MAAM;IAyBd,OAAO,CAAC,KAAK;IAqBb,OAAO,CAAC,OAAO;IAoBf,OAAO,CAAC,MAAM;CAUf;AAkFD;;GAEG;AACH,eAAO,MAAM,gBAAgB,QAAO,OAGxB,CAAC"}
+{"version":3,"file":"Execution.d.ts","sourceRoot":"","sources":["../../src/internal/Execution.ts"],"names":[],"mappings":"AACA,OAAO,EAML,KAAK,aAAa,EAClB,KAAK,gBAAgB,EACrB,KAAK,YAAY,EAClB,MAAM,eAAe,CAAC;AACvB,OAAO,EAA8B,KAAK,KAAK,EAAE,MAAM,eAAe,CAAC;AAIvE,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAC;AAChD,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAC;AACpD,OAAO,KAAK,KAAK,OAAO,MAAM,cAAc,CAAC;AAC7C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAyB9C,KAAK,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;AAElD;;;GAGG;AACH,UAAU,SAAS;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,YAAY,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1D,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAClC;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACxC;AAED;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CACnC;AAED,eAAO,MAAM,SAAS,EAAE,MAKvB,CAAC;AAEF,eAAO,MAAM,YAAY,WACf,MAAM,YACJ,OAAO,CAAC,YAAY,CAAC,KAC9B,MAMF,CAAC;AAYF;;GAEG;AACH,MAAM,MAAM,OAAO,GACf;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC;AAEzD;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED;;;;GAIG;AACH,MAAM,MAAM,WAAW,GACnB;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;CACxB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAAE,GACzD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,mCAAmC,CAAC;CACnE,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC;AA+QhF;;GAEG;AACH,qBAAa,KAAK;IAoBd,OAAO,CAAC,QAAQ,CAAC,OAAO;IAnB1B,QAAQ,CAAC,UAAU,yBAAgC;IACnD,KAAK,EAAE,MAAM,CAAC,KAAK,CAAgB;IACnC,OAAO,CAAC,MAAM,CAA4B;IAC1C,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,gBAAgB,CAAK;IAC7B,OAAO,CAAC,WAAW,CAAK;IACxB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoC;IAC5D,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA2B;IACnD,OAAO,CAAC,aAAa,CAAK;IAC1B;;;OAGG;IACH,OAAO,CAAC,KAAK,CAA4B;IACzC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA4C;IAEpE,YACE,MAAM,EAAE,gBAAgB,CAAC,aAAa,EAAE,OAAO,CAAC,GAAG,IAAI,GAAG,SAAS,EACnE,OAAO,EAAE,OAAO,EACC,OAAO,GAAE,MAAM,CAAC,aAAkC,EAKpE;IAED,QAAQ,CACN,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,gBAAgB,CAAC,aAAa,EAAE,OAAO,CAAC,EAChD,OAAO,EAAE,OAAO,EAChB,QAAQ,GAAE,aAAa,CAAC,MAAM,CAAM,QAYrC;IAED;;;OAGG;IACH,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAWpB;IAED;;OAEG;IACH,OAAO,CAAC,aAAa;IAgBrB;;;OAGG;IACH,GAAG,IAAI,MAAM,CAEZ;IAED,OAAO,CAAC,SAAS;IAMjB,OAAO,CAAC,OAAO;IAwCf,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAY7D;IAED,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAYhE;IAED,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAY9D;IAED,GAAG,CACD,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,MAAM,EACrB,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,GAAG,GACzB,OAAO,CAAC,GAAG,CAAC,CAUd;IAID;;OAEG;IACH,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,GAAG,OAAO,CAAC,WAAW,CAAC,CAcvE;IAED,KAAK,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CAUtC;IAED;;OAEG;IACH,IAAI,IAAI,aAAa,CAAC,WAAW,CAAC,CAEjC;IAID;;OAEG;IACH,IAAI,IAAI,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,CAUpC;IAED;;;;;OAKG;IACH,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,SAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAQzD;IAED;;;OAGG;IACH,KAAK,CAAC,MAAM,SAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAI3C;IAED;;;OAGG;IACH,OAAO,CAAC,IAAI;IA8BZ,OAAO,CAAC,UAAU;IAIlB;;;;;;OAMG;IACH,OAAO,CAAC,MAAM;IAgDd;;;;OAIG;IACH,OAAO,CAAC,SAAS;IAOjB;;;;OAIG;IACH,OAAO,CAAC,aAAa;IAerB;;;;OAIG;IACH,OAAO,CAAC,WAAW;IAqCnB;;OAEG;IACH,OAAO,CAAC,SAAS;IAajB,OAAO,CAAC,UAAU;IAMlB,OAAO,CAAC,OAAO;IAgBf,OAAO,CAAC,UAAU;IAWlB,OAAO,CAAC,QAAQ;IAQhB,OAAO,CAAC,SAAS;IAiCjB,OAAO,CAAC,QAAQ;IA8ChB,OAAO,CAAC,cAAc;IAuBtB,OAAO,CAAC,WAAW;IA4CnB;;;;;;OAMG;IACH,OAAO,CAAC,eAAe;IAyDvB;;;;;OAKG;IACH,OAAO,CAAC,SAAS;IAsDjB;;;OAGG;IACH,OAAO,CAAC,OAAO;IAUf,OAAO,CAAC,SAAS;IA+EjB,OAAO,CAAC,MAAM;IAId,OAAO,CAAC,IAAI;IAcZ,OAAO,CAAC,UAAU;IAQlB,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAiC5C;IAED;;;;;;;;;;OAUG;IACH,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAe1D;IAED,OAAO,CAAC,aAAa;IAmKrB,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAMpC;IAID,OAAO,CAAC,GAAG;IAOX,OAAO,CAAC,MAAM;IAgBd;;;OAGG;IACH,OAAO,CAAC,YAAY;IAOpB,OAAO,CAAC,QAAQ;IA0BhB,OAAO,CAAC,MAAM;IAyBd,OAAO,CAAC,KAAK;IAqBb,OAAO,CAAC,OAAO;IAoBf,OAAO,CAAC,MAAM;CAUf;AAoHD;;;GAGG;AACH,eAAO,MAAM,gBAAgB,QAAO,OAEX,CAAC"}

package/dist/internal/Execution.js

@@ -1,10 +1,12 @@
 import { own } from "./Globals.js";
+import { install } from "./Clock.js";
 import { createFunctionHandle, createTestJwt, deserializeConvexErrorData, evaluateValue, hasPendingValues, parseArgs, parseFunctionHandle, resolveCommittedValues, simpleHash, tableNameFromId, validateFunctionArgs, validateReturnValue } from "./KernelValues.js";
 import { apply, conflict, empty, wallClock } from "./Kernel.js";
 import { KernelAttempt } from "./Attempt.js";
-import { bind, current as current$1 } from "./Invocation.js";
-import { ClosedAttempt, CommitTsNotIncreasing, OptimisticConcurrencyControlFailure, RegisteredAfterOpen, StaleAttempt, requiresBinary, rowPending } from "./KernelRefusal.js";
+import { bind, current as current$1, fresh, unbound } from "./Invocation.js";
+import { ClosedAttempt, CommitTsNotIncreasing, DrainBudgetExceeded, OptimisticConcurrencyControlFailure, RegisteredAfterOpen, StaleAttempt, UnknownStandingSource, requiresBinary, rowPending } from "./KernelRefusal.js";
 import { exportSchema, paginate, stream, validateDocument } from "./KernelQuery.js";
+import { functions, pending, row, stateOf, table } from "./Scheduling.js";
 import { actionGeneric, getFunctionAddress, mutationGeneric, queryGeneric } from "convex/server";
 import { AsyncLocalStorage } from "node:async_hooks";
 import { convexToJson, jsonToConvex } from "convex/values";
@@ -73,8 +75,25 @@ const executions = new AsyncLocalStorage();
 * Run a function's code as `execution`, with its own copy of the globals a test
 * invocation pins.
 */
-const enter = (execution, run) => own(() => executions.run(execution, run));
+const enter = (execution, run) => {
+	installConvexGlobal();
+	return own(() => executions.run(execution, run));
+};
 const kernelBrand = Symbol.for("@confect/test/Kernel");
+/**
+* The time `Date` answers inside a kernel invocation: a query's or mutation's
+* start, or the clock as it runs in an action. Outside one, none.
+*/
+const pinnedTime = () => {
+	const execution = executions.getStore();
+	if (execution === void 0) return void 0;
+	return execution.udfType === "action" ? execution.world.now() : execution.startTime;
+};
+/**
+* How many jobs one drain or advance runs before it gives up, as convex-test's
+* `finishAllScheduledFunctions` defaults to.
+*/
+const defaultBudget = 100;
 const current = () => {
 	const execution = executions.getStore();
 	if (execution === void 0) throw new Error("A Convex syscall ran outside any function the test kernel started.");
@@ -88,12 +107,20 @@ const newRequest = (caller) => ({
 	scheduledFunctionId: null,
 	authToken: caller.token
 });
+/**
+* A scheduled call is a request of its own: no caller's attributes, and its
+* job's ID.
+*/
+const jobRequest = (jobId) => ({
+	...newRequest(anonymous),
+	scheduledFunctionId: jobId
+});
 const findModulesRoot = (paths) => {
 	const generated = paths.find((path) => path.includes("_generated"));
 	if (generated === void 0) throw new Error("Could not find the \"_generated\" directory, make sure to run `npx convex dev` or `npx convex codegen`. Make sure your `import.meta.glob` includes the files in the \"_generated\" directory");
 	return generated.split("_generated", 2)[0];
 };
-const makeComponent = (path, schema, modules) => {
+const makeComponent = (path, schema, modules, standing = []) => {
 	const root = findModulesRoot(Object.keys(modules));
 	const relative = Object.entries(modules).filter(([key]) => key.startsWith(root)).map(([key, load]) => [key.slice(root.length), load]);
 	const nested = relative.map(([file]) => file).filter((file) => file.endsWith("/convex.config.ts")).map((file) => file.slice(0, -16));
@@ -101,7 +128,8 @@ const makeComponent = (path, schema, modules) => {
 		path,
 		schema: exportSchema(schema),
 		loaders: new Map(relative.filter(([file]) => isFunctionModule(file) && !nested.some((dir) => file.startsWith(dir))).map(([file, load]) => [file.replace(/\.[^.]+$/, ""), load])),
-		loaded: /* @__PURE__ */ new Map()
+		loaded: /* @__PURE__ */ new Map(),
+		standing: new Set(standing)
 	};
 };
 const entryExtensions = [
@@ -168,26 +196,54 @@ var World = class {
 	queries = /* @__PURE__ */ new Map();
 	holding = /* @__PURE__ */ new Map();
 	nextAttemptId = 1;
+	/**
+	* The latest deadline time has been advanced to. The clock never reads
+	* earlier.
+	*/
+	floor = Number.NEGATIVE_INFINITY;
+	targets = /* @__PURE__ */ new Map();
 	constructor(schema, modules, runtime = wallClock()) {
 		this.runtime = runtime;
 		installConvexGlobal();
+		install(pinnedTime, () => executions.getStore() !== void 0);
 		this.components.set(ROOT, makeComponent(ROOT, schema, modules));
 	}
-	register(componentPath, schema, modules) {
+	register(componentPath, schema, modules, standing = []) {
 		if (this.opened !== void 0) throw new RegisteredAfterOpen({
 			componentPath,
 			message: `Component "${componentPath}" was registered after the test backend opened. Register every component before the first call.`
 		});
-		this.components.set(componentPath, makeComponent(componentPath, schema, modules));
+		this.components.set(componentPath, makeComponent(componentPath, schema, modules, standing));
 	}
 	/**
 	* Load every registered module of every component, once, before any function
-	* runs.
+	* runs, then check that each standing source names an exported function.
 	*/
 	open() {
-		this.opened ??= Promise.all(Array.from(this.components.values(), (component) => Promise.all(Array.from(component.loaders, ([path, load]) => load().then((module) => component.loaded.set(path, module)))))).then(() => void 0);
+		this.opened ??= Promise.all(Array.from(this.components.values(), (component) => Promise.all(Array.from(component.loaders, ([path, load]) => load().then((module) => component.loaded.set(path, module)))))).then(() => this.checkStanding());
 		return this.opened;
 	}
+	/**
+	* Refuse a standing source no module of its component exports.
+	*/
+	checkStanding() {
+		for (const component of this.components.values()) for (const name of component.standing) {
+			const [modulePath, exportName = "default"] = name.split(":");
+			const func = component.loaded.get(modulePath)?.[exportName];
+			if (func?.isMutation !== true && func?.isAction !== true) throw new UnknownStandingSource({
+				componentPath: component.path,
+				name,
+				message: `Component "${component.path}" declares "${name}" standing, but exports no mutation or action by that name. Name the self-rescheduling function as module:export.`
+			});
+		}
+	}
+	/**
+	* The kernel's time: the runtime's, never earlier than the latest deadline
+	* time was advanced to.
+	*/
+	now() {
+		return Math.max(this.runtime.now(), this.floor);
+	}
 	component(componentPath) {
 		const component = this.components.get(componentPath);
 		if (component === void 0) throw unregistered(this, componentPath);
@@ -303,6 +359,166 @@ var World = class {
 	held() {
 		return Array.from(this.holding.values(), (held) => held.view);
 	}
+	/**
+	* The committed pending jobs, earliest deadline first.
+	*/
+	jobs() {
+		return pending(this.state, this.targets).map(({ id, componentPath, name, scheduledTime, standing }) => ({
+			id,
+			componentPath,
+			name,
+			scheduledTime,
+			standing
+		}));
+	}
+	/**
+	* Move the clock forward `ms`, running every job whose deadline falls on the
+	* way, in deadline order, each starting at its deadline. Jobs those jobs
+	* schedule inside the window run too. `advance(0)` runs what is due now and
+	* crosses no future deadline.
+	*/
+	advance(ms, budget = defaultBudget) {
+		return this.open().then(() => {
+			const until = this.now() + ms;
+			return this.walk((pending) => pending.filter((job) => job.scheduledTime <= until), budget).then(() => this.raiseFloor(until));
+		});
+	}
+	/**
+	* Run jobs, earliest deadline first and each at its deadline, until only
+	* standing jobs are pending. Every job run counts against `budget`.
+	*/
+	drain(budget = defaultBudget) {
+		return this.open().then(() => this.walk((pending) => pending.filter((job) => !job.standing), budget));
+	}
+	/**
+	* Run the first of `select(pending)` until it is empty, moving the clock to
+	* each job's deadline as it starts.
+	*/
+	walk(select, budget) {
+		const step = (ran) => {
+			const left = select(pending(this.state, this.targets));
+			const next = left[0];
+			if (next === void 0) return Promise.resolve();
+			if (ran === budget) {
+				const pending = functions(left);
+				return Promise.reject(new DrainBudgetExceeded({
+					budget,
+					pending,
+					message: `Scheduled functions ran ${budget} jobs and work remains: ${pending.map(({ componentPath, name }) => componentPath === ROOT ? name : `${name} in "${componentPath}"`).join(", ")}. A function that schedules its own next run never lets the drain end, so its kit declares it with registerComponent's \`standing\` option.`
+				}));
+			}
+			this.raiseFloor(next.scheduledTime);
+			return this.runJob(next).then(() => step(ran + 1));
+		};
+		return step(0);
+	}
+	raiseFloor(to) {
+		this.floor = Math.max(this.floor, to);
+	}
+	/**
+	* Run one pending job as its own request, moving its row through in progress
+	* to success or failed. `walk` picks it from the committed pending jobs and
+	* starts it in the same turn, so no cancel can land in between. The job runs
+	* as a fresh invocation of the world that scheduled it, whatever invocation
+	* the drain itself runs under.
+	*/
+	runJob(job) {
+		this.commitNow((attempt) => {
+			const doc = attempt.get(job.componentPath, job.id);
+			attempt.write(job.componentPath, job.id, {
+				...doc,
+				state: { kind: "inProgress" }
+			});
+		});
+		const request = jobRequest(job.id);
+		const from = {
+			caller: anonymous,
+			request
+		};
+		const run = () => Promise.resolve().then(() => {
+			const { func } = this.resolve(job.target, "any");
+			return func.isQuery ? this.queryAt(job.target, job.args, from) : func.isMutation ? this.mutationAt(job.target, job.args, from) : this.actionAt(job.target, job.args, from);
+		});
+		return (job.world === void 0 ? unbound(run) : bind(fresh(job.world, job.target.componentPath, request), run)).then(() => ({ kind: "success" }), (error) => ({
+			kind: "failed",
+			error: error instanceof Error ? error.message : String(error)
+		})).then((state) => this.commitNow((attempt) => {
+			const doc = attempt.get(job.componentPath, job.id);
+			if (doc === null || stateOf(doc).kind !== "inProgress") return;
+			attempt.write(job.componentPath, job.id, {
+				...doc,
+				state,
+				completedTime: this.now()
+			});
+		}));
+	}
+	/**
+	* Write through a fresh attempt and publish it at once, as the scheduler does
+	* for an action's schedule and a job's state. Nothing runs between the
+	* snapshot and the commit, so no other commit can conflict with it.
+	*/
+	commitNow(write) {
+		const attempt = new KernelAttempt(this.state);
+		const result = write(attempt);
+		this.publishWrites(attempt.writes());
+		return result;
+	}
+	/**
+	* Publish `writes` as the next commit, at the runtime's timestamp for it. No
+	* writes publish nothing and ask the runtime for no timestamp, which answers
+	* the latest commit's.
+	*/
+	publishWrites(writes) {
+		if (writes.length === 0) return this.state.commitTs;
+		const commitTs = this.runtime.commitTs(this.state.version + 1);
+		if (commitTs <= this.state.commitTs) throw new CommitTsNotIncreasing({
+			version: this.state.version + 1,
+			previous: this.state.commitTs,
+			commitTs,
+			message: `The runtime answered commit timestamp ${commitTs} for version ${this.state.version + 1}, which is not greater than the previous commit's ${this.state.commitTs}.`
+		});
+		this.state = apply(this.state, writes, commitTs);
+		return commitTs;
+	}
+	/**
+	* Write a pending job into `attempt`, so the job exists only once that
+	* attempt publishes. A job that a standing function schedules, or that runs
+	* one, is standing.
+	*/
+	scheduleJob(attempt, execution, args) {
+		const target = functionPathOf(args, execution.componentPath);
+		this.component(target.componentPath);
+		const jobArgs = jsonToConvex(args.args);
+		if (hasPendingValues(jobArgs)) throw new Error(`Invalid arguments for "${target.udfPath}": a scheduled function cannot take an unresolved placeholder value.`);
+		const id = this.generateId(table);
+		attempt.write(execution.componentPath, id, row(id, this.creationTime(execution.startTime), target.udfPath, jobArgs, args.ts * 1e3));
+		this.targets.set(id, {
+			functionPath: target,
+			standing: this.isStanding({
+				componentPath: execution.componentPath,
+				udfPath: execution.udfPath
+			}) || this.isStanding(target),
+			world: current$1()?.world
+		});
+		return id;
+	}
+	/**
+	* Cancel a job that has not finished. A finished job stays as it ended.
+	*/
+	cancelJob(attempt, componentPath, id) {
+		validateId(table, id);
+		attempt.readDocument(componentPath, id);
+		const doc = attempt.get(componentPath, id);
+		if (doc === null) throw new Error(`Patch on non-existent document with ID "${id}"`);
+		const { kind } = stateOf(doc);
+		if (kind === "pending" || kind === "inProgress") attempt.write(componentPath, id, {
+			...doc,
+			state: { kind: "canceled" }
+		});
+	}
+	isStanding({ componentPath, udfPath }) {
+		return this.components.get(componentPath)?.standing.has(udfPath) ?? false;
+	}
 	queryAt(functionPath, args, from, snapshotOnly = false) {
 		const resolved = this.resolve(functionPath, "query");
 		validateFunctionArgs(resolved.args, args ?? {}, functionPath, from.parent?.attempt !== void 0);
@@ -328,6 +544,7 @@ var World = class {
 			attempt,
 			identity,
 			request: from.request,
+			startTime: from.parent !== void 0 && from.parent.udfType !== "action" ? from.parent.startTime : this.now(),
 			pagination,
 			turn: new Turn()
 		};
@@ -455,14 +672,12 @@ var World = class {
 				next: next.view
 			}));
 		}
-		const commitTs = this.runtime.commitTs(this.state.version + 1);
-		if (commitTs <= this.state.commitTs) return Promise.reject(new CommitTsNotIncreasing({
-			version: this.state.version + 1,
-			previous: this.state.commitTs,
-			commitTs,
-			message: `The runtime answered commit timestamp ${commitTs} for version ${this.state.version + 1}, which is not greater than the previous commit's ${this.state.commitTs}.`
-		}));
-		this.state = apply(this.state, writes, commitTs);
+		let commitTs;
+		try {
+			commitTs = this.publishWrites(writes);
+		} catch (error) {
+			return Promise.reject(error);
+		}
 		return Promise.resolve({
 			kind: "applied",
 			version: this.state.version,
@@ -496,21 +711,7 @@ var World = class {
 		}, innerArgs) });
 		const run = () => enter(execution, () => a.invokeAction(from.request.requestId, JSON.stringify(convexToJson([parseArgs(args)]))));
 		const bound = from.parent === void 0 ? void 0 : current$1();
-		const { ip, userAgent, requestId, scheduledFunctionId } = from.request;
-		return (bound === void 0 ? run() : bind({
-			world: bound.world,
-			componentPath: functionPath.componentPath,
-			attempt: 1,
-			request: {
-				ip,
-				userAgent,
-				requestId,
-				scheduledFunctionId
-			},
-			services: bound.world.services,
-			startedAt: bound.world.clock(),
-			random: bound.world.random
-		}, run)).then((raw) => {
+		return (bound === void 0 ? run() : bind(fresh(bound.world, functionPath.componentPath, from.request), run)).then((raw) => {
 			const result = jsonToConvex(JSON.parse(raw));
 			validateReturnValue(resolved.returns, result, "action", functionPath);
 			return result;
@@ -665,10 +866,14 @@ var World = class {
 				return JSON.stringify(createFunctionHandle(functionPath));
 			}
 			case "1.0/auditLog": return JSON.stringify(null);
-			case "1.0/schedule":
-			case "1.0/actions/schedule":
+			case "1.0/schedule": return JSON.stringify(convexToJson(this.scheduleJob(transaction(execution), execution, args)));
+			case "1.0/actions/schedule": return JSON.stringify(convexToJson(this.commitNow((attempt) => this.scheduleJob(attempt, execution, args))));
 			case "1.0/cancel_job":
-			case "1.0/actions/cancel_job": throw rowPending("the scheduler", 5);
+				this.cancelJob(transaction(execution), execution.componentPath, args.id);
+				return JSON.stringify({});
+			case "1.0/actions/cancel_job":
+				this.commitNow((attempt) => this.cancelJob(attempt, execution.componentPath, args.id));
+				return JSON.stringify({});
 			case "1.0/storageDelete":
 			case "1.0/storageGetUrl":
 			case "1.0/storageGenerateUploadUrl": throw rowPending("storage", 6);
@@ -690,16 +895,22 @@ var World = class {
 		const attempt = transaction(execution);
 		validateDocument(this.schema(execution.componentPath), table, value);
 		const _id = this.generateId(table);
-		const now = this.runtime.now();
-		const _creationTime = now <= this.lastCreationTime ? this.lastCreationTime + .001 : now;
-		this.lastCreationTime = _creationTime;
 		attempt.write(execution.componentPath, _id, {
 			...value,
 			_id,
-			_creationTime
+			_creationTime: this.creationTime(execution.startTime)
 		});
 		return _id;
 	}
+	/**
+	* A new document's creation time: `at`, or just past the latest one, so no
+	* two documents share one.
+	*/
+	creationTime(at) {
+		const time = at <= this.lastCreationTime ? this.lastCreationTime + .001 : at;
+		this.lastCreationTime = time;
+		return time;
+	}
 	existing(execution, tableName, id, write, value) {
 		validateId(tableName, id);
 		if (value !== void 0 && typeof value !== "object") throw new Error(`Invalid argument \`value\` in \`db.${write}\`, expected object but got '${typeof value}': ${value}`);
@@ -767,23 +978,46 @@ function validateId(expectedTableName, id) {
 	if (actualTableName !== expectedTableName) throw new Error(`Invalid argument \`id\`, expected ID in table '${expectedTableName}' but got ID in table '${actualTableName}'`);
 }
 /**
-* Convex's server library reaches the backend through `globalThis.Convex`. The
-* kernel answers each syscall for the function that made it.
+* The backend another library installed as `globalThis.Convex`, which answers
+* every syscall made outside a kernel function.
+*/
+let forwarded;
+const backend = () => executions.getStore()?.world ?? forwarded ?? current().world;
+const dispatcher = {
+	[kernelBrand]: true,
+	syscall: (op, args) => backend().syscall(op, args),
+	asyncSyscall: (op, args) => backend().asyncSyscall(op, args),
+	jsSyscall: (op, args) => backend().jsSyscall(op, args)
+};
+/**
+* Convex's server library reaches the backend through `globalThis.Convex`, one
+* global for the whole test runtime. convex-test 0.0.65 assigns its own the
+* first time it builds a world (its `dist/index.js:1936-1951`), whenever that
+* is. The kernel keeps the global an accessor that always reads its dispatcher,
+* and takes an assignment, or the global it found, as the backend for syscalls
+* made outside a kernel function. So a kernel world and a convex-test world
+* stay live together, whichever was built first, and no world restores the
+* global when it ends. A test that redefines the global removes the accessor,
+* so every kernel function installs it again over what the test left.
 */
 const installConvexGlobal = () => {
-	const global = globalThis;
-	if (global.Convex?.[kernelBrand] === true) return;
-	global.Convex = {
-		[kernelBrand]: true,
-		syscall: (op, args) => current().world.syscall(op, args),
-		asyncSyscall: (op, args) => current().world.asyncSyscall(op, args),
-		jsSyscall: (op) => current().world.jsSyscall(op)
-	};
+	const found = globalThis.Convex;
+	if (found?.[kernelBrand] === true) return;
+	forwarded = found;
+	Object.defineProperty(globalThis, "Convex", {
+		get: () => dispatcher,
+		set: (value) => {
+			if (value?.[kernelBrand] !== true) forwarded = value;
+		},
+		configurable: true,
+		enumerable: true
+	});
 };
 /**
-* Whether `globalThis.Convex` is the kernel's, so no other backend answered.
+* Whether `globalThis.Convex` is the kernel's, and no other backend installed
+* one behind it.
 */
-const ownsConvexGlobal = () => globalThis.Convex?.[kernelBrand] === true;
+const ownsConvexGlobal = () => globalThis.Convex?.[kernelBrand] === true && forwarded === void 0;
 //#endregion
 export { World, anonymous, ownsConvexGlobal, withIdentity };