poe-code 14.0.75 → 14.0.76

package/dist/index.js

@@ -120978,7 +120978,7 @@ var init_tokenizer2 = __esm({
             this.advance();
             this.advance();
             this.consumeDigitsForBase(isHexDigit, "hexadecimal");
-            this.rejectBigIntSuffix();
+            if (this.currentChar() === "n") this.advance();
             this.rejectInvalidNumericLiteralContinuation();
             return this.source.slice(start.offset, this.index);
           }
@@ -120986,7 +120986,7 @@ var init_tokenizer2 = __esm({
             this.advance();
             this.advance();
             this.consumeDigitsForBase(isBinaryDigit, "binary");
-            this.rejectBigIntSuffix();
+            if (this.currentChar() === "n") this.advance();
             this.rejectInvalidNumericLiteralContinuation();
             return this.source.slice(start.offset, this.index);
           }
@@ -120994,7 +120994,7 @@ var init_tokenizer2 = __esm({
             this.advance();
             this.advance();
             this.consumeDigitsForBase(isOctalDigit, "octal");
-            this.rejectBigIntSuffix();
+            if (this.currentChar() === "n") this.advance();
             this.rejectInvalidNumericLiteralContinuation();
             return this.source.slice(start.offset, this.index);
           }
@@ -121008,6 +121008,11 @@ var init_tokenizer2 = __esm({
           }
         }
         this.consumeDecimalDigits();
+        if (this.currentChar() === "n") {
+          this.advance();
+          this.rejectInvalidNumericLiteralContinuation();
+          return this.source.slice(start.offset, this.index);
+        }
         if (this.currentChar() === "." && (this.peekChar(1) !== "." || this.peekChar(2) !== ".")) {
           this.advance();
           this.consumeOptionalDecimalDigits();
@@ -121106,7 +121111,7 @@ var init_tokenizer2 = __esm({
       }
       rejectBigIntSuffix() {
         if (this.currentChar() === "n") {
-          this.syntaxError("BigInt not supported", this.position());
+          this.syntaxError("BigInt literals cannot contain a fraction or exponent", this.position());
         }
       }
       rejectInvalidNumericLiteralContinuation() {
@@ -122656,6 +122661,7 @@ function findImportMetaAssignmentInNode(node) {
     case "BooleanLiteral":
     case "NullLiteral":
     case "NumericLiteral":
+    case "BigIntLiteral":
     case "StringLiteral":
     case "ThisExpression":
     case "RegexLiteral":
@@ -122734,6 +122740,12 @@ function isYieldArgumentTerminator(value) {
   return value === ";" || value === "}" || value === ")" || value === "]" || value === ",";
 }
 function createNumericLiteral(token) {
+  if (token.value.endsWith("n")) return {
+    type: "BigIntLiteral",
+    raw: token.value,
+    value: token.value.slice(0, -1).replaceAll("_", ""),
+    span: createTokenSpan(token)
+  };
   return {
     type: "NumericLiteral",
     raw: token.value,
@@ -126319,6 +126331,23 @@ var init_hash = __esm({
   }
 });
 
+// packages/safe-js/src/snapshot/bigint.ts
+function validateBigIntData(value) {
+  if (typeof value !== "string" || value.length === 0) throw new TypeError("Invalid BigInt snapshot value.");
+  if (value === "0") return;
+  const start = value[0] === "-" ? 1 : 0;
+  if (start === value.length || value[start] === "0") throw new TypeError("Invalid BigInt snapshot value.");
+  for (let index = start; index < value.length; index++) {
+    const code = value.charCodeAt(index);
+    if (code < 48 || code > 57) throw new TypeError("Invalid BigInt snapshot value.");
+  }
+}
+var init_bigint = __esm({
+  "packages/safe-js/src/snapshot/bigint.ts"() {
+    "use strict";
+  }
+});
+
 // packages/safe-js/src/observability/otel.ts
 function bindOtelSpan(value, span) {
   spanByAsyncValue.set(value, span);
@@ -126750,10 +126779,11 @@ function nativeBoxedValue(value) {
   if (types2.isStringObject(value)) return Reflect.apply(stringValue2, value, []);
   if (types2.isBooleanObject(value)) return Reflect.apply(booleanValue, value, []);
   if (types2.isSymbolObject(value)) return Reflect.apply(symbolValue, value, []);
+  if (types2.isBigIntObject(value)) return Reflect.apply(bigintValue, value, []);
   return void 0;
 }
 function createSandboxBox(value) {
-  if (typeof value !== "number" && typeof value !== "string" && typeof value !== "boolean" && typeof value !== "symbol")
+  if (typeof value !== "number" && typeof value !== "bigint" && typeof value !== "string" && typeof value !== "boolean" && typeof value !== "symbol")
     throw new TypeError("Invalid boxed primitive payload.");
   const box = Object(value);
   Object.setPrototypeOf(box, null);
@@ -126784,7 +126814,7 @@ function boxedDataProperties(value, includeSymbols = false) {
     return !(Number.isInteger(index) && index >= 0 && index < primitive.length && String(index) === key3);
   });
 }
-var boxes, numberValue2, stringValue2, booleanValue, symbolValue;
+var boxes, numberValue2, stringValue2, booleanValue, symbolValue, bigintValue;
 var init_boxed = __esm({
   "packages/safe-js/src/interp/boxed.ts"() {
     "use strict";
@@ -126793,6 +126823,7 @@ var init_boxed = __esm({
     stringValue2 = String.prototype.valueOf;
     booleanValue = Boolean.prototype.valueOf;
     symbolValue = Symbol.prototype.valueOf;
+    bigintValue = BigInt.prototype.valueOf;
   }
 });
 
@@ -128338,6 +128369,7 @@ function encodeReplayData(value, options = {}) {
     if (depth > MAX_DATA_DEPTH) throw new TypeError("Replay data exceeds the nesting limit.");
     if (entry === null || typeof entry === "boolean" || typeof entry === "string") return entry;
     if (entry === void 0) return { tag: "undefined" };
+    if (typeof entry === "bigint") return { tag: "bigint", value: String(entry) };
     if (typeof entry === "symbol") {
       let id2 = symbols2.get(entry);
       if (id2 === void 0) {
@@ -128540,6 +128572,11 @@ function decodeReplayData(input, options = {}, parent) {
         return capability;
       }
       if (own(atom, "tag") === "undefined") return void 0;
+      if (own(atom, "tag") === "bigint") {
+        const value = own(atom, "value");
+        validateBigIntData(value);
+        return BigInt(value);
+      }
       if (atom.tag === "number") {
         switch (own(atom, "value")) {
           case "NaN":
@@ -128609,7 +128646,7 @@ function decodeReplayData(input, options = {}, parent) {
         const payload = own(node, "value");
         const payloadRecord = payload !== null && typeof payload === "object" ? record(payload) : void 0;
         const symbolReference = payloadRecord !== void 0 && own(payloadRecord, "tag") === "ref" && Number.isSafeInteger(payloadRecord.id) && Number(payloadRecord.id) >= 0 && Number(payloadRecord.id) < nodes.length && own(record(nodes[Number(payloadRecord.id)]), "kind") === "symbol";
-        if (typeof payload !== "number" && typeof payload !== "string" && typeof payload !== "boolean" && !symbolReference && (payload === null || typeof payload !== "object" || own(record(payload), "tag") !== "number"))
+        if (typeof payload !== "number" && typeof payload !== "string" && typeof payload !== "boolean" && !symbolReference && (payload === null || typeof payload !== "object" || !["number", "bigint"].includes(String(own(record(payload), "tag")))))
           throw new TypeError("Invalid boxed primitive payload.");
         const result3 = createSandboxBox(child(payload));
         restored.set(id, result3);
@@ -128789,6 +128826,7 @@ var init_replay_data = __esm({
   "packages/safe-js/src/snapshot/replay-data.ts"() {
     "use strict";
     init_graph_depth();
+    init_bigint();
     init_regexp_properties2();
     init_symbols2();
     init_symbols3();
@@ -130131,6 +130169,75 @@ var init_engine2 = __esm({
   }
 });
 
+// packages/safe-js/src/interp/bigint-operators.ts
+function bigIntOperation(operator, left, right, budget) {
+  if (operator === ">>>") throw new TypeError("BigInts have no unsigned right shift.");
+  if ((operator === "/" || operator === "%") && right === 0n) throw new RangeError("Division by zero.");
+  if (operator === "**" && right < 0n) throw new RangeError("BigInt exponent must be nonnegative.");
+  const leftSize = left.toString(16).length;
+  const rightSize = right.toString(16).length;
+  budget.visitNode(leftSize + rightSize);
+  let size = Math.max(leftSize, rightSize) + 1;
+  let work = leftSize + rightSize;
+  if (operator === "*") {
+    size = leftSize + rightSize;
+    work = leftSize * rightSize;
+  } else if (operator === "/" || operator === "%") {
+    size = leftSize;
+    work = leftSize * rightSize;
+  } else if (operator === "**") {
+    if (right === 0n) return 1n;
+    if (left === 0n || left === 1n) return left;
+    if (left === -1n) return right % 2n === 0n ? 1n : -1n;
+    size = leftSize * Number(right);
+    work = size * size;
+  } else if (operator === "<<" || operator === ">>") {
+    if (left === 0n) return 0n;
+    const shift = operator === "<<" ? right : -right;
+    size = shift > 0n ? leftSize + Math.ceil(Number(shift) / 4) : leftSize;
+    work = size + rightSize;
+  }
+  if (!Number.isSafeInteger(size) || !Number.isSafeInteger(work))
+    throw new SandboxError({ budget: "dataSize", current: Infinity, limit: Number.MAX_SAFE_INTEGER });
+  budget.visitNode(work);
+  const allocation = {};
+  budget.setRetainedDataUsage(allocation, size);
+  try {
+    switch (operator) {
+      case "+":
+        return left + right;
+      case "-":
+        return left - right;
+      case "*":
+        return left * right;
+      case "/":
+        return left / right;
+      case "%":
+        return left % right;
+      case "**":
+        return left ** right;
+      case "&":
+        return left & right;
+      case "|":
+        return left | right;
+      case "^":
+        return left ^ right;
+      case "<<":
+        return left << right;
+      case ">>":
+        return left >> right;
+    }
+  } finally {
+    budget.setRetainedDataUsage(allocation, 0);
+  }
+}
+var init_bigint_operators = __esm({
+  "packages/safe-js/src/interp/bigint-operators.ts"() {
+    "use strict";
+    init_budget2();
+  }
+});
+
 // packages/safe-js/src/interp/jobs.ts
 import { AsyncLocalStorage as AsyncLocalStorage7 } from "node:async_hooks";
 function runPromiseJob(task) {
@@ -130320,7 +130427,7 @@ function callNumberMethod(value, methodName, args, budget, context) {
   if (argument !== null && typeof argument === "object") {
     return formatObjectArgument(value, methodName, argument, budget, context);
   }
-  return formatNumber3(value, methodName, argument === void 0 ? void 0 : Number(argument), budget);
+  return formatNumber3(value, methodName, argument === void 0 ? void 0 : +argument, budget);
 }
 async function formatObjectArgument(value, methodName, argument, budget, context) {
   const retainedArgument = {};
@@ -131125,10 +131232,10 @@ function splitString(value, separator, limit) {
   return split.call(value, separator, limit);
 }
 function asNumber(value) {
-  return Number(value);
+  return +value;
 }
 function asNumberOrUndefined(value) {
-  return value === void 0 ? void 0 : Number(value);
+  return value === void 0 ? void 0 : +value;
 }
 function asStringOrUndefined(value) {
   return value === void 0 ? void 0 : String(value);
@@ -131539,7 +131646,7 @@ function createObjectArrayGlobals(options) {
     ),
     Number: createPrimitiveConstructor(
       {
-        call: (args, context) => sandboxNumber(args.length === 0 ? 0 : args[0], options.budget, context),
+        call: (args, context) => sandboxNumber(args.length === 0 ? 0 : args[0], options.budget, context, true),
         name: "Number",
         properties: {
           isFinite: createSandboxClosure({
@@ -136092,8 +136199,9 @@ async function evaluateIdentifierUpdateExpression(node, context) {
       )
     };
   }
-  const current = toNumber(await toNumericPrimitive(binding.value, context));
-  const next = node.operator === "++" ? current + 1 : current - 1;
+  const primitive = await toNumericPrimitive(binding.value, context);
+  const current = typeof primitive === "bigint" ? primitive : toNumber(primitive);
+  const next = typeof current === "bigint" ? bigIntOperation(node.operator === "++" ? "+" : "-", current, 1n, context.budget) : node.operator === "++" ? current + 1 : current - 1;
   context.scope.assign(node.argument.name, next);
   return {
     kind: "normal",
@@ -136110,10 +136218,9 @@ async function evaluateMemberUpdateExpression(node, context) {
       throw new TypeError("Cannot update properties of null or undefined.");
     }
     const property = await toPropertyKey(member.property, context.budget, createCoercionContext(context));
-    const current = toNumber(
-      await toNumericPrimitive(await getPropertyValue(member.object, property, context, member.superReceiver === void 0 ? member.object : member.superReceiver.value), context)
-    );
-    const next = node.operator === "++" ? current + 1 : current - 1;
+    const primitive = await toNumericPrimitive(await getPropertyValue(member.object, property, context, member.superReceiver === void 0 ? member.object : member.superReceiver.value), context);
+    const current = typeof primitive === "bigint" ? primitive : toNumber(primitive);
+    const next = typeof current === "bigint" ? bigIntOperation(node.operator === "++" ? "+" : "-", current, 1n, context.budget) : node.operator === "++" ? current + 1 : current - 1;
     if (member.superReceiver === void 0) await setSandboxProperty(member.object, property, next, context.budget, true, createCoercionContext(context));
     else await setSuperProperty(member.object, member.superReceiver.value, property, next, context);
     return {
@@ -136147,7 +136254,7 @@ function getPropertyValue(target, property, context, receiver = target) {
   if (descriptor !== void 0)
     return readPropertyDescriptor(descriptor, receiver, createCoercionContext(context), true);
   if (isSandboxRegExpIterator(target)) return getRegExpIteratorMember(property, context.budget);
-  if (typeof target === "symbol") {
+  if (typeof target === "symbol" || typeof target === "bigint") {
     const prototype = getBoxedPrototype(target, context.budget);
     return prototype === void 0 ? void 0 : getPropertyValue(prototype, property, context, receiver);
   }
@@ -136328,6 +136435,7 @@ async function evaluateObjectPropertyKey(node, context) {
   return evaluateMemberProperty(node.key, context);
 }
 function getStaticPropertyName(node) {
+  if (node.type === "BigIntLiteral") return BigInt(node.value).toString();
   if (node.type === "Identifier") {
     return node.name;
   }
@@ -136361,7 +136469,7 @@ async function evaluateMemberCallExpression(node, context) {
       return evaluateResolvedCallExpression(node, await getPropertyValue(member.object, member.property, context), context, member.object);
     if (Array.isArray(member.object) && hasExplicitSandboxPrototype(member.object))
       return evaluateResolvedCallExpression(node, await getPropertyValue(member.object, member.property, context), context, member.object);
-    if ((typeof member.object === "string" || typeof member.object === "number" || typeof member.object === "boolean" || typeof member.object === "symbol") && getBoxedPrototype(member.object, context.budget) !== void 0) {
+    if ((typeof member.object === "string" || typeof member.object === "number" || typeof member.object === "bigint" || typeof member.object === "boolean" || typeof member.object === "symbol") && getBoxedPrototype(member.object, context.budget) !== void 0) {
       if (isDefaultBoxedMethod(member.object, member.property, context.budget)) {
         if (typeof member.object === "string" && isStringMethodName(member.property))
           return evaluateStringMethodCall(node, member.object, member.property, context);
@@ -136611,10 +136719,14 @@ async function applyUnaryOperator(operator, value, context) {
       return void 0;
     case "+":
       return toNumber(await toNumericPrimitive(value, context));
-    case "-":
-      return -toNumber(await toNumericPrimitive(value, context));
-    case "~":
-      return ~toNumber(await toNumericPrimitive(value, context));
+    case "-": {
+      const primitive = await toNumericPrimitive(value, context);
+      return typeof primitive === "bigint" ? bigIntOperation("-", 0n, primitive, context.budget) : -toNumber(primitive);
+    }
+    case "~": {
+      const primitive = await toNumericPrimitive(value, context);
+      return typeof primitive === "bigint" ? bigIntOperation("^", primitive, -1n, context.budget) : ~toNumber(primitive);
+    }
   }
 }
 function describeTypeofValue(value) {
@@ -136630,6 +136742,10 @@ function isTruthy(value) {
   return Boolean(value);
 }
 function applyBinaryOperator(node, left, right, context) {
+  if ((typeof left === "bigint" || typeof right === "bigint") && ["-", "*", "/", "%", "**", "&", "|", "^", "<<", ">>", ">>>"].includes(node.operator)) {
+    if (typeof left !== "bigint" || typeof right !== "bigint") throw new TypeError("Cannot mix BigInt and other numeric types.");
+    return bigIntOperation(node.operator, left, right, context.budget);
+  }
   switch (node.operator) {
     case "+":
       return applyAdditionOperator(left, right, context);
@@ -136748,6 +136864,10 @@ async function applyCompoundAssignmentOperator(operator, left, right, context) {
     left = await toNumericPrimitive(left, context, operator === "+=" ? "default" : "number");
     if (convertingObject) convertedLeft = left;
     right = await toNumericPrimitive(right, context, operator === "+=" ? "default" : "number");
+    if (operator !== "+=" && (typeof left === "bigint" || typeof right === "bigint")) {
+      if (typeof left !== "bigint" || typeof right !== "bigint") throw new TypeError("Cannot mix BigInt and other numeric types.");
+      return bigIntOperation(operator.slice(0, -1), left, right, context.budget);
+    }
     switch (operator) {
       case "+=":
         return applyAdditionOperator(left, right, context);
@@ -136784,6 +136904,10 @@ function applyAdditionOperator(left, right, context) {
   if (typeof leftPrimitive === "string" || typeof rightPrimitive === "string") {
     return context.budget.allocateString(toString(leftPrimitive) + toString(rightPrimitive));
   }
+  if (typeof leftPrimitive === "bigint" || typeof rightPrimitive === "bigint") {
+    if (typeof leftPrimitive !== "bigint" || typeof rightPrimitive !== "bigint") throw new TypeError("Cannot mix BigInt and other numeric types.");
+    return bigIntOperation("+", leftPrimitive, rightPrimitive, context.budget);
+  }
   return toNumber(leftPrimitive) + toNumber(rightPrimitive);
 }
 function compareRelational(left, right, operator) {
@@ -136801,8 +136925,9 @@ function compareRelational(left, right, operator) {
         return leftPrimitive >= rightPrimitive;
     }
   }
-  const leftNumber = toNumber(leftPrimitive);
-  const rightNumber = toNumber(rightPrimitive);
+  const hasBigInt = typeof leftPrimitive === "bigint" || typeof rightPrimitive === "bigint";
+  const leftNumber = typeof leftPrimitive === "bigint" || hasBigInt && typeof leftPrimitive === "string" ? leftPrimitive : toNumber(leftPrimitive);
+  const rightNumber = typeof rightPrimitive === "bigint" || hasBigInt && typeof rightPrimitive === "string" ? rightPrimitive : toNumber(rightPrimitive);
   switch (operator) {
     case "<":
       return leftNumber < rightNumber;
@@ -136815,6 +136940,7 @@ function compareRelational(left, right, operator) {
   }
 }
 function isLooselyEqual(left, right) {
+  if (typeof left === "bigint" || typeof right === "bigint") return left == right;
   const leftType = getCoercionType(left);
   const rightType = getCoercionType(right);
   if (leftType === rightType) {
@@ -136847,6 +136973,7 @@ function isPrimitiveCoercionType(type) {
   return type !== "object";
 }
 function getCoercionType(value) {
+  if (typeof value === "bigint") return "bigint";
   if (typeof value === "symbol") return "symbol";
   if (value === null) {
     return "null";
@@ -136880,6 +137007,7 @@ async function toNumericPrimitive(value, context, hint = "number") {
   throw new TypeError("Expected a sandbox value.");
 }
 function toNumber(value) {
+  if (typeof value === "bigint") throw new TypeError("Cannot convert a BigInt value to a number");
   if (typeof value === "symbol") throw new TypeError("Cannot convert a Symbol value to a number");
   if (isSandboxDate(value)) return dateTime(value);
   if (typeof value === "number") {
@@ -137299,6 +137427,7 @@ var init_interpreter = __esm({
   "packages/safe-js/src/interp/interpreter.ts"() {
     "use strict";
     init_promise_replay();
+    init_bigint_operators();
     init_accessors();
     init_host_capabilities();
     init_property_key();
@@ -137352,6 +137481,16 @@ var init_interpreter = __esm({
       ArrowFunctionExpression: evaluateArrowFunction,
       AwaitExpression: evaluateAwait,
       BinaryExpression: evaluateBinaryExpression,
+      BigIntLiteral: async (node, context) => {
+        const allocation = {};
+        context.budget.visitNode(node.value.length);
+        context.budget.setRetainedDataUsage(allocation, node.value.length);
+        try {
+          return { kind: "normal", hasValue: true, value: BigInt(node.value) };
+        } finally {
+          context.budget.setRetainedDataUsage(allocation, 0);
+        }
+      },
       BlockStatement: evaluateBlockStatement,
       BooleanLiteral: evaluatePrimitiveLiteral,
       CallExpression: evaluateCallExpression,
@@ -139217,7 +139356,7 @@ function wrapSandboxClosureForHost(closure, stackFrames, budget, compileOwner, c
   return wrapped;
 }
 function isSandboxLikeValue(value) {
-  if (value === null || value === void 0 || typeof value === "string" || typeof value === "number" || typeof value === "boolean") {
+  if (value === null || value === void 0 || typeof value === "string" || typeof value === "number" || typeof value === "bigint" || typeof value === "boolean") {
     return true;
   }
   if (isSandboxClosure(value) || isSandboxPromise(value)) {
@@ -139282,7 +139421,7 @@ function copyHostValueToSandbox(value, stackFrames, options, state, path193) {
     if (options.realm === void 0 || options.errorData || options.hostCalls !== void 0) throw new TypeError("Live capabilities are not portable replay or error data.");
     return importHostCapability(value, options.realm.owner);
   }
-  if (value === null || value === void 0 || typeof value === "number" || typeof value === "boolean") {
+  if (value === null || value === void 0 || typeof value === "number" || typeof value === "bigint" || typeof value === "boolean") {
     return value;
   }
   if (typeof value === "string") {
@@ -139805,12 +139944,16 @@ var init_date2 = __esm({
 });
 
 // packages/safe-js/src/interp/string-coercion.ts
-function sandboxNumber(value, budget, context) {
+function sandboxNumber(value, budget, context, allowBigInt = false) {
+  const convert = (primitive) => {
+    if (typeof primitive === "bigint" && !allowBigInt) throw new TypeError("Cannot convert a BigInt value to a number");
+    return Number(primitive);
+  };
   if (value === null || typeof value !== "object") {
     if (typeof value === "function") throw new TypeError("Expected a sandbox value.");
-    return Number(value);
+    return convert(value);
   }
-  return objectToPrimitive(value, budget, context, /* @__PURE__ */ new Set(), "number").then(Number);
+  return objectToPrimitive(value, budget, context, /* @__PURE__ */ new Set(), "number").then(convert);
 }
 function sandboxString(value, budget, context, joining = /* @__PURE__ */ new Set()) {
   if (typeof value === "symbol") throw new TypeError("Cannot convert a Symbol value to a string");
@@ -141903,6 +142046,10 @@ function measureSandboxData(values, options = {}) {
   const seenSymbols = /* @__PURE__ */ new Set();
   let usage = 0;
   const visit = (value, depth = 0) => {
+    if (typeof value === "bigint") {
+      usage += value.toString(16).length;
+      return;
+    }
     if (typeof value === "symbol") {
       if (!seenSymbols.has(value)) {
         seenSymbols.add(value);
@@ -142575,7 +142722,7 @@ function copyFromSandbox(value, state, path193 = "<root>", options, depth = 0) {
   throw new TypeError(`Unsupported sandbox value at ${path193}: ${describeValue2(value)}`);
 }
 function isSandboxPrimitive(value) {
-  return value === null || value === void 0 || typeof value === "string" || typeof value === "number" || typeof value === "boolean" || typeof value === "symbol";
+  return value === null || value === void 0 || typeof value === "string" || typeof value === "number" || typeof value === "bigint" || typeof value === "boolean" || typeof value === "symbol";
 }
 function isHostPromise(value) {
   return value instanceof Promise;
@@ -142938,6 +143085,7 @@ function createDumpFile(snapshot2) {
   return dumped;
 }
 function serializeDumpValue(value, path193, state) {
+  if (typeof value === "bigint") return { kind: "bigint", value: String(value) };
   if (typeof value === "symbol") return serializeSymbol(value, state.heapIds, state.heap);
   if (value === null || typeof value === "string" || typeof value === "boolean") {
     return value;
@@ -143365,6 +143513,14 @@ function validateValue(value, path193, depth, state) {
 }
 function validateTaggedValue(record2, path193, state) {
   switch (record2.kind) {
+    case "bigint":
+      requireString2(record2.value, `${path193}.value`, state.limits);
+      try {
+        validateBigIntData(record2.value);
+      } catch {
+        fail2("invalidValue", `${path193}.value`, "invalid BigInt value");
+      }
+      return;
     case "undefined":
       return;
     case "number":
@@ -143531,6 +143687,14 @@ function validateBoxedRecord(record2, path193, heap) {
   const value = record2.value;
   if (typeof value === "number" || typeof value === "string" || typeof value === "boolean") return;
   const number = requireRecord3(value, `${path193}.value`);
+  if (number.kind === "bigint") {
+    try {
+      validateBigIntData(number.value);
+    } catch {
+      fail2("invalidValue", `${path193}.value`, "invalid boxed BigInt payload");
+    }
+    return;
+  }
   if (number.kind === "ref") {
     const id = requireSafeInteger(number.id, `${path193}.value.id`, 1);
     const target = requireRecord3(heap[String(id)], `${path193}.value`);
@@ -143777,6 +143941,7 @@ var init_validation = __esm({
   "packages/safe-js/src/snapshot/validation.ts"() {
     "use strict";
     init_shape();
+    init_bigint();
     init_regexp_properties2();
     init_symbols2();
     init_dump_format();
@@ -144690,6 +144855,7 @@ var init_known_globals = __esm({
       "AggregateError",
       "Array",
       "Boolean",
+      "BigInt",
       "Date",
       "Error",
       "Infinity",
@@ -147934,6 +148100,7 @@ function expressionContainsAwait(node) {
     case "MetaProperty":
     case "NullLiteral":
     case "NumericLiteral":
+    case "BigIntLiteral":
     case "RegexLiteral":
     case "StringLiteral":
     case "ThisExpression":
@@ -148217,6 +148384,7 @@ var init_AS_async_not_needed = __esm({
           case "MetaProperty":
           case "NullLiteral":
           case "NumericLiteral":
+          case "BigIntLiteral":
           case "RegexLiteral":
           case "StringLiteral":
           case "UndefinedLiteral":
@@ -151696,6 +151864,7 @@ function expressionContainsAwait2(node) {
     case "MetaProperty":
     case "NullLiteral":
     case "NumericLiteral":
+    case "BigIntLiteral":
     case "RegexLiteral":
     case "StringLiteral":
     case "ThisExpression":
@@ -151967,6 +152136,7 @@ var init_AS_missing_async = __esm({
           case "MetaProperty":
           case "NullLiteral":
           case "NumericLiteral":
+          case "BigIntLiteral":
           case "RegexLiteral":
           case "StringLiteral":
           case "UndefinedLiteral":
@@ -155350,29 +155520,53 @@ function createConsoleJsonGlobals(options) {
   };
 }
 async function stringifyJson4(value, replacer, indent, budget, context) {
-  if (replacer !== void 0 && replacer !== null && !isSandboxClosure(replacer)) {
-    throw new TypeError(
-      "JSON.stringify(value, replacer, indent) only supports function, null, or undefined replacers."
-    );
-  }
-  if (indent !== void 0 && typeof indent !== "number" && typeof indent !== "string") {
-    throw new TypeError(
-      "JSON.stringify(value, replacer, indent) requires indent to be a string, number, or undefined."
-    );
-  }
-  const holder = {};
-  defineDataProperty9(holder, "", value);
-  const output = await stringifyProperty("", holder, {
-    budget,
-    context,
-    gap: normalizeStringifyGap(indent),
-    replacer: isSandboxClosure(replacer) ? replacer : void 0,
-    stack: []
-  });
-  if (output === void 0) {
-    return void 0;
+  const allocation = {};
+  let propertyList;
+  const release2 = retainValues(budget, () => [value, replacer, indent]);
+  try {
+    if (Array.isArray(replacer)) {
+      propertyList = [];
+      const seen = /* @__PURE__ */ new Set();
+      let size = 0;
+      const state = { budget, context, gap: "", stack: [] };
+      const length = replacer.length;
+      for (let index = 0; index < length; index++) {
+        budget.visitNode();
+        const entry = await getStringifyProperty(replacer, String(index), state);
+        const primitive = isSandboxBox(entry) ? boxedValue(entry) : entry;
+        if (typeof primitive !== "string" && typeof primitive !== "number") continue;
+        const key3 = await sandboxString(entry, budget, context);
+        if (seen.has(key3)) continue;
+        budget.allocateArrayLength(propertyList.length + 1);
+        size += key3.length + 2;
+        budget.setRetainedDataUsage(allocation, size);
+        propertyList.push(key3);
+        seen.add(key3);
+      }
+    }
+    if (isSandboxBox(indent)) {
+      const primitive = boxedValue(indent);
+      if (typeof primitive === "number") indent = await sandboxNumber(indent, budget, context);
+      else if (typeof primitive === "string") indent = await sandboxString(indent, budget, context);
+    }
+    const holder = {};
+    defineDataProperty9(holder, "", value);
+    const output = await stringifyProperty("", holder, {
+      budget,
+      context,
+      gap: normalizeStringifyGap(indent),
+      replacer: isSandboxClosure(replacer) ? replacer : void 0,
+      propertyList,
+      stack: []
+    });
+    if (output === void 0) {
+      return void 0;
+    }
+    return budget.allocateString(output);
+  } finally {
+    budget.setRetainedDataUsage(allocation, 0);
+    release2();
   }
-  return budget.allocateString(output);
 }
 async function stringifyProperty(key3, holder, state, indent = "") {
   let value = await getStringifyProperty(holder, key3, state);
@@ -155380,7 +155574,7 @@ async function stringifyProperty(key3, holder, state, indent = "") {
   try {
     if (isSandboxDate(value) && getSandboxPropertyDescriptor(value, "toJSON", state.budget) === void 0) {
       value = await dateToJSON(value, state.budget, state.context);
-    } else if (isStringifyContainer(value)) {
+    } else if (typeof value === "bigint" || isSandboxClosure(value) || isStringifyContainer(value)) {
       const toJSON = await getStringifyProperty(value, "toJSON", state);
       if (isSandboxClosure(toJSON)) {
         value = await callStringifyClosure(toJSON, [key3], value, state);
@@ -155462,7 +155656,7 @@ async function stringifyObject(value, state, indent) {
   const release2 = retainValues(state.budget, () => entries);
   try {
     const nextIndent = indent + state.gap;
-    for (const key3 of Object.keys(value)) {
+    for (const key3 of state.propertyList ?? Object.keys(value)) {
       const serialized = await stringifyProperty(key3, value, state, nextIndent);
       if (serialized !== void 0) {
         entries.push(`${quoteJsonString(key3)}:${state.gap === "" ? "" : " "}${serialized}`);
@@ -155525,19 +155719,17 @@ function isStringifyObject(value) {
   return isStringifyContainer(value) && !Array.isArray(value);
 }
 function toSandboxValue(value) {
-  if (value === null || value === void 0 || typeof value === "string" || typeof value === "number" || typeof value === "boolean" || isSandboxClosure(value) || isSandboxPromise(value) || Array.isArray(value) || isStringifyContainer(value)) {
+  if (value === null || value === void 0 || typeof value === "string" || typeof value === "number" || typeof value === "bigint" || typeof value === "symbol" || typeof value === "boolean" || isSandboxClosure(value) || isSandboxPromise(value) || Array.isArray(value) || isStringifyContainer(value)) {
     return value;
   }
-  if (typeof value === "bigint") {
-    throw new TypeError("Do not know how to serialize a BigInt.");
-  }
   throw new TypeError(
     `JSON.stringify(value) produced an unsupported value of type ${typeof value}.`
   );
 }
 function getStringifyProperty(target, key3, state) {
   if (state.context?.getProperty !== void 0) return state.context.getProperty(target, key3);
-  const descriptor = getSandboxPropertyDescriptor(target, key3, state.budget);
+  const object = typeof target === "bigint" ? getBoxedPrototype(target, state.budget) : target;
+  const descriptor = object === void 0 ? void 0 : getSandboxPropertyDescriptor(object, key3, state.budget);
   return descriptor === void 0 ? void 0 : readPropertyDescriptor(descriptor, target, state.context);
 }
 function copyJsonToSandbox(value, budget) {
@@ -156276,6 +156468,109 @@ var init_symbol = __esm({
   }
 });
 
+// packages/safe-js/src/interp/globals/bigint.ts
+function createBigIntGlobal(budget) {
+  const convert = async (value, context, allowNumber = false) => {
+    const primitive = value !== null && typeof value === "object" ? await objectToPrimitive(value, budget, context, /* @__PURE__ */ new Set(), "number") : value;
+    if (typeof primitive === "bigint") return primitive;
+    if (typeof primitive !== "string" && typeof primitive !== "boolean" && !(allowNumber && typeof primitive === "number"))
+      throw new TypeError("Cannot convert value to BigInt.");
+    const size = typeof primitive === "string" ? primitive.length : 256;
+    budget.visitNode(size);
+    const allocation = {};
+    budget.setRetainedDataUsage(allocation, size);
+    try {
+      return BigInt(primitive);
+    } finally {
+      budget.setRetainedDataUsage(allocation, 0);
+    }
+  };
+  const constructor = createSandboxClosure({
+    guest: true,
+    sandbox: true,
+    name: "BigInt",
+    length: 1,
+    call: ([value], context) => convert(value, context, true)
+  });
+  const prototype = /* @__PURE__ */ Object.create(null);
+  Object.defineProperties(prototype, {
+    constructor: { value: constructor, writable: true, configurable: true },
+    valueOf: {
+      value: createSandboxClosure({
+        sandbox: true,
+        name: "valueOf",
+        length: 0,
+        call: (_args, context) => primitiveReceiver(context?.thisValue, "bigint")
+      }),
+      writable: true,
+      configurable: true
+    },
+    toString: {
+      value: createSandboxClosure({
+        sandbox: true,
+        name: "toString",
+        length: 1,
+        call: async ([radix], context) => {
+          const value = primitiveReceiver(context?.thisValue, "bigint");
+          const base = radix === void 0 ? 10 : await sandboxNumber(radix, budget, context);
+          const allocation = {};
+          const size = value.toString(16).length * 4;
+          budget.visitNode(size);
+          budget.setRetainedDataUsage(allocation, size);
+          try {
+            return budget.allocateString(value.toString(base));
+          } finally {
+            budget.setRetainedDataUsage(allocation, 0);
+          }
+        }
+      }),
+      writable: true,
+      configurable: true
+    },
+    [Symbol.toStringTag]: { value: "BigInt", configurable: true }
+  });
+  const properties = materializeFunctionProperties(constructor);
+  Object.defineProperty(properties, "prototype", { value: prototype });
+  for (const name of ["asIntN", "asUintN"]) {
+    Object.defineProperty(properties, name, {
+      writable: true,
+      configurable: true,
+      value: createSandboxClosure({
+        sandbox: true,
+        name,
+        length: 2,
+        call: async ([bits, input], context) => {
+          const number = await sandboxNumber(bits, budget, context);
+          const width = Number.isNaN(number) ? 0 : Math.trunc(number);
+          if (width < 0 || !Number.isSafeInteger(width)) throw new RangeError("Invalid BigInt width.");
+          const value = await convert(input, context);
+          const size = value.toString(16).length;
+          budget.visitNode(size);
+          if (width >= size * 4 + 1 && (name === "asIntN" || value >= 0n)) return value;
+          const allocation = {};
+          budget.setRetainedDataUsage(allocation, Math.ceil(width / 4) + 1);
+          try {
+            return BigInt[name](width, value);
+          } finally {
+            budget.setRetainedDataUsage(allocation, 0);
+          }
+        }
+      })
+    });
+  }
+  installBoxedPrototype(budget, prototype, constructor, "bigint");
+  return constructor;
+}
+var init_bigint2 = __esm({
+  "packages/safe-js/src/interp/globals/bigint.ts"() {
+    "use strict";
+    init_boxed();
+    init_object_model();
+    init_string_coercion();
+    init_values();
+  }
+});
+
 // packages/safe-js/src/interp/globals.ts
 function createBuiltinBindings(options) {
   return {
@@ -156284,6 +156579,7 @@ function createBuiltinBindings(options) {
     Float32Array: createFloat32ArrayGlobal(options.budget),
     Date: createDateGlobal(options),
     Symbol: createSymbolGlobal(options.budget),
+    BigInt: createBigIntGlobal(options.budget),
     ...createErrorGlobals(options),
     ...createMathGlobals({ random: options.random }),
     ...createObjectArrayGlobals(options),
@@ -156306,6 +156602,7 @@ var init_globals = __esm({
     init_promise();
     init_date2();
     init_symbol();
+    init_bigint2();
   }
 });