@maiaos/node 0.1.0-canary.44938d4.manual.1

package/dist/terminal/storage/live-controller-lease.js

@@ -0,0 +1,316 @@
+import { liveTerminalControllerAcquireResultSchema, liveTerminalControllerLeaseSchema, liveTerminalControllerReleaseResultSchema, MAX_TERMINAL_CONTROLLER_LEASE_MS, MAX_TERMINAL_MUTATION_SEQUENCE, } from "@maiaos/protocol";
+import { makeNodeRuntimeError } from "../../runtime/errors.js";
+import { commitCommandWithReceiptMutation, findPersistedCommand, } from "../../storage/journal.js";
+import { transitionControllerLease, transitionControllerRequest, } from "../live-lifecycle.js";
+import { commandForResult, LOCAL_USER_ACTOR_ID, newId, plusMilliseconds, } from "./live-command-shared.js";
+import { normalizePendingPositions, readControllerRequestRowByIdentity, reconcileControllerPolicyInTransaction, reconcileLiveTerminalControllerPolicy, } from "./live-controller-policy.js";
+import { duplicateReceipt, insertPolicyMutation, policyReceipt, pseudoPersistedCommandResult, } from "./live-controller-shared.js";
+import { LIVE_TERMINAL_EXECUTION_CAPABILITY, readLiveTerminalSession, } from "./live-record.js";
+import { advanceLiveTerminalSqliteInteger, nextLiveTerminalBoundedSequence, } from "./sqlite-counter.js";
+const nextControllerEpoch = (database, terminalId) => {
+    const row = database
+        .prepare(`SELECT CAST(COALESCE(MAX(epoch), 0) AS TEXT) AS value
+       FROM terminal_live_controller_leases WHERE terminal_id = ?`)
+        .get(terminalId);
+    return advanceLiveTerminalSqliteInteger(row.value).toString();
+};
+const decodeAcquireDuplicate = (persisted) => {
+    const result = liveTerminalControllerAcquireResultSchema.parse(JSON.parse(persisted.resultJson));
+    return result.outcome === "acknowledged"
+        ? { ...result, receipt: duplicateReceipt(result.receipt) }
+        : result;
+};
+const requireAcquirableSession = (session, parameters) => {
+    if (session.state === "running" &&
+        session.generation === parameters.terminalGeneration &&
+        session.revision === parameters.expectedTerminalRevision)
+        return;
+    throw makeNodeRuntimeError("storage_conflict", "The controller acquisition fence is stale.", true);
+};
+const requireReadyControllerRequest = (request, recordedAt) => {
+    transitionControllerRequest(request.state, { type: "acquire" });
+    if (request.state === "ready" && request.expiresAt > recordedAt)
+        return;
+    throw makeNodeRuntimeError("storage_conflict", "The controller request is not ready.", true);
+};
+const readAcquirableControllerAuthority = (database, input) => {
+    reconcileLiveTerminalControllerPolicy(database, {
+        recordedAt: input.recordedAt,
+        terminalGeneration: input.parameters.terminalGeneration,
+        terminalId: input.parameters.terminalId,
+    });
+    const session = readLiveTerminalSession(database, input.parameters.terminalId);
+    requireAcquirableSession(session, input.parameters);
+    const request = readControllerRequestRowByIdentity(database, input.parameters);
+    requireReadyControllerRequest(request, input.recordedAt);
+    return { request, session };
+};
+const makeControllerLease = (database, input, authority) => liveTerminalControllerLeaseSchema.parse({
+    capability: LIVE_TERMINAL_EXECUTION_CAPABILITY,
+    epoch: nextControllerEpoch(database, authority.session.id),
+    expiresAt: plusMilliseconds(input.recordedAt, Math.min(MAX_TERMINAL_CONTROLLER_LEASE_MS, authority.request.requestedLeaseMs)),
+    id: newId("controller_lease"),
+    revision: "1",
+    state: "active",
+    terminalGeneration: authority.session.generation,
+    terminalId: authority.session.id,
+});
+const prepareAcquireMutation = (database, input, authority) => {
+    const { session } = authority;
+    const mutationSequence = nextLiveTerminalBoundedSequence(session.mutationHead, MAX_TERMINAL_MUTATION_SEQUENCE);
+    const sessionRevision = advanceLiveTerminalSqliteInteger(session.revision);
+    const updatedSession = {
+        ...session,
+        mutationHead: String(mutationSequence),
+        revision: String(sessionRevision),
+        updatedAt: input.recordedAt,
+    };
+    return {
+        ...authority,
+        lease: makeControllerLease(database, input, authority),
+        mutationSequence,
+        receiptId: newId("receipt"),
+        sessionRevision,
+        updatedSession,
+    };
+};
+const makeAcquireResult = (input, prepared) => liveTerminalControllerAcquireResultSchema.parse({
+    lease: prepared.lease,
+    method: "terminal.controller.acquire",
+    outcome: "acknowledged",
+    receipt: policyReceipt(pseudoPersistedCommandResult({
+        method: "terminal.controller.acquire",
+        receiptId: prepared.receiptId,
+        recordedAt: input.recordedAt,
+        terminalId: prepared.session.id,
+    }), {
+        commandId: input.parameters.commandId,
+        method: "terminal.controller.acquire",
+        mutationSequence: prepared.mutationSequence,
+        operation: "controller.acquire",
+        session: prepared.updatedSession,
+    }),
+});
+const insertControllerLease = (database, input, prepared) => {
+    database
+        .prepare(`INSERT INTO terminal_live_controller_leases(
+        lease_id, terminal_id, generation, epoch, revision, state,
+        expires_at, created_at, updated_at
+      ) VALUES (?, ?, ?, ?, 1, 'active', ?, ?, ?)`)
+        .run(prepared.lease.id, prepared.session.id, prepared.session.generation, BigInt(prepared.lease.epoch), prepared.lease.expiresAt, input.recordedAt, input.recordedAt);
+};
+const persistAcquireMutation = (database, input, prepared) => {
+    insertPolicyMutation(database, {
+        commandId: input.parameters.commandId,
+        method: "terminal.controller.acquire",
+        mutationSequence: prepared.mutationSequence,
+        receiptId: prepared.receiptId,
+        recordedAt: input.recordedAt,
+        requestDigest: input.requestDigest,
+        session: prepared.session,
+    });
+    updateAcquiredControllerAuthority(database, input, prepared);
+};
+const updateAcquiredControllerAuthority = (database, input, prepared) => {
+    database
+        .prepare(`DELETE FROM terminal_live_controller_requests
+       WHERE controller_request_id = ?`)
+        .run(prepared.request.id);
+    insertControllerLease(database, input, prepared);
+    database
+        .prepare(`UPDATE terminal_live_sessions SET revision = ?,
+        updated_at = ? WHERE terminal_id = ?`)
+        .run(prepared.sessionRevision, input.recordedAt, prepared.session.id);
+    normalizePendingPositions(database, {
+        generation: prepared.session.generation,
+        recordedAt: input.recordedAt,
+        terminalId: prepared.session.id,
+    });
+};
+const commitAcquireMutation = (database, context) => {
+    const { input, prepared, result } = context;
+    return commitCommandWithReceiptMutation({
+        database,
+        input: commandForResult({
+            commandId: input.parameters.commandId,
+            expectedRevision: BigInt(prepared.session.mutationHead),
+            method: "terminal.controller.acquire",
+            requestDigest: input.requestDigest,
+            result,
+            terminalId: prepared.session.id,
+        }),
+        mutateAfterReceipt: () => {
+            persistAcquireMutation(database, input, prepared);
+        },
+        receiptId: prepared.receiptId,
+        recordedAt: input.recordedAt,
+    });
+};
+export const acquireLiveTerminalController = (database, input) => {
+    const existing = findPersistedCommand(database, {
+        actorId: LOCAL_USER_ACTOR_ID,
+        commandId: input.parameters.commandId,
+        method: "terminal.controller.acquire",
+        requestDigest: input.requestDigest,
+    });
+    if (existing !== undefined)
+        return decodeAcquireDuplicate(existing);
+    const authority = readAcquirableControllerAuthority(database, input);
+    const prepared = prepareAcquireMutation(database, input, authority);
+    const result = makeAcquireResult(input, prepared);
+    const persisted = commitAcquireMutation(database, {
+        input,
+        prepared,
+        result,
+    });
+    return persisted.duplicate ? decodeAcquireDuplicate(persisted) : result;
+};
+const readActiveLease = (database, controller) => database
+    .prepare(`SELECT CAST(epoch AS TEXT) AS epoch,
+        CAST(revision AS TEXT) AS revision, state, expires_at AS expiresAt
+       FROM terminal_live_controller_leases WHERE lease_id = ?
+         AND terminal_id = ? AND generation = ?`)
+    .get(controller.id, controller.terminalId, controller.terminalGeneration);
+const requireActiveLease = (database, controller, recordedAt) => {
+    const row = readActiveLease(database, controller);
+    if (row?.state !== "active" ||
+        row.epoch !== controller.epoch ||
+        row.revision !== controller.revision ||
+        row.expiresAt !== controller.expiresAt ||
+        row.expiresAt <= recordedAt) {
+        throw makeNodeRuntimeError("storage_conflict", "The Terminal controller fence is stale.", true);
+    }
+};
+export const assertLiveTerminalControllerLease = requireActiveLease;
+const decodeReleaseDuplicate = (persisted) => {
+    const result = liveTerminalControllerReleaseResultSchema.parse(JSON.parse(persisted.resultJson));
+    return result.outcome === "acknowledged"
+        ? { ...result, receipt: duplicateReceipt(result.receipt) }
+        : result;
+};
+const readReleasableControllerAuthority = (database, input) => {
+    reconcileLiveTerminalControllerPolicy(database, {
+        recordedAt: input.recordedAt,
+        terminalGeneration: input.parameters.controller.terminalGeneration,
+        terminalId: input.parameters.terminalId,
+    });
+    const session = readLiveTerminalSession(database, input.parameters.terminalId);
+    if (session.revision !== input.parameters.expectedTerminalRevision) {
+        throw makeNodeRuntimeError("storage_conflict", "The controller release fence is stale.", true);
+    }
+    requireActiveLease(database, input.parameters.controller, input.recordedAt);
+    transitionControllerLease("active", { type: "release" });
+    return session;
+};
+const makeReleasedControllerLease = (input, leaseRevision) => liveTerminalControllerLeaseSchema.parse({
+    ...input.parameters.controller,
+    capability: LIVE_TERMINAL_EXECUTION_CAPABILITY,
+    revision: String(leaseRevision),
+    state: "released",
+});
+const prepareReleaseMutation = (input, session) => {
+    const mutationSequence = nextLiveTerminalBoundedSequence(session.mutationHead, MAX_TERMINAL_MUTATION_SEQUENCE);
+    const leaseRevision = advanceLiveTerminalSqliteInteger(input.parameters.controller.revision);
+    const sessionRevision = advanceLiveTerminalSqliteInteger(session.revision);
+    const updatedSession = {
+        ...session,
+        mutationHead: String(mutationSequence),
+        revision: String(sessionRevision),
+        updatedAt: input.recordedAt,
+    };
+    return {
+        leaseRevision,
+        mutationSequence,
+        receiptId: newId("receipt"),
+        released: makeReleasedControllerLease(input, leaseRevision),
+        session,
+        sessionRevision,
+        updatedSession,
+    };
+};
+const makeReleaseResult = (input, prepared) => liveTerminalControllerReleaseResultSchema.parse({
+    lease: prepared.released,
+    method: "terminal.controller.release",
+    outcome: "acknowledged",
+    receipt: policyReceipt(pseudoPersistedCommandResult({
+        method: "terminal.controller.release",
+        receiptId: prepared.receiptId,
+        recordedAt: input.recordedAt,
+        terminalId: prepared.session.id,
+    }), {
+        commandId: input.parameters.commandId,
+        method: "terminal.controller.release",
+        mutationSequence: prepared.mutationSequence,
+        operation: "controller.release",
+        session: prepared.updatedSession,
+    }),
+});
+const persistReleaseMutation = (database, input, prepared) => {
+    insertPolicyMutation(database, {
+        commandId: input.parameters.commandId,
+        controllerEpoch: BigInt(input.parameters.controller.epoch),
+        controllerRevision: BigInt(input.parameters.controller.revision),
+        method: "terminal.controller.release",
+        mutationSequence: prepared.mutationSequence,
+        receiptId: prepared.receiptId,
+        recordedAt: input.recordedAt,
+        requestDigest: input.requestDigest,
+        session: prepared.session,
+    });
+    updateReleasedControllerAuthority(database, input, prepared);
+};
+const updateReleasedControllerAuthority = (database, input, prepared) => {
+    database
+        .prepare(`UPDATE terminal_live_controller_leases
+       SET state = 'released', revision = ?, updated_at = ?
+       WHERE lease_id = ? AND state = 'active'`)
+        .run(prepared.leaseRevision, input.recordedAt, prepared.released.id);
+    database
+        .prepare(`UPDATE terminal_live_sessions SET revision = ?,
+        updated_at = ? WHERE terminal_id = ?`)
+        .run(prepared.sessionRevision, input.recordedAt, prepared.session.id);
+    reconcileControllerPolicyInTransaction(database, {
+        recordedAt: input.recordedAt,
+        terminalGeneration: prepared.session.generation,
+        terminalId: prepared.session.id,
+    });
+};
+const commitReleaseMutation = (database, context) => {
+    const { input, prepared, result } = context;
+    return commitCommandWithReceiptMutation({
+        database,
+        input: commandForResult({
+            commandId: input.parameters.commandId,
+            expectedRevision: BigInt(prepared.session.mutationHead),
+            method: "terminal.controller.release",
+            requestDigest: input.requestDigest,
+            result,
+            terminalId: prepared.session.id,
+        }),
+        mutateAfterReceipt: () => {
+            persistReleaseMutation(database, input, prepared);
+        },
+        receiptId: prepared.receiptId,
+        recordedAt: input.recordedAt,
+    });
+};
+export const releaseLiveTerminalController = (database, input) => {
+    const existing = findPersistedCommand(database, {
+        actorId: LOCAL_USER_ACTOR_ID,
+        commandId: input.parameters.commandId,
+        method: "terminal.controller.release",
+        requestDigest: input.requestDigest,
+    });
+    if (existing !== undefined)
+        return decodeReleaseDuplicate(existing);
+    const session = readReleasableControllerAuthority(database, input);
+    const prepared = prepareReleaseMutation(input, session);
+    const result = makeReleaseResult(input, prepared);
+    const persisted = commitReleaseMutation(database, {
+        input,
+        prepared,
+        result,
+    });
+    return persisted.duplicate ? decodeReleaseDuplicate(persisted) : result;
+};
+//# sourceMappingURL=live-controller-lease.js.map

package/dist/terminal/storage/live-controller-lease.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"live-controller-lease.js","sourceRoot":"","sources":["../../../src/terminal/storage/live-controller-lease.ts"],"names":[],"mappings":"AAEA,OAAO,EAGL,yCAAyC,EACzC,iCAAiC,EAGjC,yCAAyC,EAEzC,gCAAgC,EAChC,8BAA8B,GAC/B,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EACL,gCAAgC,EAChC,oBAAoB,GAErB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,yBAAyB,EACzB,2BAA2B,GAC5B,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,KAAK,EACL,gBAAgB,GACjB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,yBAAyB,EACzB,kCAAkC,EAClC,sCAAsC,EACtC,qCAAqC,GACtC,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,aAAa,EACb,4BAA4B,GAC7B,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,kCAAkC,EAClC,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,gCAAgC,EAChC,+BAA+B,GAChC,MAAM,qBAAqB,CAAC;AAE7B,MAAM,mBAAmB,GAAG,CAC1B,QAAsB,EACtB,UAAkB,EACV,EAAE;IACV,MAAM,GAAG,GAAG,QAAQ;SACjB,OAAO,CACN;kEAC4D,CAC7D;SACA,GAAG,CAAC,UAAU,CAA+B,CAAC;IACjD,OAAO,gCAAgC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,SAAiC,EACI,EAAE;IACvC,MAAM,MAAM,GAAG,yCAAyC,CAAC,KAAK,CAC5D,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,CACjC,CAAC;IACF,OAAO,MAAM,CAAC,OAAO,KAAK,cAAc;QACtC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE;QAC1D,CAAC,CAAC,MAAM,CAAC;AACb,CAAC,CAAC;AAQF,MAAM,wBAAwB,GAAG,CAC/B,OAA4B,EAC5B,UAAmD,EAC7C,EAAE;IACR,IACE,OAAO,CAAC,KAAK,KAAK,SAAS;QAC3B,OAAO,CAAC,UAAU,KAAK,UAAU,CAAC,kBAAkB;QACpD,OAAO,CAAC,QAAQ,KAAK,UAAU,CAAC,wBAAwB;QAExD,OAAO;IACT,MAAM,oBAAoB,CACxB,kBAAkB,EAClB,4CAA4C,EAC5C,IAAI,CACL,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,OAA8D,EAC9D,UAAkB,EACZ,EAAE;IACR,2BAA2B,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IAChE,IAAI,OAAO,CAAC,KAAK,KAAK,OAAO,IAAI,OAAO,CAAC,SAAS,GAAG,UAAU;QAAE,OAAO;IACxE,MAAM,oBAAoB,CACxB,kBAAkB,EAClB,sCAAsC,EACtC,IAAI,CACL,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,QAAsB,EACtB,KAA0B,EAC1B,EAAE;IACF,qCAAqC,CAAC,QAAQ,EAAE;QAC9C,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,kBAAkB,EAAE,KAAK,CAAC,UAAU,CAAC,kBAAkB;QACvD,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,UAAU;KACxC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,uBAAuB,CACrC,QAAQ,EACR,KAAK,CAAC,UAAU,CAAC,UAAU,CAC5B,CAAC;IACF,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,kCAAkC,CAChD,QAAQ,EACR,KAAK,CAAC,UAAU,CACjB,CAAC;IACF,6BAA6B,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACzD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC9B,CAAC,CAAC;AAIF,MAAM,mBAAmB,GAAG,CAC1B,QAAsB,EACtB,KAA0B,EAC1B,SAA2B,EAC3B,EAAE,CACF,iCAAiC,CAAC,KAAK,CAAC;IACtC,UAAU,EAAE,kCAAkC;IAC9C,KAAK,EAAE,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;IAC1D,SAAS,EAAE,gBAAgB,CACzB,KAAK,CAAC,UAAU,EAChB,IAAI,CAAC,GAAG,CACN,gCAAgC,EAChC,SAAS,CAAC,OAAO,CAAC,gBAAgB,CACnC,CACF;IACD,EAAE,EAAE,KAAK,CAAC,kBAAkB,CAAC;IAC7B,QAAQ,EAAE,GAAG;IACb,KAAK,EAAE,QAAQ;IACf,kBAAkB,EAAE,SAAS,CAAC,OAAO,CAAC,UAAU;IAChD,UAAU,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE;CACjC,CAAC,CAAC;AAEL,MAAM,sBAAsB,GAAG,CAC7B,QAAsB,EACtB,KAA0B,EAC1B,SAA2B,EAC3B,EAAE;IACF,MAAM,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC;IAC9B,MAAM,gBAAgB,GAAG,+BAA+B,CACtD,OAAO,CAAC,YAAY,EACpB,8BAA8B,CAC/B,CAAC;IACF,MAAM,eAAe,GAAG,gCAAgC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3E,MAAM,cAAc,GAAG;QACrB,GAAG,OAAO;QACV,YAAY,EAAE,MAAM,CAAC,gBAAgB,CAAC;QACtC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAAC;QACjC,SAAS,EAAE,KAAK,CAAC,UAAU;KACE,CAAC;IAChC,OAAO;QACL,GAAG,SAAS;QACZ,KAAK,EAAE,mBAAmB,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC;QACtD,gBAAgB;QAChB,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;QAC3B,eAAe;QACf,cAAc;KACf,CAAC;AACJ,CAAC,CAAC;AAIF,MAAM,iBAAiB,GAAG,CACxB,KAA0B,EAC1B,QAAyB,EACY,EAAE,CACvC,yCAAyC,CAAC,KAAK,CAAC;IAC9C,KAAK,EAAE,QAAQ,CAAC,KAAK;IACrB,MAAM,EAAE,6BAA6B;IACrC,OAAO,EAAE,cAAc;IACvB,OAAO,EAAE,aAAa,CACpB,4BAA4B,CAAC;QAC3B,MAAM,EAAE,6BAA6B;QACrC,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;KAChC,CAAC,EACF;QACE,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS;QACrC,MAAM,EAAE,6BAA6B;QACrC,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;QAC3C,SAAS,EAAE,oBAAoB;QAC/B,OAAO,EAAE,QAAQ,CAAC,cAAc;KACjC,CACF;CACF,CAAC,CAAC;AAEL,MAAM,qBAAqB,GAAG,CAC5B,QAAsB,EACtB,KAA0B,EAC1B,QAAyB,EACnB,EAAE;IACR,QAAQ;SACL,OAAO,CACN;;;kDAG4C,CAC7C;SACA,GAAG,CACF,QAAQ,CAAC,KAAK,CAAC,EAAE,EACjB,QAAQ,CAAC,OAAO,CAAC,EAAE,EACnB,QAAQ,CAAC,OAAO,CAAC,UAAU,EAC3B,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAC5B,QAAQ,CAAC,KAAK,CAAC,SAAS,EACxB,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,UAAU,CACjB,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,QAAsB,EACtB,KAA0B,EAC1B,QAAyB,EACnB,EAAE;IACR,oBAAoB,CAAC,QAAQ,EAAE;QAC7B,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS;QACrC,MAAM,EAAE,6BAA6B;QACrC,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;QAC3C,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,OAAO,EAAE,QAAQ,CAAC,OAAO;KAC1B,CAAC,CAAC;IACH,iCAAiC,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC/D,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,QAAsB,EACtB,KAA0B,EAC1B,QAAyB,EACnB,EAAE;IACR,QAAQ;SACL,OAAO,CACN;uCACiC,CAClC;SACA,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5B,qBAAqB,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACjD,QAAQ;SACL,OAAO,CACN;6CACuC,CACxC;SACA,GAAG,CAAC,QAAQ,CAAC,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxE,yBAAyB,CAAC,QAAQ,EAAE;QAClC,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,UAAU;QACvC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;KAChC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,QAAsB,EACtB,OAIC,EACuB,EAAE;IAC1B,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAC5C,OAAO,gCAAgC,CAAC;QACtC,QAAQ;QACR,KAAK,EAAE,gBAAgB,CAAC;YACtB,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS;YACrC,gBAAgB,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC;YACvD,MAAM,EAAE,6BAA6B;YACrC,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,MAAM;YACN,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;SAChC,CAAC;QACF,kBAAkB,EAAE,GAAG,EAAE;YACvB,sBAAsB,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QACpD,CAAC;QACD,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,QAAsB,EACtB,KAA0B,EACW,EAAE;IACvC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,EAAE;QAC9C,OAAO,EAAE,mBAAmB;QAC5B,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS;QACrC,MAAM,EAAE,6BAA6B;QACrC,aAAa,EAAE,KAAK,CAAC,aAAa;KACnC,CAAC,CAAC;IACH,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,iCAAiC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,qBAAqB,CAAC,QAAQ,EAAE;QAChD,KAAK;QACL,QAAQ;QACR,MAAM;KACP,CAAC,CAAC;IACH,OAAO,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAC1E,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,QAAsB,EACtB,UAAiE,EAQ7D,EAAE,CACN,QAAQ;KACL,OAAO,CACN;;;gDAG0C,CAC3C;KACA,GAAG,CACF,UAAU,CAAC,EAAE,EACb,UAAU,CAAC,UAAU,EACrB,UAAU,CAAC,kBAAkB,CAQ5B,CAAC;AAER,MAAM,kBAAkB,GAAG,CACzB,QAAsB,EACtB,UAAiE,EACjE,UAAkB,EACZ,EAAE;IACR,MAAM,GAAG,GAAG,eAAe,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAClD,IACE,GAAG,EAAE,KAAK,KAAK,QAAQ;QACvB,GAAG,CAAC,KAAK,KAAK,UAAU,CAAC,KAAK;QAC9B,GAAG,CAAC,QAAQ,KAAK,UAAU,CAAC,QAAQ;QACpC,GAAG,CAAC,SAAS,KAAK,UAAU,CAAC,SAAS;QACtC,GAAG,CAAC,SAAS,IAAI,UAAU,EAC3B,CAAC;QACD,MAAM,oBAAoB,CACxB,kBAAkB,EAClB,yCAAyC,EACzC,IAAI,CACL,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,kBAAkB,CAAC;AAEpE,MAAM,sBAAsB,GAAG,CAC7B,SAAiC,EACI,EAAE;IACvC,MAAM,MAAM,GAAG,yCAAyC,CAAC,KAAK,CAC5D,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,CACjC,CAAC;IACF,OAAO,MAAM,CAAC,OAAO,KAAK,cAAc;QACtC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE;QAC1D,CAAC,CAAC,MAAM,CAAC;AACb,CAAC,CAAC;AAQF,MAAM,iCAAiC,GAAG,CACxC,QAAsB,EACtB,KAA0B,EACL,EAAE;IACvB,qCAAqC,CAAC,QAAQ,EAAE;QAC9C,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,kBAAkB,EAAE,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,kBAAkB;QAClE,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,UAAU;KACxC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,uBAAuB,CACrC,QAAQ,EACR,KAAK,CAAC,UAAU,CAAC,UAAU,CAC5B,CAAC;IACF,IAAI,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,UAAU,CAAC,wBAAwB,EAAE,CAAC;QACnE,MAAM,oBAAoB,CACxB,kBAAkB,EAClB,wCAAwC,EACxC,IAAI,CACL,CAAC;IACJ,CAAC;IACD,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IAC5E,yBAAyB,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACzD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,KAA0B,EAC1B,aAAqB,EACrB,EAAE,CACF,iCAAiC,CAAC,KAAK,CAAC;IACtC,GAAG,KAAK,CAAC,UAAU,CAAC,UAAU;IAC9B,UAAU,EAAE,kCAAkC;IAC9C,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC;IAC/B,KAAK,EAAE,UAAU;CAClB,CAAC,CAAC;AAEL,MAAM,sBAAsB,GAAG,CAC7B,KAA0B,EAC1B,OAA4B,EAC5B,EAAE;IACF,MAAM,gBAAgB,GAAG,+BAA+B,CACtD,OAAO,CAAC,YAAY,EACpB,8BAA8B,CAC/B,CAAC;IACF,MAAM,aAAa,GAAG,gCAAgC,CACpD,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,CACrC,CAAC;IACF,MAAM,eAAe,GAAG,gCAAgC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3E,MAAM,cAAc,GAAG;QACrB,GAAG,OAAO;QACV,YAAY,EAAE,MAAM,CAAC,gBAAgB,CAAC;QACtC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAAC;QACjC,SAAS,EAAE,KAAK,CAAC,UAAU;KACE,CAAC;IAChC,OAAO;QACL,aAAa;QACb,gBAAgB;QAChB,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;QAC3B,QAAQ,EAAE,2BAA2B,CAAC,KAAK,EAAE,aAAa,CAAC;QAC3D,OAAO;QACP,eAAe;QACf,cAAc;KACf,CAAC;AACJ,CAAC,CAAC;AAIF,MAAM,iBAAiB,GAAG,CACxB,KAA0B,EAC1B,QAAyB,EACY,EAAE,CACvC,yCAAyC,CAAC,KAAK,CAAC;IAC9C,KAAK,EAAE,QAAQ,CAAC,QAAQ;IACxB,MAAM,EAAE,6BAA6B;IACrC,OAAO,EAAE,cAAc;IACvB,OAAO,EAAE,aAAa,CACpB,4BAA4B,CAAC;QAC3B,MAAM,EAAE,6BAA6B;QACrC,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;KAChC,CAAC,EACF;QACE,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS;QACrC,MAAM,EAAE,6BAA6B;QACrC,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;QAC3C,SAAS,EAAE,oBAAoB;QAC/B,OAAO,EAAE,QAAQ,CAAC,cAAc;KACjC,CACF;CACF,CAAC,CAAC;AAEL,MAAM,sBAAsB,GAAG,CAC7B,QAAsB,EACtB,KAA0B,EAC1B,QAAyB,EACnB,EAAE;IACR,oBAAoB,CAAC,QAAQ,EAAE;QAC7B,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS;QACrC,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC;QAC1D,kBAAkB,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC;QAChE,MAAM,EAAE,6BAA6B;QACrC,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;QAC3C,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,OAAO,EAAE,QAAQ,CAAC,OAAO;KAC1B,CAAC,CAAC;IACH,iCAAiC,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC/D,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,QAAsB,EACtB,KAA0B,EAC1B,QAAyB,EACnB,EAAE;IACR,QAAQ;SACL,OAAO,CACN;;+CAEyC,CAC1C;SACA,GAAG,CAAC,QAAQ,CAAC,aAAa,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACvE,QAAQ;SACL,OAAO,CACN;6CACuC,CACxC;SACA,GAAG,CAAC,QAAQ,CAAC,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxE,sCAAsC,CAAC,QAAQ,EAAE;QAC/C,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,kBAAkB,EAAE,QAAQ,CAAC,OAAO,CAAC,UAAU;QAC/C,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;KAChC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,QAAsB,EACtB,OAIC,EACuB,EAAE;IAC1B,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAC5C,OAAO,gCAAgC,CAAC;QACtC,QAAQ;QACR,KAAK,EAAE,gBAAgB,CAAC;YACtB,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS;YACrC,gBAAgB,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC;YACvD,MAAM,EAAE,6BAA6B;YACrC,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,MAAM;YACN,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;SAChC,CAAC;QACF,kBAAkB,EAAE,GAAG,EAAE;YACvB,sBAAsB,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QACpD,CAAC;QACD,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,QAAsB,EACtB,KAA0B,EACW,EAAE;IACvC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,EAAE;QAC9C,OAAO,EAAE,mBAAmB;QAC5B,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS;QACrC,MAAM,EAAE,6BAA6B;QACrC,aAAa,EAAE,KAAK,CAAC,aAAa;KACnC,CAAC,CAAC;IACH,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,iCAAiC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACnE,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,qBAAqB,CAAC,QAAQ,EAAE;QAChD,KAAK;QACL,QAAQ;QACR,MAAM;KACP,CAAC,CAAC;IACH,OAAO,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAC1E,CAAC,CAAC"}

package/dist/terminal/storage/live-controller-policy.d.ts

@@ -0,0 +1,44 @@
+import type { DatabaseSync } from "node:sqlite";
+import { type LiveTerminalControllerRequest } from "@maiaos/protocol";
+export type ControllerRequestRow = {
+    readonly expiresAt: string;
+    readonly id: string;
+    readonly position: null | number;
+    readonly reason: "expired" | "policy" | "queue_saturated" | null;
+    readonly requestedAt: string;
+    readonly requestedLeaseMs: number;
+    readonly state: "denied" | "pending" | "ready";
+    readonly terminalGeneration: number;
+    readonly terminalId: string;
+};
+type PendingPositionsInput = {
+    readonly generation: number;
+    readonly recordedAt: string;
+    readonly terminalId: string;
+};
+export declare const controllerRequestFromRow: (row: ControllerRequestRow) => LiveTerminalControllerRequest;
+export declare const readControllerRequestRow: (database: DatabaseSync, where: string, values: readonly (number | string)[]) => ControllerRequestRow | undefined;
+export declare const readControllerRequestRowByIdentity: (database: DatabaseSync, input: {
+    readonly controllerRequestId: string;
+    readonly terminalGeneration: number;
+    readonly terminalId: string;
+}) => ControllerRequestRow;
+export declare const readControllerRequest: (database: DatabaseSync, input: {
+    readonly controllerRequestId: string;
+    readonly terminalGeneration: number;
+    readonly terminalId: string;
+}) => LiveTerminalControllerRequest;
+export declare const normalizePendingPositions: (database: DatabaseSync, input: PendingPositionsInput) => void;
+type ControllerPolicyInput = {
+    readonly recordedAt: string;
+    readonly terminalGeneration: number;
+    readonly terminalId: string;
+};
+export declare const reconcileControllerPolicyInTransaction: (database: DatabaseSync, input: ControllerPolicyInput) => void;
+export declare const reconcileLiveTerminalControllerPolicy: (database: DatabaseSync, input: {
+    readonly recordedAt: string;
+    readonly terminalGeneration: number;
+    readonly terminalId: string;
+}) => void;
+export {};
+//# sourceMappingURL=live-controller-policy.d.ts.map

package/dist/terminal/storage/live-controller-policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"live-controller-policy.d.ts","sourceRoot":"","sources":["../../../src/terminal/storage/live-controller-policy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD,OAAO,EACL,KAAK,6BAA6B,EAEnC,MAAM,kBAAkB,CAAC;AAY1B,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,MAAM,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,iBAAiB,GAAG,IAAI,CAAC;IACjE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,SAAS,GAAG,OAAO,CAAC;IAC/C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAaF,KAAK,qBAAqB,GAAG;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,KAAK,oBAAoB,KACxB,6BAeC,CAAC;AAEL,eAAO,MAAM,wBAAwB,GACnC,UAAU,YAAY,EACtB,OAAO,MAAM,EACb,QAAQ,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,KACnC,oBAAoB,GAAG,SAS6B,CAAC;AAExD,eAAO,MAAM,kCAAkC,GAC7C,UAAU,YAAY,EACtB,OAAO;IACL,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,KACA,oBAaF,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,UAAU,YAAY,EACtB,OAAO;IACL,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,KACA,6BAC4E,CAAC;AAEhF,eAAO,MAAM,yBAAyB,GACpC,UAAU,YAAY,EACtB,OAAO,qBAAqB,KAC3B,IAuBF,CAAC;AAEF,KAAK,qBAAqB,GAAG;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AA+GF,eAAO,MAAM,sCAAsC,GACjD,UAAU,YAAY,EACtB,OAAO,qBAAqB,KAC3B,IASF,CAAC;AAEF,eAAO,MAAM,qCAAqC,GAChD,UAAU,YAAY,EACtB,OAAO;IACL,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,KACA,IAIF,CAAC"}

package/dist/terminal/storage/live-controller-policy.js

@@ -0,0 +1,135 @@
+import { liveTerminalControllerRequestSchema, } from "@maiaos/protocol";
+import { makeNodeRuntimeError } from "../../runtime/errors.js";
+import { transitionControllerLease, transitionControllerRequest, } from "../live-lifecycle.js";
+import { withImmediateTransaction } from "./live-command-shared.js";
+import { LIVE_TERMINAL_EXECUTION_CAPABILITY } from "./live-record.js";
+import { advanceLiveTerminalSqliteInteger } from "./sqlite-counter.js";
+export const controllerRequestFromRow = (row) => liveTerminalControllerRequestSchema.parse({
+    capability: LIVE_TERMINAL_EXECUTION_CAPABILITY,
+    expiresAt: row.expiresAt,
+    id: row.id,
+    ...(row.state === "pending" && row.position !== null
+        ? { position: row.position }
+        : {}),
+    ...(row.state === "denied" && row.reason !== null
+        ? { reason: row.reason }
+        : {}),
+    requestedAt: row.requestedAt,
+    state: row.state,
+    terminalGeneration: row.terminalGeneration,
+    terminalId: row.terminalId,
+});
+export const readControllerRequestRow = (database, where, values) => database
+    .prepare(`SELECT controller_request_id AS id, terminal_id AS terminalId,
+        generation AS terminalGeneration, state, position,
+        denial_reason AS reason, requested_at AS requestedAt,
+        requested_lease_ms AS requestedLeaseMs, expires_at AS expiresAt
+       FROM terminal_live_controller_requests WHERE ${where}`)
+    .get(...values);
+export const readControllerRequestRowByIdentity = (database, input) => {
+    const row = readControllerRequestRow(database, "controller_request_id = ? AND terminal_id = ? AND generation = ?", [input.controllerRequestId, input.terminalId, input.terminalGeneration]);
+    if (row === undefined) {
+        throw makeNodeRuntimeError("resource_not_found", "The controller request was not found.");
+    }
+    return row;
+};
+export const readControllerRequest = (database, input) => controllerRequestFromRow(readControllerRequestRowByIdentity(database, input));
+export const normalizePendingPositions = (database, input) => {
+    const rows = database
+        .prepare(`SELECT controller_request_id AS id, position
+       FROM terminal_live_controller_requests
+       WHERE terminal_id = ? AND generation = ? AND state = 'pending'
+       ORDER BY position ASC, requested_at ASC, controller_request_id ASC`)
+        .all(input.terminalId, input.generation);
+    rows.forEach((row, index) => {
+        const position = index + 1;
+        if (row.position === position)
+            return;
+        database
+            .prepare(`UPDATE terminal_live_controller_requests
+         SET position = ?, updated_at = ?
+         WHERE controller_request_id = ? AND state = 'pending'`)
+            .run(position, input.recordedAt, row.id);
+    });
+};
+const expireControllerLeases = (database, input) => {
+    const rows = database
+        .prepare(`SELECT lease_id AS id, CAST(revision AS TEXT) AS revision
+       FROM terminal_live_controller_leases
+       WHERE terminal_id = ? AND generation = ? AND state = 'active'
+         AND expires_at <= ?`)
+        .all(input.terminalId, input.terminalGeneration, input.recordedAt);
+    rows.forEach(({ id, revision }) => {
+        transitionControllerLease("active", { type: "expire" });
+        const nextRevision = advanceLiveTerminalSqliteInteger(revision);
+        database
+            .prepare(`UPDATE terminal_live_controller_leases
+         SET state = 'expired', revision = ?, updated_at = ?
+         WHERE lease_id = ? AND state = 'active'`)
+            .run(nextRevision, input.recordedAt, id);
+    });
+};
+const expireControllerRequests = (database, input) => {
+    const rows = database
+        .prepare(`SELECT controller_request_id AS id, state
+       FROM terminal_live_controller_requests
+       WHERE terminal_id = ? AND generation = ?
+         AND state IN ('pending', 'ready') AND expires_at <= ?`)
+        .all(input.terminalId, input.terminalGeneration, input.recordedAt);
+    rows.forEach(({ id, state }) => {
+        transitionControllerRequest(state, { type: "deny" });
+        database
+            .prepare(`UPDATE terminal_live_controller_requests
+         SET state = 'denied', position = NULL, denial_reason = 'expired',
+           updated_at = ?
+         WHERE controller_request_id = ? AND state = ?`)
+            .run(input.recordedAt, id, state);
+    });
+};
+const controllerAuthorityOccupied = (database, input) => {
+    const activeLease = database
+        .prepare(`SELECT 1 FROM terminal_live_controller_leases
+       WHERE terminal_id = ? AND generation = ? AND state = 'active'`)
+        .get(input.terminalId, input.terminalGeneration);
+    const readyRequest = database
+        .prepare(`SELECT 1 FROM terminal_live_controller_requests
+       WHERE terminal_id = ? AND generation = ? AND state = 'ready'`)
+        .get(input.terminalId, input.terminalGeneration);
+    return activeLease !== undefined || readyRequest !== undefined;
+};
+const readNextPendingControllerRequest = (database, input) => database
+    .prepare(`SELECT controller_request_id AS id
+       FROM terminal_live_controller_requests
+       WHERE terminal_id = ? AND generation = ? AND state = 'pending'
+       ORDER BY position ASC, requested_at ASC, controller_request_id ASC
+       LIMIT 1`)
+    .get(input.terminalId, input.terminalGeneration);
+const promoteNextControllerRequest = (database, input) => {
+    if (controllerAuthorityOccupied(database, input))
+        return;
+    const pending = readNextPendingControllerRequest(database, input);
+    if (pending === undefined)
+        return;
+    transitionControllerRequest("pending", { type: "ready" });
+    database
+        .prepare(`UPDATE terminal_live_controller_requests
+       SET state = 'ready', position = NULL, updated_at = ?
+       WHERE controller_request_id = ? AND state = 'pending'`)
+        .run(input.recordedAt, pending.id);
+};
+export const reconcileControllerPolicyInTransaction = (database, input) => {
+    expireControllerLeases(database, input);
+    expireControllerRequests(database, input);
+    promoteNextControllerRequest(database, input);
+    normalizePendingPositions(database, {
+        generation: input.terminalGeneration,
+        recordedAt: input.recordedAt,
+        terminalId: input.terminalId,
+    });
+};
+export const reconcileLiveTerminalControllerPolicy = (database, input) => {
+    withImmediateTransaction(database, () => {
+        reconcileControllerPolicyInTransaction(database, input);
+    });
+};
+//# sourceMappingURL=live-controller-policy.js.map

package/dist/terminal/storage/live-controller-policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"live-controller-policy.js","sourceRoot":"","sources":["../../../src/terminal/storage/live-controller-policy.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,mCAAmC,GACpC,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EACL,yBAAyB,EACzB,2BAA2B,GAC5B,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,kCAAkC,EAAE,MAAM,kBAAkB,CAAC;AACtE,OAAO,EAAE,gCAAgC,EAAE,MAAM,qBAAqB,CAAC;AA+BvE,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,GAAyB,EACM,EAAE,CACjC,mCAAmC,CAAC,KAAK,CAAC;IACxC,UAAU,EAAE,kCAAkC;IAC9C,SAAS,EAAE,GAAG,CAAC,SAAS;IACxB,EAAE,EAAE,GAAG,CAAC,EAAE;IACV,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI;QAClD,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE;QAC5B,CAAC,CAAC,EAAE,CAAC;IACP,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI;QAC/C,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;QACxB,CAAC,CAAC,EAAE,CAAC;IACP,WAAW,EAAE,GAAG,CAAC,WAAW;IAC5B,KAAK,EAAE,GAAG,CAAC,KAAK;IAChB,kBAAkB,EAAE,GAAG,CAAC,kBAAkB;IAC1C,UAAU,EAAE,GAAG,CAAC,UAAU;CAC3B,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,QAAsB,EACtB,KAAa,EACb,MAAoC,EACF,EAAE,CACpC,QAAQ;KACL,OAAO,CACN;;;;sDAIgD,KAAK,EAAE,CACxD;KACA,GAAG,CAAC,GAAG,MAAM,CAAqC,CAAC;AAExD,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,QAAsB,EACtB,KAIC,EACqB,EAAE;IACxB,MAAM,GAAG,GAAG,wBAAwB,CAClC,QAAQ,EACR,kEAAkE,EAClE,CAAC,KAAK,CAAC,mBAAmB,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,kBAAkB,CAAC,CACxE,CAAC;IACF,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,oBAAoB,CACxB,oBAAoB,EACpB,uCAAuC,CACxC,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,QAAsB,EACtB,KAIC,EAC8B,EAAE,CACjC,wBAAwB,CAAC,kCAAkC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AAEhF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,QAAsB,EACtB,KAA4B,EACtB,EAAE;IACR,MAAM,IAAI,GAAG,QAAQ;SAClB,OAAO,CACN;;;0EAGoE,CACrE;SACA,GAAG,CACF,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,UAAU,CAC2B,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;QAC1B,MAAM,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAC;QAC3B,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO;QACtC,QAAQ;aACL,OAAO,CACN;;+DAEuD,CACxD;aACA,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAQF,MAAM,sBAAsB,GAAG,CAC7B,QAAsB,EACtB,KAA4B,EACtB,EAAE;IACR,MAAM,IAAI,GAAG,QAAQ;SAClB,OAAO,CACN;;;6BAGuB,CACxB;SACA,GAAG,CACF,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,kBAAkB,EACxB,KAAK,CAAC,UAAU,CACwB,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;QAChC,yBAAyB,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACxD,MAAM,YAAY,GAAG,gCAAgC,CAAC,QAAQ,CAAC,CAAC;QAChE,QAAQ;aACL,OAAO,CACN;;iDAEyC,CAC1C;aACA,GAAG,CAAC,YAAY,EAAE,KAAK,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,QAAsB,EACtB,KAA4B,EACtB,EAAE;IACR,MAAM,IAAI,GAAG,QAAQ;SAClB,OAAO,CACN;;;+DAGyD,CAC1D;SACA,GAAG,CACF,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,kBAAkB,EACxB,KAAK,CAAC,UAAU,CAC0B,CAAC;IAC/C,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;QAC7B,2BAA2B,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACrD,QAAQ;aACL,OAAO,CACN;;;uDAG+C,CAChD;aACA,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,QAAsB,EACtB,KAA4B,EACnB,EAAE;IACX,MAAM,WAAW,GAAG,QAAQ;SACzB,OAAO,CACN;qEAC+D,CAChE;SACA,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,QAAQ;SAC1B,OAAO,CACN;oEAC8D,CAC/D;SACA,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC;IACnD,OAAO,WAAW,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS,CAAC;AACjE,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,QAAsB,EACtB,KAA4B,EACS,EAAE,CACvC,QAAQ;KACL,OAAO,CACN;;;;eAIS,CACV;KACA,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,kBAAkB,CACZ,CAAC;AAExC,MAAM,4BAA4B,GAAG,CACnC,QAAsB,EACtB,KAA4B,EACtB,EAAE;IACR,IAAI,2BAA2B,CAAC,QAAQ,EAAE,KAAK,CAAC;QAAE,OAAO;IACzD,MAAM,OAAO,GAAG,gCAAgC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAClE,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO;IAClC,2BAA2B,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1D,QAAQ;SACL,OAAO,CACN;;6DAEuD,CACxD;SACA,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,QAAsB,EACtB,KAA4B,EACtB,EAAE;IACR,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACxC,wBAAwB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC1C,4BAA4B,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC9C,yBAAyB,CAAC,QAAQ,EAAE;QAClC,UAAU,EAAE,KAAK,CAAC,kBAAkB;QACpC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,QAAsB,EACtB,KAIC,EACK,EAAE;IACR,wBAAwB,CAAC,QAAQ,EAAE,GAAG,EAAE;QACtC,sCAAsC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/terminal/storage/live-controller-request.d.ts

@@ -0,0 +1,15 @@
+import type { DatabaseSync } from "node:sqlite";
+import { type LiveTerminalControllerRequestParameters, type LiveTerminalControllerRequestResult, type LiveTerminalControllerRequestShowResult } from "@maiaos/protocol";
+type ControllerRequestCommandInput = {
+    readonly parameters: LiveTerminalControllerRequestParameters;
+    readonly recordedAt: string;
+    readonly requestDigest: string;
+};
+export declare const requestLiveTerminalController: (database: DatabaseSync, input: ControllerRequestCommandInput) => LiveTerminalControllerRequestResult;
+export declare const showLiveTerminalControllerRequest: (database: DatabaseSync, parameters: {
+    readonly controllerRequestId: string;
+    readonly terminalGeneration: number;
+    readonly terminalId: string;
+}, recordedAt?: string) => LiveTerminalControllerRequestShowResult;
+export {};
+//# sourceMappingURL=live-controller-request.d.ts.map

package/dist/terminal/storage/live-controller-request.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"live-controller-request.d.ts","sourceRoot":"","sources":["../../../src/terminal/storage/live-controller-request.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD,OAAO,EACL,KAAK,uCAAuC,EAC5C,KAAK,mCAAmC,EAGxC,KAAK,uCAAuC,EAI7C,MAAM,kBAAkB,CAAC;AAiC1B,KAAK,6BAA6B,GAAG;IACnC,QAAQ,CAAC,UAAU,EAAE,uCAAuC,CAAC;IAC7D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC;AAuNF,eAAO,MAAM,6BAA6B,GACxC,UAAU,YAAY,EACtB,OAAO,6BAA6B,KACnC,mCAmBF,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,UAAU,YAAY,EACtB,YAAY;IACV,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,EACD,aAAa,MAAM,KAClB,uCAYF,CAAC"}