@cuxt/sandboxjs 0.1.0 → 0.1.3

package/dist/esm/executor/ops/control.js

@@ -0,0 +1,205 @@
+import { SandboxError } from "../../utils/errors.js";
+import { LispType } from "../../utils/types.js";
+import { Scope, sanitizeProp } from "../../utils/Scope.js";
+import "../../utils/index.js";
+import { addOps } from "../opsRegistry.js";
+import { ExecReturn, If, addControlFlowTarget, addControlFlowTargets, asyncDone, createLabeledStatementTarget, createLoopTarget, createSwitchTarget, execAsync, execSync, executeTree, executeTreeAsync, executeTreeWithDone, matchesControlFlowTarget, normalizeStatementLabel, normalizeStatementLabels, syncDone } from "../executorUtils.js";
+//#region src/executor/ops/control.ts
+addOps(LispType.Loop, ({ exec, done, ticks, a, b, context, scope, statementLabels, internal, generatorYield }) => {
+	const [checkFirst, startInternal, getIterator, startStep, step, condition, beforeStep, isForAwait, label] = a;
+	const loopStatementTargets = [...normalizeStatementLabels(label).map((loopLabel) => createLoopTarget(loopLabel, false)), createLoopTarget()];
+	const loopTargets = addControlFlowTargets(statementLabels, loopStatementTargets);
+	if (isForAwait === LispType.True && exec !== execAsync) {
+		done(/* @__PURE__ */ new SyntaxError("for-await-of loops are only allowed inside async functions"));
+		return;
+	}
+	let loop = true;
+	const loopScope = new Scope(scope, {});
+	const internalVars = { $$obj: void 0 };
+	const interalScope = new Scope(loopScope, internalVars);
+	if (exec === execAsync) (async () => {
+		let ad;
+		ad = asyncDone((d) => exec(ticks, startStep, loopScope, context, d, void 0, internal, generatorYield));
+		internalVars["$$obj"] = (ad = asyncDone((d) => exec(ticks, getIterator, loopScope, context, d, void 0, internal, generatorYield))).isInstant === true ? ad.instant : (await ad.p).result;
+		if (isForAwait === LispType.True) {
+			const obj = internalVars["$$obj"];
+			internalVars["$$obj"] = obj[Symbol.asyncIterator] ? obj[Symbol.asyncIterator]() : obj[Symbol.iterator] ? obj[Symbol.iterator]() : obj;
+		}
+		ad = asyncDone((d) => exec(ticks, startInternal, interalScope, context, d, void 0, internal, generatorYield));
+		if (isForAwait === LispType.True) internalVars["$$next"] = await internalVars["$$next"];
+		if (checkFirst) loop = (ad = asyncDone((d) => exec(ticks, condition, interalScope, context, d, void 0, internal, generatorYield))).isInstant === true ? ad.instant : (await ad.p).result;
+		while (loop) {
+			const iterScope = new Scope(interalScope, {});
+			ad = asyncDone((d) => exec(ticks, beforeStep, iterScope, context, d, void 0, internal, generatorYield));
+			ad.isInstant === true ? ad.instant : (await ad.p).result;
+			const res = await executeTreeAsync(ticks, context, b, [iterScope], loopTargets, internal, generatorYield);
+			if (res instanceof ExecReturn && res.returned) {
+				done(void 0, res);
+				return;
+			}
+			if (res instanceof ExecReturn && res.controlFlow) {
+				if (!loopStatementTargets.some((target) => matchesControlFlowTarget(res.controlFlow, target))) {
+					done(void 0, res);
+					return;
+				}
+				if (res.breakLoop) break;
+			}
+			ad = asyncDone((d) => exec(ticks, step, interalScope, context, d, void 0, internal, generatorYield));
+			if (isForAwait === LispType.True) internalVars["$$next"] = await internalVars["$$next"];
+			loop = (ad = asyncDone((d) => exec(ticks, condition, interalScope, context, d, void 0, internal, generatorYield))).isInstant === true ? ad.instant : (await ad.p).result;
+		}
+		done();
+	})().catch(done);
+	else {
+		syncDone((d) => exec(ticks, startStep, loopScope, context, d, void 0, internal, generatorYield));
+		internalVars["$$obj"] = syncDone((d) => exec(ticks, getIterator, loopScope, context, d, void 0, internal, generatorYield)).result;
+		syncDone((d) => exec(ticks, startInternal, interalScope, context, d, void 0, internal, generatorYield));
+		if (checkFirst) loop = syncDone((d) => exec(ticks, condition, interalScope, context, d, void 0, internal, generatorYield)).result;
+		while (loop) {
+			const iterScope = new Scope(interalScope, {});
+			syncDone((d) => exec(ticks, beforeStep, iterScope, context, d, void 0, internal, generatorYield));
+			const res = executeTree(ticks, context, b, [iterScope], loopTargets, internal, generatorYield);
+			if (res instanceof ExecReturn && res.returned) {
+				done(void 0, res);
+				return;
+			}
+			if (res instanceof ExecReturn && res.controlFlow) {
+				if (!loopStatementTargets.some((target) => matchesControlFlowTarget(res.controlFlow, target))) {
+					done(void 0, res);
+					return;
+				}
+				if (res.breakLoop) break;
+			}
+			syncDone((d) => exec(ticks, step, interalScope, context, d, void 0, internal, generatorYield));
+			loop = syncDone((d) => exec(ticks, condition, interalScope, context, d, void 0, internal, generatorYield)).result;
+		}
+		done();
+	}
+});
+addOps(LispType.If, ({ exec, done, ticks, a, b, context, scope, statementLabels, internal, generatorYield }) => {
+	exec(ticks, sanitizeProp(a, context) ? b.t : b.f, scope, context, done, statementLabels, internal, generatorYield);
+});
+addOps(LispType.InlineIf, ({ exec, done, ticks, a, b, context, scope, internal, generatorYield }) => {
+	exec(ticks, sanitizeProp(a, context) ? b.t : b.f, scope, context, done, void 0, internal, generatorYield);
+});
+addOps(LispType.InlineIfCase, ({ done, a, b }) => done(void 0, new If(a, b)));
+addOps(LispType.IfCase, ({ done, a, b }) => done(void 0, new If(a, b)));
+addOps(LispType.Labeled, ({ exec, done, ticks, a, b, context, scope, statementLabels, internal, generatorYield }) => {
+	const target = createLabeledStatementTarget(normalizeStatementLabel(a));
+	exec(ticks, b, scope, context, (...args) => {
+		if (args.length === 1) {
+			done(args[0]);
+			return;
+		}
+		const res = args[1];
+		if (res instanceof ExecReturn && res.controlFlow && target) {
+			if (matchesControlFlowTarget(res.controlFlow, target)) {
+				done();
+				return;
+			}
+		}
+		done(void 0, res);
+	}, addControlFlowTarget(statementLabels, target), internal, generatorYield);
+});
+addOps(LispType.Switch, ({ exec, done, ticks, a, b, context, scope, statementLabels, internal, generatorYield }) => {
+	const switchTarget = createSwitchTarget();
+	const switchTargets = addControlFlowTarget(statementLabels, switchTarget);
+	exec(ticks, a, scope, context, (...args) => {
+		if (args.length === 1) {
+			done(args[0]);
+			return;
+		}
+		let toTest = args[1];
+		toTest = sanitizeProp(toTest, context);
+		if (exec === execSync) {
+			let res;
+			let isTrue = false;
+			for (const caseItem of b) if (isTrue || (isTrue = !caseItem[1] || toTest === sanitizeProp(syncDone((d) => exec(ticks, caseItem[1], scope, context, d, void 0, internal, generatorYield)).result, context))) {
+				if (!caseItem[2]) continue;
+				res = executeTree(ticks, context, caseItem[2], [scope], switchTargets, internal, generatorYield);
+				if (res.controlFlow) {
+					if (!matchesControlFlowTarget(res.controlFlow, switchTarget)) {
+						done(void 0, res);
+						return;
+					}
+					if (res.breakLoop) break;
+				}
+				if (res.returned) {
+					done(void 0, res);
+					return;
+				}
+				if (!caseItem[1]) break;
+			}
+			done();
+		} else (async () => {
+			let res;
+			let isTrue = false;
+			for (const caseItem of b) {
+				let ad;
+				if (isTrue || (isTrue = !caseItem[1] || toTest === sanitizeProp((ad = asyncDone((d) => exec(ticks, caseItem[1], scope, context, d, void 0, internal, generatorYield))).isInstant === true ? ad.instant : (await ad.p).result, context))) {
+					if (!caseItem[2]) continue;
+					res = await executeTreeAsync(ticks, context, caseItem[2], [scope], switchTargets, internal, generatorYield);
+					if (res.controlFlow) {
+						if (!matchesControlFlowTarget(res.controlFlow, switchTarget)) {
+							done(void 0, res);
+							return;
+						}
+						if (res.breakLoop) break;
+					}
+					if (res.returned) {
+						done(void 0, res);
+						return;
+					}
+					if (!caseItem[1]) break;
+				}
+			}
+			done();
+		})().catch(done);
+	}, void 0, internal, generatorYield);
+});
+addOps(LispType.Try, ({ exec, done, ticks, a, b, context, scope, statementLabels, internal, generatorYield }) => {
+	const [exception, catchBody, finallyBody] = b;
+	executeTreeWithDone(exec, (...tryArgs) => {
+		const tryHadError = tryArgs.length === 1;
+		const tryError = tryHadError ? tryArgs[0] : void 0;
+		const tryResult = !tryHadError && tryArgs.length > 1 ? tryArgs[1] : void 0;
+		const executeFinallyAndComplete = (hadError, errorOrResult) => {
+			if (finallyBody && finallyBody.length > 0) executeTreeWithDone(exec, (...finallyArgs) => {
+				const finallyHadError = finallyArgs.length === 1;
+				const finallyResult = !finallyHadError && finallyArgs.length > 1 ? finallyArgs[1] : void 0;
+				if (finallyHadError) {
+					done(finallyArgs[0]);
+					return;
+				}
+				if (finallyResult instanceof ExecReturn && (finallyResult.returned || finallyResult.breakLoop || finallyResult.continueLoop)) {
+					done(void 0, finallyResult);
+					return;
+				}
+				if (hadError) done(errorOrResult);
+				else if (errorOrResult instanceof ExecReturn) if (errorOrResult.returned || errorOrResult.breakLoop || errorOrResult.continueLoop) done(void 0, errorOrResult);
+				else done();
+				else done();
+			}, ticks, context, finallyBody, [new Scope(scope, {})], statementLabels, internal, generatorYield);
+			else if (hadError) done(errorOrResult);
+			else if (errorOrResult instanceof ExecReturn) if (errorOrResult.returned || errorOrResult.breakLoop || errorOrResult.continueLoop) done(void 0, errorOrResult);
+			else done();
+			else done();
+		};
+		if (tryHadError && tryError instanceof SandboxError) {
+			done(tryError);
+			return;
+		}
+		if (tryHadError && catchBody && catchBody.length > 0) {
+			const sc = {};
+			if (exception) sc[exception] = tryError;
+			executeTreeWithDone(exec, (...catchArgs) => {
+				const catchHadError = catchArgs.length === 1;
+				executeFinallyAndComplete(catchHadError, catchHadError ? catchArgs[0] : catchArgs.length > 1 ? catchArgs[1] : void 0);
+			}, ticks, context, catchBody, [new Scope(scope, sc)], statementLabels, internal, generatorYield);
+		} else executeFinallyAndComplete(tryHadError, tryHadError ? tryError : tryResult);
+	}, ticks, context, a, [new Scope(scope)], statementLabels, internal, generatorYield);
+});
+addOps(LispType.Expression, ({ done, a }) => done(void 0, a.pop()));
+//#endregion
+
+//# sourceMappingURL=control.js.map

package/dist/esm/executor/ops/control.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"control.js","names":[],"sources":["../../../../src/executor/ops/control.ts"],"sourcesContent":["import {\n  addOps,\n  execAsync,\n  execSync,\n  asyncDone,\n  executeTreeWithDone,\n  normalizeStatementLabels,\n  addControlFlowTargets,\n  createLoopTarget,\n  createSwitchTarget,\n  createLabeledStatementTarget,\n  matchesControlFlowTarget,\n  If,\n  ExecReturn,\n  executeTreeAsync,\n  syncDone,\n  executeTree,\n  normalizeStatementLabel,\n  addControlFlowTarget,\n} from '../executorUtils';\nimport type { AsyncDoneRet } from '../executorUtils';\nimport type { Lisp, LispItem, StatementLabel, SwitchCase } from '../../parser';\nimport { LispType, Scope, SandboxError, sanitizeProp } from '../../utils';\n\naddOps<Lisp[], Lisp[]>(\n  LispType.Loop,\n  ({ exec, done, ticks, a, b, context, scope, statementLabels, internal, generatorYield }) => {\n    const [\n      checkFirst,\n      startInternal,\n      getIterator,\n      startStep,\n      step,\n      condition,\n      beforeStep,\n      isForAwait,\n      label,\n    ] = a;\n    const loopStatementTargets = [\n      ...normalizeStatementLabels(label).map((loopLabel) => createLoopTarget(loopLabel, false)),\n      createLoopTarget(),\n    ];\n    const loopTargets = addControlFlowTargets(statementLabels, loopStatementTargets);\n    if ((isForAwait as unknown as LispType) === LispType.True && exec !== execAsync) {\n      done(new SyntaxError('for-await-of loops are only allowed inside async functions'));\n      return;\n    }\n    let loop = true;\n    const loopScope = new Scope(scope, {});\n    const internalVars: Record<string, unknown> = {\n      $$obj: undefined,\n    };\n    const interalScope = new Scope(loopScope, internalVars);\n    if (exec === execAsync) {\n      (async () => {\n        let ad: AsyncDoneRet;\n        ad = asyncDone((d) =>\n          exec(ticks, startStep, loopScope, context, d, undefined, internal, generatorYield),\n        );\n        internalVars['$$obj'] =\n          (ad = asyncDone((d) =>\n            exec(ticks, getIterator, loopScope, context, d, undefined, internal, generatorYield),\n          )).isInstant === true\n            ? ad.instant\n            : (await ad.p).result;\n        // for-await-of: override $$obj with the correct async iterator\n        if ((isForAwait as unknown as LispType) === LispType.True) {\n          const obj = internalVars['$$obj'] as any;\n          internalVars['$$obj'] = obj[Symbol.asyncIterator]\n            ? obj[Symbol.asyncIterator]()\n            : obj[Symbol.iterator]\n              ? obj[Symbol.iterator]()\n              : obj;\n        }\n        ad = asyncDone((d) =>\n          exec(ticks, startInternal, interalScope, context, d, undefined, internal, generatorYield),\n        );\n        // for-await-of: await the $$next promise after startInternal sets it\n        if ((isForAwait as unknown as LispType) === LispType.True) {\n          internalVars['$$next'] = await internalVars['$$next'];\n        }\n        if (checkFirst)\n          loop =\n            (ad = asyncDone((d) =>\n              exec(ticks, condition, interalScope, context, d, undefined, internal, generatorYield),\n            )).isInstant === true\n              ? ad.instant\n              : (await ad.p).result;\n        while (loop) {\n          const innerLoopVars = {};\n          const iterScope = new Scope(interalScope, innerLoopVars);\n          ad = asyncDone((d) =>\n            exec(ticks, beforeStep, iterScope, context, d, undefined, internal, generatorYield),\n          );\n          ad.isInstant === true ? ad.instant : (await ad.p).result;\n          const res = await executeTreeAsync(\n            ticks,\n            context,\n            b,\n            [iterScope],\n            loopTargets,\n            internal,\n            generatorYield,\n          );\n          if (res instanceof ExecReturn && res.returned) {\n            done(undefined, res);\n            return;\n          }\n          if (res instanceof ExecReturn && res.controlFlow) {\n            if (\n              !loopStatementTargets.some((target) =>\n                matchesControlFlowTarget(res.controlFlow!, target),\n              )\n            ) {\n              done(undefined, res);\n              return;\n            }\n            if (res.breakLoop) {\n              break;\n            }\n          }\n          ad = asyncDone((d) =>\n            exec(ticks, step, interalScope, context, d, undefined, internal, generatorYield),\n          );\n          // for-await-of: await the $$next promise after step updates it\n          if ((isForAwait as unknown as LispType) === LispType.True) {\n            internalVars['$$next'] = await internalVars['$$next'];\n          }\n          loop =\n            (ad = asyncDone((d) =>\n              exec(ticks, condition, interalScope, context, d, undefined, internal, generatorYield),\n            )).isInstant === true\n              ? ad.instant\n              : (await ad.p).result;\n        }\n        done();\n      })().catch(done);\n    } else {\n      syncDone((d) =>\n        exec(ticks, startStep, loopScope, context, d, undefined, internal, generatorYield),\n      );\n      internalVars['$$obj'] = syncDone((d) =>\n        exec(ticks, getIterator, loopScope, context, d, undefined, internal, generatorYield),\n      ).result;\n      syncDone((d) =>\n        exec(ticks, startInternal, interalScope, context, d, undefined, internal, generatorYield),\n      );\n      if (checkFirst)\n        loop = syncDone((d) =>\n          exec(ticks, condition, interalScope, context, d, undefined, internal, generatorYield),\n        ).result;\n      while (loop) {\n        const innerLoopVars = {};\n        const iterScope = new Scope(interalScope, innerLoopVars);\n        syncDone((d) =>\n          exec(ticks, beforeStep, iterScope, context, d, undefined, internal, generatorYield),\n        );\n        const res = executeTree(\n          ticks,\n          context,\n          b,\n          [iterScope],\n          loopTargets,\n          internal,\n          generatorYield,\n        );\n        if (res instanceof ExecReturn && res.returned) {\n          done(undefined, res);\n          return;\n        }\n        if (res instanceof ExecReturn && res.controlFlow) {\n          if (\n            !loopStatementTargets.some((target) =>\n              matchesControlFlowTarget(res.controlFlow!, target),\n            )\n          ) {\n            done(undefined, res);\n            return;\n          }\n          if (res.breakLoop) {\n            break;\n          }\n        }\n        syncDone((d) =>\n          exec(ticks, step, interalScope, context, d, undefined, internal, generatorYield),\n        );\n        loop = syncDone((d) =>\n          exec(ticks, condition, interalScope, context, d, undefined, internal, generatorYield),\n        ).result;\n      }\n      done();\n    }\n  },\n);\n\naddOps<LispItem, If>(\n  LispType.If,\n  ({ exec, done, ticks, a, b, context, scope, statementLabels, internal, generatorYield }) => {\n    exec(\n      ticks,\n      sanitizeProp(a, context) ? b.t : b.f,\n      scope,\n      context,\n      done,\n      statementLabels,\n      internal,\n      generatorYield,\n    );\n  },\n);\n\naddOps<LispItem, If>(\n  LispType.InlineIf,\n  ({ exec, done, ticks, a, b, context, scope, internal, generatorYield }) => {\n    exec(\n      ticks,\n      sanitizeProp(a, context) ? b.t : b.f,\n      scope,\n      context,\n      done,\n      undefined,\n      internal,\n      generatorYield,\n    );\n  },\n);\n\naddOps<Lisp, Lisp>(LispType.InlineIfCase, ({ done, a, b }) => done(undefined, new If(a, b)));\n\naddOps<Lisp, Lisp>(LispType.IfCase, ({ done, a, b }) => done(undefined, new If(a, b)));\n\naddOps<StatementLabel, Lisp>(\n  LispType.Labeled,\n  ({ exec, done, ticks, a, b, context, scope, statementLabels, internal, generatorYield }) => {\n    const target = createLabeledStatementTarget(normalizeStatementLabel(a));\n    exec(\n      ticks,\n      b,\n      scope,\n      context,\n      (...args: unknown[]) => {\n        if (args.length === 1) {\n          done(args[0]);\n          return;\n        }\n        const res = args[1];\n        if (res instanceof ExecReturn && res.controlFlow && target) {\n          if (matchesControlFlowTarget(res.controlFlow, target)) {\n            done();\n            return;\n          }\n        }\n        done(undefined, res as any);\n      },\n      addControlFlowTarget(statementLabels, target),\n      internal,\n      generatorYield,\n    );\n  },\n);\n\naddOps<LispItem, SwitchCase[]>(\n  LispType.Switch,\n  ({ exec, done, ticks, a, b, context, scope, statementLabels, internal, generatorYield }) => {\n    const switchTarget = createSwitchTarget();\n    const switchTargets = addControlFlowTarget(statementLabels, switchTarget);\n    exec(\n      ticks,\n      a,\n      scope,\n      context,\n      (...args: unknown[]) => {\n        if (args.length === 1) {\n          done(args[0]);\n          return;\n        }\n        let toTest = args[1];\n        toTest = sanitizeProp(toTest, context);\n        if (exec === execSync) {\n          let res: ExecReturn<unknown>;\n          let isTrue = false;\n          for (const caseItem of b) {\n            if (\n              isTrue ||\n              (isTrue =\n                !caseItem[1] ||\n                toTest ===\n                  sanitizeProp(\n                    syncDone((d) =>\n                      exec(\n                        ticks,\n                        caseItem[1],\n                        scope,\n                        context,\n                        d,\n                        undefined,\n                        internal,\n                        generatorYield,\n                      ),\n                    ).result,\n                    context,\n                  ))\n            ) {\n              if (!caseItem[2]) continue;\n              res = executeTree(\n                ticks,\n                context,\n                caseItem[2],\n                [scope],\n                switchTargets,\n                internal,\n                generatorYield,\n              );\n              if (res.controlFlow) {\n                if (!matchesControlFlowTarget(res.controlFlow, switchTarget)) {\n                  done(undefined, res);\n                  return;\n                }\n                if (res.breakLoop) break;\n              }\n              if (res.returned) {\n                done(undefined, res);\n                return;\n              }\n              if (!caseItem[1]) {\n                // default case\n                break;\n              }\n            }\n          }\n          done();\n        } else {\n          (async () => {\n            let res: ExecReturn<unknown>;\n            let isTrue = false;\n            for (const caseItem of b) {\n              let ad: AsyncDoneRet;\n              if (\n                isTrue ||\n                (isTrue =\n                  !caseItem[1] ||\n                  toTest ===\n                    sanitizeProp(\n                      (ad = asyncDone((d) =>\n                        exec(\n                          ticks,\n                          caseItem[1],\n                          scope,\n                          context,\n                          d,\n                          undefined,\n                          internal,\n                          generatorYield,\n                        ),\n                      )).isInstant === true\n                        ? ad.instant\n                        : (await ad.p).result,\n                      context,\n                    ))\n              ) {\n                if (!caseItem[2]) continue;\n                res = await executeTreeAsync(\n                  ticks,\n                  context,\n                  caseItem[2],\n                  [scope],\n                  switchTargets,\n                  internal,\n                  generatorYield,\n                );\n                if (res.controlFlow) {\n                  if (!matchesControlFlowTarget(res.controlFlow, switchTarget)) {\n                    done(undefined, res);\n                    return;\n                  }\n                  if (res.breakLoop) break;\n                }\n                if (res.returned) {\n                  done(undefined, res);\n                  return;\n                }\n                if (!caseItem[1]) {\n                  // default case\n                  break;\n                }\n              }\n            }\n            done();\n          })().catch(done);\n        }\n      },\n      undefined,\n      internal,\n      generatorYield,\n    );\n  },\n);\n\naddOps<Lisp[], [string, Lisp[], Lisp[]]>(\n  LispType.Try,\n  ({ exec, done, ticks, a, b, context, scope, statementLabels, internal, generatorYield }) => {\n    const [exception, catchBody, finallyBody] = b;\n\n    // Execute try block\n    executeTreeWithDone(\n      exec,\n      (...tryArgs: unknown[]) => {\n        const tryHadError = tryArgs.length === 1;\n        const tryError = tryHadError ? tryArgs[0] : undefined;\n        const tryResult = !tryHadError && tryArgs.length > 1 ? tryArgs[1] : undefined;\n\n        // Handler to execute finally and complete\n        const executeFinallyAndComplete = (hadError: boolean, errorOrResult: unknown) => {\n          if (finallyBody && finallyBody.length > 0) {\n            // Execute finally block\n            executeTreeWithDone(\n              exec,\n              (...finallyArgs: unknown[]) => {\n                const finallyHadError = finallyArgs.length === 1;\n                const finallyResult =\n                  !finallyHadError && finallyArgs.length > 1 ? finallyArgs[1] : undefined;\n\n                // If finally throws an error, it overrides everything\n                if (finallyHadError) {\n                  done(finallyArgs[0]);\n                  return;\n                }\n\n                // If finally has a control flow statement (return/break/continue), it overrides everything\n                if (\n                  finallyResult instanceof ExecReturn &&\n                  (finallyResult.returned || finallyResult.breakLoop || finallyResult.continueLoop)\n                ) {\n                  done(undefined, finallyResult);\n                  return;\n                }\n\n                // Otherwise, return the original try/catch result/error\n                if (hadError) {\n                  done(errorOrResult);\n                } else if (errorOrResult instanceof ExecReturn) {\n                  // If try/catch returned or has some other control flow, pass that through\n                  if (\n                    errorOrResult.returned ||\n                    errorOrResult.breakLoop ||\n                    errorOrResult.continueLoop\n                  ) {\n                    done(undefined, errorOrResult);\n                  } else {\n                    // Normal completion - don't return a value\n                    done();\n                  }\n                } else {\n                  // Try/catch completed normally, just signal completion with no return value\n                  done();\n                }\n              },\n              ticks,\n              context,\n              finallyBody,\n              [new Scope(scope, {})],\n              statementLabels,\n              internal,\n              generatorYield,\n            );\n          } else {\n            // No finally block, just return result/error\n            if (hadError) {\n              done(errorOrResult);\n            } else if (errorOrResult instanceof ExecReturn) {\n              // If try/catch returned or has some other control flow, pass that through\n              if (errorOrResult.returned || errorOrResult.breakLoop || errorOrResult.continueLoop) {\n                done(undefined, errorOrResult);\n              } else {\n                // Normal completion - don't return a value\n                done();\n              }\n            } else {\n              done();\n            }\n          }\n        };\n\n        // SandboxErrors bypass both catch and finally — propagate immediately.\n        if (tryHadError && tryError instanceof SandboxError) {\n          done(tryError);\n          return;\n        }\n\n        // If try had an error and there's a catch block, execute catch.\n        if (tryHadError && catchBody && catchBody.length > 0) {\n          const sc: Record<string, unknown> = {};\n          if (exception) sc[exception] = tryError;\n\n          executeTreeWithDone(\n            exec,\n            (...catchArgs: unknown[]) => {\n              const catchHadError = catchArgs.length === 1;\n              const catchErrorOrResult = catchHadError\n                ? catchArgs[0]\n                : catchArgs.length > 1\n                  ? catchArgs[1]\n                  : undefined;\n\n              // Execute finally with catch result\n              executeFinallyAndComplete(catchHadError, catchErrorOrResult);\n            },\n            ticks,\n            context,\n            catchBody,\n            [new Scope(scope, sc)],\n            statementLabels,\n            internal,\n            generatorYield,\n          );\n        } else {\n          // No catch or no error, execute finally with try result\n          executeFinallyAndComplete(tryHadError, tryHadError ? tryError : tryResult);\n        }\n      },\n      ticks,\n      context,\n      a,\n      [new Scope(scope)],\n      statementLabels,\n      internal,\n      generatorYield,\n    );\n  },\n);\n\naddOps<unknown[]>(LispType.Expression, ({ done, a }) => done(undefined, a.pop()));\n"],"mappings":";;;;;;;AAwBA,OACE,SAAS,OACR,EAAE,MAAM,MAAM,OAAO,GAAG,GAAG,SAAS,OAAO,iBAAiB,UAAU,qBAAqB;CAC1F,MAAM,CACJ,YACA,eACA,aACA,WACA,MACA,WACA,YACA,YACA,SACE;CACJ,MAAM,uBAAuB,CAC3B,GAAG,yBAAyB,MAAM,CAAC,KAAK,cAAc,iBAAiB,WAAW,MAAM,CAAC,EACzF,kBAAkB,CACnB;CACD,MAAM,cAAc,sBAAsB,iBAAiB,qBAAqB;AAChF,KAAK,eAAuC,SAAS,QAAQ,SAAS,WAAW;AAC/E,uBAAK,IAAI,YAAY,6DAA6D,CAAC;AACnF;;CAEF,IAAI,OAAO;CACX,MAAM,YAAY,IAAI,MAAM,OAAO,EAAE,CAAC;CACtC,MAAM,eAAwC,EAC5C,OAAO,KAAA,GACR;CACD,MAAM,eAAe,IAAI,MAAM,WAAW,aAAa;AACvD,KAAI,SAAS,UACX,EAAC,YAAY;EACX,IAAI;AACJ,OAAK,WAAW,MACd,KAAK,OAAO,WAAW,WAAW,SAAS,GAAG,KAAA,GAAW,UAAU,eAAe,CACnF;AACD,eAAa,YACV,KAAK,WAAW,MACf,KAAK,OAAO,aAAa,WAAW,SAAS,GAAG,KAAA,GAAW,UAAU,eAAe,CACrF,EAAE,cAAc,OACb,GAAG,WACF,MAAM,GAAG,GAAG;AAEnB,MAAK,eAAuC,SAAS,MAAM;GACzD,MAAM,MAAM,aAAa;AACzB,gBAAa,WAAW,IAAI,OAAO,iBAC/B,IAAI,OAAO,gBAAgB,GAC3B,IAAI,OAAO,YACT,IAAI,OAAO,WAAW,GACtB;;AAER,OAAK,WAAW,MACd,KAAK,OAAO,eAAe,cAAc,SAAS,GAAG,KAAA,GAAW,UAAU,eAAe,CAC1F;AAED,MAAK,eAAuC,SAAS,KACnD,cAAa,YAAY,MAAM,aAAa;AAE9C,MAAI,WACF,SACG,KAAK,WAAW,MACf,KAAK,OAAO,WAAW,cAAc,SAAS,GAAG,KAAA,GAAW,UAAU,eAAe,CACtF,EAAE,cAAc,OACb,GAAG,WACF,MAAM,GAAG,GAAG;AACrB,SAAO,MAAM;GAEX,MAAM,YAAY,IAAI,MAAM,cADN,EAAE,CACgC;AACxD,QAAK,WAAW,MACd,KAAK,OAAO,YAAY,WAAW,SAAS,GAAG,KAAA,GAAW,UAAU,eAAe,CACpF;AACD,MAAG,cAAc,OAAO,GAAG,WAAW,MAAM,GAAG,GAAG;GAClD,MAAM,MAAM,MAAM,iBAChB,OACA,SACA,GACA,CAAC,UAAU,EACX,aACA,UACA,eACD;AACD,OAAI,eAAe,cAAc,IAAI,UAAU;AAC7C,SAAK,KAAA,GAAW,IAAI;AACpB;;AAEF,OAAI,eAAe,cAAc,IAAI,aAAa;AAChD,QACE,CAAC,qBAAqB,MAAM,WAC1B,yBAAyB,IAAI,aAAc,OAAO,CACnD,EACD;AACA,UAAK,KAAA,GAAW,IAAI;AACpB;;AAEF,QAAI,IAAI,UACN;;AAGJ,QAAK,WAAW,MACd,KAAK,OAAO,MAAM,cAAc,SAAS,GAAG,KAAA,GAAW,UAAU,eAAe,CACjF;AAED,OAAK,eAAuC,SAAS,KACnD,cAAa,YAAY,MAAM,aAAa;AAE9C,WACG,KAAK,WAAW,MACf,KAAK,OAAO,WAAW,cAAc,SAAS,GAAG,KAAA,GAAW,UAAU,eAAe,CACtF,EAAE,cAAc,OACb,GAAG,WACF,MAAM,GAAG,GAAG;;AAErB,QAAM;KACJ,CAAC,MAAM,KAAK;MACX;AACL,YAAU,MACR,KAAK,OAAO,WAAW,WAAW,SAAS,GAAG,KAAA,GAAW,UAAU,eAAe,CACnF;AACD,eAAa,WAAW,UAAU,MAChC,KAAK,OAAO,aAAa,WAAW,SAAS,GAAG,KAAA,GAAW,UAAU,eAAe,CACrF,CAAC;AACF,YAAU,MACR,KAAK,OAAO,eAAe,cAAc,SAAS,GAAG,KAAA,GAAW,UAAU,eAAe,CAC1F;AACD,MAAI,WACF,QAAO,UAAU,MACf,KAAK,OAAO,WAAW,cAAc,SAAS,GAAG,KAAA,GAAW,UAAU,eAAe,CACtF,CAAC;AACJ,SAAO,MAAM;GAEX,MAAM,YAAY,IAAI,MAAM,cADN,EAAE,CACgC;AACxD,aAAU,MACR,KAAK,OAAO,YAAY,WAAW,SAAS,GAAG,KAAA,GAAW,UAAU,eAAe,CACpF;GACD,MAAM,MAAM,YACV,OACA,SACA,GACA,CAAC,UAAU,EACX,aACA,UACA,eACD;AACD,OAAI,eAAe,cAAc,IAAI,UAAU;AAC7C,SAAK,KAAA,GAAW,IAAI;AACpB;;AAEF,OAAI,eAAe,cAAc,IAAI,aAAa;AAChD,QACE,CAAC,qBAAqB,MAAM,WAC1B,yBAAyB,IAAI,aAAc,OAAO,CACnD,EACD;AACA,UAAK,KAAA,GAAW,IAAI;AACpB;;AAEF,QAAI,IAAI,UACN;;AAGJ,aAAU,MACR,KAAK,OAAO,MAAM,cAAc,SAAS,GAAG,KAAA,GAAW,UAAU,eAAe,CACjF;AACD,UAAO,UAAU,MACf,KAAK,OAAO,WAAW,cAAc,SAAS,GAAG,KAAA,GAAW,UAAU,eAAe,CACtF,CAAC;;AAEJ,QAAM;;EAGX;AAED,OACE,SAAS,KACR,EAAE,MAAM,MAAM,OAAO,GAAG,GAAG,SAAS,OAAO,iBAAiB,UAAU,qBAAqB;AAC1F,MACE,OACA,aAAa,GAAG,QAAQ,GAAG,EAAE,IAAI,EAAE,GACnC,OACA,SACA,MACA,iBACA,UACA,eACD;EAEJ;AAED,OACE,SAAS,WACR,EAAE,MAAM,MAAM,OAAO,GAAG,GAAG,SAAS,OAAO,UAAU,qBAAqB;AACzE,MACE,OACA,aAAa,GAAG,QAAQ,GAAG,EAAE,IAAI,EAAE,GACnC,OACA,SACA,MACA,KAAA,GACA,UACA,eACD;EAEJ;AAED,OAAmB,SAAS,eAAe,EAAE,MAAM,GAAG,QAAQ,KAAK,KAAA,GAAW,IAAI,GAAG,GAAG,EAAE,CAAC,CAAC;AAE5F,OAAmB,SAAS,SAAS,EAAE,MAAM,GAAG,QAAQ,KAAK,KAAA,GAAW,IAAI,GAAG,GAAG,EAAE,CAAC,CAAC;AAEtF,OACE,SAAS,UACR,EAAE,MAAM,MAAM,OAAO,GAAG,GAAG,SAAS,OAAO,iBAAiB,UAAU,qBAAqB;CAC1F,MAAM,SAAS,6BAA6B,wBAAwB,EAAE,CAAC;AACvE,MACE,OACA,GACA,OACA,UACC,GAAG,SAAoB;AACtB,MAAI,KAAK,WAAW,GAAG;AACrB,QAAK,KAAK,GAAG;AACb;;EAEF,MAAM,MAAM,KAAK;AACjB,MAAI,eAAe,cAAc,IAAI,eAAe;OAC9C,yBAAyB,IAAI,aAAa,OAAO,EAAE;AACrD,UAAM;AACN;;;AAGJ,OAAK,KAAA,GAAW,IAAW;IAE7B,qBAAqB,iBAAiB,OAAO,EAC7C,UACA,eACD;EAEJ;AAED,OACE,SAAS,SACR,EAAE,MAAM,MAAM,OAAO,GAAG,GAAG,SAAS,OAAO,iBAAiB,UAAU,qBAAqB;CAC1F,MAAM,eAAe,oBAAoB;CACzC,MAAM,gBAAgB,qBAAqB,iBAAiB,aAAa;AACzE,MACE,OACA,GACA,OACA,UACC,GAAG,SAAoB;AACtB,MAAI,KAAK,WAAW,GAAG;AACrB,QAAK,KAAK,GAAG;AACb;;EAEF,IAAI,SAAS,KAAK;AAClB,WAAS,aAAa,QAAQ,QAAQ;AACtC,MAAI,SAAS,UAAU;GACrB,IAAI;GACJ,IAAI,SAAS;AACb,QAAK,MAAM,YAAY,EACrB,KACE,WACC,SACC,CAAC,SAAS,MACV,WACE,aACE,UAAU,MACR,KACE,OACA,SAAS,IACT,OACA,SACA,GACA,KAAA,GACA,UACA,eACD,CACF,CAAC,QACF,QACD,GACL;AACA,QAAI,CAAC,SAAS,GAAI;AAClB,UAAM,YACJ,OACA,SACA,SAAS,IACT,CAAC,MAAM,EACP,eACA,UACA,eACD;AACD,QAAI,IAAI,aAAa;AACnB,SAAI,CAAC,yBAAyB,IAAI,aAAa,aAAa,EAAE;AAC5D,WAAK,KAAA,GAAW,IAAI;AACpB;;AAEF,SAAI,IAAI,UAAW;;AAErB,QAAI,IAAI,UAAU;AAChB,UAAK,KAAA,GAAW,IAAI;AACpB;;AAEF,QAAI,CAAC,SAAS,GAEZ;;AAIN,SAAM;QAEN,EAAC,YAAY;GACX,IAAI;GACJ,IAAI,SAAS;AACb,QAAK,MAAM,YAAY,GAAG;IACxB,IAAI;AACJ,QACE,WACC,SACC,CAAC,SAAS,MACV,WACE,cACG,KAAK,WAAW,MACf,KACE,OACA,SAAS,IACT,OACA,SACA,GACA,KAAA,GACA,UACA,eACD,CACF,EAAE,cAAc,OACb,GAAG,WACF,MAAM,GAAG,GAAG,QACjB,QACD,GACL;AACA,SAAI,CAAC,SAAS,GAAI;AAClB,WAAM,MAAM,iBACV,OACA,SACA,SAAS,IACT,CAAC,MAAM,EACP,eACA,UACA,eACD;AACD,SAAI,IAAI,aAAa;AACnB,UAAI,CAAC,yBAAyB,IAAI,aAAa,aAAa,EAAE;AAC5D,YAAK,KAAA,GAAW,IAAI;AACpB;;AAEF,UAAI,IAAI,UAAW;;AAErB,SAAI,IAAI,UAAU;AAChB,WAAK,KAAA,GAAW,IAAI;AACpB;;AAEF,SAAI,CAAC,SAAS,GAEZ;;;AAIN,SAAM;MACJ,CAAC,MAAM,KAAK;IAGpB,KAAA,GACA,UACA,eACD;EAEJ;AAED,OACE,SAAS,MACR,EAAE,MAAM,MAAM,OAAO,GAAG,GAAG,SAAS,OAAO,iBAAiB,UAAU,qBAAqB;CAC1F,MAAM,CAAC,WAAW,WAAW,eAAe;AAG5C,qBACE,OACC,GAAG,YAAuB;EACzB,MAAM,cAAc,QAAQ,WAAW;EACvC,MAAM,WAAW,cAAc,QAAQ,KAAK,KAAA;EAC5C,MAAM,YAAY,CAAC,eAAe,QAAQ,SAAS,IAAI,QAAQ,KAAK,KAAA;EAGpE,MAAM,6BAA6B,UAAmB,kBAA2B;AAC/E,OAAI,eAAe,YAAY,SAAS,EAEtC,qBACE,OACC,GAAG,gBAA2B;IAC7B,MAAM,kBAAkB,YAAY,WAAW;IAC/C,MAAM,gBACJ,CAAC,mBAAmB,YAAY,SAAS,IAAI,YAAY,KAAK,KAAA;AAGhE,QAAI,iBAAiB;AACnB,UAAK,YAAY,GAAG;AACpB;;AAIF,QACE,yBAAyB,eACxB,cAAc,YAAY,cAAc,aAAa,cAAc,eACpE;AACA,UAAK,KAAA,GAAW,cAAc;AAC9B;;AAIF,QAAI,SACF,MAAK,cAAc;aACV,yBAAyB,WAElC,KACE,cAAc,YACd,cAAc,aACd,cAAc,aAEd,MAAK,KAAA,GAAW,cAAc;QAG9B,OAAM;QAIR,OAAM;MAGV,OACA,SACA,aACA,CAAC,IAAI,MAAM,OAAO,EAAE,CAAC,CAAC,EACtB,iBACA,UACA,eACD;YAGG,SACF,MAAK,cAAc;YACV,yBAAyB,WAElC,KAAI,cAAc,YAAY,cAAc,aAAa,cAAc,aACrE,MAAK,KAAA,GAAW,cAAc;OAG9B,OAAM;OAGR,OAAM;;AAMZ,MAAI,eAAe,oBAAoB,cAAc;AACnD,QAAK,SAAS;AACd;;AAIF,MAAI,eAAe,aAAa,UAAU,SAAS,GAAG;GACpD,MAAM,KAA8B,EAAE;AACtC,OAAI,UAAW,IAAG,aAAa;AAE/B,uBACE,OACC,GAAG,cAAyB;IAC3B,MAAM,gBAAgB,UAAU,WAAW;AAQ3C,8BAA0B,eAPC,gBACvB,UAAU,KACV,UAAU,SAAS,IACjB,UAAU,KACV,KAAA,EAGsD;MAE9D,OACA,SACA,WACA,CAAC,IAAI,MAAM,OAAO,GAAG,CAAC,EACtB,iBACA,UACA,eACD;QAGD,2BAA0B,aAAa,cAAc,WAAW,UAAU;IAG9E,OACA,SACA,GACA,CAAC,IAAI,MAAM,MAAM,CAAC,EAClB,iBACA,UACA,eACD;EAEJ;AAED,OAAkB,SAAS,aAAa,EAAE,MAAM,QAAQ,KAAK,KAAA,GAAW,EAAE,KAAK,CAAC,CAAC"}

package/dist/esm/executor/ops/functions.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/esm/executor/ops/functions.js

@@ -0,0 +1,57 @@
+import { SandboxCapabilityError } from "../../utils/errors.js";
+import { CodeString } from "../../utils/CodeString.js";
+import { LispType, VarType } from "../../utils/types.js";
+import { Scope } from "../../utils/Scope.js";
+import "../../utils/index.js";
+import { addOps } from "../opsRegistry.js";
+import { createAsyncGeneratorFunction, createFunction, createFunctionAsync, createGeneratorFunction } from "../executorUtils.js";
+//#region src/executor/ops/functions.ts
+addOps(LispType.ArrowFunction, ({ done, ticks, a, b, obj, context, scope, internal }) => {
+	if (typeof obj[2] === "string" || obj[2] instanceof CodeString) if (context.allowJit && context.evalContext) obj[2] = b = context.evalContext.lispifyFunction(new CodeString(obj[2]), context.constants);
+	else throw new SandboxCapabilityError("Unevaluated code detected, JIT not allowed");
+	const argNames = a.slice(1);
+	if (a[0]) done(void 0, createFunctionAsync(argNames, b, ticks, context, scope, void 0, internal));
+	else done(void 0, createFunction(argNames, b, ticks, context, scope, void 0, internal));
+});
+addOps(LispType.Function, ({ done, ticks, a, b, obj, context, scope, internal }) => {
+	if (typeof obj[2] === "string" || obj[2] instanceof CodeString) if (context.allowJit && context.evalContext) obj[2] = b = context.evalContext.lispifyFunction(new CodeString(obj[2]), context.constants, false, {
+		generatorDepth: a[1] === LispType.True ? 1 : 0,
+		asyncDepth: a[0] === LispType.True ? 1 : 0,
+		lispDepth: 0
+	});
+	else throw new SandboxCapabilityError("Unevaluated code detected, JIT not allowed");
+	const isAsync = a[0];
+	const isGenerator = a[1];
+	const name = a[2];
+	const argNames = a.slice(3);
+	let func;
+	if (isAsync === LispType.True && isGenerator === LispType.True) func = createAsyncGeneratorFunction(argNames, b, ticks, context, scope, name, internal);
+	else if (isGenerator === LispType.True) func = createGeneratorFunction(argNames, b, ticks, context, scope, name, internal);
+	else if (isAsync === LispType.True) func = createFunctionAsync(argNames, b, ticks, context, scope, name, internal);
+	else func = createFunction(argNames, b, ticks, context, scope, name, internal);
+	if (name) scope.declare(name, VarType.var, func, false, internal);
+	done(void 0, func);
+});
+addOps(LispType.InlineFunction, ({ done, ticks, a, b, obj, context, scope, internal }) => {
+	if (typeof obj[2] === "string" || obj[2] instanceof CodeString) if (context.allowJit && context.evalContext) obj[2] = b = context.evalContext.lispifyFunction(new CodeString(obj[2]), context.constants, false, {
+		generatorDepth: a[1] === LispType.True ? 1 : 0,
+		asyncDepth: a[0] === LispType.True ? 1 : 0,
+		lispDepth: 0
+	});
+	else throw new SandboxCapabilityError("Unevaluated code detected, JIT not allowed");
+	const isAsync = a[0];
+	const isGenerator = a[1];
+	const name = a[2];
+	const argNames = a.slice(3);
+	if (name) scope = new Scope(scope, {});
+	let func;
+	if (isAsync === LispType.True && isGenerator === LispType.True) func = createAsyncGeneratorFunction(argNames, b, ticks, context, scope, name, internal);
+	else if (isGenerator === LispType.True) func = createGeneratorFunction(argNames, b, ticks, context, scope, name, internal);
+	else if (isAsync === LispType.True) func = createFunctionAsync(argNames, b, ticks, context, scope, name, internal);
+	else func = createFunction(argNames, b, ticks, context, scope, name, internal);
+	if (name) scope.declare(name, VarType.let, func, false, internal);
+	done(void 0, func);
+});
+//#endregion
+
+//# sourceMappingURL=functions.js.map

package/dist/esm/executor/ops/functions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.js","names":[],"sources":["../../../../src/executor/ops/functions.ts"],"sourcesContent":["import {\n  addOps,\n  createAsyncGeneratorFunction,\n  createFunction,\n  createFunctionAsync,\n  createGeneratorFunction,\n} from '../executorUtils';\nimport type { Lisp } from '../../parser';\nimport { LispType, SandboxCapabilityError, CodeString, Scope, VarType } from '../../utils';\n\naddOps<string[], Lisp[], Lisp>(\n  LispType.ArrowFunction,\n  ({ done, ticks, a, b, obj, context, scope, internal }) => {\n    if (typeof obj[2] === 'string' || obj[2] instanceof CodeString) {\n      if (context.allowJit && context.evalContext) {\n        obj[2] = b = context.evalContext.lispifyFunction(new CodeString(obj[2]), context.constants);\n      } else {\n        throw new SandboxCapabilityError('Unevaluated code detected, JIT not allowed');\n      }\n    }\n    const argNames = a.slice(1);\n    if (a[0]) {\n      done(undefined, createFunctionAsync(argNames, b, ticks, context, scope, undefined, internal));\n    } else {\n      done(undefined, createFunction(argNames, b, ticks, context, scope, undefined, internal));\n    }\n  },\n);\n\naddOps<(string | LispType)[], Lisp[], Lisp>(\n  LispType.Function,\n  ({ done, ticks, a, b, obj, context, scope, internal }) => {\n    if (typeof obj[2] === 'string' || obj[2] instanceof CodeString) {\n      if (context.allowJit && context.evalContext) {\n        obj[2] = b = context.evalContext.lispifyFunction(\n          new CodeString(obj[2]),\n          context.constants,\n          false,\n          {\n            generatorDepth: a[1] === LispType.True ? 1 : 0,\n            asyncDepth: a[0] === LispType.True ? 1 : 0,\n            lispDepth: 0,\n          },\n        );\n      } else {\n        throw new SandboxCapabilityError('Unevaluated code detected, JIT not allowed');\n      }\n    }\n    const isAsync = a[0];\n    const isGenerator = a[1];\n    const name = a[2] as string;\n    const argNames = a.slice(3) as string[];\n    let func;\n    if (isAsync === LispType.True && isGenerator === LispType.True) {\n      func = createAsyncGeneratorFunction(argNames, b, ticks, context, scope, name, internal);\n    } else if (isGenerator === LispType.True) {\n      func = createGeneratorFunction(argNames, b, ticks, context, scope, name, internal);\n    } else if (isAsync === LispType.True) {\n      func = createFunctionAsync(argNames, b, ticks, context, scope, name, internal);\n    } else {\n      func = createFunction(argNames, b, ticks, context, scope, name, internal);\n    }\n    if (name) {\n      scope.declare(name, VarType.var, func, false, internal);\n    }\n    done(undefined, func);\n  },\n);\n\naddOps<(string | LispType)[], Lisp[], Lisp>(\n  LispType.InlineFunction,\n  ({ done, ticks, a, b, obj, context, scope, internal }) => {\n    if (typeof obj[2] === 'string' || obj[2] instanceof CodeString) {\n      if (context.allowJit && context.evalContext) {\n        obj[2] = b = context.evalContext.lispifyFunction(\n          new CodeString(obj[2]),\n          context.constants,\n          false,\n          {\n            generatorDepth: a[1] === LispType.True ? 1 : 0,\n            asyncDepth: a[0] === LispType.True ? 1 : 0,\n            lispDepth: 0,\n          },\n        );\n      } else {\n        throw new SandboxCapabilityError('Unevaluated code detected, JIT not allowed');\n      }\n    }\n    const isAsync = a[0];\n    const isGenerator = a[1];\n    const name = a[2] as string;\n    const argNames = a.slice(3) as string[];\n    if (name) {\n      scope = new Scope(scope, {});\n    }\n    let func;\n    if (isAsync === LispType.True && isGenerator === LispType.True) {\n      func = createAsyncGeneratorFunction(argNames, b, ticks, context, scope, name, internal);\n    } else if (isGenerator === LispType.True) {\n      func = createGeneratorFunction(argNames, b, ticks, context, scope, name, internal);\n    } else if (isAsync === LispType.True) {\n      func = createFunctionAsync(argNames, b, ticks, context, scope, name, internal);\n    } else {\n      func = createFunction(argNames, b, ticks, context, scope, name, internal);\n    }\n    if (name) {\n      scope.declare(name, VarType.let, func, false, internal);\n    }\n    done(undefined, func);\n  },\n);\n"],"mappings":";;;;;;;;AAUA,OACE,SAAS,gBACR,EAAE,MAAM,OAAO,GAAG,GAAG,KAAK,SAAS,OAAO,eAAe;AACxD,KAAI,OAAO,IAAI,OAAO,YAAY,IAAI,cAAc,WAClD,KAAI,QAAQ,YAAY,QAAQ,YAC9B,KAAI,KAAK,IAAI,QAAQ,YAAY,gBAAgB,IAAI,WAAW,IAAI,GAAG,EAAE,QAAQ,UAAU;KAE3F,OAAM,IAAI,uBAAuB,6CAA6C;CAGlF,MAAM,WAAW,EAAE,MAAM,EAAE;AAC3B,KAAI,EAAE,GACJ,MAAK,KAAA,GAAW,oBAAoB,UAAU,GAAG,OAAO,SAAS,OAAO,KAAA,GAAW,SAAS,CAAC;KAE7F,MAAK,KAAA,GAAW,eAAe,UAAU,GAAG,OAAO,SAAS,OAAO,KAAA,GAAW,SAAS,CAAC;EAG7F;AAED,OACE,SAAS,WACR,EAAE,MAAM,OAAO,GAAG,GAAG,KAAK,SAAS,OAAO,eAAe;AACxD,KAAI,OAAO,IAAI,OAAO,YAAY,IAAI,cAAc,WAClD,KAAI,QAAQ,YAAY,QAAQ,YAC9B,KAAI,KAAK,IAAI,QAAQ,YAAY,gBAC/B,IAAI,WAAW,IAAI,GAAG,EACtB,QAAQ,WACR,OACA;EACE,gBAAgB,EAAE,OAAO,SAAS,OAAO,IAAI;EAC7C,YAAY,EAAE,OAAO,SAAS,OAAO,IAAI;EACzC,WAAW;EACZ,CACF;KAED,OAAM,IAAI,uBAAuB,6CAA6C;CAGlF,MAAM,UAAU,EAAE;CAClB,MAAM,cAAc,EAAE;CACtB,MAAM,OAAO,EAAE;CACf,MAAM,WAAW,EAAE,MAAM,EAAE;CAC3B,IAAI;AACJ,KAAI,YAAY,SAAS,QAAQ,gBAAgB,SAAS,KACxD,QAAO,6BAA6B,UAAU,GAAG,OAAO,SAAS,OAAO,MAAM,SAAS;UAC9E,gBAAgB,SAAS,KAClC,QAAO,wBAAwB,UAAU,GAAG,OAAO,SAAS,OAAO,MAAM,SAAS;UACzE,YAAY,SAAS,KAC9B,QAAO,oBAAoB,UAAU,GAAG,OAAO,SAAS,OAAO,MAAM,SAAS;KAE9E,QAAO,eAAe,UAAU,GAAG,OAAO,SAAS,OAAO,MAAM,SAAS;AAE3E,KAAI,KACF,OAAM,QAAQ,MAAM,QAAQ,KAAK,MAAM,OAAO,SAAS;AAEzD,MAAK,KAAA,GAAW,KAAK;EAExB;AAED,OACE,SAAS,iBACR,EAAE,MAAM,OAAO,GAAG,GAAG,KAAK,SAAS,OAAO,eAAe;AACxD,KAAI,OAAO,IAAI,OAAO,YAAY,IAAI,cAAc,WAClD,KAAI,QAAQ,YAAY,QAAQ,YAC9B,KAAI,KAAK,IAAI,QAAQ,YAAY,gBAC/B,IAAI,WAAW,IAAI,GAAG,EACtB,QAAQ,WACR,OACA;EACE,gBAAgB,EAAE,OAAO,SAAS,OAAO,IAAI;EAC7C,YAAY,EAAE,OAAO,SAAS,OAAO,IAAI;EACzC,WAAW;EACZ,CACF;KAED,OAAM,IAAI,uBAAuB,6CAA6C;CAGlF,MAAM,UAAU,EAAE;CAClB,MAAM,cAAc,EAAE;CACtB,MAAM,OAAO,EAAE;CACf,MAAM,WAAW,EAAE,MAAM,EAAE;AAC3B,KAAI,KACF,SAAQ,IAAI,MAAM,OAAO,EAAE,CAAC;CAE9B,IAAI;AACJ,KAAI,YAAY,SAAS,QAAQ,gBAAgB,SAAS,KACxD,QAAO,6BAA6B,UAAU,GAAG,OAAO,SAAS,OAAO,MAAM,SAAS;UAC9E,gBAAgB,SAAS,KAClC,QAAO,wBAAwB,UAAU,GAAG,OAAO,SAAS,OAAO,MAAM,SAAS;UACzE,YAAY,SAAS,KAC9B,QAAO,oBAAoB,UAAU,GAAG,OAAO,SAAS,OAAO,MAAM,SAAS;KAE9E,QAAO,eAAe,UAAU,GAAG,OAAO,SAAS,OAAO,MAAM,SAAS;AAE3E,KAAI,KACF,OAAM,QAAQ,MAAM,QAAQ,KAAK,MAAM,OAAO,SAAS;AAEzD,MAAK,KAAA,GAAW,KAAK;EAExB"}

package/dist/esm/executor/ops/index.js

@@ -0,0 +1,11 @@
+import "./prop.js";
+import "./call.js";
+import "./object.js";
+import "./literals.js";
+import "./unary.js";
+import "./assignment.js";
+import "./comparison.js";
+import "./variables.js";
+import "./misc.js";
+import "./functions.js";
+import "./control.js";

package/dist/esm/executor/ops/literals.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/esm/executor/ops/literals.js

@@ -0,0 +1,47 @@
+import { SandboxCapabilityError } from "../../utils/errors.js";
+import { LispType } from "../../utils/types.js";
+import { sanitizeProp } from "../../utils/Scope.js";
+import "../../utils/index.js";
+import { addOps } from "../opsRegistry.js";
+import { checkHaltExpectedTicks, literalRegex } from "../executorUtils.js";
+//#region src/executor/ops/literals.ts
+addOps(LispType.Number, ({ done, b }) => done(void 0, Number(b.replace(/_/g, ""))));
+addOps(LispType.BigInt, ({ done, b }) => done(void 0, BigInt(b.replace(/_/g, ""))));
+addOps(LispType.RegexIndex, ({ done, b, context }) => {
+	const reg = context.constants.regexes[parseInt(b)];
+	if (!context.ctx.globalsWhitelist.has(RegExp)) throw new SandboxCapabilityError("Regex not permitted");
+	else done(void 0, new ((context.evals.get(RegExp)) ?? RegExp)(reg.regex, reg.flags));
+});
+addOps(LispType.LiteralIndex, (params) => {
+	const { exec, done, ticks, b, context, scope, internal, generatorYield } = params;
+	const [, name, js] = context.constants.literals[parseInt(b)];
+	const found = [];
+	let f;
+	const resnums = [];
+	while (f = literalRegex.exec(name)) if (!f[2]) {
+		found.push(js[parseInt(f[3], 10)]);
+		resnums.push(f[3]);
+	}
+	exec(ticks, found, scope, context, (...args) => {
+		const reses = {};
+		if (args.length === 1) {
+			done(args[0]);
+			return;
+		}
+		const processed = args[1];
+		for (const i of Object.keys(processed)) {
+			const num = resnums[i];
+			reses[num] = processed[i];
+		}
+		const result = name.replace(/(\\\\)*(\\)?\${(\d+)}/g, (match, $$, $, num) => {
+			if ($) return match;
+			const res = reses[num];
+			return ($$ ? $$ : "") + `${sanitizeProp(res, context)}`;
+		});
+		if (checkHaltExpectedTicks(params, BigInt(result.length))) return;
+		done(void 0, result);
+	}, void 0, internal, generatorYield);
+});
+//#endregion
+
+//# sourceMappingURL=literals.js.map

package/dist/esm/executor/ops/literals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"literals.js","names":[],"sources":["../../../../src/executor/ops/literals.ts"],"sourcesContent":["import { addOps, literalRegex, checkHaltExpectedTicks } from '../executorUtils';\nimport type { Lisp, IRegEx } from '../../parser';\nimport { LispType, SandboxCapabilityError, sanitizeProp } from '../../utils';\n\naddOps<unknown, string>(LispType.Number, ({ done, b }) =>\n  done(undefined, Number(b.replace(/_/g, ''))),\n);\n\naddOps<unknown, string>(LispType.BigInt, ({ done, b }) =>\n  done(undefined, BigInt(b.replace(/_/g, ''))),\n);\n\naddOps<unknown, string>(LispType.RegexIndex, ({ done, b, context }) => {\n  const reg: IRegEx = context.constants.regexes[parseInt(b)];\n  if (!context.ctx.globalsWhitelist.has(RegExp)) {\n    throw new SandboxCapabilityError('Regex not permitted');\n  } else {\n    const RegExpCtor =\n      (context.evals.get(RegExp) as\n        | (new (pattern: string, flags?: string) => unknown)\n        | undefined) ?? RegExp;\n    done(undefined, new RegExpCtor(reg.regex, reg.flags));\n  }\n});\n\naddOps<unknown, string>(LispType.LiteralIndex, (params) => {\n  const { exec, done, ticks, b, context, scope, internal, generatorYield } = params;\n  const item = context.constants.literals[parseInt(b)];\n  const [, name, js] = item;\n  const found: Lisp[] = [];\n  let f: RegExpExecArray | null;\n  const resnums: string[] = [];\n  while ((f = literalRegex.exec(name))) {\n    if (!f[2]) {\n      found.push(js[parseInt(f[3], 10)]);\n      resnums.push(f[3]);\n    }\n  }\n\n  exec<unknown[]>(\n    ticks,\n    found,\n    scope,\n    context,\n    (...args: unknown[]) => {\n      const reses: Record<string, unknown> = {};\n      if (args.length === 1) {\n        done(args[0]);\n        return;\n      }\n      const processed = args[1];\n      for (const i of Object.keys(processed!) as (keyof typeof processed)[]) {\n        const num = resnums[i];\n        reses[num] = processed![i];\n      }\n      const result = name.replace(/(\\\\\\\\)*(\\\\)?\\${(\\d+)}/g, (match, $$, $, num) => {\n        if ($) return match;\n        const res = reses[num];\n        return ($$ ? $$ : '') + `${sanitizeProp(res, context)}`;\n      });\n      if (checkHaltExpectedTicks(params, BigInt(result.length))) return;\n      done(undefined, result);\n    },\n    undefined,\n    internal,\n    generatorYield,\n  );\n});\n"],"mappings":";;;;;;;AAIA,OAAwB,SAAS,SAAS,EAAE,MAAM,QAChD,KAAK,KAAA,GAAW,OAAO,EAAE,QAAQ,MAAM,GAAG,CAAC,CAAC,CAC7C;AAED,OAAwB,SAAS,SAAS,EAAE,MAAM,QAChD,KAAK,KAAA,GAAW,OAAO,EAAE,QAAQ,MAAM,GAAG,CAAC,CAAC,CAC7C;AAED,OAAwB,SAAS,aAAa,EAAE,MAAM,GAAG,cAAc;CACrE,MAAM,MAAc,QAAQ,UAAU,QAAQ,SAAS,EAAE;AACzD,KAAI,CAAC,QAAQ,IAAI,iBAAiB,IAAI,OAAO,CAC3C,OAAM,IAAI,uBAAuB,sBAAsB;KAMvD,MAAK,KAAA,GAAW,MAHb,QAAQ,MAAM,IAAI,OAAO,KAER,QACW,IAAI,OAAO,IAAI,MAAM,CAAC;EAEvD;AAEF,OAAwB,SAAS,eAAe,WAAW;CACzD,MAAM,EAAE,MAAM,MAAM,OAAO,GAAG,SAAS,OAAO,UAAU,mBAAmB;CAE3E,MAAM,GAAG,MAAM,MADF,QAAQ,UAAU,SAAS,SAAS,EAAE;CAEnD,MAAM,QAAgB,EAAE;CACxB,IAAI;CACJ,MAAM,UAAoB,EAAE;AAC5B,QAAQ,IAAI,aAAa,KAAK,KAAK,CACjC,KAAI,CAAC,EAAE,IAAI;AACT,QAAM,KAAK,GAAG,SAAS,EAAE,IAAI,GAAG,EAAE;AAClC,UAAQ,KAAK,EAAE,GAAG;;AAItB,MACE,OACA,OACA,OACA,UACC,GAAG,SAAoB;EACtB,MAAM,QAAiC,EAAE;AACzC,MAAI,KAAK,WAAW,GAAG;AACrB,QAAK,KAAK,GAAG;AACb;;EAEF,MAAM,YAAY,KAAK;AACvB,OAAK,MAAM,KAAK,OAAO,KAAK,UAAW,EAAgC;GACrE,MAAM,MAAM,QAAQ;AACpB,SAAM,OAAO,UAAW;;EAE1B,MAAM,SAAS,KAAK,QAAQ,2BAA2B,OAAO,IAAI,GAAG,QAAQ;AAC3E,OAAI,EAAG,QAAO;GACd,MAAM,MAAM,MAAM;AAClB,WAAQ,KAAK,KAAK,MAAM,GAAG,aAAa,KAAK,QAAQ;IACrD;AACF,MAAI,uBAAuB,QAAQ,OAAO,OAAO,OAAO,CAAC,CAAE;AAC3D,OAAK,KAAA,GAAW,OAAO;IAEzB,KAAA,GACA,UACA,eACD;EACD"}

package/dist/esm/executor/ops/misc.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/esm/executor/ops/misc.js

@@ -0,0 +1,27 @@
+import { SandboxCapabilityError } from "../../utils/errors.js";
+import { LispType, VarType } from "../../utils/types.js";
+import "../../utils/index.js";
+import { addOps } from "../opsRegistry.js";
+import { ExecReturn, findControlFlowTarget, normalizeStatementLabel } from "../executorUtils.js";
+//#region src/executor/ops/misc.ts
+addOps(LispType.Internal, ({ done, a, b, scope, bobj, internal }) => {
+	if (!internal) throw new SandboxCapabilityError("Internal variables are not accessible");
+	done(void 0, scope.declare(a, VarType.internal, b, bobj?.isGlobal || false, internal));
+});
+addOps(LispType.LoopAction, ({ done, a, b, context, statementLabels }) => {
+	const label = normalizeStatementLabel(b);
+	const target = findControlFlowTarget(statementLabels, a, label);
+	if (target === null) throw new TypeError("Illegal continue statement");
+	if (!target) throw new TypeError(label ? `Undefined label '${label}'` : "Illegal " + a + " statement");
+	done(void 0, new ExecReturn(context.ctx.auditReport, void 0, false, {
+		type: a,
+		label
+	}));
+});
+addOps(LispType.Throw, ({ done, b }) => {
+	done(b);
+});
+addOps(LispType.None, ({ done }) => done());
+//#endregion
+
+//# sourceMappingURL=misc.js.map

package/dist/esm/executor/ops/misc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"misc.js","names":[],"sources":["../../../../src/executor/ops/misc.ts"],"sourcesContent":["import {\n  addOps,\n  findControlFlowTarget,\n  ExecReturn,\n  normalizeStatementLabel,\n} from '../executorUtils';\nimport type { ControlFlowAction } from '../executorUtils';\nimport type { LispItem, StatementLabel } from '../../parser';\nimport { LispType, Prop, VarType, SandboxCapabilityError } from '../../utils';\n\naddOps<string, unknown, unknown, Prop>(\n  LispType.Internal,\n  ({ done, a, b, scope, bobj, internal }) => {\n    if (!internal) {\n      throw new SandboxCapabilityError('Internal variables are not accessible');\n    }\n    done(undefined, scope.declare(a, VarType.internal, b, bobj?.isGlobal || false, internal));\n  },\n);\n\naddOps<LispItem, StatementLabel>(\n  LispType.LoopAction,\n  ({ done, a, b, context, statementLabels }) => {\n    const label = normalizeStatementLabel(b);\n    const target = findControlFlowTarget(statementLabels, a as ControlFlowAction, label);\n    if (target === null) {\n      throw new TypeError('Illegal continue statement');\n    }\n    if (!target) {\n      throw new TypeError(label ? `Undefined label '${label}'` : 'Illegal ' + a + ' statement');\n    }\n    done(\n      undefined,\n      new ExecReturn(context.ctx.auditReport, undefined, false, {\n        type: a as ControlFlowAction,\n        label,\n      }),\n    );\n  },\n);\n\naddOps(LispType.Throw, ({ done, b }) => {\n  done(b);\n});\n\naddOps(LispType.None, ({ done }) => done());\n"],"mappings":";;;;;;AAUA,OACE,SAAS,WACR,EAAE,MAAM,GAAG,GAAG,OAAO,MAAM,eAAe;AACzC,KAAI,CAAC,SACH,OAAM,IAAI,uBAAuB,wCAAwC;AAE3E,MAAK,KAAA,GAAW,MAAM,QAAQ,GAAG,QAAQ,UAAU,GAAG,MAAM,YAAY,OAAO,SAAS,CAAC;EAE5F;AAED,OACE,SAAS,aACR,EAAE,MAAM,GAAG,GAAG,SAAS,sBAAsB;CAC5C,MAAM,QAAQ,wBAAwB,EAAE;CACxC,MAAM,SAAS,sBAAsB,iBAAiB,GAAwB,MAAM;AACpF,KAAI,WAAW,KACb,OAAM,IAAI,UAAU,6BAA6B;AAEnD,KAAI,CAAC,OACH,OAAM,IAAI,UAAU,QAAQ,oBAAoB,MAAM,KAAK,aAAa,IAAI,aAAa;AAE3F,MACE,KAAA,GACA,IAAI,WAAW,QAAQ,IAAI,aAAa,KAAA,GAAW,OAAO;EACxD,MAAM;EACN;EACD,CAAC,CACH;EAEJ;AAED,OAAO,SAAS,QAAQ,EAAE,MAAM,QAAQ;AACtC,MAAK,EAAE;EACP;AAEF,OAAO,SAAS,OAAO,EAAE,WAAW,MAAM,CAAC"}

package/dist/esm/executor/ops/object.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/esm/executor/ops/object.js

@@ -0,0 +1,53 @@
+import { LispType } from "../../utils/types.js";
+import { sanitizeProp } from "../../utils/Scope.js";
+import "../../utils/index.js";
+import { addOps } from "../opsRegistry.js";
+import { ArrayHole, KeyVal, SpreadArray, SpreadObject, checkHaltExpectedTicks } from "../executorUtils.js";
+//#region src/executor/ops/object.ts
+addOps(LispType.CreateObject, (params) => {
+	const { done, b } = params;
+	let res = {};
+	for (const item of b) if (item.key instanceof SpreadObject) {
+		const keys = Object.keys(item.key.item);
+		if (checkHaltExpectedTicks(params, BigInt(keys.length))) return;
+		res = {
+			...res,
+			...item.key.item
+		};
+	} else res[item.key] = item.val;
+	done(void 0, res);
+});
+addOps(LispType.KeyVal, ({ done, a, b }) => done(void 0, new KeyVal(a, b)));
+addOps(LispType.CreateArray, (params) => {
+	const { done, b, context } = params;
+	const items = [];
+	for (const item of b) if (item instanceof SpreadArray) {
+		const expanded = Array.isArray(item.item) ? item.item : [...item.item];
+		if (checkHaltExpectedTicks(params, BigInt(expanded.length))) return;
+		for (const v of expanded) items.push(sanitizeProp(v, context));
+	} else if (item instanceof ArrayHole) items.length++;
+	else items.push(sanitizeProp(item, context));
+	done(void 0, items);
+});
+addOps(LispType.Hole, ({ done }) => done(void 0, new ArrayHole()));
+addOps(LispType.Group, ({ done, b }) => done(void 0, b));
+addOps(LispType.GlobalSymbol, ({ done, b }) => {
+	switch (b) {
+		case "true": return done(void 0, true);
+		case "false": return done(void 0, false);
+		case "null": return done(void 0, null);
+		case "undefined": return done(void 0, void 0);
+		case "NaN": return done(void 0, NaN);
+		case "Infinity": return done(void 0, Infinity);
+	}
+	done(/* @__PURE__ */ new Error("Unknown symbol: " + b));
+});
+addOps(LispType.SpreadArray, ({ done, b }) => {
+	done(void 0, new SpreadArray(b));
+});
+addOps(LispType.SpreadObject, ({ done, b }) => {
+	done(void 0, new SpreadObject(b));
+});
+//#endregion
+
+//# sourceMappingURL=object.js.map

package/dist/esm/executor/ops/object.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object.js","names":[],"sources":["../../../../src/executor/ops/object.ts"],"sourcesContent":["import {\n  addOps,\n  checkHaltExpectedTicks,\n  SpreadArray,\n  SpreadObject,\n  KeyVal,\n  ArrayHole,\n} from '../executorUtils';\nimport type { Lisp, LispItem } from '../../parser';\nimport { LispType, sanitizeProp } from '../../utils';\n\naddOps<unknown, KeyVal[]>(LispType.CreateObject, (params) => {\n  const { done, b } = params;\n  let res = {} as any;\n  for (const item of b) {\n    if (item.key instanceof SpreadObject) {\n      const keys = Object.keys(item.key.item);\n      if (checkHaltExpectedTicks(params, BigInt(keys.length))) return;\n      res = { ...res, ...item.key.item };\n    } else {\n      res[item.key] = item.val;\n    }\n  }\n  done(undefined, res);\n});\n\naddOps<PropertyKey, LispItem>(LispType.KeyVal, ({ done, a, b }) =>\n  done(undefined, new KeyVal(a, b)),\n);\n\naddOps<unknown, Lisp[]>(LispType.CreateArray, (params) => {\n  const { done, b, context } = params;\n  const items: unknown[] = [];\n  for (const item of b) {\n    if (item instanceof SpreadArray) {\n      const expanded = Array.isArray(item.item) ? item.item : [...(item.item as Iterable<unknown>)];\n      if (checkHaltExpectedTicks(params, BigInt(expanded.length))) return;\n      for (const v of expanded) items.push(sanitizeProp(v, context));\n    } else if (item instanceof ArrayHole) {\n      items.length++;\n    } else {\n      items.push(sanitizeProp(item, context));\n    }\n  }\n  done(undefined, items);\n});\n\naddOps(LispType.Hole, ({ done }) => done(undefined, new ArrayHole()));\n\naddOps<unknown, unknown>(LispType.Group, ({ done, b }) => done(undefined, b));\n\naddOps<unknown, string>(LispType.GlobalSymbol, ({ done, b }) => {\n  switch (b) {\n    case 'true':\n      return done(undefined, true);\n    case 'false':\n      return done(undefined, false);\n    case 'null':\n      return done(undefined, null);\n    case 'undefined':\n      return done(undefined, undefined);\n    case 'NaN':\n      return done(undefined, NaN);\n    case 'Infinity':\n      return done(undefined, Infinity);\n  }\n  done(new Error('Unknown symbol: ' + b));\n});\n\naddOps<unknown, unknown[]>(LispType.SpreadArray, ({ done, b }) => {\n  done(undefined, new SpreadArray(b));\n});\n\naddOps<unknown, Record<string, unknown>>(LispType.SpreadObject, ({ done, b }) => {\n  done(undefined, new SpreadObject(b));\n});\n"],"mappings":";;;;;;AAWA,OAA0B,SAAS,eAAe,WAAW;CAC3D,MAAM,EAAE,MAAM,MAAM;CACpB,IAAI,MAAM,EAAE;AACZ,MAAK,MAAM,QAAQ,EACjB,KAAI,KAAK,eAAe,cAAc;EACpC,MAAM,OAAO,OAAO,KAAK,KAAK,IAAI,KAAK;AACvC,MAAI,uBAAuB,QAAQ,OAAO,KAAK,OAAO,CAAC,CAAE;AACzD,QAAM;GAAE,GAAG;GAAK,GAAG,KAAK,IAAI;GAAM;OAElC,KAAI,KAAK,OAAO,KAAK;AAGzB,MAAK,KAAA,GAAW,IAAI;EACpB;AAEF,OAA8B,SAAS,SAAS,EAAE,MAAM,GAAG,QACzD,KAAK,KAAA,GAAW,IAAI,OAAO,GAAG,EAAE,CAAC,CAClC;AAED,OAAwB,SAAS,cAAc,WAAW;CACxD,MAAM,EAAE,MAAM,GAAG,YAAY;CAC7B,MAAM,QAAmB,EAAE;AAC3B,MAAK,MAAM,QAAQ,EACjB,KAAI,gBAAgB,aAAa;EAC/B,MAAM,WAAW,MAAM,QAAQ,KAAK,KAAK,GAAG,KAAK,OAAO,CAAC,GAAI,KAAK,KAA2B;AAC7F,MAAI,uBAAuB,QAAQ,OAAO,SAAS,OAAO,CAAC,CAAE;AAC7D,OAAK,MAAM,KAAK,SAAU,OAAM,KAAK,aAAa,GAAG,QAAQ,CAAC;YACrD,gBAAgB,UACzB,OAAM;KAEN,OAAM,KAAK,aAAa,MAAM,QAAQ,CAAC;AAG3C,MAAK,KAAA,GAAW,MAAM;EACtB;AAEF,OAAO,SAAS,OAAO,EAAE,WAAW,KAAK,KAAA,GAAW,IAAI,WAAW,CAAC,CAAC;AAErE,OAAyB,SAAS,QAAQ,EAAE,MAAM,QAAQ,KAAK,KAAA,GAAW,EAAE,CAAC;AAE7E,OAAwB,SAAS,eAAe,EAAE,MAAM,QAAQ;AAC9D,SAAQ,GAAR;EACE,KAAK,OACH,QAAO,KAAK,KAAA,GAAW,KAAK;EAC9B,KAAK,QACH,QAAO,KAAK,KAAA,GAAW,MAAM;EAC/B,KAAK,OACH,QAAO,KAAK,KAAA,GAAW,KAAK;EAC9B,KAAK,YACH,QAAO,KAAK,KAAA,GAAW,KAAA,EAAU;EACnC,KAAK,MACH,QAAO,KAAK,KAAA,GAAW,IAAI;EAC7B,KAAK,WACH,QAAO,KAAK,KAAA,GAAW,SAAS;;AAEpC,sBAAK,IAAI,MAAM,qBAAqB,EAAE,CAAC;EACvC;AAEF,OAA2B,SAAS,cAAc,EAAE,MAAM,QAAQ;AAChE,MAAK,KAAA,GAAW,IAAI,YAAY,EAAE,CAAC;EACnC;AAEF,OAAyC,SAAS,eAAe,EAAE,MAAM,QAAQ;AAC/E,MAAK,KAAA,GAAW,IAAI,aAAa,EAAE,CAAC;EACpC"}

package/dist/esm/executor/ops/prop.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/esm/executor/ops/prop.js

@@ -0,0 +1,72 @@
+import { SandboxAccessError } from "../../utils/errors.js";
+import { LispType } from "../../utils/types.js";
+import { Prop, hasOwnProperty, resolveSandboxProp } from "../../utils/Prop.js";
+import "../../utils/index.js";
+import { addOps } from "../opsRegistry.js";
+import { hasPossibleProperties, isPropertyKey } from "../executorUtils.js";
+//#region src/executor/ops/prop.ts
+addOps(LispType.Prop, ({ done, a, b, obj, context, scope, internal }) => {
+	if (a === null) throw new TypeError(`Cannot read properties of null (reading '${b?.toString()}')`);
+	if (!isPropertyKey(b)) b = `${b}`;
+	if (a === void 0 && obj === void 0 && typeof b === "string") {
+		const prop = scope.get(b, internal);
+		if (prop.context === void 0) throw new ReferenceError(`${b} is not defined`);
+		if (prop.context === context.ctx.sandboxGlobal) {
+			if (context.ctx.options.audit) context.ctx.auditReport?.globalsAccess.add(b);
+		}
+		const val = prop.context[prop.prop];
+		done(void 0, resolveSandboxProp(val, context, prop) || prop);
+		return;
+	} else if (a === void 0) throw new TypeError(`Cannot read properties of undefined (reading '${b.toString()}')`);
+	if (!hasPossibleProperties(a)) {
+		done(void 0, new Prop(void 0, b));
+		return;
+	}
+	const prototypeAccess = typeof a === "function" || !hasOwnProperty(a, b);
+	if (context.ctx.options.audit && prototypeAccess) {
+		let prot = Object.getPrototypeOf(a);
+		do
+			if (hasOwnProperty(prot, b)) {
+				if (context.ctx.auditReport && !context.ctx.auditReport.prototypeAccess[prot.constructor.name]) context.ctx.auditReport.prototypeAccess[prot.constructor.name] = /* @__PURE__ */ new Set();
+				context.ctx.auditReport?.prototypeAccess[prot.constructor.name].add(b);
+			}
+		while (prot = Object.getPrototypeOf(prot));
+	}
+	if (prototypeAccess) {
+		if (typeof a === "function") {
+			if (hasOwnProperty(a, b)) {
+				const whitelist = context.ctx.prototypeWhitelist.get(a.prototype);
+				if (!(whitelist && (!whitelist.size || whitelist.has(b))) && !context.ctx.sandboxedFunctions.has(a)) throw new SandboxAccessError(`Static method or property access not permitted: ${a.name}.${b.toString()}`);
+			}
+		}
+		let prot = a;
+		while (prot = Object.getPrototypeOf(prot)) if (hasOwnProperty(prot, b) || b === "__proto__") {
+			const whitelist = context.ctx.prototypeWhitelist.get(prot);
+			if (whitelist && (!whitelist.size || whitelist.has(b)) || context.ctx.sandboxedFunctions.has(prot.constructor)) break;
+			if (b === "__proto__") throw new SandboxAccessError(`Access to prototype of global object is not permitted`);
+			throw new SandboxAccessError(`Method or property access not permitted: ${prot.constructor.name}.${b.toString()}`);
+		}
+	}
+	if (typeof a === "function") {
+		if (b === "prototype" && !context.ctx.sandboxedFunctions.has(a)) throw new SandboxAccessError(`Access to prototype of global object is not permitted`);
+		if ([
+			"caller",
+			"callee",
+			"arguments"
+		].includes(b)) throw new SandboxAccessError(`Access to '${b}' property is not permitted`);
+	}
+	const val = a[b];
+	if (b === "__proto__" && !context.ctx.sandboxedFunctions.has(val?.constructor)) throw new SandboxAccessError(`Access to prototype of global object is not permitted`);
+	const p = resolveSandboxProp(val, context, new Prop(a, b, false, false));
+	if (p) {
+		done(void 0, p);
+		return;
+	}
+	const isSandboxGlobal = a === context.ctx.sandboxGlobal;
+	const g = !isSandboxGlobal && obj instanceof Prop && obj.isGlobal || typeof a === "function" && !context.ctx.sandboxedFunctions.has(a) || context.ctx.globalsWhitelist.has(a) || isSandboxGlobal && typeof b === "string" && hasOwnProperty(context.ctx.globalScope.globals, b);
+	done(void 0, new Prop(a, b, false, g, false));
+});
+addOps(LispType.StringIndex, ({ done, b, context }) => done(void 0, context.constants.strings[parseInt(b)]));
+//#endregion
+
+//# sourceMappingURL=prop.js.map

package/dist/esm/executor/ops/prop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prop.js","names":[],"sources":["../../../../src/executor/ops/prop.ts"],"sourcesContent":["import { addOps, hasPossibleProperties, isPropertyKey } from '../executorUtils';\nimport {\n  LispType,\n  Prop,\n  SandboxAccessError,\n  resolveSandboxProp,\n  hasOwnProperty,\n} from '../../utils';\n\naddOps<unknown, PropertyKey>(LispType.Prop, ({ done, a, b, obj, context, scope, internal }) => {\n  if (a === null) {\n    throw new TypeError(`Cannot read properties of null (reading '${b?.toString()}')`);\n  }\n\n  if (!isPropertyKey(b)) {\n    b = `${b}`;\n  }\n\n  if (a === undefined && obj === undefined && typeof b === 'string') {\n    // is variable access\n    const prop = scope.get(b, internal);\n    if (prop.context === undefined) {\n      throw new ReferenceError(`${b} is not defined`);\n    }\n    if (prop.context === context.ctx.sandboxGlobal) {\n      if (context.ctx.options.audit) {\n        context.ctx.auditReport?.globalsAccess.add(b);\n      }\n    }\n    const val = (prop.context as any)[prop.prop];\n    const p = resolveSandboxProp(val, context, prop) || prop;\n\n    done(undefined, p);\n    return;\n  } else if (a === undefined) {\n    throw new TypeError(`Cannot read properties of undefined (reading '${b.toString()}')`);\n  }\n\n  if (!hasPossibleProperties(a)) {\n    done(undefined, new Prop(undefined, b));\n    return;\n  }\n\n  const prototypeAccess = typeof a === 'function' || !hasOwnProperty(a, b);\n\n  if (context.ctx.options.audit && prototypeAccess) {\n    let prot: {} = Object.getPrototypeOf(a);\n    do {\n      if (hasOwnProperty(prot, b)) {\n        if (\n          context.ctx.auditReport &&\n          !context.ctx.auditReport.prototypeAccess[prot.constructor.name]\n        ) {\n          context.ctx.auditReport.prototypeAccess[prot.constructor.name] = new Set();\n        }\n        context.ctx.auditReport?.prototypeAccess[prot.constructor.name].add(b);\n      }\n    } while ((prot = Object.getPrototypeOf(prot)));\n  }\n\n  if (prototypeAccess) {\n    if (typeof a === 'function') {\n      if (hasOwnProperty(a, b)) {\n        const whitelist = context.ctx.prototypeWhitelist.get(a.prototype);\n        if (\n          !(whitelist && (!whitelist.size || whitelist.has(b))) &&\n          !context.ctx.sandboxedFunctions.has(a)\n        ) {\n          throw new SandboxAccessError(\n            `Static method or property access not permitted: ${a.name}.${b.toString()}`,\n          );\n        }\n      }\n    }\n\n    let prot: {} = a;\n    while ((prot = Object.getPrototypeOf(prot))) {\n      if (hasOwnProperty(prot, b) || b === '__proto__') {\n        const whitelist = context.ctx.prototypeWhitelist.get(prot);\n        if (\n          (whitelist && (!whitelist.size || whitelist.has(b))) ||\n          context.ctx.sandboxedFunctions.has(prot.constructor)\n        ) {\n          break;\n        }\n        if (b === '__proto__') {\n          throw new SandboxAccessError(`Access to prototype of global object is not permitted`);\n        }\n        throw new SandboxAccessError(\n          `Method or property access not permitted: ${prot.constructor.name}.${b.toString()}`,\n        );\n      }\n    }\n  }\n\n  if (typeof a === 'function') {\n    if (b === 'prototype' && !context.ctx.sandboxedFunctions.has(a)) {\n      throw new SandboxAccessError(`Access to prototype of global object is not permitted`);\n    }\n    if (['caller', 'callee', 'arguments'].includes(b as string)) {\n      throw new SandboxAccessError(`Access to '${b as string}' property is not permitted`);\n    }\n  }\n  const val = a[b as keyof typeof a] as unknown;\n\n  if (b === '__proto__' && !context.ctx.sandboxedFunctions.has(val?.constructor as any)) {\n    throw new SandboxAccessError(`Access to prototype of global object is not permitted`);\n  }\n\n  const p = resolveSandboxProp(val, context, new Prop(a, b, false, false));\n  if (p) {\n    done(undefined, p);\n    return;\n  }\n\n  const isSandboxGlobal = a === context.ctx.sandboxGlobal;\n  const g =\n    (!isSandboxGlobal && obj instanceof Prop && obj.isGlobal) ||\n    (typeof a === 'function' && !context.ctx.sandboxedFunctions.has(a)) ||\n    context.ctx.globalsWhitelist.has(a) ||\n    (isSandboxGlobal &&\n      typeof b === 'string' &&\n      hasOwnProperty(context.ctx.globalScope.globals, b));\n\n  done(undefined, new Prop(a, b, false, g, false));\n});\n\naddOps<unknown, string>(LispType.StringIndex, ({ done, b, context }) =>\n  done(undefined, context.constants.strings[parseInt(b)]),\n);\n"],"mappings":";;;;;;;AASA,OAA6B,SAAS,OAAO,EAAE,MAAM,GAAG,GAAG,KAAK,SAAS,OAAO,eAAe;AAC7F,KAAI,MAAM,KACR,OAAM,IAAI,UAAU,4CAA4C,GAAG,UAAU,CAAC,IAAI;AAGpF,KAAI,CAAC,cAAc,EAAE,CACnB,KAAI,GAAG;AAGT,KAAI,MAAM,KAAA,KAAa,QAAQ,KAAA,KAAa,OAAO,MAAM,UAAU;EAEjE,MAAM,OAAO,MAAM,IAAI,GAAG,SAAS;AACnC,MAAI,KAAK,YAAY,KAAA,EACnB,OAAM,IAAI,eAAe,GAAG,EAAE,iBAAiB;AAEjD,MAAI,KAAK,YAAY,QAAQ,IAAI;OAC3B,QAAQ,IAAI,QAAQ,MACtB,SAAQ,IAAI,aAAa,cAAc,IAAI,EAAE;;EAGjD,MAAM,MAAO,KAAK,QAAgB,KAAK;AAGvC,OAAK,KAAA,GAFK,mBAAmB,KAAK,SAAS,KAAK,IAAI,KAElC;AAClB;YACS,MAAM,KAAA,EACf,OAAM,IAAI,UAAU,iDAAiD,EAAE,UAAU,CAAC,IAAI;AAGxF,KAAI,CAAC,sBAAsB,EAAE,EAAE;AAC7B,OAAK,KAAA,GAAW,IAAI,KAAK,KAAA,GAAW,EAAE,CAAC;AACvC;;CAGF,MAAM,kBAAkB,OAAO,MAAM,cAAc,CAAC,eAAe,GAAG,EAAE;AAExE,KAAI,QAAQ,IAAI,QAAQ,SAAS,iBAAiB;EAChD,IAAI,OAAW,OAAO,eAAe,EAAE;AACvC;AACE,OAAI,eAAe,MAAM,EAAE,EAAE;AAC3B,QACE,QAAQ,IAAI,eACZ,CAAC,QAAQ,IAAI,YAAY,gBAAgB,KAAK,YAAY,MAE1D,SAAQ,IAAI,YAAY,gBAAgB,KAAK,YAAY,wBAAQ,IAAI,KAAK;AAE5E,YAAQ,IAAI,aAAa,gBAAgB,KAAK,YAAY,MAAM,IAAI,EAAE;;SAEhE,OAAO,OAAO,eAAe,KAAK;;AAG9C,KAAI,iBAAiB;AACnB,MAAI,OAAO,MAAM;OACX,eAAe,GAAG,EAAE,EAAE;IACxB,MAAM,YAAY,QAAQ,IAAI,mBAAmB,IAAI,EAAE,UAAU;AACjE,QACE,EAAE,cAAc,CAAC,UAAU,QAAQ,UAAU,IAAI,EAAE,MACnD,CAAC,QAAQ,IAAI,mBAAmB,IAAI,EAAE,CAEtC,OAAM,IAAI,mBACR,mDAAmD,EAAE,KAAK,GAAG,EAAE,UAAU,GAC1E;;;EAKP,IAAI,OAAW;AACf,SAAQ,OAAO,OAAO,eAAe,KAAK,CACxC,KAAI,eAAe,MAAM,EAAE,IAAI,MAAM,aAAa;GAChD,MAAM,YAAY,QAAQ,IAAI,mBAAmB,IAAI,KAAK;AAC1D,OACG,cAAc,CAAC,UAAU,QAAQ,UAAU,IAAI,EAAE,KAClD,QAAQ,IAAI,mBAAmB,IAAI,KAAK,YAAY,CAEpD;AAEF,OAAI,MAAM,YACR,OAAM,IAAI,mBAAmB,wDAAwD;AAEvF,SAAM,IAAI,mBACR,4CAA4C,KAAK,YAAY,KAAK,GAAG,EAAE,UAAU,GAClF;;;AAKP,KAAI,OAAO,MAAM,YAAY;AAC3B,MAAI,MAAM,eAAe,CAAC,QAAQ,IAAI,mBAAmB,IAAI,EAAE,CAC7D,OAAM,IAAI,mBAAmB,wDAAwD;AAEvF,MAAI;GAAC;GAAU;GAAU;GAAY,CAAC,SAAS,EAAY,CACzD,OAAM,IAAI,mBAAmB,cAAc,EAAY,6BAA6B;;CAGxF,MAAM,MAAM,EAAE;AAEd,KAAI,MAAM,eAAe,CAAC,QAAQ,IAAI,mBAAmB,IAAI,KAAK,YAAmB,CACnF,OAAM,IAAI,mBAAmB,wDAAwD;CAGvF,MAAM,IAAI,mBAAmB,KAAK,SAAS,IAAI,KAAK,GAAG,GAAG,OAAO,MAAM,CAAC;AACxE,KAAI,GAAG;AACL,OAAK,KAAA,GAAW,EAAE;AAClB;;CAGF,MAAM,kBAAkB,MAAM,QAAQ,IAAI;CAC1C,MAAM,IACH,CAAC,mBAAmB,eAAe,QAAQ,IAAI,YAC/C,OAAO,MAAM,cAAc,CAAC,QAAQ,IAAI,mBAAmB,IAAI,EAAE,IAClE,QAAQ,IAAI,iBAAiB,IAAI,EAAE,IAClC,mBACC,OAAO,MAAM,YACb,eAAe,QAAQ,IAAI,YAAY,SAAS,EAAE;AAEtD,MAAK,KAAA,GAAW,IAAI,KAAK,GAAG,GAAG,OAAO,GAAG,MAAM,CAAC;EAChD;AAEF,OAAwB,SAAS,cAAc,EAAE,MAAM,GAAG,cACxD,KAAK,KAAA,GAAW,QAAQ,UAAU,QAAQ,SAAS,EAAE,EAAE,CACxD"}

package/dist/esm/executor/ops/unary.d.ts

@@ -0,0 +1 @@
+export {};