Merge branch 'main' into codex/fix-array-fromasync-promise

Author: rogeralsing

continue.md

@@ -26,6 +26,8 @@
 - Typed array subclass instances now report their concrete @@toStringTag, generator/async generator functions (and their bound/proxy wrappers) are treated as non-constructors during class heritage resolution, and derived classes extending null leave `this` uninitialized until super, so the class subclass builtins/null-proto/generator superclass cases are green.
 - Super calls now bind sloppy callees through the global when the caller's `this` is uninitialized, resolve the base constructor from the current constructor `[[Prototype]]`, and defer `super` property key coercion until after capturing the super base, so the `Expressions_super` cluster is green.
 - Promise constructor is exposed on RealmState and pulled from closure or realm for async generators; `Array.fromAsync` async-path now drives iteration iteratively (no recursive promise callbacks) and the full `Array_fromAsync` filter passes. Strict `arguments-object` assignment tests now build proper JS error objects and pass.
+- Module evaluation now walks requested modules ahead of body execution, ResolveExport/export\* follow the spec (cycle-aware, ambiguous names filtered), module namespaces expose unambiguous exports only, and namespace [[Set]]/Reflect.set return false instead of throwing.
+- Object destructuring rest now walks [[OwnPropertyKeys]] with exclusions checked before GetOwnPropertyDescriptor, skips Get for non-enumerables, and uses the original object (including proxies) instead of cloning; the proxy rest destructuring get/gOPD/ownKeys-order tests are passing.
 
 ## Next Iteration Plan
 1. When resuming broader work, run a narrow Language filter outside `ArgumentsObject`/`Array_fromAsync` to find the next hot cluster (avoid full 43k sweep).

languagetests.md

@@ -17,13 +17,6 @@
         Expressions_import_meta("language/expressions/import.meta/import-meta-is-an-ordinary-object.js",True)
         Expressions_import_meta("language/expressions/import.meta/not-accessible-from-direct-eval.js",True)
         Expressions_import_meta("language/expressions/import.meta/same-object-returned.js",True)
-       Expressions_object_dstr
-        Expressions_object_dstr("language/expressions/object/dstr/object-rest-proxy-get-not-called-on-dontenum-keys.js",False)
-        Expressions_object_dstr("language/expressions/object/dstr/object-rest-proxy-get-not-called-on-dontenum-keys.js",True)
-        Expressions_object_dstr("language/expressions/object/dstr/object-rest-proxy-gopd-not-called-on-excluded-keys.js",False)
-        Expressions_object_dstr("language/expressions/object/dstr/object-rest-proxy-gopd-not-called-on-excluded-keys.js",True)
-        Expressions_object_dstr("language/expressions/object/dstr/object-rest-proxy-ownkeys-returned-keys-order.js",False)
-        Expressions_object_dstr("language/expressions/object/dstr/object-rest-proxy-ownkeys-returned-keys-order.js",True)
        Expressions_object_methodDefinition
         Expressions_object_methodDefinition("language/expressions/object/method-definition/generator-invoke-fn-no-strict.js",False)
         Expressions_object_methodDefinition("language/expressions/object/method-definition/generator-super-prop-param.js",False)
@@ -64,45 +57,21 @@
         GlobalCode("language/global-code/script-decl-func-err-non-extensible.js",False)
         GlobalCode("language/global-code/script-decl-func-err-non-extensible.js",True)
         GlobalCode("language/global-code/script-decl-lex-var-declared-via-eval.js",False)
-       ModuleCode
-        ModuleCode("language/module-code/eval-rqstd-order.js",True)
-        ModuleCode("language/module-code/export-expname-binding-index.js",True)
-        ModuleCode("language/module-code/instn-iee-star-cycle.js",True)
-        ModuleCode("language/module-code/instn-star-ambiguous.js",True)
-        ModuleCode("language/module-code/instn-star-equality.js",True)
-        ModuleCode("language/module-code/instn-star-iee-cycle.js",True)
-        ModuleCode("language/module-code/instn-star-star-cycle.js",True)
-       ModuleCode_namespace_internals
-        ModuleCode_namespace_internals("language/module-code/namespace/internals/set.js",True)
        ModuleCode_topLevelAwait
         ModuleCode_topLevelAwait("language/module-code/top-level-await/async-module-does-not-block-sibling-modules.js",True)
         ModuleCode_topLevelAwait("language/module-code/top-level-await/await-dynamic-import-resolution.js",True)
-        ModuleCode_topLevelAwait("language/module-code/top-level-await/module-async-import-async-resolution-ticks.js",True)
         ModuleCode_topLevelAwait("language/module-code/top-level-await/module-graphs-does-not-hang.js",True)
-        ModuleCode_topLevelAwait("language/module-code/top-level-await/module-sync-import-async-resolution-ticks.js",True)
        ModuleCode_topLevelAwait_syntax
-        ModuleCode_topLevelAwait_syntax("language/module-code/top-level-await/syntax/await-expr-dyn-import.js",True)
        Statements_asyncGenerator
         Statements_asyncGenerator("language/statements/async-generator/yield-star-async-from-sync-iterator-inaccessible.js",False)
         Statements_asyncGenerator("language/statements/async-generator/yield-star-async-from-sync-iterator-inaccessible.js",True)
        Statements_class_definition
-        Statements_class_definition("language/statements/class/definition/constructable-but-no-prototype.js",False)
-        Statements_class_definition("language/statements/class/definition/constructable-but-no-prototype.js",True)
         Statements_class_definition("language/statements/class/definition/invalid-extends.js",True)
-        Statements_class_definition("language/statements/class/definition/prototype-getter.js",False)
-        Statements_class_definition("language/statements/class/definition/prototype-getter.js",True)
-        Statements_class_definition("language/statements/class/definition/prototype-setter.js",False)
-        Statements_class_definition("language/statements/class/definition/prototype-setter.js",True)
        Statements_class_elements_syntax_valid
         Statements_class_elements_syntax_valid("language/statements/class/elements/syntax/valid/grammar-field-named-get-followed-by-generator-asi.js",False)
         Statements_class_elements_syntax_valid("language/statements/class/elements/syntax/valid/grammar-field-named-get-followed-by-generator-asi.js",True)
         Statements_class_elements_syntax_valid("language/statements/class/elements/syntax/valid/grammar-field-named-set-followed-by-generator-asi.js",False)
         Statements_class_elements_syntax_valid("language/statements/class/elements/syntax/valid/grammar-field-named-set-followed-by-generator-asi.js",True)
-       Statements_class_subclass
-        Statements_class_subclass("language/statements/class/subclass/superclass-async-generator-function.js",False)
-        Statements_class_subclass("language/statements/class/subclass/superclass-async-generator-function.js",True)
-        Statements_class_subclass("language/statements/class/subclass/superclass-generator-function.js",False)
-        Statements_class_subclass("language/statements/class/subclass/superclass-generator-function.js",True)
        Statements_const_syntax
         Statements_const_syntax("language/statements/const/syntax/const-invalid-assignment-next-expression-for.js",False)
         Statements_const_syntax("language/statements/const/syntax/const-invalid-assignment-next-expression-for.js",True)

src/Asynkron.JsEngine/Ast/ObjectBindingExtensions.cs

@@ -55,7 +55,7 @@ private void BindObjectPattern(object? value, JsEnvironment environment,
                 }
 
                 usedKeys.Add(propertyName);
-                var hasProperty = obj.TryGetProperty(propertyName, obj, context, out var val);
+                var hasProperty = JsOps.TryGetPropertyValue(obj, propertyName, out var val, context);
                 if (context.ShouldStopEvaluation)
                 {
                     throw new ThrowSignal(context.FlowValue);
@@ -107,18 +107,26 @@ private void BindObjectPattern(object? value, JsEnvironment environment,
                 restObject.SetPrototype(context.RealmState.ObjectPrototype);
             }
 
-            foreach (var key in GetEnumerableOwnPropertyKeysInOrder(obj))
+            foreach (var key in obj.GetOwnPropertyKeysInOrder(includeSymbols: true, includeNonEnumerable: true))
             {
-                if (!usedKeys.Contains(key))
+                if (usedKeys.Contains(key))
                 {
-                    if (obj.TryGetProperty(key, obj, context, out var restValue))
-                    {
-                        restObject.SetProperty(key, restValue);
-                    }
-                    else if (context.ShouldStopEvaluation)
-                    {
-                        throw new ThrowSignal(context.FlowValue);
-                    }
+                    continue;
+                }
+
+                var descriptor = obj.GetOwnPropertyDescriptor(key);
+                if (descriptor is not { Enumerable: true })
+                {
+                    continue;
+                }
+
+                if (JsOps.TryGetPropertyValue(obj, key, out var restValue, context))
+                {
+                    restObject.SetProperty(key, restValue);
+                }
+                else if (context.ShouldStopEvaluation)
+                {
+                    throw new ThrowSignal(context.FlowValue);
                 }
             }
 

src/Asynkron.JsEngine/Ast/TypedAstEvaluator.cs

@@ -1180,87 +1180,31 @@ private static bool TryGetIteratorForDestructuring(object? value, EvaluationCont
         return Enumerate().GetEnumerator();
     }
 
-    private static JsObject ToObjectForDestructuring(object? value, EvaluationContext context)
+    private static IJsObjectLike ToObjectForDestructuring(object? value, EvaluationContext context)
     {
         var realm = context.RealmState;
         switch (value)
         {
-            case JsObject jsObj:
-                return jsObj;
-            case JsArray jsArray:
-            {
-                var obj = new JsObject();
-                if (realm?.ArrayPrototype is not null)
-                {
-                    obj.SetPrototype(realm.ArrayPrototype);
-                }
-
-                var length = jsArray.Length;
-                var count = length > int.MaxValue ? int.MaxValue : (int)length;
-                for (var i = 0; i < count; i++)
-                {
-                    obj.SetProperty(i.ToString(CultureInfo.InvariantCulture), jsArray.GetElement(i));
-                }
-
-                obj.SetProperty("length", length);
-                return obj;
-            }
             case null:
             case Symbol sym when ReferenceEquals(sym, Symbol.Undefined):
             case IIsHtmlDda:
                 throw StandardLibrary.ThrowTypeError("Cannot destructure undefined or null", context, realm);
-            case string s:
-                return StandardLibrary.CreateStringWrapper(s, context, realm);
-            case JsBigInt bi:
-                return StandardLibrary.CreateBigIntWrapper(bi, context, realm);
-            case TypedAstSymbol symbolValue:
-            {
-                var obj = new JsObject();
-                if (realm?.ObjectPrototype is not null)
-                {
-                    obj.SetPrototype(realm.ObjectPrototype);
-                }
-
-                obj.SetProperty("__value__", symbolValue);
-                return obj;
-            }
-            case double:
-            case float:
-            case decimal:
-            case int:
-            case uint:
-            case long:
-            case ulong:
-            case short:
-            case ushort:
-            case byte:
-            case sbyte:
-            {
-                var num = Convert.ToDouble(value, CultureInfo.InvariantCulture);
-                return StandardLibrary.CreateNumberWrapper(num, context, realm);
-            }
-            case bool b:
-            {
-                var obj = new JsObject();
-                if (realm?.BooleanPrototype is not null)
-                {
-                    obj.SetPrototype(realm.BooleanPrototype);
-                }
+            case IJsObjectLike objectLike:
+                return objectLike;
+        }
 
-                obj.SetProperty("__value__", b);
-                return obj;
-            }
-            default:
-            {
-                var obj = new JsObject();
-                if (realm?.ObjectPrototype is not null)
-                {
-                    obj.SetPrototype(realm.ObjectPrototype);
-                }
+        if (realm is not null && StandardLibrary.TryGetObject(value, realm, out var coerced))
+        {
+            return coerced;
+        }
 
-                return obj;
-            }
+        var obj = new JsObject();
+        if (realm?.ObjectPrototype is not null)
+        {
+            obj.SetPrototype(realm.ObjectPrototype);
         }
+
+        return obj;
     }
 
     private static JsObject CreateGeneratorIteratorObject(