keri-ts 1.0.0 → 2.0.1

package/esm/keri/npm/src/app/reactor.js

@@ -1,394 +0,0 @@
-import { parse } from "cesr-ts";
-import { action, call, ensure, on, race, resource } from "effection";
-import { Deck } from "../core/deck.js";
-import { Kevery } from "../core/eventing.js";
-import { Kramer } from "../core/kraming.js";
-import { BasicReplyRouteHandler, Revery, Router } from "../core/routing.js";
-import { CredentialStateReceiver } from "../vdr/credential-tsn.js";
-import { RegistryStateReceiver } from "../vdr/registry-tsn.js";
-import { rethrowCleanupFailure } from "./abortable.js";
-import { chunkBytes } from "./byte-source.js";
-import { Exchanger } from "./exchanging.js";
-import { dispatchEnvelope, envelopeFromFrame, queryEnvelopeFromDispatch, } from "./parsering.js";
-import { QueryReplies } from "./query-replies.js";
-import { runtimeTurn } from "./runtime-turn.js";
-/**
- * Shared message-routing component for one `Habery`.
- *
- * KERIpy correspondence:
- * - this is the nearest local correlate to the reactor/doer bundle that owns
- *   parser ingress, `Revery`, `Kevery`, and the reply router
- *
- * Ownership model:
- * - `Reactor` owns transient ingress bytes plus the parser and dispatch seams
- * - protocol processors write a separate Deck; Reactor captures request replies
- *   before publishing ordinary cues to the application flow
- * - durable event/reply state still lives in the `Habery` database, not in
- *   this component
- */
-export class Reactor {
-    constructor(hby, { cues, protocolCues, local = false, tevery, verifier, registry, messagePolicy, kram, now, } = {}) {
-        Object.defineProperty(this, "hby", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "cues", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        /** Protocol output stays private until dispatch/escrow processing finishes. */
-        Object.defineProperty(this, "protocolCues", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        /** Ordinary complete-record queue; callers enter through ingest(). */
-        Object.defineProperty(this, "ingress", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "router", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "revery", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "replyRoutes", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "kevery", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "exchanger", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "local", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        /** Direct request correlation, captured before protocol cues reach application consumers. */
-        Object.defineProperty(this, "replies", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        /** Async protocol handlers and escrow passes share one sequential processor. */
-        Object.defineProperty(this, "busy", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: false
-        });
-        /** Waiting operations retain their position until granted or cancelled. */
-        Object.defineProperty(this, "waiting", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: new Set()
-        });
-        Object.defineProperty(this, "tevery", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "verifier", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "registry", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "registryStates", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "credentialStates", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        this.hby = hby;
-        this.cues = cues ?? new Deck();
-        this.replies = new QueryReplies(this.cues);
-        this.protocolCues = protocolCues ?? new Deck();
-        if (this.protocolCues === this.cues)
-            throw new TypeError("Protocol and application cue flows must be distinct");
-        this.ingress = new Deck();
-        this.router = new Router();
-        this.revery = new Revery(hby.db, { rtr: this.router, cues: this.protocolCues });
-        this.replyRoutes = new BasicReplyRouteHandler(this.revery);
-        this.replyRoutes.registerReplyRoutes(this.router);
-        const kramer = kram ? new Kramer(hby.db, { config: kram, cues: this.protocolCues, now }) : undefined;
-        this.kevery = new Kevery(hby.db, { cues: this.protocolCues, rvy: this.revery, messagePolicy, kramer });
-        this.kevery.registerReplyRoutes(this.router);
-        this.exchanger = new Exchanger(hby, { cues: this.protocolCues, now });
-        this.local = local;
-        this.tevery = tevery;
-        this.verifier = verifier;
-        this.registry = registry;
-        if (tevery) {
-            this.registryStates = new RegistryStateReceiver(tevery, this.revery);
-            this.router.addRoute("/tsn/registry/{aid}", this.registryStates);
-            this.credentialStates = new CredentialStateReceiver(tevery, this.revery);
-            this.router.addRoute("/tsn/credential/{aid}", this.credentialStates);
-        }
-    }
-    /** Whether the complete-record queue still has input to process. */
-    get hasIngress() {
-        return !this.ingress.empty;
-    }
-    /** Own this input and finish dispatch before reading its next complete frame. */
-    *process(source, options = {}) {
-        // deno-lint-ignore no-this-alias -- Generator callbacks have no lexical this.
-        const self = this;
-        const input = call(function* () {
-            const controller = new AbortController();
-            const signal = options.signal ? AbortSignal.any([controller.signal, options.signal]) : controller.signal;
-            try {
-                signal.throwIfAborted();
-                const frames = parse(source(signal));
-                let pending;
-                // This earlier resource joins I/O after dispatch/read children have stopped.
-                yield* ensure(function* () {
-                    try {
-                        if (pending) {
-                            try {
-                                yield* call(() => pending);
-                            }
-                            catch (error) {
-                                rethrowCleanupFailure(error, signal);
-                            }
-                        }
-                    }
-                    finally {
-                        yield* call(() => frames.return());
-                    }
-                });
-                while (true) {
-                    signal.throwIfAborted();
-                    pending = frames.next();
-                    let result;
-                    try {
-                        result = yield* call(() => pending);
-                    }
-                    catch (error) {
-                        pending = undefined; // Already reported; the parser has joined its source cleanup.
-                        throw error;
-                    }
-                    pending = undefined;
-                    signal.throwIfAborted();
-                    if (result.done)
-                        return;
-                    yield* self.dispatch(result.value, options);
-                }
-            }
-            finally {
-                controller.abort();
-            }
-        });
-        if (options.signal) {
-            const signal = options.signal;
-            yield* race([
-                input,
-                call(function* () {
-                    const abort = yield* on(signal, "abort");
-                    signal.throwIfAborted();
-                    yield* abort.next();
-                    throw signal.reason;
-                }),
-            ]);
-        }
-        else
-            yield* input;
-    }
-    /** Process one frame and publish its committed protocol cues before returning decision data. */
-    dispatch(frame, { local = this.local, mailboxAid, escrows = false } = {}) {
-        // deno-lint-ignore no-this-alias -- Generator callbacks have no lexical this.
-        const self = this;
-        return call(function* () {
-            yield* self.acquireProtocol();
-            return yield* call(function* () {
-                try {
-                    const result = yield* dispatchEnvelope(envelopeFromFrame(frame, local), self.revery, self.kevery, self.exchanger, self.tevery, self.verifier, mailboxAid);
-                    if (escrows)
-                        yield* self.advanceEscrows();
-                    return {
-                        ...result,
-                        mailboxQueryAuthorized: result.envelope.serder.route === "mbx"
-                            && self.kevery.isMailboxQueryAuthorized(queryEnvelopeFromDispatch(result.envelope)),
-                    };
-                }
-                finally {
-                    self.publishCues();
-                }
-            });
-        });
-    }
-    /** Capture direct replies before handing ordinary protocol records to the application consumer. */
-    publishCues() {
-        this.replies.capture(this.protocolCues);
-        while (!this.protocolCues.empty)
-            this.cues.push(this.protocolCues.pull());
-    }
-    /** Serialize only protocol processing; cancellation removes waiters and joins active handlers before release. */
-    *acquireProtocol() {
-        // deno-lint-ignore no-this-alias -- Generator callbacks have no lexical this.
-        const self = this;
-        yield* resource(function* (provide) {
-            let acquired = false;
-            try {
-                if (self.busy) {
-                    yield* action((resolve) => {
-                        const grant = () => {
-                            acquired = true;
-                            resolve();
-                        };
-                        self.waiting.add(grant);
-                        return () => {
-                            self.waiting.delete(grant);
-                        };
-                    });
-                }
-                else {
-                    self.busy = true;
-                    acquired = true;
-                }
-                yield* provide();
-            }
-            finally {
-                if (acquired) {
-                    const next = self.waiting.values().next().value;
-                    if (next) {
-                        self.waiting.delete(next);
-                        next();
-                    }
-                    else {
-                        self.busy = false;
-                    }
-                }
-            }
-        });
-    }
-    /**
-     * Queue one complete CESR/KERI record for later parsing.
-     *
-     * This is the transient ingress seam used by both local synthetic messages
-     * and remotely fetched OOBI artifacts.
-     */
-    ingest(bytes) {
-        // Preserve the queued record independently of subsequent producer mutation.
-        this.ingress.push(bytes.slice());
-    }
-    /** Discard ordinary queued records; active input operations own their own lifetime. */
-    clearIngress() {
-        this.ingress.clear();
-    }
-    /** Consume one complete record through the same buffered parser source and dispatch path as network input. */
-    *processBytes(bytes, options = {}) {
-        // Copy already resident input in fixed-size chunks for the parser source.
-        yield* this.process((signal) => chunkBytes(bytes, { signal }), options);
-    }
-    /**
-     * Drain one bounded message-processing pass.
-     *
-     * This mirrors the KERIpy pattern where a doer owns the long-lived loop but
-     * delegates the actual work to a plain drain helper.
-     */
-    *processOnce() {
-        while (!this.ingress.empty)
-            yield* this.processBytes(this.ingress.pull());
-    }
-    /**
-     * Run one bounded escrow-processing pass.
-     *
-     * Current scope:
-     * - KEL escrows through `Kevery.processEscrows()`
-     * - reply escrows through `Revery.processEscrowReply()`
-     */
-    *processEscrowsOnce() {
-        // deno-lint-ignore no-this-alias -- Generator callbacks have no lexical this.
-        const self = this;
-        yield* call(function* () {
-            yield* self.acquireProtocol();
-            yield* call(function* () {
-                try {
-                    yield* self.advanceEscrows();
-                }
-                finally {
-                    self.publishCues();
-                }
-            });
-        });
-    }
-    /** Advance component escrows while this protocol operation owns serialization. */
-    *advanceEscrows() {
-        this.kevery.kramer?.prune();
-        this.kevery.processEscrows();
-        this.revery.processEscrowReply();
-        this.tevery?.processEscrows();
-        this.registryStates?.processEscrows();
-        this.credentialStates?.processEscrows();
-        this.verifier?.processEscrows();
-        this.registry?.processEscrows();
-        yield* this.exchanger.processEscrows();
-    }
-    /**
-     * Continuous message doer for command hosts that keep the runtime alive.
-     *
-     * This is the Effection equivalent of a KERIpy `msgDo`: drain ingress, yield
-     * to the scheduler, and repeat indefinitely.
-     */
-    *msgDo() {
-        while (true) {
-            yield* this.processOnce();
-            yield* runtimeTurn();
-        }
-    }
-    /**
-     * Continuous escrow doer for the long-lived runtime host.
-     *
-     * KERIpy correspondence:
-     * - mirrors the dedicated `escrowDo` loop rather than folding escrow
-     *   processing into parser ingress
-     */
-    *escrowDo() {
-        while (true) {
-            yield* this.processEscrowsOnce();
-            yield* runtimeTurn();
-        }
-    }
-}