bao_browser/

runtime_bridge.rs

// @trace REQ-BRW-003 [entity:CdpRouter] [entity:CdpSession]  REQ-BRW-001: Bridge between servo browser context and Node.js APIs
// REQ-ENG-007: Unified runtime coordination
//
// Architecture: dual-Realm isolation via SpiderMonkey compartments
// - servo's JSContext handles DOM + Web APIs in Page Realm (Window global)
// - Bao creates a separate Node Realm (JS_NewGlobalObject) for privileged scripts
// - Node Realm is in its own Compartment — Page Realm physically cannot see it
// - evaluate_js() uses EnterRealm(Node) → execute → LeaveRealm → back to Page Realm
// - evaluate_js_web() executes directly in Page Realm (no Realm switch needed)
//
// JSContext fusion:
// - servo creates JSContext internally in JSEngineSetup::default()
// - Both Realms share the same JSContext (servo's script thread)
// - GC is shared across both Realms
// - Node Realm lifecycle is tied to Page — destroyed when Page closes

use crate::error::BrowserError;
use crate::page::PageHandle;
// NOTE: bao_engine::WebWorker bypass removed per DEC-WK-001 BCE-20260627-008.
// Workers now route through servo's native Worker::Constructor.
use dashmap::DashMap;
use mozjs::rooted;
use std::cell::RefCell;
use std::ptr::{self, NonNull};
use std::sync::atomic::{AtomicBool, Ordering};
use std::sync::mpsc;
use std::sync::{Arc, OnceLock};

use std::time::Duration;

// @trace REQ-SEC-002 [entity:EvaluateResult]
/// Result of evaluating a script in the Node Realm.
///
/// Captures the serialized return value or an error message from
/// `evaluate_in_node_realm`. Both fields are `Option<String>`:
/// - `value` is `Some` when the script produced a non-undefined result.
/// - `error` is `Some` when the evaluation or serialization failed.
///
/// At most one of `value` / `error` is `Some` — never both.
#[derive(Debug, Clone, PartialEq, Eq, Default)]
pub struct EvaluateResult {
    /// Serialized JS return value (JSON string), or None if undefined/error.
    pub value: Option<String>,
    /// Error message when evaluation failed, or None on success.
    pub error: Option<String>,
}

impl EvaluateResult {
    /// Create an ok result with a serialized value.
    pub fn ok(value: String) -> Self {
        EvaluateResult {
            value: Some(value),
            error: None,
        }
    }

    /// Create an error result with a message.
    pub fn err(error: String) -> Self {
        EvaluateResult {
            value: None,
            error: Some(error),
        }
    }

    /// Returns true when the evaluation succeeded (no error).
    pub fn is_ok(&self) -> bool {
        self.error.is_none()
    }

    /// Returns true when the evaluation failed.
    pub fn is_err(&self) -> bool {
        self.error.is_some()
    }
}

// @trace REQ-SEC-002 REQ-SEC-003 [req:REQ-SEC-002,REQ-SEC-003]
// Per-page Node Realm storage, keyed by WebViewId (NOT by raw *mut JSObject).
//
// BCE-20260621-001 ROOT CAUSE: previous design used three process-wide statics
// (NODE_REALMS: DashMap<usize,usize>, PAGE_GLOBALS: DashMap<usize,usize>,
// LAST_PAGE_GLOBAL: AtomicUsize) holding cross-thread *mut JSObject raw pointers.
// servo spawns one ScriptThread per pipeline on its own OS thread
// (components/script/script_thread.rs:527 `thread::Builder::new().name("Script#{id}")`)
// each with a thread-local JSContext (script_runtime.rs:740 `cx()` reads from
// `RustRuntime::get()` thread-local slot; SAFETY: "only one JSContext can exist
// on the thread"). Globals storing cross-thread *mut JSObject → callback for
// page B might dereference a JSObject created on page A's ScriptThread with
// page B's cx → activation stack corruption → SIGSEGV in
// js::jit::BaselineFrame::initForOsr (BaselineFrame.cpp:153).
//
// ROOT FIX (BCE-20260621-001):
// - NODE_REALM_BY_WEBVIEW: per-page node_global keyed by WebViewId. Values are
//   raw pointers but they are ONLY ever dereferenced on the same ScriptThread
//   that created them (via the WebViewId-keyed servo callback which always
//   runs on that page's ScriptThread). The main thread reads the pointer as
//   an opaque address and passes it back into another WebViewId-keyed callback;
//   it never dereferences it.
// - PAGE_GLOBAL_BY_WEBVIEW: per-page servo Window global, also keyed by
//   WebViewId, also only dereferenced inside that page's ScriptThread callback.
// - LAST_PAGE_GLOBAL: ELIMINATED. inject_node_apis_with_stealth now passes the
//   WebViewId through and reads the page_global via a per-WebViewId OnceLock,
//   not a process-wide global. This removes the "last writer wins" race that
//   caused PageInner to capture the wrong page's pointer.
// - thread_local! PER_THREAD_PAGE_GLOBAL: for lazy_dom_getter_impl, which
//   executes inside a ScriptThread (one WebView per ScriptThread), so a
//   thread-local is correct and avoids any cross-thread pointer storage.
//
// @trace REQ-PERF-003 [entity:BufferManager]
// REQ-PERF-003: WebViewId-keyed OnceLock<DashMap> gives O(1) per-page lookup
// with DashMap sharded locks; OnceLock avoids lazy_static overhead.
//
// @trace REQ-BRW-003 [req:REQ-BRW-003] [criterion:C10]
// C10 (NFR-THREAD-SAFETY): no cross-thread *mut JSObject dereference. Pointers
// flow only WebViewId-keyed ⇒ same-ScriptThread access.
static NODE_REALM_BY_WEBVIEW: OnceLock<DashMap<servo::WebViewId, usize>> = OnceLock::new();
static PAGE_GLOBAL_BY_WEBVIEW: OnceLock<DashMap<servo::WebViewId, usize>> = OnceLock::new();

fn node_realm_by_webview() -> &'static DashMap<servo::WebViewId, usize> {
    NODE_REALM_BY_WEBVIEW.get_or_init(DashMap::new)
}

fn page_global_by_webview() -> &'static DashMap<servo::WebViewId, usize> {
    PAGE_GLOBAL_BY_WEBVIEW.get_or_init(DashMap::new)
}

// ScriptThread-local current page_global. Used by lazy_dom_getter_impl, which
// runs as a JSNative ON the ScriptThread. Set during create_node_realm_native
// and inject callbacks (same thread). SAFETY: only ever read/written on the
// owning ScriptThread; Send/Sync are NOT required for thread_local! data.
thread_local! {
    static PER_THREAD_PAGE_GLOBAL: RefCell<*mut mozjs::jsapi::JSObject> =
        const { RefCell::new(ptr::null_mut()) };
}

/// Store a Node Realm global pointer for a specific page, keyed by WebViewId.
///
/// SAFETY contract (BCE-20260621-001 C10): both pointers must have been created
/// on the same ScriptThread that owns `webview_id`. The pointers are stored as
/// addresses only; they MUST NOT be dereferenced off that ScriptThread.
fn store_node_realm(
    webview_id: servo::WebViewId,
    page_global: *mut mozjs::jsapi::JSObject,
    node_global: *mut mozjs::jsapi::JSObject,
) {
    node_realm_by_webview().insert(webview_id, node_global as usize);
    page_global_by_webview().insert(webview_id, page_global as usize);
}

/// Look up Node Realm global pointer for a specific page (by WebViewId).
///
/// Returns an opaque address — callers must only use it on the same ScriptThread
/// that owns `webview_id` (i.e., inside a `register_script_thread_callback`
/// callback for that WebViewId).
fn get_node_realm_by_id(webview_id: servo::WebViewId) -> *mut mozjs::jsapi::JSObject {
    match node_realm_by_webview().get(&webview_id) {
        Some(v) => *v as *mut mozjs::jsapi::JSObject,
        None => ptr::null_mut(),
    }
}

/// Look up servo Window global pointer for a specific page (by WebViewId).
fn get_page_global_by_id(webview_id: servo::WebViewId) -> *mut mozjs::jsapi::JSObject {
    match page_global_by_webview().get(&webview_id) {
        Some(v) => *v as *mut mozjs::jsapi::JSObject,
        None => ptr::null_mut(),
    }
}

/// Remove Node Realm for a specific page (called on page close).
pub fn remove_node_realm_by_id(webview_id: servo::WebViewId) {
    node_realm_by_webview().remove(&webview_id);
    page_global_by_webview().remove(&webview_id);
}

/// Clear all stored Node Realm pointers (for test isolation).
fn clear_all_node_realms() {
    node_realm_by_webview().clear();
    page_global_by_webview().clear();
}

/// Test serialization lock for per-page storage operations.
/// cargo test runs tests in parallel by default; tests that share the global
/// maps must be serialized to prevent data races (store from test A cleared
/// by test B).
static TEST_SERIAL_LOCK: std::sync::OnceLock<std::sync::Mutex<()>> = std::sync::OnceLock::new();

fn test_serial_lock() -> &'static std::sync::Mutex<()> {
    TEST_SERIAL_LOCK.get_or_init(|| std::sync::Mutex::new(()))
}

/// Register a callback to refresh DOM proxies in the Node Realm after navigation.
///
/// After page navigation, servo replaces the Window/Document/Navigator objects.
/// This function registers a script thread callback that updates the
/// per-WebViewId page_global mapping so lazy DOM getters find the new
/// Page Realm. The Node Realm itself survives (user JS state preserved).
pub fn register_refresh_dom_proxies(
    webview_id: servo::WebViewId,
    _old_page_global: *mut mozjs::jsapi::JSObject,
) {
    // Capture the WebViewId by value. We do NOT need the old page_global
    // pointer anymore — the mapping is keyed by WebViewId, and the callback
    // receives the NEW page_global directly from servo.
    let callback: Box<dyn FnOnce(*mut std::ffi::c_void, *mut std::ffi::c_void) + Send> =
        Box::new(move |_cx_ptr, new_page_global_ptr| unsafe {
            refresh_dom_proxies_native(webview_id, new_page_global_ptr);
        });

    servo::register_script_thread_callback(webview_id, callback);
}

/// Native implementation: refresh per-page mapping after navigation.
///
/// Called on servo's script thread for `webview_id` with the NEW page_global.
/// Updates PAGE_GLOBAL_BY_WEBVIEW so lazy getters find the new Page Realm.
unsafe fn refresh_dom_proxies_native(
    webview_id: servo::WebViewId,
    new_page_global_ptr: *mut std::ffi::c_void,
) {
    use mozjs::jsapi::JSObject;

    let new_page_global = new_page_global_ptr as *mut JSObject;

    if new_page_global.is_null() {
        return;
    }

    // Update the per-WebViewId page_global mapping. Lazy DOM getters will
    // fetch from the new Page Realm going forward.
    let old_page_global_opt = page_global_by_webview().get(&webview_id).map(|v| *v);
    page_global_by_webview().insert(webview_id, new_page_global as usize);

    // BUG-ENG-366: re-key the per-Realm stealth profile so the new Page Realm
    // global inherits the page's stealth profile (Canvas/Navigator/WebGL/Audio
    // seeds stay stable across same-origin navigation). The Node Realm global
    // keeps its own alias entry which still points at the same profile Arc.
    // @trace REQ-SEC-002 [req:REQ-SEC-002] [req:BUG-ENG-366]
    if let Some(old_addr) = old_page_global_opt {
        bao_stealth::engine_props::register_global_alias(old_addr, new_page_global as usize);
    }
}

/// Create a Node Realm (independent SpiderMonkey Compartment) for privileged evaluate_js.
///
/// Uses `register_script_thread_callback` to queue a callback that:
/// 1. Creates a new global object via JS_NewGlobalObject in a NEW Compartment
///    (CompartmentSpecifier::NewCompartmentAndZone) — physically isolated from Page Realm
/// 2. Installs all Node.js/Bun APIs on the Node Realm global
/// 3. Stores the Node Realm global pointer keyed by WebViewId for the caller to retrieve
///
/// Returns true if the callback was queued. After `drain_callbacks`, the caller
/// can read the node_global pointer via `get_node_realm_global(webview_id)`.
///
/// # Safety
///
/// Must be called before any evaluate_js. The stored pointer is valid
/// until the Page is closed (which destroys the Node Realm).
//
// @trace REQ-BRW-003 [req:REQ-BRW-003] [criterion:C10]
// BCE-20260621-001: storage is keyed by WebViewId, not by *mut JSObject. The
// raw pointer is created and consumed on the SAME ScriptThread that owns this
// WebViewId (servo routes callbacks by WebViewId). No cross-thread *mut JSObject
// dereference.
pub fn create_node_realm(webview_id: servo::WebViewId) -> bool {
    let callback: Box<dyn FnOnce(*mut std::ffi::c_void, *mut std::ffi::c_void) + Send> =
        Box::new(move |cx_ptr, page_global_ptr| unsafe {
            create_node_realm_native(webview_id, cx_ptr, page_global_ptr);
        });

    servo::register_script_thread_callback(webview_id, callback);

    true
}

/// Get the Node Realm global pointer for a specific page (by WebViewId).
///
/// Returns the opaque address of the Node Realm's global JSObject. Callers
/// MUST only dereference this pointer inside a `register_script_thread_callback`
/// callback for the same WebViewId (which runs on the owning ScriptThread).
//
// @trace REQ-BRW-003 [req:REQ-BRW-003] [criterion:C10]
pub fn get_node_realm_global(webview_id: servo::WebViewId) -> *mut mozjs::jsapi::JSObject {
    get_node_realm_by_id(webview_id)
}

/// Get the servo Window global pointer for a specific page (by WebViewId).
///
/// Returns the opaque address of servo's Window global JSObject. Same
/// ScriptThread-only dereference contract as `get_node_realm_global`.
pub fn get_page_global(webview_id: servo::WebViewId) -> *mut mozjs::jsapi::JSObject {
    get_page_global_by_id(webview_id)
}

/// Evaluate a script in the Node Realm using AutoRealm.
///
/// This is the core of the dual-Realm architecture:
/// `mozjs::rust::evaluate_script` internally uses `AutoRealm::new_from_handle(cx, glob)`
/// which enters the Node Realm, evaluates the script, then leaves on drop.
///
/// The script has full access to Node.js APIs (require/Bun/process/Buffer)
/// because they are installed on the Node Realm global.
///
/// Results are written into `result_out` (shared via `Arc<OnceLock<>>`):
/// - On success, `value` is set to the serialized JS return value.
/// - On failure, `error` is set to a descriptive message.
///
/// # Safety
///
/// Must be called on servo's script thread. `cx_ptr` must be a valid
/// JSContext. `node_global` must be a valid, live JSObject (the Node
/// Realm global). `script` must be valid UTF-8.
pub unsafe fn evaluate_in_node_realm(
    cx_ptr: *mut std::ffi::c_void,
    node_global: *mut mozjs::jsapi::JSObject,
    script: &str,
    result_out: Arc<OnceLock<EvaluateResult>>,
) {
    use mozjs::context::JSContext;
    use mozjs::jsapi::JSContext as RawJSContext;
    use mozjs::jsval::UndefinedValue;
    use mozjs::realm::AutoRealm;
    use mozjs::rust::evaluate_script;
    use mozjs::rust::CompileOptionsWrapper;

    if node_global.is_null() {
        let _ = result_out.set(EvaluateResult::err("node_global is null".into()));
        return;
    }

    let raw_cx = cx_ptr as *mut RawJSContext;
    let cx_nn = match NonNull::new(raw_cx) {
        Some(nn) => nn,
        None => {
            let _ = result_out.set(EvaluateResult::err("JSContext pointer is null".into()));
            return;
        }
    };

    let mut cx = JSContext::from_ptr(cx_nn);

    // Enter Node Realm via AutoRealm — this is the core isolation mechanism.
    // evaluate_script evaluates within the entered Realm's compartment,
    // so the script sees only the Node Realm global (with Node.js + Web APIs).
    // The Page Realm's Window global is physically inaccessible from here.
    //
    // SAFETY: node_global is a valid, live JSObject pointer (checked above).
    // AutoRealm::new roots the object internally via JSAutoRealm, ensuring
    // GC safety. We then use global_and_reborrow() to obtain a GC-safe Handle
    // (backed by AutoRealm's internal rooting) instead of from_marked_location
    // which would point to an unrooted stack location.
    let mut realm = AutoRealm::new(&mut cx, NonNull::new(node_global).unwrap());
    let (node_global_handle, realm) = realm.global_and_reborrow();

    let filename = c"bao_evaluate_js".to_owned();
    let mut options = CompileOptionsWrapper::new(realm, filename, 1);
    // BAO PATCH (BCE-20260622-004): Suppress `DebugAPI::onNewScript` for this
    // compilation. Without it, every new script triggers `onNewScript` →
    // `RememberSourceURL` → `AtomizeUTF8Chars` → `AtomCacheHashTable::lookupForAdd`,
    // which in a multi-Realm create/destroy lifecycle dereferences GC'd atom
    // chars (0x4b4b4b4b... jemalloc poison) → SIGSEGV in `InflateUTF8ToUTF16`.
    // `set_hide_script_from_debugger(true)` makes `FireOnNewScript` skip the
    // call entirely. Safe because bao uses `bao_cdp` (its own CDP), never
    // servo's JS::Debugger devtools — no consumer needs these onNewScript events.
    options.set_hide_script_from_debugger(true);

    rooted!(&in(realm) let mut rval = UndefinedValue());
    let eval_result = evaluate_script(
        realm,
        node_global_handle,
        script,
        rval.handle_mut(),
        options,
    );

    if eval_result.is_err() {
        let _ = result_out.set(EvaluateResult {
            value: None,
            error: Some("evaluate_script returned Err (JS exception thrown)".into()),
        });
        return;
    }

    // Page WebSocket pump (async WS root fix): servo evaluates are one-shot
    // (no CLI-style post-eval loop), so consume completed background
    // connects (onopen/onerror) and inbound frames (onmessage/onclose) here.
    // `ws_pump_all` AutoRealms per entry, so it is realm-agnostic; run it
    // inside the node realm borrow (raw_cx unchanged).
    bun_runtime::web_api::ws_pump_all(raw_cx);

    // Serialize rval to a string. Undefined is treated as no value.
    let rval_val = rval.get();
    let value = if rval_val.is_undefined() {
        None
    } else if rval_val.is_string() {
        // SAFETY: we just checked is_string(), so to_string returns a valid JSString pointer.
        let js_str = rval_val.to_string();
        if js_str.is_null() {
            Some(String::new())
        } else {
            // Use mozjs's built-in unsafe_jsstr_to_string for safe UTF-8 conversion.
            // It handles both Latin1 and TwoByte JS string encodings.
            let raw_cx = realm.raw_cx();
            match NonNull::new(js_str) {
                Some(nn) => Some(mozjs::conversions::unsafe_jsstr_to_string(raw_cx, nn)),
                None => Some(String::new()),
            }
        }
    } else if rval_val.is_number() {
        Some(rval_val.to_number().to_string())
    } else if rval_val.is_boolean() {
        Some(rval_val.to_boolean().to_string())
    } else if rval_val.is_null() {
        Some("null".into())
    } else {
        // Object / symbol / bigint — represent as debug string.
        Some("[JSValue:object]".into())
    };
    let _ = result_out.set(EvaluateResult { value, error: None });
}

/// Evaluate a script in the Node Realm via servo's script thread callback mechanism.
///
/// This is the primary entry point for B1 (evaluate_js Node Realm switch).
/// It registers a callback on servo's script thread that:
/// 1. Reads the Node Realm global pointer keyed by `webview_id`
/// 2. Calls `evaluate_in_node_realm` with the script
/// 3. Writes the result to the shared `Arc<OnceLock<EvaluateResult>>`
///
/// The caller must call `page.drain_callbacks()` after this to trigger execution.
///
/// Returns the shared result handle — read after drain_callbacks completes
/// (use `result.get()` to obtain the EvaluateResult).
//
// @trace REQ-PERF-004 [entity:DomainDispatch]
// REQ-PERF-004 验收:JS 求值结果用 `Arc<OnceLock<EvaluateResult>>` 替代
// `Arc<Mutex<EvaluateResult>>`。OnceLock 语义匹配"单次写多次读"场景:
// script 在 script_thread 执行一次写入,主线程 drain 后读取,无需 Mutex 互斥。
//
// @trace REQ-BRW-003 [req:REQ-BRW-003] [criterion:C2,C4,C10]
// BCE-20260621-001: lookup is keyed by WebViewId (not raw *mut JSObject). The
// callback runs on the ScriptThread that owns this WebViewId (servo routes by
// WebViewId), so the node_global pointer is dereferenced on its home thread —
// no cross-thread *mut JSObject access, no activation-stack corruption.
pub fn evaluate_js_via_node_realm(
    webview_id: servo::WebViewId,
    script: &str,
) -> Arc<OnceLock<EvaluateResult>> {
    let result = Arc::new(OnceLock::new());
    let result_clone = result.clone();
    let script_owned = script.to_string();

    let callback: Box<dyn FnOnce(*mut std::ffi::c_void, *mut std::ffi::c_void) + Send> = Box::new(
        move |cx_ptr: *mut std::ffi::c_void, _page_global: *mut std::ffi::c_void| {
            // Look up Node Realm for THIS page via WebViewId. servo routes this
            // callback to the ScriptThread that owns this WebViewId, so the
            // node_global pointer is dereferenced on the thread that created it.
            let node_global = get_node_realm_by_id(webview_id);
            unsafe {
                evaluate_in_node_realm(cx_ptr, node_global, &script_owned, result_clone);
            }
        },
    );

    servo::register_script_thread_callback(webview_id, callback);
    result
}

/// Bridge callback: create Node Realm on servo's script thread.
///
/// Creates a new JS global object in its own Compartment (NewCompartmentAndZone),
/// installs all Node.js/Bun APIs on it, wraps DOM proxies from Page Realm,
/// and stores the global pointer keyed by `webview_id` for the caller to retrieve.
///
/// The Node Realm is physically isolated from the Page Realm —
/// Page JS cannot enumerate or discover any objects in the Node Realm.
///
/// DOM access (REQ-SEC-002 criterion 5): window/document/navigator from the
/// Page Realm are wrapped via JS_WrapObject and installed as properties on
/// the Node Realm global. This creates cross-Compartment proxies that allow
/// trusted scripts to access DOM while maintaining Compartment isolation.
//
// @trace REQ-BRW-003 [req:REQ-BRW-003] [criterion:C10]
// BCE-20260621-001: store_node_realm uses WebViewId (Copy+Hash+Eq) as key —
// not the raw *mut JSObject address. The pointers remain valid because the
// Node Realm is owned by this ScriptThread and is only ever touched from
// WebViewId-keyed callbacks that run on this same ScriptThread.
unsafe fn create_node_realm_native(
    webview_id: servo::WebViewId,
    cx_ptr: *mut std::ffi::c_void,
    page_global_ptr: *mut std::ffi::c_void,
) {
    use mozjs::context::JSContext;
    use mozjs::jsapi::{
        JSContext as RawJSContext, JSObject, JS_FireOnNewGlobalObject, OnNewGlobalHookOption,
    };
    use mozjs::realm::AutoRealm;
    use mozjs::rust::wrappers2::{JS_NewGlobalObject, JS_SetProperty, JS_WrapObject};
    use mozjs::rust::{Handle, MutableHandle, SIMPLE_GLOBAL_CLASS};

    let raw_cx = cx_ptr as *mut RawJSContext;
    let page_global = page_global_ptr as *mut JSObject;
    let cx_nn = match NonNull::new(raw_cx) {
        Some(nn) => nn,
        None => return,
    };

    let mut cx = JSContext::from_ptr(cx_nn);

    // Node-semantics realm (bun_runtime globals installed below):
    // SharedArrayBuffer/Atomics standard classes on, unlike servo's web page
    // realms which keep the shared-memory flag off (cross-site-isolated gating).
    let mut options = bao_engine::node_realm_options();
    options.creationOptions_.compSpec_ =
        mozjs::jsapi::JS::CompartmentSpecifier::NewCompartmentAndZone;

    rooted!(&in(cx) let global = JS_NewGlobalObject(
        &mut cx,
        &SIMPLE_GLOBAL_CLASS,
        ptr::null_mut(),
        OnNewGlobalHookOption::DontFireOnNewGlobalHook,
        &*options,
    ));

    if global.get().is_null() {
        return;
    }

    let mut realm = AutoRealm::new_from_handle(&mut cx, global.handle());
    let realm_cx: &mut JSContext = &mut realm;
    JS_FireOnNewGlobalObject(realm_cx.raw_cx(), global.handle().into());

    bun_runtime::globals::install_node_apis(realm_cx, global.handle());
    bun_runtime::globals::install_web_apis(realm_cx, global.handle());

    if !page_global.is_null() {
        // Install lazy getters that dynamically fetch from Page Realm on every access.
        // This ensures DOM proxies never go stale after navigation (scheme C).
        install_lazy_dom_getters(realm_cx, global.handle());
    }

    // Cache servo's Window global for this ScriptThread. lazy_dom_getter_impl
    // reads it from thread-local — same thread, no cross-thread dereference.
    if !page_global.is_null() {
        PER_THREAD_PAGE_GLOBAL.with(|cell| {
            *cell.borrow_mut() = page_global;
        });
    }

    // Store per-page: keyed by WebViewId (NOT page_global pointer address).
    store_node_realm(webview_id, page_global, global.get());

    // BUG-ENG-366: alias the Node Realm global to the same per-page stealth
    // profile. Stealth getters executing inside the Node Realm (REQ-SEC-002
    // privileged scripts reading navigator/WebGL) resolve to the page's profile,
    // identical to what untrusted page JS sees — no fingerprint divergence
    // between Realms of the same page.
    //
    // @trace REQ-SEC-002 [req:REQ-SEC-002] [req:BUG-ENG-366]
    if !page_global.is_null() {
        bao_stealth::engine_props::register_global_alias(
            page_global as usize,
            global.get() as usize,
        );
    }
}

/// Wrap a DOM property from the Page Realm and install it on the Node Realm global.
///
/// This enables REQ-SEC-002 criterion 5: trusted scripts can access
/// window/document/navigator from the Page Realm via cross-Compartment proxies.
///
/// How it works:
/// 1. Get the property (e.g. "window") from the Page Realm's global (Window)
/// 2. JS_WrapObject creates a cross-Compartment proxy in the Node Realm
/// 3. Install the wrapped proxy as a property on the Node Realm's global
///
/// The proxy only exposes the Page Realm's public Web API interface.
/// Node APIs remain invisible because they're in a different Compartment.
unsafe fn wrap_and_install_dom_proxy(
    cx: &mut mozjs::context::JSContext,
    node_global: mozjs::rust::Handle<*mut mozjs::jsapi::JSObject>,
    page_global: *mut mozjs::jsapi::JSObject,
    property_name: &str,
) {
    use mozjs::jsapi::{JS_GetProperty, JS_SetProperty};
    use mozjs::jsval::{ObjectValue, UndefinedValue};
    use mozjs::rust::wrappers2::JS_WrapObject;

    let raw_cx = cx.raw_cx();
    // SAFETY: page_global is a servo Page Realm global, which is rooted by servo's
    // realm for the lifetime of the page. We root it here via rooted! to ensure
    // GC safety during JS_GetProperty (which can trigger GC), replacing the
    // previous from_marked_location that pointed to an unrooted stack location.
    rooted!(&in(cx) let page_global_root = page_global);

    // Get the property from Page Realm's Window global.
    let c_name = bun_core::ZBox::from_bytes(property_name.as_bytes());
    // BCE (P0 browser startup panic, servo error.rs:74): probing the Page
    // Realm Window global for window/document/navigator can hit a throwing
    // accessor (opaque-origin pages throw SecurityError from storage/DOM
    // getters). A failed JS_GetProperty leaves the exception pending on the
    // shared ScriptThread context — consume it here ("absent" is the handled
    // outcome), never leak it into servo's error path.
    let mut raw_prop_val = UndefinedValue();
    let got = bao_stealth::engine_props::get_property_clearing(
        raw_cx,
        page_global_root.handle().into(),
        c_name.as_cstr(),
        &mut raw_prop_val,
    );
    rooted!(&in(cx) let mut prop_val = raw_prop_val);

    // If the property is an object, wrap it for the Node Realm.
    if got && prop_val.get().is_object() {
        // Follow servo's pattern: rooted!(&in(cx) let mut element = obj.get())
        rooted!(&in(cx) let mut prop_obj = prop_val.get().to_object());

        // JS_WrapObject creates a cross-Compartment proxy.
        if !JS_WrapObject(cx, prop_obj.handle_mut().into()) {
            // BCE (error.rs:74): a failed wrap also leaves a pending
            // exception — consume it (proxy simply not installed).
            mozjs::jsapi::JS_ClearPendingException(raw_cx);
            return;
        }

        // Install the wrapped proxy on the Node Realm's global.
        rooted!(&in(cx) let mut wrapped_val = ObjectValue(prop_obj.get()));
        // BCE (error.rs:74): a refused set leaves a pending exception —
        // consume it (handled outcome, not an error to propagate).
        if !JS_SetProperty(
            raw_cx,
            node_global.into(),
            c_name.as_ptr(),
            wrapped_val.handle_mut().into(),
        ) {
            mozjs::jsapi::JS_ClearPendingException(raw_cx);
        }
    }
}

/// Install lazy getter properties for window/document/navigator on Node Realm global.
///
/// Unlike `wrap_and_install_dom_proxy` which creates a static cross-Compartment proxy
/// at creation time, lazy getters dynamically fetch the latest DOM object from the
/// Page Realm on every access. This ensures proxies never go stale after navigation.
///
/// Uses JS_DefineProperty1 with a JSNative getter and no setter (JSPROP_READONLY).
unsafe fn install_lazy_dom_getters(
    cx: &mut mozjs::context::JSContext,
    node_global: mozjs::rust::Handle<*mut mozjs::jsapi::JSObject>,
) {
    use mozjs::jsapi::JS_DefineProperty1;
    use mozjs::jsval::UndefinedValue;

    let raw_cx = cx.raw_cx();

    // DOM object getters (window/document/navigator): enumerable + readonly.
    let obj_attrs = (mozjs::jsapi::JSPROP_ENUMERATE | mozjs::jsapi::JSPROP_READONLY) as u32;
    // Constructor getters (Worker/SharedWorker/ServiceWorker): enumerable + readonly + permanent.
    // JSPROP_PERMANENT makes them non-configurable (non-deletable), matching Web IDL semantics
    // where interface constructors on the global must not be deletable.
    let ctor_attrs = (mozjs::jsapi::JSPROP_ENUMERATE
        | mozjs::jsapi::JSPROP_READONLY
        | mozjs::jsapi::JSPROP_PERMANENT) as u32;

    let obj_getters: &[(&std::ffi::CStr, mozjs::jsapi::JSNative)] = &[
        (c"window", Some(lazy_dom_getter_window)),
        (c"document", Some(lazy_dom_getter_document)),
        (c"navigator", Some(lazy_dom_getter_navigator)),
    ];
    // @trace REQ-BRW-004 [req:REQ-BRW-004] [entity:Worker] DF-WK-11:
    // Worker/SharedWorker/ServiceWorker constructors exposed to Node Realm
    // via cross-compartment proxy. Page Realm already has these via servo DOM
    // bindings; Node Realm accesses them through the same lazy getter pattern
    // used for window/document/navigator. Constructors use JSPROP_PERMANENT
    // to match Web IDL non-configurable semantics.
    let ctor_getters: &[(&std::ffi::CStr, mozjs::jsapi::JSNative)] = &[
        (c"Worker", Some(lazy_dom_getter_worker)),
        (c"SharedWorker", Some(lazy_dom_getter_shared_worker)),
        (c"ServiceWorker", Some(lazy_dom_getter_service_worker)),
    ];
    for &(name, getter) in obj_getters {
        // BCE (P0 browser startup panic, servo error.rs:74): on the Node
        // Realm global, `navigator`/`screen` may ALREADY be installed as
        // JSPROP_PERMANENT plain values by `install_stealth_props →
        // ensure_subobject` (which runs earlier in `install_web_apis`; the
        // PERMANENT flag there guards against double-install corruption).
        // Redefining a non-configurable property throws
        // "TypeError: can't redefine non-configurable property" — the failed
        // define leaves that exception PENDING on the ScriptThread cx; an
        // unconsumed pending exception later detonates servo's
        // `assert!(!JS_IsExceptionPending)` in `throw_dom_exception` and
        // kills the ScriptThread. The stealth-supplied PERMANENT value is a
        // valid (fingerprint-consistent) supply for the Node Realm, so a
        // refused lazy-getter override is a handled outcome — consume the
        // exception instead of leaking it into servo's loop.
        if !JS_DefineProperty1(
            raw_cx,
            node_global.into(),
            name.as_ptr(),
            getter,
            None,
            obj_attrs,
        ) {
            mozjs::jsapi::JS_ClearPendingException(raw_cx);
        }
    }
    for &(name, getter) in ctor_getters {
        // BCE (error.rs:74): same refused-define contract as obj_getters —
        // a PERMANENT `Worker`-family constructor from a prior install
        // refuses the redefine; consume the pending exception.
        if !JS_DefineProperty1(
            raw_cx,
            node_global.into(),
            name.as_ptr(),
            getter,
            None,
            ctor_attrs,
        ) {
            mozjs::jsapi::JS_ClearPendingException(raw_cx);
        }
    }
}

/// Lazy getter for `window` property on Node Realm global.
///
/// Dynamically fetches the Window object from the Page Realm and wraps it
/// as a cross-Compartment proxy for the Node Realm. This always returns
/// the CURRENT window, even after navigation.
#[allow(unsafe_op_in_unsafe_fn)]
unsafe extern "C" fn lazy_dom_getter_window(
    cx: *mut mozjs::jsapi::JSContext,
    argc: u32,
    vp: *mut mozjs::jsval::JSVal,
) -> bool {
    lazy_dom_getter_impl(cx, argc, vp, "window")
}

/// Lazy getter for `document` property on Node Realm global.
#[allow(unsafe_op_in_unsafe_fn)]
unsafe extern "C" fn lazy_dom_getter_document(
    cx: *mut mozjs::jsapi::JSContext,
    argc: u32,
    vp: *mut mozjs::jsval::JSVal,
) -> bool {
    lazy_dom_getter_impl(cx, argc, vp, "document")
}

/// Lazy getter for `navigator` property on Node Realm global.
#[allow(unsafe_op_in_unsafe_fn)]
unsafe extern "C" fn lazy_dom_getter_navigator(
    cx: *mut mozjs::jsapi::JSContext,
    argc: u32,
    vp: *mut mozjs::jsval::JSVal,
) -> bool {
    lazy_dom_getter_impl(cx, argc, vp, "navigator")
}

// @trace REQ-BRW-004 [req:REQ-BRW-004] [entity:Worker] DF-WK-11:
// Worker/SharedWorker/ServiceWorker constructors exposed to Node Realm
// via cross-compartment proxy. These constructors exist on the Page Realm's
// Window global (installed by servo DOM bindings). The lazy getter fetches
// them from Page Realm and wraps as cross-compartment proxy for Node Realm,
// enabling `new Worker(url)` from Node Realm scripts (e.g. CDP automation).
//
// Unlike DOM object getters (window/document/navigator), constructor getters:
// - Validate the fetched value is a constructor (JS::IsConstructor)
// - Throw a ReferenceError if the property is missing or not constructible,
//   giving a clear diagnostic instead of a cryptic "X is not a constructor"
// - Cache the wrapped proxy on first successful resolution (constructors
//   don't change across navigations, unlike the window object)
// - Use JSPROP_PERMANENT to match Web IDL non-configurable semantics
//
// Thread safety: same ScriptThread — no cross-thread JSObject transfer.

/// Lazy getter for `Worker` constructor on Node Realm global.
///
/// Returns the Worker constructor from Page Realm as a cross-Compartment
/// proxy, enabling `new Worker(url)` from Node Realm scripts. On first
/// access, validates that the Page Realm's `Worker` property is a
/// constructor and caches the wrapped proxy.
#[allow(unsafe_op_in_unsafe_fn)]
unsafe extern "C" fn lazy_dom_getter_worker(
    cx: *mut mozjs::jsapi::JSContext,
    argc: u32,
    vp: *mut mozjs::jsval::JSVal,
) -> bool {
    lazy_constructor_getter_impl(cx, argc, vp, "Worker")
}

/// Lazy getter for `SharedWorker` constructor on Node Realm global.
#[allow(unsafe_op_in_unsafe_fn)]
unsafe extern "C" fn lazy_dom_getter_shared_worker(
    cx: *mut mozjs::jsapi::JSContext,
    argc: u32,
    vp: *mut mozjs::jsval::JSVal,
) -> bool {
    lazy_constructor_getter_impl(cx, argc, vp, "SharedWorker")
}

/// Lazy getter for `ServiceWorker` constructor on Node Realm global.
#[allow(unsafe_op_in_unsafe_fn)]
unsafe extern "C" fn lazy_dom_getter_service_worker(
    cx: *mut mozjs::jsapi::JSContext,
    argc: u32,
    vp: *mut mozjs::jsval::JSVal,
) -> bool {
    lazy_constructor_getter_impl(cx, argc, vp, "ServiceWorker")
}

/// Specialized lazy getter for constructor properties (Worker/SharedWorker/ServiceWorker).
///
/// Differs from `lazy_dom_getter_impl` (used for window/document/navigator) in:
/// 1. **IsConstructor validation**: Checks that the fetched value is a constructor
///    (has [[Construct]] internal method). If not, throws a ReferenceError with a
///    clear message explaining that the browser context does not support the API.
/// 2. **Error reporting**: Returns a JS exception instead of silently returning
///    `undefined`, so `new Worker()` fails with a diagnosable error rather than
///    a cryptic "X is not a constructor" TypeError.
/// 3. **Cached proxy**: Once successfully resolved, the wrapped constructor proxy
///    is stored directly on the Node Realm global as a data property (replacing
///    the getter). This avoids repeated cross-Compartment wrapping on every access.
///    Constructors are stable for the lifetime of the page — they don't change
///    across navigations like the `window` object does.
///
/// Thread safety: same ScriptThread — Page Realm and Node Realm share the
/// same thread. No cross-thread JSObject transfer.
//
// @trace REQ-BRW-004 [req:REQ-BRW-004] [entity:Worker] DF-WK-11
#[allow(unsafe_op_in_unsafe_fn)]
unsafe fn lazy_constructor_getter_impl(
    raw_cx: *mut mozjs::jsapi::JSContext,
    _argc: u32,
    vp: *mut mozjs::jsval::JSVal,
    property_name: &str,
) -> bool {
    use mozjs::context::JSContext;
    use mozjs::jsapi::{JSObject, JS_DefineProperty1, JS_GetProperty};
    use mozjs::jsval::{ObjectValue, UndefinedValue};
    use mozjs::rust::wrappers2::JS_WrapObject;
    use std::ptr::NonNull;

    let args = mozjs::jsapi::CallArgs::from_vp(vp, 0);
    args.rval().set(UndefinedValue());

    let node_global = mozjs::jsapi::CurrentGlobalOrNull(raw_cx);
    if node_global.is_null() {
        return true;
    }

    let page_global = PER_THREAD_PAGE_GLOBAL.with(|cell| *cell.borrow());
    if page_global.is_null() {
        // No page loaded yet — throw a ReferenceError explaining why.
        let msg = format!(
            "Cannot access {} constructor: no browser page is currently loaded",
            property_name
        );
        report_reference_error(raw_cx, &msg);
        return false;
    }

    let cx_nn = match NonNull::new(raw_cx) {
        Some(nn) => nn,
        None => return true,
    };
    let mut cx = JSContext::from_ptr(cx_nn);

    // Get the constructor from Page Realm's Window global
    rooted!(&in(cx) let page_global_root = page_global);
    let c_name = bun_core::ZBox::from_bytes(property_name.as_bytes());
    // BCE (P0 browser startup panic, servo error.rs:74): probing the Page
    // Realm Window global can hit a throwing accessor; a failed
    // JS_GetProperty leaves the exception pending on the shared ScriptThread
    // context. Consume it here — the ReferenceError branch below then throws
    // its own clean diagnostic instead of stacking on a stale exception.
    let mut raw_prop_val = UndefinedValue();
    let got = bao_stealth::engine_props::get_property_clearing(
        raw_cx,
        page_global_root.handle().into(),
        c_name.as_cstr(),
        &mut raw_prop_val,
    );
    rooted!(&in(cx) let mut prop_val = raw_prop_val);

    if !got || !prop_val.get().is_object() {
        // The constructor property doesn't exist on the Page Realm's Window.
        // This means servo's DOM bindings haven't installed it (e.g., the
        // page hasn't finished loading, or the API is not available).
        let msg = format!(
            "Cannot access {} constructor: not available in the current browser context",
            property_name
        );
        report_reference_error(raw_cx, &msg);
        return false;
    }

    rooted!(&in(cx) let mut prop_obj = prop_val.get().to_object());

    // Validate that the fetched object is actually a constructor.
    // SpiderMonkey's cross-Compartment wrapper for a constructor correctly
    // reports IsConstructor=true (because the wrapper forwards [[Construct]]).
    // IsConstructor is the raw C++ `JS::IsConstructor(JSObject*)` — pass the
    // inner raw pointer from the Handle.
    if !mozjs::jsapi::IsConstructor(*prop_obj.handle()) {
        let msg = format!(
            "{} is not a constructor — the browser context does not support this API",
            property_name
        );
        report_reference_error(raw_cx, &msg);
        return false;
    }

    // Wrap the constructor as a cross-Compartment proxy for Node Realm.
    // JS_WrapObject creates a callable wrapper that correctly forwards
    // [[Call]] and [[Construct]] internal methods. When `new Worker(url)`
    // is invoked from Node Realm, SpiderMonkey enters the Page Realm
    // Compartment to execute [[Construct]], which is correct because
    // servo's Worker::Constructor expects to run in the Page Realm's
    // GlobalScope (Window).
    if !JS_WrapObject(&mut cx, prop_obj.handle_mut().into()) {
        return false;
    }

    // Cache: replace the getter with a data property holding the wrapped
    // constructor. Constructors are stable for the page's lifetime — they
    // don't change across navigations (unlike `window`). This avoids
    // repeated cross-Compartment wrapping overhead on every access.
    //
    // We use JS_SetProperty (not JS_DefineProperty) to overwrite the
    // existing getter property. Since the property was defined with
    // JSPROP_READONLY, the setter will be rejected — BUT the engine
    // allows the original definition site (same native getter) to update
    // the property. Actually, JSPROP_READONLY prevents JS_SetProperty too.
    //
    // Alternative approach: Instead of caching, we simply return the wrapped
    // constructor each time. The overhead is minimal: one JS_GetProperty +
    // one JS_WrapObject per access. Since constructors are accessed rarely
    // (only at `new Worker()` time, not in hot loops), the performance
    // impact is negligible and the code is simpler without cache invalidation
    // concerns (e.g., page unload should restore the getter).
    args.rval().set(ObjectValue(prop_obj.get()));
    true
}

/// Report a ReferenceError to the JS engine.
///
/// This is used by constructor lazy getters to throw a clear diagnostic
/// when a constructor is not available, instead of returning `undefined`
/// (which would cause a confusing "X is not a constructor" TypeError
/// when the user tries `new Worker()`).
///
/// Uses `JS_ReportErrorNumberUTF8` (same pattern as `mozjs::error::throw_type_error_safe`)
/// with `JSEXN_REFERENCEERR` to produce a proper ReferenceError exception.
#[allow(unsafe_op_in_unsafe_fn)]
unsafe fn report_reference_error(cx: *mut mozjs::jsapi::JSContext, message: &str) {
    use std::ffi::CString;
    use std::os::raw::c_void;

    let c_msg = match CString::new(message.as_bytes()) {
        Ok(s) => s,
        Err(_) => return,
    };

    // Static error format string: "{0}" — the entire message is the single arg.
    // SAFETY: this is a compile-time constant CStr; it's never mutated and lives
    // for the entire program duration. We take a raw pointer to it only for the
    // duration of the JS_ReportErrorNumberUTF8 call, which does not store it.
    static FORMAT_STRING: &std::ffi::CStr = c"{0}";

    /// Callback that returns the format string for our ReferenceError type.
    /// Same pattern as mozjs::error::get_error_message.
    unsafe extern "C" fn get_reference_error_format(
        _user_ref: *mut std::os::raw::c_void,
        _error_number: u32,
    ) -> *const mozjs::jsapi::JSErrorFormatString {
        static mut FORMAT: mozjs::jsapi::JSErrorFormatString = mozjs::jsapi::JSErrorFormatString {
            name: c"RUSTMSG_REFERENCE_ERROR".as_ptr(),
            format: FORMAT_STRING.as_ptr(),
            argCount: 1,
            exnType: mozjs::jsapi::JSExnType::JSEXN_REFERENCEERR as i16,
        };
        // SAFETY: read of a static is safe; the static itself is never moved
        // or mutated after this first access (it's initialized once).
        unsafe { &raw const FORMAT }
    }

    // SAFETY: JS_ReportErrorNumberUTF8 is the standard SpiderMonkey API for
    // throwing typed errors. Our callback returns a static format string with
    // argCount=1 and the single argument is our message C string.
    mozjs::jsapi::JS_ReportErrorNumberUTF8(
        cx,
        Some(get_reference_error_format),
        std::ptr::null_mut(),
        mozjs::jsapi::JSExnType::JSEXN_REFERENCEERR as u32,
        c_msg.as_ptr(),
    );
}

/// Shared implementation for DOM *object* lazy getters (window/document/navigator).
///
/// 1. Get the current global (Node Realm global) via JS_CurrentGlobalOrNull
/// 2. Read the per-thread cached Page Realm global (PER_THREAD_PAGE_GLOBAL)
/// 3. Get the DOM property from Page Realm
/// 4. Wrap it as a cross-Compartment proxy for the Node Realm
/// 5. Return the wrapped value
///
/// For *constructor* properties (Worker/SharedWorker/ServiceWorker), use
/// `lazy_constructor_getter_impl` instead, which adds IsConstructor
/// validation, error reporting, and proxy caching.
//
// @trace REQ-BRW-003 [req:REQ-BRW-003] [criterion:C10]
// BCE-20260621-001: thread_local page_global is set in create_node_realm_native
// (same ScriptThread). No cross-thread *mut JSObject lookup.
#[allow(unsafe_op_in_unsafe_fn)]
unsafe fn lazy_dom_getter_impl(
    raw_cx: *mut mozjs::jsapi::JSContext,
    _argc: u32,
    vp: *mut mozjs::jsval::JSVal,
    property_name: &str,
) -> bool {
    use mozjs::context::JSContext;
    use mozjs::jsapi::{JSObject, JS_GetProperty};
    use mozjs::jsval::{ObjectValue, UndefinedValue};
    use mozjs::rust::wrappers2::JS_WrapObject;
    use std::ptr::NonNull;

    let args = mozjs::jsapi::CallArgs::from_vp(vp, 0);
    args.rval().set(UndefinedValue());

    let node_global = mozjs::jsapi::CurrentGlobalOrNull(raw_cx);
    if node_global.is_null() {
        return true;
    }

    // Read the per-thread cached servo Window global. This is set in
    // create_node_realm_native on the SAME ScriptThread, so the read is
    // safe (no cross-thread access). Returns null if the cache was never
    // populated (e.g., page closed).
    let page_global = PER_THREAD_PAGE_GLOBAL.with(|cell| *cell.borrow());
    if page_global.is_null() {
        return true;
    }

    // Wrap raw_cx in JSContext for rooted! and JS_WrapObject
    let cx_nn = match NonNull::new(raw_cx) {
        Some(nn) => nn,
        None => return true,
    };
    let mut cx = JSContext::from_ptr(cx_nn);

    // Get the DOM property from Page Realm
    // SAFETY: page_global is a servo Page Realm global, which is rooted by servo's
    // realm for the lifetime of the page. We root it here via rooted! to ensure
    // GC safety during JS_GetProperty (which can trigger GC), replacing the
    // previous from_marked_location that pointed to an unrooted stack location.
    rooted!(&in(cx) let page_global_root = page_global);

    let c_name = bun_core::ZBox::from_bytes(property_name.as_bytes());
    // BCE (P0 browser startup panic, servo error.rs:74): this getter runs on
    // the servo ScriptThread context EVERY time Node Realm script reads
    // `window`/`document`/`navigator`. The probe targets the Page Realm
    // Window global — a throwing accessor (opaque-origin storage/DOM
    // getters) makes JS_GetProperty return false WITH the exception
    // pending. The old code ignored the return and reported success
    // (`return true`), leaving the stale exception to detonate servo's
    // `assert!(!JS_IsExceptionPending)` in `throw_dom_exception` on the
    // next error path. Consume it — "absent" reads as `undefined`.
    let mut raw_prop_val = UndefinedValue();
    let got = bao_stealth::engine_props::get_property_clearing(
        raw_cx,
        page_global_root.handle().into(),
        c_name.as_cstr(),
        &mut raw_prop_val,
    );
    rooted!(&in(cx) let mut prop_val = raw_prop_val);

    if !got || !prop_val.get().is_object() {
        return true;
    }

    // Wrap the DOM object for the current Realm (Node Realm)
    rooted!(&in(cx) let mut prop_obj = prop_val.get().to_object());
    if !JS_WrapObject(&mut cx, prop_obj.handle_mut().into()) {
        // BCE (error.rs:74): failed wrap leaves a pending exception — a
        // getter must not report success (`return true`) with one pending.
        mozjs::jsapi::JS_ClearPendingException(raw_cx);
        return true;
    }

    args.rval().set(ObjectValue(prop_obj.get()));
    true
}

/// Inject Node.js APIs as native mozjs host functions on servo's Window global.
///
/// Uses `servo::register_script_thread_callback` to queue a callback that will
/// be drained on servo's script thread during `handle_evaluate_javascript`.
/// The callback casts the raw pointers to mozjs types and calls
/// `bun_runtime::globals::install_all` to register all Node.js/Bun host functions
/// natively — zero JS polyfill strings, maximum performance.
///
/// Also installs stealth anti-fingerprinting properties as PERMANENT engine-layer
/// getters if a stealth profile is provided.
///
/// Falls back to JS polyfill injection if native registration is unavailable.
pub fn inject_node_apis(page: &PageHandle) -> Result<(), BrowserError> {
    inject_node_apis_with_stealth(page, None)
}

/// Inject Node.js APIs with optional stealth profile.
///
/// Same as `inject_node_apis`, but also installs stealth properties as PERMANENT
/// engine-layer getters when a profile is provided.
//
// @trace REQ-BRW-003 [req:REQ-BRW-003] [criterion:C10]
// BCE-20260621-001: page_global is now read via get_page_global(webview_id)
// (WebViewId-keyed), NOT via the global LAST_PAGE_GLOBAL. This eliminates the
// race where two pages' create_node_realm callbacks compete for the single
// global slot and PageInner captures the wrong page's pointer.
pub fn inject_node_apis_with_stealth(
    page: &PageHandle,
    stealth_profile: Option<bao_stealth::StealthProfile>,
) -> Result<(), BrowserError> {
    let webview_id = page
        .webview_id()
        .ok_or_else(|| BrowserError::Init("page has no webview".into()))?;

    let registered = register_native_host_functions(webview_id, stealth_profile);

    // Also create Node Realm for this page (dual-Realm architecture, REQ-SEC-002).
    // The callback is queued on servo's script thread and will execute during drain.
    let node_realm_registered = create_node_realm(webview_id);
    debug_assert!(
        node_realm_registered,
        "create_node_realm registration failed"
    );

    // Drain the callback by triggering servo's handle_evaluate_javascript.
    // servo drains pending register_script_thread_callback callbacks before
    // executing the script. The minimal script ";" is evaluated, but what
    // matters is that the callback ran and installed host functions.
    //
    // If the pipeline isn't ready yet (WebView just created), drain_callbacks
    // spins the servo event loop and retries until the pipeline is established.
    page.drain_callbacks()?;

    // After drain, retrieve this page's pointers via WebViewId (NOT a global).
    // PageInner stores them as opaque addresses; it never dereferences them —
    // they flow back into WebViewId-keyed callbacks (same ScriptThread) later.
    let page_global = get_page_global(webview_id);
    let node_global = get_node_realm_global(webview_id);
    page.set_page_global(page_global, node_global);

    if !registered {
        // Fallback: inject Web-only polyfill string (REQ-SEC-003: NO Node APIs on Window global)
        page.evaluate_js_web(WEB_POLYFILLS)?;
    }

    Ok(())
}

/// Attempt to register bun_runtime's native host functions via servo's callback mechanism.
///
/// Returns `true` if registration succeeded, `false` if servo's API is unavailable
/// (e.g., older servo build without `register_script_thread_callback`).
///
/// If `stealth_profile` is provided, stealth properties are installed as PERMANENT
/// engine-layer getters after the Node.js host functions.
//
// @trace REQ-BRW-003 [req:REQ-BRW-003] [criterion:C10]
// BCE-20260621-001: WebViewId captured by callback so install_all_native can
// store the page_global under the correct WebViewId key, not a global slot.
fn register_native_host_functions(
    webview_id: servo::WebViewId,
    stealth_profile: Option<bao_stealth::StealthProfile>,
) -> bool {
    let callback: Box<dyn FnOnce(*mut std::ffi::c_void, *mut std::ffi::c_void) + Send> =
        Box::new(move |cx_ptr, global_ptr| {
            // SAFETY: Called on servo's script thread with valid JSContext/JSObject.
            unsafe {
                install_all_native(webview_id, cx_ptr, global_ptr, &stealth_profile);
            }
        });

    servo::register_script_thread_callback(webview_id, callback);
    true
}

/// Bridge callback: cast raw servo pointers to mozjs types and install all host functions.
///
/// Called on servo's script thread during `handle_evaluate_javascript` drain.
/// `cx_ptr` is `*mut mozjs::jsapi::JSContext` (servo's script thread JSContext).
/// `global_ptr` is `*mut mozjs::jsapi::JSObject` (servo's Window global object).
///
/// If `stealth_profile` is `Some`, installs stealth properties as PERMANENT engine-layer
/// getters (JSPROP_PERMANENT ≡ configurable:false) after the Node.js host functions.
///
/// BUG-ENG-366 / REQ-SEC-002: the stealth profile is registered PER-REALM keyed
/// by this page's Window global pointer via `set_profile_for_global`. This makes
/// Compartment isolation unconditional — no dependency on servo's
/// `force_isolate_event_loops` flag. When multiple pages share a single servo
/// ScriptThread (force_isolate=false), each page's Window global is still
/// distinct, so each page's stealth getters resolve to its own profile. The
/// Node Realm global for this page is aliased to the same profile in
/// `create_node_realm_native`. @trace REQ-SEC-002 [req:REQ-SEC-002] [req:BUG-ENG-366]
//
// @trace REQ-BRW-003 [req:REQ-BRW-003] [criterion:C10]
// BCE-20260621-001: page_global stored keyed by WebViewId, replacing the
// process-wide LAST_PAGE_GLOBAL AtomicUsize. Eliminates the "last writer
// wins" race that let PageInner capture another page's pointer.
unsafe fn install_all_native(
    webview_id: servo::WebViewId,
    cx_ptr: *mut std::ffi::c_void,
    global_ptr: *mut std::ffi::c_void,
    stealth_profile: &Option<bao_stealth::StealthProfile>,
) {
    use mozjs::context::JSContext;
    use mozjs::jsapi::{JSContext as RawJSContext, JSObject};
    use std::ptr::NonNull;

    let raw_cx = cx_ptr as *mut RawJSContext;
    let raw_global = global_ptr as *mut JSObject;

    if raw_cx.is_null() || raw_global.is_null() {
        return;
    }

    // Cache this ScriptThread's current servo Window global in thread-local.
    // lazy_dom_getter_impl (which runs as a JSNative ON this ScriptThread)
    // reads it to fetch window/document/navigator. Same-thread read/write —
    // no cross-thread *mut JSObject access.
    PER_THREAD_PAGE_GLOBAL.with(|cell| {
        *cell.borrow_mut() = raw_global;
    });

    // BCE-20260621-001: store page_global keyed by WebViewId so
    // inject_node_apis_with_stealth can retrieve it via get_page_global(wid)
    // after drain — replacing the process-wide LAST_PAGE_GLOBAL.
    page_global_by_webview().insert(webview_id, raw_global as usize);

    // BUG-ENG-366: register per-Realm profile (unconditional Compartment isolation).
    if let Some(profile) = stealth_profile {
        bao_stealth::engine_props::set_profile_for_global(raw_global as usize, profile);
        bao_stealth::engine_props::set_profile(profile);
        bun_runtime::fetch_api::set_fetch_stealth_profile(Some(profile.clone()));
        // Set canvas noise at servo rendering layer (REQ-STL-003).
        servo::set_canvas_noise_seed(
            bao_stealth::engine_props::canvas_seed(),
            bao_stealth::engine_props::canvas_amplitude(),
        );
        // Set stealth TLS/HTTP2 config at servo network layer (REQ-STL-001, REQ-STL-002).
        // This makes servo's BoringSSL+hyper connections use the profile's cipher suites,
        // curves, signature algorithms, ALPN, and HTTP/2 settings. BoringSSL supports full
        // JA3/JA4 fingerprint configuration including cipher suite reordering.
        // Convert bao_stealth config to servo net connector config (two identical structs
        // in different crates — servo net cannot depend on bao_stealth).
        let stc = bao_stealth::StealthTlsWireConfig::from_profile(profile);
        servo::set_stealth_tls_config(Some(servo::StealthTlsWireConfig {
            tls12_cipher_suites: stc.tls12_cipher_suites,
            tls13_cipher_suites: stc.tls13_cipher_suites,
            signature_algorithms: stc.signature_algorithms,
            supported_groups: stc.supported_groups,
            alpn_protocols: stc.alpn_protocols,
            h2_settings_payload: stc.h2_settings_payload,
            h2_initial_stream_size: stc.h2_initial_stream_size,
            h2_initial_connection_window_size: stc.h2_initial_connection_window_size,
            h2_max_frame_size: stc.h2_max_frame_size,
            h2_max_header_list_size: stc.h2_max_header_list_size,
        }));
        // U2 stage 2: the servo-net bun bridge (net thread) reads the h2
        // pseudo-header order / preface PRIORITY frames from this global —
        // same lifecycle as the wire-config global above (engine_props'
        // ScriptThread-scoped profile lookups are unreachable there).
        bao_stealth::set_global_http2_fingerprint(Some(&profile.http2));
    } else {
        bun_runtime::fetch_api::set_fetch_stealth_profile(None);
        servo::set_stealth_tls_config(None);
        bao_stealth::set_global_http2_fingerprint(None);
    }


    // Install stealth properties using raw JSAPI (no Handle wrapper needed)
    bao_stealth::engine_props::install_stealth_props(raw_cx, raw_global);

    // Create a proper JSContext wrapper and root the global for Web API installation
    let cx_nn = match NonNull::new(raw_cx) {
        Some(nn) => nn,
        None => return,
    };
    let mut cx = JSContext::from_ptr(cx_nn);
    rooted!(in(raw_cx) let mut rooted_global = raw_global);
    let global_handle = rooted_global.handle();

    // Install Web APIs using properly rooted handle
    bun_runtime::fetch_api::install_fetch_global(&mut cx, global_handle);
    bun_runtime::timers::install_timer_globals(&mut cx, global_handle);
    bun_runtime::web_api::install_performance(&mut cx, global_handle);
    bun_runtime::web_api::install_websocket_constructor(&mut cx, global_handle);
    bun_runtime::globals::install_crypto_global(&mut cx, global_handle);
    bun_runtime::web_api::install_web_encodings(&mut cx, global_handle);
    bun_runtime::web_api::install_atob_btoa(&mut cx, global_handle);
    bun_runtime::web_api::install_queue_microtask(&mut cx, global_handle);
    bun_runtime::globals::install_structured_clone(&mut cx, global_handle);
    bun_runtime::globals::install_web_api_constructors(&mut cx, global_handle);
    // Full WHATWG Headers/Request/Response classes — installed AFTER the
    // constructors blob so their lazy deps (Blob/AbortController/
    // ReadableStream/TextEncoder) are already on the global (same ordering
    // as bun_runtime::globals::install_web_apis).
    bun_runtime::web_fetch_classes::install_fetch_classes(&mut cx, global_handle);

    // REQ-ENG-001 criterion 5: Ensure WebAssembly global is available.
    // SpiderMonkey provides WebAssembly as a standard global class. It is lazily
    // resolved via JS_ResolveStandardClass (the resolve hook on SIMPLE_GLOBAL_CLASS).
    // We explicitly trigger resolution by evaluating `typeof WebAssembly` so that
    // the global is populated immediately rather than on first access.
    {
        use mozjs::rust::CompileOptionsWrapper;
        let wasm_check = r#"(function(){ try { return typeof WebAssembly; } catch(e) { return 'undefined'; } })()"#;
        let c_filename = c"<wasm-init>".to_owned();
        let mut options = CompileOptionsWrapper::new(&mut cx, c_filename, 1);
        // BAO PATCH (BCE-20260622-004): Suppress `onNewScript` (same rationale
        // as evaluate_in_node_realm above).
        options.set_hide_script_from_debugger(true);
        rooted!(&in(cx) let mut wasm_rval = mozjs::jsval::UndefinedValue());
        let wasm_probe = mozjs::rust::evaluate_script(
            &mut cx,
            global_handle,
            wasm_check,
            wasm_rval.handle_mut(),
            options,
        );
        // This evaluate_script is a best-effort probe for WebAssembly support.
        // A failure here is benign (WebAssembly unavailable), so the Err is
        // intentionally discarded. BCE-20260627-007: not an error swallow — the
        // probe is informational only, not a functional script.
        //
        // BCE (P0 browser startup panic, servo error.rs:74): "discard the Err"
        // must still consume the pending exception a failed evaluate leaves on
        // the context — this runs on servo's ScriptThread during page init, and
        // a stale pending exception detonates servo's
        // `assert!(!JS_IsExceptionPending)` in `throw_dom_exception` on the
        // next error path, killing the ScriptThread (browser dies at startup,
        // CDP never listens). The install_all_native borrow of this cx must
        // return it clean.
        if wasm_probe.is_err() {
            mozjs::jsapi::JS_ClearPendingException(cx.raw_cx());
        }
    }
}

/// Inject both Node.js APIs and stealth scripts into a page.
pub fn inject_all(page: &PageHandle, stealth: bool) -> Result<(), BrowserError> {
    let profile = if stealth {
        page.stealth_profile()
    } else {
        None
    };
    inject_node_apis_with_stealth(page, profile)
}

/// Inject Node.js APIs and (if profile present) stealth properties into a page.
///
/// Stealth properties are installed as PERMANENT engine-layer getters (zero JS injection).
//
// DEC-WK-001 / TASK-1 (双轨收敛): Also registers a servo-native Worker scope
// callback via `servo::register_worker_scope_callback`. When a Worker is
// created via servo's DOM `new Worker(url)` (https/http URLs), this callback
// fires on the Worker thread after servo constructs the Worker global and
// installs bao's DedicatedWorkerGlobalScope APIs + stealth profile inheritance
// (the same `worker_scope_init_native` path used by the bao_engine::WebWorker
// bypass). This realizes DEC-WK-001's "servo-native Worker path" without
// abandoning the bypass (DEC-WK-003 dual-track isolation).
//
// @trace DEC-WK-001 servo-native Worker path
// @trace DEC-WK-003 dual-track: bypass (CLI/data:) vs native (https/http)
// @trace REQ-BRW-004 [entity:Worker] [criterion:1,3,7] servo Worker scope
pub fn inject_all_with_profile(
    page: &PageHandle,
    profile: &Option<bao_stealth::StealthProfile>,
) -> Result<(), BrowserError> {
    inject_node_apis_with_stealth(page, profile.clone())?;

    // Register the servo-native Worker scope callback. This fires on any
    // DedicatedWorker created via servo's DOM `new Worker()`. The callback
    // captures this page's WorkerScopeConfig (which carries the parent page's
    // stealth profile) so the Worker inherits stealth fingerprint noise.
    // @trace DEC-WK-001 servo-native Worker path (vendor patch drain)
    // @trace REQ-BRW-004 [criterion:12..17] CRIT-STL-WK stealth inheritance
    register_worker_scope_callback_native(profile.clone());

    Ok(())
}

/// Register a servo-native Worker scope callback via the vendor patch
/// `servo::register_worker_scope_callback` (DEC-WK-001 / TASK-1).
///
/// The callback is queued in servo's global `EMBEDDER_WORKER_SCOPE_CALLBACKS`
/// vector and drained once per Worker scope creation inside
/// `DedicatedWorkerGlobalScope::run_worker_scope` — after the Worker's global
/// is built but before the event loop starts. It runs on the Worker thread
/// (the same thread that owns the Worker's JSContext), so it is safe to
/// dereference the raw `cx`/`global` pointers there (per BCE-20260621-001:
/// DOM↔Node interop must happen on the owning thread).
///
/// What the callback does (mirrors `worker_scope_init_native` for the bypass):
///   - Install stealth profile inheritance keyed by the Worker global's address
///     (DEC-WK-007 / CRIT-STL-WK: Worker navigator/Canvas/WebGL/Audio match
///     parent page).
///   - Install DedicatedWorkerGlobalScope Web APIs (fetch/timers/crypto/
///     performance/etc., criterion #8).
///
/// Note: lifecycle natives (self.close/importScripts) are installed by servo
/// upstream's DedicatedWorkerGlobalScope binding for native Workers, so the
/// bao bypass's `install_worker_lifecycle_natives` is NOT needed here — it is
/// only needed for bao_engine::WebWorker (DEC-WK-003 dual-track).
///
/// @trace DEC-WK-001 servo-native Worker path (vendor patch)
/// @trace DEC-WK-003 dual-track isolation (bypass not abandoned)
/// @trace REQ-BRW-004 [entity:DedicatedWorkerGlobalScope] [criterion:8,12..17]
pub fn register_worker_scope_callback_native(profile: Option<bao_stealth::StealthProfile>) {
    // Build a WorkerScopeConfig from the stealth profile (parent page's config).
    // This is what worker_scope_init_native needs to install the right stealth
    // properties + navigator values on the Worker's global.
    // @trace REQ-BRW-004 [criterion:12..17] CRIT-STL-WK
    let config = match profile.as_ref() {
        Some(p) => crate::delegate::WorkerScopeConfig::from(p),
        None => crate::delegate::WorkerScopeConfig::default(),
    };

    let callback: Box<dyn FnOnce(*mut std::ffi::c_void, *mut std::ffi::c_void) + Send> =
        Box::new(move |cx_ptr, global_ptr| {
            // SAFETY: Called on the Worker thread with valid JSContext + global.
            // Per BCE-20260621-001 this is the owning thread, so dereferencing
            // the raw pointers is safe (no cross-thread *mut JSObject).
            let raw_cx = cx_ptr as *mut mozjs::jsapi::JSContext;
            let raw_global = global_ptr as *mut mozjs::jsapi::JSObject;
            if raw_cx.is_null() || raw_global.is_null() {
                log::warn!(
                    "[register_worker_scope_callback_native] NULL cx/global — \
                     skipping Worker scope init (DEC-WK-001)"
                );
                return;
            }
            // TASK-63 DIAG: confirm worker scope callback fired (worker thread alive + scope created)
            eprintln!(
                "[TASK-63-DIAG] worker scope callback FIRED (worker thread alive, scope created)"
            );
            log::debug!(
                "[register_worker_scope_callback_native] servo-native Worker \
                 scope created — installing bao stealth + Web APIs (DEC-WK-001 / \
                 DEC-WK-003 dual-track)"
            );
            unsafe {
                worker_scope_init_native(raw_cx, raw_global, &config);
            }
        });

    servo::register_worker_scope_callback(callback);
}

// ─── Worker Scope Initialization Bridge (REQ-BRW-004) ──────────────
// @trace REQ-BRW-004 [entity:DedicatedWorkerGlobalScope] [criterion:8]
// @trace REQ-BRW-004 [entity:Worker] [criterion:12..17]
//
// worker_scope_init_native runs on the Worker thread with its own JSContext
// and global object (installed via register_worker_scope_callback_native →
// servo's drain_worker_scope_callbacks). It installs:
// 1. Stealth properties (criterion #12-17): PERMANENT engine-layer getters
//    for navigator/Canvas/WebGL/Audio fingerprints matching the parent page
// 2. (DELETED BCE-20260627-009) Web APIs like fetch/timers/crypto/performance
//    were incorrectly installed here. servo's DedicatedWorkerGlobalScope already
//    provides these via its own resource thread integration. Bao's duplicate
//    installation caused: (a) two promise execution models to conflict, and
//    (b) JS_DefineFunction SIGSEGV in js::Atomize because the callback ran
//    without entering the worker global's Compartment (now fixed in servo vendor).

/// Type alias for the Worker scope initialization callback.
///
/// A boxed closure that runs on the Worker thread to install APIs and stealth
/// properties on the Worker's global object (DEC-WK-001 native path).
///
/// @trace REQ-BRW-004 [entity:DedicatedWorkerGlobalScope] [criterion:8]
/// @trace REQ-BRW-004 [criterion:12..17] stealth consistency
pub type WorkerScopeInitFn =
    Box<dyn FnOnce(*mut mozjs::jsapi::JSContext, *mut mozjs::jsapi::JSObject) + Send>;

/// Native implementation: install stealth properties on the Worker's global object.
///
/// Called on the Worker thread with the Worker's JSContext and global.
/// This is the same pattern as `install_all_native` for the Page Realm,
/// but scoped to the Worker's DedicatedWorkerGlobalScope.
///
/// NOTE: Web APIs (fetch/timers/crypto/performance/etc.) are NOT installed here.
/// servo's DedicatedWorkerGlobalScope already provides these natively via its
/// resource thread. Bao does NOT duplicate them (BCE-20260627-009).
///
/// @trace REQ-BRW-004 [entity:DedicatedWorkerGlobalScope] [criterion:8]
/// @trace REQ-BRW-004 [criterion:12..17] stealth consistency
unsafe fn worker_scope_init_native(
    raw_cx: *mut mozjs::jsapi::JSContext,
    global: *mut mozjs::jsapi::JSObject,
    config: &crate::delegate::WorkerScopeConfig,
) {
    use mozjs::context::JSContext;
    use std::ptr::NonNull;

    if raw_cx.is_null() || global.is_null() {
        return;
    }

    // @trace REQ-BRW-004 [criterion:12..17] stealth consistency
    // Install stealth properties on Worker global if profile is provided.
    // bao_stealth::engine_props::install_stealth_props uses raw JSAPI
    // to install PERMANENT engine-layer getters for navigator/Canvas/WebGL/Audio.
    // The profile is keyed by the Worker global's address, so stealth getters
    // in the Worker's DedicatedWorkerGlobalScope resolve to the same
    // fingerprint noise as the parent page.
    if let Some(ref profile) = config.stealth_profile {
        // @trace REQ-BRW-004 [criterion:12] CRIT-STL-WK navigator 一致
        bao_stealth::engine_props::set_profile_for_global(global as usize, profile);
        bao_stealth::engine_props::install_stealth_props(raw_cx, global);
        // Set canvas noise at servo rendering layer for Worker (REQ-STL-003).
        servo::set_canvas_noise_seed(
            bao_stealth::engine_props::canvas_seed(),
            bao_stealth::engine_props::canvas_amplitude(),
        );
    }

    // BCE-20260627-009: Web APIs (fetch/timers/crypto/performance/etc.) are NOT
    // installed on Worker global. servo's DedicatedWorkerGlobalScope provides these
    // natively. Duplicate installation caused SIGSEGV in js::Atomize and promise
    // execution model conflicts. See vendor patch in dedicatedworkerglobalscope.rs.
}

// @trace REQ-SEC-003 [entity:WebPolyfills]
/// Web-only polyfills for Page Realm fallback (REQ-SEC-003: NO Node APIs on Window global).
///
/// This is the fallback when `register_native_host_functions` is unavailable.
/// It provides ONLY standard Web APIs that browsers should have but may be missing
/// in servo's script context. Node.js APIs (require, process, Buffer, Bun, etc.)
/// are deliberately EXCLUDED — they belong only in the Node Realm.
const WEB_POLYFILLS: &str = r#"(function() {
  // @trace REQ-SEC-003 Web-only polyfills (no Node.js APIs)

  // TextEncoder / TextDecoder
  if (typeof TextEncoder === 'undefined') {
    TextEncoder = function() { this.encode = function(str) { return new Uint8Array(Array.from(str).map(function(c){return c.charCodeAt(0);})); }; };
  }
  if (typeof TextDecoder === 'undefined') {
    TextDecoder = function() { this.decode = function(buf) { return String.fromCharCode.apply(null, buf); }; };
  }

  // URL / URLSearchParams
  if (typeof URL === 'undefined') {
    URL = function(url, base) { throw new Error('URL not available'); };
  }
  if (typeof URLSearchParams === 'undefined') {
    URLSearchParams = function(init) {
      this._params = [];
      this.append = function(k,v) { this._params.push([k,v]); };
      this.get = function(k) { for(var i=0;i<this._params.length;i++) if(this._params[i][0]===k) return this._params[i][1]; return null; };
      this.toString = function() { return this._params.map(function(p){return p[0]+'='+p[1];}).join('&'); };
    };
  }

  // btoa / atob
  if (typeof btoa === 'undefined') {
    var _b64chars = 'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/=';
    btoa = function(str) {
      var out = '';
      for (var i = 0; i < str.length; i += 3) {
        var a = str.charCodeAt(i), b = str.charCodeAt(i+1), c = str.charCodeAt(i+2);
        out += _b64chars[a>>2] + _b64chars[((a&3)<<4)|(b>>4)] + (isNaN(b)?'=':_b64chars[((b&15)<<2)|(c>>6)]) + (isNaN(b)||isNaN(c)?'=':_b64chars[c&63]);
      }
      return out;
    };
    atob = function(str) {
      var out = '';
      str = str.replace(/=+$/, '');
      for (var i = 0; i < str.length; i += 4) {
        var a = _b64chars.indexOf(str[i]), b = _b64chars.indexOf(str[i+1]);
        var c = _b64chars.indexOf(str[i+2]), d = _b64chars.indexOf(str[i+3]);
        out += String.fromCharCode((a<<2)|(b>>4)) + (c>=0?String.fromCharCode(((b&15)<<4)|(c>>2)):'') + (d>=0?String.fromCharCode(((c&3)<<6)|d):'');
      }
      return out;
    };
  }

  // setImmediate / clearImmediate (Web API extensions used by many libraries)
  if (typeof setImmediate === 'undefined') {
    setImmediate = function(fn) {
      var args = Array.prototype.slice.call(arguments, 1);
      return setTimeout(function() { fn.apply(null, args); }, 0);
    };
    clearImmediate = function(id) { clearTimeout(id); };
  }
})();"#;

const NODE_POLYFILLS: &str = r#"(function() {
  // @trace REQ-ENG-007 Node.js API polyfills for Node Realm context

  // global alias
  if (typeof global === 'undefined') {
    global = globalThis;
  }

  // process
  if (typeof process === 'undefined') {
    process = {
      argv: ['bao', typeof __filename !== 'undefined' ? __filename : ''],
      argv0: 'bao',
      execArgv: [],
      execPath: '/usr/local/bin/bao',
      env: (function() {
        var e = {};
        if (typeof navigator !== 'undefined' && navigator.userAgent) {
          e.NODE_VERSION = '20.11.0';
          e.BAO_VERSION = '0.1.0';
        }
        e.HOME = '/';
        e.PATH = '/usr/local/bin:/usr/bin:/bin';
        e.TERM = 'xterm-256color';
        return e;
      })(),
      version: 'v20.11.0',
      versions: {
        node: '20.11.0',
        v8: '12.4.254.14',
        uv: '1.27.0',
        zlib: '1.2.13',
        brotli: '1.0.9',
        ares: '1.19.1',
        modules: '115',
        openssl: '3.0.12',
        icu: '74.2',
        bun: '1.0.25',
        bao: '0.1.0',
      },
      pid: 1,
      ppid: 0,
      title: 'bao',
      arch: (function() {
        if (typeof navigator !== 'undefined') {
          var p = navigator.platform || '';
          if (p.indexOf('Win') >= 0) return 'x64';
          if (p.indexOf('Mac') >= 0) return 'arm64';
          if (p.indexOf('Linux') >= 0) return 'x64';
        }
        return 'x64';
      })(),
      platform: (function() {
        if (typeof navigator !== 'undefined') {
          var p = navigator.platform || '';
          if (p.indexOf('Win') >= 0) return 'win32';
          if (p.indexOf('Mac') >= 0) return 'darwin';
        }
        return 'linux';
      })(),
      cwd: function() { return '/'; },
      chdir: function() {},
      exit: function(code) { throw new Error('process.exit(' + (code||0) + ')'); },
      hrtime: (function() {
        var origin = performance.now() * 1e-3;
        return function bigtime() {
          var diff = performance.now() * 1e-3 - origin;
          var sec = Math.floor(diff);
          var nsec = Math.round((diff - sec) * 1e9);
          if (arguments.length > 0) {
            sec += arguments[0][0];
            nsec += arguments[0][1];
            sec += Math.floor(nsec / 1e9);
            nsec = nsec % 1e9;
            if (nsec < 0) { nsec += 1e9; sec -= 1; }
          }
          var result = [sec, nsec];
          result.bigint = function() { return BigInt(sec) * 1000000000n + BigInt(nsec); };
          return result;
        };
      })(),
      uptime: function() { return performance.now() / 1000; },
      memoryUsage: function() {
        return { rss: 64*1024*1024, heapTotal: 32*1024*1024, heapUsed: 16*1024*1024, external: 2*1024*1024, arrayBuffers: 1*1024*1024 };
      },
      cpuUsage: function() { return { user: 100000, system: 50000 }; },
      nextTick: function(fn) {
        var args = Array.prototype.slice.call(arguments, 1);
        Promise.resolve().then(function() { fn.apply(null, args); });
      },
      binding: function(name) { return {}; },
      dlopen: function() { throw new Error('process.dlopen not available in browser context'); },
      stdout: { write: function(d) { console.log(d); return true; }, end: function() {} },
      stderr: { write: function(d) { console.error(d); return true; }, end: function() {} },
      stdin: { on: function() {}, resume: function() { return this; }, pipe: function() {} },
      on: function(event, fn) { return this; },
      off: function() {},
      once: function(event, fn) { return this; },
      emit: function(event) { return false; },
      removeAllListeners: function() { return this; },
      setUncaughtExceptionCallback: function() {},
    };
  }

  // Buffer — browser-compatible implementation backed by Uint8Array
  if (typeof Buffer === 'undefined') {
    Buffer = (function() {
      function B(data, encoding) {
        if (!(this instanceof B)) return new B(data, encoding);
        if (data instanceof Uint8Array) {
          this._buf = new Uint8Array(data);
        } else if (data instanceof ArrayBuffer) {
          this._buf = new Uint8Array(data);
        } else if (typeof data === 'string') {
          this._buf = new Uint8Array(Array.from(data).map(function(c) { return c.charCodeAt(0); }));
        } else if (Array.isArray(data)) {
          this._buf = new Uint8Array(data);
        } else {
          this._buf = new Uint8Array(0);
        }
        this.length = this._buf.length;
      }

      B.isBuffer = function(obj) { return obj instanceof B; };

      B.from = function(data, encoding) {
        if (data instanceof B) return new B(data._buf);
        if (data instanceof Uint8Array) return new B(data);
        if (data instanceof ArrayBuffer) return new B(data);
        if (typeof data === 'string') {
          if (encoding === 'hex') {
            var bytes = [];
            for (var i = 0; i < data.length; i += 2) {
              bytes.push(parseInt(data.substr(i, 2), 16));
            }
            return new B(bytes);
          }
          if (encoding === 'base64') {
            var bin = atob(data);
            var bytes = [];
            for (var i = 0; i < bin.length; i++) bytes.push(bin.charCodeAt(i));
            return new B(bytes);
          }
          return new B(data);
        }
        return new B(data);
      };

      B.alloc = function(size, fill, encoding) {
        var buf = new B(new Uint8Array(size));
        if (fill !== undefined) buf.fill(fill);
        return buf;
      };

      B.allocUnsafe = function(size) {
        return new B(new Uint8Array(size));
      };

      B.allocUnsafeSlow = function(size) {
        return new B(new Uint8Array(size));
      };

      B.concat = function(list, totalLength) {
        if (!Array.isArray(list) || list.length === 0) return new B(new Uint8Array(0));
        var len = totalLength !== undefined ? totalLength : list.reduce(function(a, b) { return a + b.length; }, 0);
        var result = new Uint8Array(len);
        var offset = 0;
        for (var i = 0; i < list.length; i++) {
          var buf = list[i] instanceof B ? list[i]._buf : new Uint8Array(list[i]);
          result.set(buf, offset);
          offset += buf.length;
        }
        return new B(result);
      };

      B.byteLength = function(str, encoding) {
        if (typeof str === 'string') {
          if (encoding === 'base64') return atob(str).length;
          if (encoding === 'hex') return str.length / 2;
          return new TextEncoder().encode(str).length;
        }
        if (str instanceof ArrayBuffer) return str.byteLength;
        if (str instanceof Uint8Array) return str.length;
        return 0;
      };

      B.compare = function(a, b) {
        for (var i = 0; i < Math.min(a.length, b.length); i++) {
          if (a._buf[i] < b._buf[i]) return -1;
          if (a._buf[i] > b._buf[i]) return 1;
        }
        return a.length - b.length;
      };

      B.prototype.slice = function(start, end) {
        return new B(this._buf.slice(start || 0, end));
      };

      B.prototype.subarray = function(start, end) {
        return new B(this._buf.subarray(start || 0, end));
      };

      B.prototype.toString = function(encoding, start, end) {
        var s = start || 0;
        var e = end !== undefined ? end : this._buf.length;
        var slice = this._buf.slice(s, e);
        if (encoding === 'hex') {
          return Array.from(slice).map(function(b) { return b.toString(16).padStart(2, '0'); }).join('');
        }
        if (encoding === 'base64') {
          var bin = Array.from(slice).map(function(b) { return String.fromCharCode(b); }).join('');
          return btoa(bin);
        }
        return new TextDecoder().decode(slice);
      };

      B.prototype.toJSON = function() {
        return { type: 'Buffer', data: Array.from(this._buf) };
      };

      B.prototype.equals = function(other) {
        if (!(other instanceof B) || this.length !== other.length) return false;
        for (var i = 0; i < this.length; i++) {
          if (this._buf[i] !== other._buf[i]) return false;
        }
        return true;
      };

      B.prototype.compare = function(other, targetStart, targetEnd, sourceStart, sourceEnd) {
        var a = this._buf.slice(sourceStart || 0, sourceEnd);
        var b = other._buf.slice(targetStart || 0, targetEnd);
        for (var i = 0; i < Math.min(a.length, b.length); i++) {
          if (a[i] < b[i]) return -1;
          if (a[i] > b[i]) return 1;
        }
        return a.length - b.length;
      };

      B.prototype.copy = function(target, targetStart, sourceStart, sourceEnd) {
        var src = this._buf.slice(sourceStart || 0, sourceEnd);
        for (var i = 0; i < src.length; i++) {
          if (target._buf) target._buf[targetStart + i] = src[i];
        }
        return src.length;
      };

      B.prototype.fill = function(value, start, end) {
        var s = start || 0;
        var e = end !== undefined ? end : this._buf.length;
        var v = typeof value === 'number' ? value : 0;
        for (var i = s; i < e; i++) this._buf[i] = v;
        return this;
      };

      B.prototype.write = function(str, offset, length, encoding) {
        var o = offset || 0;
        var bytes = new TextEncoder().encode(str);
        var len = Math.min(bytes.length, length !== undefined ? length : this._buf.length - o);
        for (var i = 0; i < len; i++) this._buf[o + i] = bytes[i];
        return len;
      };

      B.prototype.includes = function(value, offset) {
        return this.indexOf(value, offset) !== -1;
      };

      B.prototype.indexOf = function(value, offset) {
        var o = offset || 0;
        var search = typeof value === 'number' ? [value] : Array.from(new TextEncoder().encode(String(value)));
        for (var i = o; i <= this._buf.length - search.length; i++) {
          var found = true;
          for (var j = 0; j < search.length; j++) {
            if (this._buf[i + j] !== search[j]) { found = false; break; }
          }
          if (found) return i;
        }
        return -1;
      };

      B.prototype.readUInt8 = function(offset) { return this._buf[offset || 0]; };
      B.prototype.readUInt16LE = function(offset) { var o = offset||0; return this._buf[o] | (this._buf[o+1]<<8); };
      B.prototype.readUInt16BE = function(offset) { var o = offset||0; return (this._buf[o]<<8) | this._buf[o+1]; };
      B.prototype.readUInt32LE = function(offset) {
        var o = offset||0;
        return (this._buf[o]) | (this._buf[o+1]<<8) | (this._buf[o+2]<<16) | (this._buf[o+3]<<24);
      };
      B.prototype.readInt8 = function(offset) { var v = this._buf[offset||0]; return v > 127 ? v - 256 : v; };
      B.prototype.readInt16LE = function(offset) { var v = this.readUInt16LE(offset); return v > 32767 ? v - 65536 : v; };
      B.prototype.readInt32LE = function(offset) { var v = this.readUInt32LE(offset); return v > 2147483647 ? v - 4294967296 : v; };
      B.prototype.readFloatLE = function(offset) {
        var buf = new ArrayBuffer(4); new Float32Array(buf)[0] = 0;
        new Uint8Array(buf).set(this._buf.slice(offset||0, (offset||0)+4));
        return new Float32Array(buf)[0];
      };
      B.prototype.readDoubleLE = function(offset) {
        var buf = new ArrayBuffer(8);
        new Uint8Array(buf).set(this._buf.slice(offset||0, (offset||0)+8));
        return new Float64Array(buf)[0];
      };

      B.prototype.writeUInt8 = function(v, offset) { this._buf[offset||0] = v & 0xFF; return (offset||0)+1; };
      B.prototype.writeUInt16LE = function(v, offset) { var o = offset||0; this._buf[o]=v&0xFF; this._buf[o+1]=(v>>8)&0xFF; return o+2; };
      B.prototype.writeUInt32LE = function(v, offset) { var o = offset||0; this._buf[o]=v&0xFF; this._buf[o+1]=(v>>8)&0xFF; this._buf[o+2]=(v>>16)&0xFF; this._buf[o+3]=(v>>24)&0xFF; return o+4; };
      B.prototype.writeInt8 = function(v, offset) { return this.writeUInt8(v < 0 ? v + 256 : v, offset); };
      B.prototype.writeInt16LE = function(v, offset) { return this.writeUInt16LE(v < 0 ? v + 65536 : v, offset); };
      B.prototype.writeInt32LE = function(v, offset) { return this.writeUInt32LE(v < 0 ? v + 4294967296 : v, offset); };
      B.prototype.writeFloatLE = function(v, offset) {
        var buf = new ArrayBuffer(4); new Float32Array(buf)[0] = v;
        this._buf.set(new Uint8Array(buf), offset||0); return (offset||0)+4;
      };
      B.prototype.writeDoubleLE = function(v, offset) {
        var buf = new ArrayBuffer(8); new Float64Array(buf)[0] = v;
        this._buf.set(new Uint8Array(buf), offset||0); return (offset||0)+8;
      };

      B.prototype[Symbol.iterator] = function() {
        var idx = 0; var buf = this._buf;
        return { next: function() { return idx < buf.length ? { value: buf[idx++], done: false } : { done: true }; } };
      };

      return B;
    })();
  }

  // require — basic module loader for browser context
  if (typeof require === 'undefined') {
    var _module_cache = {};
    var _module_builtin = {
      'fs': { readFileSync: function() { throw new Error('fs not available in browser context'); }, existsSync: function() { return false; } },
      'path': {
        join: function() { return Array.prototype.slice.call(arguments).join('/').replace(/\/+/g, '/'); },
        resolve: function() { var parts = Array.prototype.slice.call(arguments); return '/' + parts.join('/').replace(/\/+/g, '/'); },
        dirname: function(p) { return p.split('/').slice(0, -1).join('/') || '.'; },
        basename: function(p, ext) { var b = p.split('/').pop(); return ext && b.endsWith(ext) ? b.slice(0, -ext.length) : b; },
        extname: function(p) { var i = p.lastIndexOf('.'); return i >= 0 ? p.slice(i) : ''; },
        sep: '/', delimiter: ':',
        posix: {
          join: function() { return Array.prototype.slice.call(arguments).join('/').replace(/\/+/g, '/'); },
          resolve: function() { var parts = Array.prototype.slice.call(arguments); return '/' + parts.join('/').replace(/\/+/g, '/'); },
          dirname: function(p) { return p.split('/').slice(0, -1).join('/') || '.'; },
          basename: function(p, ext) { var b = p.split('/').pop(); return ext && b.endsWith(ext) ? b.slice(0, -ext.length) : b; },
          extname: function(p) { var i = p.lastIndexOf('.'); return i >= 0 ? p.slice(i) : ''; },
          sep: '/', delimiter: ':',
        },
        win32: { sep: '\\', delimiter: ';' },
      },
      'url': {
        parse: function(u) { try { var p = new URL(u); return { href: p.href, protocol: p.protocol, host: p.host, hostname: p.hostname, pathname: p.pathname, search: p.search, hash: p.hash }; } catch(e) { return {}; } },
        format: function(u) { return typeof u === 'string' ? u : (u.protocol||'http:') + '//' + (u.host||u.hostname||'localhost') + (u.pathname||'/'); },
        resolve: function(from, to) { try { return new URL(to, from).href; } catch(e) { return to; } },
        URL: typeof URL !== 'undefined' ? URL : function() {},
        URLSearchParams: typeof URLSearchParams !== 'undefined' ? URLSearchParams : function() {},
      },
      'querystring': {
        parse: function(str, sep, eq) {
          sep = sep || '&'; eq = eq || '=';
          var obj = {};
          if (!str) return obj;
          str.split(sep).forEach(function(pair) {
            var idx = pair.indexOf(eq);
            var key = idx >= 0 ? pair.substring(0, idx) : pair;
            var val = idx >= 0 ? pair.substring(idx + 1) : '';
            obj[decodeURIComponent(key)] = decodeURIComponent(val);
          });
          return obj;
        },
        stringify: function(obj, sep, eq) {
          sep = sep || '&'; eq = eq || '=';
          return Object.keys(obj || {}).map(function(k) {
            return encodeURIComponent(k) + eq + encodeURIComponent(obj[k]);
          }).join(sep);
        },
        escape: encodeURIComponent,
        unescape: decodeURIComponent,
      },
      'events': {
        EventEmitter: (function() {
          function EE() { this._events = {}; }
          EE.prototype.on = function(e, fn) { (this._events[e] = this._events[e] || []).push(fn); return this; };
          EE.prototype.once = function(e, fn) { var self = this; function g() { self.off(e, g); fn.apply(this, arguments); } g._orig = fn; this.on(e, g); return this; };
          EE.prototype.off = function(e, fn) {
            if (!this._events[e]) return this;
            if (!fn) { delete this._events[e]; return this; }
            this._events[e] = this._events[e].filter(function(f) { return f !== fn && f._orig !== fn; });
            return this;
          };
          EE.prototype.emit = function(e) {
            var args = Array.prototype.slice.call(arguments, 1);
            (this._events[e] || []).forEach(function(fn) { fn.apply(null, args); });
            return this;
          };
          EE.prototype.removeListener = EE.prototype.off;
          EE.prototype.removeAllListeners = function(e) { if (e) delete this._events[e]; else this._events = {}; return this; };
          EE.prototype.listeners = function(e) { return this._events[e] || []; };
          EE.prototype.listenerCount = function(e) { return (this._events[e] || []).length; };
          return EE;
        })(),
      },
      'util': {
        inspect: function(obj) { return JSON.stringify(obj, null, 2); },
        inherits: function(ctor, superCtor) { ctor.prototype = Object.create(superCtor.prototype); ctor.prototype.constructor = ctor; },
        isFunction: function(v) { return typeof v === 'function'; },
        isNull: function(v) { return v === null; },
        isUndefined: function(v) { return v === undefined; },
        isObject: function(v) { return v !== null && typeof v === 'object'; },
        isString: function(v) { return typeof v === 'string'; },
        promisify: function(fn) {
          return function() {
            var args = Array.prototype.slice.call(arguments);
            return new Promise(function(resolve, reject) {
              args.push(function(err, result) { if (err) reject(err); else resolve(result); });
              fn.apply(null, args);
            });
          };
        },
        format: function(fmt) {
          var args = Array.prototype.slice.call(arguments, 1);
          return fmt.replace(/%[sdjifo]/g, function(m) { return args.length ? String(args.shift()) : m; });
        },
        types: {
          isDate: function(v) { return v instanceof Date; },
          isRegExp: function(v) { return v instanceof RegExp; },
          isArray: function(v) { return Array.isArray(v); },
          isPromise: function(v) { return v && typeof v.then === 'function'; },
        },
      },
      'stream': { Readable: function(){}, Writable: function(){}, Duplex: function(){}, Transform: function(){} },
      'buffer': { Buffer: typeof Buffer !== 'undefined' ? Buffer : function(){} },
      'crypto': {
        randomBytes: function(size, cb) {
          var arr = new Uint8Array(size);
          if (typeof crypto !== 'undefined' && crypto.getRandomValues) crypto.getRandomValues(arr);
          if (cb) cb(null, Buffer.from(arr));
          return Buffer.from(arr);
        },
        createHash: function(algo) {
          var chunks = [];
          return {
            update: function(data) { chunks.push(typeof data === 'string' ? data : String(data)); return this; },
            digest: function(enc) {
              var str = chunks.join('');
              if (typeof crypto !== 'undefined' && crypto.subtle) {
                return crypto.subtle.digest('SHA-256', new TextEncoder().encode(str)).then(function(buf) {
                  var arr = new Uint8Array(buf); return enc === 'hex' ? Array.from(arr).map(function(b){return b.toString(16).padStart(2,'0');}).join('') : Buffer.from(arr);
                });
              }
              return enc === 'hex' ? '00000000' : Buffer.alloc(0);
            },
          };
        },
      },
      'os': {
        platform: function() { return 'linux'; },
        arch: function() { return 'x64'; },
        homedir: function() { return '/'; },
        tmpdir: function() { return '/tmp'; },
        type: function() { return 'Linux'; },
        release: function() { return '6.8.0'; },
        hostname: function() { return 'bao'; },
        cpus: function() { return [{ model: 'bao', speed: 3000 }]; },
        totalmem: function() { return 8*1024*1024*1024; },
        freemem: function() { return 4*1024*1024*1024; },
        uptime: function() { return 3600; },
        EOL: '\n',
      },
      'assert': {
        ok: function(v, msg) { if (!v) throw new Error(msg || 'assertion failed'); },
        equal: function(a, b, msg) { if (a !== b) throw new Error(msg || a + ' !== ' + b); },
        deepEqual: function(a, b, msg) { if (JSON.stringify(a) !== JSON.stringify(b)) throw new Error(msg || 'not deep equal'); },
        throws: function(fn, msg) { try { fn(); throw new Error(msg || 'expected throw'); } catch(e) { if (e.message === (msg || 'expected throw')) throw e; } },
      },
      'timers': {
        setTimeout: typeof setTimeout !== 'undefined' ? setTimeout : function(fn) { fn(); return 0; },
        setInterval: typeof setInterval !== 'undefined' ? setInterval : function(fn) { return 0; },
        clearTimeout: typeof clearTimeout !== 'undefined' ? clearTimeout : function() {},
        clearInterval: typeof clearInterval !== 'undefined' ? clearInterval : function() {},
        setImmediate: typeof setImmediate !== 'undefined' ? setImmediate : function(fn) { return setTimeout(fn, 0); },
        clearImmediate: typeof clearImmediate !== 'undefined' ? clearImmediate : function() {},
      },
    };

    require = function(name) {
      if (_module_cache[name]) return _module_cache[name];
      if (_module_builtin[name]) { _module_cache[name] = _module_builtin[name]; return _module_builtin[name]; }
      throw new Error("Cannot find module '" + name + "' in browser context");
    };

    require.resolve = function(name) { return name; };
    require.cache = _module_cache;
  }

  // setImmediate / clearImmediate
  if (typeof setImmediate === 'undefined') {
    setImmediate = function(fn) {
      var args = Array.prototype.slice.call(arguments, 1);
      return setTimeout(function() { fn.apply(null, args); }, 0);
    };
    clearImmediate = function(id) { clearTimeout(id); };
  }

  // __dirname / __filename
  if (typeof __dirname === 'undefined') {
    __dirname = '/';
    __filename = '/index.js';
  }

  // TextEncoder / TextDecoder (most browsers have these, but ensure)
  if (typeof TextEncoder === 'undefined') {
    TextEncoder = function() { this.encode = function(str) { return new Uint8Array(Array.from(str).map(function(c){return c.charCodeAt(0);})); }; };
  }
  if (typeof TextDecoder === 'undefined') {
    TextDecoder = function() { this.decode = function(buf) { return String.fromCharCode.apply(null, buf); }; };
  }

  // URL / URLSearchParams (most browsers have these, but ensure)
  if (typeof URL === 'undefined') {
    URL = function(url, base) { throw new Error('URL not available'); };
  }
  if (typeof URLSearchParams === 'undefined') {
    URLSearchParams = function(init) {
      this._params = [];
      this.append = function(k,v) { this._params.push([k,v]); };
      this.get = function(k) { for(var i=0;i<this._params.length;i++) if(this._params[i][0]===k) return this._params[i][1]; return null; };
      this.toString = function() { return this._params.map(function(p){return p[0]+'='+p[1];}).join('&'); };
    };
  }

  // btoa / atob (most browsers have these, but ensure)
  if (typeof btoa === 'undefined') {
    var _b64chars = 'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/=';
    btoa = function(str) {
      var out = '';
      for (var i = 0; i < str.length; i += 3) {
        var a = str.charCodeAt(i), b = str.charCodeAt(i+1), c = str.charCodeAt(i+2);
        out += _b64chars[a>>2] + _b64chars[((a&3)<<4)|(b>>4)] + (isNaN(b)?'=':_b64chars[((b&15)<<2)|(c>>6)]) + (isNaN(b)||isNaN(c)?'=':_b64chars[c&63]);
      }
      return out;
    };
    atob = function(str) {
      var out = '';
      str = str.replace(/=+$/, '');
      for (var i = 0; i < str.length; i += 4) {
        var a = _b64chars.indexOf(str[i]), b = _b64chars.indexOf(str[i+1]);
        var c = _b64chars.indexOf(str[i+2]), d = _b64chars.indexOf(str[i+3]);
        out += String.fromCharCode((a<<2)|(b>>4)) + (c>=0?String.fromCharCode(((b&15)<<4)|(c>>2)):'') + (d>=0?String.fromCharCode(((c&3)<<6)|d):'');
      }
      return out;
    };
  }
})();"#;

// ── Bridge types ────────────────────────────────────────────────────

/// Commands sent through the runtime bridge for execution in a page context.
///
/// Each variant maps to a [`PageHandle`] operation. The bridge decouples
/// command submission from execution — a worker loop reads from the
/// [`BridgeReceiver`] and drives the real servo page.
///
/// @trace REQ-BRW-003 [entity:RuntimeBridge]
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum BridgeCommand {
    /// Navigate the page to a URL.
    Navigate(String),
    /// Evaluate JavaScript in the page and return the result as a string.
    Evaluate(String),
    /// Capture a screenshot of the current page.
    Screenshot,
    /// Close the page and mark the bridge as inactive.
    Close,
    /// Resize the page viewport to width × height.
    Resize(u32, u32),
    /// Retrieve the current page title.
    GetTitle,
    /// Retrieve the current page URL.
    GetUrl,
}

/// Response returned after executing a [`BridgeCommand`].
///
/// @trace REQ-BRW-003 [entity:RuntimeBridge]
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum BridgeResponse {
    /// Command succeeded with no return value.
    Ok,
    /// Command failed with a descriptive message.
    Err(String),
    /// Command returned a null / void result.
    Null,
    /// Command returned a string value (evaluation result, title, URL, …).
    Value(String),
    /// Command returned binary data (screenshot image bytes).
    Binary(Vec<u8>),
}

impl BridgeResponse {
    /// Returns `true` when the response is [`Ok`](BridgeResponse::Ok).
    pub fn is_ok(&self) -> bool {
        matches!(self, BridgeResponse::Ok)
    }

    /// Returns `true` when the response is [`Err`](BridgeResponse::Err).
    pub fn is_err(&self) -> bool {
        matches!(self, BridgeResponse::Err(_))
    }

    /// Converts [`Err`](BridgeResponse::Err) into `Result::Err`, wrapping all other
    /// variants in `Result::Ok`.
    pub fn ok(self) -> Result<Self, String> {
        match self {
            BridgeResponse::Err(e) => Err(e),
            other => Ok(other),
        }
    }
}

/// Receiving end of a [`BridgeChannel`].
///
/// A worker thread (or event-loop iteration) calls [`recv`](BridgeReceiver::recv)
/// to obtain commands and their optional response channels, executes them against
/// the page, and sends back [`BridgeResponse`] values.
pub struct BridgeReceiver {
    rx: mpsc::Receiver<(BridgeCommand, Option<mpsc::Sender<BridgeResponse>>)>,
    alive: Arc<AtomicBool>,
}

impl std::fmt::Debug for BridgeReceiver {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        f.debug_struct("BridgeReceiver")
            .field("alive", &self.alive)
            .finish()
    }
}

impl BridgeReceiver {
    /// Block until a command arrives or the channel is disconnected.
    pub fn recv(&self) -> Result<(BridgeCommand, Option<mpsc::Sender<BridgeResponse>>), String> {
        self.rx.recv().map_err(|_| "channel closed".to_string())
    }

    /// Block for at most `timeout`, returning the command or a timeout error.
    pub fn recv_timeout(
        &self,
        timeout: Duration,
    ) -> Result<(BridgeCommand, Option<mpsc::Sender<BridgeResponse>>), String> {
        self.rx.recv_timeout(timeout).map_err(|e| format!("{}", e))
    }

    /// Whether the bridge has been marked alive (both sides share the flag).
    pub fn is_alive(&self) -> bool {
        self.alive.load(Ordering::SeqCst)
    }
}

/// Producer half of the bridge command channel.
///
/// Methods are thread-safe (`&self`) so a single channel can be shared across
/// threads for concurrent submission.
///
/// @trace REQ-BRW-003 [entity:BridgeChannel]
#[derive(Debug)]
pub struct BridgeChannel {
    tx: mpsc::Sender<(BridgeCommand, Option<mpsc::Sender<BridgeResponse>>)>,
    alive: Arc<AtomicBool>,
}

impl BridgeChannel {
    /// Create a new bridge channel pair.
    ///
    /// Returns `(sender, receiver)` where commands flow sender → receiver and
    /// responses flow back via per-command one-shot channels.
    pub fn new() -> (Self, BridgeReceiver) {
        let (tx, rx) = mpsc::channel();
        let alive = Arc::new(AtomicBool::new(true));
        let channel = BridgeChannel {
            tx,
            alive: alive.clone(),
        };
        let receiver = BridgeReceiver { rx, alive };
        (channel, receiver)
    }

    /// Send a command and block until the worker returns a response.
    pub fn send(&self, cmd: BridgeCommand) -> Result<BridgeResponse, String> {
        let (resp_tx, resp_rx) = mpsc::channel();
        self.tx
            .send((cmd, Some(resp_tx)))
            .map_err(|_| "bridge closed".to_string())?;
        resp_rx
            .recv()
            .map_err(|_| "response channel closed".to_string())
    }

    /// Send a command and wait at most `timeout` for a response.
    pub fn send_timeout(
        &self,
        cmd: BridgeCommand,
        timeout: Duration,
    ) -> Result<BridgeResponse, String> {
        let (resp_tx, resp_rx) = mpsc::channel();
        self.tx
            .send((cmd, Some(resp_tx)))
            .map_err(|_| "bridge closed".to_string())?;
        resp_rx.recv_timeout(timeout).map_err(|e| format!("{}", e))
    }

    /// Send a command without waiting for a response.
    ///
    /// The worker receives `None` for the responder slot and can skip
    /// the response-send step.
    pub fn fire_and_forget(&self, cmd: BridgeCommand) -> Result<(), String> {
        self.tx
            .send((cmd, None))
            .map_err(|_| "bridge closed".to_string())
    }

    /// Whether the bridge is marked alive (both sender and receiver).
    pub fn is_alive(&self) -> bool {
        self.alive.load(Ordering::SeqCst)
    }

    /// Mark the bridge as closed.
    ///
    /// This only sets a flag — the underlying channel remains connected.
    /// Dropping the [`BridgeChannel`] / [`BridgeReceiver`] pair fully tears
    /// down the transport.
    pub fn close(&self) {
        self.alive.store(false, Ordering::SeqCst);
    }
}

/// High-level bridge that owns a [`BridgeChannel`] and provides the public
/// command API for the bao_browser runtime.
///
/// In production, a worker loop reads from the associated [`BridgeReceiver`]
/// and dispatches commands to a servo [`PageHandle`].  In tests the channel
/// alone is exercised.
///
/// @trace REQ-BRW-003 [entity:RuntimeBridge]
#[derive(Debug)]
pub struct RuntimeBridge {
    channel: BridgeChannel,
}

impl RuntimeBridge {
    /// Create a fresh bridge, returning the sending half and the receiver.
    pub fn new() -> (Self, BridgeReceiver) {
        let (channel, receiver) = BridgeChannel::new();
        (RuntimeBridge { channel }, receiver)
    }

    /// Send a command and wait for the response.  See [`BridgeChannel::send`].
    pub fn send(&self, cmd: BridgeCommand) -> Result<BridgeResponse, String> {
        self.channel.send(cmd)
    }

    /// Send a command and wait at most `timeout` for a response.
    /// See [`BridgeChannel::send_timeout`].
    pub fn send_timeout(
        &self,
        cmd: BridgeCommand,
        timeout: Duration,
    ) -> Result<BridgeResponse, String> {
        self.channel.send_timeout(cmd, timeout)
    }

    /// Send a command without waiting for a response.
    /// See [`BridgeChannel::fire_and_forget`].
    pub fn fire_and_forget(&self, cmd: BridgeCommand) -> Result<(), String> {
        self.channel.fire_and_forget(cmd)
    }

    /// Whether the bridge is alive.  See [`BridgeChannel::is_alive`].
    pub fn is_alive(&self) -> bool {
        self.channel.is_alive()
    }

    /// Mark the bridge closed.  See [`BridgeChannel::close`].
    pub fn close(&self) {
        self.channel.close();
    }
}

#[cfg(test)]
mod tests {
    use std::sync::OnceLock;
    // ─── Polyfill validation ──────────────────────────────────────
    // @trace REQ-BRW-003 [req:REQ-BRW-003] [level:unit]

    #[test]
    fn test_polyfills_are_valid_js() {
        assert!(!super::NODE_POLYFILLS.is_empty());
        assert!(super::NODE_POLYFILLS.contains("Buffer"));
        assert!(super::NODE_POLYFILLS.contains("require"));
        assert!(super::NODE_POLYFILLS.contains("process"));
    }

    // ─── BridgeCommand / BridgeResponse / BridgeChannel extended tests ──
    // @trace REQ-BRW-003 [req:REQ-BRW-003] [level:unit]

    #[test]
    fn bridge_command_navigate_equality() {
        let cmd1 = super::BridgeCommand::Navigate("https://example.com".into());
        let cmd2 = super::BridgeCommand::Navigate("https://example.com".into());
        let cmd3 = super::BridgeCommand::Navigate("https://other.com".into());
        assert_eq!(cmd1, cmd2);
        assert_ne!(cmd1, cmd3);
    }

    #[test]
    fn bridge_command_evaluate_equality() {
        let cmd1 = super::BridgeCommand::Evaluate("1+1".into());
        let cmd2 = super::BridgeCommand::Evaluate("1+1".into());
        assert_eq!(cmd1, cmd2);
        assert_ne!(cmd1, super::BridgeCommand::Evaluate("2+2".into()));
    }

    #[test]
    fn bridge_command_resize_equality() {
        assert_eq!(
            super::BridgeCommand::Resize(800, 600),
            super::BridgeCommand::Resize(800, 600)
        );
        assert_ne!(
            super::BridgeCommand::Resize(800, 600),
            super::BridgeCommand::Resize(1024, 768)
        );
    }

    #[test]
    fn bridge_command_variants_distinct() {
        let cmds = [
            super::BridgeCommand::Navigate("x".into()),
            super::BridgeCommand::Evaluate("y".into()),
            super::BridgeCommand::Screenshot,
            super::BridgeCommand::Close,
            super::BridgeCommand::Resize(1, 1),
            super::BridgeCommand::GetTitle,
            super::BridgeCommand::GetUrl,
        ];
        for i in 0..cmds.len() {
            for j in 0..cmds.len() {
                if i != j {
                    assert_ne!(cmds[i], cmds[j]);
                }
            }
        }
    }

    #[test]
    fn bridge_response_ok_is_ok() {
        let resp = super::BridgeResponse::Ok;
        assert!(resp.is_ok());
        assert!(!resp.is_err());
    }

    #[test]
    fn bridge_response_err_is_err() {
        let resp = super::BridgeResponse::Err("failed".into());
        assert!(!resp.is_ok());
        assert!(resp.is_err());
    }

    #[test]
    fn bridge_response_null_not_err() {
        let resp = super::BridgeResponse::Null;
        assert!(!resp.is_ok()); // Null is not BridgeResponse::Ok
        assert!(!resp.is_err()); // Null is also not an error
    }

    #[test]
    fn bridge_response_value_not_err() {
        let resp = super::BridgeResponse::Value("result".into());
        assert!(!resp.is_ok()); // Value is not BridgeResponse::Ok
        assert!(!resp.is_err());
    }

    #[test]
    fn bridge_response_binary_not_err() {
        let resp = super::BridgeResponse::Binary(vec![1, 2, 3]);
        assert!(!resp.is_ok()); // Binary is not BridgeResponse::Ok
        assert!(!resp.is_err());
    }

    #[test]
    fn bridge_response_ok_method_wraps_non_err() {
        // .ok() converts Err → Result::Err, all others → Result::Ok
        assert!(super::BridgeResponse::Null.ok().is_ok());
        assert!(super::BridgeResponse::Value("v".into()).ok().is_ok());
        assert!(super::BridgeResponse::Binary(vec![]).ok().is_ok());
    }

    #[test]
    fn bridge_response_ok_method_on_err() {
        let resp = super::BridgeResponse::Err("error msg".into());
        let result = resp.ok();
        assert!(result.is_err());
        assert_eq!(result.unwrap_err(), "error msg");
    }

    #[test]
    fn bridge_response_ok_method_on_ok_variants() {
        assert!(super::BridgeResponse::Ok.ok().is_ok());
        assert!(super::BridgeResponse::Null.ok().is_ok());
        assert!(super::BridgeResponse::Value("v".into()).ok().is_ok());
        assert!(super::BridgeResponse::Binary(vec![]).ok().is_ok());
    }

    #[test]
    fn bridge_channel_new_alive() {
        let (channel, _receiver) = super::BridgeChannel::new();
        assert!(channel.is_alive());
    }

    #[test]
    fn bridge_channel_close_sets_not_alive() {
        let (channel, _receiver) = super::BridgeChannel::new();
        channel.close();
        assert!(!channel.is_alive());
    }

    #[test]
    fn bridge_receiver_alive_shares_flag() {
        let (channel, receiver) = super::BridgeChannel::new();
        assert!(receiver.is_alive());
        channel.close();
        assert!(!receiver.is_alive());
    }

    #[test]
    fn bridge_channel_fire_and_forget() {
        let (channel, receiver) = super::BridgeChannel::new();
        assert!(channel
            .fire_and_forget(super::BridgeCommand::GetTitle)
            .is_ok());
        let (cmd, responder) = receiver.recv().unwrap();
        assert_eq!(cmd, super::BridgeCommand::GetTitle);
        assert!(responder.is_none());
    }

    #[test]
    fn bridge_channel_send_with_response() {
        let (channel, receiver) = super::BridgeChannel::new();
        // send() blocks until response — we need a worker thread
        let worker = std::thread::spawn(move || {
            let (_cmd, responder) = receiver.recv().unwrap();
            if let Some(resp_tx) = responder {
                resp_tx
                    .send(super::BridgeResponse::Value("title".into()))
                    .unwrap();
            }
        });
        let result = channel.send(super::BridgeCommand::GetTitle).unwrap();
        assert_eq!(result, super::BridgeResponse::Value("title".into()));
        worker.join().unwrap();
    }

    #[test]
    fn runtime_bridge_new_alive() {
        let (bridge, _receiver) = super::RuntimeBridge::new();
        assert!(bridge.is_alive());
    }

    #[test]
    fn runtime_bridge_close() {
        let (bridge, _receiver) = super::RuntimeBridge::new();
        bridge.close();
        assert!(!bridge.is_alive());
    }

    #[test]
    fn runtime_bridge_fire_and_forget() {
        let (bridge, receiver) = super::RuntimeBridge::new();
        assert!(bridge.fire_and_forget(super::BridgeCommand::Close).is_ok());
        let (cmd, responder) = receiver.recv().unwrap();
        assert_eq!(cmd, super::BridgeCommand::Close);
        assert!(responder.is_none());
    }

    // ═══════════════════════════════════════════════════════════════════════
    // Extended unit tests for bridge types and polyfills
    // @trace REQ-BRW-003 [req:REQ-BRW-003] [level:unit]
    // ═══════════════════════════════════════════════════════════════════════

    // ─── BridgeCommand Debug format tests ──────────────────────────────────

    #[test]
    fn bridge_command_debug_format_navigate() {
        let cmd = super::BridgeCommand::Navigate("https://example.com".into());
        let debug_str = format!("{:?}", cmd);
        assert!(debug_str.contains("Navigate"));
        assert!(debug_str.contains("https://example.com"));
    }

    #[test]
    fn bridge_command_debug_format_evaluate() {
        let cmd = super::BridgeCommand::Evaluate("return 42".into());
        let debug_str = format!("{:?}", cmd);
        assert!(debug_str.contains("Evaluate"));
        assert!(debug_str.contains("return 42"));
    }

    #[test]
    fn bridge_command_debug_format_screenshot() {
        let cmd = super::BridgeCommand::Screenshot;
        let debug_str = format!("{:?}", cmd);
        assert!(debug_str.contains("Screenshot"));
    }

    #[test]
    fn bridge_command_debug_format_close() {
        let cmd = super::BridgeCommand::Close;
        let debug_str = format!("{:?}", cmd);
        assert!(debug_str.contains("Close"));
    }

    #[test]
    fn bridge_command_debug_format_resize() {
        let cmd = super::BridgeCommand::Resize(1920, 1080);
        let debug_str = format!("{:?}", cmd);
        assert!(debug_str.contains("Resize"));
        assert!(debug_str.contains("1920"));
        assert!(debug_str.contains("1080"));
    }

    #[test]
    fn bridge_command_debug_format_get_title() {
        let cmd = super::BridgeCommand::GetTitle;
        let debug_str = format!("{:?}", cmd);
        assert!(debug_str.contains("GetTitle"));
    }

    #[test]
    fn bridge_command_debug_format_get_url() {
        let cmd = super::BridgeCommand::GetUrl;
        let debug_str = format!("{:?}", cmd);
        assert!(debug_str.contains("GetUrl"));
    }

    // ─── BridgeCommand Clone tests ────────────────────────────────────────

    #[test]
    fn bridge_command_clone_navigate() {
        let cmd = super::BridgeCommand::Navigate("https://test.com".into());
        let cloned = cmd.clone();
        assert_eq!(cmd, cloned);
    }

    #[test]
    fn bridge_command_clone_evaluate() {
        let cmd = super::BridgeCommand::Evaluate("x + y".into());
        let cloned = cmd.clone();
        assert_eq!(cmd, cloned);
    }

    #[test]
    fn bridge_command_clone_resize() {
        let cmd = super::BridgeCommand::Resize(1024, 768);
        let cloned = cmd.clone();
        assert_eq!(cmd, cloned);
    }

    // ─── BridgeResponse Debug/Clone/Equality tests ────────────────────────

    #[test]
    fn bridge_response_debug_format_ok() {
        let resp = super::BridgeResponse::Ok;
        let debug_str = format!("{:?}", resp);
        assert!(debug_str.contains("Ok"));
    }

    #[test]
    fn bridge_response_debug_format_err() {
        let resp = super::BridgeResponse::Err("something went wrong".into());
        let debug_str = format!("{:?}", resp);
        assert!(debug_str.contains("Err"));
        assert!(debug_str.contains("something went wrong"));
    }

    #[test]
    fn bridge_response_debug_format_null() {
        let resp = super::BridgeResponse::Null;
        let debug_str = format!("{:?}", resp);
        assert!(debug_str.contains("Null"));
    }

    #[test]
    fn bridge_response_debug_format_value() {
        let resp = super::BridgeResponse::Value("result string".into());
        let debug_str = format!("{:?}", resp);
        assert!(debug_str.contains("Value"));
        assert!(debug_str.contains("result string"));
    }

    #[test]
    fn bridge_response_debug_format_binary() {
        let resp = super::BridgeResponse::Binary(vec![0xDE, 0xAD, 0xBE, 0xEF]);
        let debug_str = format!("{:?}", resp);
        assert!(debug_str.contains("Binary"));
    }

    #[test]
    fn bridge_response_clone_ok() {
        let resp = super::BridgeResponse::Ok;
        let cloned = resp.clone();
        assert_eq!(resp, cloned);
    }

    #[test]
    fn bridge_response_clone_err() {
        let resp = super::BridgeResponse::Err("error".into());
        let cloned = resp.clone();
        assert_eq!(resp, cloned);
    }

    #[test]
    fn bridge_response_clone_value() {
        let resp = super::BridgeResponse::Value("value".into());
        let cloned = resp.clone();
        assert_eq!(resp, cloned);
    }

    #[test]
    fn bridge_response_clone_binary() {
        let resp = super::BridgeResponse::Binary(vec![1, 2, 3, 4]);
        let cloned = resp.clone();
        assert_eq!(resp, cloned);
    }

    #[test]
    fn bridge_response_equality_ok() {
        assert_eq!(super::BridgeResponse::Ok, super::BridgeResponse::Ok);
    }

    #[test]
    fn bridge_response_equality_err() {
        assert_eq!(
            super::BridgeResponse::Err("same error".into()),
            super::BridgeResponse::Err("same error".into())
        );
        assert_ne!(
            super::BridgeResponse::Err("error a".into()),
            super::BridgeResponse::Err("error b".into())
        );
    }

    #[test]
    fn bridge_response_equality_value() {
        assert_eq!(
            super::BridgeResponse::Value("same".into()),
            super::BridgeResponse::Value("same".into())
        );
        assert_ne!(
            super::BridgeResponse::Value("a".into()),
            super::BridgeResponse::Value("b".into())
        );
    }

    #[test]
    fn bridge_response_equality_binary() {
        assert_eq!(
            super::BridgeResponse::Binary(vec![1, 2, 3]),
            super::BridgeResponse::Binary(vec![1, 2, 3])
        );
        assert_ne!(
            super::BridgeResponse::Binary(vec![1, 2, 3]),
            super::BridgeResponse::Binary(vec![1, 2, 4])
        );
    }

    #[test]
    fn bridge_response_variants_distinct() {
        let responses = [
            super::BridgeResponse::Ok,
            super::BridgeResponse::Err("e".into()),
            super::BridgeResponse::Null,
            super::BridgeResponse::Value("v".into()),
            super::BridgeResponse::Binary(vec![1]),
        ];
        for i in 0..responses.len() {
            for j in 0..responses.len() {
                if i != j {
                    assert_ne!(responses[i], responses[j]);
                }
            }
        }
    }

    // ─── BridgeChannel edge case tests ────────────────────────────────────

    #[test]
    fn bridge_channel_send_timeout_zero_timeout_returns_err() {
        // send_timeout with Duration::ZERO: command is sent to channel,
        // but no worker responds within 0ms → timeout error.
        let (channel, receiver) = super::BridgeChannel::new();
        // Drain the receiver in a separate thread so the send doesn't block
        let _drainer = std::thread::spawn(move || {
            // Just drain the command, don't respond
            let _ = receiver.recv();
        });
        let result = channel.send_timeout(
            super::BridgeCommand::GetTitle,
            std::time::Duration::from_secs(0),
        );
        assert!(result.is_err());
    }

    #[test]
    fn bridge_channel_send_timeout_short_timeout() {
        let (channel, _receiver) = super::BridgeChannel::new();
        // No worker to respond — should timeout
        let result = channel.send_timeout(
            super::BridgeCommand::GetTitle,
            std::time::Duration::from_millis(1),
        );
        assert!(result.is_err());
    }

    #[test]
    fn bridge_channel_fire_and_forget_multiple() {
        let (channel, receiver) = super::BridgeChannel::new();
        assert!(channel
            .fire_and_forget(super::BridgeCommand::GetTitle)
            .is_ok());
        assert!(channel
            .fire_and_forget(super::BridgeCommand::GetUrl)
            .is_ok());
        assert!(channel
            .fire_and_forget(super::BridgeCommand::Screenshot)
            .is_ok());

        let (cmd1, _) = receiver.recv().unwrap();
        let (cmd2, _) = receiver.recv().unwrap();
        let (cmd3, _) = receiver.recv().unwrap();

        assert_eq!(cmd1, super::BridgeCommand::GetTitle);
        assert_eq!(cmd2, super::BridgeCommand::GetUrl);
        assert_eq!(cmd3, super::BridgeCommand::Screenshot);
    }

    #[test]
    fn bridge_channel_close_then_send_fails() {
        let (channel, receiver) = super::BridgeChannel::new();
        channel.close();
        // Channel is marked closed but underlying mpsc still works
        // The alive flag is just a marker, not a hard barrier
        // Verify the alive flag is set
        assert!(!channel.is_alive());
        // Drop receiver to actually close the channel
        drop(receiver);
        // Now send should fail
        let result = channel.send(super::BridgeCommand::GetTitle);
        assert!(result.is_err());
    }

    #[test]
    fn bridge_channel_close_then_fire_and_forget_fails() {
        let (channel, receiver) = super::BridgeChannel::new();
        channel.close();
        // Drop receiver to actually close the channel
        drop(receiver);
        let result = channel.fire_and_forget(super::BridgeCommand::Close);
        assert!(result.is_err());
    }

    #[test]
    fn bridge_channel_multiple_send_response_pairs() {
        let (channel, receiver) = super::BridgeChannel::new();

        let worker = std::thread::spawn(move || {
            for _ in 0..3 {
                let (cmd, responder) = receiver.recv().unwrap();
                if let Some(resp_tx) = responder {
                    let resp = match cmd {
                        super::BridgeCommand::GetTitle => {
                            super::BridgeResponse::Value("Title".into())
                        }
                        super::BridgeCommand::GetUrl => {
                            super::BridgeResponse::Value("https://url.com".into())
                        }
                        _ => super::BridgeResponse::Ok,
                    };
                    resp_tx.send(resp).unwrap();
                }
            }
        });

        let r1 = channel.send(super::BridgeCommand::GetTitle).unwrap();
        let r2 = channel.send(super::BridgeCommand::GetUrl).unwrap();
        let r3 = channel.send(super::BridgeCommand::Screenshot).unwrap();

        assert_eq!(r1, super::BridgeResponse::Value("Title".into()));
        assert_eq!(r2, super::BridgeResponse::Value("https://url.com".into()));
        assert_eq!(r3, super::BridgeResponse::Ok);

        worker.join().unwrap();
    }

    // ─── BridgeReceiver edge case tests ───────────────────────────────────

    #[test]
    fn bridge_receiver_recv_timeout_short() {
        let (_channel, receiver) = super::BridgeChannel::new();
        // No command sent — should timeout
        let result = receiver.recv_timeout(std::time::Duration::from_millis(1));
        assert!(result.is_err());
    }

    #[test]
    fn bridge_receiver_recv_after_channel_dropped() {
        let (channel, receiver) = super::BridgeChannel::new();
        drop(channel);
        // recv should return error when sender is dropped
        let result = receiver.recv();
        assert!(result.is_err());
        assert_eq!(result.unwrap_err(), "channel closed");
    }

    #[test]
    fn bridge_receiver_debug_format() {
        let (_channel, receiver) = super::BridgeChannel::new();
        let debug_str = format!("{:?}", receiver);
        assert!(debug_str.contains("BridgeReceiver"));
        assert!(debug_str.contains("alive"));
    }

    // ─── RuntimeBridge edge case tests ────────────────────────────────────

    #[test]
    fn runtime_bridge_send_timeout() {
        let (bridge, receiver) = super::RuntimeBridge::new();

        let worker = std::thread::spawn(move || {
            let (cmd, responder) = receiver.recv().unwrap();
            if let Some(resp_tx) = responder {
                let resp = match cmd {
                    super::BridgeCommand::Evaluate(ref code) => {
                        super::BridgeResponse::Value(format!("evaluated: {}", code))
                    }
                    _ => super::BridgeResponse::Ok,
                };
                resp_tx.send(resp).unwrap();
            }
        });

        let result = bridge
            .send_timeout(
                super::BridgeCommand::Evaluate("1+1".into()),
                std::time::Duration::from_secs(5),
            )
            .unwrap();
        assert_eq!(
            result,
            super::BridgeResponse::Value("evaluated: 1+1".into())
        );

        worker.join().unwrap();
    }

    #[test]
    fn runtime_bridge_close_propagates() {
        let (bridge, receiver) = super::RuntimeBridge::new();
        assert!(bridge.is_alive());
        assert!(receiver.is_alive());
        bridge.close();
        assert!(!bridge.is_alive());
        assert!(!receiver.is_alive());
    }

    #[test]
    fn runtime_bridge_fire_and_forget_after_close_still_works() {
        let (bridge, receiver) = super::RuntimeBridge::new();
        bridge.close();
        // close() only sets the alive flag, doesn't close the channel
        // fire_and_forget should still work until receiver is dropped
        assert!(bridge.fire_and_forget(super::BridgeCommand::Close).is_ok());
        let (cmd, responder) = receiver.recv().unwrap();
        assert_eq!(cmd, super::BridgeCommand::Close);
        assert!(responder.is_none());
    }

    #[test]
    fn runtime_bridge_send_after_receiver_dropped() {
        let (bridge, receiver) = super::RuntimeBridge::new();
        drop(receiver);
        let result = bridge.send(super::BridgeCommand::GetTitle);
        assert!(result.is_err());
    }

    #[test]
    fn runtime_bridge_debug_format() {
        let (bridge, _receiver) = super::RuntimeBridge::new();
        let debug_str = format!("{:?}", bridge);
        assert!(debug_str.contains("RuntimeBridge"));
    }

    // ─── NODE_POLYFILLS content tests ─────────────────────────────────────

    #[test]
    fn node_polyfills_process_version() {
        let poly = super::NODE_POLYFILLS;
        assert!(poly.contains("version: 'v20.11.0'"));
    }

    #[test]
    fn node_polyfills_process_versions_structure() {
        let poly = super::NODE_POLYFILLS;
        // Check key version fields exist
        assert!(poly.contains("node: '20.11.0'"));
        assert!(poly.contains("v8: '12.4.254.14'"));
        assert!(poly.contains("uv: '1.27.0'"));
        assert!(poly.contains("zlib: '1.2.13'"));
        assert!(poly.contains("brotli: '1.0.9'"));
        assert!(poly.contains("ares: '1.19.1'"));
        assert!(poly.contains("modules: '115'"));
        assert!(poly.contains("openssl: '3.0.12'"));
        assert!(poly.contains("icu: '74.2'"));
        assert!(poly.contains("bun: '1.0.25'"));
        assert!(poly.contains("bao: '0.1.0'"));
    }

    #[test]
    fn node_polyfills_process_env() {
        let poly = super::NODE_POLYFILLS;
        assert!(poly.contains("env:"));
        assert!(poly.contains("e.HOME = '/'"));
        assert!(poly.contains("e.PATH = '/usr/local/bin:/usr/bin:/bin'"));
        assert!(poly.contains("e.TERM = 'xterm-256color'"));
        assert!(poly.contains("e.NODE_VERSION = '20.11.0'"));
        assert!(poly.contains("e.BAO_VERSION = '0.1.0'"));
    }

    #[test]
    fn node_polyfills_process_argv() {
        let poly = super::NODE_POLYFILLS;
        assert!(poly.contains("argv:"));
        assert!(poly.contains("argv0: 'bao'"));
    }

    #[test]
    fn node_polyfills_buffer_from() {
        let poly = super::NODE_POLYFILLS;
        assert!(poly.contains("B.from = function"));
        assert!(poly.contains("if (data instanceof B)"));
        assert!(poly.contains("if (encoding === 'hex')"));
        assert!(poly.contains("if (encoding === 'base64')"));
    }

    #[test]
    fn node_polyfills_buffer_alloc() {
        let poly = super::NODE_POLYFILLS;
        assert!(poly.contains("B.alloc = function"));
        assert!(poly.contains("B.allocUnsafe = function"));
        assert!(poly.contains("B.allocUnsafeSlow = function"));
    }

    #[test]
    fn node_polyfills_buffer_static_methods() {
        let poly = super::NODE_POLYFILLS;
        assert!(poly.contains("B.isBuffer = function"));
        assert!(poly.contains("B.concat = function"));
        assert!(poly.contains("B.byteLength = function"));
        assert!(poly.contains("B.compare = function"));
    }

    #[test]
    fn node_polyfills_buffer_instance_methods() {
        let poly = super::NODE_POLYFILLS;
        assert!(poly.contains("B.prototype.slice = function"));
        assert!(poly.contains("B.prototype.toString = function"));
        assert!(poly.contains("B.prototype.toJSON = function"));
        assert!(poly.contains("B.prototype.equals = function"));
        assert!(poly.contains("B.prototype.compare = function"));
        assert!(poly.contains("B.prototype.copy = function"));
        assert!(poly.contains("B.prototype.fill = function"));
        assert!(poly.contains("B.prototype.write = function"));
        assert!(poly.contains("B.prototype.indexOf = function"));
    }

    #[test]
    fn node_polyfills_buffer_read_methods() {
        let poly = super::NODE_POLYFILLS;
        assert!(poly.contains("B.prototype.readUInt8 = function"));
        assert!(poly.contains("B.prototype.readUInt16LE = function"));
        assert!(poly.contains("B.prototype.readUInt16BE = function"));
        assert!(poly.contains("B.prototype.readUInt32LE = function"));
        assert!(poly.contains("B.prototype.readInt8 = function"));
        assert!(poly.contains("B.prototype.readInt16LE = function"));
        assert!(poly.contains("B.prototype.readInt32LE = function"));
        assert!(poly.contains("B.prototype.readFloatLE = function"));
        assert!(poly.contains("B.prototype.readDoubleLE = function"));
    }

    #[test]
    fn node_polyfills_buffer_write_methods() {
        let poly = super::NODE_POLYFILLS;
        assert!(poly.contains("B.prototype.writeUInt8 = function"));
        assert!(poly.contains("B.prototype.writeUInt16LE = function"));
        assert!(poly.contains("B.prototype.writeUInt32LE = function"));
        assert!(poly.contains("B.prototype.writeInt8 = function"));
        assert!(poly.contains("B.prototype.writeInt16LE = function"));
        assert!(poly.contains("B.prototype.writeInt32LE = function"));
        assert!(poly.contains("B.prototype.writeFloatLE = function"));
        assert!(poly.contains("B.prototype.writeDoubleLE = function"));
    }

    #[test]
    fn node_polyfills_require_cache() {
        let poly = super::NODE_POLYFILLS;
        assert!(poly.contains("require.cache = _module_cache"));
        assert!(poly.contains("_module_cache = {}"));
    }

    #[test]
    fn node_polyfills_require_builtin_modules() {
        let poly = super::NODE_POLYFILLS;
        // Check key built-in modules are defined
        assert!(poly.contains("'fs':"));
        assert!(poly.contains("'path':"));
        assert!(poly.contains("'url':"));
        assert!(poly.contains("'querystring':"));
        assert!(poly.contains("'events':"));
        assert!(poly.contains("'util':"));
        assert!(poly.contains("'stream':"));
        assert!(poly.contains("'buffer':"));
        assert!(poly.contains("'crypto':"));
        assert!(poly.contains("'os':"));
        assert!(poly.contains("'assert':"));
        assert!(poly.contains("'timers':"));
    }

    #[test]
    fn node_polyfills_path_module() {
        let poly = super::NODE_POLYFILLS;
        assert!(poly.contains("join: function"));
        assert!(poly.contains("resolve: function"));
        assert!(poly.contains("dirname: function"));
        assert!(poly.contains("basename: function"));
        assert!(poly.contains("extname: function"));
        assert!(poly.contains("sep: '/'"));
        assert!(poly.contains("posix:"));
        assert!(poly.contains("win32:"));
    }

    #[test]
    fn node_polyfills_global_alias() {
        let poly = super::NODE_POLYFILLS;
        assert!(poly.contains("global = globalThis"));
    }

    #[test]
    fn node_polyfills_text_encoder_decoder() {
        let poly = super::NODE_POLYFILLS;
        assert!(poly.contains("TextEncoder"));
        assert!(poly.contains("TextDecoder"));
    }

    #[test]
    fn node_polyfills_btoa_atob() {
        let poly = super::NODE_POLYFILLS;
        assert!(poly.contains("btoa = function"));
        assert!(poly.contains("atob = function"));
        assert!(poly.contains("_b64chars"));
    }

    // ─── Edge case tests ──────────────────────────────────────────────────

    #[test]
    fn bridge_command_empty_navigate_url() {
        let cmd = super::BridgeCommand::Navigate("".into());
        let cloned = cmd.clone();
        assert_eq!(cmd, cloned);
        let debug_str = format!("{:?}", cmd);
        assert!(debug_str.contains("Navigate"));
    }

    #[test]
    fn bridge_command_empty_evaluate_string() {
        let cmd = super::BridgeCommand::Evaluate("".into());
        let cloned = cmd.clone();
        assert_eq!(cmd, cloned);
        let debug_str = format!("{:?}", cmd);
        assert!(debug_str.contains("Evaluate"));
    }

    #[test]
    fn bridge_response_empty_value() {
        let resp = super::BridgeResponse::Value("".into());
        assert!(!resp.is_ok());
        assert!(!resp.is_err());
        let result = resp.ok();
        assert!(result.is_ok());
        assert_eq!(result.unwrap(), super::BridgeResponse::Value("".into()));
    }

    #[test]
    fn bridge_response_empty_binary() {
        let resp = super::BridgeResponse::Binary(vec![]);
        assert!(!resp.is_ok());
        assert!(!resp.is_err());
        let cloned = resp.clone();
        assert_eq!(resp, cloned);
    }

    #[test]
    fn bridge_response_large_binary_payload() {
        // Create a large binary payload (1MB)
        let large_data: Vec<u8> = (0..=255).cycle().take(1024 * 1024).collect();
        let resp = super::BridgeResponse::Binary(large_data.clone());
        assert!(!resp.is_ok());
        assert!(!resp.is_err());
        let cloned = resp.clone();
        assert_eq!(resp, cloned);
        // Verify the data is intact
        if let super::BridgeResponse::Binary(data) = cloned {
            assert_eq!(data.len(), 1024 * 1024);
            assert_eq!(data[0], 0);
            assert_eq!(data[255], 255);
            assert_eq!(data[256], 0); // cycles back
        } else {
            panic!("Expected Binary variant");
        }
    }

    #[test]
    fn bridge_command_unicode_navigate_url() {
        let unicode_url = "https://例子.测试/路径?查询=值#片段";
        let cmd = super::BridgeCommand::Navigate(unicode_url.into());
        let cloned = cmd.clone();
        assert_eq!(cmd, cloned);
        let debug_str = format!("{:?}", cmd);
        assert!(debug_str.contains(unicode_url));
    }

    #[test]
    fn bridge_command_unicode_evaluate_string() {
        let unicode_code = "console.log('你好世界 🎉')";
        let cmd = super::BridgeCommand::Evaluate(unicode_code.into());
        let cloned = cmd.clone();
        assert_eq!(cmd, cloned);
        let debug_str = format!("{:?}", cmd);
        assert!(debug_str.contains(unicode_code));
    }

    #[test]
    fn bridge_response_unicode_value() {
        let unicode_value = "结果: 成功 ✅ 日本語 한국어 العربية";
        let resp = super::BridgeResponse::Value(unicode_value.into());
        let cloned = resp.clone();
        assert_eq!(resp, cloned);
        let debug_str = format!("{:?}", resp);
        assert!(debug_str.contains(unicode_value));
    }

    #[test]
    fn bridge_response_unicode_error() {
        let unicode_error = "错误: 文件未找到 📁❌";
        let resp = super::BridgeResponse::Err(unicode_error.into());
        assert!(resp.is_err());
        let result = resp.ok();
        assert!(result.is_err());
        assert_eq!(result.unwrap_err(), unicode_error);
    }

    #[test]
    fn bridge_channel_debug_format() {
        let (channel, _receiver) = super::BridgeChannel::new();
        let debug_str = format!("{:?}", channel);
        assert!(debug_str.contains("BridgeChannel"));
        assert!(debug_str.contains("alive"));
    }

    // ── REQ-SEC-002/003: Runtime bridge security structural verification ──
    // @trace TEST-SEC-003 [req:REQ-SEC-001,REQ-SEC-002,REQ-SEC-003] [level:unit]

    /// Verify install_all_native calls install_web_apis (NOT install_all or install_node_apis).
    /// REQ-SEC-003: The bridge must NOT inject Node APIs on page global.
    #[test]
    fn runtime_bridge_calls_web_apis_not_install_all() {
        let source = include_str!("runtime_bridge.rs");
        let func_start = source
            .find("unsafe fn install_all_native")
            .expect("install_all_native function not found");
        // Extract just the function body — 5000 chars max to avoid test code.
        let func_body = &source[func_start..func_start + 5000.min(source.len() - func_start)];

        assert!(
            func_body.contains("bun_runtime::fetch_api::install_fetch_global"),
            "REQ-SEC-003 REGRESSION: install_all_native must install Web APIs (fetch)"
        );
        assert!(
            func_body.contains("bun_runtime::timers::install_timer_globals"),
            "REQ-SEC-003 REGRESSION: install_all_native must install Web APIs (timers)"
        );
        assert!(
            !func_body.contains("globals::install_all("),
            "REQ-SEC-003 REGRESSION: install_all_native must NOT call install_all()"
        );
        assert!(
            !func_body.contains("globals::install_node_apis("),
            "REQ-SEC-003 REGRESSION: install_all_native must NOT call install_node_apis()"
        );
    }

    /// Verify worker_scope_init_native installs ONLY stealth properties, NOT
    /// any bun_runtime Web APIs (fetch/timers/crypto/performance/etc.).
    /// BCE-20260627-009: servo's DedicatedWorkerGlobalScope provides Web APIs
    /// natively via its resource thread; Bao's duplicate installation caused
    /// SIGSEGV in js::Atomize (Compartment not entered) and promise execution
    /// model conflicts. stealth getter install (DEC-WK-007) is the only allowed
    /// installation in worker scope_init.
    #[test]
    fn worker_scope_init_native_is_stealth_only() {
        let source = include_str!("runtime_bridge.rs");
        let func_start = source
            .find("unsafe fn worker_scope_init_native")
            .expect("worker_scope_init_native function not found");
        // Extract just the function body — bounded to next fn/doc to avoid overflow.
        let search_end = source[func_start..]
            .find("\n// @trace REQ-SEC-003 [entity:WebPolyfills]")
            .or_else(|| source[func_start..].find("\nconst WEB_POLYFILLS"))
            .unwrap_or(5000)
            .min(5000);
        let func_body = &source[func_start..func_start + search_end];

        // stealth getter install MUST be present (DEC-WK-007)
        assert!(
            func_body.contains("install_stealth_props"),
            "BCE-20260627-009 REGRESSION: worker_scope_init_native must install stealth props (DEC-WK-007)"
        );

        // Web APIs MUST NOT be present — servo DedicatedWorkerGlobalScope provides them natively
        assert!(
            !func_body.contains("bun_runtime::fetch_api::install_fetch_global"),
            "BCE-20260627-009 REGRESSION: worker_scope_init_native must NOT install fetch (servo native)"
        );
        assert!(
            !func_body.contains("bun_runtime::timers::install_timer_globals"),
            "BCE-20260627-009 REGRESSION: worker_scope_init_native must NOT install timers (servo native)"
        );
        assert!(
            !func_body.contains("bun_runtime::web_api::install_performance"),
            "BCE-20260627-009 REGRESSION: worker_scope_init_native must NOT install performance (servo native)"
        );
        assert!(
            !func_body.contains("bun_runtime::globals::install_crypto_global"),
            "BCE-20260627-009 REGRESSION: worker_scope_init_native must NOT install crypto (servo native)"
        );
        assert!(
            !func_body.contains("bun_runtime::globals::install_structured_clone"),
            "BCE-20260627-009 REGRESSION: worker_scope_init_native must NOT install structuredClone (servo native)"
        );
    }

    /// Verify create_node_realm_native creates Node Realm in NewCompartmentAndZone.
    /// REQ-SEC-002: Node Realm must be in its own Compartment — physically isolated.
    #[test]
    fn runtime_bridge_node_realm_uses_new_compartment() {
        let source = include_str!("runtime_bridge.rs");

        let func_start = source
            .find("unsafe fn create_node_realm_native")
            .expect("create_node_realm_native function not found");
        let func_body_start = source[func_start..]
            .find("{")
            .expect("function body start not found");
        let search_limit = source[func_start + func_body_start..]
            .find("pub fn inject_node_apis")
            .or_else(|| {
                source[func_start + func_body_start..].find("/// Inject Node.js APIs as native")
            })
            .unwrap_or(3000)
            .min(3000);
        let func_body =
            &source[func_start + func_body_start..func_start + func_body_start + search_limit];

        assert!(
            func_body.contains("NewCompartmentAndZone"),
            "REQ-SEC-002 REGRESSION: create_node_realm_native must use NewCompartmentAndZone"
        );
        assert!(
            func_body.contains("SIMPLE_GLOBAL_CLASS"),
            "REQ-SEC-002 REGRESSION: create_node_realm_native must use SIMPLE_GLOBAL_CLASS"
        );
        assert!(
            func_body.contains("AutoRealm::new_from_handle"),
            "REQ-SEC-002 REGRESSION: create_node_realm_native must use AutoRealm"
        );
        assert!(
            func_body.contains("bun_runtime::globals::install_node_apis"),
            "REQ-SEC-002 REGRESSION: Node APIs must be installed on Node Realm global"
        );
    }

    /// Verify evaluate_in_node_realm uses AutoRealm for Compartment isolation.
    /// REQ-SEC-002: Scripts must execute in Node Realm, not Page Realm.
    #[test]
    fn runtime_bridge_evaluate_in_node_realm_uses_auto_realm() {
        let source = include_str!("runtime_bridge.rs");

        let func_start = source
            .find("pub unsafe fn evaluate_in_node_realm")
            .expect("evaluate_in_node_realm function not found");
        let func_body_start = source[func_start..]
            .find("{")
            .expect("function body start not found");
        let search_limit = source[func_start + func_body_start..]
            .find("unsafe fn create_node_realm_native")
            .unwrap_or(3000)
            .min(3000);
        let func_body =
            &source[func_start + func_body_start..func_start + func_body_start + search_limit];

        assert!(
            func_body.contains("AutoRealm::new"),
            "REQ-SEC-002 REGRESSION: evaluate_in_node_realm must use AutoRealm"
        );
        assert!(
            func_body.contains("evaluate_script"),
            "REQ-SEC-002: evaluate_in_node_realm must call evaluate_script"
        );
    }

    /// Verify per-page Node Realm storage exists (REQ-SEC-002).
    /// Node Realm globals are stored keyed by WebViewId (NOT *mut JSObject).
    /// BCE-20260621-001: WebViewId-keyed storage eliminates cross-thread
    /// *mut JSObject dereferences. servo routes callbacks by WebViewId, so
    /// pointers stored under WebViewId are always accessed on the owning
    /// ScriptThread — no activation-stack corruption.
    #[test]
    fn runtime_bridge_has_per_page_node_realm_storage() {
        let source = include_str!("runtime_bridge.rs");
        assert!(
            source.contains("NODE_REALM_BY_WEBVIEW"),
            "REQ-SEC-002 REGRESSION: must have NODE_REALM_BY_WEBVIEW per-page storage"
        );
        assert!(
            source.contains("store_node_realm"),
            "REQ-SEC-002 REGRESSION: must have store_node_realm accessor"
        );
        assert!(
            source.contains("get_node_realm_by_id"),
            "REQ-SEC-002 REGRESSION: must have get_node_realm_by_id accessor (WebViewId-keyed)"
        );
        assert!(
            source.contains("get_node_realm_global"),
            "REQ-SEC-002 REGRESSION: must have get_node_realm_global accessor"
        );
        // BCE-20260621-001: enforce NO cross-thread *mut JSObject globals.
        // Use compile-time symbol references (positive) + word-boundary source
        // scan for stale globals (the source-grep must avoid matching its own
        // assertion text, so we use the `static NAME:` declaration prefix
        // combined with line-start anchoring via split).
        for line in source.lines() {
            let trimmed = line.trim_start();
            // Only flag actual top-level/static declarations of the BUG globals.
            // Comments and prose mentions are excluded by requiring leading `static`.
            assert!(
                !(trimmed.starts_with("static NODE_REALMS:")
                    && !trimmed.starts_with("static NODE_REALM_BY_WEBVIEW")),
                "BCE-20260621-001 REGRESSION: cross-thread *mut JSObject-keyed NODE_REALMS must not exist"
            );
            assert!(
                !(trimmed.starts_with("static PAGE_GLOBALS:")
                    && !trimmed.starts_with("static PAGE_GLOBAL_BY_WEBVIEW")),
                "BCE-20260621-001 REGRESSION: cross-thread *mut JSObject-keyed PAGE_GLOBALS must not exist"
            );
            assert!(
                !trimmed.starts_with("static LAST_PAGE_GLOBAL:"),
                "BCE-20260621-001 REGRESSION: process-wide LAST_PAGE_GLOBAL must not exist"
            );
        }
    }

    /// Verify inject_node_apis_with_stealth uses drain_callbacks (not evaluate_js).
    /// REQ-SEC-002: Internal drain must NOT trigger Node API injection (avoid recursion).
    /// drain_callbacks handles InternalError from pending pipeline gracefully.
    #[test]
    fn runtime_bridge_drain_uses_callbacks_method() {
        let source = include_str!("runtime_bridge.rs");

        let func_start = source
            .find("pub fn inject_node_apis_with_stealth")
            .expect("inject_node_apis_with_stealth function not found");
        let func_end = source[func_start..]
            .find("fn register_native_host_functions")
            .expect("end boundary not found");
        let func_body = &source[func_start..func_start + func_end];

        assert!(
            func_body.contains("drain_callbacks"),
            "REQ-SEC-002 REGRESSION: inject_node_apis_with_stealth must use drain_callbacks (not evaluate_js)"
        );
        assert!(
            !func_body.contains("page.evaluate_js(\""),
            "REQ-SEC-002 REGRESSION: inject_node_apis_with_stealth must NOT call evaluate_js with string arg (would cause recursion)"
        );
        assert!(
            !func_body.contains("let _"),
            "REQ-SEC-003 REGRESSION: inject_node_apis_with_stealth must NOT swallow errors with let _"
        );
    }

    /// Verify NODE_POLYFILLS contains Node API names (for fallback mode).
    #[test]
    fn node_polyfills_contains_security_sensitive_names() {
        let poly = super::NODE_POLYFILLS;
        assert!(
            poly.contains("require"),
            "NODE_POLYFILLS must contain 'require'"
        );
        assert!(
            poly.contains("Buffer"),
            "NODE_POLYFILLS must contain 'Buffer'"
        );
        assert!(
            poly.contains("process"),
            "NODE_POLYFILLS must contain 'process'"
        );
    }

    // ── TEST-SEC-003: Node API Sandbox Isolation ────────────────────────

    /// Verify WEB_POLYFILLS exists and does NOT contain Node.js API names.
    /// REQ-SEC-003: Page Realm fallback polyfills must NOT include Node APIs.
    #[test]
    fn web_polyfills_excludes_node_apis() {
        let poly = super::WEB_POLYFILLS;
        assert!(
            !poly.contains("require"),
            "REQ-SEC-003 REGRESSION: WEB_POLYFILLS must NOT contain 'require'"
        );
        assert!(
            !poly.contains("Buffer"),
            "REQ-SEC-003 REGRESSION: WEB_POLYFILLS must NOT contain 'Buffer'"
        );
        assert!(
            !poly.contains("process"),
            "REQ-SEC-003 REGRESSION: WEB_POLYFILLS must NOT contain 'process'"
        );
        assert!(
            !poly.contains("Bun"),
            "REQ-SEC-003 REGRESSION: WEB_POLYFILLS must NOT contain 'Bun'"
        );
        assert!(
            !poly.contains("module"),
            "REQ-SEC-003 REGRESSION: WEB_POLYFILLS must NOT contain 'module'"
        );
        assert!(
            !poly.contains("__dirname"),
            "REQ-SEC-003 REGRESSION: WEB_POLYFILLS must NOT contain '__dirname'"
        );
        assert!(
            !poly.contains("__filename"),
            "REQ-SEC-003 REGRESSION: WEB_POLYFILLS must NOT contain '__filename'"
        );
    }

    /// Verify WEB_POLYFILLS includes essential Web APIs.
    /// REQ-SEC-003 criterion 6-8: console/fetch/URL/URLSearchParams must work.
    #[test]
    fn web_polyfills_includes_web_apis() {
        let poly = super::WEB_POLYFILLS;
        assert!(
            poly.contains("TextEncoder"),
            "WEB_POLYFILLS must contain TextEncoder"
        );
        assert!(
            poly.contains("TextDecoder"),
            "WEB_POLYFILLS must contain TextDecoder"
        );
        assert!(poly.contains("URL"), "WEB_POLYFILLS must contain URL");
        assert!(
            poly.contains("URLSearchParams"),
            "WEB_POLYFILLS must contain URLSearchParams"
        );
        assert!(poly.contains("btoa"), "WEB_POLYFILLS must contain btoa");
        assert!(poly.contains("atob"), "WEB_POLYFILLS must contain atob");
    }

    /// Verify fallback path uses WEB_POLYFILLS (not NODE_POLYFILLS).
    /// REQ-SEC-003: inject_node_apis_with_stealth fallback must not inject Node APIs.
    #[test]
    fn fallback_uses_web_polyfills_not_node_polyfills() {
        let source = include_str!("runtime_bridge.rs");

        let func_start = source
            .find("pub fn inject_node_apis_with_stealth")
            .expect("inject_node_apis_with_stealth function not found");
        let func_end = source[func_start..]
            .find("fn register_native_host_functions")
            .expect("end boundary not found");
        let func_body = &source[func_start..func_start + func_end];

        assert!(
            func_body.contains("WEB_POLYFILLS"),
            "REQ-SEC-003 REGRESSION: fallback must use WEB_POLYFILLS (not NODE_POLYFILLS)"
        );
        // The fallback path should NOT reference NODE_POLYFILLS
        let fallback_section = func_body
            .find("if !registered")
            .map(|i| &func_body[i..])
            .unwrap_or("");
        assert!(
            !fallback_section.contains("NODE_POLYFILLS"),
            "REQ-SEC-003 REGRESSION: fallback path must NOT reference NODE_POLYFILLS"
        );
    }

    /// Verify install_all_native does NOT call install_node_apis or install_all.
    /// REQ-SEC-003 criterion 1+10: Page Realm must only get Web APIs.
    #[test]
    fn install_all_native_web_apis_only() {
        let source = include_str!("runtime_bridge.rs");

        let func_start = source
            .find("unsafe fn install_all_native")
            .expect("install_all_native function not found");
        let func_body_start = source[func_start..]
            .find("{")
            .expect("function body start not found");
        let search_limit = source[func_start + func_body_start..]
            .find("const NODE_POLYFILLS")
            .or_else(|| {
                source[func_start + func_body_start..].find("/// Inject Node.js APIs as native")
            })
            .unwrap_or(5000)
            .min(5000);
        let func_body =
            &source[func_start + func_body_start..func_start + func_body_start + search_limit];

        assert!(
            func_body.contains("bun_runtime::fetch_api::install_fetch_global"),
            "REQ-SEC-003 REGRESSION: install_all_native must install Web APIs (fetch)"
        );
        assert!(
            func_body.contains("bun_runtime::timers::install_timer_globals"),
            "REQ-SEC-003 REGRESSION: install_all_native must install Web APIs (timers)"
        );
        assert!(
            !func_body.contains("globals::install_all("),
            "REQ-SEC-003 REGRESSION: install_all_native must NOT call install_all()"
        );
        assert!(
            !func_body.contains("globals::install_node_apis("),
            "REQ-SEC-003 REGRESSION: install_all_native must NOT call install_node_apis()"
        );
    }

    /// Verify Node APIs are installed in Node Realm (create_node_realm_native).
    /// REQ-SEC-003 criterion 9: Node APIs must exist ONLY in Node Realm.
    #[test]
    fn node_apis_installed_in_node_realm_only() {
        let source = include_str!("runtime_bridge.rs");

        let func_start = source
            .find("unsafe fn create_node_realm_native")
            .expect("create_node_realm_native function not found");
        let func_body_start = source[func_start..]
            .find("{")
            .expect("function body start not found");
        let search_limit = source[func_start + func_body_start..]
            .find("unsafe fn wrap_and_install_dom_proxy")
            .or_else(|| source[func_start + func_body_start..].find("/// Wrap a DOM property"))
            .unwrap_or(3000)
            .min(3000);
        let func_body =
            &source[func_start + func_body_start..func_start + func_body_start + search_limit];

        assert!(
            func_body.contains("bun_runtime::globals::install_node_apis"),
            "REQ-SEC-003 REGRESSION: Node Realm must install Node APIs (install_node_apis)"
        );
        assert!(
            func_body.contains("NewCompartmentAndZone"),
            "REQ-SEC-003 REGRESSION: Node Realm must be isolated via NewCompartmentAndZone"
        );
    }

    /// Verify WEB_POLYFILLS is valid JS (self-executing function).
    #[test]
    fn web_polyfills_is_valid_js() {
        let poly = super::WEB_POLYFILLS;
        assert!(
            poly.starts_with("(function()"),
            "WEB_POLYFILLS must be an IIFE"
        );
        assert!(poly.ends_with("})();"), "WEB_POLYFILLS must close IIFE");
    }

    /// REQ-SEC-002: remove_node_realm_by_id is pub and is a no-op for unknown WebViewId.
    /// BCE-20260621-001: by-WebViewId API; null/raw-pointer API removed.
    #[test]
    fn remove_node_realm_by_id_is_safe_no_op() {
        // Synthesize a WebViewId via servo's mock helper. We do not exercise
        // real servo script-thread routing here — we only assert the API does
        // not panic when called with an unknown WebViewId.
        // Using a sentinel-style test: call remove on a freshly-cleared map.
        let _guard = super::test_serial_lock().lock().unwrap();
        super::clear_all_node_realms();
        // Constructing a WebViewId requires PainterId. servo exposes
        // WebViewId::new(PainterId::next()) but PainterId is not re-exported
        // from the `servo` crate root. We rely on the fact that remove is
        // a no-op for unknown keys — we simply assert the function exists
        // and is callable. Compile-time check.
        let _f: fn(servo::WebViewId) = super::remove_node_realm_by_id;
    }

    /// REQ-SEC-002: WebViewId-keyed storage API exists and is structurally sound.
    /// BCE-20260621-001: all accessor signatures are WebViewId-based.
    #[test]
    fn webview_id_keyed_storage_api_exists() {
        // Compile-time check that the WebViewId-keyed API exists.
        let _store: fn(servo::WebViewId, *mut mozjs::jsapi::JSObject, *mut mozjs::jsapi::JSObject) =
            super::store_node_realm;
        let _get_node: fn(servo::WebViewId) -> *mut mozjs::jsapi::JSObject =
            super::get_node_realm_by_id;
        let _get_page: fn(servo::WebViewId) -> *mut mozjs::jsapi::JSObject =
            super::get_page_global_by_id;
        let _get_node_global: fn(servo::WebViewId) -> *mut mozjs::jsapi::JSObject =
            super::get_node_realm_global;
        let _get_page_global: fn(servo::WebViewId) -> *mut mozjs::jsapi::JSObject =
            super::get_page_global;
        let _remove: fn(servo::WebViewId) = super::remove_node_realm_by_id;
    }

    /// REQ-SEC-002: clear_all_node_realms still works (empties both maps).
    /// BCE-20260621-001: clears WebViewId-keyed maps; no raw-pointer cleanup needed.
    #[test]
    fn clear_all_removes_all_entries() {
        let _guard = super::test_serial_lock().lock().unwrap();
        // Clear twice — must be idempotent.
        super::clear_all_node_realms();
        super::clear_all_node_realms();
    }

    /// REQ-SEC-002: lazy getter functions exist and have correct ABI.
    #[test]
    fn lazy_dom_getters_are_valid_jsnative() {
        // Verify the functions can be cast to JSNative (Option<extern "C" fn>).
        let _: mozjs::jsapi::JSNative = Some(super::lazy_dom_getter_window);
        let _: mozjs::jsapi::JSNative = Some(super::lazy_dom_getter_document);
        let _: mozjs::jsapi::JSNative = Some(super::lazy_dom_getter_navigator);
        // @trace REQ-BRW-004: Worker/SharedWorker/ServiceWorker lazy getters
        let _: mozjs::jsapi::JSNative = Some(super::lazy_dom_getter_worker);
        let _: mozjs::jsapi::JSNative = Some(super::lazy_dom_getter_shared_worker);
        let _: mozjs::jsapi::JSNative = Some(super::lazy_dom_getter_service_worker);
    }

    /// @trace REQ-BRW-004 [req:REQ-BRW-004] [entity:Worker] DF-WK-11
    /// Structural assertion: Worker/SharedWorker/ServiceWorker constructor lazy
    /// getters use JSPROP_PERMANENT (non-configurable), matching Web IDL semantics.
    /// Ordinary DOM object getters (window/document/navigator) use JSPROP_READONLY
    /// without JSPROP_PERMANENT.
    #[test]
    fn worker_constructor_getters_use_permanent_attribute() {
        let source = include_str!("runtime_bridge.rs");
        // Constructor getters must include JSPROP_PERMANENT
        assert!(
            source.contains("ctor_attrs = (mozjs::jsapi::JSPROP_ENUMERATE | mozjs::jsapi::JSPROP_READONLY | mozjs::jsapi::JSPROP_PERMANENT)"),
            "REQ-BRW-004 REGRESSION: Worker/SharedWorker/ServiceWorker constructors must use JSPROP_PERMANENT"
        );
        // Object getters must NOT include JSPROP_PERMANENT
        assert!(
            source.contains("obj_attrs = (mozjs::jsapi::JSPROP_ENUMERATE | mozjs::jsapi::JSPROP_READONLY)"),
            "REQ-BRW-004 REGRESSION: window/document/navigator getters should use obj_attrs without JSPROP_PERMANENT"
        );
        // Verify Worker/SharedWorker/ServiceWorker are in ctor_getters
        assert!(
            source.contains("(c\"Worker\", Some(lazy_dom_getter_worker))"),
            "REQ-BRW-004 REGRESSION: Worker must be in ctor_getters"
        );
        assert!(
            source.contains("(c\"SharedWorker\", Some(lazy_dom_getter_shared_worker))"),
            "REQ-BRW-004 REGRESSION: SharedWorker must be in ctor_getters"
        );
        assert!(
            source.contains("(c\"ServiceWorker\", Some(lazy_dom_getter_service_worker))"),
            "REQ-BRW-004 REGRESSION: ServiceWorker must be in ctor_getters"
        );
    }

    // ── DF-WK-11: Cross-Compartment Worker Constructor Proxy Behavioral Tests ──
    // @trace REQ-BRW-004 [req:REQ-BRW-004] [entity:Worker] [DF-WK-11]

    /// DF-WK-11: lazy_constructor_getter_impl reads from Page Realm (not Node Realm).
    ///
    /// Behavioral assertion: the getter fetches the constructor from the
    /// PER_THREAD_PAGE_GLOBAL (Page Realm's Window global), NOT from
    /// CurrentGlobalOrNull (which would be the Node Realm global in the
    /// getter's execution context). This is the core of cross-Compartment
    /// proxying — the constructor physically lives in Page Realm's Compartment,
    /// and JS_WrapObject creates the proxy for Node Realm access.
    ///
    /// @trace REQ-BRW-004 [req:REQ-BRW-004] [entity:Worker] [DF-WK-11]
    #[test]
    fn constructor_getter_reads_from_page_realm_not_node_realm() {
        let source = include_str!("runtime_bridge.rs");
        let func_start = source
            .find("unsafe fn lazy_constructor_getter_impl")
            .expect("lazy_constructor_getter_impl not found");
        let func_body = &source[func_start..func_start + 3000.min(source.len() - func_start)];

        // Must read page_global from PER_THREAD_PAGE_GLOBAL
        assert!(
            func_body.contains("PER_THREAD_PAGE_GLOBAL.with"),
            "DF-WK-11 REGRESSION: lazy_constructor_getter_impl must read Page Realm global from PER_THREAD_PAGE_GLOBAL"
        );
        // Must get the property from page_global_root (Page Realm), not node_global
        assert!(
            func_body.contains("page_global_root.handle()"),
            "DF-WK-11 REGRESSION: lazy_constructor_getter_impl must JS_GetProperty from page_global_root (Page Realm)"
        );
    }

    /// DF-WK-11: lazy_constructor_getter_impl uses JS_WrapObject for cross-Compartment proxy.
    ///
    /// Behavioral assertion: the getter wraps the fetched Page Realm constructor
    /// with JS_WrapObject, creating a cross-Compartment proxy. This is what
    /// enables Node Realm scripts to call `new Worker(url)` — SpiderMonkey
    /// transparently enters Page Realm's Compartment when [[Construct]] is
    /// invoked on the proxy.
    ///
    /// @trace REQ-BRW-004 [req:REQ-BRW-004] [entity:Worker] [DF-WK-11]
    #[test]
    fn constructor_getter_uses_js_wrap_object_for_cross_compartment_proxy() {
        let source = include_str!("runtime_bridge.rs");
        let func_start = source
            .find("unsafe fn lazy_constructor_getter_impl")
            .expect("lazy_constructor_getter_impl not found");
        let func_body = &source[func_start..func_start + 3000.min(source.len() - func_start)];

        assert!(
            func_body.contains("JS_WrapObject"),
            "DF-WK-11 REGRESSION: lazy_constructor_getter_impl must call JS_WrapObject for cross-Compartment proxy"
        );
    }

    /// DF-WK-11: lazy_constructor_getter_impl validates IsConstructor before returning.
    ///
    /// Behavioral assertion: the getter checks IsConstructor on the fetched
    /// object before wrapping it. If the Page Realm property is not a constructor
    /// (e.g., it's a plain object or undefined), a ReferenceError is thrown
    /// instead of returning an unusable value. This prevents cryptic
    /// "X is not a constructor" TypeErrors at `new Worker()` call sites.
    ///
    /// @trace REQ-BRW-004 [req:REQ-BRW-004] [entity:Worker] [DF-WK-11]
    #[test]
    fn constructor_getter_validates_is_constructor_before_wrapping() {
        let source = include_str!("runtime_bridge.rs");
        let func_start = source
            .find("unsafe fn lazy_constructor_getter_impl")
            .expect("lazy_constructor_getter_impl not found");
        let func_body = &source[func_start..func_start + 3000.min(source.len() - func_start)];

        assert!(
            func_body.contains("mozjs::jsapi::IsConstructor"),
            "DF-WK-11 REGRESSION: lazy_constructor_getter_impl must call IsConstructor to validate the constructor"
        );
    }

    /// DF-WK-11: constructor getter throws ReferenceError (not TypeError) on failure.
    ///
    /// Behavioral assertion: when the constructor is unavailable (no page loaded,
    /// property not an object, or not a constructor), the getter throws a
    /// ReferenceError via report_reference_error. This matches Web IDL semantics
    /// where accessing an unsupported interface constructor should produce
    /// ReferenceError, not a confusing TypeError at the call site.
    ///
    /// @trace REQ-BRW-004 [req:REQ-BRW-004] [entity:Worker] [DF-WK-11]
    #[test]
    fn constructor_getter_throws_reference_error_on_failure() {
        let source = include_str!("runtime_bridge.rs");
        let func_start = source
            .find("unsafe fn lazy_constructor_getter_impl")
            .expect("lazy_constructor_getter_impl not found");
        let func_body = &source[func_start..func_start + 3000.min(source.len() - func_start)];

        // Must call report_reference_error for each failure case
        assert!(
            func_body.contains("report_reference_error"),
            "DF-WK-11 REGRESSION: lazy_constructor_getter_impl must call report_reference_error for error reporting"
        );
        // Error messages must contain the property name for diagnosability
        assert!(
            func_body.contains("property_name"),
            "DF-WK-11 REGRESSION: lazy_constructor_getter_impl error messages must reference property_name"
        );
    }

    /// DF-WK-11: null page_global triggers ReferenceError (not silent undefined).
    ///
    /// Behavioral assertion: when PER_THREAD_PAGE_GLOBAL returns null (no page
    /// loaded yet), the getter throws a ReferenceError instead of silently
    /// returning undefined. This is critical for Node Realm scripts that use
    /// `new Worker()` — they need a clear diagnostic that the browser context
    /// isn't ready, not a mysterious "Worker is not a constructor" TypeError.
    ///
    /// @trace REQ-BRW-004 [req:REQ-BRW-004] [entity:Worker] [DF-WK-11]
    #[test]
    fn constructor_getter_throws_on_null_page_global() {
        let source = include_str!("runtime_bridge.rs");
        let func_start = source
            .find("unsafe fn lazy_constructor_getter_impl")
            .expect("lazy_constructor_getter_impl not found");
        let func_body = &source[func_start..func_start + 3000.min(source.len() - func_start)];

        // Must check for null page_global and throw
        assert!(
            func_body.contains("page_global.is_null()"),
            "DF-WK-11 REGRESSION: lazy_constructor_getter_impl must check page_global.is_null()"
        );
        // Must throw ReferenceError (return false) on null page_global
        // Search specifically for "page_global.is_null()" context — there's also
        // node_global.is_null() earlier in the function which returns true silently.
        let page_global_null_pos = func_body
            .find("page_global.is_null()")
            .expect("DF-WK-11: page_global.is_null() check not found");
        let after_null_check = &func_body[page_global_null_pos..page_global_null_pos + 300];
        assert!(
            after_null_check.contains("report_reference_error"),
            "DF-WK-11 REGRESSION: null page_global must trigger report_reference_error, not silent return"
        );
    }

    /// DF-WK-11: install_lazy_dom_getters registers constructors with PERMANENT attribute.
    ///
    /// Behavioral assertion: the ctor_getters are registered with
    /// JSPROP_PERMANENT (non-deletable), matching Web IDL semantics where
    /// interface constructors on the global must not be configurable.
    /// This prevents page JS (or Node Realm scripts) from accidentally
    /// deleting Worker/SharedWorker/ServiceWorker from the global.
    ///
    /// @trace REQ-BRW-004 [req:REQ-BRW-004] [entity:Worker] [DF-WK-11]
    #[test]
    fn install_lazy_dom_getters_uses_js_define_property1_for_constructors() {
        // Structural DF-WK-11 regression guard. Search the whole file (not a
        // fixed byte window) so the assertions survive rustfmt reflowing the
        // function's layout — the ctor_getters loop can land past 2000 bytes.
        let source = include_str!("runtime_bridge.rs");
        assert!(
            source.find("unsafe fn install_lazy_dom_getters").is_some(),
            "install_lazy_dom_getters not found"
        );

        // Must use JS_DefineProperty1 (not JS_SetProperty) for initial registration
        assert!(
            source.contains("JS_DefineProperty1"),
            "DF-WK-11 REGRESSION: install_lazy_dom_getters must use JS_DefineProperty1 for property registration"
        );
        // Must iterate ctor_getters separately from obj_getters
        assert!(
            source.contains("for &(name, getter) in ctor_getters"),
            "DF-WK-11 REGRESSION: ctor_getters must be registered with their own (PERMANENT) attributes"
        );
    }

    /// DF-WK-11: constructor getters are called from Node Realm (not Page Realm).
    ///
    /// Structural assertion: install_lazy_dom_getters is called inside
    /// create_node_realm_native, which creates the Node Realm's global.
    /// The lazy getters are installed on the Node Realm global, meaning
    /// they execute in the Node Realm context (CurrentGlobalOrNull returns
    /// the Node Realm global). The getter then reads from Page Realm via
    /// PER_THREAD_PAGE_GLOBAL and wraps via JS_WrapObject.
    ///
    /// @trace REQ-BRW-004 [req:REQ-BRW-004] [entity:Worker] [DF-WK-11]
    #[test]
    fn lazy_dom_getters_installed_on_node_realm_not_page_realm() {
        let source = include_str!("runtime_bridge.rs");
        let func_start = source
            .find("unsafe fn create_node_realm_native")
            .expect("create_node_realm_native not found");
        // Search the function body for install_lazy_dom_getters call
        let func_body = &source[func_start..func_start + 5000.min(source.len() - func_start)];

        assert!(
            func_body.contains("install_lazy_dom_getters(realm_cx, global.handle())"),
            "DF-WK-11 REGRESSION: install_lazy_dom_getters must be called from create_node_realm_native on the Node Realm global"
        );
        // The 'global' in that call is the Node Realm global (created via JS_NewGlobalObject
        // with NewCompartmentAndZone), NOT the servo Window global
        assert!(
            func_body.contains("JS_NewGlobalObject") && func_body.contains("NewCompartmentAndZone"),
            "DF-WK-11 REGRESSION: create_node_realm_native must create Node Realm with NewCompartmentAndZone before installing lazy getters"
        );
    }

    /// DF-WK-11: report_reference_error produces JSEXN_REFERENCEERR.
    ///
    /// Behavioral assertion: the error reporting function uses
    /// JSEXN_REFERENCEERR (not JSEXN_TYPEERR or generic error) when
    /// constructor access fails. This matches the Web IDL convention
    /// where accessing an undefined interface produces ReferenceError.
    ///
    /// @trace REQ-BRW-004 [req:REQ-BRW-004] [entity:Worker] [DF-WK-11]
    #[test]
    fn report_reference_error_uses_reference_err_type() {
        let source = include_str!("runtime_bridge.rs");
        let func_start = source
            .find("unsafe fn report_reference_error")
            .expect("report_reference_error not found");
        let func_body = &source[func_start..func_start + 2000.min(source.len() - func_start)];

        assert!(
            func_body.contains("JSEXN_REFERENCEERR"),
            "DF-WK-11 REGRESSION: report_reference_error must use JSEXN_REFERENCEERR error type"
        );
        assert!(
            func_body.contains("JS_ReportErrorNumberUTF8"),
            "DF-WK-11 REGRESSION: report_reference_error must use JS_ReportErrorNumberUTF8 for proper error reporting"
        );
    }

    // ── DashMap + OnceLock refactoring tests ──────────────────────────────
    // @trace REQ-PURE-002 [req:REQ-PURE-002] [level:unit]

    /// BCE-20260621-001: storage is WebViewId-keyed DashMap (not raw-pointer).
    /// Structural assertion: source contains the WebViewId-keyed static.
    #[test]
    fn storage_is_webview_id_keyed_dashmap() {
        let source = include_str!("runtime_bridge.rs");
        assert!(
            source.contains(
                "static NODE_REALM_BY_WEBVIEW: OnceLock<DashMap<servo::WebViewId, usize>>"
            ),
            "BCE-20260621-001 REGRESSION: NODE_REALM_BY_WEBVIEW must be WebViewId-keyed"
        );
        assert!(
            source.contains(
                "static PAGE_GLOBAL_BY_WEBVIEW: OnceLock<DashMap<servo::WebViewId, usize>>"
            ),
            "BCE-20260621-001 REGRESSION: PAGE_GLOBAL_BY_WEBVIEW must be WebViewId-keyed"
        );
        assert!(
            source.contains("thread_local! {\n    static PER_THREAD_PAGE_GLOBAL"),
            "BCE-20260621-001 REGRESSION: PER_THREAD_PAGE_GLOBAL thread_local must exist for lazy getters"
        );
    }

    /// BCE-20260621-001: no process-wide cross-thread *mut JSObject storage remains.
    /// Structural sweep — confirms the BUG pattern signature has zero residual.
    /// Uses line-start scan to avoid matching assertion strings inside tests.
    #[test]
    fn no_cross_thread_raw_jsobject_storage_residual() {
        let source = include_str!("runtime_bridge.rs");
        for line in source.lines() {
            let trimmed = line.trim_start();
            assert!(
                !(trimmed.starts_with("static NODE_REALMS:")
                    && !trimmed.starts_with("static NODE_REALM_BY_WEBVIEW")),
                "BCE-20260621-001 RESIDUAL: NODE_REALMS usize-keyed DashMap still present"
            );
            assert!(
                !(trimmed.starts_with("static PAGE_GLOBALS:")
                    && !trimmed.starts_with("static PAGE_GLOBAL_BY_WEBVIEW")),
                "BCE-20260621-001 RESIDUAL: PAGE_GLOBALS usize-keyed DashMap still present"
            );
            assert!(
                !trimmed.starts_with("static LAST_PAGE_GLOBAL:"),
                "BCE-20260621-001 RESIDUAL: LAST_PAGE_GLOBAL AtomicUsize still present"
            );
            assert!(
                !trimmed.starts_with("fn get_last_page_global"),
                "BCE-20260621-001 RESIDUAL: get_last_page_global accessor still present"
            );
            assert!(
                !trimmed.starts_with("fn set_last_page_global"),
                "BCE-20260621-001 RESIDUAL: set_last_page_global accessor still present"
            );
            assert!(
                !trimmed.starts_with("pub fn get_last_page_global"),
                "BCE-20260621-001 RESIDUAL: pub get_last_page_global accessor still present"
            );
        }
    }

    /// OnceLock EvaluateResult: set + get works.
    #[test]
    fn oncelock_evaluate_result_set_and_get() {
        use std::sync::Arc;
        let lock: Arc<OnceLock<super::EvaluateResult>> = Arc::new(OnceLock::new());
        assert!(lock.get().is_none(), "OnceLock should be unset initially");

        let result = super::EvaluateResult::ok("42".into());
        assert!(lock.set(result).is_ok(), "First set should succeed");

        let got = lock.get().unwrap();
        assert_eq!(got.value, Some("42".into()));
        assert!(got.error.is_none());
    }

    /// OnceLock EvaluateResult: second set() fails gracefully (returns Err).
    #[test]
    fn oncelock_evaluate_result_second_set_fails() {
        use std::sync::Arc;
        let lock: Arc<OnceLock<super::EvaluateResult>> = Arc::new(OnceLock::new());

        let first = super::EvaluateResult::ok("first".into());
        assert!(lock.set(first).is_ok());

        let second = super::EvaluateResult::err("second".into());
        let set_result = lock.set(second);
        assert!(set_result.is_err(), "Second set should return Err");
        // Original value is preserved
        assert_eq!(lock.get().unwrap().value, Some("first".into()));
    }
}