test(test262): admit exact top-level await cohort

Author: doodlewind

.github/workflows/ci.yml

@@ -70,9 +70,12 @@ jobs:
           node scripts/check-test262-artifact-inventory.mjs
           node scripts/check-bc5-pinned-atoms.mjs --self-test
           node scripts/check-bc5-pinned-opcodes.mjs --self-test
+          node --check scripts/audit-negative-diagnostics.mjs
           node --check scripts/test-negative-diagnostic-generator.mjs
           node --check scripts/generate-test262-dynamic-import-a.mjs
           node --check scripts/generate-test262-tla-core-a.mjs
+          node --check scripts/generate-test262-tla-b.mjs
+          node --check scripts/test-generate-test262-tla-b.mjs
           node --check scripts/generate-test262-module-var-lexical-shadow-a.mjs
           node --check scripts/generate-test262-module-import-attributes-a.mjs
           node --check scripts/test-generate-test262-module-import-attributes-a.mjs
@@ -165,6 +168,9 @@ jobs:
             --suite "$suite" --check-current
           node scripts/generate-test262-tla-core-a.mjs \
             --suite "$suite" --check-current
+          node scripts/test-generate-test262-tla-b.mjs --suite "$suite"
+          node scripts/generate-test262-tla-b.mjs \
+            --suite "$suite" --check-current
           node scripts/generate-test262-module-var-lexical-shadow-a.mjs \
             --suite "$suite" \
             --quickjs-runner "$oracle_source/run-test262" \

compat/test262-oxide.conf

@@ -2176,6 +2176,13 @@ test/language/module-code/parse-err-semi-named-export.js
 test/language/module-code/parse-err-syntax-1.js
 test/language/module-code/parse-err-syntax-2.js
 test/language/module-code/parse-err-yield.js
+test/language/module-code/top-level-await/module-import-rejection-body.js
+test/language/module-code/top-level-await/module-import-rejection.js
+test/language/module-code/top-level-await/syntax/early-does-not-propagate-to-fn-declaration-body.js
+test/language/module-code/top-level-await/syntax/early-does-not-propagate-to-fn-declaration-params.js
+test/language/module-code/top-level-await/syntax/early-does-not-propagate-to-fn-expr-body.js
+test/language/module-code/top-level-await/syntax/early-does-not-propagate-to-fn-expr-params.js
+test/language/module-code/top-level-await/syntax/early-no-escaped-await.js
 test/language/reserved-words/await-module.js
 test/language/statements/async-function/array-destructuring-param-strict-body.js
 test/language/statements/async-function/dflt-params-duplicates.js

compat/upstream.toml

@@ -19,7 +19,7 @@ config_sha256 = "79c64748ff1182baf5433d0a8378e3666738a785d02faf71f0d459ed42ae897
 test_count = 53125
 metadata_records_sha256 = "a37219960819e56a5c5c1723d31d6a33095c778bf5347385187fde96f927a06a"
 oxide_profile = "compat/test262-oxide.conf"
-oxide_profile_sha256 = "86bd42bca1d12b09431a59b61ef615455ba2092bb63c8a5057f8d6ee21c2dd05"
+oxide_profile_sha256 = "aa9fa3581c86cf1f1ef786a54c2023107f3a99002129b726024ddd8ea0838d67"
 expected_errors = "test262_errors.txt"
 
 [test262_es5]

dev-support/test262/README.md

@@ -41,16 +41,19 @@ match; Test262 paths and source hashes remain dev-support data and never enter
 the production parser.
 
 `negative-diagnostic-rules.tsv` is the complete registry for the semantic
-`rule` column and names the corresponding pinned QuickJS parser anchor. The
+`rule` column and names the corresponding pinned QuickJS source anchor. The
 authenticated audit tool rejects unknown or unused rules. Scheduled
 differential CI replays every exact contract through pinned QuickJS using the
 same Script/Module goal and strict-prefix policy and compares error type,
 message, line, and column. Parse contracts use an isolated command-line source;
-Module resolution contracts execute the authenticated root path inside the
-pinned suite through `run-test262 -N --module`, so QuickJS loads the real
-dependency graph. That oracle proves type, message, and location; the Oxide
-runner separately observes compilation, linking, and execution to enforce the
-declared phase. An absent location is represented by two empty TSV fields.
+Module resolution and runtime contracts execute the authenticated root path
+inside the pinned suite through `run-test262 -N --module`, so QuickJS loads the
+real dependency graph. Runtime dependency-rejection contracts additionally
+require an exact first source frame from their sole direct dependency; a root
+throw with the same type and message is rejected. The Oxide runner reads only
+own data properties, including the Error stack, when recovering the matching
+location and separately observes compilation, linking, and execution to enforce
+the declared phase. An absent location is represented by two empty TSV fields.
 
 `negative-diagnostic-exemptions.tsv` freezes the legacy variants admitted
 before exact diagnostic contracts became mandatory. Every audited negative