poe-code 4.0.57 → 4.0.59

package/packages/safejs/dist/lint/rules/AS-unreachable.js

@@ -31,6 +31,9 @@ class ASUnreachableScanner {
     }
     visitStatement(node) {
         switch (node.type) {
+            case "FunctionDeclaration":
+                this.visitArrowFunction(node);
+                return false;
             case "BlockStatement":
                 return this.visitBlock(node);
             case "ExpressionStatement":
@@ -75,7 +78,6 @@ class ASUnreachableScanner {
                 this.visitExpression(node.declaration);
                 return false;
             case "ImportDeclaration":
-            case "FunctionDeclaration":
             case "EmptyStatement":
                 return false;
         }
@@ -156,6 +158,12 @@ class ASUnreachableScanner {
     }
     visitExpression(node) {
         switch (node.type) {
+            case "YieldExpression":
+                if (node.argument !== undefined) {
+                    this.visitExpression(node.argument);
+                }
+                return;
+            case "FunctionExpression":
             case "ArrowFunctionExpression":
                 this.visitArrowFunction(node);
                 return;

package/packages/safejs/dist/lint/rules/AS-unused-import.js

@@ -55,6 +55,9 @@ class ASUnusedImportScanner {
     }
     visitStatement(node) {
         switch (node.type) {
+            case "FunctionDeclaration":
+                this.visitArrowFunction(node);
+                return;
             case "ExportNamedDeclaration":
                 this.visitVariableDeclaration(node.declaration);
                 return;
@@ -182,9 +185,15 @@ class ASUnusedImportScanner {
     }
     visitExpression(node) {
         switch (node.type) {
+            case "YieldExpression":
+                if (node.argument !== undefined) {
+                    this.visitExpression(node.argument);
+                }
+                return;
             case "Identifier":
                 this.markRead(node);
                 return;
+            case "FunctionExpression":
             case "ArrowFunctionExpression":
                 this.visitArrowFunction(node);
                 return;
@@ -417,6 +426,10 @@ class ASUnusedImportScanner {
                 bindings.push(...this.collectImportBindings(statement));
                 continue;
             }
+            if (statement.type === "FunctionDeclaration") {
+                bindings.push({ kind: "let", name: statement.id.name });
+                continue;
+            }
             if (statement.type === "VariableDeclaration") {
                 bindings.push(...this.collectDeclarationBindings(statement));
                 continue;
@@ -430,6 +443,9 @@ class ASUnusedImportScanner {
     collectBlockBindings(body) {
         const bindings = [];
         for (const statement of body) {
+            if (statement.type === "FunctionDeclaration") {
+                bindings.push({ kind: "let", name: statement.id.name });
+            }
             if (statement.type === "VariableDeclaration") {
                 bindings.push(...this.collectDeclarationBindings(statement));
             }
@@ -438,6 +454,12 @@ class ASUnusedImportScanner {
     }
     collectParameterBindings(node) {
         const bindings = [];
+        if (node.type !== "ArrowFunctionExpression") {
+            bindings.push({ kind: "param", name: "arguments" });
+            if (node.type === "FunctionExpression" && node.id !== undefined) {
+                bindings.push({ kind: "param", name: node.id.name });
+            }
+        }
         for (const parameter of node.params) {
             this.collectBindingNamesFromElement(parameter, "param", bindings);
         }

package/packages/safejs/dist/lint/rules/AS001.js

@@ -165,11 +165,6 @@ class AS001Scanner {
                         pendingClassBody = true;
                     }
                 }
-                if (token.value === "function" && nextSignificantChar === "*") {
-                    const generatorStart = this.positionWithinSource(this.skipTriviaFrom(this.index));
-                    const generatorEnd = this.positionWithinSource(this.skipTriviaFrom(this.index) + 1);
-                    this.report("generator", generatorStart, generatorEnd);
-                }
             }
             const isStatementBrace = token.type === "punctuator" && token.value === "{" && canStartStatement;
             if (token.type === "punctuator" && token.value === "{") {
@@ -218,7 +213,6 @@ class AS001Scanner {
         switch (token.value) {
             case "class":
             case "eval":
-            case "function":
             case "Function":
             case "switch":
             case "this":

package/packages/safejs/dist/lint/rules/AS003.js

@@ -26,6 +26,9 @@ class AS003Scanner {
     }
     visitStatement(node) {
         switch (node.type) {
+            case "FunctionDeclaration":
+                this.visitArrowFunction(node);
+                return;
             case "BlockStatement":
                 this.visitBlock(node);
                 return;
@@ -159,9 +162,15 @@ class AS003Scanner {
     }
     visitExpression(node) {
         switch (node.type) {
+            case "YieldExpression":
+                if (node.argument !== undefined) {
+                    this.visitExpression(node.argument);
+                }
+                return;
             case "Identifier":
                 this.visitIdentifier(node);
                 return;
+            case "FunctionExpression":
             case "ArrowFunctionExpression":
                 this.visitArrowFunction(node);
                 return;
@@ -438,6 +447,10 @@ class AS003Scanner {
                 bindings.push(...this.collectImportBindings(statement));
                 continue;
             }
+            if (statement.type === "FunctionDeclaration") {
+                bindings.push({ kind: "let", name: statement.id.name });
+                continue;
+            }
             if (statement.type === "VariableDeclaration") {
                 bindings.push(...this.collectDeclarationBindings(statement));
                 continue;
@@ -451,6 +464,9 @@ class AS003Scanner {
     collectBlockBindings(body) {
         const bindings = [];
         for (const statement of body) {
+            if (statement.type === "FunctionDeclaration") {
+                bindings.push({ kind: "let", name: statement.id.name });
+            }
             if (statement.type === "VariableDeclaration") {
                 bindings.push(...this.collectDeclarationBindings(statement));
             }
@@ -459,6 +475,12 @@ class AS003Scanner {
     }
     collectParameterBindings(node) {
         const bindings = [];
+        if (node.type !== "ArrowFunctionExpression") {
+            bindings.push({ kind: "let", name: "arguments" });
+            if (node.type === "FunctionExpression" && node.id !== undefined) {
+                bindings.push({ kind: "const", name: node.id.name });
+            }
+        }
         for (const parameter of node.params) {
             this.collectBindingNamesFromElement(parameter, "param", bindings);
         }

package/packages/safejs/dist/lint/rules/AS006-007.js

@@ -26,6 +26,9 @@ class AS006007Scanner {
     }
     visitStatement(node) {
         switch (node.type) {
+            case "FunctionDeclaration":
+                this.visitArrowFunction(node);
+                return;
             case "ExportNamedDeclaration":
                 this.visitVariableDeclaration(node.declaration);
                 return;
@@ -159,9 +162,15 @@ class AS006007Scanner {
     }
     visitExpression(node) {
         switch (node.type) {
+            case "YieldExpression":
+                if (node.argument !== undefined) {
+                    this.visitExpression(node.argument);
+                }
+                return;
             case "Identifier":
                 this.markRead(node);
                 return;
+            case "FunctionExpression":
             case "ArrowFunctionExpression":
                 this.visitArrowFunction(node);
                 return;
@@ -432,6 +441,10 @@ class AS006007Scanner {
                 bindings.push(...this.collectImportBindings(statement));
                 continue;
             }
+            if (statement.type === "FunctionDeclaration") {
+                bindings.push(this.createBinding(statement.id, "let"));
+                continue;
+            }
             if (statement.type === "VariableDeclaration") {
                 bindings.push(...this.collectDeclarationBindings(statement));
                 continue;
@@ -445,6 +458,9 @@ class AS006007Scanner {
     collectBlockBindings(body) {
         const bindings = [];
         for (const statement of body) {
+            if (statement.type === "FunctionDeclaration") {
+                bindings.push(this.createBinding(statement.id, "let"));
+            }
             if (statement.type === "VariableDeclaration") {
                 bindings.push(...this.collectDeclarationBindings(statement));
             }
@@ -453,6 +469,9 @@ class AS006007Scanner {
     }
     collectParameterBindings(node) {
         const bindings = [];
+        if (node.type === "FunctionExpression" && node.id !== undefined) {
+            bindings.push(this.createBinding(node.id, "param"));
+        }
         for (const parameter of node.params) {
             this.collectBindingNamesFromElement(parameter, "param", bindings);
         }

package/packages/safejs/dist/lint/rules/AS008.js

@@ -23,6 +23,9 @@ class AS008Scanner {
     }
     visitStatement(node) {
         switch (node.type) {
+            case "FunctionDeclaration":
+                this.visitArrowFunction(node);
+                return;
             case "BlockStatement":
                 this.withNestedScope(() => {
                     this.visitBlock(node);
@@ -141,6 +144,12 @@ class AS008Scanner {
     }
     visitExpression(node) {
         switch (node.type) {
+            case "YieldExpression":
+                if (node.argument !== undefined) {
+                    this.visitExpression(node.argument);
+                }
+                return;
+            case "FunctionExpression":
             case "ArrowFunctionExpression":
                 this.visitArrowFunction(node);
                 return;

package/packages/safejs/dist/lint/rules/AS009.js

@@ -28,6 +28,9 @@ class AS009Scanner {
     }
     visitStatement(node) {
         switch (node.type) {
+            case "FunctionDeclaration":
+                this.visitArrowFunction(node);
+                return;
             case "BlockStatement":
                 this.visitBlockStatement(node.body);
                 return;
@@ -157,6 +160,12 @@ class AS009Scanner {
     }
     visitExpression(node) {
         switch (node.type) {
+            case "YieldExpression":
+                if (node.argument !== undefined) {
+                    this.visitExpression(node.argument);
+                }
+                return;
+            case "FunctionExpression":
             case "ArrowFunctionExpression":
                 this.visitArrowFunction(node);
                 return;

package/packages/safejs/dist/lint/rules/AS010.js

@@ -38,6 +38,9 @@ class AS010Scanner {
     }
     visitStatement(node) {
         switch (node.type) {
+            case "FunctionDeclaration":
+                this.visitArrowFunction(node);
+                return;
             case "BlockStatement":
                 this.visitBlock(node);
                 return;
@@ -176,9 +179,15 @@ class AS010Scanner {
     }
     visitExpression(node) {
         switch (node.type) {
+            case "YieldExpression":
+                if (node.argument !== undefined) {
+                    this.visitExpression(node.argument);
+                }
+                return;
             case "Identifier":
                 this.markRead(node);
                 return;
+            case "FunctionExpression":
             case "ArrowFunctionExpression":
                 this.visitArrowFunction(node);
                 return;

package/packages/safejs/dist/lint/rules/AS011.js

@@ -21,6 +21,9 @@ class AS011Scanner {
     }
     visitStatement(node) {
         switch (node.type) {
+            case "FunctionDeclaration":
+                this.visitArrowFunction(node);
+                return;
             case "BlockStatement":
                 for (const statement of node.body) {
                     this.visitStatement(statement);
@@ -138,6 +141,12 @@ class AS011Scanner {
     }
     visitExpression(node) {
         switch (node.type) {
+            case "YieldExpression":
+                if (node.argument !== undefined) {
+                    this.visitExpression(node.argument);
+                }
+                return;
+            case "FunctionExpression":
             case "ArrowFunctionExpression":
                 this.visitArrowFunction(node);
                 return;

package/packages/safejs/dist/lint/rules/AS015.js

@@ -19,6 +19,9 @@ class AS015Scanner {
     }
     visitStatement(node) {
         switch (node.type) {
+            case "FunctionDeclaration":
+                this.visitArrowFunction(node);
+                return;
             case "BlockStatement":
                 for (const statement of node.body) {
                     this.visitStatement(statement);
@@ -136,6 +139,12 @@ class AS015Scanner {
     }
     visitExpression(node) {
         switch (node.type) {
+            case "YieldExpression":
+                if (node.argument !== undefined) {
+                    this.visitExpression(node.argument);
+                }
+                return;
+            case "FunctionExpression":
             case "ArrowFunctionExpression":
                 this.visitArrowFunction(node);
                 return;

package/packages/safejs/dist/parse/parser.d.ts

@@ -346,6 +346,7 @@ export type ArrowFunctionExpression = BaseNode & {
     expression: boolean;
     params: Array<AssignmentPattern | ArrayPattern | Identifier | ObjectPattern | RestElement>;
 };
+export type FunctionNode = ArrowFunctionExpression | FunctionDeclaration | FunctionExpression;
 export type Expression = ArrowFunctionExpression | AssignmentExpression | ArrayExpression | AwaitExpression | BinaryExpression | BooleanLiteral | CallExpression | ConditionalExpression | FunctionExpression | Identifier | LogicalExpression | MemberExpression | MetaProperty | NewExpression | NullLiteral | NumericLiteral | ObjectExpression | RegexLiteral | SequenceExpression | StringLiteral | TaggedTemplateExpression | TemplateLiteral | ThisExpression | UnaryExpression | UpdateExpression | UndefinedLiteral | YieldExpression;
 export type ParseResult = Expression | Statement;
 export declare function parse(source: string, filename?: string): ParseResult;

package/packages/safejs/dist/parse/parser.js

@@ -170,13 +170,13 @@ class Parser {
         };
     }
     parseExpression(options = {}) {
-        const first = this.parseNonSequenceExpression();
+        const first = this.parseAssignmentExpression();
         if (options.allowSequence !== true || this.consumePunctuator(",") === undefined) {
             return first;
         }
         const expressions = [first.node];
         do {
-            expressions.push(this.parseNonSequenceExpression().node);
+            expressions.push(this.parseAssignmentExpression().node);
         } while (this.consumePunctuator(",") !== undefined);
         return {
             node: {
@@ -187,7 +187,7 @@ class Parser {
             parenthesized: false
         };
     }
-    parseNonSequenceExpression() {
+    parseAssignmentExpression() {
         const arrowFunction = this.tryParseArrowFunctionExpression();
         if (arrowFunction !== undefined) {
             return {
@@ -195,9 +195,6 @@ class Parser {
                 parenthesized: false
             };
         }
-        return this.parseAssignmentExpression();
-    }
-    parseAssignmentExpression() {
         const patternAssignment = this.tryParsePatternAssignmentExpression();
         if (patternAssignment !== undefined) {
             return {
@@ -271,7 +268,7 @@ class Parser {
             }
             const consequent = this.parseExpression();
             this.expectPunctuator(":");
-            const alternate = this.parseConditionalExpression();
+            const alternate = this.parseAssignmentExpression();
             return {
                 node: {
                     type: "ConditionalExpression",

package/packages/safejs/dist/snapshot/arguments.d.ts

@@ -0,0 +1,17 @@
+import type { SandboxObject, SandboxValue } from "../interp/values.js";
+type PropertyFlags = {
+    configurable: boolean;
+    enumerable: boolean;
+    writable: boolean;
+};
+export type SerializedArguments<TValue> = {
+    kind: "arguments";
+    extensible: boolean;
+    lengthBeforeCallee: boolean;
+    iterator: PropertyFlags | null;
+    properties: Record<string, PropertyFlags & {
+        value: TValue;
+    }>;
+};
+export declare function serializeArguments<TValue>(value: SandboxObject, serializeValue: (entry: SandboxValue, key: string) => TValue): SerializedArguments<TValue>;
+export {};

package/packages/safejs/dist/snapshot/arguments.js

@@ -0,0 +1,34 @@
+export function serializeArguments(value, serializeValue) {
+    const properties = Object.create(null);
+    for (const [key, descriptor] of Object.entries(Object.getOwnPropertyDescriptors(value))) {
+        if (!("value" in descriptor)) {
+            if (key !== "callee")
+                throw new TypeError(`Cannot snapshot arguments accessor '${key}'.`);
+            continue;
+        }
+        properties[key] = {
+            value: serializeValue(descriptor.value, key),
+            configurable: descriptor.configurable === true,
+            enumerable: descriptor.enumerable === true,
+            writable: descriptor.writable === true
+        };
+    }
+    const iterator = Object.getOwnPropertyDescriptor(value, Symbol.iterator);
+    if (iterator !== undefined && iterator.value !== Array.prototype.values) {
+        throw new TypeError("Cannot snapshot a replaced arguments iterator.");
+    }
+    const names = Object.getOwnPropertyNames(value);
+    return {
+        kind: "arguments",
+        extensible: Object.isExtensible(value),
+        lengthBeforeCallee: names.includes("length") && names.indexOf("length") < names.indexOf("callee"),
+        iterator: iterator === undefined
+            ? null
+            : {
+                configurable: iterator.configurable === true,
+                enumerable: iterator.enumerable === true,
+                writable: iterator.writable === true
+            },
+        properties
+    };
+}

package/packages/safejs/dist/snapshot/dump-format.js

@@ -1,5 +1,7 @@
 export const DUMP_FORMAT_VERSION = 1;
 import { assertSnapshotGraphDepth } from "../graph-depth.js";
+import { getSandboxArgumentEntries, isSandboxArguments } from "../interp/arguments.js";
+import { serializeArguments } from "./arguments.js";
 const SKIP_VALUE = Symbol("SafeJS.skip-dump-value");
 export function serializeSafeJSSnapshot(snapshot) {
     for (const [key, value] of getEnumerableDataEntries(snapshot)) {
@@ -76,7 +78,13 @@ function serializeHeapReference(value, path, state) {
     }
     if (!state.serializedHeapIds.has(id)) {
         state.serializedHeapIds.add(id);
-        if (Array.isArray(value)) {
+        if (isSandboxArguments(value)) {
+            state.heap[String(id)] = serializeArguments(value, (entry, key) => {
+                const serialized = serializeDumpValue(entry, `${path}.${key}`, state);
+                return serialized === SKIP_VALUE ? { kind: "undefined" } : serialized;
+            });
+        }
+        else if (Array.isArray(value)) {
             state.heap[String(id)] = {
                 kind: "array",
                 items: serializeArrayItems(value, path, state)
@@ -116,7 +124,7 @@ function indexHeapContainers(snapshot) {
     const heapIds = new WeakMap();
     let nextId = 1;
     for (const [value, stat] of stats.entries()) {
-        if (stat.count > 1 || stat.cyclic) {
+        if (stat.count > 1 || stat.cyclic || isSandboxArguments(value)) {
             heapIds.set(value, nextId);
             nextId += 1;
         }
@@ -149,7 +157,11 @@ function collectContainerStats(value, stats, ancestors) {
     }
     stat.expanded = true;
     ancestors.add(value);
-    const entries = Array.isArray(value) ? getArrayDataItems(value) : getEnumerableDataValues(value);
+    const entries = isSandboxArguments(value)
+        ? getSandboxArgumentEntries(value).map(([, entry]) => entry)
+        : Array.isArray(value)
+            ? getArrayDataItems(value)
+            : getEnumerableDataValues(value);
     for (const entry of entries) {
         collectContainerStats(entry, stats, ancestors);
     }

package/packages/safejs/dist/snapshot/restore.js

@@ -2,7 +2,7 @@ import { Budget } from "../interp/budget.js";
 import { SnapshotMismatchError } from "../restore.js";
 import { Scope } from "../interp/interpreter.js";
 import { wrapCallerInjectedBindings } from "../interp/host-bridge.js";
-import { createSandboxClosure, createSandboxGenerator, createSandboxMap, createSandboxPromise, createSandboxRegex, createSandboxSet, measureSandboxData } from "../interp/values.js";
+import { createSandboxArguments, createSandboxClosure, createSandboxGenerator, createSandboxMap, createSandboxPromise, createSandboxRegex, createSandboxSet, measureSandboxData } from "../interp/values.js";
 import { createGeneratorChannel, restoreGeneratorChannel } from "../interp/generator.js";
 import { hashSource } from "../parse/hash.js";
 import { parseModule } from "../parse/parser.js";
@@ -327,6 +327,30 @@ function restoreHeapValue(id, state) {
         }
         return array;
     }
+    if (serialized.kind === "arguments") {
+        const args = createSandboxArguments([]);
+        if (!serialized.lengthBeforeCallee)
+            delete args.length;
+        state.heapValueById.set(id, args);
+        for (const [key, descriptor] of Object.entries(serialized.properties)) {
+            Object.defineProperty(args, key, {
+                ...descriptor,
+                value: deserializeValue(descriptor.value, state)
+            });
+        }
+        if (serialized.iterator === null) {
+            Reflect.deleteProperty(args, Symbol.iterator);
+        }
+        else {
+            Object.defineProperty(args, Symbol.iterator, {
+                ...serialized.iterator,
+                value: Array.prototype.values
+            });
+        }
+        if (!serialized.extensible)
+            Object.preventExtensions(args);
+        return args;
+    }
     if (serialized.kind === "map") {
         const map = createSandboxMap();
         state.heapValueById.set(id, map);
@@ -399,6 +423,8 @@ async function executeRestoredClosure(node, capturedScopeId, closure, args, this
     }
     if (node.type !== "ArrowFunctionExpression") {
         scope.declare("this", "const", thisValue);
+        state.budget.allocateArrayLength(args.length);
+        scope.declare("arguments", "let", createSandboxArguments(args));
     }
     for (let index = 0; index < node.params.length; index += 1) {
         const param = node.params[index];

package/packages/safejs/dist/snapshot/serialize.d.ts

@@ -1,3 +1,4 @@
+import { type SerializedArguments } from "./arguments.js";
 import { type SandboxMap, type SandboxGenerator, type SandboxRegex, type SandboxSet } from "../interp/values.js";
 type SnapshotId = number | string;
 type SerializedUndefinedValue = {
@@ -36,7 +37,7 @@ export type SerializedReferenceValue = {
     kind: "ref";
     id: number;
 };
-export type SerializedHeapValue = {
+export type SerializedHeapValue = SerializedArguments<SerializedSnapshotValue> | {
     kind: "array";
     items: SerializedSnapshotValue[];
 } | {

package/packages/safejs/dist/snapshot/serialize.js

@@ -1,6 +1,7 @@
 import { hashSource } from "../parse/hash.js";
 import { assertSnapshotGraphDepth } from "../graph-depth.js";
-import { isSandboxGenerator, isSandboxMap, isSandboxRegex, isSandboxSet } from "../interp/values.js";
+import { serializeArguments } from "./arguments.js";
+import { isSandboxArguments, isSandboxGenerator, isSandboxMap, isSandboxRegex, isSandboxSet } from "../interp/values.js";
 export class UnsnapshotableValueError extends Error {
     path;
     constructor(path) {
@@ -180,7 +181,10 @@ function serializeHeapReference(value, path, state) {
     }
     if (!state.serializedHeapIds.has(id)) {
         state.serializedHeapIds.add(id);
-        if (isSandboxMap(value)) {
+        if (isSandboxArguments(value)) {
+            state.heap[String(id)] = serializeArguments(value, (entry, key) => serializeValue(entry, `${path}.${key}`, state));
+        }
+        else if (isSandboxMap(value)) {
             state.heap[String(id)] = {
                 kind: "map",
                 entries: [...value.entries].map(([key, entry], index) => [
@@ -273,7 +277,11 @@ function indexHeapContainers(input) {
     const heapIds = new WeakMap();
     let nextId = 1;
     for (const [value, stat] of stats.entries()) {
-        if (stat.count > 1 || stat.cyclic || isSandboxMap(value) || isSandboxSet(value)) {
+        if (stat.count > 1 ||
+            stat.cyclic ||
+            isSandboxArguments(value) ||
+            isSandboxMap(value) ||
+            isSandboxSet(value)) {
             heapIds.set(value, nextId);
             nextId += 1;
         }
@@ -313,13 +321,15 @@ function collectContainerStats(value, stats, ancestors) {
     }
     stat.expanded = true;
     ancestors.add(value);
-    const entries = isSandboxMap(value)
-        ? [...value.entries].flatMap(([key, entry]) => [key, entry])
-        : isSandboxSet(value)
-            ? [...value.values]
-            : Array.isArray(value)
-                ? value
-                : Object.values(value);
+    const entries = isSandboxArguments(value)
+        ? Object.values(Object.getOwnPropertyDescriptors(value)).flatMap((descriptor) => "value" in descriptor ? [descriptor.value] : [])
+        : isSandboxMap(value)
+            ? [...value.entries].flatMap(([key, entry]) => [key, entry])
+            : isSandboxSet(value)
+                ? [...value.values]
+                : Array.isArray(value)
+                    ? value
+                    : Object.values(value);
     for (const entry of entries) {
         collectContainerStats(entry, stats, ancestors);
     }