@astrosheep/keiyaku 4.1.0 → 4.1.2

package/build/src/akuma/request-serve.js

@@ -2,11 +2,12 @@ import { access, mkdir, readFile, readdir, rm } from "node:fs/promises";
 import { join } from "node:path";
 import { abortableDelay } from "./abort.js";
 import { HeldAkumaLeash, admitRequest, readNonterminalRequests, readRequest, readSoul, refuseRequest, reserveRequest, serveRequest, serveUpstreamRequest, voidRequest, } from "./heart/index.js";
-import { pathsForAkuId, worldRootForAkumaPaths, } from "./identity.js";
+import { pathsForAkuId, worldRootForAkumaPaths } from "./identity.js";
 import { BIRTH_TIMEOUT_MS, publishAkuma } from "./publication.js";
 import { atomicJson, canonicalAkuId, decodeClaim, decodeRecipe, receiptPath, } from "./request-wire.js";
 import { isTaskMutationAction } from "../task/mutation.js";
-const POLL_MS = 25;
+import { executeRequest } from "./request-execution.js";
+const POLL_MS = 100;
 function diagnostic(error) {
     return error instanceof Error ? error.message : String(error);
 }
@@ -123,14 +124,10 @@ async function serveCall(input) {
                     seed: {
                         id: allocated.id,
                         archetype: allocated.archetype,
-                        ...(request.recipe.description === undefined
-                            ? {}
-                            : { description: request.recipe.description }),
+                        ...(request.recipe.description === undefined ? {} : { description: request.recipe.description }),
                         provider: request.recipe.provider,
                         options: request.recipe.options,
-                        ...(request.recipe.readonly === undefined
-                            ? {}
-                            : { readonly: request.recipe.readonly }),
+                        ...(request.recipe.readonly === undefined ? {} : { readonly: request.recipe.readonly }),
                         allowed: request.recipe.allowed,
                         cwd: request.cwd ?? input.parent.cwd,
                         origin: {
@@ -149,9 +146,10 @@ async function serveCall(input) {
         const current = await readRequest(input.paths, request.id);
         if (current === null)
             throw error;
-        fact = current.state === "admitted" || current.state === "reserved"
-            ? await voidRequest(input.paths, request.id, diagnostic(error))
-            : current;
+        fact =
+            current.state === "admitted" || current.state === "reserved"
+                ? await voidRequest(input.paths, request.id, diagnostic(error))
+                : current;
     }
     await projectReceipt(input.directory, fact);
 }
@@ -164,103 +162,6 @@ function failure(error) {
     }
     return { kind: "failed", diagnostic: diagnostic(error) };
 }
-async function execute(input, request) {
-    if (input.upstream === undefined)
-        throw new Error("upstream execution port is unavailable");
-    if (request.action === "akuma.wait") {
-        const result = await input.upstream.wait({
-            targets: request.targets,
-            completion: request.completion,
-            ...(request.timeoutMs === undefined ? {} : { timeoutMs: request.timeoutMs }),
-            signal: input.signal,
-        });
-        return { result, service: { action: request.action } };
-    }
-    if (request.action === "akuma.tell") {
-        const result = await input.upstream.tell({
-            target: request.target,
-            body: request.body,
-            tellId: request.id,
-            recordedAt: request.admittedAt,
-            signal: input.signal,
-        });
-        return {
-            result,
-            service: { action: request.action, target: request.target, tellId: request.id },
-        };
-    }
-    if (request.action === "akuma.kill") {
-        const served = await input.upstream.kill({
-            targets: request.targets,
-            signal: input.signal,
-        });
-        return {
-            result: served.result,
-            service: { action: request.action, results: served.service },
-        };
-    }
-    if (request.action === "contract.deliver") {
-        return await executeDeliver(input, request);
-    }
-    if (request.action === "contract.review") {
-        return await executeReview(input, request);
-    }
-    const task = request;
-    const result = await input.upstream.task({
-        world: task.world,
-        request: task.request,
-        requester: task.requester,
-        signal: input.signal,
-    });
-    return { result, service: { action: task.action } };
-}
-async function executeDeliver(input, request) {
-    if (input.upstream === undefined)
-        throw new Error("upstream execution port is unavailable");
-    const served = await input.upstream.deliver({
-        repoRoot: request.repoRoot,
-        contractId: request.contractId,
-        ...(request.message === undefined ? {} : { message: request.message }),
-        includeDirty: request.includeDirty,
-        materializeConflict: request.materializeConflict,
-        requester: request.requester,
-        signal: input.signal,
-    });
-    return {
-        result: served.result,
-        ...(served.deliveryFactId === undefined ? {} : {
-            service: {
-                action: request.action,
-                repoRoot: request.repoRoot,
-                contractId: request.contractId,
-                deliveryFactId: served.deliveryFactId,
-            },
-        }),
-    };
-}
-async function executeReview(input, request) {
-    if (input.upstream === undefined)
-        throw new Error("upstream execution port is unavailable");
-    const served = await input.upstream.review({
-        repoRoot: request.repoRoot,
-        contractId: request.contractId,
-        verdict: request.verdict,
-        ...(request.summary === undefined ? {} : { summary: request.summary }),
-        requester: request.requester,
-        signal: input.signal,
-    });
-    return {
-        result: served.result,
-        ...(served.reviewFactId === undefined ? {} : {
-            service: {
-                action: request.action,
-                repoRoot: request.repoRoot,
-                contractId: request.contractId,
-                reviewFactId: served.reviewFactId,
-            },
-        }),
-    };
-}
 function pendingService(request) {
     if (request.action === "akuma.wait")
         return { action: request.action };
@@ -302,7 +203,7 @@ async function serveUpstream(input) {
     let outcome;
     let service = pendingService(request);
     try {
-        const served = await execute(input, request);
+        const served = await executeRequest(input, request);
         outcome = { kind: "returned", result: served.result };
         if (served.service !== undefined)
             service = served.service;
@@ -313,9 +214,10 @@ async function serveUpstream(input) {
         await projectReceipt(input.directory, fact);
         return;
     }
-    fact = service === undefined
-        ? await voidRequest(input.paths, request.id, "body completed without a durable Contract fact reference")
-        : await serveUpstreamRequest(input.paths, request.id, service);
+    fact =
+        service === undefined
+            ? await voidRequest(input.paths, request.id, "body completed without a durable Contract fact reference")
+            : await serveUpstreamRequest(input.paths, request.id, service);
     await projectReceipt(input.directory, fact, outcome);
 }
 async function serve(input) {
@@ -325,9 +227,7 @@ async function serve(input) {
 }
 async function requestFiles(directory) {
     try {
-        return (await readdir(directory))
-            .filter((name) => name.endsWith(".request.json"))
-            .sort();
+        return (await readdir(directory)).filter((name) => name.endsWith(".request.json")).sort();
     }
     catch (error) {
         if (error.code === "ENOENT")
@@ -421,9 +321,7 @@ export async function clearBodyRequestTransport(paths) {
     await rm(join(paths.directory, "requests"), { recursive: true, force: true });
 }
 function matchingRequestOrigin(soul, parent, id) {
-    return soul.origin.kind === "request"
-        && soul.origin.parent === parent
-        && soul.origin.requestId === id;
+    return soul.origin.kind === "request" && soul.origin.parent === parent && soul.origin.requestId === id;
 }
 async function settleReservedSoul(paths, parent, request, soul) {
     await (matchingRequestOrigin(soul, parent.id, request.id)
@@ -435,7 +333,7 @@ async function settleReserved(paths, parent, request, now, signal) {
     const deadline = performance.now() + BIRTH_TIMEOUT_MS;
     for (;;) {
         signal?.throwIfAborted();
-        if (!await access(childPaths.directory).then(() => true, () => false)) {
+        if (!(await access(childPaths.directory).then(() => true, () => false))) {
             await voidRequest(paths, request.id, "reserved child directory is absent");
             return true;
         }
@@ -466,7 +364,7 @@ async function settleReserved(paths, parent, request, now, signal) {
         }
         if (performance.now() >= deadline)
             return false;
-        await abortableDelay(POLL_MS, signal);
+        await abortableDelay(Math.min(POLL_MS, Math.max(0, deadline - performance.now())), signal);
     }
 }
 export async function settleBodyRequests(paths, parent, now, signal) {
@@ -476,8 +374,7 @@ export async function settleBodyRequests(paths, parent, now, signal) {
         if (request.state === "admitted") {
             await voidRequest(paths, request.id, "body died before serving the request");
         }
-        else if (request.state === "reserved"
-            && !await settleReserved(paths, parent, request, now, signal))
+        else if (request.state === "reserved" && !(await settleReserved(paths, parent, request, now, signal)))
             pending = true;
     }
     return pending ? "pending" : "settled";

package/build/src/akuma/request-wire.d.ts

@@ -60,9 +60,9 @@ export type TaskRequestClaim = Readonly<{
     request: TaskMutationRequest;
 }>;
 export type RequestClaim = CallRequestClaim | WaitRequestClaim | TellRequestClaim | KillRequestClaim | DeliverRequestClaim | ReviewRequestClaim | TaskRequestClaim;
-export type StructuralRequestClaim = Omit<CallRequestClaim, "recipe"> & Readonly<{
+export type StructuralRequestClaim = (Omit<CallRequestClaim, "recipe"> & Readonly<{
     recipe: unknown;
-}> | Exclude<RequestClaim, CallRequestClaim>;
+}>) | Exclude<RequestClaim, CallRequestClaim>;
 export type UpstreamRequestFailure = Readonly<{
     kind: "akuma-not-born";
     id: AkuId;

package/build/src/akuma/request-wire.js

@@ -3,7 +3,7 @@ import { rename, rm, writeFile } from "node:fs/promises";
 import { isAbsolute, join, resolve } from "node:path";
 import { decodeAllowedActions } from "./allowed.js";
 import { archetypeName, parseAkuId } from "./identity.js";
-import { decodeProviderOptions, decodeReadonlyRestraint, } from "./provider-recipe.js";
+import { decodeProviderOptions, decodeReadonlyRestraint } from "./provider-recipe.js";
 import { decodeProviderExecution } from "./providers/index.js";
 import { decodeTaskMutationRequest, isTaskMutationAction, } from "../task/mutation.js";
 const UUID = /^[0-9a-f]{8}-[0-9a-f]{4}-4[0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/u;
@@ -37,9 +37,7 @@ function canonicalTargets(value) {
     const ids = [];
     for (const item of value) {
         const id = canonicalAkuId(item);
-        if (id === null
-            || (ids.length > 0
-                && Buffer.compare(Buffer.from(ids.at(-1)), Buffer.from(id)) >= 0))
+        if (id === null || (ids.length > 0 && Buffer.compare(Buffer.from(ids.at(-1)), Buffer.from(id)) >= 0))
             return null;
         ids.push(id);
     }
@@ -56,10 +54,9 @@ export function decodeRecipe(value) {
         ...(recipe.description === undefined ? [] : ["description"]),
         ...(recipe.readonly === undefined ? [] : ["readonly"]),
     ];
-    if (!exactKeys(recipe, expected)
-        || (recipe.description !== undefined
-            && (typeof recipe.description !== "string"
-                || recipe.description.trim().length === 0)))
+    if (!exactKeys(recipe, expected) ||
+        (recipe.description !== undefined &&
+            (typeof recipe.description !== "string" || recipe.description.trim().length === 0)))
         return null;
     try {
         const options = decodeProviderOptions(recipe.options);
@@ -82,17 +79,11 @@ function contractId(value) {
     return typeof value === "string" && /^kei\/[^/\s]+$/u.test(value) ? value : null;
 }
 function decodeCall(id, payload) {
-    const expected = [
-        "archetype",
-        "body",
-        "recipe",
-        "world",
-        ...(payload.cwd === undefined ? [] : ["cwd"]),
-    ];
-    if (!exactKeys(payload, expected)
-        || typeof payload.body !== "string"
-        || !absolute(payload.world)
-        || (payload.cwd !== undefined && !absolute(payload.cwd)))
+    const expected = ["archetype", "body", "recipe", "world", ...(payload.cwd === undefined ? [] : ["cwd"])];
+    if (!exactKeys(payload, expected) ||
+        typeof payload.body !== "string" ||
+        !absolute(payload.world) ||
+        (payload.cwd !== undefined && !absolute(payload.cwd)))
         return null;
     try {
         archetypeName(payload.archetype);
@@ -112,42 +103,29 @@ function decodeCall(id, payload) {
 }
 function decodeWait(id, payload) {
     const targets = canonicalTargets(payload.targets);
-    const expected = [
-        "completion",
-        "targets",
-        ...(payload.timeoutMs === undefined ? [] : ["timeoutMs"]),
-    ];
-    if (!exactKeys(payload, expected)
-        || targets === null
-        || (payload.completion !== "any" && payload.completion !== "all")
-        || (payload.timeoutMs !== undefined
-            && (!Number.isSafeInteger(payload.timeoutMs)
-                || payload.timeoutMs < 0)))
+    const expected = ["completion", "targets", ...(payload.timeoutMs === undefined ? [] : ["timeoutMs"])];
+    if (!exactKeys(payload, expected) ||
+        targets === null ||
+        (payload.completion !== "any" && payload.completion !== "all") ||
+        (payload.timeoutMs !== undefined && (!Number.isSafeInteger(payload.timeoutMs) || payload.timeoutMs < 0)))
         return null;
     return {
         id,
         action: "akuma.wait",
         targets,
         completion: payload.completion,
-        ...(payload.timeoutMs === undefined
-            ? {}
-            : { timeoutMs: payload.timeoutMs }),
+        ...(payload.timeoutMs === undefined ? {} : { timeoutMs: payload.timeoutMs }),
     };
 }
 function decodeTell(id, payload) {
     const target = canonicalAkuId(payload.target);
-    return exactKeys(payload, ["body", "target"])
-        && target !== null
-        && typeof payload.body === "string"
+    return exactKeys(payload, ["body", "target"]) && target !== null && typeof payload.body === "string"
         ? { id, action: "akuma.tell", target, body: payload.body }
         : null;
 }
 function decodeKill(id, payload) {
     const targets = canonicalTargets(payload.targets);
-    return exactKeys(payload, ["targets"])
-        && targets !== null
-        ? { id, action: "akuma.kill", targets }
-        : null;
+    return exactKeys(payload, ["targets"]) && targets !== null ? { id, action: "akuma.kill", targets } : null;
 }
 function decodeDeliver(id, payload) {
     const valid = exactKeys(payload, [
@@ -158,14 +136,12 @@ function decodeDeliver(id, payload) {
         ...(payload.message === undefined ? [] : ["message"]),
     ]);
     const selected = contractId(payload.contractId);
-    return valid
-        && selected !== null
-        && absolute(payload.repoRoot)
-        && typeof payload.includeDirty === "boolean"
-        && typeof payload.materializeConflict === "boolean"
-        && (payload.message === undefined
-            || (typeof payload.message === "string"
-                && payload.message.trim().length > 0))
+    return valid &&
+        selected !== null &&
+        absolute(payload.repoRoot) &&
+        typeof payload.includeDirty === "boolean" &&
+        typeof payload.materializeConflict === "boolean" &&
+        (payload.message === undefined || (typeof payload.message === "string" && payload.message.trim().length > 0))
         ? {
             id,
             action: "contract.deliver",
@@ -173,9 +149,7 @@ function decodeDeliver(id, payload) {
             contractId: selected,
             includeDirty: payload.includeDirty,
             materializeConflict: payload.materializeConflict,
-            ...(payload.message === undefined
-                ? {}
-                : { message: payload.message }),
+            ...(payload.message === undefined ? {} : { message: payload.message }),
         }
         : null;
 }
@@ -187,29 +161,23 @@ function decodeReview(id, payload) {
         ...(payload.summary === undefined ? [] : ["summary"]),
     ]);
     const selected = contractId(payload.contractId);
-    return valid
-        && selected !== null
-        && absolute(payload.repoRoot)
-        && (payload.verdict === "satisfied" || payload.verdict === "unsatisfied")
-        && (payload.summary === undefined
-            || (typeof payload.summary === "string"
-                && payload.summary.trim().length > 0))
+    return valid &&
+        selected !== null &&
+        absolute(payload.repoRoot) &&
+        (payload.verdict === "satisfied" || payload.verdict === "unsatisfied") &&
+        (payload.summary === undefined || (typeof payload.summary === "string" && payload.summary.trim().length > 0))
         ? {
             id,
             action: "contract.review",
             repoRoot: payload.repoRoot,
             contractId: selected,
             verdict: payload.verdict,
-            ...(payload.summary === undefined
-                ? {}
-                : { summary: payload.summary }),
+            ...(payload.summary === undefined ? {} : { summary: payload.summary }),
         }
         : null;
 }
 function decodeTask(id, action, payload) {
-    if (!isTaskMutationAction(action)
-        || !exactKeys(payload, ["request", "world"])
-        || !absolute(payload.world))
+    if (!isTaskMutationAction(action) || !exactKeys(payload, ["request", "world"]) || !absolute(payload.world))
         return null;
     try {
         return {
@@ -240,11 +208,11 @@ export function decodeClaim(bytes, fileId) {
         return null;
     }
     const value = object(decoded);
-    if (value === null
-        || !exactKeys(value, ["action", "id", "payload"])
-        || value.id !== fileId
-        || typeof value.id !== "string"
-        || !UUID.test(value.id))
+    if (value === null ||
+        !exactKeys(value, ["action", "id", "payload"]) ||
+        value.id !== fileId ||
+        typeof value.id !== "string" ||
+        !UUID.test(value.id))
         return null;
     const payload = object(value.payload);
     if (payload === null || typeof value.action !== "string")
@@ -258,54 +226,59 @@ function outcome(value) {
         return { kind: input.kind, result: input.result };
     }
     const failure = object(input?.failure);
-    if (input?.kind !== "failed"
-        || !exactKeys(input, ["failure", "kind"])
-        || failure === null)
+    if (input?.kind !== "failed" || !exactKeys(input, ["failure", "kind"]) || failure === null)
         return null;
     if (failure.kind === "akuma-not-born" && exactKeys(failure, ["id", "kind"])) {
         const id = canonicalAkuId(failure.id);
-        return id === null
-            ? null
-            : { kind: input.kind, failure: { kind: failure.kind, id } };
+        return id === null ? null : { kind: input.kind, failure: { kind: failure.kind, id } };
     }
-    return failure.kind === "failed" && exactKeys(failure, ["diagnostic", "kind"]) && typeof failure.diagnostic === "string"
-        ? { kind: input.kind, failure: { kind: failure.kind, diagnostic: failure.diagnostic } } : null;
+    return failure.kind === "failed" &&
+        exactKeys(failure, ["diagnostic", "kind"]) &&
+        typeof failure.diagnostic === "string"
+        ? { kind: input.kind, failure: { kind: failure.kind, diagnostic: failure.diagnostic } }
+        : null;
 }
 function envelope(value, id, action) {
-    if (value.state === "refused"
-        && exactKeys(value, ["action", "diagnostic", "id", "state"])
-        && typeof value.diagnostic === "string") {
+    if (value.state === "refused" &&
+        exactKeys(value, ["action", "diagnostic", "id", "state"]) &&
+        typeof value.diagnostic === "string") {
         return { id, action, state: value.state, diagnostic: value.diagnostic };
     }
-    if (value.state === "voided"
-        && exactKeys(value, ["action", "evidence", "id", "state"])
-        && typeof value.evidence === "string") {
+    if (value.state === "voided" &&
+        exactKeys(value, ["action", "evidence", "id", "state"]) &&
+        typeof value.evidence === "string") {
         return { id, action, state: value.state, evidence: value.evidence };
     }
-    if (action !== "akuma.call"
-        && value.state === "served"
-        && exactKeys(value, ["action", "id", "outcome", "state"])) {
+    if (action !== "akuma.call" && value.state === "served" && exactKeys(value, ["action", "id", "outcome", "state"])) {
         const decoded = outcome(value.outcome);
-        return decoded === null
-            ? null
-            : { id, action, state: value.state, outcome: decoded };
+        return decoded === null ? null : { id, action, state: value.state, outcome: decoded };
     }
     return null;
 }
 function reference(value, action) {
     const input = object(value);
     const field = action === "contract.deliver" ? "deliveryFactId" : "reviewFactId";
-    if (input === null
-        || !exactKeys(input, ["contractId", field, "kind", "repoRoot"])
-        || input.kind !== "accepted-reference"
-        || !absolute(input.repoRoot)
-        || contractId(input.contractId) === null
-        || typeof input[field] !== "string"
-        || input[field].trim().length === 0)
+    if (input === null ||
+        !exactKeys(input, ["contractId", field, "kind", "repoRoot"]) ||
+        input.kind !== "accepted-reference" ||
+        !absolute(input.repoRoot) ||
+        contractId(input.contractId) === null ||
+        typeof input[field] !== "string" ||
+        input[field].trim().length === 0)
         return null;
     return action === "contract.deliver"
-        ? { kind: input.kind, repoRoot: input.repoRoot, contractId: input.contractId, deliveryFactId: input.deliveryFactId }
-        : { kind: input.kind, repoRoot: input.repoRoot, contractId: input.contractId, reviewFactId: input.reviewFactId };
+        ? {
+            kind: input.kind,
+            repoRoot: input.repoRoot,
+            contractId: input.contractId,
+            deliveryFactId: input.deliveryFactId,
+        }
+        : {
+            kind: input.kind,
+            repoRoot: input.repoRoot,
+            contractId: input.contractId,
+            reviewFactId: input.reviewFactId,
+        };
 }
 function decodeCallReceipt(value, id) {
     if (value.state !== "served" || !exactKeys(value, ["action", "child", "id", "state"]))
@@ -327,10 +300,10 @@ function decodeTaskReceipt(value, id, action) {
     if (value.state !== "served" || !exactKeys(value, ["action", "id", "reference", "state"]))
         return null;
     const selected = object(value.reference);
-    if (selected === null
-        || !exactKeys(selected, ["action", "kind"])
-        || selected.kind !== "served-reference"
-        || selected.action !== action)
+    if (selected === null ||
+        !exactKeys(selected, ["action", "kind"]) ||
+        selected.kind !== "served-reference" ||
+        selected.action !== action)
         return null;
     return { id, action, state: value.state, reference: { kind: selected.kind, action } };
 }

package/build/src/akuma/requests.js

@@ -4,7 +4,7 @@ import { abortableDelay } from "./abort.js";
 import { AKUMA_REQUESTS_ENV } from "./provider.js";
 import { absolute, atomicJson, decodeReceipt, receiptPath, requestPath, requestPayload, } from "./request-wire.js";
 import { isTaskMutationAction } from "../task/mutation.js";
-const POLL_MS = 25;
+const POLL_MS = 100;
 export class AkumaBodyRequestError extends Error {
     outcome;
     diagnostic;
@@ -47,7 +47,7 @@ async function requestBody(input) {
             if (error.code !== "ENOENT")
                 throw error;
         }
-        if (!await access(input.directory).then(() => true, () => false)) {
+        if (!(await access(input.directory).then(() => true, () => false))) {
             throw new AkumaBodyRequestError("voided", "parent request channel closed before a receipt");
         }
         await abortableDelay(POLL_MS, input.signal);

package/build/src/akuma/{body-turn.d.ts → turn-drive.d.ts}

@@ -1,31 +1,8 @@
-import { type HeartSnapshot, type HeldAkumaLeash, type ResumeCoordinate, type Soul, type TellFact } from "./heart/index.js";
+import { type ResumeCoordinate, type Soul, type TellFact } from "./heart/index.js";
 import type { AkumaPaths } from "./identity.js";
 import { type ProviderAdapter, type TurnResult } from "./provider.js";
 import { type RequestChildLaunch, type UpstreamExecutionPort } from "./request-serve.js";
-export declare const CONTROL_RESPONSE_MS = 1000;
-export declare class BodySupervisor {
-    private readonly paths;
-    private readonly bodySequence;
-    private readonly leash;
-    readonly signal: AbortSignal;
-    private readonly controller;
-    private readonly finished;
-    private readonly observer;
-    private waiter;
-    private observation;
-    private stopping?;
-    private constructor();
-    static open(paths: AkumaPaths, bodySequence: number, leash: HeldAkumaLeash): Promise<BodySupervisor>;
-    get reason(): "control" | "heart-gone" | undefined;
-    current(): HeartSnapshot;
-    recordHung(diagnostic: string, at: string): Promise<void>;
-    refresh(): Promise<HeartSnapshot>;
-    next(after: HeartSnapshot): Promise<HeartSnapshot>;
-    cancel(reason: "control" | "heart-gone"): void;
-    close(): Promise<void>;
-    private publish;
-    private observe;
-}
+import { BodySupervisor } from "./body-supervisor.js";
 export declare function turnRecipe(paths: AkumaPaths, soul: Soul): Promise<Readonly<{
     cwd: string;
     options: Soul["options"];