@engine262/engine262 0.0.1-07c72085c73f960bcf0aa06db807321f3b446518

package/src/abstract-ops/proxy-objects.mts

@@ -0,0 +1,585 @@
+import { surroundingAgent } from '../engine.mts';
+import {
+  UndefinedValue, NullValue, ObjectValue, Value,
+  type ObjectInternalMethods,
+  type PropertyKeyValue,
+} from '../value.mts';
+import {
+  Q, X,
+  type ExpressionCompletion,
+} from '../completion.mts';
+import { __ts_cast__, PropertyKeyMap } from '../helpers.mts';
+import type { ProxyObject } from '../intrinsics/Proxy.mts';
+import {
+  Assert,
+  MakeBasicObject,
+  IsConstructor,
+  IsCallable,
+  Call,
+  Construct,
+  GetMethod,
+  CreateArrayFromList,
+  CreateListFromArrayLike,
+  IsExtensible,
+  IsPropertyKey,
+  SameValue,
+  ToBoolean,
+  ToPropertyDescriptor,
+  FromPropertyDescriptor,
+  CompletePropertyDescriptor,
+  IsCompatiblePropertyDescriptor,
+  IsDataDescriptor,
+  IsAccessorDescriptor,
+  type FunctionObject,
+} from './all.mts';
+
+const InternalMethods = {
+  /** https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-getprototypeof */
+  GetPrototypeOf() {
+    const O = this;
+
+    const handler = O.ProxyHandler;
+    if (handler === Value.null) {
+      return surroundingAgent.Throw('TypeError', 'ProxyRevoked', 'getPrototypeOf');
+    }
+    Assert(handler instanceof ObjectValue);
+    const target = O.ProxyTarget as ObjectValue;
+    const trap = Q(GetMethod(handler, Value('getPrototypeOf')));
+    if (trap === Value.undefined) {
+      return Q(target.GetPrototypeOf());
+    }
+    const handlerProto = Q(Call(trap, handler, [target]));
+    if (!(handlerProto instanceof ObjectValue) && !(handlerProto instanceof NullValue)) {
+      return surroundingAgent.Throw('TypeError', 'ProxyGetPrototypeOfInvalid');
+    }
+    const extensibleTarget = Q(IsExtensible(target));
+    if (extensibleTarget === Value.true) {
+      return handlerProto;
+    }
+    const targetProto = Q(target.GetPrototypeOf());
+    if (SameValue(handlerProto, targetProto) === Value.false) {
+      return surroundingAgent.Throw('TypeError', 'ProxyGetPrototypeOfNonExtensible');
+    }
+    return handlerProto;
+  },
+  /** https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-setprototypeof-v */
+  SetPrototypeOf(V) {
+    const O = this;
+
+    Assert(V instanceof ObjectValue || V instanceof NullValue);
+    const handler = O.ProxyHandler;
+    if (handler === Value.null) {
+      return surroundingAgent.Throw('TypeError', 'ProxyRevoked', 'setPrototypeOf');
+    }
+    Assert(handler instanceof ObjectValue);
+    const target = O.ProxyTarget as ObjectValue;
+    const trap = Q(GetMethod(handler, Value('setPrototypeOf')));
+    if (trap === Value.undefined) {
+      return Q(target.SetPrototypeOf(V));
+    }
+    const booleanTrapResult = ToBoolean(Q(Call(trap, handler, [target, V])));
+    if (booleanTrapResult === Value.false) {
+      return Value.false;
+    }
+    const extensibleTarget = Q(IsExtensible(target));
+    if (extensibleTarget === Value.true) {
+      return Value.true;
+    }
+    const targetProto = Q(target.GetPrototypeOf());
+    if (SameValue(V, targetProto) === Value.false) {
+      return surroundingAgent.Throw('TypeError', 'ProxySetPrototypeOfNonExtensible');
+    }
+    return Value.true;
+  },
+  /** https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-isextensible */
+  IsExtensible() {
+    const O = this;
+
+    const handler = O.ProxyHandler;
+    if (handler === Value.null) {
+      return surroundingAgent.Throw('TypeError', 'ProxyRevoked', 'isExtensible');
+    }
+    Assert(handler instanceof ObjectValue);
+    const target = O.ProxyTarget;
+    const trap = Q(GetMethod(handler, Value('isExtensible')));
+    if (trap === Value.undefined) {
+      return Q(IsExtensible(target as ObjectValue));
+    }
+    const booleanTrapResult = ToBoolean(Q(Call(trap, handler, [target])));
+    const targetResult = Q(IsExtensible(target as ObjectValue));
+    if (SameValue(booleanTrapResult, targetResult) === Value.false) {
+      return surroundingAgent.Throw('TypeError', 'ProxyIsExtensibleInconsistent', targetResult);
+    }
+    return booleanTrapResult;
+  },
+  /** https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-preventextensions */
+  PreventExtensions() {
+    const O = this;
+
+    const handler = O.ProxyHandler;
+    if (handler === Value.null) {
+      return surroundingAgent.Throw('TypeError', 'ProxyRevoked', 'preventExtensions');
+    }
+    Assert(handler instanceof ObjectValue);
+    const target = O.ProxyTarget as ObjectValue;
+    const trap = Q(GetMethod(handler, Value('preventExtensions')));
+    if (trap === Value.undefined) {
+      return Q(target.PreventExtensions());
+    }
+    const booleanTrapResult = ToBoolean(Q(Call(trap, handler, [target])));
+    if (booleanTrapResult === Value.true) {
+      const extensibleTarget = Q(IsExtensible(target));
+      if (extensibleTarget === Value.true) {
+        return surroundingAgent.Throw('TypeError', 'ProxyPreventExtensionsExtensible');
+      }
+    }
+    return booleanTrapResult;
+  },
+  /** https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-getownproperty-p */
+  GetOwnProperty(P) {
+    const O = this;
+
+    // 1. Assert: IsPropertyKey(P) is true.
+    Assert(IsPropertyKey(P));
+    // 2. Let handler be O.[[ProxyHandler]].
+    const handler = O.ProxyHandler;
+    // 3. If handler is null, throw a TypeError exception.
+    if (handler === Value.null) {
+      return surroundingAgent.Throw('TypeError', 'ProxyRevoked', 'getOwnPropertyDescriptor');
+    }
+    // 4. Assert: Type(Handler) is Object.
+    Assert(handler instanceof ObjectValue);
+    // 5. Let target be O.[[ProxyTarget]].
+    const target = O.ProxyTarget as ObjectValue;
+    // 6. Let trap be ? Getmethod(handler, "getOwnPropertyDescriptor").
+    const trap = Q(GetMethod(handler, Value('getOwnPropertyDescriptor')));
+    // 7. If trap is undefined, then
+    if (trap === Value.undefined) {
+      // a. Return ? target.[[GetOwnProperty]](P).
+      return Q(target.GetOwnProperty(P));
+    }
+    // 8. Let trapResultObj be ? Call(trap, handler, « target, P »).
+    const trapResultObj = Q(Call(trap, handler, [target, P]));
+    // 9. If Type(trapResultObj) is neither Object nor Undefined, throw a TypeError exception.
+    if (!(trapResultObj instanceof ObjectValue) && !(trapResultObj instanceof UndefinedValue)) {
+      return surroundingAgent.Throw('TypeError', 'ProxyGetOwnPropertyDescriptorInvalid', P);
+    }
+    // 10. Let targetDesc be ? target.[[GetOwnProperty]](P).
+    const targetDesc = Q(target.GetOwnProperty(P));
+    // 11. If trapResultObj is undefined, then
+    if (trapResultObj === Value.undefined) {
+    // a. If targetDesc is undefined, return undefined.
+      if (targetDesc instanceof UndefinedValue) {
+        return Value.undefined;
+      }
+      // b. If targetDesc.[[Configurable]] is false, throw a TypeError exception.
+      if (targetDesc.Configurable === Value.false) {
+        return surroundingAgent.Throw('TypeError', 'ProxyGetOwnPropertyDescriptorUndefined', P);
+      }
+      // c. Let extensibleTarget be ? IsExtensible(target).
+      const extensibleTarget = Q(IsExtensible(target));
+      // d. If extensibleTarget is false, throw a TypeError exception.
+      if (extensibleTarget === Value.false) {
+        return surroundingAgent.Throw('TypeError', 'ProxyGetOwnPropertyDescriptorNonExtensible', P);
+      }
+      // e. Return undefined.
+      return Value.undefined;
+    }
+    // 12. Let extensibleTarget be ? IsExtensible(target).
+    const extensibleTarget = Q(IsExtensible(target));
+    // 13. Let resultDesc be ? ToPropertyDescriptor(trapResultObj).
+    const resultDesc = Q(ToPropertyDescriptor(trapResultObj));
+    // 14. Call CompletePropertyDescriptor(resultDesc).
+    CompletePropertyDescriptor(resultDesc);
+    // 15. Let valid be IsCompatiblePropertyDescriptor(extensibleTarget, resultDesc, targetDesc).
+    const valid = IsCompatiblePropertyDescriptor(extensibleTarget, resultDesc, targetDesc);
+    // 16. If valid is false, throw a TypeError exception.
+    if (valid === Value.false) {
+      return surroundingAgent.Throw('TypeError', 'ProxyGetOwnPropertyDescriptorIncompatible', P);
+    }
+    // 17. If resultDesc.[[Configurable]] is false, then
+    if (resultDesc.Configurable === Value.false) {
+    // a. If targetDesc is undefined or targetDesc.[[Configurable]] is true, then
+      if (targetDesc instanceof UndefinedValue || targetDesc.Configurable === Value.true) {
+        // i. Throw a TypeError exception.
+        return surroundingAgent.Throw('TypeError', 'ProxyGetOwnPropertyDescriptorNonConfigurable', P);
+      }
+      // b. If resultDesc has a [[Writable]] field and resultDesc.[[Writable]] is false, then
+      if ('Writable' in resultDesc && resultDesc.Writable === Value.false) {
+        // i. If targetDesc.[[Writable]] is true, throw a TypeError exception.
+        if (targetDesc.Writable === Value.true) {
+          return surroundingAgent.Throw('TypeError', 'ProxyGetOwnPropertyDescriptorNonConfigurableWritable', P);
+        }
+      }
+    }
+    // 18. Return resultDesc.
+    return resultDesc;
+  },
+  /** https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-defineownproperty-p-desc */
+  DefineOwnProperty(P, Desc) {
+    const O = this;
+
+    // 1. Assert: IsPropertyKey(P) is true.
+    Assert(IsPropertyKey(P));
+    // 2. Let handler be O.[[ProxyHandler]].
+    const handler = O.ProxyHandler;
+    // 3. If handler is null, throw a TypeError exception.
+    if (handler === Value.null) {
+      return surroundingAgent.Throw('TypeError', 'ProxyRevoked', 'defineProperty');
+    }
+    // 4. Assert: Type(handler) is Object.
+    Assert(handler instanceof ObjectValue);
+    // 5. Let target be O.[[ProxyTarget]].
+    const target = O.ProxyTarget as ObjectValue;
+    // 6. Let trap be ? GetMethod(handler, "defineProperty").
+    const trap = Q(GetMethod(handler, Value('defineProperty')));
+    // 7. If trap is undefined, then
+    if (trap === Value.undefined) {
+      // a. Return ? target.[[DefineOwnProperty]](P, Desc).
+      return Q(target.DefineOwnProperty(P, Desc));
+    }
+    // 8. Let descObj be FromPropertyDescriptor(Desc).
+    const descObj = FromPropertyDescriptor(Desc);
+    // 9. Let booleanTrapResult be ! ToBoolean(? Call(trap, handler, « target, P, descObj »)).
+    const booleanTrapResult = ToBoolean(Q(Call(trap, handler, [target, P, descObj])));
+    // 10. If booleanTrapResult is false, return false.
+    if (booleanTrapResult === Value.false) {
+      return Value.false;
+    }
+    // 11. Let targetDesc be ? target.[[GetOwnProperty]](P).
+    const targetDesc = Q(target.GetOwnProperty(P));
+    // 12. Let extensibleTarget be ? IsExtensible(target).
+    const extensibleTarget = Q(IsExtensible(target));
+    let settingConfigFalse;
+    // 13. If Desc has a [[Configurable]] field and if Desc.[[Configurable]] is false, then
+    if (Desc.Configurable !== undefined && Desc.Configurable === Value.false) {
+      // a. Let settingConfigFalse be true.
+      settingConfigFalse = true;
+    } else {
+      // Else, let settingConfigFalse be false.
+      settingConfigFalse = false;
+    }
+    // 15. If targetDesc is undefined, then
+    if (targetDesc instanceof UndefinedValue) {
+      // a. If extensibleTarget is false, throw a TypeError exception.
+      if (extensibleTarget === Value.false) {
+        return surroundingAgent.Throw('TypeError', 'ProxyDefinePropertyNonExtensible', P);
+      }
+      // b. If settingConfigFalse is true, throw a TypeError exception.
+      if (settingConfigFalse === true) {
+        return surroundingAgent.Throw('TypeError', 'ProxyDefinePropertyNonConfigurable', P);
+      }
+    } else {
+      // a. If IsCompatiblePropertyDescriptor(extensibleTarget, Desc, targetDesc) is false, throw a TypeError exception.
+      if (IsCompatiblePropertyDescriptor(extensibleTarget, Desc, targetDesc) === Value.false) {
+        return surroundingAgent.Throw('TypeError', 'ProxyDefinePropertyIncompatible', P);
+      }
+      // b. If settingConfigFalse is true and targetDesc.[[Configurable]] is true, throw a TypeError exception.
+      if (settingConfigFalse === true && targetDesc.Configurable === Value.true) {
+        return surroundingAgent.Throw('TypeError', 'ProxyDefinePropertyNonConfigurable', P);
+      }
+      // c. If IsDataDescriptor(targetDesc) is true, targetDesc.[[Configurable]] is false, and targetDesc.[[Writable]] is true, then
+      if (IsDataDescriptor(targetDesc)
+        && targetDesc.Configurable === Value.false
+        && targetDesc.Writable === Value.true) {
+        // i. If Desc has a [[Writable]] field and Desc.[[Writable]] is false, throw a TypeError exception.
+        if ('Writable' in Desc && Desc.Writable === Value.false) {
+          return surroundingAgent.Throw('TypeError', 'ProxyDefinePropertyNonConfigurableWritable', P);
+        }
+      }
+    }
+    return Value.true;
+  },
+  /** https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-hasproperty-p */
+  HasProperty(P) {
+    const O = this;
+
+    Assert(IsPropertyKey(P));
+    const handler = O.ProxyHandler;
+    if (handler === Value.null) {
+      return surroundingAgent.Throw('TypeError', 'ProxyRevoked', 'has');
+    }
+    Assert(handler instanceof ObjectValue);
+    const target = O.ProxyTarget as ObjectValue;
+    const trap = Q(GetMethod(handler, Value('has')));
+    if (trap === Value.undefined) {
+      return Q(target.HasProperty(P));
+    }
+    const booleanTrapResult = ToBoolean(Q(Call(trap, handler, [target, P])));
+    if (booleanTrapResult === Value.false) {
+      const targetDesc = Q(target.GetOwnProperty(P));
+      if (!(targetDesc instanceof UndefinedValue)) {
+        if (targetDesc.Configurable === Value.false) {
+          return surroundingAgent.Throw('TypeError', 'ProxyHasNonConfigurable', P);
+        }
+        const extensibleTarget = Q(IsExtensible(target));
+        if (extensibleTarget === Value.false) {
+          return surroundingAgent.Throw('TypeError', 'ProxyHasNonExtensible', P);
+        }
+      }
+    }
+    return booleanTrapResult;
+  },
+  /** https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-get-p-receiver */
+  Get(P, Receiver) {
+    const O = this;
+
+    Assert(IsPropertyKey(P));
+    const handler = O.ProxyHandler;
+    if (handler === Value.null) {
+      return surroundingAgent.Throw('TypeError', 'ProxyRevoked', 'get');
+    }
+    Assert(handler instanceof ObjectValue);
+    const target = O.ProxyTarget as ObjectValue;
+    const trap = Q(GetMethod(handler, Value('get')));
+    if (trap === Value.undefined) {
+      return Q(target.Get(P, Receiver));
+    }
+    const trapResult = Q(Call(trap, handler, [target, P, Receiver]));
+    const targetDesc = Q(target.GetOwnProperty(P));
+    if (!(targetDesc instanceof UndefinedValue) && targetDesc.Configurable === Value.false) {
+      if (IsDataDescriptor(targetDesc) === true && targetDesc.Writable === Value.false) {
+        if (SameValue(trapResult, targetDesc.Value) === Value.false) {
+          return surroundingAgent.Throw('TypeError', 'ProxyGetNonConfigurableData', P);
+        }
+      }
+      if (IsAccessorDescriptor(targetDesc) === true && targetDesc.Get === Value.undefined) {
+        if (trapResult !== Value.undefined) {
+          return surroundingAgent.Throw('TypeError', 'ProxyGetNonConfigurableAccessor', P);
+        }
+      }
+    }
+    return trapResult;
+  },
+  /** https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-set-p-v-receiver */
+  Set(P, V, Receiver) {
+    const O = this;
+
+    Assert(IsPropertyKey(P));
+    const handler = O.ProxyHandler;
+    if (handler === Value.null) {
+      return surroundingAgent.Throw('TypeError', 'ProxyRevoked', 'set');
+    }
+    Assert(handler instanceof ObjectValue);
+    const target = O.ProxyTarget as ObjectValue;
+    const trap = Q(GetMethod(handler, Value('set')));
+    if (trap === Value.undefined) {
+      return Q(target.Set(P, V, Receiver));
+    }
+    const booleanTrapResult = ToBoolean(Q(Call(trap, handler, [target, P, V, Receiver])));
+    if (booleanTrapResult === Value.false) {
+      return Value.false;
+    }
+    const targetDesc = Q(target.GetOwnProperty(P));
+    if (!(targetDesc instanceof UndefinedValue) && targetDesc.Configurable === Value.false) {
+      if (IsDataDescriptor(targetDesc) === true && targetDesc.Writable === Value.false) {
+        if (SameValue(V, targetDesc.Value) === Value.false) {
+          return surroundingAgent.Throw('TypeError', 'ProxySetFrozenData', P);
+        }
+      }
+      if (IsAccessorDescriptor(targetDesc) === true) {
+        if (targetDesc.Set === Value.undefined) {
+          return surroundingAgent.Throw('TypeError', 'ProxySetFrozenAccessor', P);
+        }
+      }
+    }
+    return Value.true;
+  },
+  /** https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-delete-p */
+  Delete(P) {
+    const O = this;
+
+    // 1. Assert: IsPropertyKey(P) is true.
+    Assert(IsPropertyKey(P));
+    // 2. Let handler be O.[[ProxyHandler]].
+    const handler = O.ProxyHandler;
+    // 3. If handler is null, throw a TypeError exception.
+    if (handler === Value.null) {
+      return surroundingAgent.Throw('TypeError', 'ProxyRevoked', 'deleteProperty');
+    }
+    // 4. Assert: Type(handler) is Object.
+    Assert(handler instanceof ObjectValue);
+    // 5. Let target be O.[[ProxyTarget]].
+    const target = O.ProxyTarget as ObjectValue;
+    // 6. Let trap be ? GetMethod(handler, "deleteProperty").
+    const trap = Q(GetMethod(handler, Value('deleteProperty')));
+    // 7. If trap is undefined, then
+    if (trap === Value.undefined) {
+      // a. Return ? target.[[Delete]](P).
+      return Q(target.Delete(P));
+    }
+    // 8. Let booleanTrapResult be ! ToBoolean(? Call(trap, handler, « target, P »)).
+    const booleanTrapResult = ToBoolean(Q(Call(trap, handler, [target, P])));
+    // 9. If booleanTrapResult is false, return false.
+    if (booleanTrapResult === Value.false) {
+      return Value.false;
+    }
+    // 10. Let targetDesc be ? target.[[GetOwnProperty]](P).
+    const targetDesc = Q(target.GetOwnProperty(P));
+    // 11. If targetDesc is undefined, return true.
+    if (targetDesc instanceof UndefinedValue) {
+      return Value.true;
+    }
+    // 12. If targetDesc.[[Configurable]] is false, throw a TypeError exception.
+    if (targetDesc.Configurable === Value.false) {
+      return surroundingAgent.Throw('TypeError', 'ProxyDeletePropertyNonConfigurable', P);
+    }
+    // 13. Let extensibleTarget be ? IsExtensible(target).
+    const extensibleTarget = Q(IsExtensible(target));
+    // 14. If extensibleTarget is false, throw a TypeError exception.
+    if (extensibleTarget === Value.false) {
+      return surroundingAgent.Throw('TypeError', 'ProxyDeletePropertyNonExtensible', P);
+    }
+    // 15. Return true.
+    return Value.true;
+  },
+  /** https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-ownpropertykeys */
+  OwnPropertyKeys() {
+    const O = this;
+
+    const handler = O.ProxyHandler;
+    if (handler === Value.null) {
+      return surroundingAgent.Throw('TypeError', 'ProxyRevoked', 'ownKeys');
+    }
+    Assert(handler instanceof ObjectValue);
+    const target = O.ProxyTarget as ObjectValue;
+    const trap = Q(GetMethod(handler, Value('ownKeys')));
+    if (trap === Value.undefined) {
+      return Q(target.OwnPropertyKeys());
+    }
+    const trapResultArray = Q(Call(trap, handler, [target]));
+    const trapResult = Q(CreateListFromArrayLike(trapResultArray, ['String', 'Symbol'])) as PropertyKeyValue[];
+    const noDuplicate = new PropertyKeyMap();
+    trapResult.forEach((key) => {
+      noDuplicate.set(key, true);
+    });
+    if (noDuplicate.size !== trapResult.length) {
+      return surroundingAgent.Throw('TypeError', 'ProxyOwnKeysDuplicateEntries');
+    }
+    const extensibleTarget = Q(IsExtensible(target));
+    const targetKeys = Q(target.OwnPropertyKeys());
+    // Assert: targetKeys is a List containing only String and Symbol values.
+    // Assert: targetKeys contains no duplicate entries.
+    const targetConfigurableKeys = [];
+    const targetNonconfigurableKeys = [];
+    for (const key of targetKeys) {
+      const desc = Q(target.GetOwnProperty(key));
+      if (!(desc instanceof UndefinedValue) && desc.Configurable === Value.false) {
+        targetNonconfigurableKeys.push(key);
+      } else {
+        targetConfigurableKeys.push(key);
+      }
+    }
+    if (extensibleTarget === Value.true && targetNonconfigurableKeys.length === 0) {
+      return trapResult;
+    }
+    const uncheckedResultKeys = new PropertyKeyMap();
+    trapResult.forEach((key) => {
+      uncheckedResultKeys.set(key, true);
+    });
+    for (const key of targetNonconfigurableKeys) {
+      if (!uncheckedResultKeys.has(key)) {
+        return surroundingAgent.Throw('TypeError', 'ProxyOwnKeysMissing', 'non-configurable key');
+      }
+      uncheckedResultKeys.delete(key);
+    }
+    if (extensibleTarget === Value.true) {
+      return trapResult;
+    }
+    for (const key of targetConfigurableKeys) {
+      if (!uncheckedResultKeys.has(key)) {
+        return surroundingAgent.Throw('TypeError', 'ProxyOwnKeysMissing', 'configurable key');
+      }
+      uncheckedResultKeys.delete(key);
+    }
+    if (uncheckedResultKeys.size > 0) {
+      return surroundingAgent.Throw('TypeError', 'ProxyOwnKeysNonExtensible');
+    }
+    return trapResult;
+  },
+  /** https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-call-thisargument-argumentslist */
+  Call(thisArgument, argumentsList) {
+    const O = this;
+
+    const handler = O.ProxyHandler;
+    if (handler === Value.null) {
+      return surroundingAgent.Throw('TypeError', 'ProxyRevoked', 'apply');
+    }
+    Assert(handler instanceof ObjectValue);
+    const target = O.ProxyTarget;
+    const trap = Q(GetMethod(handler, Value('apply')));
+    if (trap === Value.undefined) {
+      return Q(Call(target, thisArgument, argumentsList));
+    }
+    const argArray = X(CreateArrayFromList(argumentsList));
+    return Q(Call(trap, handler, [target, thisArgument, argArray]));
+  },
+  /** https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-construct-argumentslist-newtarget */
+  Construct(argumentsList, newTarget) {
+    const O = this;
+
+    const handler = O.ProxyHandler;
+    if (handler === Value.null) {
+      return surroundingAgent.Throw('TypeError', 'ProxyRevoked', 'construct');
+    }
+    Assert(handler instanceof ObjectValue);
+    const target = O.ProxyTarget;
+    Assert(IsConstructor(target) === Value.true);
+    const trap = Q(GetMethod(handler, Value('construct')));
+    if (trap === Value.undefined) {
+      return Q(Construct(target as FunctionObject, argumentsList, newTarget));
+    }
+    const argArray = X(CreateArrayFromList(argumentsList));
+    const newObj = Q(Call(trap, handler, [target, argArray, newTarget]));
+    if (!(newObj instanceof ObjectValue)) {
+      return surroundingAgent.Throw('TypeError', 'NotAnObject', newObj);
+    }
+    return newObj;
+  },
+} satisfies ObjectInternalMethods<ProxyObject>;
+
+export function isProxyExoticObject(O: Value): O is ProxyObject {
+  return 'ProxyHandler' in O;
+}
+
+/** https://tc39.es/ecma262/#sec-proxycreate */
+export function ProxyCreate(target: Value, handler: Value): ExpressionCompletion<ProxyObject> {
+  // 1. If Type(target) is not Object, throw a TypeError exception.
+  if (!(target instanceof ObjectValue)) {
+    return surroundingAgent.Throw('TypeError', 'CannotCreateProxyWith', 'non-object', 'target');
+  }
+  // 2. If Type(handler) is not Object, throw a TypeError exception.
+  if (!(handler instanceof ObjectValue)) {
+    return surroundingAgent.Throw('TypeError', 'CannotCreateProxyWith', 'non-object', 'handler');
+  }
+  // 3. Let P be ! MakeBasicObject(« [[ProxyHandler]], [[ProxyTarget]] »).
+  const P = X(MakeBasicObject(['ProxyHandler', 'ProxyTarget'])) as ProxyObject;
+  // 4. Set P's essential internal methods, except for [[Call]] and [[Construct]], to the definitions specified in 9.5.
+  P.GetPrototypeOf = InternalMethods.GetPrototypeOf;
+  P.SetPrototypeOf = InternalMethods.SetPrototypeOf;
+  P.IsExtensible = InternalMethods.IsExtensible;
+  P.PreventExtensions = InternalMethods.PreventExtensions;
+  P.GetOwnProperty = InternalMethods.GetOwnProperty;
+  P.DefineOwnProperty = InternalMethods.DefineOwnProperty;
+  P.HasProperty = InternalMethods.HasProperty;
+  P.Get = InternalMethods.Get;
+  P.Set = InternalMethods.Set;
+  P.Delete = InternalMethods.Delete;
+  P.OwnPropertyKeys = InternalMethods.OwnPropertyKeys;
+  // 5. If IsCallable(target) is true, then
+  if (IsCallable(target) === Value.true) {
+    /** https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-call-thisargument-argumentslist. */
+    P.Call = InternalMethods.Call;
+    // b. If IsConstructor(target) is true, then
+    if (IsConstructor(target) === Value.true) {
+      /** https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-construct-argumentslist-newtarget. */
+      P.Construct = InternalMethods.Construct;
+    }
+  }
+  // 6. Set P.[[ProxyTarget]] to target.
+  P.ProxyTarget = target;
+  // 7. Set P.[[ProxyHandler]] to handler.
+  P.ProxyHandler = handler;
+  // 8. Return P.
+  return P;
+}