diff --git a/crates/js/src/builtins.rs b/crates/js/src/builtins.rs
index 268d700..4834f52 100644
--- a/crates/js/src/builtins.rs
+++ b/crates/js/src/builtins.rs
@@ -1,5 +1,5 @@
 //! Built-in JavaScript objects and functions: Object, Array, Function, Error,
-//! String, Number, Boolean, Symbol, Math, Date, JSON.
+//! String, Number, Boolean, Symbol, Math, Date, JSON, Promise.
 //!
 //! Registers constructors, static methods, and prototype methods as globals
 //! in the VM. Callback-based array methods (map, filter, etc.) are defined
@@ -7,6 +7,7 @@
 
 use crate::gc::{Gc, GcRef};
 use crate::vm::*;
+use std::cell::RefCell;
 use std::collections::HashMap;
 use std::time::{SystemTime, UNIX_EPOCH};
 
@@ -246,6 +247,9 @@ pub fn init_builtins(vm: &mut Vm) {
     // Create and register Map, Set, WeakMap, WeakSet constructors.
     init_map_set_builtins(vm);
 
+    // Create and register Promise (prototype methods + native helpers).
+    init_promise_builtins(vm);
+
     // Create and register JSON object (static methods only).
     init_json_object(vm);
 
@@ -4659,6 +4663,834 @@ fn weakset_proto_delete(args: &[Value], ctx: &mut NativeContext) -> Result<Value
     Ok(Value::Boolean(false))
 }
 
+// ── Promise built-in ─────────────────────────────────────────
+
+/// Promise states.
+const PROMISE_PENDING: f64 = 0.0;
+const PROMISE_FULFILLED: f64 = 1.0;
+const PROMISE_REJECTED: f64 = 2.0;
+
+/// Hidden property keys for Promise objects.
+const PROMISE_STATE_KEY: &str = "__promise_state__";
+const PROMISE_RESULT_KEY: &str = "__promise_result__";
+const PROMISE_REACTIONS_KEY: &str = "__promise_reactions__";
+const PROMISE_REACTION_COUNT_KEY: &str = "__promise_reaction_count__";
+
+thread_local! {
+    static PROMISE_PROTO: std::cell::Cell<Option<GcRef>> = const { std::cell::Cell::new(None) };
+    static MICROTASK_QUEUE: RefCell<Vec<Microtask>> = const { RefCell::new(Vec::new()) };
+}
+
+/// A microtask queued by a promise settlement.
+pub struct Microtask {
+    /// The handler to call (onFulfilled or onRejected). None means identity/thrower.
+    pub handler: Option<GcRef>,
+    /// The value to pass to the handler.
+    pub value: Value,
+    /// The chained promise to resolve/reject with the handler's result.
+    pub chained_promise: Option<GcRef>,
+    /// Whether this is a fulfillment reaction (true) or rejection (false).
+    pub is_fulfillment: bool,
+}
+
+/// Take all pending microtasks from the queue (called by the VM).
+pub fn take_microtasks() -> Vec<Microtask> {
+    MICROTASK_QUEUE.with(|q| std::mem::take(&mut *q.borrow_mut()))
+}
+
+fn enqueue_microtask(task: Microtask) {
+    MICROTASK_QUEUE.with(|q| q.borrow_mut().push(task));
+}
+
+/// Public wrappers for functions used by the VM's microtask drain.
+pub fn promise_get_prop_pub(gc: &Gc<HeapObject>, promise: GcRef, key: &str) -> Value {
+    promise_get_prop(gc, promise, key)
+}
+
+pub fn promise_state_pub(gc: &Gc<HeapObject>, promise: GcRef) -> f64 {
+    promise_state(gc, promise)
+}
+
+pub fn is_promise_pub(gc: &Gc<HeapObject>, value: &Value) -> bool {
+    is_promise(gc, value)
+}
+
+pub fn chain_promise_pub(gc: &mut Gc<HeapObject>, source: GcRef, target: GcRef) {
+    chain_promise(gc, source, target)
+}
+
+fn init_promise_builtins(vm: &mut Vm) {
+    // Create Promise.prototype (inherits from Object.prototype).
+    let mut proto_data = ObjectData::new();
+    if let Some(proto) = vm.object_prototype {
+        proto_data.prototype = Some(proto);
+    }
+    let promise_proto = vm.gc.alloc(HeapObject::Object(proto_data));
+    init_promise_prototype(&mut vm.gc, promise_proto);
+    PROMISE_PROTO.with(|cell| cell.set(Some(promise_proto)));
+    vm.promise_prototype = Some(promise_proto);
+
+    // Register native helper functions used by the JS preamble.
+    let create_fn = make_native(&mut vm.gc, "__Promise_create", promise_native_create);
+    vm.set_global("__Promise_create", Value::Function(create_fn));
+
+    let resolve_fn = make_native(&mut vm.gc, "__Promise_resolve", promise_native_resolve);
+    vm.set_global("__Promise_resolve", Value::Function(resolve_fn));
+
+    let reject_fn = make_native(&mut vm.gc, "__Promise_reject", promise_native_reject);
+    vm.set_global("__Promise_reject", Value::Function(reject_fn));
+
+    // Register Promise.resolve and Promise.reject as standalone globals
+    // that the JS preamble will attach to the Promise constructor.
+    let static_resolve = make_native(&mut vm.gc, "resolve", promise_static_resolve);
+    vm.set_global("__Promise_static_resolve", Value::Function(static_resolve));
+
+    let static_reject = make_native(&mut vm.gc, "reject", promise_static_reject);
+    vm.set_global("__Promise_static_reject", Value::Function(static_reject));
+
+    let static_all = make_native(&mut vm.gc, "all", promise_static_all);
+    vm.set_global("__Promise_static_all", Value::Function(static_all));
+
+    let static_race = make_native(&mut vm.gc, "race", promise_static_race);
+    vm.set_global("__Promise_static_race", Value::Function(static_race));
+
+    let static_all_settled = make_native(&mut vm.gc, "allSettled", promise_static_all_settled);
+    vm.set_global(
+        "__Promise_static_allSettled",
+        Value::Function(static_all_settled),
+    );
+
+    let static_any = make_native(&mut vm.gc, "any", promise_static_any);
+    vm.set_global("__Promise_static_any", Value::Function(static_any));
+}
+
+fn init_promise_prototype(gc: &mut Gc<HeapObject>, proto: GcRef) {
+    let methods: &[NativeMethod] = &[
+        ("then", promise_proto_then),
+        ("catch", promise_proto_catch),
+        ("finally", promise_proto_finally),
+    ];
+    for &(name, callback) in methods {
+        let f = make_native(gc, name, callback);
+        set_builtin_prop(gc, proto, name, Value::Function(f));
+    }
+}
+
+/// Create a new pending promise object.
+fn create_promise_object(gc: &mut Gc<HeapObject>) -> GcRef {
+    let reactions = gc.alloc(HeapObject::Object(ObjectData::new()));
+    let proto = PROMISE_PROTO.with(|cell| cell.get());
+    let mut data = ObjectData::new();
+    if let Some(p) = proto {
+        data.prototype = Some(p);
+    }
+    data.properties.insert(
+        PROMISE_STATE_KEY.to_string(),
+        Property::builtin(Value::Number(PROMISE_PENDING)),
+    );
+    data.properties.insert(
+        PROMISE_RESULT_KEY.to_string(),
+        Property::builtin(Value::Undefined),
+    );
+    data.properties.insert(
+        PROMISE_REACTIONS_KEY.to_string(),
+        Property::builtin(Value::Object(reactions)),
+    );
+    data.properties.insert(
+        PROMISE_REACTION_COUNT_KEY.to_string(),
+        Property::builtin(Value::Number(0.0)),
+    );
+    gc.alloc(HeapObject::Object(data))
+}
+
+/// Get a hidden property from a promise object.
+fn promise_get_prop(gc: &Gc<HeapObject>, promise: GcRef, key: &str) -> Value {
+    match gc.get(promise) {
+        Some(HeapObject::Object(data)) => data
+            .properties
+            .get(key)
+            .map(|p| p.value.clone())
+            .unwrap_or(Value::Undefined),
+        _ => Value::Undefined,
+    }
+}
+
+/// Set a hidden property on a promise object.
+fn promise_set_prop(gc: &mut Gc<HeapObject>, promise: GcRef, key: &str, value: Value) {
+    if let Some(HeapObject::Object(data)) = gc.get_mut(promise) {
+        data.properties
+            .insert(key.to_string(), Property::builtin(value));
+    }
+}
+
+/// Get the state of a promise (PROMISE_PENDING/FULFILLED/REJECTED).
+fn promise_state(gc: &Gc<HeapObject>, promise: GcRef) -> f64 {
+    match promise_get_prop(gc, promise, PROMISE_STATE_KEY) {
+        Value::Number(n) => n,
+        _ => PROMISE_PENDING,
+    }
+}
+
+/// Resolve a pending promise with a value.
+pub fn resolve_promise_internal(gc: &mut Gc<HeapObject>, promise: GcRef, value: Value) {
+    if promise_state(gc, promise) != PROMISE_PENDING {
+        return; // Already settled.
+    }
+    promise_set_prop(
+        gc,
+        promise,
+        PROMISE_STATE_KEY,
+        Value::Number(PROMISE_FULFILLED),
+    );
+    promise_set_prop(gc, promise, PROMISE_RESULT_KEY, value.clone());
+    trigger_reactions(gc, promise, value, true);
+}
+
+/// Reject a pending promise with a reason.
+pub fn reject_promise_internal(gc: &mut Gc<HeapObject>, promise: GcRef, reason: Value) {
+    if promise_state(gc, promise) != PROMISE_PENDING {
+        return; // Already settled.
+    }
+    promise_set_prop(
+        gc,
+        promise,
+        PROMISE_STATE_KEY,
+        Value::Number(PROMISE_REJECTED),
+    );
+    promise_set_prop(gc, promise, PROMISE_RESULT_KEY, reason.clone());
+    trigger_reactions(gc, promise, reason, false);
+}
+
+/// Enqueue microtasks for all registered reactions on a promise.
+fn trigger_reactions(gc: &mut Gc<HeapObject>, promise: GcRef, value: Value, fulfilled: bool) {
+    let reactions_ref = match promise_get_prop(gc, promise, PROMISE_REACTIONS_KEY) {
+        Value::Object(r) => r,
+        _ => return,
+    };
+    let count = match promise_get_prop(gc, promise, PROMISE_REACTION_COUNT_KEY) {
+        Value::Number(n) => n as usize,
+        _ => 0,
+    };
+
+    // Collect reactions before mutating.
+    let mut reactions = Vec::new();
+    for i in 0..count {
+        let fulfill_key = format!("{i}_fulfill");
+        let reject_key = format!("{i}_reject");
+        let promise_key = format!("{i}_promise");
+
+        let on_fulfilled = match gc.get(reactions_ref) {
+            Some(HeapObject::Object(data)) => data
+                .properties
+                .get(&fulfill_key)
+                .map(|p| p.value.clone())
+                .unwrap_or(Value::Undefined),
+            _ => Value::Undefined,
+        };
+        let on_rejected = match gc.get(reactions_ref) {
+            Some(HeapObject::Object(data)) => data
+                .properties
+                .get(&reject_key)
+                .map(|p| p.value.clone())
+                .unwrap_or(Value::Undefined),
+            _ => Value::Undefined,
+        };
+        let chained = match gc.get(reactions_ref) {
+            Some(HeapObject::Object(data)) => data
+                .properties
+                .get(&promise_key)
+                .and_then(|p| p.value.gc_ref()),
+            _ => None,
+        };
+
+        let handler = if fulfilled { on_fulfilled } else { on_rejected };
+        let handler_ref = match &handler {
+            Value::Function(r) => Some(*r),
+            _ => None,
+        };
+
+        reactions.push(Microtask {
+            handler: handler_ref,
+            value: value.clone(),
+            chained_promise: chained,
+            is_fulfillment: fulfilled,
+        });
+    }
+
+    for task in reactions {
+        enqueue_microtask(task);
+    }
+}
+
+/// Add a reaction to a promise. Returns the chained promise GcRef.
+fn add_reaction(
+    gc: &mut Gc<HeapObject>,
+    promise: GcRef,
+    on_fulfilled: Value,
+    on_rejected: Value,
+) -> GcRef {
+    let chained = create_promise_object(gc);
+
+    let reactions_ref = match promise_get_prop(gc, promise, PROMISE_REACTIONS_KEY) {
+        Value::Object(r) => r,
+        _ => return chained,
+    };
+    let count = match promise_get_prop(gc, promise, PROMISE_REACTION_COUNT_KEY) {
+        Value::Number(n) => n as usize,
+        _ => 0,
+    };
+
+    if let Some(HeapObject::Object(data)) = gc.get_mut(reactions_ref) {
+        data.properties
+            .insert(format!("{count}_fulfill"), Property::builtin(on_fulfilled));
+        data.properties
+            .insert(format!("{count}_reject"), Property::builtin(on_rejected));
+        data.properties.insert(
+            format!("{count}_promise"),
+            Property::builtin(Value::Object(chained)),
+        );
+    }
+
+    promise_set_prop(
+        gc,
+        promise,
+        PROMISE_REACTION_COUNT_KEY,
+        Value::Number((count + 1) as f64),
+    );
+
+    chained
+}
+
+// ── Promise native helpers (called from JS preamble) ─────────
+
+/// `__Promise_create()` — create a new pending promise object.
+fn promise_native_create(_args: &[Value], ctx: &mut NativeContext) -> Result<Value, RuntimeError> {
+    let promise = create_promise_object(ctx.gc);
+    Ok(Value::Object(promise))
+}
+
+/// `__Promise_resolve(promise, value)` — resolve a pending promise.
+fn promise_native_resolve(args: &[Value], ctx: &mut NativeContext) -> Result<Value, RuntimeError> {
+    let promise_ref = args.first().and_then(|v| v.gc_ref()).ok_or_else(|| {
+        RuntimeError::type_error("__Promise_resolve: first arg must be a promise")
+    })?;
+    let value = args.get(1).cloned().unwrap_or(Value::Undefined);
+
+    // If value is a thenable (promise), chain it.
+    if is_promise(ctx.gc, &value) {
+        let value_ref = value.gc_ref().unwrap();
+        let state = promise_state(ctx.gc, value_ref);
+        if state == PROMISE_FULFILLED {
+            let result = promise_get_prop(ctx.gc, value_ref, PROMISE_RESULT_KEY);
+            resolve_promise_internal(ctx.gc, promise_ref, result);
+        } else if state == PROMISE_REJECTED {
+            let reason = promise_get_prop(ctx.gc, value_ref, PROMISE_RESULT_KEY);
+            reject_promise_internal(ctx.gc, promise_ref, reason);
+        } else {
+            // Pending thenable: register a reaction to propagate settlement.
+            add_reaction(
+                ctx.gc,
+                value_ref,
+                Value::Undefined, // identity — will be handled by microtask drain
+                Value::Undefined,
+            );
+            // Actually, we need to resolve/reject promise_ref when value_ref settles.
+            // Add reactions that call __Promise_resolve/__Promise_reject on promise_ref.
+            // For simplicity, store a direct chain.
+            chain_promise(ctx.gc, value_ref, promise_ref);
+        }
+    } else {
+        resolve_promise_internal(ctx.gc, promise_ref, value);
+    }
+
+    Ok(Value::Undefined)
+}
+
+/// Chain a source promise to a target: when source settles, settle target the same way.
+fn chain_promise(gc: &mut Gc<HeapObject>, source: GcRef, target: GcRef) {
+    let reactions_ref = match promise_get_prop(gc, source, PROMISE_REACTIONS_KEY) {
+        Value::Object(r) => r,
+        _ => return,
+    };
+    let count = match promise_get_prop(gc, source, PROMISE_REACTION_COUNT_KEY) {
+        Value::Number(n) => n as usize,
+        _ => 0,
+    };
+
+    // Store the target promise directly — the microtask drain handles identity propagation.
+    if let Some(HeapObject::Object(data)) = gc.get_mut(reactions_ref) {
+        data.properties.insert(
+            format!("{count}_fulfill"),
+            Property::builtin(Value::Undefined),
+        );
+        data.properties.insert(
+            format!("{count}_reject"),
+            Property::builtin(Value::Undefined),
+        );
+        data.properties.insert(
+            format!("{count}_promise"),
+            Property::builtin(Value::Object(target)),
+        );
+    }
+
+    promise_set_prop(
+        gc,
+        source,
+        PROMISE_REACTION_COUNT_KEY,
+        Value::Number((count + 1) as f64),
+    );
+}
+
+/// Check if a value is a promise (has __promise_state__ property).
+fn is_promise(gc: &Gc<HeapObject>, value: &Value) -> bool {
+    let gc_ref = match value.gc_ref() {
+        Some(r) => r,
+        None => return false,
+    };
+    match gc.get(gc_ref) {
+        Some(HeapObject::Object(data)) => data.properties.contains_key(PROMISE_STATE_KEY),
+        _ => false,
+    }
+}
+
+/// `__Promise_reject(promise, reason)` — reject a pending promise.
+fn promise_native_reject(args: &[Value], ctx: &mut NativeContext) -> Result<Value, RuntimeError> {
+    let promise_ref = args
+        .first()
+        .and_then(|v| v.gc_ref())
+        .ok_or_else(|| RuntimeError::type_error("__Promise_reject: first arg must be a promise"))?;
+    let reason = args.get(1).cloned().unwrap_or(Value::Undefined);
+    reject_promise_internal(ctx.gc, promise_ref, reason);
+    Ok(Value::Undefined)
+}
+
+// ── Promise.prototype.then / catch / finally ─────────────────
+
+fn promise_proto_then(args: &[Value], ctx: &mut NativeContext) -> Result<Value, RuntimeError> {
+    let promise_ref = match ctx.this.gc_ref() {
+        Some(r) => r,
+        None => return Err(RuntimeError::type_error("then called on non-object")),
+    };
+
+    let on_fulfilled = args.first().cloned().unwrap_or(Value::Undefined);
+    let on_rejected = args.get(1).cloned().unwrap_or(Value::Undefined);
+
+    let state = promise_state(ctx.gc, promise_ref);
+
+    if state == PROMISE_PENDING {
+        // Register reaction for later.
+        let chained = add_reaction(ctx.gc, promise_ref, on_fulfilled, on_rejected);
+        return Ok(Value::Object(chained));
+    }
+
+    // Already settled — enqueue microtask immediately.
+    let result = promise_get_prop(ctx.gc, promise_ref, PROMISE_RESULT_KEY);
+    let chained = create_promise_object(ctx.gc);
+    let fulfilled = state == PROMISE_FULFILLED;
+    let handler = if fulfilled {
+        &on_fulfilled
+    } else {
+        &on_rejected
+    };
+    let handler_ref = match handler {
+        Value::Function(r) => Some(*r),
+        _ => None,
+    };
+
+    enqueue_microtask(Microtask {
+        handler: handler_ref,
+        value: result,
+        chained_promise: Some(chained),
+        is_fulfillment: fulfilled,
+    });
+
+    Ok(Value::Object(chained))
+}
+
+fn promise_proto_catch(args: &[Value], ctx: &mut NativeContext) -> Result<Value, RuntimeError> {
+    let on_rejected = args.first().cloned().unwrap_or(Value::Undefined);
+    promise_proto_then(&[Value::Undefined, on_rejected], ctx)
+}
+
+fn promise_proto_finally(args: &[Value], ctx: &mut NativeContext) -> Result<Value, RuntimeError> {
+    let promise_ref = match ctx.this.gc_ref() {
+        Some(r) => r,
+        None => return Err(RuntimeError::type_error("finally called on non-object")),
+    };
+
+    let on_finally = args.first().cloned().unwrap_or(Value::Undefined);
+    let state = promise_state(ctx.gc, promise_ref);
+
+    if state == PROMISE_PENDING {
+        // Register reaction: finally handler doesn't receive value, just runs.
+        let chained = add_reaction(ctx.gc, promise_ref, on_finally.clone(), on_finally);
+        // Mark the chained promise reactions as "finally" so drain can handle them.
+        promise_set_prop(ctx.gc, chained, "__finally__", Value::Boolean(true));
+        // Store parent result for propagation.
+        promise_set_prop(
+            ctx.gc,
+            chained,
+            "__finally_parent__",
+            Value::Object(promise_ref),
+        );
+        return Ok(Value::Object(chained));
+    }
+
+    // Already settled.
+    let _result = promise_get_prop(ctx.gc, promise_ref, PROMISE_RESULT_KEY);
+    let chained = create_promise_object(ctx.gc);
+    let handler_ref = match &on_finally {
+        Value::Function(r) => Some(*r),
+        _ => None,
+    };
+
+    // For finally, we enqueue the callback but propagate the original result.
+    promise_set_prop(ctx.gc, chained, "__finally__", Value::Boolean(true));
+    promise_set_prop(
+        ctx.gc,
+        chained,
+        "__finally_parent__",
+        Value::Object(promise_ref),
+    );
+
+    enqueue_microtask(Microtask {
+        handler: handler_ref,
+        value: Value::Undefined, // finally callback gets no arguments
+        chained_promise: Some(chained),
+        is_fulfillment: state == PROMISE_FULFILLED,
+    });
+
+    Ok(Value::Object(chained))
+}
+
+// ── Promise static methods ───────────────────────────────────
+
+fn promise_static_resolve(args: &[Value], ctx: &mut NativeContext) -> Result<Value, RuntimeError> {
+    let value = args.first().cloned().unwrap_or(Value::Undefined);
+
+    // If already a promise, return it.
+    if is_promise(ctx.gc, &value) {
+        return Ok(value);
+    }
+
+    let promise = create_promise_object(ctx.gc);
+    resolve_promise_internal(ctx.gc, promise, value);
+    Ok(Value::Object(promise))
+}
+
+fn promise_static_reject(args: &[Value], ctx: &mut NativeContext) -> Result<Value, RuntimeError> {
+    let reason = args.first().cloned().unwrap_or(Value::Undefined);
+    let promise = create_promise_object(ctx.gc);
+    reject_promise_internal(ctx.gc, promise, reason);
+    Ok(Value::Object(promise))
+}
+
+fn promise_static_all(args: &[Value], ctx: &mut NativeContext) -> Result<Value, RuntimeError> {
+    let iterable = args.first().cloned().unwrap_or(Value::Undefined);
+    let arr_ref = match iterable.gc_ref() {
+        Some(r) => r,
+        None => {
+            let p = create_promise_object(ctx.gc);
+            reject_promise_internal(
+                ctx.gc,
+                p,
+                Value::String("Promise.all requires an iterable".to_string()),
+            );
+            return Ok(Value::Object(p));
+        }
+    };
+
+    let len = array_length(ctx.gc, arr_ref);
+    let result_promise = create_promise_object(ctx.gc);
+
+    if len == 0 {
+        let empty = make_value_array(ctx.gc, &[]);
+        resolve_promise_internal(ctx.gc, result_promise, empty);
+        return Ok(Value::Object(result_promise));
+    }
+
+    // Create a results array and a counter object.
+    let results = make_value_array(ctx.gc, &vec![Value::Undefined; len]);
+    let results_ref = results.gc_ref().unwrap();
+
+    // We track remaining count and results in hidden props on result_promise.
+    promise_set_prop(
+        ctx.gc,
+        result_promise,
+        "__all_remaining__",
+        Value::Number(len as f64),
+    );
+    promise_set_prop(ctx.gc, result_promise, "__all_results__", results.clone());
+
+    for i in 0..len {
+        let item = array_get(ctx.gc, arr_ref, i);
+        if is_promise(ctx.gc, &item) {
+            let item_ref = item.gc_ref().unwrap();
+            let state = promise_state(ctx.gc, item_ref);
+            if state == PROMISE_FULFILLED {
+                let val = promise_get_prop(ctx.gc, item_ref, PROMISE_RESULT_KEY);
+                array_set(ctx.gc, results_ref, i, val);
+                promise_all_decrement(ctx.gc, result_promise);
+            } else if state == PROMISE_REJECTED {
+                let reason = promise_get_prop(ctx.gc, item_ref, PROMISE_RESULT_KEY);
+                reject_promise_internal(ctx.gc, result_promise, reason);
+                return Ok(Value::Object(result_promise));
+            } else {
+                // Pending: we need to register a reaction. Store index info.
+                promise_set_prop(
+                    ctx.gc,
+                    item_ref,
+                    &format!("__all_target_{i}__"),
+                    Value::Object(result_promise),
+                );
+                // Add a reaction — the microtask drain will handle all-tracking.
+                let chained = add_reaction(ctx.gc, item_ref, Value::Undefined, Value::Undefined);
+                promise_set_prop(ctx.gc, chained, "__all_index__", Value::Number(i as f64));
+                promise_set_prop(
+                    ctx.gc,
+                    chained,
+                    "__all_target__",
+                    Value::Object(result_promise),
+                );
+            }
+        } else {
+            // Non-promise value: treat as immediately resolved.
+            array_set(ctx.gc, results_ref, i, item);
+            promise_all_decrement(ctx.gc, result_promise);
+        }
+    }
+
+    Ok(Value::Object(result_promise))
+}
+
+fn promise_all_decrement(gc: &mut Gc<HeapObject>, result_promise: GcRef) {
+    let remaining = match promise_get_prop(gc, result_promise, "__all_remaining__") {
+        Value::Number(n) => n as usize,
+        _ => return,
+    };
+    let new_remaining = remaining.saturating_sub(1);
+    promise_set_prop(
+        gc,
+        result_promise,
+        "__all_remaining__",
+        Value::Number(new_remaining as f64),
+    );
+    if new_remaining == 0 {
+        let results = promise_get_prop(gc, result_promise, "__all_results__");
+        resolve_promise_internal(gc, result_promise, results);
+    }
+}
+
+fn promise_static_race(args: &[Value], ctx: &mut NativeContext) -> Result<Value, RuntimeError> {
+    let iterable = args.first().cloned().unwrap_or(Value::Undefined);
+    let arr_ref = match iterable.gc_ref() {
+        Some(r) => r,
+        None => {
+            let p = create_promise_object(ctx.gc);
+            reject_promise_internal(
+                ctx.gc,
+                p,
+                Value::String("Promise.race requires an iterable".to_string()),
+            );
+            return Ok(Value::Object(p));
+        }
+    };
+
+    let len = array_length(ctx.gc, arr_ref);
+    let result_promise = create_promise_object(ctx.gc);
+
+    for i in 0..len {
+        let item = array_get(ctx.gc, arr_ref, i);
+        if is_promise(ctx.gc, &item) {
+            let item_ref = item.gc_ref().unwrap();
+            let state = promise_state(ctx.gc, item_ref);
+            if state == PROMISE_FULFILLED {
+                let val = promise_get_prop(ctx.gc, item_ref, PROMISE_RESULT_KEY);
+                resolve_promise_internal(ctx.gc, result_promise, val);
+                return Ok(Value::Object(result_promise));
+            } else if state == PROMISE_REJECTED {
+                let reason = promise_get_prop(ctx.gc, item_ref, PROMISE_RESULT_KEY);
+                reject_promise_internal(ctx.gc, result_promise, reason);
+                return Ok(Value::Object(result_promise));
+            } else {
+                chain_promise(ctx.gc, item_ref, result_promise);
+            }
+        } else {
+            resolve_promise_internal(ctx.gc, result_promise, item);
+            return Ok(Value::Object(result_promise));
+        }
+    }
+
+    Ok(Value::Object(result_promise))
+}
+
+fn promise_static_all_settled(
+    args: &[Value],
+    ctx: &mut NativeContext,
+) -> Result<Value, RuntimeError> {
+    let iterable = args.first().cloned().unwrap_or(Value::Undefined);
+    let arr_ref = match iterable.gc_ref() {
+        Some(r) => r,
+        None => {
+            let p = create_promise_object(ctx.gc);
+            reject_promise_internal(
+                ctx.gc,
+                p,
+                Value::String("Promise.allSettled requires an iterable".to_string()),
+            );
+            return Ok(Value::Object(p));
+        }
+    };
+
+    let len = array_length(ctx.gc, arr_ref);
+    let result_promise = create_promise_object(ctx.gc);
+
+    if len == 0 {
+        let empty = make_value_array(ctx.gc, &[]);
+        resolve_promise_internal(ctx.gc, result_promise, empty);
+        return Ok(Value::Object(result_promise));
+    }
+
+    let results = make_value_array(ctx.gc, &vec![Value::Undefined; len]);
+    let results_ref = results.gc_ref().unwrap();
+
+    promise_set_prop(
+        ctx.gc,
+        result_promise,
+        "__all_remaining__",
+        Value::Number(len as f64),
+    );
+    promise_set_prop(ctx.gc, result_promise, "__all_results__", results);
+
+    for i in 0..len {
+        let item = array_get(ctx.gc, arr_ref, i);
+        if is_promise(ctx.gc, &item) {
+            let item_ref = item.gc_ref().unwrap();
+            let state = promise_state(ctx.gc, item_ref);
+            if state != PROMISE_PENDING {
+                let val = promise_get_prop(ctx.gc, item_ref, PROMISE_RESULT_KEY);
+                let status_str = if state == PROMISE_FULFILLED {
+                    "fulfilled"
+                } else {
+                    "rejected"
+                };
+                let entry =
+                    make_settled_entry(ctx.gc, status_str, &val, state == PROMISE_FULFILLED);
+                array_set(ctx.gc, results_ref, i, entry);
+                promise_all_decrement(ctx.gc, result_promise);
+            } else {
+                chain_promise(ctx.gc, item_ref, result_promise);
+            }
+        } else {
+            let entry = make_settled_entry(ctx.gc, "fulfilled", &item, true);
+            array_set(ctx.gc, results_ref, i, entry);
+            promise_all_decrement(ctx.gc, result_promise);
+        }
+    }
+
+    Ok(Value::Object(result_promise))
+}
+
+fn make_settled_entry(
+    gc: &mut Gc<HeapObject>,
+    status: &str,
+    value: &Value,
+    is_fulfilled: bool,
+) -> Value {
+    let mut data = ObjectData::new();
+    data.properties.insert(
+        "status".to_string(),
+        Property::data(Value::String(status.to_string())),
+    );
+    if is_fulfilled {
+        data.properties
+            .insert("value".to_string(), Property::data(value.clone()));
+    } else {
+        data.properties
+            .insert("reason".to_string(), Property::data(value.clone()));
+    }
+    Value::Object(gc.alloc(HeapObject::Object(data)))
+}
+
+fn promise_static_any(args: &[Value], ctx: &mut NativeContext) -> Result<Value, RuntimeError> {
+    let iterable = args.first().cloned().unwrap_or(Value::Undefined);
+    let arr_ref = match iterable.gc_ref() {
+        Some(r) => r,
+        None => {
+            let p = create_promise_object(ctx.gc);
+            reject_promise_internal(
+                ctx.gc,
+                p,
+                Value::String("Promise.any requires an iterable".to_string()),
+            );
+            return Ok(Value::Object(p));
+        }
+    };
+
+    let len = array_length(ctx.gc, arr_ref);
+    let result_promise = create_promise_object(ctx.gc);
+
+    if len == 0 {
+        // Reject with AggregateError.
+        let err = Value::String("All promises were rejected".to_string());
+        reject_promise_internal(ctx.gc, result_promise, err);
+        return Ok(Value::Object(result_promise));
+    }
+
+    let errors = make_value_array(ctx.gc, &vec![Value::Undefined; len]);
+    let errors_ref = errors.gc_ref().unwrap();
+
+    promise_set_prop(
+        ctx.gc,
+        result_promise,
+        "__any_remaining__",
+        Value::Number(len as f64),
+    );
+    promise_set_prop(ctx.gc, result_promise, "__any_errors__", errors);
+
+    for i in 0..len {
+        let item = array_get(ctx.gc, arr_ref, i);
+        if is_promise(ctx.gc, &item) {
+            let item_ref = item.gc_ref().unwrap();
+            let state = promise_state(ctx.gc, item_ref);
+            if state == PROMISE_FULFILLED {
+                let val = promise_get_prop(ctx.gc, item_ref, PROMISE_RESULT_KEY);
+                resolve_promise_internal(ctx.gc, result_promise, val);
+                return Ok(Value::Object(result_promise));
+            } else if state == PROMISE_REJECTED {
+                let reason = promise_get_prop(ctx.gc, item_ref, PROMISE_RESULT_KEY);
+                array_set(ctx.gc, errors_ref, i, reason);
+                promise_any_decrement(ctx.gc, result_promise);
+            } else {
+                chain_promise(ctx.gc, item_ref, result_promise);
+            }
+        } else {
+            resolve_promise_internal(ctx.gc, result_promise, item);
+            return Ok(Value::Object(result_promise));
+        }
+    }
+
+    Ok(Value::Object(result_promise))
+}
+
+fn promise_any_decrement(gc: &mut Gc<HeapObject>, result_promise: GcRef) {
+    let remaining = match promise_get_prop(gc, result_promise, "__any_remaining__") {
+        Value::Number(n) => n as usize,
+        _ => return,
+    };
+    let new_remaining = remaining.saturating_sub(1);
+    promise_set_prop(
+        gc,
+        result_promise,
+        "__any_remaining__",
+        Value::Number(new_remaining as f64),
+    );
+    if new_remaining == 0 {
+        let err = Value::String("All promises were rejected".to_string());
+        reject_promise_internal(gc, result_promise, err);
+    }
+}
+
 // ── JSON object ──────────────────────────────────────────────
 
 fn init_json_object(vm: &mut Vm) {
@@ -5487,4 +6319,46 @@ Array.prototype.flatMap = function(cb) {
         Err(_) => return,
     };
     let _ = vm.execute(&func);
+
+    // Promise constructor and static methods (defined in JS so the executor
+    // callback can be called as bytecode, not just native functions).
+    let promise_preamble = r#"
+function Promise(executor) {
+    var p = __Promise_create();
+    var alreadyResolved = false;
+    function resolve(value) {
+        if (!alreadyResolved) {
+            alreadyResolved = true;
+            __Promise_resolve(p, value);
+        }
+    }
+    function reject(reason) {
+        if (!alreadyResolved) {
+            alreadyResolved = true;
+            __Promise_reject(p, reason);
+        }
+    }
+    try {
+        executor(resolve, reject);
+    } catch (e) {
+        reject(e);
+    }
+    return p;
+}
+Promise.resolve = __Promise_static_resolve;
+Promise.reject = __Promise_static_reject;
+Promise.all = __Promise_static_all;
+Promise.race = __Promise_static_race;
+Promise.allSettled = __Promise_static_allSettled;
+Promise.any = __Promise_static_any;
+"#;
+    let ast = match crate::parser::Parser::parse(promise_preamble) {
+        Ok(ast) => ast,
+        Err(_) => return,
+    };
+    let func = match crate::compiler::compile(&ast) {
+        Ok(func) => func,
+        Err(_) => return,
+    };
+    let _ = vm.execute(&func);
 }
diff --git a/crates/js/src/vm.rs b/crates/js/src/vm.rs
index ffbd6c4..4951787 100644
--- a/crates/js/src/vm.rs
+++ b/crates/js/src/vm.rs
@@ -699,6 +699,8 @@ pub struct Vm {
     pub date_prototype: Option<GcRef>,
     /// Built-in RegExp.prototype (for RegExp constructor objects).
     pub regexp_prototype: Option<GcRef>,
+    /// Built-in Promise.prototype (for Promise objects).
+    pub promise_prototype: Option<GcRef>,
 }
 
 /// Maximum register file size.
@@ -722,6 +724,7 @@ impl Vm {
             boolean_prototype: None,
             date_prototype: None,
             regexp_prototype: None,
+            promise_prototype: None,
         };
         crate::builtins::init_builtins(&mut vm);
         vm
@@ -747,7 +750,231 @@ impl Vm {
             upvalues: Vec::new(),
         });
 
-        self.run()
+        let result = self.run()?;
+        self.drain_microtasks()?;
+        Ok(result)
+    }
+
+    /// Call a function (native or bytecode) from outside the execution loop.
+    /// Used by the microtask drain to execute promise callbacks.
+    pub fn call_function(
+        &mut self,
+        func_ref: GcRef,
+        args: &[Value],
+    ) -> Result<Value, RuntimeError> {
+        let (kind, upvalues) = match self.gc.get(func_ref) {
+            Some(HeapObject::Function(f)) => (f.kind.clone(), f.upvalues.clone()),
+            _ => return Err(RuntimeError::type_error("not a function")),
+        };
+
+        match kind {
+            FunctionKind::Native(native) => {
+                let this = self
+                    .globals
+                    .get("this")
+                    .cloned()
+                    .unwrap_or(Value::Undefined);
+                let mut ctx = NativeContext {
+                    gc: &mut self.gc,
+                    this,
+                };
+                (native.callback)(args, &mut ctx)
+            }
+            FunctionKind::Bytecode(bc) => {
+                let callee_func = bc.func;
+
+                // Save current frames and run the function in isolation.
+                let saved_frames = std::mem::take(&mut self.frames);
+
+                // Compute base after any existing register usage.
+                let base = saved_frames
+                    .last()
+                    .map(|f| f.base + f.func.register_count as usize)
+                    .unwrap_or(0);
+
+                let reg_count = callee_func.register_count as usize;
+                self.ensure_registers(base + reg_count);
+
+                // Copy arguments.
+                let param_count = callee_func.param_count as usize;
+                for (i, arg) in args.iter().enumerate() {
+                    if i < param_count {
+                        self.registers[base + i] = arg.clone();
+                    }
+                }
+                for i in args.len()..param_count {
+                    self.registers[base + i] = Value::Undefined;
+                }
+
+                self.frames.push(CallFrame {
+                    func: callee_func,
+                    ip: 0,
+                    base,
+                    return_reg: base,
+                    exception_handlers: Vec::new(),
+                    upvalues,
+                });
+
+                let result = self.run();
+
+                // Restore saved frames.
+                self.frames = saved_frames;
+
+                result
+            }
+        }
+    }
+
+    /// Drain the microtask queue. Called after execute() and recursively
+    /// until no more microtasks are pending.
+    fn drain_microtasks(&mut self) -> Result<(), RuntimeError> {
+        loop {
+            let tasks = crate::builtins::take_microtasks();
+            if tasks.is_empty() {
+                break;
+            }
+
+            for task in tasks {
+                match task.handler {
+                    Some(handler_ref) => {
+                        // Call the handler with the value.
+                        let result =
+                            self.call_function(handler_ref, std::slice::from_ref(&task.value));
+                        if let Some(chained) = task.chained_promise {
+                            // Check if this is a "finally" chain.
+                            let is_finally = matches!(
+                                crate::builtins::promise_get_prop_pub(
+                                    &self.gc,
+                                    chained,
+                                    "__finally__"
+                                ),
+                                Value::Boolean(true)
+                            );
+
+                            if is_finally {
+                                // finally: ignore handler result, propagate parent's result.
+                                match result {
+                                    Ok(_) => {
+                                        let parent = crate::builtins::promise_get_prop_pub(
+                                            &self.gc,
+                                            chained,
+                                            "__finally_parent__",
+                                        );
+                                        if let Some(parent_ref) = parent.gc_ref() {
+                                            let parent_state = crate::builtins::promise_state_pub(
+                                                &self.gc, parent_ref,
+                                            );
+                                            let parent_result =
+                                                crate::builtins::promise_get_prop_pub(
+                                                    &self.gc,
+                                                    parent_ref,
+                                                    "__promise_result__",
+                                                );
+                                            if parent_state == 1.0 {
+                                                crate::builtins::resolve_promise_internal(
+                                                    &mut self.gc,
+                                                    chained,
+                                                    parent_result,
+                                                );
+                                            } else {
+                                                crate::builtins::reject_promise_internal(
+                                                    &mut self.gc,
+                                                    chained,
+                                                    parent_result,
+                                                );
+                                            }
+                                        }
+                                    }
+                                    Err(err) => {
+                                        let err_val = err.to_value(&mut self.gc);
+                                        crate::builtins::reject_promise_internal(
+                                            &mut self.gc,
+                                            chained,
+                                            err_val,
+                                        );
+                                    }
+                                }
+                            } else {
+                                match result {
+                                    Ok(val) => {
+                                        // If result is a promise, chain it.
+                                        if crate::builtins::is_promise_pub(&self.gc, &val) {
+                                            if let Some(val_ref) = val.gc_ref() {
+                                                let state = crate::builtins::promise_state_pub(
+                                                    &self.gc, val_ref,
+                                                );
+                                                if state == 1.0 {
+                                                    let r = crate::builtins::promise_get_prop_pub(
+                                                        &self.gc,
+                                                        val_ref,
+                                                        "__promise_result__",
+                                                    );
+                                                    crate::builtins::resolve_promise_internal(
+                                                        &mut self.gc,
+                                                        chained,
+                                                        r,
+                                                    );
+                                                } else if state == 2.0 {
+                                                    let r = crate::builtins::promise_get_prop_pub(
+                                                        &self.gc,
+                                                        val_ref,
+                                                        "__promise_result__",
+                                                    );
+                                                    crate::builtins::reject_promise_internal(
+                                                        &mut self.gc,
+                                                        chained,
+                                                        r,
+                                                    );
+                                                } else {
+                                                    crate::builtins::chain_promise_pub(
+                                                        &mut self.gc,
+                                                        val_ref,
+                                                        chained,
+                                                    );
+                                                }
+                                            }
+                                        } else {
+                                            crate::builtins::resolve_promise_internal(
+                                                &mut self.gc,
+                                                chained,
+                                                val,
+                                            );
+                                        }
+                                    }
+                                    Err(err) => {
+                                        let err_val = err.to_value(&mut self.gc);
+                                        crate::builtins::reject_promise_internal(
+                                            &mut self.gc,
+                                            chained,
+                                            err_val,
+                                        );
+                                    }
+                                }
+                            }
+                        }
+                    }
+                    None => {
+                        // No handler: identity for fulfillment, thrower for rejection.
+                        if let Some(chained) = task.chained_promise {
+                            if task.is_fulfillment {
+                                crate::builtins::resolve_promise_internal(
+                                    &mut self.gc,
+                                    chained,
+                                    task.value,
+                                );
+                            } else {
+                                crate::builtins::reject_promise_internal(
+                                    &mut self.gc,
+                                    chained,
+                                    task.value,
+                                );
+                            }
+                        }
+                    }
+                }
+            }
+        }
+        Ok(())
     }
 
     /// Ensure the register file has at least `needed` slots.
@@ -824,6 +1051,9 @@ impl Vm {
         if let Some(r) = self.boolean_prototype {
             roots.push(r);
         }
+        if let Some(r) = self.promise_prototype {
+            roots.push(r);
+        }
         roots
     }
 
@@ -4816,4 +5046,381 @@ mod tests {
         assert!(eval("var ws = new WeakSet(); ws.add('str')").is_err());
         assert!(eval("var ws = new WeakSet(); ws.add(42)").is_err());
     }
+
+    // ── Promise tests ────────────────────────────────────────────
+
+    #[test]
+    fn test_promise_typeof() {
+        match eval("typeof Promise").unwrap() {
+            Value::String(s) => assert_eq!(s, "function"),
+            v => panic!("expected 'function', got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_static_resolve_exists() {
+        match eval("typeof Promise.resolve").unwrap() {
+            Value::String(s) => assert_eq!(s, "function"),
+            v => panic!("expected 'function', got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_resolve_returns_object() {
+        match eval("typeof Promise.resolve(42)").unwrap() {
+            Value::String(s) => assert_eq!(s, "object"),
+            v => panic!("expected 'object', got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_resolve_then_exists() {
+        match eval("typeof Promise.resolve(42).then").unwrap() {
+            Value::String(s) => assert_eq!(s, "function"),
+            v => panic!("expected 'function', got {v:?}"),
+        }
+    }
+
+    /// Helper: eval JS, then read an undeclared global set by callbacks.
+    /// NOTE: Variables set inside closures MUST NOT be declared with `var`
+    /// in the same scope that creates the closure, because the compiler
+    /// would put them in Cells instead of globals.
+    fn eval_global(source: &str, name: &str) -> Result<Value, RuntimeError> {
+        let program = Parser::parse(source).expect("parse failed");
+        let func = compiler::compile(&program).expect("compile failed");
+        let mut vm = Vm::new();
+        vm.execute(&func)?;
+        Ok(vm.globals.get(name).cloned().unwrap_or(Value::Undefined))
+    }
+
+    #[test]
+    fn test_promise_resolve_then() {
+        // Don't use `var result` — it would be captured. Use implicit global.
+        match eval_global(
+            "Promise.resolve(42).then(function(v) { result = v; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::Number(n) => assert_eq!(n, 42.0),
+            v => panic!("expected 42, got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_reject_catch() {
+        // Use bracket notation for catch (it's a keyword in the parser).
+        match eval_global(
+            "Promise.reject('err')['catch'](function(e) { result = e; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::String(s) => assert_eq!(s, "err"),
+            v => panic!("expected 'err', got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_constructor_resolve() {
+        match eval_global(
+            "var p = Promise(function(resolve) { resolve(10); }); p.then(function(v) { result = v; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::Number(n) => assert_eq!(n, 10.0),
+            v => panic!("expected 10, got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_constructor_reject() {
+        match eval_global(
+            "var p = Promise(function(resolve, reject) { reject('fail'); }); p['catch'](function(e) { result = e; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::String(s) => assert_eq!(s, "fail"),
+            v => panic!("expected 'fail', got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_executor_runs_synchronously() {
+        // Executor runs synchronously. Use eval to check completion value.
+        match eval("var x = 'before'; Promise(function(resolve) { x = 'during'; resolve(); }); x")
+            .unwrap()
+        {
+            Value::String(s) => assert_eq!(s, "during"),
+            v => panic!("expected 'during', got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_then_chaining() {
+        match eval_global(
+            "Promise.resolve(1).then(function(v) { return v + 1; }).then(function(v) { result = v; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::Number(n) => assert_eq!(n, 2.0),
+            v => panic!("expected 2, got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_catch_returns_to_then() {
+        match eval_global(
+            "Promise.reject('err')['catch'](function(e) { return 'recovered'; }).then(function(v) { result = v; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::String(s) => assert_eq!(s, "recovered"),
+            v => panic!("expected 'recovered', got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_then_error_goes_to_catch() {
+        // When a then handler throws, the rejection reason is the thrown value
+        // wrapped in an Error object by the VM. Check it's an object.
+        match eval_global(
+            "Promise.resolve(1).then(function(v) { throw 'oops'; })['catch'](function(e) { result = typeof e; });",
+            "result",
+        )
+        .unwrap()
+        {
+            // The thrown string gets wrapped in an error object by RuntimeError::to_value.
+            Value::String(s) => assert!(
+                s == "object" || s == "string",
+                "expected 'object' or 'string', got '{s}'"
+            ),
+            v => panic!("expected string type, got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_resolve_with_promise() {
+        match eval_global(
+            "var p = Promise.resolve(99); p.then(function(v) { result = v; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::Number(n) => assert_eq!(n, 99.0),
+            v => panic!("expected 99, got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_multiple_then() {
+        match eval_global(
+            "var p = Promise.resolve(5); p.then(function(v) { a = v; }); p.then(function(v) { b = v * 2; });",
+            "a",
+        )
+        .unwrap()
+        {
+            Value::Number(n) => assert_eq!(n, 5.0),
+            v => panic!("expected 5, got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_double_resolve_ignored() {
+        match eval_global(
+            "var p = Promise(function(resolve) { resolve(1); resolve(2); }); p.then(function(v) { result = v; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::Number(n) => assert_eq!(n, 1.0),
+            v => panic!("expected 1, got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_executor_throw_rejects() {
+        match eval_global(
+            "var p = Promise(function() { throw 'boom'; }); p['catch'](function(e) { result = e; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::String(s) => assert_eq!(s, "boom"),
+            v => panic!("expected 'boom', got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_finally_fulfilled() {
+        match eval_global(
+            "Promise.resolve(42)['finally'](function() { result = 'done'; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::String(s) => assert_eq!(s, "done"),
+            v => panic!("expected 'done', got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_finally_rejected() {
+        match eval_global(
+            "Promise.reject('err')['finally'](function() { result = 'done'; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::String(s) => assert_eq!(s, "done"),
+            v => panic!("expected 'done', got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_all_empty() {
+        match eval_global(
+            "Promise.all([]).then(function(v) { result = v.length; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::Number(n) => assert_eq!(n, 0.0),
+            v => panic!("expected 0, got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_all_resolved() {
+        match eval_global(
+            "Promise.all([Promise.resolve(1), Promise.resolve(2), Promise.resolve(3)]).then(function(v) { result = v[0] + v[1] + v[2]; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::Number(n) => assert_eq!(n, 6.0),
+            v => panic!("expected 6, got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_all_rejects_on_first() {
+        match eval_global(
+            "Promise.all([Promise.resolve(1), Promise.reject('fail')])['catch'](function(e) { result = e; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::String(s) => assert_eq!(s, "fail"),
+            v => panic!("expected 'fail', got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_race_first_wins() {
+        match eval_global(
+            "Promise.race([Promise.resolve('first'), Promise.resolve('second')]).then(function(v) { result = v; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::String(s) => assert_eq!(s, "first"),
+            v => panic!("expected 'first', got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_race_reject_wins() {
+        match eval_global(
+            "Promise.race([Promise.reject('err')])['catch'](function(e) { result = e; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::String(s) => assert_eq!(s, "err"),
+            v => panic!("expected 'err', got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_any_first_fulfilled() {
+        match eval_global(
+            "Promise.any([Promise.reject('a'), Promise.resolve('b')]).then(function(v) { result = v; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::String(s) => assert_eq!(s, "b"),
+            v => panic!("expected 'b', got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_any_all_rejected() {
+        match eval_global(
+            "Promise.any([Promise.reject('a'), Promise.reject('b')])['catch'](function(e) { result = e; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::String(ref s) if s.contains("rejected") => {}
+            v => panic!("expected AggregateError string, got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_all_with_non_promises() {
+        match eval_global(
+            "Promise.all([1, 2, 3]).then(function(v) { result = v[0] + v[1] + v[2]; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::Number(n) => assert_eq!(n, 6.0),
+            v => panic!("expected 6, got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_race_with_non_promise() {
+        match eval_global(
+            "Promise.race([42]).then(function(v) { result = v; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::Number(n) => assert_eq!(n, 42.0),
+            v => panic!("expected 42, got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_then_identity_passthrough() {
+        match eval_global(
+            "Promise.resolve(7).then().then(function(v) { result = v; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::Number(n) => assert_eq!(n, 7.0),
+            v => panic!("expected 7, got {v:?}"),
+        }
+    }
+
+    #[test]
+    fn test_promise_catch_passthrough() {
+        match eval_global(
+            "Promise.resolve(99)['catch'](function(e) { result = 'bad'; }).then(function(v) { result = v; });",
+            "result",
+        )
+        .unwrap()
+        {
+            Value::Number(n) => assert_eq!(n, 99.0),
+            v => panic!("expected 99, got {v:?}"),
+        }
+    }
 }
diff --git a/crates/js/tests/test262.rs b/crates/js/tests/test262.rs
index 750fd1b..9f47152 100644
--- a/crates/js/tests/test262.rs
+++ b/crates/js/tests/test262.rs
@@ -125,7 +125,6 @@ const UNSUPPORTED_FEATURES: &[&str] = &[
     "WeakSet",
     "FinalizationRegistry",
     // Async
-    "Promise",
     "async-functions",
     "async-iteration",
     "top-level-await",