@earendil-works/chord 1.5.0 → 1.5.1

package/dist/jobs/run.d.ts

@@ -0,0 +1,117 @@
+import type { Context } from "../context/index.ts";
+import type { ChordError } from "../data/index.ts";
+import { SealToken } from "../documents/internal.ts";
+import type { JsonValue } from "../json.ts";
+import type { Outcome } from "./definition.ts";
+/** A started run as its caller holds it: its id and a wait for its outcome. */
+export interface Run<O> {
+    readonly id: string;
+    /**
+     * Resolves with the outcome once `finish` committed (also without a `finish`); a blocked run keeps waiting, a dropped
+     * one rejects `aborted`, the object's end rejects with its error; `context` ends only this wait, which then keeps
+     * nothing of it. A rejection's error keeps its stack's receivers (the transaction that ended the run) until its
+     * `stack` is read (V8).
+     */
+    outcome(context: Context): Promise<O>;
+}
+/** A run's outcome, as Chord keeps it whatever the job's types. */
+export type AnyOutcome = Outcome<JsonValue, unknown, JsonValue | undefined>;
+/**
+ * Where a run's record stands. A persisted run is `pending` from its start's commit until its reservation commit
+ * (`running`, then its `run` starts), `stopped` once a clean stop cut it off; an in-memory run is `running` from its
+ * start's commit. `finishing` once its outcome is recorded, `blocked` after five failed finishes or for another
+ * version.
+ */
+export type Phase = "pending" | "running" | "stopped" | "finishing" | "blocked";
+/**
+ * Why a run is blocked: its `finish` failed five times in a row, or its version is not the code's (stored by another
+ * job version or fingerprint, of a newer version or an older one without an adapter, or of a job the code no longer
+ * declares, slice 7b §8).
+ */
+export type BlockedReason = "finish_failed" | "version";
+/** One run: changed only by its job, inside its transactions' commit steps (records) and after them (actions). */
+export declare class JobRun {
+    #private;
+    readonly id: string;
+    /** The job version it was started with: it keeps it across reloads (slice 7b §8). */
+    readonly version: number;
+    /** The fingerprint of its job version (a persisted run's record keeps it). */
+    readonly fingerprint: string;
+    readonly key: string | undefined;
+    readonly args: JsonValue;
+    readonly handle: Run<AnyOutcome>;
+    /** Its args and outcome mapped forwards to the job's current version (once per run and version), when older. */
+    mapped: {
+        readonly version: number;
+        readonly args: JsonValue;
+        outcome?: AnyOutcome;
+    } | undefined;
+    /** A persisted run blocked for its version at its load: the phase its record had, resumed when unblocked. */
+    blockedPhase: Phase | undefined;
+    /** Its current invocation, from its reservation (or its start in memory) on; a later one replaces it. */
+    invocation: Invocation | undefined;
+    phase: Phase;
+    /** A persisted run's crashes in a row while running (D6); reset by a state change. */
+    restarts: number;
+    /** Failed finishes in a row (stored for a persisted run, so they count across a crash). */
+    finishFailures: number;
+    /** Set by `abort(id)` (stored for a persisted run, D7): a run not invoked yet ends `aborted` without `run`. */
+    abortMarked: boolean;
+    /** A persisted run cut off by a crash or a clean stop, to be resumed per its job's `resume` (no new start). */
+    resuming: boolean;
+    blocked: BlockedReason | undefined;
+    /**
+     * The start's trace carrier, when the adapter propagates (stored for a persisted run): its run and finish spans are
+     * children of it, in a new attempt and a new process too (a carrier, not the span: a settled span starts no
+     * recorded children).
+     */
+    readonly trace: {
+        readonly [key: string]: string;
+    } | undefined;
+    /** What it ended with, once recorded (finishing and blocked). */
+    outcome: AnyOutcome | undefined;
+    /** Its entry in `running`, while its record exists; replaced when its record or state document changes. */
+    entry: JsonValue | undefined;
+    constructor(id: string, version: number, fingerprint: string, key: string | undefined, args: JsonValue, phase: Phase, trace?: {
+        readonly [key: string]: string;
+    });
+    /**
+     * Its `running` entry for its current record, `state` (the job's state document, `undefined` without one) and
+     * `args` (mapped forwards for an older version): a pending or stopped run shows as `running` (it runs, or will run
+     * again).
+     */
+    entryFor(state: JsonValue | undefined, args: JsonValue): JsonValue;
+    /** A new invocation, the current one from now on (a run marked aborted is never invoked: it ends without one). */
+    begin(): Invocation;
+    /** Whether its current invocation runs (or is reserved): it is not invoked again meanwhile. */
+    get invoked(): boolean;
+    /**
+     * Resolves once its current invocation ended, at once when none runs (`abort` joins it; one a seal cut off is
+     * fenced and is not waited for); `context` ends only the wait.
+     */
+    over(context: Context): Promise<void>;
+    /** Its waiters get the outcome. */
+    resolve(outcome: AnyOutcome): void;
+    /** Its waiters get `error`. */
+    reject(error: ChordError): void;
+}
+/**
+ * One invocation of a run's `run`: its fence (`ctx.state.change` admitted while it runs, under its own seal token,
+ * which its attempt's seal fences), its abort signal and the waits for its end. Captured by its ctx and its settling,
+ * so a replaced invocation never acts for its successor.
+ */
+export declare class Invocation {
+    #private;
+    readonly token: SealToken;
+    /** `run`'s abort signal: `abort(id)`, the attempt's seal, the object's end and `host.close` fire it. */
+    readonly abort: AbortController;
+    /** `running` from its reservation until `run` settled or a seal cut it off. */
+    state: "running" | "settled";
+    /** The fence closes: a change made later is refused. */
+    settle(): void;
+    /** Nothing of it runs here any more (its `run` settled, or the object ended): every join resolves. */
+    ended(): void;
+    /** Resolves once it ended; `context` ends only the wait. */
+    over(context: Context): Promise<void>;
+}
+//# sourceMappingURL=run.d.ts.map

package/dist/jobs/run.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/jobs/run.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE/C,+EAA+E;AAC/E,MAAM,WAAW,GAAG,CAAC,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB;;;;;OAKG;IACH,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;CACtC;AAED,mEAAmE;AACnE,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,GAAG,SAAS,CAAC,CAAC;AAE5E;;;;;GAKG;AACH,MAAM,MAAM,KAAK,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,CAAC;AAEhF;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,eAAe,GAAG,SAAS,CAAC;AAUxD,kHAAkH;AAClH,qBAAa,MAAM;;IAClB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,qFAAqF;IACrF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,8EAA8E;IAC9E,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IACjC,gHAAgH;IAChH,MAAM,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QAAC,OAAO,CAAC,EAAE,UAAU,CAAA;KAAE,GAAG,SAAS,CAAC;IACjG,6GAA6G;IAC7G,YAAY,EAAE,KAAK,GAAG,SAAS,CAAC;IAChC,yGAAyG;IACzG,UAAU,EAAE,UAAU,GAAG,SAAS,CAAC;IACnC,KAAK,EAAE,KAAK,CAAC;IACb,sFAAsF;IACtF,QAAQ,SAAK;IACb,2FAA2F;IAC3F,cAAc,SAAK;IACnB,+GAA+G;IAC/G,WAAW,UAAS;IACpB,+GAA+G;IAC/G,QAAQ,UAAS;IACjB,OAAO,EAAE,aAAa,GAAG,SAAS,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;IAC/D,iEAAiE;IACjE,OAAO,EAAE,UAAU,GAAG,SAAS,CAAC;IAChC,2GAA2G;IAC3G,KAAK,EAAE,SAAS,GAAG,SAAS,CAAC;IAI7B,YACC,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,EACnB,GAAG,EAAE,MAAM,GAAG,SAAS,EACvB,IAAI,EAAE,SAAS,EACf,KAAK,EAAE,KAAK,EACZ,KAAK,CAAC,EAAE;QAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,EAW1C;IAED;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,EAAE,IAAI,EAAE,SAAS,GAAG,SAAS,CAWjE;IAED,kHAAkH;IAClH,KAAK,IAAI,UAAU,CAIlB;IAED,+FAA+F;IAC/F,IAAI,OAAO,IAAI,OAAO,CAErB;IAED;;;OAGG;IACH,IAAI,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAGpC;IAED,mCAAmC;IACnC,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,IAAI,CAEjC;IAED,+BAA+B;IAC/B,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CAE9B;CACD;AAED;;;;GAIG;AACH,qBAAa,UAAU;;IACtB,QAAQ,CAAC,KAAK,YAAmB;IACjC,wGAAwG;IACxG,QAAQ,CAAC,KAAK,kBAAyB;IACvC,+EAA+E;IAC/E,KAAK,EAAE,SAAS,GAAG,SAAS,CAAa;IAGzC,wDAAwD;IACxD,MAAM,IAAI,IAAI,CAEb;IAED,sGAAsG;IACtG,KAAK,IAAI,IAAI,CAEZ;IAED,4DAA4D;IAC5D,IAAI,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAEpC;CACD"}

package/dist/jobs/run.js

@@ -0,0 +1,204 @@
+// One run of a job (§15, slice 6b §4.1): its record (id, version, key, args, phase, restarts, finish failures, abort
+// mark, outcome), its current invocation (the fence of its seal token, its abort signal, the end an abort joins: one
+// per invocation, as a persisted run is invoked again after a seal, R3), its `running` entry and the `Run` handle its
+// callers wait on.
+import { SealToken } from "../documents/internal.js";
+/** One run: changed only by its job, inside its transactions' commit steps (records) and after them (actions). */
+export class JobRun {
+    id;
+    /** The job version it was started with: it keeps it across reloads (slice 7b §8). */
+    version;
+    /** The fingerprint of its job version (a persisted run's record keeps it). */
+    fingerprint;
+    key;
+    args;
+    handle;
+    /** Its args and outcome mapped forwards to the job's current version (once per run and version), when older. */
+    mapped;
+    /** A persisted run blocked for its version at its load: the phase its record had, resumed when unblocked. */
+    blockedPhase;
+    /** Its current invocation, from its reservation (or its start in memory) on; a later one replaces it. */
+    invocation;
+    phase;
+    /** A persisted run's crashes in a row while running (D6); reset by a state change. */
+    restarts = 0;
+    /** Failed finishes in a row (stored for a persisted run, so they count across a crash). */
+    finishFailures = 0;
+    /** Set by `abort(id)` (stored for a persisted run, D7): a run not invoked yet ends `aborted` without `run`. */
+    abortMarked = false;
+    /** A persisted run cut off by a crash or a clean stop, to be resumed per its job's `resume` (no new start). */
+    resuming = false;
+    blocked;
+    /**
+     * The start's trace carrier, when the adapter propagates (stored for a persisted run): its run and finish spans are
+     * children of it, in a new attempt and a new process too (a carrier, not the span: a settled span starts no
+     * recorded children).
+     */
+    trace;
+    /** What it ended with, once recorded (finishing and blocked). */
+    outcome;
+    /** Its entry in `running`, while its record exists; replaced when its record or state document changes. */
+    entry;
+    /** Its waiters: apart from the run, so a handle kept by a caller keeps only how the run settled. */
+    #waiters = new Waiters();
+    constructor(id, version, fingerprint, key, args, phase, trace) {
+        this.id = id;
+        this.version = version;
+        this.fingerprint = fingerprint;
+        this.key = key;
+        this.args = args;
+        this.phase = phase;
+        this.trace = trace;
+        const waiters = this.#waiters;
+        this.handle = { id, outcome: (context) => waiters.wait(context) };
+    }
+    /**
+     * Its `running` entry for its current record, `state` (the job's state document, `undefined` without one) and
+     * `args` (mapped forwards for an older version): a pending or stopped run shows as `running` (it runs, or will run
+     * again).
+     */
+    entryFor(state, args) {
+        const { id, version, key, phase } = this;
+        if (phase === "blocked")
+            return { id, version, phase, reason: this.blocked };
+        return {
+            id,
+            version,
+            ...(key === undefined ? {} : { key }),
+            args,
+            ...(state === undefined ? {} : { state }),
+            phase: phase === "finishing" ? "finishing" : "running",
+        };
+    }
+    /** A new invocation, the current one from now on (a run marked aborted is never invoked: it ends without one). */
+    begin() {
+        const invocation = new Invocation();
+        this.invocation = invocation;
+        return invocation;
+    }
+    /** Whether its current invocation runs (or is reserved): it is not invoked again meanwhile. */
+    get invoked() {
+        return this.invocation?.state === "running";
+    }
+    /**
+     * Resolves once its current invocation ended, at once when none runs (`abort` joins it; one a seal cut off is
+     * fenced and is not waited for); `context` ends only the wait.
+     */
+    over(context) {
+        const invocation = this.invocation;
+        return invocation?.state === "running" ? invocation.over(context) : Promise.resolve();
+    }
+    /** Its waiters get the outcome. */
+    resolve(outcome) {
+        this.#waiters.settle({ kind: "done", outcome });
+    }
+    /** Its waiters get `error`. */
+    reject(error) {
+        this.#waiters.settle({ kind: "failed", error });
+    }
+}
+/**
+ * One invocation of a run's `run`: its fence (`ctx.state.change` admitted while it runs, under its own seal token,
+ * which its attempt's seal fences), its abort signal and the waits for its end. Captured by its ctx and its settling,
+ * so a replaced invocation never acts for its successor.
+ */
+export class Invocation {
+    token = new SealToken();
+    /** `run`'s abort signal: `abort(id)`, the attempt's seal, the object's end and `host.close` fire it. */
+    abort = new AbortController();
+    /** `running` from its reservation until `run` settled or a seal cut it off. */
+    state = "running";
+    #joins = new Joins();
+    /** The fence closes: a change made later is refused. */
+    settle() {
+        this.state = "settled";
+    }
+    /** Nothing of it runs here any more (its `run` settled, or the object ended): every join resolves. */
+    ended() {
+        this.#joins.end();
+    }
+    /** Resolves once it ended; `context` ends only the wait. */
+    over(context) {
+        return this.#joins.wait(context);
+    }
+}
+/** A run's waits for its outcome: each removed when its context aborts; late ones answered at once. */
+class Waiters {
+    /** How the run settled, once it did. */
+    #settled;
+    #waiting = new Set();
+    /** The run settled (once): every wait gets it. */
+    settle(settled) {
+        if (this.#settled !== undefined)
+            return;
+        this.#settled = settled;
+        for (const waiter of this.#waiting)
+            waiter.settle(settled);
+        this.#waiting.clear();
+    }
+    /** A wait for the outcome: at once once settled; otherwise until it settles or `context` aborts. */
+    wait(context) {
+        const settled = this.#settled;
+        if (settled !== undefined)
+            return answer(settled);
+        const signal = context.abortSignal;
+        if (signal?.aborted)
+            return Promise.reject(signal.reason);
+        const { promise, resolve, reject } = Promise.withResolvers();
+        const abort = () => {
+            this.#waiting.delete(waiter);
+            reject(signal?.reason);
+        };
+        const waiter = {
+            settle: (each) => {
+                signal?.removeEventListener("abort", abort);
+                if (each.kind === "done")
+                    resolve(each.outcome);
+                else
+                    reject(each.error);
+            },
+        };
+        this.#waiting.add(waiter);
+        signal?.addEventListener("abort", abort, { once: true });
+        return promise;
+    }
+}
+/** A settled run's answer to a wait. */
+function answer(settled) {
+    return settled.kind === "done" ? Promise.resolve(settled.outcome) : Promise.reject(settled.error);
+}
+/** The waits for a run's invocation to be over: each removed when its context aborts, so a cancelled one keeps nothing. */
+class Joins {
+    #over = false;
+    #waiting = new Set();
+    /** The invocation is over (once): every wait resolves. */
+    end() {
+        if (this.#over)
+            return;
+        this.#over = true;
+        for (const resolve of this.#waiting)
+            resolve();
+        this.#waiting.clear();
+    }
+    /** A wait: at once when over; otherwise until it is or `context` aborts (rejecting with its reason). */
+    wait(context) {
+        if (this.#over)
+            return Promise.resolve();
+        const signal = context.abortSignal;
+        if (signal?.aborted)
+            return Promise.reject(signal.reason);
+        const { promise, resolve, reject } = Promise.withResolvers();
+        const abort = () => {
+            this.#waiting.delete(done);
+            reject(signal?.reason);
+        };
+        const done = () => {
+            signal?.removeEventListener("abort", abort);
+            resolve();
+        };
+        this.#waiting.add(done);
+        signal?.addEventListener("abort", abort, { once: true });
+        return promise;
+    }
+}
+//# sourceMappingURL=run.js.map

package/dist/jobs/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/jobs/run.ts"],"names":[],"mappings":"AAAA,qHAAqH;AACrH,qHAAqH;AACrH,sHAAsH;AACtH,mBAAmB;AAInB,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AA0CrD,kHAAkH;AAClH,MAAM,OAAO,MAAM;IACT,EAAE,CAAS;IACpB,qFAAqF;IAC5E,OAAO,CAAS;IACzB,8EAA8E;IACrE,WAAW,CAAS;IACpB,GAAG,CAAqB;IACxB,IAAI,CAAY;IAChB,MAAM,CAAkB;IACjC,gHAAgH;IAChH,MAAM,CAA2F;IACjG,6GAA6G;IAC7G,YAAY,CAAoB;IAChC,yGAAyG;IACzG,UAAU,CAAyB;IACnC,KAAK,CAAQ;IACb,sFAAsF;IACtF,QAAQ,GAAG,CAAC,CAAC;IACb,2FAA2F;IAC3F,cAAc,GAAG,CAAC,CAAC;IACnB,+GAA+G;IAC/G,WAAW,GAAG,KAAK,CAAC;IACpB,+GAA+G;IAC/G,QAAQ,GAAG,KAAK,CAAC;IACjB,OAAO,CAA4B;IACnC;;;;OAIG;IACM,KAAK,CAAiD;IAC/D,iEAAiE;IACjE,OAAO,CAAyB;IAChC,2GAA2G;IAC3G,KAAK,CAAwB;IAC7B,oGAAoG;IAC3F,QAAQ,GAAG,IAAI,OAAO,EAAE,CAAC;IAElC,YACC,EAAU,EACV,OAAe,EACf,WAAmB,EACnB,GAAuB,EACvB,IAAe,EACf,KAAY,EACZ,KAA0C;QAE1C,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,CAAC,MAAM,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;IACnE,CAAC;IAED;;;;OAIG;IACH,QAAQ,CAAC,KAA4B,EAAE,IAAe;QACrD,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;QACzC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,OAAQ,EAAE,CAAC;QAC9E,OAAO;YACN,EAAE;YACF,OAAO;YACP,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;YACrC,IAAI;YACJ,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;YACzC,KAAK,EAAE,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;SACtD,CAAC;IACH,CAAC;IAED,kHAAkH;IAClH,KAAK;QACJ,MAAM,UAAU,GAAG,IAAI,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,OAAO,UAAU,CAAC;IACnB,CAAC;IAED,+FAA+F;IAC/F,IAAI,OAAO;QACV,OAAO,IAAI,CAAC,UAAU,EAAE,KAAK,KAAK,SAAS,CAAC;IAC7C,CAAC;IAED;;;OAGG;IACH,IAAI,CAAC,OAAgB;QACpB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;QACnC,OAAO,UAAU,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;IACvF,CAAC;IAED,mCAAmC;IACnC,OAAO,CAAC,OAAmB;QAC1B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IACjD,CAAC;IAED,+BAA+B;IAC/B,MAAM,CAAC,KAAiB;QACvB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IACjD,CAAC;CACD;AAED;;;;GAIG;AACH,MAAM,OAAO,UAAU;IACb,KAAK,GAAG,IAAI,SAAS,EAAE,CAAC;IACjC,wGAAwG;IAC/F,KAAK,GAAG,IAAI,eAAe,EAAE,CAAC;IACvC,+EAA+E;IAC/E,KAAK,GAA0B,SAAS,CAAC;IAChC,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;IAE9B,wDAAwD;IACxD,MAAM;QACL,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;IACxB,CAAC;IAED,sGAAsG;IACtG,KAAK;QACJ,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC;IAED,4DAA4D;IAC5D,IAAI,CAAC,OAAgB;QACpB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC;CACD;AAED,uGAAuG;AACvG,MAAM,OAAO;IACZ,wCAAwC;IACxC,QAAQ,CAAqB;IACpB,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAEtC,kDAAkD;IAClD,MAAM,CAAC,OAAe;QACrB,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAE,OAAO;QACxC,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC3D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;IACvB,CAAC;IAED,oGAAoG;IACpG,IAAI,CAAC,OAAgB;QACpB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;QACnC,IAAI,MAAM,EAAE,OAAO;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC1D,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,EAAc,CAAC;QACzE,MAAM,KAAK,GAAG,GAAS,EAAE;YACxB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC7B,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACxB,CAAC,CAAC;QACF,MAAM,MAAM,GAAW;YACtB,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;gBAChB,MAAM,EAAE,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;oBAC3C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzB,CAAC;SACD,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,EAAE,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,OAAO,OAAO,CAAC;IAChB,CAAC;CACD;AAED,wCAAwC;AACxC,SAAS,MAAM,CAAC,OAAe;IAC9B,OAAO,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACnG,CAAC;AAED,2HAA2H;AAC3H,MAAM,KAAK;IACV,KAAK,GAAG,KAAK,CAAC;IACL,QAAQ,GAAG,IAAI,GAAG,EAAc,CAAC;IAE1C,0DAA0D;IAC1D,GAAG;QACF,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO;QACvB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAC;QAC/C,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;IACvB,CAAC;IAED,wGAAwG;IACxG,IAAI,CAAC,OAAgB;QACpB,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;QACnC,IAAI,MAAM,EAAE,OAAO;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC1D,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,EAAQ,CAAC;QACnE,MAAM,KAAK,GAAG,GAAS,EAAE;YACxB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3B,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACxB,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,GAAS,EAAE;YACvB,MAAM,EAAE,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YAC5C,OAAO,EAAE,CAAC;QACX,CAAC,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,EAAE,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,OAAO,OAAO,CAAC;IAChB,CAAC;CACD","sourcesContent":["// One run of a job (§15, slice 6b §4.1): its record (id, version, key, args, phase, restarts, finish failures, abort\n// mark, outcome), its current invocation (the fence of its seal token, its abort signal, the end an abort joins: one\n// per invocation, as a persisted run is invoked again after a seal, R3), its `running` entry and the `Run` handle its\n// callers wait on.\n\nimport type { Context } from \"../context/index.ts\";\nimport type { ChordError } from \"../data/index.ts\";\nimport { SealToken } from \"../documents/internal.ts\";\nimport type { JsonValue } from \"../json.ts\";\nimport type { Outcome } from \"./definition.ts\";\n\n/** A started run as its caller holds it: its id and a wait for its outcome. */\nexport interface Run<O> {\n\treadonly id: string;\n\t/**\n\t * Resolves with the outcome once `finish` committed (also without a `finish`); a blocked run keeps waiting, a dropped\n\t * one rejects `aborted`, the object's end rejects with its error; `context` ends only this wait, which then keeps\n\t * nothing of it. A rejection's error keeps its stack's receivers (the transaction that ended the run) until its\n\t * `stack` is read (V8).\n\t */\n\toutcome(context: Context): Promise<O>;\n}\n\n/** A run's outcome, as Chord keeps it whatever the job's types. */\nexport type AnyOutcome = Outcome<JsonValue, unknown, JsonValue | undefined>;\n\n/**\n * Where a run's record stands. A persisted run is `pending` from its start's commit until its reservation commit\n * (`running`, then its `run` starts), `stopped` once a clean stop cut it off; an in-memory run is `running` from its\n * start's commit. `finishing` once its outcome is recorded, `blocked` after five failed finishes or for another\n * version.\n */\nexport type Phase = \"pending\" | \"running\" | \"stopped\" | \"finishing\" | \"blocked\";\n\n/**\n * Why a run is blocked: its `finish` failed five times in a row, or its version is not the code's (stored by another\n * job version or fingerprint, of a newer version or an older one without an adapter, or of a job the code no longer\n * declares, slice 7b §8).\n */\nexport type BlockedReason = \"finish_failed\" | \"version\";\n\n/** How a run settled for its waiters. */\ntype Answer =\n\t| { readonly kind: \"done\"; readonly outcome: AnyOutcome }\n\t| { readonly kind: \"failed\"; readonly error: ChordError };\n\n/** One wait for a run's outcome, removed when its context aborts. */\ntype Waiter = { readonly settle: (settled: Answer) => void };\n\n/** One run: changed only by its job, inside its transactions' commit steps (records) and after them (actions). */\nexport class JobRun {\n\treadonly id: string;\n\t/** The job version it was started with: it keeps it across reloads (slice 7b §8). */\n\treadonly version: number;\n\t/** The fingerprint of its job version (a persisted run's record keeps it). */\n\treadonly fingerprint: string;\n\treadonly key: string | undefined;\n\treadonly args: JsonValue;\n\treadonly handle: Run<AnyOutcome>;\n\t/** Its args and outcome mapped forwards to the job's current version (once per run and version), when older. */\n\tmapped: { readonly version: number; readonly args: JsonValue; outcome?: AnyOutcome } | undefined;\n\t/** A persisted run blocked for its version at its load: the phase its record had, resumed when unblocked. */\n\tblockedPhase: Phase | undefined;\n\t/** Its current invocation, from its reservation (or its start in memory) on; a later one replaces it. */\n\tinvocation: Invocation | undefined;\n\tphase: Phase;\n\t/** A persisted run's crashes in a row while running (D6); reset by a state change. */\n\trestarts = 0;\n\t/** Failed finishes in a row (stored for a persisted run, so they count across a crash). */\n\tfinishFailures = 0;\n\t/** Set by `abort(id)` (stored for a persisted run, D7): a run not invoked yet ends `aborted` without `run`. */\n\tabortMarked = false;\n\t/** A persisted run cut off by a crash or a clean stop, to be resumed per its job's `resume` (no new start). */\n\tresuming = false;\n\tblocked: BlockedReason | undefined;\n\t/**\n\t * The start's trace carrier, when the adapter propagates (stored for a persisted run): its run and finish spans are\n\t * children of it, in a new attempt and a new process too (a carrier, not the span: a settled span starts no\n\t * recorded children).\n\t */\n\treadonly trace: { readonly [key: string]: string } | undefined;\n\t/** What it ended with, once recorded (finishing and blocked). */\n\toutcome: AnyOutcome | undefined;\n\t/** Its entry in `running`, while its record exists; replaced when its record or state document changes. */\n\tentry: JsonValue | undefined;\n\t/** Its waiters: apart from the run, so a handle kept by a caller keeps only how the run settled. */\n\treadonly #waiters = new Waiters();\n\n\tconstructor(\n\t\tid: string,\n\t\tversion: number,\n\t\tfingerprint: string,\n\t\tkey: string | undefined,\n\t\targs: JsonValue,\n\t\tphase: Phase,\n\t\ttrace?: { readonly [key: string]: string },\n\t) {\n\t\tthis.id = id;\n\t\tthis.version = version;\n\t\tthis.fingerprint = fingerprint;\n\t\tthis.key = key;\n\t\tthis.args = args;\n\t\tthis.phase = phase;\n\t\tthis.trace = trace;\n\t\tconst waiters = this.#waiters;\n\t\tthis.handle = { id, outcome: (context) => waiters.wait(context) };\n\t}\n\n\t/**\n\t * Its `running` entry for its current record, `state` (the job's state document, `undefined` without one) and\n\t * `args` (mapped forwards for an older version): a pending or stopped run shows as `running` (it runs, or will run\n\t * again).\n\t */\n\tentryFor(state: JsonValue | undefined, args: JsonValue): JsonValue {\n\t\tconst { id, version, key, phase } = this;\n\t\tif (phase === \"blocked\") return { id, version, phase, reason: this.blocked! };\n\t\treturn {\n\t\t\tid,\n\t\t\tversion,\n\t\t\t...(key === undefined ? {} : { key }),\n\t\t\targs,\n\t\t\t...(state === undefined ? {} : { state }),\n\t\t\tphase: phase === \"finishing\" ? \"finishing\" : \"running\",\n\t\t};\n\t}\n\n\t/** A new invocation, the current one from now on (a run marked aborted is never invoked: it ends without one). */\n\tbegin(): Invocation {\n\t\tconst invocation = new Invocation();\n\t\tthis.invocation = invocation;\n\t\treturn invocation;\n\t}\n\n\t/** Whether its current invocation runs (or is reserved): it is not invoked again meanwhile. */\n\tget invoked(): boolean {\n\t\treturn this.invocation?.state === \"running\";\n\t}\n\n\t/**\n\t * Resolves once its current invocation ended, at once when none runs (`abort` joins it; one a seal cut off is\n\t * fenced and is not waited for); `context` ends only the wait.\n\t */\n\tover(context: Context): Promise<void> {\n\t\tconst invocation = this.invocation;\n\t\treturn invocation?.state === \"running\" ? invocation.over(context) : Promise.resolve();\n\t}\n\n\t/** Its waiters get the outcome. */\n\tresolve(outcome: AnyOutcome): void {\n\t\tthis.#waiters.settle({ kind: \"done\", outcome });\n\t}\n\n\t/** Its waiters get `error`. */\n\treject(error: ChordError): void {\n\t\tthis.#waiters.settle({ kind: \"failed\", error });\n\t}\n}\n\n/**\n * One invocation of a run's `run`: its fence (`ctx.state.change` admitted while it runs, under its own seal token,\n * which its attempt's seal fences), its abort signal and the waits for its end. Captured by its ctx and its settling,\n * so a replaced invocation never acts for its successor.\n */\nexport class Invocation {\n\treadonly token = new SealToken();\n\t/** `run`'s abort signal: `abort(id)`, the attempt's seal, the object's end and `host.close` fire it. */\n\treadonly abort = new AbortController();\n\t/** `running` from its reservation until `run` settled or a seal cut it off. */\n\tstate: \"running\" | \"settled\" = \"running\";\n\treadonly #joins = new Joins();\n\n\t/** The fence closes: a change made later is refused. */\n\tsettle(): void {\n\t\tthis.state = \"settled\";\n\t}\n\n\t/** Nothing of it runs here any more (its `run` settled, or the object ended): every join resolves. */\n\tended(): void {\n\t\tthis.#joins.end();\n\t}\n\n\t/** Resolves once it ended; `context` ends only the wait. */\n\tover(context: Context): Promise<void> {\n\t\treturn this.#joins.wait(context);\n\t}\n}\n\n/** A run's waits for its outcome: each removed when its context aborts; late ones answered at once. */\nclass Waiters {\n\t/** How the run settled, once it did. */\n\t#settled: Answer | undefined;\n\treadonly #waiting = new Set<Waiter>();\n\n\t/** The run settled (once): every wait gets it. */\n\tsettle(settled: Answer): void {\n\t\tif (this.#settled !== undefined) return;\n\t\tthis.#settled = settled;\n\t\tfor (const waiter of this.#waiting) waiter.settle(settled);\n\t\tthis.#waiting.clear();\n\t}\n\n\t/** A wait for the outcome: at once once settled; otherwise until it settles or `context` aborts. */\n\twait(context: Context): Promise<AnyOutcome> {\n\t\tconst settled = this.#settled;\n\t\tif (settled !== undefined) return answer(settled);\n\t\tconst signal = context.abortSignal;\n\t\tif (signal?.aborted) return Promise.reject(signal.reason);\n\t\tconst { promise, resolve, reject } = Promise.withResolvers<AnyOutcome>();\n\t\tconst abort = (): void => {\n\t\t\tthis.#waiting.delete(waiter);\n\t\t\treject(signal?.reason);\n\t\t};\n\t\tconst waiter: Waiter = {\n\t\t\tsettle: (each) => {\n\t\t\t\tsignal?.removeEventListener(\"abort\", abort);\n\t\t\t\tif (each.kind === \"done\") resolve(each.outcome);\n\t\t\t\telse reject(each.error);\n\t\t\t},\n\t\t};\n\t\tthis.#waiting.add(waiter);\n\t\tsignal?.addEventListener(\"abort\", abort, { once: true });\n\t\treturn promise;\n\t}\n}\n\n/** A settled run's answer to a wait. */\nfunction answer(settled: Answer): Promise<AnyOutcome> {\n\treturn settled.kind === \"done\" ? Promise.resolve(settled.outcome) : Promise.reject(settled.error);\n}\n\n/** The waits for a run's invocation to be over: each removed when its context aborts, so a cancelled one keeps nothing. */\nclass Joins {\n\t#over = false;\n\treadonly #waiting = new Set<() => void>();\n\n\t/** The invocation is over (once): every wait resolves. */\n\tend(): void {\n\t\tif (this.#over) return;\n\t\tthis.#over = true;\n\t\tfor (const resolve of this.#waiting) resolve();\n\t\tthis.#waiting.clear();\n\t}\n\n\t/** A wait: at once when over; otherwise until it is or `context` aborts (rejecting with its reason). */\n\twait(context: Context): Promise<void> {\n\t\tif (this.#over) return Promise.resolve();\n\t\tconst signal = context.abortSignal;\n\t\tif (signal?.aborted) return Promise.reject(signal.reason);\n\t\tconst { promise, resolve, reject } = Promise.withResolvers<void>();\n\t\tconst abort = (): void => {\n\t\t\tthis.#waiting.delete(done);\n\t\t\treject(signal?.reason);\n\t\t};\n\t\tconst done = (): void => {\n\t\t\tsignal?.removeEventListener(\"abort\", abort);\n\t\t\tresolve();\n\t\t};\n\t\tthis.#waiting.add(done);\n\t\tsignal?.addEventListener(\"abort\", abort, { once: true });\n\t\treturn promise;\n\t}\n}\n"]}

package/dist/jobs/running.d.ts

@@ -0,0 +1,44 @@
+import type { Context } from "../context/index.ts";
+import type { Op } from "../delta/index.ts";
+import type { JsonValue } from "../json.ts";
+import { type Batch, Source } from "../state/internal.ts";
+import type { BlockedReason } from "./run.ts";
+/**
+ * One entry of `running`: a running or finishing run with its args (and state, when the job has a state document), or
+ * a blocked run, which carries neither (it may be of another version than the code).
+ */
+export type RunningEntry<A, S> = ({
+    readonly id: string;
+    readonly version: number;
+    readonly key?: string;
+    readonly args: A;
+    readonly phase: "running" | "finishing";
+} & ([S] extends [undefined] ? unknown : {
+    readonly state: S;
+})) | {
+    readonly id: string;
+    readonly version: number;
+    readonly phase: "blocked";
+    readonly reason: BlockedReason;
+};
+/**
+ * The list behind `running`. Every change copies the list (O(unsettled runs)) and, while it is watched, records its
+ * ops; the batch delivers them as one frame. Unwatched, no op is built.
+ */
+export declare class Running extends Source {
+    #private;
+    constructor(batch: Batch, label: string);
+    get value(): JsonValue;
+    /** Appends the entry of a new run. */
+    add(entry: JsonValue): void;
+    /** Replaces a run's entry `before` by `after` (its record changed). */
+    replace(before: JsonValue, after: JsonValue): void;
+    /** Replaces a run's entry `before` by `after`, whose state document changed by `ops`. */
+    stateChanged(before: JsonValue, after: JsonValue, ops: readonly Op[]): void;
+    /** Removes a run's entry. */
+    remove(entry: JsonValue): void;
+    deliver(context: Context): void;
+    /** Its object ended: every watch ends, and the list goes. */
+    end(): void;
+}
+//# sourceMappingURL=running.d.ts.map

package/dist/jobs/running.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"running.d.ts","sourceRoot":"","sources":["../../src/jobs/running.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAEnD,OAAO,KAAK,EAAgB,EAAE,EAAQ,MAAM,mBAAmB,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAE9C;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,CAAC,IAC1B,CAAC;IACD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,CAAC;CACvC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,OAAO,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC,GAChE;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAA;CAAE,CAAC;AAIhH;;;GAGG;AACH,qBAAa,OAAQ,SAAQ,MAAM;;IAUlC,YAAY,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAGtC;IAED,IAAI,KAAK,IAAI,SAAS,CAGrB;IAED,sCAAsC;IACtC,GAAG,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAI1B;IAED,uEAAuE;IACvE,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,CAGjD;IAED,yFAAyF;IACzF,YAAY,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,CAG1E;IAED,6BAA6B;IAC7B,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAK7B;IAED,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAK9B;IAED,6DAA6D;IAC7D,GAAG,IAAI,IAAI,CAIV;CAgCD"}

package/dist/jobs/running.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"running.js","sourceRoot":"","sources":["../../src/jobs/running.ts"],"names":[],"mappings":"AAAA,sHAAsH;AACtH,sHAAsH;AACtH,qGAAqG;AAGrG,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAc,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAiB1D,MAAM,KAAK,GAAyB,EAAE,CAAC;AAEvC;;;GAGG;AACH,MAAM,OAAO,OAAQ,SAAQ,MAAM;IAClC,yBAAyB;IAChB,MAAM,CAAS;IACxB,4GAA4G;IAC5G,KAAK,GAAqC,KAAK,CAAC;IAChD,uEAAuE;IACvE,IAAI,GAAS,EAAE,CAAC;IAChB,gEAAgE;IAChE,OAAO,GAAG,KAAK,CAAC;IAEhB,YAAY,KAAY,EAAE,KAAa;QACtC,KAAK,CAAC,KAAK,CAAC,CAAC;QACb,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACrB,CAAC;IAED,IAAI,KAAK;QACR,mEAAmE;QACnE,OAAO,IAAI,CAAC,QAAQ,EAAe,CAAC;IACrC,CAAC;IAED,sCAAsC;IACtC,GAAG,CAAC,KAAgB;QACnB,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,EAAE,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,IAAI,CAAC,KAAK,EAAE;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED,uEAAuE;IACvE,OAAO,CAAC,MAAiB,EAAE,KAAgB;QAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC5C,IAAI,IAAI,CAAC,KAAK,EAAE;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,yFAAyF;IACzF,YAAY,CAAC,MAAiB,EAAE,KAAgB,EAAE,GAAkB;QACnE,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC5C,IAAI,IAAI,CAAC,KAAK,EAAE;YAAE,KAAK,MAAM,EAAE,IAAI,GAAG;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACrF,CAAC;IAED,6BAA6B;IAC7B,MAAM,CAAC,KAAgB;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,KAAK,EAAE;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,CAAC,OAAgB;QACvB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;QACf,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAe,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACjE,CAAC;IAED,6DAA6D;IAC7D,GAAG;QACF,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QACvB,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;QACf,IAAI,CAAC,UAAU,EAAE,CAAC;IACnB,CAAC;IAED,QAAQ;QACP,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,SAAS,EAAE,CAAC,CAAC;QAC/F,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC;IACnB,CAAC;IAED,iFAAiF;IACjF,SAAS,CAAC,MAAiB,EAAE,KAAgB;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACrC,OAAO,KAAK,CAAC;IACd,CAAC;IAED;;;OAGG;IACH,KAAK;QACJ,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACnB,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,KAAK,CAAC;QACd,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACnB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;YACpB,IAAI,CAAC,OAAO,EAAE,CAAC;QAChB,CAAC;QACD,OAAO,IAAI,CAAC;IACb,CAAC;CACD;AAED,0FAA0F;AAC1F,SAAS,KAAK,CAAC,MAAiC,EAAE,EAAM;IACvD,MAAM,EAAE,GAAG,CAAC,IAAU,EAAgB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC;IACzE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACf,KAAK,GAAG;YACP,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,KAAK,GAAG;YACP,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,KAAK,GAAG;YACP,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzB,KAAK,GAAG;YACP,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,KAAK,GAAG;YACP,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,KAAK,GAAG;YACP,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,KAAK,GAAG;YACP,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;AACF,CAAC","sourcesContent":["// A job's `running` (§15): a JSON watchable of its unsettled runs, one entry per run in start order, tagged by phase.\n// It is a source of its own (keyed state documents publish nothing): the job tells it each change in the commit step,\n// and a frame carries exactly the ops of those changes, a run's state ops re-pathed under its entry.\n\nimport type { Context } from \"../context/index.ts\";\nimport { ChordError } from \"../data/index.ts\";\nimport type { NonEmptyPath, Op, Path } from \"../delta/index.ts\";\nimport type { JsonValue } from \"../json.ts\";\nimport { type Batch, Source } from \"../state/internal.ts\";\nimport type { BlockedReason } from \"./run.ts\";\n\n/**\n * One entry of `running`: a running or finishing run with its args (and state, when the job has a state document), or\n * a blocked run, which carries neither (it may be of another version than the code).\n */\nexport type RunningEntry<A, S> =\n\t| ({\n\t\t\treadonly id: string;\n\t\t\treadonly version: number;\n\t\t\treadonly key?: string;\n\t\t\treadonly args: A;\n\t\t\treadonly phase: \"running\" | \"finishing\";\n\t  } & ([S] extends [undefined] ? unknown : { readonly state: S }))\n\t| { readonly id: string; readonly version: number; readonly phase: \"blocked\"; readonly reason: BlockedReason };\n\nconst EMPTY: readonly JsonValue[] = [];\n\n/**\n * The list behind `running`. Every change copies the list (O(unsettled runs)) and, while it is watched, records its\n * ops; the batch delivers them as one frame. Unwatched, no op is built.\n */\nexport class Running extends Source {\n\t/** The job in errors. */\n\treadonly #label: string;\n\t/** `undefined` once its object ended: reads throw `released`, and no ended run's args or state are kept. */\n\t#list: readonly JsonValue[] | undefined = EMPTY;\n\t/** The ops of the current batch's changes, kept only while watched. */\n\t#ops: Op[] = [];\n\t/** Whether the current batch listed this source for a frame. */\n\t#listed = false;\n\n\tconstructor(batch: Batch, label: string) {\n\t\tsuper(batch);\n\t\tthis.#label = label;\n\t}\n\n\tget value(): JsonValue {\n\t\t// A list of JSON entries, shared and never mutated once published.\n\t\treturn this.#current() as JsonValue;\n\t}\n\n\t/** Appends the entry of a new run. */\n\tadd(entry: JsonValue): void {\n\t\tconst list = [...this.#current(), entry];\n\t\tthis.#list = list;\n\t\tif (this.#mark()) this.#ops.push([\"p\", [], list.length - 1, 0, [entry]]);\n\t}\n\n\t/** Replaces a run's entry `before` by `after` (its record changed). */\n\treplace(before: JsonValue, after: JsonValue): void {\n\t\tconst index = this.#replaced(before, after);\n\t\tif (this.#mark()) this.#ops.push([\"s\", [index], after]);\n\t}\n\n\t/** Replaces a run's entry `before` by `after`, whose state document changed by `ops`. */\n\tstateChanged(before: JsonValue, after: JsonValue, ops: readonly Op[]): void {\n\t\tconst index = this.#replaced(before, after);\n\t\tif (this.#mark()) for (const op of ops) this.#ops.push(under([index, \"state\"], op));\n\t}\n\n\t/** Removes a run's entry. */\n\tremove(entry: JsonValue): void {\n\t\tconst list = this.#current();\n\t\tconst index = list.indexOf(entry);\n\t\tthis.#list = list.toSpliced(index, 1);\n\t\tif (this.#mark()) this.#ops.push([\"p\", [], index, 1, []]);\n\t}\n\n\tdeliver(context: Context): void {\n\t\tconst ops = this.#ops;\n\t\tthis.#ops = [];\n\t\tthis.#listed = false;\n\t\tthis.publish(this.#current() as JsonValue, ops, false, context);\n\t}\n\n\t/** Its object ended: every watch ends, and the list goes. */\n\tend(): void {\n\t\tthis.#list = undefined;\n\t\tthis.#ops = [];\n\t\tthis.endWatches();\n\t}\n\n\t#current(): readonly JsonValue[] {\n\t\tif (this.#list === undefined) {\n\t\t\tthrow new ChordError({ code: \"released\", reason: \"ended\", message: `${this.#label}: ended` });\n\t\t}\n\t\treturn this.#list;\n\t}\n\n\t/** Copies the list with `after` in the place of `before`; returns that place. */\n\t#replaced(before: JsonValue, after: JsonValue): number {\n\t\tconst list = this.#current();\n\t\tconst index = list.indexOf(before);\n\t\tthis.#list = list.with(index, after);\n\t\treturn index;\n\t}\n\n\t/**\n\t * Records that the list changed, in the batch running now: derives over it are marked; while watched it is listed\n\t * once per batch for a frame. Returns whether the change's ops are to be recorded (only while watched).\n\t */\n\t#mark(): boolean {\n\t\tif (!this.watched) {\n\t\t\tthis.changed();\n\t\t\treturn false;\n\t\t}\n\t\tif (!this.#listed) {\n\t\t\tthis.#listed = true;\n\t\t\tthis.changed();\n\t\t}\n\t\treturn true;\n\t}\n}\n\n/** `op` of a value at `prefix` inside a larger one: a replacement becomes a set there. */\nfunction under(prefix: readonly [number, string], op: Op): Op {\n\tconst at = (path: Path): NonEmptyPath => [prefix[0], prefix[1], ...path];\n\tswitch (op[0]) {\n\t\tcase \"r\":\n\t\t\treturn [\"s\", prefix, op[1]];\n\t\tcase \"s\":\n\t\t\treturn [\"s\", at(op[1]), op[2]];\n\t\tcase \"d\":\n\t\t\treturn [\"d\", at(op[1])];\n\t\tcase \"a\":\n\t\t\treturn [\"a\", at(op[1]), op[2]];\n\t\tcase \"t\":\n\t\t\treturn [\"t\", at(op[1]), op[2]];\n\t\tcase \"p\":\n\t\t\treturn [\"p\", at(op[1]), op[2], op[3], op[4]];\n\t\tcase \"m\":\n\t\t\treturn [\"m\", at(op[1]), op[2]];\n\t}\n}\n"]}

package/dist/jobs/stored.d.ts

@@ -0,0 +1,63 @@
+import type { JsonObject } from "../documents/index.ts";
+import type { JsonValue } from "../json.ts";
+import type { WireError } from "../link/message.ts";
+import type { AnyOutcome, BlockedReason, JobRun, Phase } from "./run.ts";
+/** How a run failed, as stored: a thrown error in the wire format, an abort, the restart limit. */
+export type StoredJobError = {
+    readonly kind: "threw";
+    readonly error: WireError;
+} | {
+    readonly kind: "aborted";
+    readonly reason: "abort" | "reload" | "restart";
+} | {
+    readonly kind: "restart_limit";
+    readonly restarts: number;
+};
+/** A run's outcome as stored: its result, or how it failed. */
+export type StoredOutcome = {
+    readonly kind: "done";
+    readonly result: JsonValue;
+} | {
+    readonly kind: "failed";
+    readonly error: StoredJobError;
+};
+/** The record document of one unsettled persisted run. */
+export type StoredRun = {
+    readonly version: number;
+    readonly fingerprint: string;
+    readonly args: JsonValue;
+    readonly key?: string;
+    readonly trace?: {
+        readonly [key: string]: string;
+    };
+    readonly phase: Phase;
+    readonly restarts: number;
+    readonly finishFailures: number;
+    readonly abort?: true;
+    readonly blocked?: BlockedReason;
+    readonly outcome?: StoredOutcome;
+};
+/**
+ * The record documents' version and fingerprint (Chord's own documents: no definition, no `migrate`; a new record
+ * shape raises the version).
+ */
+export declare const RUN_RECORD: {
+    readonly version: 1;
+    readonly fingerprint: "chord.job-run.1";
+};
+/** What a change sets on a run's record; the rest is the run's own. */
+export type StoredFields = {
+    readonly phase?: Phase;
+    readonly restarts?: number;
+    readonly finishFailures?: number;
+    readonly abortMarked?: true;
+    readonly blocked?: BlockedReason;
+    readonly outcome?: AnyOutcome;
+};
+/** `run`'s record as stored with `fields` changed (its own version and fingerprint). */
+export declare function storedRun(run: JobRun, fields?: StoredFields): StoredRun;
+/** The outcome a stored one stands for, rebuilt as the in-memory one (`id`, `args` and `state` from the run). */
+export declare function outcomeOf(stored: StoredOutcome, id: string, args: JsonValue, state: JsonValue | undefined): AnyOutcome;
+/** A stored record as Chord wrote it (the record definition's value, a JSON object). */
+export declare function recordOf(value: JsonObject): StoredRun;
+//# sourceMappingURL=stored.d.ts.map

package/dist/jobs/stored.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stored.d.ts","sourceRoot":"","sources":["../../src/jobs/stored.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAEpD,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEzE,mGAAmG;AACnG,MAAM,MAAM,cAAc,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,QAAQ,GAAG,SAAS,CAAA;CAAE,GAC7E;IAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjE,+DAA+D;AAC/D,MAAM,MAAM,aAAa,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;CAAE,CAAC;AAE/D,0DAA0D;AAC1D,MAAM,MAAM,SAAS,GAAG;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAC;IACpD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC;CACjC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,UAAU;aAAK,OAAO,EAAE,CAAC;aAAE,WAAW,EAAE,iBAAiB;CAAW,CAAC;AAElF,uEAAuE;AACvE,MAAM,MAAM,YAAY,GAAG;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC;CAC9B,CAAC;AAEF,wFAAwF;AACxF,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,GAAE,YAAiB,GAAG,SAAS,CAgB3E;AAkBD,iHAAiH;AACjH,wBAAgB,SAAS,CACxB,MAAM,EAAE,aAAa,EACrB,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,SAAS,EACf,KAAK,EAAE,SAAS,GAAG,SAAS,GAC1B,UAAU,CAKZ;AAED,wFAAwF;AACxF,wBAAgB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,CAGrD"}

package/dist/jobs/stored.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stored.js","sourceRoot":"","sources":["../../src/jobs/stored.ts"],"names":[],"mappings":"AAAA,gHAAgH;AAChH,sHAAsH;AACtH,+GAA+G;AAI/G,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AA+B/D;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,iBAAiB,EAAW,CAAC;AAYlF,wFAAwF;AACxF,MAAM,UAAU,SAAS,CAAC,GAAW,EAAE,MAAM,GAAiB,EAAE;IAC/D,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,GAAG,CAAC;IACvD,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC;IACvG,OAAO;QACN,OAAO;QACP,WAAW;QACX,IAAI;QACJ,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;QACrC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;QACzC,KAAK;QACL,QAAQ;QACR,cAAc;QACd,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChD,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;QAC7C,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;KACrE,CAAC;AACH,CAAC;AAED,uDAAuD;AACvD,SAAS,IAAI,CAAC,GAAW;IACxB,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;IAClE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACjH,CAAC;AAED,oHAAoH;AACpH,SAAS,aAAa,CAAC,OAAmB;IACzC,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAmB,EAAE,CAAC;IAC1F,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;AAC9D,CAAC;AAED,SAAS,WAAW,CAAC,KAAe;IACnC,OAAO,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;AAC1F,CAAC;AAED,iHAAiH;AACjH,MAAM,UAAU,SAAS,CACxB,MAAqB,EACrB,EAAU,EACV,IAAe,EACf,KAA4B;IAE5B,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC5F,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzB,MAAM,OAAO,GAAa,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IAChH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC5D,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,QAAQ,CAAC,KAAiB;IACzC,8CAA8C;IAC9C,OAAO,KAA6B,CAAC;AACtC,CAAC","sourcesContent":["// A persisted run's record (slice 6b §4.1, D5): the document each unsettled run of a persisted job keeps in its\n// object's store (namespace `chord.jobs`, kind the job name, key the run id), and the conversion of an outcome to and\n// from it. Errors are stored in the wire error format, so a `PluginError`'s code, message and details survive.\n\nimport type { JsonObject } from \"../documents/index.ts\";\nimport type { JsonValue } from \"../json.ts\";\nimport { errorFromWire, wireError } from \"../link/internal.ts\";\nimport type { WireError } from \"../link/message.ts\";\nimport type { JobError } from \"./definition.ts\";\nimport type { AnyOutcome, BlockedReason, JobRun, Phase } from \"./run.ts\";\n\n/** How a run failed, as stored: a thrown error in the wire format, an abort, the restart limit. */\nexport type StoredJobError =\n\t| { readonly kind: \"threw\"; readonly error: WireError }\n\t| { readonly kind: \"aborted\"; readonly reason: \"abort\" | \"reload\" | \"restart\" }\n\t| { readonly kind: \"restart_limit\"; readonly restarts: number };\n\n/** A run's outcome as stored: its result, or how it failed. */\nexport type StoredOutcome =\n\t| { readonly kind: \"done\"; readonly result: JsonValue }\n\t| { readonly kind: \"failed\"; readonly error: StoredJobError };\n\n/** The record document of one unsettled persisted run. */\nexport type StoredRun = {\n\treadonly version: number;\n\treadonly fingerprint: string;\n\treadonly args: JsonValue;\n\treadonly key?: string;\n\treadonly trace?: { readonly [key: string]: string };\n\treadonly phase: Phase;\n\treadonly restarts: number;\n\treadonly finishFailures: number;\n\treadonly abort?: true;\n\treadonly blocked?: BlockedReason;\n\treadonly outcome?: StoredOutcome;\n};\n\n/**\n * The record documents' version and fingerprint (Chord's own documents: no definition, no `migrate`; a new record\n * shape raises the version).\n */\nexport const RUN_RECORD = { version: 1, fingerprint: \"chord.job-run.1\" } as const;\n\n/** What a change sets on a run's record; the rest is the run's own. */\nexport type StoredFields = {\n\treadonly phase?: Phase;\n\treadonly restarts?: number;\n\treadonly finishFailures?: number;\n\treadonly abortMarked?: true;\n\treadonly blocked?: BlockedReason;\n\treadonly outcome?: AnyOutcome;\n};\n\n/** `run`'s record as stored with `fields` changed (its own version and fingerprint). */\nexport function storedRun(run: JobRun, fields: StoredFields = {}): StoredRun {\n\tconst { version, fingerprint, args, key, trace } = run;\n\tconst { phase, restarts, finishFailures, abortMarked, blocked, outcome } = { ...pick(run), ...fields };\n\treturn {\n\t\tversion,\n\t\tfingerprint,\n\t\targs,\n\t\t...(key === undefined ? {} : { key }),\n\t\t...(trace === undefined ? {} : { trace }),\n\t\tphase,\n\t\trestarts,\n\t\tfinishFailures,\n\t\t...(abortMarked ? { abort: true as const } : {}),\n\t\t...(blocked === undefined ? {} : { blocked }),\n\t\t...(outcome === undefined ? {} : { outcome: storedOutcome(outcome) }),\n\t};\n}\n\n/** The fields of `run` a record stores that change. */\nfunction pick(run: JobRun): Required<Omit<StoredFields, \"blocked\" | \"outcome\" | \"abortMarked\">> & StoredFields {\n\tconst { phase, restarts, finishFailures, blocked, outcome } = run;\n\treturn { phase, restarts, finishFailures, ...(run.abortMarked ? { abortMarked: true } : {}), blocked, outcome };\n}\n\n/** An outcome as stored: a result as it is (JSON: persisted jobs refuse `bytes()`), an error in the wire format. */\nfunction storedOutcome(outcome: AnyOutcome): StoredOutcome {\n\tif (outcome.kind === \"done\") return { kind: \"done\", result: outcome.result as JsonValue };\n\treturn { kind: \"failed\", error: storedError(outcome.error) };\n}\n\nfunction storedError(error: JobError): StoredJobError {\n\treturn error.kind === \"threw\" ? { kind: \"threw\", error: wireError(error.error) } : error;\n}\n\n/** The outcome a stored one stands for, rebuilt as the in-memory one (`id`, `args` and `state` from the run). */\nexport function outcomeOf(\n\tstored: StoredOutcome,\n\tid: string,\n\targs: JsonValue,\n\tstate: JsonValue | undefined,\n): AnyOutcome {\n\tif (stored.kind === \"done\") return { id, args, state, kind: \"done\", result: stored.result };\n\tconst { error } = stored;\n\tconst rebuilt: JobError = error.kind === \"threw\" ? { kind: \"threw\", error: errorFromWire(error.error) } : error;\n\treturn { id, args, state, kind: \"failed\", error: rebuilt };\n}\n\n/** A stored record as Chord wrote it (the record definition's value, a JSON object). */\nexport function recordOf(value: JsonObject): StoredRun {\n\t// Chord's own document: `storedRun` wrote it.\n\treturn value as unknown as StoredRun;\n}\n"]}

package/dist/link/binary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binary.d.ts","sourceRoot":"","sources":["../../src/link/binary.ts"],"names":[],"mappings":"AAOA,OAAO,EAGN,KAAK,KAAK,EAKV,MAAM,cAAc,CAAC;AAwDtB,0DAA0D;AAC1D,eAAO,MAAM,WAAW,EAAE,KA8BzB,CAAC"}