bonsai-ninja-lang-javascript 0.2.2

//! JavaScript language adapter.
use bonsai_common::{FileId, SymbolId};
use bonsai_lang_api::{
    decl_index_with_handler, extract_imports_via,
    kit::{
        call_arg_from_nodes_with_handler, collect_kinds, first_named_child_of_kind, language_from_pack,
        node_text, normalize_call_name_whitespace, parse_with, span_of,
    },
    AdapterContext, AdapterError, CallTargetExtraction, CharacterSubstitutionDomain,
    CharacterSubstitutionFact, ConditionEquality, ConditionExpressionFact, ConditionOperandFact, DeclIndex,
    DynamicKeyFilterFact, FiniteLiteralSelectionFact, GrammarHandler, ImportIndex, ImportScope, ImportSpec,
    LanguageAdapter, LanguageCapabilities, LanguageId, SameOriginPathConstraintFact, StaticScalarValue,
    StaticStringMapEntry, StaticStringMapFact, StringCompositionFact, StringCompositionPart,
    TypeAliasBinding, Visibility, EMPTY_HANDLER,
};
use bonsai_lang_api::{CallArg, CallKind, DeclKind, FlowEvent};
use std::collections::{HashMap, HashSet};
use tree_sitter::{Language, Node, Tree};

fn javascript_call_target<'tree>(node: Node<'tree>, src: &[u8]) -> Option<CallTargetExtraction<'tree>> {
    let target = match node.kind() {
        "call_expression" => node.child_by_field_name("function")?,
        "new_expression" => node.child_by_field_name("constructor")?,
        _ => return None,
    };
    let full_text = node_text(&target, src).trim();
    (!full_text.is_empty()).then_some(CallTargetExtraction {
        node: target,
        full_text: full_text.to_string(),
    })
}

fn javascript_foreach_binding(node: Node<'_>) -> Option<(Node<'_>, Node<'_>)> {
    (node.kind() == "for_in_statement")
        .then(|| {
            Some((
                node.child_by_field_name("left")?,
                node.child_by_field_name("right")?,
            ))
        })
        .flatten()
}

pub const LANG_ID: LanguageId = LanguageId::new("javascript");
pub const JS_TS_MODULE_RESOLUTION_EXTENSIONS: &[&str] = &["js", "jsx", "ts", "tsx", "mjs", "cjs"];
const PACK_NAME: &str = "javascript";
const HANDLER: GrammarHandler = GrammarHandler {
    expression_value_kind_extractor: None,
    literal_value_kinds: &["null", "number", "true", "false"],
    string_literal_kinds: &["string", "template_string"],
    comment_kinds: &["comment", "hash_bang_line"],
    doc_comment_prefixes: &["/**"],
    decorator_kinds: &["decorator"],
    parameter_container_kinds: &["formal_parameters"],
    parameter_kinds: &["identifier", "required_parameter", "optional_parameter"],
    parameter_annotation_kinds: &["decorator"],
    variadic_parameter_kinds: &["rest_pattern", "rest_parameter"],
    destructured_parameter_kinds: &["object_pattern", "array_pattern"],
    binding_identifier_kinds: &["identifier", "shorthand_property_identifier_pattern"],
    binding_lhs_pattern_kinds: &["assignment_pattern"],
    binding_pattern_field_names: &["left"],
    non_binding_pattern_field_names: &["type", "key", "property"],
    identifier_kinds: &["identifier", "shorthand_property_identifier", "this", "super"],
    aggregate_pattern_kinds: &["array_pattern", "object_pattern"],
    named_aggregate_kinds: &["object"],
    positional_aggregate_kinds: &["array"],
    aggregate_pair_kinds: &["pair", "pair_pattern"],
    aggregate_key_field_names: &["key"],
    aggregate_value_field_names: &["value"],
    static_field_name_kinds: &["identifier", "property_identifier"],
    shorthand_field_kinds: &["shorthand_property_identifier"],
    spread_kinds: &["spread_element"],
    spread_value_field_names: &["argument"],
    lambda_value_container_kinds: &["object", "pair", "array"],
    transparent_call_wrapper_kinds: &[
        "member_expression",
        "parenthesized_expression",
        "await_expression",
    ],
    single_expression_group_kinds: &["expressions"],
    assignment_target_wrapper_kinds: &["variable_declarator"],
    binding_declaration_keyword_spellings: &["var", "let", "const"],
    fn_kinds: &[
        "function_declaration",
        "function_expression",
        "method_definition",
        "generator_function_declaration",
        "generator_function",
    ],
    class_kinds: &["class_declaration"],
    class_decl_kinds: &[("class_declaration", DeclKind::Class)],
    method_kinds: &["method_definition"],
    method_context_kinds: &["class_declaration"],
    if_kinds: &["if_statement", "switch_statement"],
    branch_then_field_names: &["consequence", "body"],
    branch_else_field_names: &["alternative"],
    branch_condition_field_names: &["condition", "value"],
    loop_body_field_names: &["body"],
    loop_body_kinds: &["statement_block", "expression_statement"],
    branch_arm_kinds: &[
        "statement_block",
        "expression_statement",
        "switch_case",
        "switch_default",
    ],
    for_kinds: &["for_statement"],
    foreach_kinds: &["for_in_statement"],
    foreach_binding_extractor: Some(javascript_foreach_binding),
    while_kinds: &["while_statement"],
    do_kinds: &["do_statement"],
    call_kinds: &["call_expression", "new_expression"],
    constructor_call_kinds: &["new_expression"],
    call_callee_field_names: &["function", "constructor"],
    constructor_type_field_names: &["constructor"],
    call_target_extractor: Some(javascript_call_target),
    call_argument_field_names: &["arguments"],
    call_argument_container_kinds: &["arguments"],
    argument_wrapper_kinds: &["pair"],
    argument_name_field_names: &["key"],
    argument_value_field_names: &["value"],
    transparent_expression_wrapper_kinds: &["parenthesized_expression"],
    lambda_body_field_names: &["body"],
    pseudo_call_extractor: Some(extract_ecmascript_pseudo_call),
    syntax_event_extractor: None,
    argument_passing_mode_extractor: None,
    call_ref_kinds: &["call_expression", "new_expression"],
    member_expression_kinds: &["member_expression"],
    subscript_expression_kinds: &["subscript_expression"],
    member_base_field_names: &["object"],
    member_name_field_names: &["property"],
    subscript_base_field_names: &["object"],
    subscript_index_field_names: &["index"],
    static_subscript_key_extractor: Some(ecmascript_static_subscript_key),
    constructor_names: &["constructor"],
    runtime_type_guard_operators: &["instanceof"],
    runtime_typeof_operators: &["typeof"],
    runtime_type_equality_operators: &["==", "==="],
    runtime_type_wrapper_kinds: &["parenthesized_expression"],
    value_free_unary_operators: &["typeof"],
    assignment_kinds: &[
        "assignment_expression",
        "augmented_assignment_expression",
        "variable_declarator",
        "variable_declaration",
    ],
    compound_assignment_operators: &[
        "+=", "-=", "*=", "/=", "%=", "**=", "<<=", ">>=", ">>>=", "&=", "^=", "|=", "&&=", "||=", "??=",
    ],
    return_kinds: &["return_statement"],
    throw_kinds: &["throw_statement"],
    lambda_kinds: &["arrow_function", "function_expression"],
    try_kinds: &["try_statement"],
    catch_kinds: &["catch_clause"],
    finally_kinds: &["finally_clause"],
    break_kinds: &["break_statement"],
    continue_kinds: &["continue_statement"],
    control_label_field_names: &["label"],
    yield_kinds: &["yield_expression"],
    yield_value_field_names: &["argument"],
    await_kinds: &["await_expression"],
    using_kinds: &["with_statement"],
    using_body_field_names: &["body"],
    try_body_field_names: &["body"],
    implicit_receiver_names: &["this"],
    ..EMPTY_HANDLER
};

/// Lower JSX/TSX opening elements to their component-call semantics. The
/// concrete grammar vocabulary lives here and is shared only with the
/// TypeScript adapter, which uses the same ECMAScript frontend shapes.
pub fn extract_ecmascript_pseudo_call(
    node: Node<'_>,
    file: FileId,
    src: &[u8],
    handler: &GrammarHandler,
) -> Option<FlowEvent> {
    if !matches!(node.kind(), "jsx_self_closing_element" | "jsx_opening_element") {
        return None;
    }
    let name_node = node.child_by_field_name("name").or_else(|| {
        let mut cursor = node.walk();
        let name = node.named_children(&mut cursor).find(|child| {
            matches!(
                child.kind(),
                "identifier"
                    | "nested_identifier"
                    | "member_expression"
                    | "jsx_namespace_name"
                    | "jsx_member_expression"
            )
        });
        name
    })?;
    let component = node_text(&name_node, src).trim().to_string();
    if component.is_empty() {
        return None;
    }

    let mut args = Vec::new();
    let mut cursor = node.walk();
    for attribute in node.named_children(&mut cursor) {
        if attribute.kind() != "jsx_attribute" {
            continue;
        }
        let attr_name = attribute
            .named_child(0)
            .map(|name| node_text(&name, src).trim().to_string())
            .unwrap_or_default();
        let name = (!attr_name.is_empty()).then_some(attr_name.clone());
        if let Some(wrapper) = attribute.named_child(1) {
            let value = wrapper.named_child(0).unwrap_or(wrapper);
            if let Some(argument) =
                call_arg_from_nodes_with_handler(attribute, value, file, src, name, handler)
            {
                args.push(argument);
            }
        } else if !attr_name.is_empty() {
            // Boolean JSX attributes are the exact literal `true`; they carry
            // no value dependency even though the rendering uses the name.
            args.push(CallArg {
                passing_mode: Default::default(),
                span: span_of(file, &attribute),
                name,
                place: None,
                source_names: Vec::new(),
                value_text: normalize_call_name_whitespace(&attr_name),
            });
        }
    }

    Some(FlowEvent::Call {
        span: span_of(file, &node),
        receiver: None,
        receiver_types: Vec::new(),
        name: component,
        call_kind: CallKind::Function,
        args,
    })
}

#[derive(Debug, Default, Copy, Clone)]
pub struct JavaScriptAdapter;

impl JavaScriptAdapter {
    /// Construct a fresh adapter. Stateless; cheap to copy.
    #[must_use]
    pub fn new() -> Self {
        Self
    }
}

impl LanguageAdapter for JavaScriptAdapter {
    fn language_id(&self) -> LanguageId {
        LANG_ID
    }
    fn display_name(&self) -> &'static str {
        "JavaScript"
    }
    fn file_extensions(&self) -> &'static [&'static str] {
        &["js", "mjs", "cjs", "jsx"]
    }
    fn tree_sitter_language(&self) -> Result<Language, AdapterError> {
        language_from_pack(PACK_NAME)
    }
    fn capabilities(&self) -> LanguageCapabilities {
        LanguageCapabilities {
            module_export_aliases: &["exports", "module.exports"],
            module_default_export_names: &["default"],
            universal_type_names: &[],
            module_path_syntax: bonsai_lang_api::ModulePathSyntax::none(),
            constructor_method_names: &["constructor"],
            super_receiver_tokens: &["super"],
            implicit_receiver_tokens: &["this"],
            receiver_type_syntax: bonsai_lang_api::ReceiverTypeSyntax {
                wrapper_calls: &[],
                class_object_suffixes: &[".constructor"],
            },
            module_resolution_extensions: JS_TS_MODULE_RESOLUTION_EXTENSIONS,
            ..LanguageCapabilities::partial_baseline()
        }
    }
    fn extract_declarations(&self, file: FileId, ctx: &AdapterContext<'_>) -> DeclIndex {
        let mut decl_index = decl_index_with_handler(PACK_NAME, file, ctx, &HANDLER);
        if let Some((snapshot, tree)) = parse_with(PACK_NAME, file, ctx) {
            let src = snapshot.text.as_bytes();
            populate_ecmascript_compiler_facts(&mut decl_index, &tree, file, src);
            apply_ecmascript_assigned_member_callable_owners(&mut decl_index, &tree, file, src);
            apply_js_ts_commonjs_named_export_aliases(&mut decl_index, &tree, src, file);
        }
        // Module identity = workspace-relative path with the JS/TS extension stripped.
        let module_segments = ctx
            .workspace_relative_path(file)
            .map(|p| js_ts_module_segments(&p))
            .unwrap_or_default();
        if !module_segments.is_empty() {
            bonsai_lang_api::apply_module_path_semantic_identity(&mut decl_index, module_segments);
        } else {
            // Fall back to the file stem when the workspace root is unknown.
            bonsai_lang_api::apply_file_stem_semantic_identity(&mut decl_index, ctx);
        }
        if let Some((snapshot, tree)) = parse_with(PACK_NAME, file, ctx) {
            apply_js_ts_default_export_aliases(&mut decl_index, &tree, snapshot.text.as_bytes(), file);
        }
        // ECMAScript private fields/methods are syntactically marked by a leading `#`.
        for decl in &mut decl_index.defs {
            if decl.name.starts_with('#') {
                decl.visibility = Visibility::Private;
            }
        }
        // Populate `bases` from `class_heritage > extends_clause` so the resolver
        // can narrow virtual-dispatch candidates consistently with TypeScript.
        if let Some((snapshot, tree)) = parse_with(PACK_NAME, file, ctx) {
            let src = snapshot.text.as_bytes();
            let bases_by_span = collect_javascript_class_bases(&tree, file, src);
            for decl in &mut decl_index.defs {
                if let Some(bases) = bases_by_span
                    .iter()
                    .find_map(|(span, bases)| (*span == decl.span).then_some(bases))
                {
                    decl.bases = bases.clone();
                }
            }
            rewrite_javascript_super_constructor_invocations(&mut decl_index);
            apply_javascript_getter_property_sources(&mut decl_index, &tree, src, file);
        }
        for decl in &mut decl_index.defs {
            bonsai_lang_api::normalize_call_result_assignment_sources(&mut decl.flow_events);
        }
        if let Some((snapshot, tree)) = parse_with(PACK_NAME, file, ctx) {
            rewrite_javascript_object_destructuring_sources(
                &mut decl_index,
                &tree,
                snapshot.text.as_bytes(),
                file,
            );
            inject_javascript_object_literal_field_assigns(
                &mut decl_index,
                &tree,
                snapshot.text.as_bytes(),
                file,
            );
            apply_javascript_array_literal_types(&mut decl_index, &tree, snapshot.text.as_bytes(), file);
        }
        // Precompute `self.<field> → Type` bindings from each
        // class's constructor `receiver_field_writes` so receiver-
        // typed dispatch through stable instance state is an O(1)
        // lookup against the method's `type_aliases` instead of a
        // per-call walk over sibling decls.
        // Local constructor-result receiver typing
        // (`const c = new Foo()` → `c: Foo`) comes from the `new_expression`
        // CST node or exact declaration resolution. JavaScript identifiers
        // are never classified from capitalization conventions.
        bonsai_lang_api::apply_constructor_result_type_aliases(&mut decl_index);
        bonsai_lang_api::apply_class_field_type_aliases(&mut decl_index);
        bonsai_lang_api::apply_call_receiver_types(&mut decl_index);
        decl_index
    }
    fn extract_imports(&self, file: FileId, ctx: &AdapterContext<'_>) -> ImportIndex {
        extract_imports_via(PACK_NAME, file, ctx, parse_imports)
    }
}

/// Attach ECMAScript-specific syntax meaning to the language-neutral compiler
/// IR. TypeScript deliberately reuses this lowering because its expression
/// grammar extends ECMAScript; downstream engines see only typed boolean
/// relations and exact decoded literal values.
pub fn populate_ecmascript_compiler_facts(index: &mut DeclIndex, tree: &Tree, file: FileId, src: &[u8]) {
    mark_ecmascript_const_bindings_immutable(index, tree, file, src);
    for branch in collect_kinds(tree, &["if_statement"]) {
        let branch_span = span_of(file, &branch);
        let Some(condition) = branch.child_by_field_name("condition") else {
            continue;
        };
        let Some(fact) = index
            .branch_conditions
            .iter_mut()
            .find(|fact| fact.branch_span == branch_span)
        else {
            continue;
        };
        fact.expression = Some(lower_ecmascript_condition_expression(condition, file, src));
    }

    for node in collect_kinds(tree, &["string", "string_literal"]) {
        let span = span_of(file, &node);
        let Some(value) = ecmascript_static_string_literal(node, src) else {
            continue;
        };
        if let Some(literal) = index.strings.iter_mut().find(|literal| literal.span == span) {
            literal.static_value = Some(value);
        }
    }
    index.static_string_maps = ecmascript_static_string_maps(index, tree, file, src);
    index.finite_literal_selections = ecmascript_finite_literal_selections(index, tree, file, src);
    index.character_substitutions = ecmascript_character_substitutions(&index.defs, tree, file, src);
    index.character_constraints = bonsai_lang_api::character_constraints_from_substitutions(
        &index.defs,
        &index.character_substitutions,
    );
    index.string_compositions = ecmascript_string_compositions(tree, file, src);
    index.same_origin_path_constraints = ecmascript_same_origin_path_constraints(index, tree, file, src);
    index.dynamic_key_filters = ecmascript_dynamic_key_filters(index, tree, file, src);
    bonsai_lang_api::kit::populate_call_argument_static_values(
        index,
        tree,
        file,
        src,
        &HANDLER,
        ecmascript_static_scalar,
    );
}

/// Model classic ECMAScript object/prototype methods from their assignment
/// syntax.
///
/// JavaScript libraries commonly declare a method family without `class`:
///
/// ```text
/// app.init = function init() { this.configure(); };
/// app.configure = function configure() {};
/// ```
///
/// Tree-sitter proves the static member owner, member name, and callable RHS.
/// Lower those declarations under one synthetic structural owner so the
/// normal implicit-receiver/type pipeline can resolve `this.configure()`.
/// Dynamic/computed members, arrows (whose `this` is lexical), and named
/// function expressions whose inner name differs from the assigned property
/// fail closed.
pub fn apply_ecmascript_assigned_member_callable_owners(
    index: &mut DeclIndex,
    tree: &Tree,
    file: FileId,
    src: &[u8],
) {
    #[derive(Debug)]
    struct MemberCallable {
        assignment_start: u64,
        decl_index: usize,
        owner: String,
        owner_name: String,
        owner_span: bonsai_common::Span,
        property: String,
    }

    let mut members = Vec::new();
    for assignment in collect_kinds(tree, &["assignment_expression"]) {
        let (Some(left), Some(right)) = (
            assignment.child_by_field_name("left"),
            assignment.child_by_field_name("right"),
        ) else {
            continue;
        };
        if !matches!(right.kind(), "function_expression" | "generator_function")
            || left.kind() != "member_expression"
        {
            continue;
        }
        let left_text = node_text(&left, src);
        if left_text.trim() == "module.exports" || commonjs_named_export_member(left_text).is_some() {
            // CommonJS export members are module bindings, not object-method
            // receiver families. The export-alias lowering below preserves
            // their public names and links namespace `require` calls.
            continue;
        }
        let (Some(object), Some(property_node)) = (
            left.child_by_field_name("object"),
            left.child_by_field_name("property"),
        ) else {
            continue;
        };
        let Some(owner) = ecmascript_static_member_owner(object, src) else {
            continue;
        };
        if matches!(owner.as_str(), "this" | "super") {
            continue;
        }
        let property = node_text(&property_node, src).trim();
        if property.is_empty()
            || !matches!(
                property_node.kind(),
                "identifier" | "property_identifier" | "private_property_identifier"
            )
        {
            continue;
        }
        let callable_span = span_of(file, &right);
        let Some(decl_index) = index.defs.iter().position(|decl| {
            decl.span == callable_span && decl.parent.is_none() && matches!(decl.kind, DeclKind::Function)
        }) else {
            continue;
        };
        let declared_name = index.defs[decl_index].name.trim();
        let assigned_name = format!("{owner}.{property}");
        if declared_name != property && declared_name != assigned_name {
            continue;
        }
        let owner_name = owner
            .strip_suffix(".prototype")
            .unwrap_or(owner.as_str())
            .to_string();
        members.push(MemberCallable {
            assignment_start: u64::try_from(assignment.start_byte()).unwrap_or(u64::MAX),
            decl_index,
            owner,
            owner_name,
            owner_span: span_of(file, &object),
            property: property.to_string(),
        });
    }
    members.sort_by_key(|member| member.assignment_start);
    members.dedup_by_key(|member| member.decl_index);
    if members.is_empty() {
        return;
    }

    let mut next_symbol = index
        .defs
        .iter()
        .map(|decl| decl.symbol.raw())
        .max()
        .map_or(0, |symbol| symbol.saturating_add(1));
    let mut owners = HashMap::<String, SymbolId>::new();
    for member in &members {
        if owners.contains_key(&member.owner) {
            continue;
        }
        if let Some(symbol) = index
            .defs
            .iter()
            .find(|decl| {
                decl.name == member.owner_name
                    && matches!(
                        decl.kind,
                        DeclKind::Class
                            | DeclKind::Struct
                            | DeclKind::Trait
                            | DeclKind::Interface
                            | DeclKind::Enum
                    )
            })
            .map(|decl| decl.symbol)
        {
            owners.insert(member.owner.clone(), symbol);
            continue;
        }

        let symbol = SymbolId::new(next_symbol);
        next_symbol = next_symbol.saturating_add(1);
        owners.insert(member.owner.clone(), symbol);
        index.defs.push(bonsai_lang_api::Decl {
            symbol,
            kind: DeclKind::Struct,
            name: member.owner_name.clone(),
            qualified_name: None,
            module_path: Default::default(),
            span: member.owner_span,
            name_span: member.owner_span,
            visibility: Visibility::Public,
            parent: None,
            body_span: None,
            flow_events: Vec::new(),
            has_implicit_returns: false,
            params: Vec::new(),
            param_annotations: Vec::new(),
            param_default_calls: Vec::new(),
            type_aliases: Vec::new(),
            bases: Vec::new(),
            receiver_param_index: None,
            receiver_field_writes: Vec::new(),
            receiver_field_initializers: Vec::new(),
            implicit_receiver_names: Vec::new(),
            receiver_state_sources: Vec::new(),
            return_type: None,
            is_variadic: false,
        });
    }

    for member in members {
        let Some(owner) = owners.get(&member.owner).copied() else {
            continue;
        };
        let decl = &mut index.defs[member.decl_index];
        decl.kind = DeclKind::Method;
        decl.name = member.property;
        decl.qualified_name = None;
        decl.parent = Some(owner);
        if !decl.implicit_receiver_names.iter().any(|name| name == "this") {
            decl.implicit_receiver_names.push("this".to_string());
        }
    }
}

fn ecmascript_static_member_owner(node: Node<'_>, src: &[u8]) -> Option<String> {
    match node.kind() {
        "identifier" | "property_identifier" => {
            let name = node_text(&node, src).trim();
            (!name.is_empty()).then(|| name.to_string())
        }
        "member_expression" => {
            let object = node.child_by_field_name("object")?;
            let property = node.child_by_field_name("property")?;
            if !matches!(
                property.kind(),
                "identifier" | "property_identifier" | "private_property_identifier"
            ) {
                return None;
            }
            let owner = ecmascript_static_member_owner(object, src)?;
            let property = node_text(&property, src).trim();
            (!property.is_empty()).then(|| format!("{owner}.{property}"))
        }
        _ => None,
    }
}

/// Mark simple `const name = value` bindings as immutable compiler places.
///
/// This is syntax owned by the ECMAScript adapters. Shared consumers can use
/// the fact without knowing JavaScript/TypeScript declaration spellings, and
/// `let`/`var`, destructuring, or malformed declarations remain mutable or
/// unknown.
fn mark_ecmascript_const_bindings_immutable(index: &mut DeclIndex, tree: &Tree, file: FileId, src: &[u8]) {
    for declaration in collect_kinds(tree, &["lexical_declaration"]) {
        let is_const = (0..declaration.child_count())
            .filter_map(|index| declaration.child(index as u32))
            .any(|child| child.kind() == "const");
        if !is_const {
            continue;
        }
        let mut cursor = declaration.walk();
        for declarator in declaration
            .named_children(&mut cursor)
            .filter(|node| node.kind() == "variable_declarator")
        {
            let (Some(name), Some(value)) = (
                declarator.child_by_field_name("name"),
                declarator.child_by_field_name("value"),
            ) else {
                continue;
            };
            if name.kind() != "identifier" {
                continue;
            }
            let target = node_text(&name, src).trim();
            let value_span = span_of(file, &value);
            let declarator_span = span_of(file, &declarator);
            if target.is_empty() {
                continue;
            }
            for fact in index.assignment_values.iter_mut().filter(|fact| {
                fact.target.as_deref() == Some(target)
                    && fact.value_span == value_span
                    && fact.assignment_span.start <= declarator_span.start
                    && declarator_span.end <= fact.assignment_span.end
            }) {
                fact.target_is_immutable = true;
            }
        }
    }
}

/// Lower complete ECMAScript string concatenations into typed compiler facts.
/// Unsupported operands reject the whole composition so downstream security
/// proofs can never mistake a partially understood expression for a safe one.
fn ecmascript_string_compositions(tree: &Tree, file: FileId, src: &[u8]) -> Vec<StringCompositionFact> {
    let mut facts = Vec::new();
    for declarator in collect_kinds(tree, &["variable_declarator"]) {
        let (Some(name), Some(value)) = (
            declarator.child_by_field_name("name"),
            declarator.child_by_field_name("value"),
        ) else {
            continue;
        };
        if name.kind() != "identifier" {
            continue;
        }
        let mut parts = Vec::new();
        if lower_ecmascript_string_composition(value, file, src, &mut parts) && parts.len() > 1 {
            facts.push(StringCompositionFact {
                container_span: span_of(file, &declarator),
                value_span: span_of(file, &value),
                target: Some(node_text(&name, src).trim().to_string()),
                parts,
            });
        }
    }
    for return_node in collect_kinds(tree, &["return_statement"]) {
        let Some(value) = return_node.named_child(0) else {
            continue;
        };
        let mut parts = Vec::new();
        if lower_ecmascript_string_composition(value, file, src, &mut parts) && parts.len() > 1 {
            facts.push(StringCompositionFact {
                container_span: span_of(file, &return_node),
                value_span: span_of(file, &value),
                target: None,
                parts,
            });
        }
    }
    // Preserve complete nested concatenations as expression-owned facts too.
    // Object/map fields and direct call arguments are not declarations or
    // returns, but their exact value spans are retained by ExpressionField
    // and CallArgumentValueFact so consumers can join these facts precisely.
    for value in collect_kinds(tree, &["binary_expression", "template_string"]) {
        let mut parts = Vec::new();
        if lower_ecmascript_string_composition(value, file, src, &mut parts) && parts.len() > 1 {
            let value_span = span_of(file, &value);
            facts.push(StringCompositionFact {
                container_span: value_span,
                value_span,
                target: None,
                parts,
            });
        }
    }
    facts.sort_by_key(|fact| {
        (
            fact.container_span.start,
            fact.container_span.end,
            fact.value_span.start,
            fact.value_span.end,
        )
    });
    facts.dedup();
    facts
}

fn lower_ecmascript_string_composition(
    mut node: Node<'_>,
    file: FileId,
    src: &[u8],
    out: &mut Vec<StringCompositionPart>,
) -> bool {
    node = unwrap_ecmascript_expression(node);
    if let Some(value) = ecmascript_static_string_literal(node, src) {
        out.push(StringCompositionPart::Literal { value });
        return true;
    }
    if let Some(place) = ecmascript_exact_place(node, src) {
        out.push(StringCompositionPart::Place { place });
        return true;
    }
    if node.kind() == "call_expression" {
        let Some(function) = node.child_by_field_name("function") else {
            return false;
        };
        out.push(StringCompositionPart::Call {
            span: span_of(file, &function),
        });
        return true;
    }
    if node.kind() == "template_string" {
        let mut cursor = node.walk();
        for child in node.named_children(&mut cursor) {
            match child.kind() {
                "string_fragment" => {
                    let Some(value) = decode_ecmascript_string_contents(node_text(&child, src), '`') else {
                        return false;
                    };
                    out.push(StringCompositionPart::Literal { value });
                }
                "template_substitution" => {
                    let Some(expression) = child.named_child(0) else {
                        return false;
                    };
                    if !lower_ecmascript_string_composition(expression, file, src, out) {
                        return false;
                    }
                }
                "comment" => {}
                _ => return false,
            }
        }
        return !out.is_empty();
    }
    if node.kind() != "binary_expression" {
        return false;
    }
    let (Some(left), Some(right)) = (
        node.child_by_field_name("left"),
        node.child_by_field_name("right"),
    ) else {
        return false;
    };
    let operator = src
        .get(left.end_byte()..right.start_byte())
        .and_then(|bytes| std::str::from_utf8(bytes).ok())
        .map(str::trim);
    operator == Some("+")
        && lower_ecmascript_string_composition(left, file, src, out)
        && lower_ecmascript_string_composition(right, file, src, out)
}

fn ecmascript_exact_place(node: Node<'_>, src: &[u8]) -> Option<String> {
    let node = unwrap_ecmascript_expression(node);
    match node.kind() {
        "identifier" | "this" => {
            let place = node_text(&node, src).trim();
            (!place.is_empty()).then(|| place.to_string())
        }
        "member_expression" => {
            let object = ecmascript_exact_place(node.child_by_field_name("object")?, src)?;
            let property = node.child_by_field_name("property")?;
            if property.kind() == "private_property_identifier" {
                return None;
            }
            let property = node_text(&property, src).trim();
            (!property.is_empty()).then(|| format!("{object}.{property}"))
        }
        _ => None,
    }
}

fn ecmascript_same_origin_path_constraints(
    index: &DeclIndex,
    tree: &Tree,
    file: FileId,
    src: &[u8],
) -> Vec<SameOriginPathConstraintFact> {
    let mut facts = Vec::new();
    let mut guarded_expressions = collect_kinds(tree, &["return_statement"])
        .into_iter()
        .filter_map(|return_node| return_node.named_child(0))
        .collect::<Vec<_>>();
    guarded_expressions.extend(
        collect_kinds(tree, &["arrow_function"])
            .into_iter()
            .filter_map(|arrow| arrow.child_by_field_name("body"))
            .filter(|body| body.kind() != "statement_block"),
    );
    for expression in guarded_expressions {
        let return_span = span_of(file, &expression);
        let Some(decl) = index
            .defs
            .iter()
            .filter(|decl| {
                matches!(decl.kind, DeclKind::Function | DeclKind::Method)
                    && decl.span.start <= return_span.start
                    && return_span.end <= decl.span.end
            })
            .min_by_key(|decl| decl.span.len())
        else {
            continue;
        };
        let expression = unwrap_ecmascript_expression(expression);
        if expression.kind() != "ternary_expression" {
            continue;
        }
        let (Some(condition), Some(consequence), Some(alternative)) = (
            expression.child_by_field_name("condition"),
            expression.child_by_field_name("consequence"),
            expression.child_by_field_name("alternative"),
        ) else {
            continue;
        };
        for (input_param_index, parameter) in decl.params.iter().enumerate() {
            if !ecmascript_expression_is_exact_place(consequence, parameter, src)
                || ecmascript_static_string_literal(alternative, src).as_deref() != Some("/")
            {
                continue;
            }
            let mut terms = Vec::new();
            ecmascript_collect_logical_terms(condition, "&&", src, &mut terms);
            let requires_absolute_path = terms
                .iter()
                .any(|term| ecmascript_starts_with_literal(*term, parameter, "/", false, src));
            let rejects_scheme_relative_path = terms
                .iter()
                .any(|term| ecmascript_starts_with_literal(*term, parameter, "//", true, src));
            if requires_absolute_path && rejects_scheme_relative_path {
                // Exactly one leading slash excludes both a URI scheme and
                // an authority component. The frontend derives those facts
                // from the two parsed predicates rather than API-name policy.
                facts.push(SameOriginPathConstraintFact {
                    function_span: decl.span,
                    guard_span: span_of(file, &expression),
                    input_place: parameter.clone(),
                    input_param_index: Some(input_param_index),
                    provider_call: None,
                    rejects_scheme: true,
                    rejects_authority: true,
                    requires_absolute_path,
                    rejects_scheme_relative_path,
                });
            }
        }
    }
    facts.sort_by_key(|fact| (fact.function_span.start, fact.guard_span.start));
    facts.dedup();
    facts
}

fn ecmascript_collect_logical_terms<'tree>(
    expression: Node<'tree>,
    operator: &str,
    src: &[u8],
    out: &mut Vec<Node<'tree>>,
) {
    let expression = unwrap_ecmascript_expression(expression);
    let operands = (
        expression.child_by_field_name("left"),
        expression.child_by_field_name("right"),
    );
    if expression.kind() == "binary_expression"
        && operands.0.zip(operands.1).is_some_and(|(left, right)| {
            src.get(left.end_byte()..right.start_byte())
                .and_then(|bytes| std::str::from_utf8(bytes).ok())
                .is_some_and(|value| value.trim() == operator)
        })
    {
        let (Some(left), Some(right)) = operands else {
            return;
        };
        ecmascript_collect_logical_terms(left, operator, src, out);
        ecmascript_collect_logical_terms(right, operator, src, out);
    } else {
        out.push(expression);
    }
}

fn ecmascript_expression_is_exact_place(expression: Node<'_>, place: &str, src: &[u8]) -> bool {
    let expression = unwrap_ecmascript_expression(expression);
    expression.kind() == "identifier" && node_text(&expression, src).trim() == place
}

fn ecmascript_starts_with_literal(
    expression: Node<'_>,
    receiver: &str,
    literal: &str,
    negated: bool,
    src: &[u8],
) -> bool {
    let expression = unwrap_ecmascript_expression(expression);
    let call = if negated {
        if expression.kind() != "unary_expression" {
            return false;
        }
        let Some(argument) = expression.child_by_field_name("argument") else {
            return false;
        };
        if src
            .get(expression.start_byte()..argument.start_byte())
            .and_then(|bytes| std::str::from_utf8(bytes).ok())
            .is_none_or(|prefix| prefix.trim() != "!")
        {
            return false;
        }
        unwrap_ecmascript_expression(argument)
    } else {
        expression
    };
    if call.kind() != "call_expression" {
        return false;
    }
    let Some(function) = call.child_by_field_name("function") else {
        return false;
    };
    if function.kind() != "member_expression"
        || function
            .child_by_field_name("object")
            .is_none_or(|object| !ecmascript_expression_is_exact_place(object, receiver, src))
        || function
            .child_by_field_name("property")
            .is_none_or(|property| node_text(&property, src).trim() != "startsWith")
    {
        return false;
    }
    let arguments = ecmascript_call_arguments(call);
    let [argument] = arguments.as_slice() else {
        return false;
    };
    ecmascript_static_string_literal(*argument, src).as_deref() == Some(literal)
}

fn ecmascript_dynamic_key_filters(
    index: &DeclIndex,
    tree: &Tree,
    file: FileId,
    src: &[u8],
) -> Vec<DynamicKeyFilterFact> {
    let mut facts = Vec::new();
    for function in collect_kinds(tree, &["function_declaration"]) {
        let function_span = span_of(file, &function);
        let Some(decl) = index.defs.iter().find(|decl| decl.span == function_span) else {
            continue;
        };
        let Some(body) = function.child_by_field_name("body") else {
            continue;
        };
        if let Some(fact) = ecmascript_property_path_filter(tree, function, body, decl, file, src) {
            facts.push(fact);
        }
        for block in named_descendants_of_kind(body, "statement_block") {
            let Some(fact) =
                ecmascript_dynamic_key_filter_in_block(tree, function, body, block, decl, file, src)
            else {
                continue;
            };
            facts.push(fact);
        }
    }
    facts.sort_by_key(|fact| (fact.function_span.start, fact.guard_span.start));
    facts.dedup_by_key(|fact| (fact.function_span, fact.guard_span));
    facts
}

fn ecmascript_dynamic_key_filter_in_block(
    tree: &Tree,
    function: Node<'_>,
    function_body: Node<'_>,
    block: Node<'_>,
    decl: &bonsai_lang_api::Decl,
    file: FileId,
    src: &[u8],
) -> Option<DynamicKeyFilterFact> {
    let statements = named_children(block);
    let [output_decl, loop_node, return_node] = statements.as_slice() else {
        return None;
    };
    if output_decl.kind() != "lexical_declaration"
        || loop_node.kind() != "for_in_statement"
        || return_node.kind() != "return_statement"
    {
        return None;
    }

    let (output_name, output_value) = single_variable_declaration(*output_decl, src)?;
    if output_value.kind() != "object" || !named_children(output_value).is_empty() {
        return None;
    }
    let returned = return_node.named_child(0)?;
    if returned.kind() != "identifier" || node_text(&returned, src).trim() != output_name {
        return None;
    }

    let left = loop_node.child_by_field_name("left")?;
    let bindings = named_children(left);
    let [key_node, value_node] = bindings.as_slice() else {
        return None;
    };
    if key_node.kind() != "identifier" || value_node.kind() != "identifier" {
        return None;
    }
    let key = node_text(key_node, src).trim();
    let value = node_text(value_node, src).trim();

    let iteration = loop_node.child_by_field_name("right")?;
    let iteration_call = unwrap_ecmascript_expression(iteration);
    let (iteration_receiver, iteration_method) = ecmascript_member_call(iteration_call, src)?;
    if iteration_receiver != "Object" || iteration_method != "entries" {
        return None;
    }
    let iteration_args = ecmascript_call_arguments(iteration_call);
    let [iteration_input] = iteration_args.as_slice() else {
        return None;
    };
    let input = unwrap_ecmascript_expression(*iteration_input);
    if input.kind() != "identifier" {
        return None;
    }
    let input_name = node_text(&input, src).trim();
    let input_param_index = decl.params.iter().position(|param| param == input_name)?;

    let loop_body = loop_node.child_by_field_name("body")?;
    let loop_statements = named_children(loop_body);
    let [guard, write_statement] = loop_statements.as_slice() else {
        return None;
    };
    if guard.kind() != "if_statement" || write_statement.kind() != "expression_statement" {
        return None;
    }
    if guard.child_by_field_name("alternative").is_some()
        || guard.child_by_field_name("consequence")?.kind() != "continue_statement"
    {
        return None;
    }
    let condition = unwrap_ecmascript_expression(guard.child_by_field_name("condition")?);
    let (collection, membership_check) = ecmascript_member_call(condition, src)?;
    let membership_args = ecmascript_call_arguments(condition);
    let [membership_subject] = membership_args.as_slice() else {
        return None;
    };
    if membership_subject.kind() != "identifier" || node_text(membership_subject, src).trim() != key {
        return None;
    }

    let write = write_statement.named_child(0)?;
    if write.kind() != "assignment_expression" {
        return None;
    }
    let target = write.child_by_field_name("left")?;
    if target.kind() != "subscript_expression"
        || target
            .child_by_field_name("object")
            .is_none_or(|node| node.kind() != "identifier" || node_text(&node, src).trim() != output_name)
        || target
            .child_by_field_name("index")
            .is_none_or(|node| node.kind() != "identifier" || node_text(&node, src).trim() != key)
    {
        return None;
    }
    let recursive_call = unwrap_ecmascript_expression(write.child_by_field_name("right")?);
    if recursive_call.kind() != "call_expression" {
        return None;
    }
    let recursive_function = recursive_call.child_by_field_name("function")?;
    let recursive_args = ecmascript_call_arguments(recursive_call);
    let [recursive_value] = recursive_args.as_slice() else {
        return None;
    };
    if recursive_function.kind() != "identifier"
        || node_text(&recursive_function, src).trim() != decl.name
        || recursive_value.kind() != "identifier"
        || node_text(recursive_value, src).trim() != value
    {
        return None;
    }

    // The denylist must be one immutable top-level lexical binding shared by
    // this top-level helper. This gives the adapter a closed lexical proof
    // without teaching shared analysis JavaScript name-resolution rules.
    if function.parent().is_none_or(|parent| {
        parent.kind() != "program"
            && !(parent.kind() == "export_statement"
                && parent
                    .parent()
                    .is_some_and(|grandparent| grandparent.kind() == "program"))
    }) {
        return None;
    }
    let (collection_constructor, rejected_exact_values) =
        ecmascript_exact_top_level_collection(tree, function, function_body, collection, src)?;

    Some(DynamicKeyFilterFact {
        function_span: decl.span,
        guard_span: span_of(file, guard),
        input_param_index,
        output_place: Some(output_name.to_string()),
        collection_constructor,
        membership_check: membership_check.to_string(),
        rejected_exact_values,
        recursive: true,
    })
}

fn ecmascript_property_path_filter(
    tree: &Tree,
    function: Node<'_>,
    function_body: Node<'_>,
    decl: &bonsai_lang_api::Decl,
    file: FileId,
    src: &[u8],
) -> Option<DynamicKeyFilterFact> {
    if function.parent().is_none_or(|parent| {
        parent.kind() != "program"
            && !(parent.kind() == "export_statement"
                && parent
                    .parent()
                    .is_some_and(|grandparent| grandparent.kind() == "program"))
    }) {
        return None;
    }
    let bindings = ecmascript_bindings(tree, src);
    let statements = named_children(function_body);
    for (declaration_index, declaration) in statements.iter().enumerate() {
        if declaration.kind() != "lexical_declaration"
            || declaration
                .child(0)
                .is_none_or(|keyword| keyword.kind() != "const")
        {
            continue;
        }
        let Some((segments, initializer)) = single_variable_declaration(*declaration, src) else {
            continue;
        };
        let Some(input_param_index) =
            ecmascript_property_path_split_input(initializer, &decl.params, &bindings, src)
        else {
            continue;
        };
        if ecmascript_binding_is_mutated(function_body, segments, declaration.end_byte(), src) {
            continue;
        }
        for guard in statements.iter().skip(declaration_index + 1) {
            if guard.kind() != "if_statement" || guard.child_by_field_name("alternative").is_some() {
                continue;
            }
            let condition = unwrap_ecmascript_expression(guard.child_by_field_name("condition")?);
            let Some((collection, membership_check)) =
                ecmascript_every_segment_is_denylisted(condition, segments, src)
            else {
                continue;
            };
            let (collection_constructor, rejected_exact_values) =
                ecmascript_exact_top_level_collection(tree, function, function_body, collection, src)?;
            return Some(DynamicKeyFilterFact {
                function_span: decl.span,
                guard_span: span_of(file, guard),
                input_param_index,
                output_place: Some(segments.to_string()),
                collection_constructor,
                membership_check: membership_check.to_string(),
                rejected_exact_values,
                recursive: false,
            });
        }
    }
    None
}

fn ecmascript_property_path_split_input(
    initializer: Node<'_>,
    params: &[String],
    bindings: &EcmascriptBindings<'_>,
    src: &[u8],
) -> Option<usize> {
    let mut split = unwrap_ecmascript_expression(initializer);
    if split.kind() == "call_expression" {
        let function = split.child_by_field_name("function")?;
        if function.kind() == "member_expression"
            && function
                .child_by_field_name("property")
                .is_some_and(|property| node_text(&property, src).trim() == "filter")
        {
            let callback = ecmascript_call_arguments(split).first().copied()?;
            if !ecmascript_nonempty_segment_filter(callback, src) {
                return None;
            }
            split = unwrap_ecmascript_expression(function.child_by_field_name("object")?);
        }
    }
    if split.kind() != "call_expression" {
        return None;
    }
    let function = split.child_by_field_name("function")?;
    if function.kind() != "member_expression"
        || function
            .child_by_field_name("property")
            .is_none_or(|property| node_text(&property, src).trim() != "split")
    {
        return None;
    }
    let delimiter = ecmascript_call_arguments(split).first().copied()?;
    let pattern = delimiter.child_by_field_name("pattern")?;
    let pattern = node_text(&pattern, src);
    let character_class = pattern.strip_suffix('+').unwrap_or(pattern);
    let characters = ecmascript_exact_regex_characters_from_pattern(character_class)?;
    if ![".", "[", "]"]
        .iter()
        .all(|required| characters.iter().any(|character| character == required))
    {
        return None;
    }
    let input = unwrap_ecmascript_expression(function.child_by_field_name("object")?);
    let input_name = if input.kind() == "identifier" {
        node_text(&input, src).trim()
    } else if input.kind() == "call_expression" {
        let callee = input.child_by_field_name("function")?;
        if callee.kind() != "identifier"
            || node_text(&callee, src).trim() != "String"
            || bindings.by_name.contains_key("String")
        {
            return None;
        }
        let arguments = ecmascript_call_arguments(input);
        let [argument] = arguments.as_slice() else {
            return None;
        };
        if argument.kind() != "identifier" {
            return None;
        }
        node_text(argument, src).trim()
    } else {
        return None;
    };
    params.iter().position(|param| param == input_name)
}

fn ecmascript_exact_regex_characters_from_pattern(pattern: &str) -> Option<Vec<String>> {
    let inner = pattern.strip_prefix('[')?.strip_suffix(']')?;
    if inner.starts_with('^') || inner.is_empty() {
        return None;
    }
    let mut characters = Vec::new();
    let mut input = inner.chars();
    while let Some(character) = input.next() {
        if character == '-' {
            return None;
        }
        let character = if character == '\\' {
            match input.next()? {
                escaped if !escaped.is_ascii_alphanumeric() => escaped,
                _ => return None,
            }
        } else {
            character
        };
        characters.push(character.to_string());
    }
    characters.sort();
    characters.dedup();
    Some(characters)
}

fn ecmascript_nonempty_segment_filter(callback: Node<'_>, src: &[u8]) -> bool {
    let Some((parameter, body)) = ecmascript_arrow_parts(callback, src) else {
        return false;
    };
    let body = unwrap_ecmascript_expression(body);
    let (Some(left), Some(right)) = (
        body.child_by_field_name("left"),
        body.child_by_field_name("right"),
    ) else {
        return false;
    };
    let operator = src
        .get(left.end_byte()..right.start_byte())
        .and_then(|bytes| std::str::from_utf8(bytes).ok())
        .map(str::trim);
    let Some(object) = left.child_by_field_name("object") else {
        return false;
    };
    let Some(property) = left.child_by_field_name("property") else {
        return false;
    };
    left.kind() == "member_expression"
        && node_text(&object, src).trim() == parameter
        && node_text(&property, src).trim() == "length"
        && operator == Some(">")
        && node_text(&right, src).trim() == "0"
}

fn ecmascript_every_segment_is_denylisted<'a>(
    condition: Node<'a>,
    segments: &str,
    src: &'a [u8],
) -> Option<(&'a str, &'a str)> {
    let function = condition.child_by_field_name("function")?;
    if condition.kind() != "call_expression"
        || function.kind() != "member_expression"
        || function
            .child_by_field_name("object")
            .is_none_or(|object| node_text(&object, src).trim() != segments)
        || function
            .child_by_field_name("property")
            .is_none_or(|property| node_text(&property, src).trim() != "some")
    {
        return None;
    }
    let condition_arguments = ecmascript_call_arguments(condition);
    let callback = condition_arguments.first().copied()?;
    let (parameter, body) = ecmascript_arrow_parts(callback, src)?;
    let (collection, membership_check) = ecmascript_member_call(unwrap_ecmascript_expression(body), src)?;
    let membership_arguments = ecmascript_call_arguments(unwrap_ecmascript_expression(body));
    let [subject] = membership_arguments.as_slice() else {
        return None;
    };
    (subject.kind() == "identifier" && node_text(subject, src).trim() == parameter)
        .then_some((collection, membership_check))
}

fn ecmascript_binding_is_mutated(body: Node<'_>, binding: &str, after: usize, src: &[u8]) -> bool {
    let mut stack = vec![body];
    while let Some(node) = stack.pop() {
        if node.start_byte() > after {
            if matches!(
                node.kind(),
                "assignment_expression" | "augmented_assignment_expression"
            ) && node.child_by_field_name("left").is_some_and(|left| {
                node_text(&left, src).trim() == binding
                    || left
                        .child_by_field_name("object")
                        .is_some_and(|object| node_text(&object, src).trim() == binding)
            }) {
                return true;
            }
            if node.kind() == "call_expression" {
                if let Some(function) = node.child_by_field_name("function") {
                    if function.kind() == "member_expression"
                        && function
                            .child_by_field_name("object")
                            .is_some_and(|object| node_text(&object, src).trim() == binding)
                        && function
                            .child_by_field_name("property")
                            .is_some_and(|property| node_text(&property, src).trim() != "some")
                    {
                        return true;
                    }
                }
            }
        }
        let mut cursor = node.walk();
        stack.extend(node.named_children(&mut cursor));
    }
    false
}

fn ecmascript_exact_top_level_collection(
    tree: &Tree,
    function: Node<'_>,
    function_body: Node<'_>,
    collection: &str,
    src: &[u8],
) -> Option<(String, Vec<String>)> {
    if named_descendants_of_kind(function_body, "variable_declarator")
        .iter()
        .any(|declarator| {
            declarator
                .child_by_field_name("name")
                .is_some_and(|name| name.kind() == "identifier" && node_text(&name, src).trim() == collection)
        })
    {
        return None;
    }
    let mut candidates = Vec::new();
    for declarator in collect_kinds(tree, &["variable_declarator"]) {
        if declarator.start_byte() >= function.start_byte()
            || declarator
                .parent()
                .and_then(|parent| parent.parent())
                .is_none_or(|parent| parent.kind() != "program")
        {
            continue;
        }
        let Some(name) = declarator.child_by_field_name("name") else {
            continue;
        };
        if name.kind() != "identifier" || node_text(&name, src).trim() != collection {
            continue;
        }
        let declaration = declarator.parent()?;
        if declaration.child(0).is_none_or(|token| token.kind() != "const") {
            continue;
        }
        let value = declarator.child_by_field_name("value")?;
        if value.kind() != "new_expression" {
            continue;
        }
        let constructor = value.child_by_field_name("constructor")?;
        if constructor.kind() != "identifier" {
            continue;
        }
        let arguments = ecmascript_call_arguments(value);
        let [array] = arguments.as_slice() else {
            continue;
        };
        if array.kind() != "array" {
            continue;
        }
        let items = named_children(*array);
        if items.is_empty() || items.iter().any(|item| item.kind() == "spread_element") {
            continue;
        }
        let values: Option<Vec<_>> = items
            .iter()
            .map(|item| ecmascript_static_string_literal(*item, src))
            .collect();
        let Some(values) = values else {
            continue;
        };
        candidates.push((node_text(&constructor, src).trim().to_string(), values));
    }
    let [candidate] = candidates.as_slice() else {
        return None;
    };
    if collect_kinds(
        tree,
        &["assignment_expression", "augmented_assignment_expression"],
    )
    .iter()
    .any(|assignment| {
        assignment
            .child_by_field_name("left")
            .is_some_and(|left| left.kind() == "identifier" && node_text(&left, src).trim() == collection)
    }) {
        return None;
    }
    Some(candidate.clone())
}

fn named_descendants_of_kind<'tree>(root: Node<'tree>, kind: &str) -> Vec<Node<'tree>> {
    let mut found = Vec::new();
    let mut stack = vec![root];
    while let Some(node) = stack.pop() {
        let mut cursor = node.walk();
        for child in node.named_children(&mut cursor) {
            if child.kind() == kind {
                found.push(child);
            }
            stack.push(child);
        }
    }
    found
}

fn named_children(node: Node<'_>) -> Vec<Node<'_>> {
    let mut cursor = node.walk();
    node.named_children(&mut cursor).collect()
}

fn single_variable_declaration<'tree, 'src>(
    declaration: Node<'tree>,
    src: &'src [u8],
) -> Option<(&'src str, Node<'tree>)> {
    let declarators: Vec<_> = named_children(declaration)
        .into_iter()
        .filter(|node| node.kind() == "variable_declarator")
        .collect();
    let [declarator] = declarators.as_slice() else {
        return None;
    };
    let name = declarator.child_by_field_name("name")?;
    let value = declarator.child_by_field_name("value")?;
    (name.kind() == "identifier").then_some((node_text(&name, src).trim(), value))
}

fn ecmascript_member_call<'a>(call: Node<'_>, src: &'a [u8]) -> Option<(&'a str, &'a str)> {
    if call.kind() != "call_expression" {
        return None;
    }
    let function = call.child_by_field_name("function")?;
    if function.kind() != "member_expression" {
        return None;
    }
    let object = function.child_by_field_name("object")?;
    let property = function.child_by_field_name("property")?;
    if object.kind() != "identifier" || property.kind() != "property_identifier" {
        return None;
    }
    Some((node_text(&object, src).trim(), node_text(&property, src).trim()))
}

fn ecmascript_static_string_maps(
    index: &DeclIndex,
    tree: &Tree,
    file: FileId,
    src: &[u8],
) -> Vec<StaticStringMapFact> {
    let mut maps = Vec::new();
    for declarator in collect_kinds(tree, &["variable_declarator"]) {
        let Some(target_node) = declarator.child_by_field_name("name") else {
            continue;
        };
        let Some(value_node) = declarator.child_by_field_name("value") else {
            continue;
        };
        if target_node.kind() != "identifier" || value_node.kind() != "object" {
            continue;
        }
        let target = node_text(&target_node, src).trim();
        if target.is_empty() {
            continue;
        }
        let Some(entries) = ecmascript_exact_string_map_entries(value_node, src) else {
            continue;
        };
        let value_span = span_of(file, &value_node);
        let Some(assignment_span) = index.assignment_values.iter().find_map(|fact| {
            (fact.value_span == value_span && fact.target.as_deref() == Some(target))
                .then_some(fact.assignment_span)
        }) else {
            continue;
        };
        maps.push(StaticStringMapFact {
            assignment_span,
            target: target.to_string(),
            entries,
        });
    }
    maps.sort_by_key(|fact| (fact.assignment_span.start, fact.assignment_span.end));
    maps
}

fn ecmascript_finite_literal_selections(
    index: &DeclIndex,
    tree: &Tree,
    file: FileId,
    src: &[u8],
) -> Vec<FiniteLiteralSelectionFact> {
    let bindings = ecmascript_bindings(tree, src);
    if !bindings
        .bindings
        .iter()
        .any(|binding| binding.finite_map.is_some())
    {
        return Vec::new();
    }
    let mut selections = Vec::new();
    for node in collect_kinds(tree, &["call_expression", "subscript_expression"]) {
        let (map_target, object) = if node.kind() == "call_expression" {
            let Some(function) = node.child_by_field_name("function") else {
                continue;
            };
            if function.kind() != "member_expression" {
                continue;
            }
            let Some(object) = function.child_by_field_name("object") else {
                continue;
            };
            let Some(property) = function.child_by_field_name("property") else {
                continue;
            };
            if object.kind() != "identifier" || node_text(&property, src).trim() != "get" {
                continue;
            }
            (node_text(&object, src).trim(), object)
        } else {
            let Some(object) = node.child_by_field_name("object") else {
                continue;
            };
            if object.kind() != "identifier" {
                continue;
            }
            (node_text(&object, src).trim(), object)
        };
        let Some(binding) = bindings.resolve(map_target, object.start_byte(), object.end_byte()) else {
            continue;
        };
        if binding.finite_map.is_none()
            || binding.initializer.end_byte() > node.start_byte()
            || bindings.unsafe_bindings.contains(&binding.declaration.id())
        {
            continue;
        }
        let selection_span = span_of(file, &node);
        let Some(fact) = bonsai_lang_api::kit::finite_literal_selection_fact_for_span(
            index,
            tree,
            selection_span,
            |value_node| ecmascript_expression_is_finite_selection(value_node, node, src, &bindings),
        ) else {
            continue;
        };
        selections.push(fact);
    }
    bonsai_lang_api::kit::sort_dedup_finite_literal_selections(&mut selections);
    selections
}

#[derive(Copy, Clone, Debug, PartialEq, Eq)]
enum EcmascriptFiniteMapKind {
    Object,
    Map,
}

#[derive(Copy, Clone, Debug)]
struct EcmascriptBinding<'tree> {
    name: &'tree str,
    declaration: Node<'tree>,
    initializer: Node<'tree>,
    scope: Node<'tree>,
    finite_map: Option<EcmascriptFiniteMapKind>,
}

struct EcmascriptBindings<'tree> {
    bindings: Vec<EcmascriptBinding<'tree>>,
    by_name: HashMap<String, Vec<usize>>,
    unsafe_bindings: HashSet<usize>,
    object_intrinsic_unshadowed: bool,
}

impl<'tree> EcmascriptBindings<'tree> {
    fn resolve(&self, name: &str, use_start: usize, use_end: usize) -> Option<&EcmascriptBinding<'tree>> {
        let candidates = self.by_name.get(name)?;
        let smallest_scope = candidates
            .iter()
            .map(|index| &self.bindings[*index])
            .filter(|binding| binding.scope.start_byte() <= use_start && use_end <= binding.scope.end_byte())
            .map(|binding| binding.scope.end_byte() - binding.scope.start_byte())
            .min()?;
        let mut candidates = candidates
            .iter()
            .map(|index| &self.bindings[*index])
            .filter(|binding| {
                binding.scope.start_byte() <= use_start
                    && use_end <= binding.scope.end_byte()
                    && binding.scope.end_byte() - binding.scope.start_byte() == smallest_scope
            });
        let binding = candidates.next()?;
        candidates.next().is_none().then_some(binding)
    }
}

fn ecmascript_bindings<'tree>(tree: &'tree Tree, src: &'tree [u8]) -> EcmascriptBindings<'tree> {
    let mut bindings = Vec::new();
    for declarator in collect_kinds(tree, &["variable_declarator"]) {
        let Some(target) = declarator.child_by_field_name("name") else {
            continue;
        };
        let Some(scope) = ecmascript_binding_scope(declarator) else {
            continue;
        };
        let is_const = declarator
            .parent()
            .filter(|parent| parent.kind() == "lexical_declaration")
            .and_then(|declaration| declaration.child(0))
            .is_some_and(|keyword| keyword.kind() == "const");
        let is_exported = declarator
            .parent()
            .and_then(|declaration| declaration.parent())
            .is_some_and(|parent| parent.kind() == "export_statement");
        let value = declarator.child_by_field_name("value");
        for bound in ecmascript_pattern_identifiers(target) {
            let name = node_text(&bound, src).trim();
            if name.is_empty() {
                continue;
            }
            let is_simple_target = target.kind() == "identifier" && target.id() == bound.id();
            bindings.push(EcmascriptBinding {
                name,
                declaration: if is_simple_target { declarator } else { bound },
                initializer: value.unwrap_or(target),
                scope,
                finite_map: (is_simple_target && is_const && !is_exported)
                    .then(|| value.and_then(|value| ecmascript_finite_literal_map_kind(value, src)))
                    .flatten(),
            });
        }
    }

    for parameters in collect_kinds(tree, &["formal_parameters"]) {
        let Some(owner) = parameters.parent() else {
            continue;
        };
        let Some(scope) = owner.child_by_field_name("body") else {
            continue;
        };
        let mut cursor = parameters.walk();
        for parameter in parameters.named_children(&mut cursor) {
            let pattern = match parameter.kind() {
                "required_parameter" | "optional_parameter" => parameter
                    .child_by_field_name("pattern")
                    .or_else(|| parameter.child_by_field_name("name"))
                    .unwrap_or(parameter),
                _ => parameter,
            };
            for bound in ecmascript_pattern_identifiers(pattern) {
                push_ecmascript_blocking_binding(&mut bindings, bound, scope, src);
            }
        }
    }

    for arrow in collect_kinds(tree, &["arrow_function"]) {
        let Some(parameter) = arrow.child_by_field_name("parameter") else {
            continue;
        };
        let Some(scope) = arrow.child_by_field_name("body") else {
            continue;
        };
        for bound in ecmascript_pattern_identifiers(parameter) {
            push_ecmascript_blocking_binding(&mut bindings, bound, scope, src);
        }
    }

    for catch_clause in collect_kinds(tree, &["catch_clause"]) {
        let Some(parameter) = catch_clause.child_by_field_name("parameter") else {
            continue;
        };
        let Some(scope) = catch_clause.child_by_field_name("body") else {
            continue;
        };
        for bound in ecmascript_pattern_identifiers(parameter) {
            push_ecmascript_blocking_binding(&mut bindings, bound, scope, src);
        }
    }

    for declaration in collect_kinds(
        tree,
        &[
            "function_declaration",
            "generator_function_declaration",
            "class_declaration",
        ],
    ) {
        let Some(name) = declaration.child_by_field_name("name") else {
            continue;
        };
        let Some(scope) = ecmascript_binding_scope(declaration) else {
            continue;
        };
        push_ecmascript_blocking_binding(&mut bindings, name, scope, src);
    }

    for expression in collect_kinds(tree, &["function_expression", "generator_function", "class"]) {
        let Some(name) = expression.child_by_field_name("name") else {
            continue;
        };
        let Some(scope) = expression.child_by_field_name("body") else {
            continue;
        };
        push_ecmascript_blocking_binding(&mut bindings, name, scope, src);
    }

    let mut by_name: HashMap<String, Vec<usize>> = HashMap::new();
    for (index, binding) in bindings.iter().enumerate() {
        by_name.entry(binding.name.to_string()).or_default().push(index);
    }
    let map_intrinsic_unshadowed =
        !by_name.contains_key("Map") && !ecmascript_declares_static_name(tree, src, "Map");
    let object_intrinsic_unshadowed =
        !by_name.contains_key("Object") && !ecmascript_declares_static_name(tree, src, "Object");
    if !map_intrinsic_unshadowed {
        for binding in &mut bindings {
            if binding.finite_map == Some(EcmascriptFiniteMapKind::Map) {
                binding.finite_map = None;
            }
        }
    }
    let mut compiler_bindings = EcmascriptBindings {
        bindings,
        by_name,
        unsafe_bindings: HashSet::new(),
        object_intrinsic_unshadowed,
    };
    let declaration_identifiers: HashSet<_> = compiler_bindings
        .bindings
        .iter()
        .filter_map(|binding| {
            if binding.declaration.kind() == "variable_declarator" {
                binding
                    .declaration
                    .child_by_field_name("name")
                    .map(|name| name.id())
            } else {
                Some(binding.declaration.id())
            }
        })
        .collect();
    compiler_bindings.unsafe_bindings = collect_kinds(tree, &["identifier"])
        .into_iter()
        .filter_map(|identifier| {
            if declaration_identifiers.contains(&identifier.id()) {
                return None;
            }
            let name = node_text(&identifier, src).trim();
            let binding = compiler_bindings.resolve(name, identifier.start_byte(), identifier.end_byte())?;
            let kind = binding.finite_map?;
            (!ecmascript_identifier_is_read_only_map_use(
                identifier,
                kind,
                src,
                compiler_bindings.object_intrinsic_unshadowed,
            ))
            .then_some(binding.declaration.id())
        })
        .collect();
    compiler_bindings
}

fn push_ecmascript_blocking_binding<'tree>(
    bindings: &mut Vec<EcmascriptBinding<'tree>>,
    bound: Node<'tree>,
    scope: Node<'tree>,
    src: &'tree [u8],
) {
    let name = node_text(&bound, src).trim();
    if name.is_empty() {
        return;
    }
    bindings.push(EcmascriptBinding {
        name,
        declaration: bound,
        initializer: bound,
        scope,
        finite_map: None,
    });
}

fn ecmascript_pattern_identifiers(pattern: Node<'_>) -> Vec<Node<'_>> {
    match pattern.kind() {
        "identifier" | "shorthand_property_identifier_pattern" => vec![pattern],
        "required_parameter" | "optional_parameter" => pattern
            .child_by_field_name("pattern")
            .or_else(|| pattern.child_by_field_name("name"))
            .map(ecmascript_pattern_identifiers)
            .unwrap_or_default(),
        "assignment_pattern" => pattern
            .child_by_field_name("left")
            .map(ecmascript_pattern_identifiers)
            .unwrap_or_default(),
        "pair_pattern" => pattern
            .child_by_field_name("value")
            .map(ecmascript_pattern_identifiers)
            .unwrap_or_default(),
        "rest_pattern" => pattern
            .named_child(0)
            .map(ecmascript_pattern_identifiers)
            .unwrap_or_default(),
        "object_assignment_pattern" => pattern
            .child_by_field_name("left")
            .or_else(|| pattern.child_by_field_name("shorthand"))
            .map(ecmascript_pattern_identifiers)
            .unwrap_or_default(),
        "array_pattern" | "object_pattern" => {
            let mut cursor = pattern.walk();
            pattern
                .named_children(&mut cursor)
                .flat_map(ecmascript_pattern_identifiers)
                .collect()
        }
        _ => Vec::new(),
    }
}

fn ecmascript_declares_static_name(tree: &Tree, src: &[u8], wanted: &str) -> bool {
    collect_kinds(
        tree,
        &[
            "function_declaration",
            "class_declaration",
            "generator_function_declaration",
        ],
    )
    .into_iter()
    .any(|declaration| {
        declaration
            .child_by_field_name("name")
            .is_some_and(|name| node_text(&name, src).trim() == wanted)
    }) || collect_kinds(tree, &["import_statement"])
        .into_iter()
        .any(|import| {
            let mut stack = vec![import];
            while let Some(node) = stack.pop() {
                if matches!(node.kind(), "identifier" | "type_identifier")
                    && node_text(&node, src).trim() == wanted
                {
                    return true;
                }
                let mut cursor = node.walk();
                stack.extend(node.named_children(&mut cursor));
            }
            false
        })
}

fn ecmascript_binding_scope(mut node: Node<'_>) -> Option<Node<'_>> {
    while let Some(parent) = node.parent() {
        if matches!(
            parent.kind(),
            "for_statement"
                | "for_in_statement"
                | "for_of_statement"
                | "statement_block"
                | "switch_body"
                | "program"
        ) {
            return Some(parent);
        }
        node = parent;
    }
    None
}

fn ecmascript_finite_literal_map_kind(mut node: Node<'_>, src: &[u8]) -> Option<EcmascriptFiniteMapKind> {
    while matches!(
        node.kind(),
        "parenthesized_expression" | "as_expression" | "satisfies_expression" | "type_assertion"
    ) && node.named_child_count() >= 1
    {
        let inner = node
            .child_by_field_name("expression")
            .or_else(|| node.named_child(0))?;
        node = inner;
    }
    if node.kind() == "object" {
        let mut cursor = node.walk();
        return node
            .named_children(&mut cursor)
            .all(|child| {
                if child.kind() != "pair" {
                    return false;
                }
                child
                    .child_by_field_name("key")
                    .and_then(|key| ecmascript_static_property_name(key, src))
                    .is_some()
                    && child
                        .child_by_field_name("value")
                        .is_some_and(|value| ecmascript_is_literal_value(value, src))
            })
            .then_some(EcmascriptFiniteMapKind::Object);
    }
    if node.kind() != "new_expression" {
        return None;
    }
    let constructor = node.child_by_field_name("constructor")?;
    if constructor.kind() != "identifier" || node_text(&constructor, src).trim() != "Map" {
        return None;
    }
    let arguments = node.child_by_field_name("arguments")?;
    let mut cursor = arguments.walk();
    let values: Vec<_> = arguments.named_children(&mut cursor).collect();
    (values.len() == 1 && ecmascript_is_literal_map_entries(values[0], src))
        .then_some(EcmascriptFiniteMapKind::Map)
}

fn ecmascript_is_literal_map_entries(node: Node<'_>, src: &[u8]) -> bool {
    if node.kind() != "array" {
        return false;
    }
    let mut cursor = node.walk();
    let is_literal = node.named_children(&mut cursor).all(|entry| {
        if entry.kind() != "array" {
            return false;
        }
        let mut entry_cursor = entry.walk();
        let values: Vec<_> = entry.named_children(&mut entry_cursor).collect();
        values.len() == 2
            && ecmascript_is_literal_value(values[0], src)
            && ecmascript_is_literal_value(values[1], src)
    });
    is_literal
}

fn ecmascript_identifier_is_read_only_map_use(
    identifier: Node<'_>,
    kind: EcmascriptFiniteMapKind,
    src: &[u8],
    object_intrinsic_unshadowed: bool,
) -> bool {
    let Some(access) = identifier.parent() else {
        return object_intrinsic_unshadowed
            && ecmascript_identifier_is_safe_has_own_argument(identifier, src);
    };
    if access.child_by_field_name("object").map(|object| object.id()) != Some(identifier.id()) {
        return object_intrinsic_unshadowed
            && ecmascript_identifier_is_safe_has_own_argument(identifier, src);
    }
    if ecmascript_access_is_write_target(access) {
        return false;
    }
    if access.kind() == "subscript_expression" {
        return true;
    }
    if access.kind() != "member_expression" {
        return false;
    }
    let Some(parent) = access.parent() else {
        return true;
    };
    if parent.kind() != "call_expression"
        || parent
            .child_by_field_name("function")
            .map(|function| function.id())
            != Some(access.id())
    {
        return true;
    }
    let Some(property) = access.child_by_field_name("property") else {
        return false;
    };
    let property = node_text(&property, src).trim();
    match kind {
        EcmascriptFiniteMapKind::Map => matches!(
            property,
            "get" | "has" | "entries" | "keys" | "values" | "forEach"
        ),
        EcmascriptFiniteMapKind::Object => false,
    }
}

fn ecmascript_identifier_is_safe_has_own_argument(identifier: Node<'_>, src: &[u8]) -> bool {
    let Some(arguments) = identifier.parent().filter(|parent| parent.kind() == "arguments") else {
        return false;
    };
    let Some(first_argument) = arguments.named_child(0) else {
        return false;
    };
    if first_argument.id() != identifier.id() {
        return false;
    }
    let Some(call) = arguments
        .parent()
        .filter(|parent| parent.kind() == "call_expression")
    else {
        return false;
    };
    let Some(function) = call.child_by_field_name("function") else {
        return false;
    };
    matches!(
        ecmascript_static_member_path(function, src).as_slice(),
        ["Object", "hasOwn"] | ["Object", "prototype", "hasOwnProperty", "call"]
    )
}

fn ecmascript_static_member_path<'a>(node: Node<'_>, src: &'a [u8]) -> Vec<&'a str> {
    if matches!(node.kind(), "identifier" | "property_identifier") {
        let name = node_text(&node, src).trim();
        return (!name.is_empty()).then_some(vec![name]).unwrap_or_default();
    }
    if node.kind() != "member_expression" {
        return Vec::new();
    }
    let Some(object) = node.child_by_field_name("object") else {
        return Vec::new();
    };
    let Some(property) = node.child_by_field_name("property") else {
        return Vec::new();
    };
    let mut path = ecmascript_static_member_path(object, src);
    let property = node_text(&property, src).trim();
    if path.is_empty() || property.is_empty() {
        return Vec::new();
    }
    path.push(property);
    path
}

fn ecmascript_access_is_write_target(access: Node<'_>) -> bool {
    let Some(parent) = access.parent() else {
        return false;
    };
    match parent.kind() {
        "assignment_expression" | "augmented_assignment_expression" => parent
            .child_by_field_name("left")
            .is_some_and(|left| left.id() == access.id()),
        "update_expression" => true,
        "unary_expression" => parent
            .child(0)
            .is_some_and(|operator| operator.kind() == "delete"),
        _ => false,
    }
}

fn ecmascript_expression_is_finite_selection(
    node: Node<'_>,
    selection: Node<'_>,
    src: &[u8],
    bindings: &EcmascriptBindings<'_>,
) -> bool {
    if node.id() == selection.id() {
        return true;
    }
    if selection.start_byte() < node.start_byte() || selection.end_byte() > node.end_byte() {
        return false;
    }
    match node.kind() {
        "parenthesized_expression" | "as_expression" | "satisfies_expression" | "type_assertion" => node
            .named_child(0)
            .is_some_and(|inner| ecmascript_expression_is_finite_selection(inner, selection, src, bindings)),
        "binary_expression" => {
            let Some(left) = node.child_by_field_name("left") else {
                return false;
            };
            let Some(right) = node.child_by_field_name("right") else {
                return false;
            };
            (selection.start_byte() >= left.start_byte()
                && selection.end_byte() <= left.end_byte()
                && ecmascript_expression_is_finite_selection(left, selection, src, bindings)
                && ecmascript_is_literal_value_at(right, src, bindings))
                || (selection.start_byte() >= right.start_byte()
                    && selection.end_byte() <= right.end_byte()
                    && ecmascript_expression_is_finite_selection(right, selection, src, bindings)
                    && ecmascript_is_literal_value_at(left, src, bindings))
        }
        "ternary_expression" => {
            let Some(consequence) = node.child_by_field_name("consequence") else {
                return false;
            };
            let Some(alternative) = node.child_by_field_name("alternative") else {
                return false;
            };
            (selection.start_byte() >= consequence.start_byte()
                && selection.end_byte() <= consequence.end_byte()
                && ecmascript_expression_is_finite_selection(consequence, selection, src, bindings)
                && ecmascript_is_literal_value_at(alternative, src, bindings))
                || (selection.start_byte() >= alternative.start_byte()
                    && selection.end_byte() <= alternative.end_byte()
                    && ecmascript_expression_is_finite_selection(alternative, selection, src, bindings)
                    && ecmascript_is_literal_value_at(consequence, src, bindings))
        }
        _ => false,
    }
}

fn ecmascript_is_literal_value_at(node: Node<'_>, src: &[u8], bindings: &EcmascriptBindings<'_>) -> bool {
    if matches!(node.kind(), "identifier" | "undefined") && node_text(&node, src).trim() == "undefined" {
        return bindings
            .resolve("undefined", node.start_byte(), node.end_byte())
            .is_none();
    }
    ecmascript_is_literal_value(node, src)
}

fn ecmascript_is_literal_value(mut node: Node<'_>, src: &[u8]) -> bool {
    while matches!(
        node.kind(),
        "parenthesized_expression" | "as_expression" | "satisfies_expression" | "type_assertion"
    ) && node.named_child_count() >= 1
    {
        let Some(inner) = node
            .child_by_field_name("expression")
            .or_else(|| node.named_child(0))
        else {
            return false;
        };
        node = inner;
    }
    match node.kind() {
        "string" | "string_literal" => ecmascript_static_string_literal(node, src).is_some(),
        "number" | "true" | "false" | "null" => true,
        "array" => {
            let mut cursor = node.walk();
            let is_literal = node
                .named_children(&mut cursor)
                .all(|child| ecmascript_is_literal_value(child, src));
            is_literal
        }
        "object" => {
            let mut cursor = node.walk();
            let is_literal = node.named_children(&mut cursor).all(|child| {
                child.kind() == "pair"
                    && child
                        .child_by_field_name("key")
                        .and_then(|key| ecmascript_static_property_name(key, src))
                        .is_some()
                    && child
                        .child_by_field_name("value")
                        .is_some_and(|value| ecmascript_is_literal_value(value, src))
            });
            is_literal
        }
        _ => false,
    }
}

fn ecmascript_exact_string_map_entries(object: Node<'_>, src: &[u8]) -> Option<Vec<StaticStringMapEntry>> {
    let mut entries = Vec::new();
    let mut cursor = object.walk();
    for child in object.named_children(&mut cursor) {
        if child.kind() != "pair" {
            return None;
        }
        let key = child.child_by_field_name("key")?;
        let value = child.child_by_field_name("value")?;
        entries.push(StaticStringMapEntry {
            key: ecmascript_static_property_name(key, src)?,
            value: ecmascript_static_string_literal(value, src)?,
        });
    }
    (!entries.is_empty()).then_some(entries)
}

fn ecmascript_static_property_name(node: Node<'_>, src: &[u8]) -> Option<String> {
    ecmascript_static_string_literal(node, src).or_else(|| {
        matches!(node.kind(), "property_identifier" | "identifier")
            .then(|| node_text(&node, src).trim().to_string())
            .filter(|value| !value.is_empty())
    })
}

fn ecmascript_character_substitutions(
    defs: &[bonsai_lang_api::Decl],
    tree: &Tree,
    file: FileId,
    src: &[u8],
) -> Vec<CharacterSubstitutionFact> {
    let bindings = ecmascript_bindings(tree, src);
    let mut facts = Vec::new();
    for return_node in collect_kinds(tree, &["return_statement"]) {
        let return_span = span_of(file, &return_node);
        let Some(decl) = defs
            .iter()
            .filter(|decl| {
                matches!(
                    decl.kind,
                    DeclKind::Function | DeclKind::Method | DeclKind::Constructor
                ) && decl.span.start <= return_span.start
                    && return_span.end <= decl.span.end
            })
            .min_by_key(|decl| decl.span.len())
        else {
            continue;
        };
        let Some(expression) = return_node.named_child(0) else {
            continue;
        };
        let Some((input_param_index, table, exact_mappings, domain, transform_span)) =
            ecmascript_character_substitution(expression, &decl.params, &bindings, file, src)
        else {
            continue;
        };
        facts.push(CharacterSubstitutionFact {
            function_span: decl.span,
            transform_span,
            input_param_index,
            exact_mappings,
            table,
            domain,
        });
    }
    // Expression-bodied arrows have no `return_statement`, but their body is
    // the function's sole return path by language definition.
    for arrow in collect_kinds(tree, &["arrow_function"]) {
        let Some(body) = arrow.child_by_field_name("body") else {
            continue;
        };
        if body.kind() == "statement_block" {
            continue;
        }
        let arrow_span = span_of(file, &arrow);
        let Some(decl) = defs
            .iter()
            .filter(|decl| {
                matches!(decl.kind, DeclKind::Function | DeclKind::Method)
                    && decl.span.start <= arrow_span.start
                    && arrow_span.end <= decl.span.end
            })
            .min_by_key(|decl| decl.span.len())
        else {
            continue;
        };
        let Some((input_param_index, table, exact_mappings, domain, transform_span)) =
            ecmascript_character_substitution(body, &decl.params, &bindings, file, src)
        else {
            continue;
        };
        facts.push(CharacterSubstitutionFact {
            function_span: decl.span,
            transform_span,
            input_param_index,
            exact_mappings,
            table,
            domain,
        });
    }
    facts.sort_by_key(|fact| (fact.function_span.start, fact.transform_span.start));
    facts.dedup();
    facts
}

fn ecmascript_character_substitution(
    expression: Node<'_>,
    params: &[String],
    bindings: &EcmascriptBindings<'_>,
    file: FileId,
    src: &[u8],
) -> Option<(
    usize,
    String,
    Vec<StaticStringMapEntry>,
    CharacterSubstitutionDomain,
    bonsai_common::Span,
)> {
    if let Some((input_param_index, mappings, characters, transform_span)) =
        ecmascript_inline_replace_chain(expression, params, bindings, file, src)
    {
        return Some((
            input_param_index,
            String::new(),
            mappings,
            CharacterSubstitutionDomain::ExactCharacters { characters },
            transform_span,
        ));
    }
    let call = unwrap_ecmascript_expression(expression);
    if call.kind() != "call_expression" {
        return None;
    }
    let function = call.child_by_field_name("function")?;
    if function.kind() != "member_expression" {
        return None;
    }
    let receiver = function.child_by_field_name("object")?;
    let method = function.child_by_field_name("property")?;
    let method = node_text(&method, src).trim();
    let arguments = ecmascript_call_arguments(call);

    if method == "replace" {
        let input_param_index = ecmascript_transform_input_param_index(receiver, params, bindings, src)?;
        let pattern = arguments.first().copied()?;
        let callback = arguments.get(1).copied()?;
        let characters = ecmascript_exact_regex_characters(pattern, src)?;
        if let Some((table, callback_parameter)) = ecmascript_map_lookup_callback(callback, src) {
            if callback_parameter.is_empty() {
                return None;
            }
            return Some((
                input_param_index,
                table,
                Vec::new(),
                CharacterSubstitutionDomain::ExactCharacters { characters },
                span_of(file, &call),
            ));
        }
        let exact_mappings = ecmascript_numeric_hex_escape_mappings(callback, &characters, src)?;
        return Some((
            input_param_index,
            String::new(),
            exact_mappings,
            CharacterSubstitutionDomain::ExactCharacters { characters },
            span_of(file, &call),
        ));
    }

    if method != "join" || receiver.kind() != "call_expression" {
        return None;
    }
    let join_separator = arguments.first().copied()?;
    if ecmascript_static_string_literal(join_separator, src).as_deref() != Some("") {
        return None;
    }
    let map_function = receiver.child_by_field_name("function")?;
    if map_function.kind() != "member_expression"
        || map_function
            .child_by_field_name("property")
            .map(|property| node_text(&property, src).trim() == "map")
            != Some(true)
    {
        return None;
    }
    let iterated = map_function.child_by_field_name("object")?;
    let input = ecmascript_spread_only_array_input(iterated, src)?;
    let input_param_index = params.iter().position(|param| param == input)?;
    let callback = ecmascript_call_arguments(receiver).first().copied()?;
    let (table, callback_parameter) = ecmascript_identity_fallback_map_callback(callback, src)?;
    if callback_parameter.is_empty() {
        return None;
    }
    Some((
        input_param_index,
        table,
        Vec::new(),
        CharacterSubstitutionDomain::TableKeysWithIdentityFallback,
        span_of(file, &call),
    ))
}

fn ecmascript_inline_replace_chain(
    expression: Node<'_>,
    params: &[String],
    bindings: &EcmascriptBindings<'_>,
    file: FileId,
    src: &[u8],
) -> Option<(usize, Vec<StaticStringMapEntry>, Vec<String>, bonsai_common::Span)> {
    let transform_span = span_of(file, &expression);
    let mut current = unwrap_ecmascript_expression(expression);
    let mut mappings = Vec::new();
    let mut characters = Vec::new();
    while current.kind() == "call_expression" {
        let function = current.child_by_field_name("function")?;
        if function.kind() != "member_expression" {
            break;
        }
        let receiver = function.child_by_field_name("object")?;
        let method = function.child_by_field_name("property")?;
        if node_text(&method, src).trim() != "replace" {
            break;
        }
        let args = ecmascript_call_arguments(current);
        let [pattern, replacement] = args.as_slice() else {
            return None;
        };
        let replaced = ecmascript_global_regex_characters(*pattern, bindings, src)?;
        let replacement = ecmascript_static_string_literal(*replacement, src)?;
        for input in replaced {
            let output = ecmascript_expand_static_replacement(&replacement, &input)?;
            if mappings
                .iter()
                .any(|entry: &StaticStringMapEntry| entry.key == input && entry.value != output)
            {
                return None;
            }
            if !mappings.iter().any(|entry| entry.key == input) {
                characters.push(input.clone());
                mappings.push(StaticStringMapEntry {
                    key: input,
                    value: output.clone(),
                });
            }
        }
        current = unwrap_ecmascript_expression(receiver);
    }
    if mappings.is_empty() {
        return None;
    }
    let input = if current.kind() == "identifier" {
        node_text(&current, src).trim()
    } else if current.kind() == "call_expression" {
        let function = current.child_by_field_name("function")?;
        if function.kind() != "identifier"
            || node_text(&function, src).trim() != "String"
            || bindings
                .resolve("String", function.start_byte(), function.end_byte())
                .is_some()
        {
            return None;
        }
        let args = ecmascript_call_arguments(current);
        let [input] = args.as_slice() else {
            return None;
        };
        if input.kind() != "identifier" {
            return None;
        }
        node_text(input, src).trim()
    } else {
        return None;
    };
    let input_param_index = params.iter().position(|param| param == input)?;
    characters.sort();
    characters.dedup();
    mappings.sort_by(|left, right| left.key.cmp(&right.key));
    Some((input_param_index, mappings, characters, transform_span))
}

fn ecmascript_transform_input_param_index(
    receiver: Node<'_>,
    params: &[String],
    bindings: &EcmascriptBindings<'_>,
    src: &[u8],
) -> Option<usize> {
    let receiver = unwrap_ecmascript_expression(receiver);
    if receiver.kind() == "identifier" {
        let input = node_text(&receiver, src).trim();
        return params.iter().position(|parameter| parameter == input);
    }
    if receiver.kind() != "call_expression" {
        return None;
    }
    let function = receiver.child_by_field_name("function")?;
    if function.kind() != "identifier"
        || node_text(&function, src).trim() != "String"
        || bindings
            .resolve("String", function.start_byte(), function.end_byte())
            .is_some()
    {
        return None;
    }
    let args = ecmascript_call_arguments(receiver);
    let [input] = args.as_slice() else {
        return None;
    };
    if input.kind() != "identifier" {
        return None;
    }
    let input = node_text(input, src).trim();
    params.iter().position(|parameter| parameter == input)
}

/// Apply the context-free subset of ECMAScript replacement-string runtime
/// semantics. `$&` denotes the complete matched scalar and `$$` denotes a
/// literal dollar. Prefix/suffix and capture substitutions depend on dynamic
/// match context, so those forms fail closed.
fn ecmascript_expand_static_replacement(template: &str, matched: &str) -> Option<String> {
    let mut out = String::new();
    let mut input = template.chars().peekable();
    while let Some(character) = input.next() {
        if character != '$' {
            out.push(character);
            continue;
        }
        match input.next() {
            Some('$') => out.push('$'),
            Some('&') => out.push_str(matched),
            Some('`' | '\'' | '0'..='9' | '<') => return None,
            Some(other) => {
                // ECMAScript preserves an unrecognized `$x` sequence.
                out.push('$');
                out.push(other);
            }
            None => out.push('$'),
        }
    }
    Some(out)
}

fn ecmascript_global_regex_characters<'tree>(
    mut regex: Node<'tree>,
    bindings: &EcmascriptBindings<'tree>,
    src: &[u8],
) -> Option<Vec<String>> {
    if regex.kind() == "identifier" {
        let name = node_text(&regex, src).trim();
        let binding = bindings.resolve(name, regex.start_byte(), regex.end_byte())?;
        if binding.declaration.kind() != "variable_declarator"
            || binding
                .declaration
                .child_by_field_name("name")
                .is_none_or(|target| target.kind() != "identifier")
            || binding
                .declaration
                .parent()
                .filter(|declaration| declaration.kind() == "lexical_declaration")
                .and_then(|declaration| declaration.child(0))
                .is_none_or(|keyword| keyword.kind() != "const")
        {
            return None;
        }
        regex = binding.initializer;
    }
    if regex.kind() != "regex" {
        return None;
    }
    let flags = regex
        .child_by_field_name("flags")
        .map(|node| node_text(&node, src).trim())
        .or_else(|| node_text(&regex, src).rsplit_once('/').map(|(_, flags)| flags))?;
    if !flags.contains('g') {
        return None;
    }
    let pattern = regex.child_by_field_name("pattern")?;
    let pattern_text = node_text(&pattern, src);
    if let Some(characters) = ecmascript_exact_regex_characters(regex, src) {
        return Some(characters);
    }
    let mut chars = pattern_text.chars();
    let character = match chars.next()? {
        '\\' => match chars.next()? {
            'r' => '\r',
            'n' => '\n',
            't' => '\t',
            escaped if !escaped.is_ascii_alphanumeric() => escaped,
            _ => return None,
        },
        character if !".^$*+?()[]{}|".contains(character) => character,
        _ => return None,
    };
    chars.next().is_none().then(|| vec![character.to_string()])
}

fn unwrap_ecmascript_expression(mut node: Node<'_>) -> Node<'_> {
    loop {
        if matches!(node.kind(), "parenthesized_expression" | "expression") && node.named_child_count() == 1 {
            node = node.named_child(0).expect("single named child");
            continue;
        }
        if matches!(node.kind(), "as_expression" | "type_assertion") {
            let Some(value) = node.named_child(0) else {
                break;
            };
            node = value;
            continue;
        }
        break;
    }
    node
}

fn ecmascript_call_arguments(call: Node<'_>) -> Vec<Node<'_>> {
    let Some(arguments) = call.child_by_field_name("arguments") else {
        return Vec::new();
    };
    let mut cursor = arguments.walk();
    arguments.named_children(&mut cursor).collect()
}

fn ecmascript_spread_only_array_input<'a>(array: Node<'a>, src: &'a [u8]) -> Option<&'a str> {
    if array.kind() != "array" || array.named_child_count() != 1 {
        return None;
    }
    let spread = array.named_child(0)?;
    if spread.kind() != "spread_element" {
        return None;
    }
    let argument = spread.named_child(0)?;
    (argument.kind() == "identifier").then(|| node_text(&argument, src).trim())
}

fn ecmascript_map_lookup_callback(callback: Node<'_>, src: &[u8]) -> Option<(String, String)> {
    let (parameter, body) = ecmascript_arrow_parts(callback, src)?;
    let (table, key) = ecmascript_subscript_parts(body, src)?;
    (key == parameter).then_some((table.to_string(), parameter.to_string()))
}

/// Prove an expression-bodied replacement callback of the form
/// `prefix + c.charCodeAt(0).toString(16).padStart(width, fill)` and evaluate
/// it for the regex's finite compiler-decoded input alphabet.
fn ecmascript_numeric_hex_escape_mappings(
    callback: Node<'_>,
    characters: &[String],
    src: &[u8],
) -> Option<Vec<StaticStringMapEntry>> {
    let (parameter, body) = ecmascript_arrow_parts(callback, src)?;
    let body = unwrap_ecmascript_expression(body);
    if body.kind() != "binary_expression" {
        return None;
    }
    let left = body.child_by_field_name("left")?;
    let right = body.child_by_field_name("right")?;
    if src
        .get(left.end_byte()..right.start_byte())
        .and_then(|bytes| std::str::from_utf8(bytes).ok())
        .map(str::trim)
        != Some("+")
    {
        return None;
    }
    let prefix = ecmascript_static_string_literal(left, src)?;
    let (pad_receiver, pad_method, pad_args) = ecmascript_nested_member_call(right, src)?;
    if pad_method != "padStart" || pad_args.len() != 2 {
        return None;
    }
    let width = ecmascript_static_usize(pad_args[0], src)?;
    let fill = ecmascript_static_string_literal(pad_args[1], src)?;
    if width == 0 || fill.is_empty() {
        return None;
    }
    let (string_receiver, string_method, string_args) = ecmascript_nested_member_call(pad_receiver, src)?;
    if string_method != "toString"
        || string_args.len() != 1
        || ecmascript_static_usize(string_args[0], src)? != 16
    {
        return None;
    }
    let (code_receiver, code_method, code_args) = ecmascript_nested_member_call(string_receiver, src)?;
    if code_method != "charCodeAt"
        || code_args.len() != 1
        || ecmascript_static_usize(code_args[0], src)? != 0
        || code_receiver.kind() != "identifier"
        || node_text(&code_receiver, src).trim() != parameter
    {
        return None;
    }

    characters
        .iter()
        .map(|input| {
            let mut utf16 = input.encode_utf16();
            let code = utf16.next()?;
            if utf16.next().is_some() {
                return None;
            }
            let digits = format!("{code:x}");
            let padding = width.saturating_sub(digits.chars().count());
            let mut encoded = String::with_capacity(prefix.len() + padding * fill.len() + digits.len());
            encoded.push_str(&prefix);
            for _ in 0..padding {
                encoded.push_str(&fill);
            }
            encoded.push_str(&digits);
            Some(StaticStringMapEntry {
                key: input.clone(),
                value: encoded,
            })
        })
        .collect()
}

fn ecmascript_nested_member_call<'tree>(
    call: Node<'tree>,
    src: &[u8],
) -> Option<(Node<'tree>, String, Vec<Node<'tree>>)> {
    let call = unwrap_ecmascript_expression(call);
    if call.kind() != "call_expression" {
        return None;
    }
    let function = call.child_by_field_name("function")?;
    if function.kind() != "member_expression" {
        return None;
    }
    let object = function.child_by_field_name("object")?;
    let property = function.child_by_field_name("property")?;
    let method = node_text(&property, src).trim().to_string();
    (!method.is_empty()).then(|| (object, method, ecmascript_call_arguments(call)))
}

fn ecmascript_static_usize(node: Node<'_>, src: &[u8]) -> Option<usize> {
    (node.kind() == "number")
        .then(|| node_text(&node, src).trim().parse().ok())
        .flatten()
}

fn ecmascript_identity_fallback_map_callback(callback: Node<'_>, src: &[u8]) -> Option<(String, String)> {
    let (parameter, body) = ecmascript_arrow_parts(callback, src)?;
    if body.kind() != "binary_expression" {
        return None;
    }
    let left = body.child_by_field_name("left")?;
    let right = body.child_by_field_name("right")?;
    if src
        .get(left.end_byte()..right.start_byte())
        .and_then(|bytes| std::str::from_utf8(bytes).ok())
        .map(str::trim)
        != Some("??")
        || node_text(&right, src).trim() != parameter
    {
        return None;
    }
    let (table, key) = ecmascript_subscript_parts(left, src)?;
    (key == parameter).then_some((table.to_string(), parameter.to_string()))
}

fn ecmascript_arrow_parts<'a>(arrow: Node<'a>, src: &'a [u8]) -> Option<(&'a str, Node<'a>)> {
    if arrow.kind() != "arrow_function" {
        return None;
    }
    let parameter_node = arrow
        .child_by_field_name("parameter")
        .or_else(|| arrow.child_by_field_name("parameters"))?;
    let parameter = if parameter_node.kind() == "identifier" {
        parameter_node
    } else {
        let mut stack = vec![parameter_node];
        let mut found = None;
        while let Some(node) = stack.pop() {
            if node.kind() == "identifier" {
                found = Some(node);
                break;
            }
            let mut cursor = node.walk();
            stack.extend(node.named_children(&mut cursor));
        }
        found?
    };
    let body = arrow.child_by_field_name("body")?;
    Some((node_text(&parameter, src).trim(), body))
}

fn ecmascript_subscript_parts<'a>(subscript: Node<'a>, src: &'a [u8]) -> Option<(&'a str, &'a str)> {
    if subscript.kind() != "subscript_expression" {
        return None;
    }
    let object = subscript.child_by_field_name("object")?;
    let index = subscript.child_by_field_name("index")?;
    if object.kind() != "identifier" || index.kind() != "identifier" {
        return None;
    }
    Some((node_text(&object, src).trim(), node_text(&index, src).trim()))
}

fn ecmascript_exact_regex_characters(regex: Node<'_>, src: &[u8]) -> Option<Vec<String>> {
    if regex.kind() != "regex" {
        return None;
    }
    let pattern = regex.child_by_field_name("pattern")?;
    let pattern = node_text(&pattern, src);
    let inner = pattern.strip_prefix('[')?.strip_suffix(']')?;
    if inner.starts_with('^') || inner.is_empty() {
        return None;
    }
    let mut characters = Vec::new();
    let mut chars = inner.chars();
    while let Some(character) = chars.next() {
        if character == '-' {
            return None;
        }
        let decoded = if character == '\\' {
            match chars.next()? {
                'r' => '\r',
                'n' => '\n',
                't' => '\t',
                '0' => '\0',
                'x' => {
                    let digits = [chars.next()?, chars.next()?].into_iter().collect::<String>();
                    char::from_u32(u32::from_str_radix(&digits, 16).ok()?)?
                }
                'u' => {
                    let digits = [chars.next()?, chars.next()?, chars.next()?, chars.next()?]
                        .into_iter()
                        .collect::<String>();
                    char::from_u32(u32::from_str_radix(&digits, 16).ok()?)?
                }
                escaped if !escaped.is_ascii_alphanumeric() => escaped,
                _ => return None,
            }
        } else {
            character
        };
        characters.push(decoded.to_string());
    }
    characters.sort();
    characters.dedup();
    Some(characters)
}

fn lower_ecmascript_condition_expression(
    node: Node<'_>,
    file: FileId,
    src: &[u8],
) -> ConditionExpressionFact {
    if node.kind() == "parenthesized_expression" {
        if let Some(inner) = node.named_child(0) {
            return lower_ecmascript_condition_expression(inner, file, src);
        }
    }

    let span = span_of(file, &node);
    if node.kind() == "unary_expression" {
        if let Some(operand) = node
            .child_by_field_name("argument")
            .or_else(|| node.named_child(0))
        {
            let prefix = src
                .get(node.start_byte()..operand.start_byte())
                .and_then(|bytes| std::str::from_utf8(bytes).ok())
                .map(str::trim);
            if prefix == Some("!") {
                return ConditionExpressionFact::Not {
                    span,
                    operand: Box::new(lower_ecmascript_condition_expression(operand, file, src)),
                };
            }
        }
    }

    if node.kind() == "binary_expression" {
        if let (Some(left), Some(right)) = (
            node.child_by_field_name("left"),
            node.child_by_field_name("right"),
        ) {
            let operator = src
                .get(left.end_byte()..right.start_byte())
                .and_then(|bytes| std::str::from_utf8(bytes).ok())
                .map(str::trim);
            match operator {
                Some("||") => {
                    return merge_ecmascript_condition_junction(
                        span,
                        lower_ecmascript_condition_expression(left, file, src),
                        lower_ecmascript_condition_expression(right, file, src),
                        false,
                    );
                }
                Some("&&") => {
                    return merge_ecmascript_condition_junction(
                        span,
                        lower_ecmascript_condition_expression(left, file, src),
                        lower_ecmascript_condition_expression(right, file, src),
                        true,
                    );
                }
                Some("==" | "===" | "!=" | "!==") => {
                    if let Some((subject, type_name)) = ecmascript_type_test_operands(left, right, file, src)
                        .or_else(|| ecmascript_type_test_operands(right, left, file, src))
                    {
                        let type_test = ConditionExpressionFact::TypeTest {
                            span,
                            subject,
                            type_name,
                        };
                        return if matches!(operator, Some("==" | "===")) {
                            type_test
                        } else {
                            ConditionExpressionFact::Not {
                                span,
                                operand: Box::new(type_test),
                            }
                        };
                    }
                    let relation = if matches!(operator, Some("==" | "===")) {
                        ConditionEquality::Equal
                    } else {
                        ConditionEquality::NotEqual
                    };
                    return ConditionExpressionFact::Equality {
                        span,
                        relation,
                        left: ecmascript_condition_operand(left, file, src),
                        right: ecmascript_condition_operand(right, file, src),
                    };
                }
                _ => {}
            }
        }
    }

    ConditionExpressionFact::Atom { span }
}

fn ecmascript_type_test_operands(
    type_query: Node<'_>,
    type_literal: Node<'_>,
    file: FileId,
    src: &[u8],
) -> Option<(ConditionOperandFact, String)> {
    if type_query.kind() != "unary_expression" {
        return None;
    }
    let subject = type_query
        .child_by_field_name("argument")
        .or_else(|| type_query.named_child(0))?;
    let operator = src
        .get(type_query.start_byte()..subject.start_byte())
        .and_then(|bytes| std::str::from_utf8(bytes).ok())?
        .trim();
    if operator != "typeof" {
        return None;
    }
    let type_name = ecmascript_static_string_literal(type_literal, src)?;
    Some((ecmascript_condition_operand(subject, file, src), type_name))
}

fn merge_ecmascript_condition_junction(
    span: bonsai_common::Span,
    left: ConditionExpressionFact,
    right: ConditionExpressionFact,
    all: bool,
) -> ConditionExpressionFact {
    let mut operands = Vec::new();
    let mut push = |operand: ConditionExpressionFact| match (all, operand) {
        (true, ConditionExpressionFact::All { operands: nested, .. })
        | (false, ConditionExpressionFact::Any { operands: nested, .. }) => operands.extend(nested),
        (_, operand) => operands.push(operand),
    };
    push(left);
    push(right);
    if all {
        ConditionExpressionFact::All { span, operands }
    } else {
        ConditionExpressionFact::Any { span, operands }
    }
}

fn ecmascript_condition_operand(node: Node<'_>, file: FileId, src: &[u8]) -> ConditionOperandFact {
    ConditionOperandFact {
        span: span_of(file, &node),
        value_flow: bonsai_lang_api::kit::expression_flow_from_node_with_handler(node, file, src, &HANDLER),
        static_string: ecmascript_static_string_literal(node, src),
        static_value: ecmascript_static_scalar(node, src),
    }
}

fn ecmascript_static_string_literal(node: Node<'_>, src: &[u8]) -> Option<String> {
    if !matches!(node.kind(), "string" | "string_literal") {
        return None;
    }
    let text = node_text(&node, src);
    let quote = text.as_bytes().first().copied()?;
    if !matches!(quote, b'\'' | b'"') || text.as_bytes().last().copied() != Some(quote) {
        return None;
    }
    let inner = text.get(1..text.len().checked_sub(1)?)?;
    decode_ecmascript_string_contents(inner, quote as char)
}

fn ecmascript_static_scalar(node: Node<'_>, src: &[u8]) -> Option<StaticScalarValue> {
    match node.kind() {
        "true" => Some(StaticScalarValue::Boolean(true)),
        "false" => Some(StaticScalarValue::Boolean(false)),
        "null" => Some(StaticScalarValue::Null),
        "string" | "string_literal" => Some(StaticScalarValue::String(ecmascript_static_string_literal(
            node, src,
        )?)),
        _ => None,
    }
}

pub fn ecmascript_static_subscript_key(node: Node<'_>, src: &[u8]) -> Option<String> {
    match ecmascript_static_scalar(node, src)? {
        StaticScalarValue::String(value) => Some(value),
        StaticScalarValue::Boolean(_) | StaticScalarValue::Null => None,
    }
}

fn decode_ecmascript_string_contents(inner: &str, quote: char) -> Option<String> {
    let mut output = String::new();
    let mut chars = inner.chars().peekable();
    while let Some(character) = chars.next() {
        if character != '\\' {
            if matches!(character, '\r' | '\n') {
                return None;
            }
            output.push(character);
            continue;
        }
        let escaped = chars.next()?;
        match escaped {
            '\\' => output.push('\\'),
            '\'' if quote == '\'' => output.push('\''),
            '"' if quote == '"' => output.push('"'),
            '`' if quote == '`' => output.push('`'),
            '/' => output.push('/'),
            'b' => output.push('\u{0008}'),
            'f' => output.push('\u{000c}'),
            'n' => output.push('\n'),
            'r' => output.push('\r'),
            't' => output.push('\t'),
            'v' => output.push('\u{000b}'),
            '0' if !chars.peek().is_some_and(char::is_ascii_digit) => output.push('\0'),
            'x' => output.push(decode_ecmascript_hex(&mut chars, 2)?),
            'u' => {
                if chars.peek() == Some(&'{') {
                    chars.next();
                    let mut digits = String::new();
                    for digit in chars.by_ref() {
                        if digit == '}' {
                            break;
                        }
                        if !digit.is_ascii_hexdigit() || digits.len() == 6 {
                            return None;
                        }
                        digits.push(digit);
                    }
                    if digits.is_empty() {
                        return None;
                    }
                    output.push(char::from_u32(u32::from_str_radix(&digits, 16).ok()?)?);
                } else {
                    output.push(decode_ecmascript_hex(&mut chars, 4)?);
                }
            }
            '\n' => {}
            '\r' => {
                if chars.peek() == Some(&'\n') {
                    chars.next();
                }
            }
            // ECMAScript identity escapes decode to the escaped code point.
            // Decimal/octal escapes are context-sensitive and deliberately
            // remain unknown.
            other if !other.is_ascii_digit() => output.push(other),
            _ => return None,
        }
    }
    Some(output)
}

fn decode_ecmascript_hex(
    chars: &mut std::iter::Peekable<impl Iterator<Item = char>>,
    digits: usize,
) -> Option<char> {
    let mut value = 0_u32;
    for _ in 0..digits {
        value = value.checked_mul(16)?;
        value = value.checked_add(chars.next()?.to_digit(16)?)?;
    }
    char::from_u32(value)
}

/// Type locals initialized by an ECMAScript array literal from the CST. This
/// supplies the same semantic fact a compiler obtains from `const xs = []`;
/// external standard-library summaries can then require an `Array` receiver
/// instead of matching a method spelling on arbitrary user objects.
fn apply_javascript_array_literal_types(index: &mut DeclIndex, tree: &Tree, src: &[u8], file: FileId) {
    let mut bindings = Vec::new();
    for declarator in collect_kinds(tree, &["variable_declarator"]) {
        let Some(name_node) = declarator.child_by_field_name("name") else {
            continue;
        };
        let Some(value_node) = declarator.child_by_field_name("value") else {
            continue;
        };
        if value_node.kind() != "array" || name_node.kind() != "identifier" {
            continue;
        }
        let name = node_text(&name_node, src).trim();
        if !name.is_empty() {
            bindings.push((span_of(file, &declarator), name.to_string()));
        }
    }
    for (span, name) in bindings {
        let owner = index
            .defs
            .iter()
            .enumerate()
            .filter(|(_, decl)| {
                matches!(
                    decl.kind,
                    DeclKind::Function | DeclKind::Method | DeclKind::Constructor
                ) && decl.span.file == span.file
                    && decl.span.start <= span.start
                    && span.end <= decl.span.end
            })
            .min_by_key(|(_, decl)| decl.span.len())
            .map(|(idx, _)| idx);
        let Some(owner) = owner else { continue };
        let binding = TypeAliasBinding {
            name,
            type_name: "Array".to_string(),
        };
        if !index.defs[owner].type_aliases.contains(&binding) {
            index.defs[owner].type_aliases.push(binding);
        }
    }
}

/// Combine ES-module `import` statements with CommonJS `require(...)` calls.
fn parse_imports(tree: &Tree, src: &[u8], file: FileId) -> Vec<ImportSpec> {
    let mut import_specs = js_ts_imports(file, tree, src);
    import_specs.extend(js_ts_require_calls(file, tree, src));
    import_specs
}

/// Shared ES-module import parser used by both the JavaScript and
/// TypeScript adapters. Handles:
///   `import x from "y"`             — default import
///   `import { a, b as c } from "z"` — named imports + alias
///   `import * as ns from "n"`       — namespace import
pub fn js_ts_imports(file: FileId, tree: &tree_sitter::Tree, src: &[u8]) -> Vec<ImportSpec> {
    let mut imports = Vec::new();
    for import_node in collect_kinds(tree, &["import_statement"]) {
        let Some(source) = import_node.child_by_field_name("source") else {
            continue;
        };
        // Prefer the inner `string_fragment` to avoid quote characters in the module path.
        let module = first_named_child_of_kind(&source, "string_fragment")
            .map(|fragment| node_text(&fragment, src).to_string())
            .unwrap_or_else(|| {
                // Older grammars expose the literal directly — strip surrounding quotes.
                node_text(&source, src)
                    .trim_matches(|c: char| matches!(c, '"' | '\''))
                    .to_string()
            });
        let module = normalize_node_builtin_scheme(&module);
        if module.is_empty() {
            continue;
        }
        // We split each import statement into multiple `ImportSpec` rows so the
        // resolver / security matcher can rewrite call sites accurately:
        //   - Module-scope base entry covers the statement itself.
        //   - `{ a as b }` renames become Module-scope (the alias `b` is a
        //     distinct local binding worth surfacing in `imports` browse).
        //   - Shorthand `{ a }` becomes Local-scope so bare `a(...)` expands
        //     to `module.a` while default browse hides it.
        let import_clause = first_named_child_of_kind(&import_node, "import_clause");
        let mut module_alias: Option<String> = None;
        let mut default_alias: Option<String> = None;
        let mut is_wildcard = false;
        let mut renames: Vec<(String, String)> = Vec::new();
        let mut shorthands: Vec<String> = Vec::new();
        if let Some(import_clause) = import_clause {
            let mut clause_cursor = import_clause.walk();
            for clause_child in import_clause.named_children(&mut clause_cursor) {
                match clause_child.kind() {
                    "identifier" => {
                        // Default import: `import Foo from "..."`.
                        default_alias = Some(node_text(&clause_child, src).to_string());
                    }
                    "namespace_import" => {
                        // `import * as ns from "..."` — single binding bound to the whole module.
                        module_alias = first_named_child_of_kind(&clause_child, "identifier")
                            .map(|ident| node_text(&ident, src).to_string());
                        is_wildcard = true;
                    }
                    "named_imports" => {
                        let mut named_cursor = clause_child.walk();
                        for specifier in clause_child.named_children(&mut named_cursor) {
                            if specifier.kind() != "import_specifier" {
                                continue;
                            }
                            let original_name = specifier
                                .child_by_field_name("name")
                                .map(|name_node| node_text(&name_node, src).to_string());
                            let local_alias = specifier
                                .child_by_field_name("alias")
                                .map(|alias_node| node_text(&alias_node, src).to_string());
                            match (original_name, local_alias) {
                                // `{ a as b }` — distinct local binding `b`.
                                (Some(orig), Some(local)) => renames.push((orig, local)),
                                // `{ a }` — local name matches the export name.
                                (Some(orig), None) => shorthands.push(orig),
                                _ => {}
                            }
                        }
                    }
                    _ => {}
                }
            }
        }
        imports.push(ImportSpec {
            span: span_of(file, &import_node),
            module: module.clone(),
            alias: module_alias,
            is_wildcard,
            original_name: None,
            scope: ImportScope::Module,
        });
        if let Some(default_alias) = default_alias.filter(|alias| !alias.is_empty()) {
            imports.push(ImportSpec {
                span: span_of(file, &import_node),
                module: module.clone(),
                alias: Some(default_alias),
                is_wildcard: false,
                original_name: Some("default".to_string()),
                scope: ImportScope::Module,
            });
        }
        for (original_name, local_alias) in renames {
            imports.push(ImportSpec {
                span: span_of(file, &import_node),
                module: module.clone(),
                alias: Some(local_alias),
                is_wildcard: false,
                original_name: Some(original_name),
                scope: ImportScope::Module,
            });
        }
        for shorthand_name in shorthands {
            imports.push(ImportSpec {
                span: span_of(file, &import_node),
                module: module.clone(),
                alias: Some(shorthand_name.clone()),
                is_wildcard: false,
                original_name: Some(shorthand_name),
                scope: ImportScope::Local,
            });
        }
    }
    imports
}

/// Surface ECMAScript `export default` and CommonJS
/// `module.exports = function ...` as an additional callable/type
/// binding named `default` in the exporting module. The original
/// declaration remains indexed by its real local name, so same-file
/// references still resolve while default imports / callable
/// CommonJS requires can target the language-level export name.
pub fn apply_js_ts_default_export_aliases(decl_index: &mut DeclIndex, tree: &Tree, src: &[u8], file: FileId) {
    let mut default_exports = Vec::new();
    for export_node in collect_kinds(tree, &["export_statement"]) {
        if !export_statement_has_default_modifier(export_node) {
            continue;
        }
        let target = export_node
            .child_by_field_name("declaration")
            .or_else(|| export_node.child_by_field_name("value"));
        let Some(target) = target else {
            continue;
        };
        if target.kind() == "identifier" {
            let name = node_text(&target, src).to_string();
            if !name.is_empty() {
                default_exports.push(DefaultExportTarget::Name(name));
            }
        } else {
            default_exports.push(DefaultExportTarget::Span(span_of(file, &target)));
        }
    }
    for assignment in collect_kinds(tree, &["assignment_expression"]) {
        let left = assignment.child_by_field_name("left");
        let right = assignment.child_by_field_name("right");
        let (Some(left), Some(right)) = (left, right) else {
            continue;
        };
        if node_text(&left, src).trim() != "module.exports" {
            continue;
        }
        if right.kind() == "identifier" {
            let name = node_text(&right, src).trim();
            if !name.is_empty() {
                default_exports.push(DefaultExportTarget::Name(name.to_string()));
            }
            continue;
        }
        default_exports.push(DefaultExportTarget::Span(span_of(file, &right)));
        if let Some(name_node) = right.child_by_field_name("name") {
            let name = node_text(&name_node, src).trim();
            if !name.is_empty() {
                default_exports.push(DefaultExportTarget::Name(name.to_string()));
            }
        }
    }
    if default_exports.is_empty() || decl_index.defs.iter().any(|decl| decl.name == "default") {
        return;
    }

    let mut next_symbol = decl_index
        .defs
        .iter()
        .map(|decl| decl.symbol.raw())
        .max()
        .map_or(0, |raw| raw.saturating_add(1));
    let mut aliases = Vec::new();
    let mut seen_sources = Vec::new();
    for target in default_exports {
        let Some(source) = decl_index
            .defs
            .iter()
            .filter(|decl| {
                matches!(
                    decl.kind,
                    bonsai_lang_api::DeclKind::Function
                        | bonsai_lang_api::DeclKind::Method
                        | bonsai_lang_api::DeclKind::Constructor
                        | bonsai_lang_api::DeclKind::Class
                )
            })
            .find(|decl| match &target {
                DefaultExportTarget::Span(span) => decl.span == *span,
                DefaultExportTarget::Name(name) => decl.name == *name,
            })
        else {
            continue;
        };
        if seen_sources.contains(&source.symbol) {
            continue;
        }
        seen_sources.push(source.symbol);
        let mut alias = source.clone();
        alias.symbol = SymbolId::new(next_symbol);
        next_symbol = next_symbol.saturating_add(1);
        alias.name = "default".to_string();
        alias.qualified_name = if alias.module_path.is_empty() {
            Some("default".to_string())
        } else {
            Some(format!("{}.default", alias.module_path.segments.join(".")))
        };
        aliases.push(alias);
    }
    decl_index.defs.extend(aliases);
}

/// Surface JS/TS named exports under their public export member name
/// when it differs from the local implementation name:
///
/// - `exports.name = function localName(...) { ... }`
/// - `module.exports.name = function localName(...) { ... }`
/// - `module.exports = { name: localName }`
/// - `export { localName as name }`
///
/// The shared declaration walker owns duplicate suppression for
/// same-name function expressions, so this only adds real export
/// aliases. Without these aliases, cross-file import/require calls
/// resolve only when the public export name happens to equal the local
/// function name.
pub fn apply_js_ts_commonjs_named_export_aliases(
    decl_index: &mut DeclIndex,
    tree: &Tree,
    src: &[u8],
    file: FileId,
) {
    let mut aliases = Vec::new();
    let mut next_symbol = decl_index
        .defs
        .iter()
        .map(|decl| decl.symbol.raw())
        .max()
        .map_or(0, |raw| raw.saturating_add(1));
    for assignment in collect_kinds(tree, &["assignment_expression"]) {
        let left = assignment.child_by_field_name("left");
        let right = assignment.child_by_field_name("right");
        let (Some(left), Some(right)) = (left, right) else {
            continue;
        };
        let Some(export_name) = commonjs_named_export_member(node_text(&left, src)) else {
            if node_text(&left, src).trim() == "module.exports" {
                collect_commonjs_object_export_aliases(
                    decl_index,
                    &mut aliases,
                    &mut next_symbol,
                    right,
                    src,
                );
            }
            continue;
        };
        if export_name == "default" || export_name.is_empty() {
            continue;
        }
        let right_span = span_of(file, &right);
        push_named_export_alias_for_span(
            decl_index,
            &mut aliases,
            &mut next_symbol,
            export_name,
            right_span,
        );
    }
    collect_es_named_export_aliases(decl_index, &mut aliases, &mut next_symbol, tree, src);
    decl_index.defs.extend(aliases);
}

fn collect_commonjs_object_export_aliases(
    decl_index: &DeclIndex,
    aliases: &mut Vec<bonsai_lang_api::Decl>,
    next_symbol: &mut u32,
    right: Node<'_>,
    src: &[u8],
) {
    if right.kind() != "object" {
        return;
    }
    let mut cursor = right.walk();
    for child in right.named_children(&mut cursor) {
        if child.kind() != "pair" {
            continue;
        }
        let Some(key) = child.child_by_field_name("key") else {
            continue;
        };
        let Some(value) = child.child_by_field_name("value") else {
            continue;
        };
        let export_name = node_text(&key, src).trim().to_string();
        if export_name.is_empty() || export_name == "default" {
            continue;
        }
        if value.kind() == "identifier" {
            let local_name = node_text(&value, src).trim();
            push_named_export_alias_for_name(decl_index, aliases, next_symbol, export_name, local_name);
        } else {
            push_named_export_alias_for_span(
                decl_index,
                aliases,
                next_symbol,
                export_name,
                span_of(decl_index.file, &value),
            );
        }
    }
}

/// True when the parsed export statement carries ECMAScript's direct
/// `default` modifier. Named exports such as `export { value as default }`
/// contain a named `export_specifier` identifier instead and deliberately do
/// not satisfy this predicate.
fn export_statement_has_default_modifier(node: Node<'_>) -> bool {
    let mut cursor = node.walk();
    if !cursor.goto_first_child() {
        return false;
    }
    loop {
        let child = cursor.node();
        if !child.is_named() && child.kind() == "default" {
            return true;
        }
        if !cursor.goto_next_sibling() {
            return false;
        }
    }
}

fn collect_es_named_export_aliases(
    decl_index: &DeclIndex,
    aliases: &mut Vec<bonsai_lang_api::Decl>,
    next_symbol: &mut u32,
    tree: &Tree,
    src: &[u8],
) {
    for export_node in collect_kinds(tree, &["export_statement"]) {
        let mut stack = vec![export_node];
        while let Some(current) = stack.pop() {
            if current.kind() == "export_specifier" {
                let local_name = current.child_by_field_name("name");
                let export_name = current.child_by_field_name("alias");
                if let (Some(local), Some(exported)) = (local_name, export_name) {
                    let export_name = node_text(&exported, src).trim().to_string();
                    let local_name = node_text(&local, src).trim();
                    push_named_export_alias_for_name(
                        decl_index,
                        aliases,
                        next_symbol,
                        export_name,
                        local_name,
                    );
                }
                continue;
            }
            let mut cursor = current.walk();
            for child in current.named_children(&mut cursor) {
                stack.push(child);
            }
        }
    }
}

fn push_named_export_alias_for_name(
    decl_index: &DeclIndex,
    aliases: &mut Vec<bonsai_lang_api::Decl>,
    next_symbol: &mut u32,
    export_name: String,
    local_name: &str,
) {
    if export_name.is_empty() || local_name.is_empty() || export_name == local_name {
        return;
    }
    let Some(source) = decl_index.defs.iter().find(|decl| decl.name == local_name) else {
        return;
    };
    push_named_export_alias(decl_index, aliases, next_symbol, export_name, source);
}

fn push_named_export_alias_for_span(
    decl_index: &DeclIndex,
    aliases: &mut Vec<bonsai_lang_api::Decl>,
    next_symbol: &mut u32,
    export_name: String,
    source_span: bonsai_common::Span,
) {
    if export_name.is_empty() {
        return;
    }
    let Some(source) = decl_index.defs.iter().find(|decl| decl.span == source_span) else {
        return;
    };
    push_named_export_alias(decl_index, aliases, next_symbol, export_name, source);
}

fn push_named_export_alias(
    decl_index: &DeclIndex,
    aliases: &mut Vec<bonsai_lang_api::Decl>,
    next_symbol: &mut u32,
    export_name: String,
    source: &bonsai_lang_api::Decl,
) {
    if source.name == export_name {
        return;
    }
    if !matches!(
        source.kind,
        bonsai_lang_api::DeclKind::Function
            | bonsai_lang_api::DeclKind::Method
            | bonsai_lang_api::DeclKind::Constructor
            | bonsai_lang_api::DeclKind::Class
    ) {
        return;
    }
    if decl_index.defs.iter().chain(aliases.iter()).any(|decl| {
        decl.name == export_name && decl.span == source.span && decl.body_span == source.body_span
    }) {
        return;
    }
    let mut alias = source.clone();
    alias.symbol = SymbolId::new(*next_symbol);
    *next_symbol = next_symbol.saturating_add(1);
    alias.name = export_name;
    alias.qualified_name = None;
    aliases.push(alias);
}

fn commonjs_named_export_member(left: &str) -> Option<String> {
    let left = left.trim();
    let member = left
        .strip_prefix("exports.")
        .or_else(|| left.strip_prefix("module.exports."))?;
    (!member.is_empty()
        && member
            .chars()
            .all(|ch| ch.is_ascii_alphanumeric() || ch == '_' || ch == '$'))
    .then(|| member.to_string())
}

enum DefaultExportTarget {
    Span(bonsai_common::Span),
    Name(String),
}

#[derive(Clone, Debug)]
struct JsDestructureSource {
    assign_span: bonsai_common::Span,
    target: String,
    base: String,
    source: String,
}

fn rewrite_javascript_object_destructuring_sources(
    decl_index: &mut DeclIndex,
    tree: &Tree,
    src: &[u8],
    file: FileId,
) {
    let rewrites = collect_javascript_object_destructuring_sources(tree, src, file);
    if rewrites.is_empty() {
        return;
    }
    for decl in &mut decl_index.defs {
        let owner_span = decl.body_span.unwrap_or(decl.span);
        let relevant = rewrites
            .iter()
            .filter(|item| span_contains_or_equal(owner_span, item.assign_span))
            .cloned()
            .collect::<Vec<_>>();
        if !relevant.is_empty() {
            rewrite_destructuring_sources_in_events(&mut decl.flow_events, &relevant);
        }
    }
}

fn collect_javascript_object_destructuring_sources(
    tree: &Tree,
    src: &[u8],
    file: FileId,
) -> Vec<JsDestructureSource> {
    let mut out = Vec::new();
    for declarator in collect_kinds(tree, &["variable_declarator"]) {
        let Some(pattern) = declarator.child_by_field_name("name") else {
            continue;
        };
        let Some(value) = declarator.child_by_field_name("value") else {
            continue;
        };
        if pattern.kind() != "object_pattern" {
            continue;
        }
        let base = normalize_js_member_text(node_text(&value, src));
        if base.is_empty() {
            continue;
        }
        collect_js_object_pattern_sources(pattern, &base, span_of(file, &declarator), src, &mut out);
    }
    out
}

fn collect_js_object_pattern_sources(
    pattern: Node<'_>,
    base: &str,
    assign_span: bonsai_common::Span,
    src: &[u8],
    out: &mut Vec<JsDestructureSource>,
) {
    let mut cursor = pattern.walk();
    for child in pattern.named_children(&mut cursor) {
        match child.kind() {
            "shorthand_property_identifier_pattern" => {
                let target = node_text(&child, src).trim().to_string();
                if !target.is_empty() {
                    out.push(JsDestructureSource {
                        assign_span,
                        base: base.to_string(),
                        source: format!("{base}.{target}"),
                        target,
                    });
                }
            }
            "pair_pattern" => {
                let Some(key_node) = child.child_by_field_name("key") else {
                    continue;
                };
                let Some(value_node) = child.child_by_field_name("value") else {
                    continue;
                };
                let Some(key) = js_object_field_key(key_node, src) else {
                    continue;
                };
                if let Some(target) = js_destructure_target_name(value_node, src) {
                    out.push(JsDestructureSource {
                        assign_span,
                        base: base.to_string(),
                        source: format!("{base}.{key}"),
                        target,
                    });
                }
            }
            "object_assignment_pattern" => {
                let Some(left) = child.child_by_field_name("left") else {
                    continue;
                };
                let target = node_text(&left, src).trim().to_string();
                if !target.is_empty() {
                    out.push(JsDestructureSource {
                        assign_span,
                        base: base.to_string(),
                        source: format!("{base}.{target}"),
                        target,
                    });
                }
            }
            "rest_pattern" => {}
            _ => {}
        }
    }
}

fn js_destructure_target_name(node: Node<'_>, src: &[u8]) -> Option<String> {
    match node.kind() {
        "identifier" | "shorthand_property_identifier_pattern" => {
            let target = node_text(&node, src).trim().to_string();
            (!target.is_empty()).then_some(target)
        }
        "assignment_pattern" => node
            .child_by_field_name("left")
            .and_then(|left| js_destructure_target_name(left, src)),
        _ => None,
    }
}

fn rewrite_destructuring_sources_in_events(events: &mut Vec<FlowEvent>, rewrites: &[JsDestructureSource]) {
    let original = std::mem::take(events);
    for mut event in original {
        match &mut event {
            FlowEvent::Branch {
                then_events,
                else_events,
                ..
            } => {
                rewrite_destructuring_sources_in_events(then_events, rewrites);
                rewrite_destructuring_sources_in_events(else_events, rewrites);
            }
            FlowEvent::Loop { body, .. } | FlowEvent::Defer { body, .. } | FlowEvent::Using { body, .. } => {
                rewrite_destructuring_sources_in_events(body, rewrites);
            }
            FlowEvent::Try {
                body,
                catch_events,
                finally_events,
                ..
            } => {
                rewrite_destructuring_sources_in_events(body, rewrites);
                rewrite_destructuring_sources_in_events(catch_events, rewrites);
                rewrite_destructuring_sources_in_events(finally_events, rewrites);
            }
            _ => {}
        }

        let rewrite = match &event {
            FlowEvent::Assign { span, target, .. } => rewrites
                .iter()
                .find(|item| item.target == *target && spans_overlap_or_contain(*span, item.assign_span)),
            _ => None,
        };
        if let Some(rewrite) = rewrite {
            // Destructuring consumes both the aggregate and one exact field. Keep
            // those as separate events: the IDG source filter intentionally does
            // not let a structural `base` source shadow the exact `base.field`
            // source on the same event. The shared target/span interns one Write
            // node with both incoming edges.
            let mut aggregate_event = event.clone();
            set_destructuring_assignment_source(
                &mut aggregate_event,
                &rewrite.base,
                bonsai_lang_api::AssignValueKind::Destructure,
            );
            set_destructuring_assignment_source(
                &mut event,
                &rewrite.source,
                bonsai_lang_api::AssignValueKind::Compound,
            );
            events.push(aggregate_event);
        }
        events.push(event);
    }
}

fn set_destructuring_assignment_source(
    event: &mut FlowEvent,
    source: &str,
    assignment_kind: bonsai_lang_api::AssignValueKind,
) {
    let FlowEvent::Assign {
        source_name,
        source_call,
        source_call_args,
        source_names,
        value_kind,
        ..
    } = event
    else {
        return;
    };
    *source_name = Some(source.to_string());
    *source_call = None;
    source_call_args.clear();
    source_names.clear();
    source_names.push(source.to_string());
    *value_kind = Some(assignment_kind);
}

#[derive(Clone, Debug)]
struct JsObjectFieldAssigns {
    assign_span: bonsai_common::Span,
    target: String,
    fields: Vec<FlowEvent>,
}

fn inject_javascript_object_literal_field_assigns(
    decl_index: &mut DeclIndex,
    tree: &Tree,
    src: &[u8],
    file: FileId,
) {
    let field_assigns = collect_javascript_object_literal_field_assigns(tree, src, file);
    if field_assigns.is_empty() {
        return;
    }
    for decl in &mut decl_index.defs {
        let owner_span = decl.body_span.unwrap_or(decl.span);
        let relevant = field_assigns
            .iter()
            .filter(|item| span_contains_or_equal(owner_span, item.assign_span))
            .cloned()
            .collect::<Vec<_>>();
        if !relevant.is_empty() {
            insert_object_field_assigns_in_events(&mut decl.flow_events, &relevant);
        }
    }
}

fn collect_javascript_object_literal_field_assigns(
    tree: &Tree,
    src: &[u8],
    file: FileId,
) -> Vec<JsObjectFieldAssigns> {
    let mut out = Vec::new();
    for declarator in collect_kinds(tree, &["variable_declarator"]) {
        let Some(name) = declarator.child_by_field_name("name") else {
            continue;
        };
        let Some(value) = declarator.child_by_field_name("value") else {
            continue;
        };
        if value.kind() != "object" || name.kind() != "identifier" {
            continue;
        }
        let target = node_text(&name, src).trim().to_string();
        push_javascript_object_literal_field_assigns(
            &mut out,
            span_of(file, &declarator),
            &target,
            value,
            src,
            file,
        );
    }
    for assignment in collect_kinds(tree, &["assignment_expression"]) {
        let Some(left) = assignment.child_by_field_name("left") else {
            continue;
        };
        let Some(right) = assignment.child_by_field_name("right") else {
            continue;
        };
        if right.kind() != "object" {
            continue;
        }
        let target = normalize_js_member_text(node_text(&left, src));
        push_javascript_object_literal_field_assigns(
            &mut out,
            span_of(file, &assignment),
            &target,
            right,
            src,
            file,
        );
    }
    out
}

fn push_javascript_object_literal_field_assigns(
    out: &mut Vec<JsObjectFieldAssigns>,
    assign_span: bonsai_common::Span,
    target: &str,
    object: Node<'_>,
    src: &[u8],
    file: FileId,
) {
    if target.trim().is_empty() {
        return;
    }
    let mut fields = Vec::new();
    let mut cursor = object.walk();
    for child in object.named_children(&mut cursor) {
        match child.kind() {
            "pair" => {
                let Some(key_node) = child.child_by_field_name("key") else {
                    continue;
                };
                let Some(value_node) = child.child_by_field_name("value") else {
                    continue;
                };
                let Some(key) = js_object_field_key(key_node, src) else {
                    continue;
                };
                let sources = js_value_source_names(value_node, src);
                fields.push(FlowEvent::Assign {
                    span: span_of(file, &value_node),
                    target: format!("{target}.{key}"),
                    source_name: (sources.len() == 1).then(|| sources[0].clone()),
                    source_call: None,
                    source_call_args: Vec::new(),
                    source_names: sources,
                    declares_new_binding: false,
                    value_kind: Some(bonsai_lang_api::AssignValueKind::Compound),
                });
            }
            "shorthand_property_identifier" => {
                let key = node_text(&child, src).trim().to_string();
                if key.is_empty() {
                    continue;
                }
                fields.push(FlowEvent::Assign {
                    span: span_of(file, &child),
                    target: format!("{target}.{key}"),
                    source_name: Some(key.clone()),
                    source_call: None,
                    source_call_args: Vec::new(),
                    source_names: vec![key],
                    declares_new_binding: false,
                    value_kind: Some(bonsai_lang_api::AssignValueKind::Compound),
                });
            }
            "spread_element" => {}
            _ => {}
        }
    }
    if !fields.is_empty() {
        out.push(JsObjectFieldAssigns {
            assign_span,
            target: target.to_string(),
            fields,
        });
    }
}

fn insert_object_field_assigns_in_events(
    events: &mut Vec<FlowEvent>,
    field_assigns: &[JsObjectFieldAssigns],
) {
    let mut index = 0usize;
    while index < events.len() {
        match &mut events[index] {
            FlowEvent::Branch {
                then_events,
                else_events,
                ..
            } => {
                insert_object_field_assigns_in_events(then_events, field_assigns);
                insert_object_field_assigns_in_events(else_events, field_assigns);
            }
            FlowEvent::Loop { body, .. } | FlowEvent::Defer { body, .. } | FlowEvent::Using { body, .. } => {
                insert_object_field_assigns_in_events(body, field_assigns);
            }
            FlowEvent::Try {
                body,
                catch_events,
                finally_events,
                ..
            } => {
                insert_object_field_assigns_in_events(body, field_assigns);
                insert_object_field_assigns_in_events(catch_events, field_assigns);
                insert_object_field_assigns_in_events(finally_events, field_assigns);
            }
            _ => {}
        }

        let inserts = match &events[index] {
            FlowEvent::Assign { span, target, .. } => field_assigns
                .iter()
                .filter(|item| item.target == *target && spans_overlap_or_contain(*span, item.assign_span))
                .flat_map(|item| item.fields.clone())
                .filter(|field_event| !event_list_contains_assign(events, field_event))
                .collect::<Vec<_>>(),
            _ => Vec::new(),
        };
        if inserts.is_empty() {
            index += 1;
            continue;
        }
        let inserted = inserts.len();
        events.splice((index + 1)..=index, inserts);
        index += inserted + 1;
    }
}

fn event_list_contains_assign(events: &[FlowEvent], candidate: &FlowEvent) -> bool {
    let FlowEvent::Assign {
        span: wanted_span,
        target: wanted_target,
        ..
    } = candidate
    else {
        return false;
    };
    events.iter().any(|event| match event {
        FlowEvent::Assign { span, target, .. } => span == wanted_span && target == wanted_target,
        FlowEvent::Branch {
            then_events,
            else_events,
            ..
        } => {
            event_list_contains_assign(then_events, candidate)
                || event_list_contains_assign(else_events, candidate)
        }
        FlowEvent::Loop { body, .. } | FlowEvent::Defer { body, .. } | FlowEvent::Using { body, .. } => {
            event_list_contains_assign(body, candidate)
        }
        FlowEvent::Try {
            body,
            catch_events,
            finally_events,
            ..
        } => {
            event_list_contains_assign(body, candidate)
                || event_list_contains_assign(catch_events, candidate)
                || event_list_contains_assign(finally_events, candidate)
        }
        _ => false,
    })
}

fn js_object_field_key(node: Node<'_>, src: &[u8]) -> Option<String> {
    let raw = node_text(&node, src).trim();
    let key = raw
        .strip_prefix('"')
        .and_then(|part| part.strip_suffix('"'))
        .or_else(|| raw.strip_prefix('\'').and_then(|part| part.strip_suffix('\'')))
        .or_else(|| raw.strip_prefix('`').and_then(|part| part.strip_suffix('`')))
        .unwrap_or(raw)
        .trim();
    if key.is_empty()
        || !key
            .chars()
            .all(|ch| ch == '_' || ch == '$' || ch.is_ascii_alphanumeric())
    {
        return None;
    }
    Some(key.to_string())
}

fn js_value_source_names(node: Node<'_>, src: &[u8]) -> Vec<String> {
    let mut out = Vec::new();
    collect_js_value_source_names(node, src, &mut out);
    out.sort();
    out.dedup();
    out
}

fn collect_js_value_source_names(node: Node<'_>, src: &[u8], out: &mut Vec<String>) {
    match node.kind() {
        "identifier" | "shorthand_property_identifier" => {
            push_js_source_name(out, node_text(&node, src).trim());
        }
        "member_expression" => {
            push_js_source_name(out, &normalize_js_member_text(node_text(&node, src)));
            if let Some(object) = node.child_by_field_name("object") {
                collect_js_value_source_names(object, src, out);
            }
            return;
        }
        "string" | "number" | "true" | "false" | "null" | "undefined" | "property_identifier" => return,
        _ => {}
    }
    let mut cursor = node.walk();
    for child in node.named_children(&mut cursor) {
        collect_js_value_source_names(child, src, out);
    }
}

fn push_js_source_name(out: &mut Vec<String>, source: &str) {
    let source = source.trim();
    if source.is_empty()
        || source.chars().next().is_some_and(|ch| ch.is_ascii_digit())
        || source.contains(['"', '\'', '`', '{', '}'])
    {
        return;
    }
    out.push(source.to_string());
}

fn normalize_js_member_text(text: &str) -> String {
    text.trim()
        .replace("?.", ".")
        .replace("?.[", ".[")
        .replace([' ', '\t', '\n', '\r'], "")
        .trim_end_matches(';')
        .to_string()
}

fn span_contains_or_equal(outer: bonsai_common::Span, inner: bonsai_common::Span) -> bool {
    outer.file == inner.file && outer.start <= inner.start && outer.end >= inner.end
}

fn spans_overlap_or_contain(left: bonsai_common::Span, right: bonsai_common::Span) -> bool {
    left.file == right.file
        && (span_contains_or_equal(left, right)
            || span_contains_or_equal(right, left)
            || (left.start <= right.end && right.start <= left.end))
}

/// CommonJS `const x = require("y")` / `const { a } = require("y")` /
/// `const { a: b } = require("y")`. Walks `call_expression` nodes whose
/// function name is `require`.
/// Normalize a Node.js builtin-module specifier by dropping the
/// explicit `node:` scheme. `require("node:child_process")` and
/// `import "node:fs/promises"` name the exact same builtins as their
/// bare forms (`child_process`, `fs/promises`); rules and the resolver
/// key on the bare name, so canonicalizing here keeps the prefixed
/// form from silently bypassing package gates and alias-based callee
/// rewrites. Non-builtin specifiers (relative paths, scoped packages)
/// are returned unchanged.
fn normalize_node_builtin_scheme(module: &str) -> String {
    module.strip_prefix("node:").unwrap_or(module).to_string()
}

pub fn js_ts_require_calls(file: FileId, tree: &tree_sitter::Tree, src: &[u8]) -> Vec<ImportSpec> {
    let mut imports = Vec::new();
    for call_node in collect_kinds(tree, &["call_expression"]) {
        let Some(callee) = call_node.child_by_field_name("function") else {
            continue;
        };
        // Syntactic gate: only bare `require(...)` calls. Member calls
        // (`foo.require(...)`) and other shapes are not module imports.
        if node_text(&callee, src) != "require" {
            continue;
        }
        let Some(arguments) = call_node.child_by_field_name("arguments") else {
            continue;
        };
        // Module path comes from the first string literal argument.
        let module = first_named_child_of_kind(&arguments, "string")
            .and_then(|string_node| first_named_child_of_kind(&string_node, "string_fragment"))
            .map(|fragment| node_text(&fragment, src).to_string())
            .unwrap_or_default();
        let module = normalize_node_builtin_scheme(&module);
        if module.is_empty() {
            continue;
        }
        // Anchor the import to the LHS binding: this is what makes a
        // bare `require()` participate in module-resolution.
        let declarator = call_node
            .parent()
            .filter(|parent| parent.kind() == "variable_declarator");
        let lhs_name_node = declarator.and_then(|vd| vd.child_by_field_name("name"));
        // Case 1: `const x = require("y")` — simple identifier binding.
        let simple_alias = lhs_name_node
            .filter(|name| name.kind() == "identifier")
            .map(|name| node_text(&name, src).to_string());
        // Case 2: `const { a: b, c } = require("y")` — destructured object pattern.
        //   - `{ a: b }` (rename) is Module-scope: `b` is a distinct local binding.
        //   - `{ a }` (shorthand) is Local-scope: bare `a(...)` expands to `module.a`,
        //     but default `imports` browse hides these to reduce noise.
        let mut rename_entries: Vec<(String, String)> = Vec::new();
        let mut shorthand_entries: Vec<String> = Vec::new();
        if let Some(object_pattern) = lhs_name_node.filter(|name| name.kind() == "object_pattern") {
            let mut pattern_cursor = object_pattern.walk();
            for pattern_child in object_pattern.named_children(&mut pattern_cursor) {
                match pattern_child.kind() {
                    "pair_pattern" => {
                        let key_node = pattern_child.child_by_field_name("key");
                        let value_node = pattern_child.child_by_field_name("value");
                        if let (Some(key), Some(value)) = (key_node, value_node) {
                            let original_name = node_text(&key, src).to_string();
                            let local_name = node_text(&value, src).to_string();
                            // Skip self-renames — same name on both sides is a shorthand.
                            if !original_name.is_empty()
                                && !local_name.is_empty()
                                && original_name != local_name
                            {
                                rename_entries.push((original_name, local_name));
                            }
                        }
                    }
                    "shorthand_property_identifier_pattern" => {
                        let name = node_text(&pattern_child, src).to_string();
                        if !name.is_empty() {
                            shorthand_entries.push(name);
                        }
                    }
                    "object_assignment_pattern" => {
                        // `{ exec = noop }` — destructure with default; treat the LHS as a shorthand.
                        if let Some(left) = pattern_child.child_by_field_name("left") {
                            let name = node_text(&left, src).to_string();
                            if !name.is_empty() {
                                shorthand_entries.push(name);
                            }
                        }
                    }
                    _ => {}
                }
            }
        }
        // Base entry: always one per `require()` call, carrying the simple binding alias if any.
        imports.push(ImportSpec {
            span: span_of(file, &call_node),
            module: module.clone(),
            alias: simple_alias,
            is_wildcard: false,
            original_name: None,
            scope: ImportScope::Module,
        });
        // Rename entries: one per `{ orig: local }` pair, surfaced at module scope.
        for (original_name, local_name) in rename_entries {
            imports.push(ImportSpec {
                span: span_of(file, &call_node),
                module: module.clone(),
                alias: Some(local_name),
                is_wildcard: false,
                original_name: Some(original_name),
                scope: ImportScope::Module,
            });
        }
        // Shorthand entries: one per `{ a }` binding, kept at local scope (browse hides these).
        for shorthand_name in shorthand_entries {
            imports.push(ImportSpec {
                span: span_of(file, &call_node),
                module: module.clone(),
                alias: Some(shorthand_name.clone()),
                is_wildcard: false,
                original_name: Some(shorthand_name),
                scope: ImportScope::Local,
            });
        }
    }
    imports
}

/// Walk every `class_declaration` and `class` node, harvest its
/// `class_heritage > extends_clause` base names. JS has only single
/// inheritance, but the result shape mirrors the TypeScript adapter
/// for a consistent `Decl.bases` contract.
fn collect_javascript_class_bases(
    tree: &Tree,
    file: FileId,
    src: &[u8],
) -> Vec<(bonsai_common::Span, Vec<String>)> {
    let mut bases_by_class = Vec::new();
    for class_node in collect_kinds(tree, &["class_declaration", "class"]) {
        let mut bases: Vec<String> = Vec::new();
        let mut class_cursor = class_node.walk();
        for class_child in class_node.named_children(&mut class_cursor) {
            // Both wrapper and extends_clause shapes are accepted — grammar revisions vary.
            if matches!(class_child.kind(), "class_heritage" | "extends_clause") {
                collect_js_extends_names(class_child, src, &mut bases);
            }
        }
        if !bases.is_empty() {
            bases_by_class.push((span_of(file, &class_node), bases));
        }
    }
    bases_by_class
}

/// Recursively walk a JS heritage subtree and append any base name we
/// encounter (deduped). Member expressions like `mod.Base` collapse to
/// the right-most segment so `Base` matches a class declaration.
fn collect_js_extends_names(node: Node<'_>, src: &[u8], collected_bases: &mut Vec<String>) {
    let mut stack = vec![node];
    while let Some(current) = stack.pop() {
        match current.kind() {
            "class_heritage" | "extends_clause" => {
                // Wrapper node — descend into its children to find the actual base name.
                let mut cursor = current.walk();
                for child in current.named_children(&mut cursor) {
                    stack.push(child);
                }
            }
            "identifier" | "member_expression" => {
                let raw_text = node_text(&current, src).to_string();
                // `a.b.Base` -> `Base`. The resolver matches on bare names.
                let canonical = raw_text
                    .rsplit('.')
                    .next()
                    .unwrap_or(raw_text.as_str())
                    .to_string();
                if !canonical.is_empty() && !collected_bases.iter().any(|b| b == &canonical) {
                    collected_bases.push(canonical);
                }
            }
            _ => {
                // Unknown wrapper (e.g. parenthesized expression) — keep descending.
                let mut cursor = current.walk();
                for child in current.named_children(&mut cursor) {
                    stack.push(child);
                }
            }
        }
    }
}

fn rewrite_javascript_super_constructor_invocations(index: &mut DeclIndex) {
    let class_info: HashMap<SymbolId, (String, Vec<String>)> = index
        .defs
        .iter()
        .filter(|decl| matches!(decl.kind, DeclKind::Class))
        .map(|decl| (decl.symbol, (decl.name.clone(), decl.bases.clone())))
        .collect();

    for decl in &mut index.defs {
        if !matches!(decl.kind, DeclKind::Constructor) {
            continue;
        }
        let Some(parent) = decl.parent else {
            continue;
        };
        let Some((_, bases)) = class_info.get(&parent) else {
            continue;
        };
        rewrite_javascript_super_constructor_invocations_in_events(
            &mut decl.flow_events,
            bases.first().map(String::as_str),
        );
    }
}

fn rewrite_javascript_super_constructor_invocations_in_events(
    events: &mut [FlowEvent],
    super_ctor: Option<&str>,
) {
    for event in events {
        match event {
            FlowEvent::Call {
                name,
                receiver,
                receiver_types,
                call_kind,
                ..
            } => {
                if let Some(super_ctor) = super_ctor.filter(|ctor| !ctor.is_empty()) {
                    if name.trim() == "super" {
                        name.clear();
                        name.push_str(super_ctor);
                        *receiver = Some("super".to_string());
                        receiver_types.clear();
                        *call_kind = bonsai_lang_api::CallKind::Constructor;
                    }
                }
            }
            FlowEvent::Branch {
                then_events,
                else_events,
                ..
            } => {
                rewrite_javascript_super_constructor_invocations_in_events(then_events, super_ctor);
                rewrite_javascript_super_constructor_invocations_in_events(else_events, super_ctor);
            }
            FlowEvent::Loop { body, .. } | FlowEvent::Defer { body, .. } | FlowEvent::Using { body, .. } => {
                rewrite_javascript_super_constructor_invocations_in_events(body, super_ctor);
            }
            FlowEvent::Try {
                body,
                catch_events,
                finally_events,
                ..
            } => {
                rewrite_javascript_super_constructor_invocations_in_events(body, super_ctor);
                rewrite_javascript_super_constructor_invocations_in_events(catch_events, super_ctor);
                rewrite_javascript_super_constructor_invocations_in_events(finally_events, super_ctor);
            }
            FlowEvent::Assign { .. }
            | FlowEvent::AggregateAssign { .. }
            | FlowEvent::Return { .. }
            | FlowEvent::Throw { .. }
            | FlowEvent::Break { .. }
            | FlowEvent::Continue { .. }
            | FlowEvent::Yield { .. }
            | FlowEvent::Await { .. }
            | FlowEvent::Lifecycle { .. } => {}
        }
    }
}

#[derive(Clone, Debug, PartialEq, Eq)]
struct JsGetterProjection {
    property: String,
    projected_source: String,
}

pub fn apply_javascript_getter_property_sources(
    decl_index: &mut DeclIndex,
    tree: &Tree,
    src: &[u8],
    file: FileId,
) {
    let own_getters = collect_javascript_getter_projections(decl_index, tree, src, file);
    if own_getters.is_empty() {
        return;
    }

    let mut class_symbols = Vec::new();
    let mut class_symbol_by_name: HashMap<String, SymbolId> = HashMap::new();
    let mut base_symbols_by_class: HashMap<SymbolId, Vec<SymbolId>> = HashMap::new();
    for decl in &decl_index.defs {
        if !matches!(decl.kind, DeclKind::Class) {
            continue;
        }
        class_symbols.push(decl.symbol);
        class_symbol_by_name.insert(canonical_js_class_name(&decl.name), decl.symbol);
        if let Some(qualified) = &decl.qualified_name {
            class_symbol_by_name.insert(canonical_js_class_name(qualified), decl.symbol);
        }
    }
    for decl in &decl_index.defs {
        if !matches!(decl.kind, DeclKind::Class) {
            continue;
        }
        let bases = decl
            .bases
            .iter()
            .filter_map(|base| class_symbol_by_name.get(&canonical_js_class_name(base)).copied())
            .collect::<Vec<_>>();
        if !bases.is_empty() {
            base_symbols_by_class.insert(decl.symbol, bases);
        }
    }

    let mut getters_by_class: HashMap<SymbolId, Vec<JsGetterProjection>> = HashMap::new();
    for class_symbol in class_symbols {
        let mut projections = Vec::new();
        let mut seen_properties = HashSet::new();
        let mut visiting = HashSet::new();
        collect_getters_for_class(
            class_symbol,
            &own_getters,
            &base_symbols_by_class,
            &mut seen_properties,
            &mut visiting,
            &mut projections,
        );
        if !projections.is_empty() {
            getters_by_class.insert(class_symbol, projections);
        }
    }

    for decl in &mut decl_index.defs {
        if !matches!(decl.kind, DeclKind::Method | DeclKind::Constructor) {
            continue;
        }
        let Some(parent) = decl.parent else {
            continue;
        };
        let Some(projections) = getters_by_class.get(&parent) else {
            continue;
        };
        enrich_getter_property_sources_in_events(&mut decl.flow_events, projections);
    }
}

fn collect_javascript_getter_projections(
    decl_index: &DeclIndex,
    tree: &Tree,
    src: &[u8],
    file: FileId,
) -> HashMap<SymbolId, Vec<JsGetterProjection>> {
    let mut by_class: HashMap<SymbolId, Vec<JsGetterProjection>> = HashMap::new();
    for method in collect_kinds(tree, &["method_definition"]) {
        if !is_javascript_getter_method(method, src) {
            continue;
        }
        let method_span = span_of(file, &method);
        let Some(decl) = decl_index.defs.iter().find(|decl| {
            decl.span == method_span && matches!(decl.kind, DeclKind::Method) && decl.parent.is_some()
        }) else {
            continue;
        };
        let Some(parent) = decl.parent else {
            continue;
        };
        let Some(projected_source) = first_simple_js_getter_return_projection(&decl.flow_events) else {
            continue;
        };
        let projection = JsGetterProjection {
            property: decl.name.clone(),
            projected_source,
        };
        let entries = by_class.entry(parent).or_default();
        if !entries.iter().any(|existing| existing == &projection) {
            entries.push(projection);
        }
    }
    by_class
}

fn is_javascript_getter_method(method: Node<'_>, src: &[u8]) -> bool {
    if method.kind() != "method_definition" {
        return false;
    }
    let Some(name) = method.child_by_field_name("name") else {
        return false;
    };
    let Some(prefix) = src.get(method.start_byte()..name.start_byte()) else {
        return false;
    };
    let Ok(prefix) = std::str::from_utf8(prefix) else {
        return false;
    };
    prefix
        .split(|ch: char| !ch.is_ascii_alphabetic())
        .any(|token| token == "get")
}

fn first_simple_js_getter_return_projection(events: &[FlowEvent]) -> Option<String> {
    for event in events {
        match event {
            FlowEvent::Return { value_flow, .. } => {
                if let Some(projected) = value_flow.projection.as_ref().and_then(|projection| {
                    matches!(projection.base.as_str(), "this" | "super").then(|| projection.canonical_place())
                }) {
                    return Some(projected);
                }
            }
            FlowEvent::Branch {
                then_events,
                else_events,
                ..
            } => {
                if let Some(projected) = first_simple_js_getter_return_projection(then_events)
                    .or_else(|| first_simple_js_getter_return_projection(else_events))
                {
                    return Some(projected);
                }
            }
            FlowEvent::Loop { body, .. } | FlowEvent::Defer { body, .. } | FlowEvent::Using { body, .. } => {
                if let Some(projected) = first_simple_js_getter_return_projection(body) {
                    return Some(projected);
                }
            }
            FlowEvent::Try {
                body,
                catch_events,
                finally_events,
                ..
            } => {
                if let Some(projected) = first_simple_js_getter_return_projection(body)
                    .or_else(|| first_simple_js_getter_return_projection(catch_events))
                    .or_else(|| first_simple_js_getter_return_projection(finally_events))
                {
                    return Some(projected);
                }
            }
            _ => {}
        }
    }
    None
}

fn collect_getters_for_class(
    class_symbol: SymbolId,
    own_getters: &HashMap<SymbolId, Vec<JsGetterProjection>>,
    base_symbols_by_class: &HashMap<SymbolId, Vec<SymbolId>>,
    seen_properties: &mut HashSet<String>,
    visiting: &mut HashSet<SymbolId>,
    out: &mut Vec<JsGetterProjection>,
) {
    if !visiting.insert(class_symbol) {
        return;
    }
    if let Some(getters) = own_getters.get(&class_symbol) {
        for getter in getters {
            if seen_properties.insert(getter.property.clone()) {
                out.push(getter.clone());
            }
        }
    }
    if let Some(bases) = base_symbols_by_class.get(&class_symbol) {
        for base in bases {
            collect_getters_for_class(
                *base,
                own_getters,
                base_symbols_by_class,
                seen_properties,
                visiting,
                out,
            );
        }
    }
    visiting.remove(&class_symbol);
}

fn enrich_getter_property_sources_in_events(events: &mut [FlowEvent], projections: &[JsGetterProjection]) {
    for event in events {
        match event {
            FlowEvent::Assign {
                source_name,
                source_names,
                ..
            } => {
                if let Some(projected) = source_name
                    .as_deref()
                    .and_then(|source| projected_js_getter_source(source, projections))
                {
                    push_unique_source(source_names, projected);
                }
                enrich_getter_source_names(source_names, projections);
            }
            FlowEvent::Call { args, .. } => {
                for arg in args {
                    enrich_getter_sources_in_call_arg(arg, projections);
                }
            }
            FlowEvent::Branch {
                then_events,
                else_events,
                ..
            } => {
                enrich_getter_property_sources_in_events(then_events, projections);
                enrich_getter_property_sources_in_events(else_events, projections);
            }
            FlowEvent::Loop { body, .. } | FlowEvent::Defer { body, .. } | FlowEvent::Using { body, .. } => {
                enrich_getter_property_sources_in_events(body, projections);
            }
            FlowEvent::Try {
                body,
                catch_events,
                finally_events,
                ..
            } => {
                enrich_getter_property_sources_in_events(body, projections);
                enrich_getter_property_sources_in_events(catch_events, projections);
                enrich_getter_property_sources_in_events(finally_events, projections);
            }
            _ => {}
        }
    }
}

fn enrich_getter_sources_in_call_arg(arg: &mut CallArg, projections: &[JsGetterProjection]) {
    let mut candidates = Vec::new();
    candidates.push(arg.value_text.clone());
    if let Some(place) = arg.place.as_deref() {
        candidates.push(place.to_string());
    }
    for source in &arg.source_names {
        candidates.push(source.clone());
    }
    for candidate in candidates {
        if let Some(projected) = projected_js_getter_source(&candidate, projections) {
            push_unique_source(&mut arg.source_names, projected);
        }
    }
    enrich_getter_source_names(&mut arg.source_names, projections);
}

fn enrich_getter_source_names(source_names: &mut Vec<String>, projections: &[JsGetterProjection]) {
    let existing = source_names.clone();
    for source in existing {
        if let Some(projected) = projected_js_getter_source(&source, projections) {
            push_unique_source(source_names, projected);
        }
    }
}

fn projected_js_getter_source(source: &str, projections: &[JsGetterProjection]) -> Option<String> {
    let source = source.trim();
    for projection in projections {
        for receiver in ["this", "super"] {
            let property_read = format!("{receiver}.{}", projection.property);
            if source != property_read {
                continue;
            }
            if receiver == "this" {
                return Some(projection.projected_source.clone());
            }
            if let Some(rest) = projection.projected_source.strip_prefix("this.") {
                return Some(format!("super.{rest}"));
            }
            return Some(projection.projected_source.clone());
        }
    }
    None
}

fn push_unique_source(source_names: &mut Vec<String>, source: String) {
    if !source.trim().is_empty() && !source_names.iter().any(|existing| existing == &source) {
        source_names.push(source);
    }
}

fn canonical_js_class_name(name: &str) -> String {
    name.rsplit('.').next().unwrap_or(name).trim().to_string()
}

/// Split a workspace-relative JS/TS path into module-identity segments.
/// The trailing source extension is stripped so `src/utils/log.ts` becomes
/// `["src", "utils", "log"]`. Skips path roots and parent (`..`) components.
pub fn js_ts_module_segments(path: &std::path::Path) -> Vec<String> {
    let mut segments: Vec<String> = path
        .components()
        .filter_map(|component| match component {
            std::path::Component::Normal(s) => Some(s.to_string_lossy().into_owned()),
            _ => None,
        })
        .collect();
    if let Some(last_segment) = segments.last_mut() {
        // Strip exactly one source extension; `.tsx` is checked before `.ts`.
        for extension in [".tsx", ".ts", ".jsx", ".js", ".mjs", ".cjs"] {
            if last_segment.ends_with(extension) {
                *last_segment = last_segment.trim_end_matches(extension).to_string();
                break;
            }
        }
    }
    segments.retain(|segment| !segment.is_empty());
    segments
}

#[cfg(test)]
mod syntax_tests {
    use super::{collect_kinds, export_statement_has_default_modifier, language_from_pack, PACK_NAME};

    fn export_has_default_modifier(source: &str) -> bool {
        let language = language_from_pack(PACK_NAME).expect("javascript grammar");
        let mut parser = tree_sitter::Parser::new();
        parser.set_language(&language).expect("set javascript grammar");
        let tree = parser.parse(source, None).expect("parse javascript");
        let exports = collect_kinds(&tree, &["export_statement"]);
        assert_eq!(exports.len(), 1, "expected one parsed export statement");
        export_statement_has_default_modifier(exports[0])
    }

    #[test]
    fn default_export_modifier_comes_from_the_syntax_tree() {
        assert!(export_has_default_modifier("export default app;"));
        assert!(!export_has_default_modifier("export { app as default };"));
        assert!(!export_has_default_modifier("export const app = 1;"));
    }
}