exspec_lang_typescript/

lib.rs

pub mod observe;
pub mod tsconfig;

use std::sync::OnceLock;

use exspec_core::extractor::{FileAnalysis, LanguageExtractor, TestAnalysis, TestFunction};
use exspec_core::query_utils::{
    apply_same_file_helper_tracing, collect_mock_class_names, count_captures,
    count_captures_within_context, count_duplicate_literals,
    extract_suppression_from_previous_line, has_any_match,
};
use streaming_iterator::StreamingIterator;
use tree_sitter::{Node, Parser, Query, QueryCursor};

const TEST_FUNCTION_QUERY: &str = include_str!("../queries/test_function.scm");
const ASSERTION_QUERY: &str = include_str!("../queries/assertion.scm");
const MOCK_USAGE_QUERY: &str = include_str!("../queries/mock_usage.scm");
const MOCK_ASSIGNMENT_QUERY: &str = include_str!("../queries/mock_assignment.scm");
const PARAMETERIZED_QUERY: &str = include_str!("../queries/parameterized.scm");
const IMPORT_PBT_QUERY: &str = include_str!("../queries/import_pbt.scm");
const IMPORT_CONTRACT_QUERY: &str = include_str!("../queries/import_contract.scm");
const HOW_NOT_WHAT_QUERY: &str = include_str!("../queries/how_not_what.scm");
const PRIVATE_IN_ASSERTION_QUERY: &str = include_str!("../queries/private_in_assertion.scm");
const ERROR_TEST_QUERY: &str = include_str!("../queries/error_test.scm");
const RELATIONAL_ASSERTION_QUERY: &str = include_str!("../queries/relational_assertion.scm");
const WAIT_AND_SEE_QUERY: &str = include_str!("../queries/wait_and_see.scm");
const HELPER_TRACE_QUERY: &str = include_str!("../queries/helper_trace.scm");

fn ts_language() -> tree_sitter::Language {
    tree_sitter_typescript::LANGUAGE_TSX.into()
}

fn cached_query<'a>(lock: &'a OnceLock<Query>, source: &str) -> &'a Query {
    lock.get_or_init(|| Query::new(&ts_language(), source).expect("invalid query"))
}

static TEST_QUERY_CACHE: OnceLock<Query> = OnceLock::new();
static ASSERTION_QUERY_CACHE: OnceLock<Query> = OnceLock::new();
static MOCK_QUERY_CACHE: OnceLock<Query> = OnceLock::new();
static MOCK_ASSIGN_QUERY_CACHE: OnceLock<Query> = OnceLock::new();
static PARAMETERIZED_QUERY_CACHE: OnceLock<Query> = OnceLock::new();
static IMPORT_PBT_QUERY_CACHE: OnceLock<Query> = OnceLock::new();
static IMPORT_CONTRACT_QUERY_CACHE: OnceLock<Query> = OnceLock::new();
static HOW_NOT_WHAT_QUERY_CACHE: OnceLock<Query> = OnceLock::new();
static PRIVATE_IN_ASSERTION_QUERY_CACHE: OnceLock<Query> = OnceLock::new();
static ERROR_TEST_QUERY_CACHE: OnceLock<Query> = OnceLock::new();
static RELATIONAL_ASSERTION_QUERY_CACHE: OnceLock<Query> = OnceLock::new();
static WAIT_AND_SEE_QUERY_CACHE: OnceLock<Query> = OnceLock::new();
static HELPER_TRACE_QUERY_CACHE: OnceLock<Query> = OnceLock::new();

pub struct TypeScriptExtractor;

impl TypeScriptExtractor {
    pub fn new() -> Self {
        Self
    }

    pub fn parser() -> Parser {
        let mut parser = Parser::new();
        let language = tree_sitter_typescript::LANGUAGE_TSX;
        parser
            .set_language(&language.into())
            .expect("failed to load TypeScript grammar");
        parser
    }
}

impl Default for TypeScriptExtractor {
    fn default() -> Self {
        Self::new()
    }
}

/// Count fixture variables from enclosing describe() scopes.
/// Walk up the AST from the test function, find describe callback bodies,
/// and count `lexical_declaration` / `variable_declaration` direct children.
/// Accumulates across all enclosing describes (handles nesting).
fn count_enclosing_describe_fixtures(root: Node, test_start_byte: usize, source: &[u8]) -> usize {
    let Some(start_node) = root.descendant_for_byte_range(test_start_byte, test_start_byte) else {
        return 0;
    };

    let mut count = 0;
    let mut current = start_node.parent();
    while let Some(node) = current {
        // Look for statement_block that is a describe callback body
        if node.kind() == "statement_block" && is_describe_callback_body(node, source) {
            // Count direct children that are variable declarations
            let child_count = node.named_child_count();
            for i in 0..child_count {
                if let Some(child) = node.named_child(i) {
                    let kind = child.kind();
                    if kind == "lexical_declaration" || kind == "variable_declaration" {
                        // Count the number of variable declarators in this declaration
                        // e.g., `let a, b;` has 2 declarators
                        let declarator_count = (0..child.named_child_count())
                            .filter_map(|j| child.named_child(j))
                            .filter(|c| c.kind() == "variable_declarator")
                            .count();
                        count += declarator_count;
                    }
                }
            }
        }
        current = node.parent();
    }

    count
}

/// Check if a statement_block is the body of a describe() callback.
/// Pattern: statement_block → arrow_function/function_expression → arguments → call_expression(describe)
fn is_describe_callback_body(block: Node, source: &[u8]) -> bool {
    let parent = match block.parent() {
        Some(p) => p,
        None => return false,
    };
    let kind = parent.kind();
    if kind != "arrow_function" && kind != "function_expression" {
        return false;
    }
    let args = match parent.parent() {
        Some(p) if p.kind() == "arguments" => p,
        _ => return false,
    };
    let call = match args.parent() {
        Some(p) if p.kind() == "call_expression" => p,
        _ => return false,
    };
    // Check if the function being called is "describe"
    if let Some(func_node) = call.child_by_field_name("function") {
        if let Ok(name) = func_node.utf8_text(source) {
            return name == "describe" || name.starts_with("describe.");
        }
    }
    false
}

fn extract_mock_class_name(var_name: &str) -> String {
    // camelCase: strip "mock" prefix and lowercase first char
    if let Some(stripped) = var_name.strip_prefix("mock") {
        if !stripped.is_empty() && stripped.starts_with(|c: char| c.is_uppercase()) {
            return stripped.to_string();
        }
    }
    var_name.to_string()
}

struct TestMatch {
    name: String,
    fn_start_byte: usize,
    fn_end_byte: usize,
    fn_start_row: usize,
    fn_end_row: usize,
}

fn extract_functions_from_tree(source: &str, file_path: &str, root: Node) -> Vec<TestFunction> {
    let test_query = cached_query(&TEST_QUERY_CACHE, TEST_FUNCTION_QUERY);
    let assertion_query = cached_query(&ASSERTION_QUERY_CACHE, ASSERTION_QUERY);
    let mock_query = cached_query(&MOCK_QUERY_CACHE, MOCK_USAGE_QUERY);
    let mock_assign_query = cached_query(&MOCK_ASSIGN_QUERY_CACHE, MOCK_ASSIGNMENT_QUERY);
    let how_not_what_query = cached_query(&HOW_NOT_WHAT_QUERY_CACHE, HOW_NOT_WHAT_QUERY);
    let private_query = cached_query(
        &PRIVATE_IN_ASSERTION_QUERY_CACHE,
        PRIVATE_IN_ASSERTION_QUERY,
    );
    let wait_query = cached_query(&WAIT_AND_SEE_QUERY_CACHE, WAIT_AND_SEE_QUERY);

    let name_idx = test_query
        .capture_index_for_name("name")
        .expect("no @name capture");
    let function_idx = test_query
        .capture_index_for_name("function")
        .expect("no @function capture");

    let source_bytes = source.as_bytes();

    let mut test_matches = Vec::new();
    {
        let mut cursor = QueryCursor::new();
        let mut matches = cursor.matches(test_query, root, source_bytes);
        while let Some(m) = matches.next() {
            let name_capture = match m.captures.iter().find(|c| c.index == name_idx) {
                Some(c) => c,
                None => continue,
            };
            let name = match name_capture.node.utf8_text(source_bytes) {
                Ok(s) => s.to_string(),
                Err(_) => continue,
            };

            let fn_capture = match m.captures.iter().find(|c| c.index == function_idx) {
                Some(c) => c,
                None => continue,
            };

            test_matches.push(TestMatch {
                name,
                fn_start_byte: fn_capture.node.start_byte(),
                fn_end_byte: fn_capture.node.end_byte(),
                fn_start_row: fn_capture.node.start_position().row,
                fn_end_row: fn_capture.node.end_position().row,
            });
        }
    }

    let mut functions = Vec::new();
    for tm in &test_matches {
        let fn_node = match root.descendant_for_byte_range(tm.fn_start_byte, tm.fn_end_byte) {
            Some(n) => n,
            None => continue,
        };

        let line = tm.fn_start_row + 1;
        let end_line = tm.fn_end_row + 1;
        let line_count = end_line - line + 1;

        let assertion_count = count_captures(assertion_query, "assertion", fn_node, source_bytes);
        let mock_count = count_captures(mock_query, "mock", fn_node, source_bytes);
        let mock_classes = collect_mock_class_names(
            mock_assign_query,
            fn_node,
            source_bytes,
            extract_mock_class_name,
        );

        let how_not_what_count =
            count_captures(how_not_what_query, "how_pattern", fn_node, source_bytes);

        let private_in_assertion_count = count_captures_within_context(
            assertion_query,
            "assertion",
            private_query,
            "private_access",
            fn_node,
            source_bytes,
        );

        let fixture_count = count_enclosing_describe_fixtures(root, tm.fn_start_byte, source_bytes);

        // T108: wait-and-see detection
        let has_wait = has_any_match(wait_query, "wait", fn_node, source_bytes);

        // T106: duplicate literal count
        let duplicate_literal_count = count_duplicate_literals(
            assertion_query,
            fn_node,
            source_bytes,
            &["number", "string"],
        );

        let suppressed_rules = extract_suppression_from_previous_line(source, tm.fn_start_row);

        functions.push(TestFunction {
            name: tm.name.clone(),
            file: file_path.to_string(),
            line,
            end_line,
            analysis: TestAnalysis {
                assertion_count,
                mock_count,
                mock_classes,
                line_count,
                how_not_what_count: how_not_what_count + private_in_assertion_count,
                fixture_count,
                has_wait,
                has_skip_call: false,
                assertion_message_count: assertion_count, // T107 skipped for TypeScript: expect() has no msg arg
                duplicate_literal_count,
                suppressed_rules,
            },
        });
    }

    functions
}

impl LanguageExtractor for TypeScriptExtractor {
    fn extract_test_functions(&self, source: &str, file_path: &str) -> Vec<TestFunction> {
        let mut parser = Self::parser();
        let tree = match parser.parse(source, None) {
            Some(t) => t,
            None => return Vec::new(),
        };
        extract_functions_from_tree(source, file_path, tree.root_node())
    }

    fn extract_file_analysis(&self, source: &str, file_path: &str) -> FileAnalysis {
        let mut parser = Self::parser();
        let tree = match parser.parse(source, None) {
            Some(t) => t,
            None => {
                return FileAnalysis {
                    file: file_path.to_string(),
                    functions: Vec::new(),
                    has_pbt_import: false,
                    has_contract_import: false,
                    has_error_test: false,
                    has_relational_assertion: false,
                    parameterized_count: 0,
                };
            }
        };

        let root = tree.root_node();
        let source_bytes = source.as_bytes();

        let functions = extract_functions_from_tree(source, file_path, root);

        let param_query = cached_query(&PARAMETERIZED_QUERY_CACHE, PARAMETERIZED_QUERY);
        let parameterized_count = count_captures(param_query, "parameterized", root, source_bytes);

        let pbt_query = cached_query(&IMPORT_PBT_QUERY_CACHE, IMPORT_PBT_QUERY);
        let has_pbt_import = has_any_match(pbt_query, "pbt_import", root, source_bytes);

        let contract_query = cached_query(&IMPORT_CONTRACT_QUERY_CACHE, IMPORT_CONTRACT_QUERY);
        let has_contract_import =
            has_any_match(contract_query, "contract_import", root, source_bytes);

        let error_test_query = cached_query(&ERROR_TEST_QUERY_CACHE, ERROR_TEST_QUERY);
        let has_error_test = has_any_match(error_test_query, "error_test", root, source_bytes);

        let relational_query = cached_query(
            &RELATIONAL_ASSERTION_QUERY_CACHE,
            RELATIONAL_ASSERTION_QUERY,
        );
        let has_relational_assertion =
            has_any_match(relational_query, "relational", root, source_bytes);

        let mut file_analysis = FileAnalysis {
            file: file_path.to_string(),
            functions,
            has_pbt_import,
            has_contract_import,
            has_error_test,
            has_relational_assertion,
            parameterized_count,
        };

        // Apply same-file helper tracing (Phase 23b — TypeScript port)
        // helper_trace.scm contains both @call_name and @def_name/@def_body captures
        // in a single query. Same object is passed as both call_query and def_query by design.
        let helper_trace_query = cached_query(&HELPER_TRACE_QUERY_CACHE, HELPER_TRACE_QUERY);
        let assertion_query_for_trace = cached_query(&ASSERTION_QUERY_CACHE, ASSERTION_QUERY);
        apply_same_file_helper_tracing(
            &mut file_analysis,
            &tree,
            source_bytes,
            helper_trace_query,
            helper_trace_query,
            assertion_query_for_trace,
        );

        file_analysis
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    fn fixture(name: &str) -> String {
        let path = format!(
            "{}/tests/fixtures/typescript/{}",
            env!("CARGO_MANIFEST_DIR").replace("/crates/lang-typescript", ""),
            name
        );
        std::fs::read_to_string(&path).unwrap_or_else(|e| panic!("failed to read {path}: {e}"))
    }

    // --- Phase 1 preserved tests ---

    #[test]
    fn parse_typescript_source() {
        let source = "const x: number = 42;\n";
        let mut parser = TypeScriptExtractor::parser();
        let tree = parser.parse(source, None).unwrap();
        assert_eq!(tree.root_node().kind(), "program");
    }

    #[test]
    fn typescript_extractor_implements_language_extractor() {
        let extractor = TypeScriptExtractor::new();
        let _: &dyn exspec_core::extractor::LanguageExtractor = &extractor;
    }

    // --- Cycle 1: Test function extraction ---

    #[test]
    fn extract_single_test_function() {
        let source = fixture("t001_pass.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_pass.test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(funcs[0].name, "create user");
        assert_eq!(funcs[0].line, 1);
    }

    #[test]
    fn extract_multiple_tests_excludes_helpers_and_describe() {
        let source = fixture("multiple_tests.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "multiple_tests.test.ts");
        assert_eq!(funcs.len(), 3);
        let names: Vec<&str> = funcs.iter().map(|f| f.name.as_str()).collect();
        assert_eq!(
            names,
            vec!["adds numbers", "subtracts numbers", "multiplies numbers"]
        );
    }

    #[test]
    fn line_count_calculation() {
        let source = fixture("t001_pass.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_pass.test.ts");
        assert_eq!(
            funcs[0].analysis.line_count,
            funcs[0].end_line - funcs[0].line + 1
        );
    }

    #[test]
    fn violation_file_extracts_function() {
        let source = fixture("t001_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_violation.test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(funcs[0].name, "create user");
    }

    // --- Cycle 2: Assertion detection ---

    #[test]
    fn assertion_count_zero_for_violation() {
        let source = fixture("t001_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_violation.test.ts");
        assert_eq!(funcs[0].analysis.assertion_count, 0);
    }

    #[test]
    fn assertion_count_positive_for_pass() {
        let source = fixture("t001_pass.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_pass.test.ts");
        assert!(funcs[0].analysis.assertion_count >= 1);
    }

    // --- TSX support (#53) ---

    #[test]
    fn tsx_file_detects_assertions() {
        let source = fixture("t001_tsx_assertion.test.tsx");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_tsx_assertion.test.tsx");
        assert_eq!(
            funcs.len(),
            2,
            "should extract 2 test functions from TSX file"
        );
        for f in &funcs {
            assert!(
                f.analysis.assertion_count >= 1,
                "test '{}' should have assertions detected in TSX file, got {}",
                f.name,
                f.analysis.assertion_count
            );
        }
    }

    // --- Cycle 2: Mock detection ---

    #[test]
    fn mock_count_for_violation() {
        let source = fixture("t002_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t002_violation.test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(funcs[0].analysis.mock_count, 6);
    }

    #[test]
    fn mock_count_for_pass() {
        let source = fixture("t002_pass.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t002_pass.test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(funcs[0].analysis.mock_count, 1);
        assert_eq!(funcs[0].analysis.mock_classes, vec!["Db"]);
    }

    #[test]
    fn mock_class_name_extraction() {
        assert_eq!(extract_mock_class_name("mockDb"), "Db");
        assert_eq!(
            extract_mock_class_name("mockPaymentService"),
            "PaymentService"
        );
        assert_eq!(extract_mock_class_name("myMock"), "myMock");
    }

    // --- Inline suppression ---

    #[test]
    fn suppressed_test_has_suppressed_rules() {
        let source = fixture("suppressed.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "suppressed.test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(funcs[0].analysis.mock_count, 6);
        assert!(funcs[0]
            .analysis
            .suppressed_rules
            .iter()
            .any(|r| r.0 == "T002"));
    }

    #[test]
    fn non_suppressed_test_has_empty_suppressed_rules() {
        let source = fixture("t002_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t002_violation.test.ts");
        assert!(funcs[0].analysis.suppressed_rules.is_empty());
    }

    // --- Giant test ---

    #[test]
    fn giant_test_line_count() {
        let source = fixture("t003_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t003_violation.test.ts");
        assert_eq!(funcs.len(), 1);
        assert!(funcs[0].analysis.line_count > 50);
    }

    #[test]
    fn short_test_line_count() {
        let source = fixture("t003_pass.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t003_pass.test.ts");
        assert_eq!(funcs.len(), 1);
        assert!(funcs[0].analysis.line_count <= 50);
    }

    // --- File analysis: parameterized ---

    #[test]
    fn file_analysis_detects_parameterized() {
        let source = fixture("t004_pass.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t004_pass.test.ts");
        assert!(
            fa.parameterized_count >= 1,
            "expected parameterized_count >= 1, got {}",
            fa.parameterized_count
        );
    }

    #[test]
    fn file_analysis_no_parameterized() {
        let source = fixture("t004_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t004_violation.test.ts");
        assert_eq!(fa.parameterized_count, 0);
    }

    // --- File analysis: PBT import ---

    #[test]
    fn file_analysis_detects_pbt_import() {
        let source = fixture("t005_pass.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t005_pass.test.ts");
        assert!(fa.has_pbt_import);
    }

    #[test]
    fn file_analysis_no_pbt_import() {
        let source = fixture("t005_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t005_violation.test.ts");
        assert!(!fa.has_pbt_import);
    }

    // --- File analysis: contract import ---

    #[test]
    fn file_analysis_detects_contract_import() {
        let source = fixture("t008_pass.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t008_pass.test.ts");
        assert!(fa.has_contract_import);
    }

    #[test]
    fn file_analysis_no_contract_import() {
        let source = fixture("t008_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t008_violation.test.ts");
        assert!(!fa.has_contract_import);
    }

    // --- Suppression does not propagate from describe to inner tests ---

    #[test]
    fn suppression_on_describe_does_not_apply_to_inner_tests() {
        let source = fixture("describe_suppression.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "describe_suppression.test.ts");
        assert_eq!(funcs.len(), 2, "expected 2 test functions inside describe");
        for f in &funcs {
            assert!(
                f.analysis.suppressed_rules.is_empty(),
                "test '{}' should NOT have suppressed rules (suppression on describe does not propagate)",
                f.name
            );
            assert_eq!(
                f.analysis.assertion_count, 0,
                "test '{}' should have 0 assertions (T001 violation expected)",
                f.name
            );
        }
    }

    // --- File analysis preserves functions ---

    #[test]
    fn file_analysis_preserves_test_functions() {
        let source = fixture("t001_pass.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t001_pass.test.ts");
        assert_eq!(fa.functions.len(), 1);
        assert_eq!(fa.functions[0].name, "create user");
    }

    // --- T101: how-not-what ---

    #[test]
    fn how_not_what_count_for_violation() {
        let source = fixture("t101_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t101_violation.test.ts");
        assert_eq!(funcs.len(), 2);
        assert!(
            funcs[0].analysis.how_not_what_count > 0,
            "expected how_not_what_count > 0 for first test, got {}",
            funcs[0].analysis.how_not_what_count
        );
        assert!(
            funcs[1].analysis.how_not_what_count > 0,
            "expected how_not_what_count > 0 for second test, got {}",
            funcs[1].analysis.how_not_what_count
        );
    }

    #[test]
    fn how_not_what_count_zero_for_pass() {
        let source = fixture("t101_pass.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t101_pass.test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(funcs[0].analysis.how_not_what_count, 0);
    }

    #[test]
    fn how_not_what_coexists_with_assertions() {
        let source = fixture("t101_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t101_violation.test.ts");
        assert!(
            funcs[0].analysis.assertion_count > 0,
            "should also count as assertions"
        );
        assert!(
            funcs[0].analysis.how_not_what_count > 0,
            "should count as how-not-what"
        );
    }

    // --- Query capture name verification (#14) ---

    fn make_query(scm: &str) -> Query {
        Query::new(&ts_language(), scm).unwrap()
    }

    #[test]
    fn query_capture_names_test_function() {
        let q = make_query(include_str!("../queries/test_function.scm"));
        assert!(
            q.capture_index_for_name("name").is_some(),
            "test_function.scm must define @name capture"
        );
        assert!(
            q.capture_index_for_name("function").is_some(),
            "test_function.scm must define @function capture"
        );
    }

    #[test]
    fn query_capture_names_assertion() {
        let q = make_query(include_str!("../queries/assertion.scm"));
        assert!(
            q.capture_index_for_name("assertion").is_some(),
            "assertion.scm must define @assertion capture"
        );
    }

    #[test]
    fn query_capture_names_mock_usage() {
        let q = make_query(include_str!("../queries/mock_usage.scm"));
        assert!(
            q.capture_index_for_name("mock").is_some(),
            "mock_usage.scm must define @mock capture"
        );
    }

    #[test]
    fn query_capture_names_mock_assignment() {
        let q = make_query(include_str!("../queries/mock_assignment.scm"));
        assert!(
            q.capture_index_for_name("var_name").is_some(),
            "mock_assignment.scm must define @var_name (required by collect_mock_class_names .expect())"
        );
    }

    #[test]
    fn query_capture_names_parameterized() {
        let q = make_query(include_str!("../queries/parameterized.scm"));
        assert!(
            q.capture_index_for_name("parameterized").is_some(),
            "parameterized.scm must define @parameterized capture"
        );
    }

    #[test]
    fn query_capture_names_import_pbt() {
        let q = make_query(include_str!("../queries/import_pbt.scm"));
        assert!(
            q.capture_index_for_name("pbt_import").is_some(),
            "import_pbt.scm must define @pbt_import capture"
        );
    }

    #[test]
    fn query_capture_names_import_contract() {
        let q = make_query(include_str!("../queries/import_contract.scm"));
        assert!(
            q.capture_index_for_name("contract_import").is_some(),
            "import_contract.scm must define @contract_import capture"
        );
    }

    #[test]
    fn query_capture_names_how_not_what() {
        let q = make_query(include_str!("../queries/how_not_what.scm"));
        assert!(
            q.capture_index_for_name("how_pattern").is_some(),
            "how_not_what.scm must define @how_pattern capture"
        );
    }

    // --- T102: fixture-sprawl ---

    #[test]
    fn fixture_count_for_violation() {
        let source = fixture("t102_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t102_violation.test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(
            funcs[0].analysis.fixture_count, 6,
            "expected 6 describe-level let declarations"
        );
    }

    #[test]
    fn fixture_count_for_pass() {
        let source = fixture("t102_pass.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t102_pass.test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(
            funcs[0].analysis.fixture_count, 2,
            "expected 2 describe-level let declarations"
        );
    }

    #[test]
    fn fixture_count_nested_describe() {
        let source = fixture("t102_nested.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t102_nested.test.ts");
        assert_eq!(funcs.len(), 2);
        // Inner test sees outer (3) + inner (3) = 6
        let inner = funcs
            .iter()
            .find(|f| f.name == "test in nested describe inherits all fixtures")
            .unwrap();
        assert_eq!(
            inner.analysis.fixture_count, 6,
            "inner test should see outer + inner fixtures"
        );
        // Outer test sees only outer (3)
        let outer = funcs
            .iter()
            .find(|f| f.name == "test in outer describe only sees outer fixtures")
            .unwrap();
        assert_eq!(
            outer.analysis.fixture_count, 3,
            "outer test should see only outer fixtures"
        );
    }

    #[test]
    fn fixture_count_describe_each() {
        let source = fixture("t102_describe_each.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t102_describe_each.test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(
            funcs[0].analysis.fixture_count, 2,
            "describe.each should be recognized as describe scope"
        );
    }

    #[test]
    fn fixture_count_top_level_test_zero() {
        // A test outside describe should have 0 fixtures
        let source = "it('standalone test', () => { expect(1).toBe(1); });";
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(source, "top_level.test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(
            funcs[0].analysis.fixture_count, 0,
            "top-level test should have 0 fixtures"
        );
    }

    // --- T101: private attribute access in assertions (#13) ---

    #[test]
    fn private_dot_notation_detected() {
        let source = fixture("t101_private_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t101_private_violation.test.ts");
        // "checks internal count via dot notation" has expect(service._count) and expect(service._processed)
        let func = funcs
            .iter()
            .find(|f| f.name == "checks internal count via dot notation")
            .unwrap();
        assert!(
            func.analysis.how_not_what_count >= 2,
            "expected >= 2 private access in assertions (dot), got {}",
            func.analysis.how_not_what_count
        );
    }

    #[test]
    fn private_bracket_notation_detected() {
        let source = fixture("t101_private_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t101_private_violation.test.ts");
        // "checks internal via bracket notation" has expect(service['_count']) and expect(service['_processed'])
        let func = funcs
            .iter()
            .find(|f| f.name == "checks internal via bracket notation")
            .unwrap();
        assert!(
            func.analysis.how_not_what_count >= 2,
            "expected >= 2 private access in assertions (bracket), got {}",
            func.analysis.how_not_what_count
        );
    }

    #[test]
    fn private_outside_expect_not_counted() {
        let source = fixture("t101_private_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t101_private_violation.test.ts");
        // "private outside expect not counted": service._internal is outside expect()
        let func = funcs
            .iter()
            .find(|f| f.name == "private outside expect not counted")
            .unwrap();
        assert_eq!(
            func.analysis.how_not_what_count, 0,
            "private access outside expect should not count"
        );
    }

    #[test]
    fn private_adds_to_how_not_what() {
        let source = fixture("t101_private_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t101_private_violation.test.ts");
        // "mixed private and mock verification" has toHaveBeenCalledWith (mock) + expect(service._lastCreated) (private)
        let func = funcs
            .iter()
            .find(|f| f.name == "mixed private and mock verification")
            .unwrap();
        assert!(
            func.analysis.how_not_what_count >= 2,
            "expected mock (1) + private (1) = >= 2, got {}",
            func.analysis.how_not_what_count
        );
    }

    #[test]
    fn query_capture_names_private_in_assertion() {
        let q = make_query(include_str!("../queries/private_in_assertion.scm"));
        assert!(
            q.capture_index_for_name("private_access").is_some(),
            "private_in_assertion.scm must define @private_access capture"
        );
    }

    // --- T103: missing-error-test ---

    #[test]
    fn error_test_to_throw() {
        let source = fixture("t103_pass_toThrow.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t103_pass_toThrow.test.ts");
        assert!(fa.has_error_test, ".toThrow() should set has_error_test");
    }

    #[test]
    fn error_test_to_throw_error() {
        let source = fixture("t103_pass_toThrowError.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t103_pass_toThrowError.test.ts");
        assert!(
            fa.has_error_test,
            ".toThrowError() should set has_error_test"
        );
    }

    #[test]
    fn error_test_rejects() {
        let source = fixture("t103_pass_rejects.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t103_pass_rejects.test.ts");
        assert!(fa.has_error_test, ".rejects should set has_error_test");
    }

    #[test]
    fn error_test_false_positive_rejects_property() {
        let source = fixture("t103_false_positive_rejects_property.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor
            .extract_file_analysis(&source, "t103_false_positive_rejects_property.test.ts");
        assert!(
            !fa.has_error_test,
            "service.rejects should NOT set has_error_test"
        );
    }

    #[test]
    fn error_test_no_patterns() {
        let source = fixture("t103_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t103_violation.test.ts");
        assert!(
            !fa.has_error_test,
            "no error patterns should set has_error_test=false"
        );
    }

    #[test]
    fn query_capture_names_error_test() {
        let q = make_query(include_str!("../queries/error_test.scm"));
        assert!(
            q.capture_index_for_name("error_test").is_some(),
            "error_test.scm must define @error_test capture"
        );
    }

    // --- T105: deterministic-no-metamorphic ---

    #[test]
    fn relational_assertion_violation() {
        let source = fixture("t105_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t105_violation.test.ts");
        assert!(
            !fa.has_relational_assertion,
            "all toBe/toEqual file should not have relational"
        );
    }

    #[test]
    fn relational_assertion_pass_greater_than() {
        let source = fixture("t105_pass_relational.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t105_pass_relational.test.ts");
        assert!(
            fa.has_relational_assertion,
            "toBeGreaterThan should set has_relational_assertion"
        );
    }

    #[test]
    fn relational_assertion_pass_truthy() {
        let source = fixture("t105_pass_truthy.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t105_pass_truthy.test.ts");
        assert!(
            fa.has_relational_assertion,
            "toBeTruthy should set has_relational_assertion"
        );
    }

    #[test]
    fn query_capture_names_relational_assertion() {
        let q = make_query(include_str!("../queries/relational_assertion.scm"));
        assert!(
            q.capture_index_for_name("relational").is_some(),
            "relational_assertion.scm must define @relational capture"
        );
    }

    // --- T108: wait-and-see ---

    #[test]
    fn wait_and_see_violation_sleep() {
        let source = fixture("t108_violation_sleep.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t108_violation_sleep.test.ts");
        assert!(!funcs.is_empty());
        for func in &funcs {
            assert!(
                func.analysis.has_wait,
                "test '{}' should have has_wait=true",
                func.name
            );
        }
    }

    #[test]
    fn wait_and_see_pass_no_sleep() {
        let source = fixture("t108_pass_no_sleep.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t108_pass_no_sleep.test.ts");
        assert_eq!(funcs.len(), 1);
        assert!(
            !funcs[0].analysis.has_wait,
            "test without sleep should have has_wait=false"
        );
    }

    #[test]
    fn query_capture_names_wait_and_see() {
        let q = make_query(include_str!("../queries/wait_and_see.scm"));
        assert!(
            q.capture_index_for_name("wait").is_some(),
            "wait_and_see.scm must define @wait capture"
        );
    }

    // --- T109: undescriptive-test-name ---

    #[test]
    fn t109_violation_names_detected() {
        let source = fixture("t109_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t109_violation.test.ts");
        assert!(!funcs.is_empty());
        for func in &funcs {
            assert!(
                exspec_core::rules::is_undescriptive_test_name(&func.name),
                "test '{}' should be undescriptive",
                func.name
            );
        }
    }

    #[test]
    fn t109_pass_descriptive_names() {
        let source = fixture("t109_pass.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t109_pass.test.ts");
        assert!(!funcs.is_empty());
        for func in &funcs {
            assert!(
                !exspec_core::rules::is_undescriptive_test_name(&func.name),
                "test '{}' should be descriptive",
                func.name
            );
        }
    }

    // TC-09: CJK fixture → all names should be descriptive (no T109 FP)
    #[test]
    fn t109_cjk_pass_descriptive_names() {
        let source = fixture("t109_cjk_pass.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t109_cjk_pass.test.ts");
        assert!(!funcs.is_empty());
        for func in &funcs {
            assert!(
                !exspec_core::rules::is_undescriptive_test_name(&func.name),
                "CJK test '{}' should be descriptive",
                func.name
            );
        }
    }

    // --- T106: duplicate-literal-assertion ---

    #[test]
    fn t106_violation_duplicate_literal() {
        let source = fixture("t106_violation.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t106_violation.test.ts");
        assert_eq!(funcs.len(), 1);
        assert!(
            funcs[0].analysis.duplicate_literal_count >= 3,
            "42 appears 3 times, should be >= 3: got {}",
            funcs[0].analysis.duplicate_literal_count
        );
    }

    #[test]
    fn t106_pass_no_duplicates() {
        let source = fixture("t106_pass_no_duplicates.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t106_pass_no_duplicates.test.ts");
        assert_eq!(funcs.len(), 1);
        assert!(
            funcs[0].analysis.duplicate_literal_count < 3,
            "each literal appears once: got {}",
            funcs[0].analysis.duplicate_literal_count
        );
    }

    // --- T001 FP fix: rejects chain + expectTypeOf (#25) ---

    #[test]
    fn t001_expect_to_throw_already_covered() {
        // TC-04: expect(fn).toThrow() -> already matched
        let source = "import { it, expect } from 'vitest';\nit('throws', () => { expect(() => fn()).toThrow(); });";
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "test_throw.test.ts");
        assert_eq!(funcs.len(), 1);
        assert!(
            funcs[0].analysis.assertion_count >= 1,
            "expect().toThrow() should already be covered, got {}",
            funcs[0].analysis.assertion_count
        );
    }

    #[test]
    fn t001_rejects_to_throw_counts_as_assertion() {
        // TC-05: expect(promise).rejects.toThrow() -> T001 should NOT fire
        let source = fixture("t001_rejects_to_throw.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_rejects_to_throw.test.ts");
        assert_eq!(funcs.len(), 1);
        assert!(
            funcs[0].analysis.assertion_count >= 1,
            "expect().rejects.toThrow() should count as assertion, got {}",
            funcs[0].analysis.assertion_count
        );
    }

    #[test]
    fn t001_expect_type_of_counts_as_assertion() {
        // TC-06: expectTypeOf() -> T001 should NOT fire
        let source = fixture("t001_expect_type_of.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_expect_type_of.test.ts");
        assert_eq!(funcs.len(), 1);
        assert!(
            funcs[0].analysis.assertion_count >= 1,
            "expectTypeOf() should count as assertion, got {}",
            funcs[0].analysis.assertion_count
        );
    }

    // --- T001 FP fix: expect.soft/element/poll (#31) ---

    #[test]
    fn t001_expect_soft_counts_as_assertion() {
        // TC-01: expect.soft(x).toBe(y) -> T001 should NOT fire
        let source = fixture("t001_expect_soft.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_expect_soft.test.ts");
        assert_eq!(funcs.len(), 1);
        assert!(
            funcs[0].analysis.assertion_count >= 1,
            "expect.soft() should count as assertion, got {}",
            funcs[0].analysis.assertion_count
        );
    }

    #[test]
    fn t001_expect_element_counts_as_assertion() {
        // TC-02: expect.element(locator).toHaveText(text) -> T001 should NOT fire
        let source = fixture("t001_expect_element.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_expect_element.test.ts");
        assert_eq!(funcs.len(), 1);
        assert!(
            funcs[0].analysis.assertion_count >= 1,
            "expect.element() should count as assertion, got {}",
            funcs[0].analysis.assertion_count
        );
    }

    #[test]
    fn t001_expect_poll_counts_as_assertion() {
        // TC-03: expect.poll(() => value).toBe(expected) -> T001 should NOT fire
        let source = fixture("t001_expect_poll.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_expect_poll.test.ts");
        assert_eq!(funcs.len(), 1);
        assert!(
            funcs[0].analysis.assertion_count >= 1,
            "expect.poll() should count as assertion, got {}",
            funcs[0].analysis.assertion_count
        );
    }

    // --- T001 FP fix: Chai property-style assertions (#32) ---

    #[test]
    fn t001_chai_property_fixture_all_detected() {
        // All 6 test functions in chai property fixture should have assertions
        let source = fixture("t001_chai_property.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_chai_property.test.ts");
        assert_eq!(funcs.len(), 6);
        for f in &funcs {
            assert!(
                f.analysis.assertion_count >= 1,
                "test '{}' should have assertion_count >= 1, got {}",
                f.name,
                f.analysis.assertion_count
            );
        }
    }

    #[test]
    fn t001_chai_property_depth1_no_double_count() {
        // TC-02: expect(x).ok (depth 1) -> assertion_count == 1
        let source = r#"
import { expect } from 'chai';
describe('d', () => {
  it('t', () => {
    expect(x).ok;
  });
});
"#;
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(source, "test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(
            funcs[0].analysis.assertion_count, 1,
            "depth 1 property should count exactly 1, got {}",
            funcs[0].analysis.assertion_count
        );
    }

    #[test]
    fn t001_chai_property_depth3_no_double_count() {
        // TC-03: expect(x).to.be.true (depth 3) -> assertion_count == 1
        let source = r#"
import { expect } from 'chai';
describe('d', () => {
  it('t', () => {
    expect(x).to.be.true;
  });
});
"#;
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(source, "test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(
            funcs[0].analysis.assertion_count, 1,
            "depth 3 property should count exactly 1, got {}",
            funcs[0].analysis.assertion_count
        );
    }

    #[test]
    fn t001_chai_property_depth4_no_double_count() {
        // TC-04: expect(spy).to.have.been.calledOnce (depth 4) -> assertion_count == 1
        let source = r#"
import { expect } from 'chai';
describe('d', () => {
  it('t', () => {
    expect(spy).to.have.been.calledOnce;
  });
});
"#;
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(source, "test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(
            funcs[0].analysis.assertion_count, 1,
            "depth 4 property should count exactly 1, got {}",
            funcs[0].analysis.assertion_count
        );
    }

    #[test]
    fn t001_chai_property_intermediate_not_counted() {
        // TC-05: expect(x).to; as bare expression_statement -> assertion_count == 0
        // .to is NOT in the terminal allowlist, so the allowlist filter rejects it.
        let source = r#"
import { expect } from 'chai';
describe('d', () => {
  it('t', () => {
    expect(x).to;
  });
});
"#;
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(source, "test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(
            funcs[0].analysis.assertion_count, 0,
            "intermediate property .to should NOT count as assertion, got {}",
            funcs[0].analysis.assertion_count
        );
    }

    // --- T001 FP fix: expect modifier chains .not/.resolves (#37) ---

    #[test]
    fn t001_not_modifier_all_detected() {
        // TC-01..03: expect(x).not.toBe/toEqual/toContain -> assertion_count == 1 each
        let source = fixture("t001_not_modifier.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_not_modifier.test.ts");
        assert_eq!(funcs.len(), 3);
        for f in &funcs {
            assert_eq!(
                f.analysis.assertion_count, 1,
                "test '{}' with .not modifier should have assertion_count == 1, got {}",
                f.name, f.analysis.assertion_count
            );
        }
    }

    #[test]
    fn t001_resolves_rejects_chain_all_detected() {
        // TC-04..06: resolves.toBe, resolves.not.toThrow, rejects.not.toThrow -> assertion_count == 1 each
        let source = fixture("t001_resolves_rejects_chain.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs =
            extractor.extract_test_functions(&source, "t001_resolves_rejects_chain.test.ts");
        assert_eq!(funcs.len(), 3);
        for f in &funcs {
            assert_eq!(
                f.analysis.assertion_count, 1,
                "test '{}' with modifier chain should have assertion_count == 1, got {}",
                f.name, f.analysis.assertion_count
            );
        }
    }

    // --- T001 FP fix: Chai method-call chain assertions (#40) ---

    #[test]
    fn t001_chai_method_call_fixture_all_detected() {
        // TC-01~07 should have assertions, TC-08~09 should not, TC-10~18 should have assertions
        let source = fixture("t001_chai_method_call.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_chai_method_call.test.ts");
        assert_eq!(funcs.len(), 18);

        // TC-01: expect(x).to.equal(y) — depth 2, exactly 1 (no double-count)
        assert_eq!(
            funcs[0].analysis.assertion_count, 1,
            "TC-01 to.equal should count exactly 1, got {}",
            funcs[0].analysis.assertion_count
        );

        // TC-02: expect(x).to.be.a('string') — depth 3
        assert!(
            funcs[1].analysis.assertion_count >= 1,
            "TC-02 to.be.a should have assertion_count >= 1, got {}",
            funcs[1].analysis.assertion_count
        );

        // TC-03: expect(spy).to.have.callCount(3) — depth 3
        assert!(
            funcs[2].analysis.assertion_count >= 1,
            "TC-03 to.have.callCount should have assertion_count >= 1, got {}",
            funcs[2].analysis.assertion_count
        );

        // TC-04: expect(spy).to.have.been.calledWith(arg) — depth 4
        assert!(
            funcs[3].analysis.assertion_count >= 1,
            "TC-04 to.have.been.calledWith should have assertion_count >= 1, got {}",
            funcs[3].analysis.assertion_count
        );

        // TC-05: expect(spy).to.not.have.been.calledWith(arg) — depth 5
        assert!(
            funcs[4].analysis.assertion_count >= 1,
            "TC-05 to.not.have.been.calledWith should have assertion_count >= 1, got {}",
            funcs[4].analysis.assertion_count
        );

        // TC-06: mixed property (.to.be.true) + method (.to.equal) — both counted
        assert!(
            funcs[5].analysis.assertion_count >= 2,
            "TC-06 mixed property+method should have assertion_count >= 2, got {}",
            funcs[5].analysis.assertion_count
        );

        // TC-07: multiple method assertions
        assert!(
            funcs[6].analysis.assertion_count >= 2,
            "TC-07 multiple methods should have assertion_count >= 2, got {}",
            funcs[6].analysis.assertion_count
        );

        // TC-08: no assertion (regression guard)
        assert_eq!(
            funcs[7].analysis.assertion_count, 0,
            "TC-08 no assertion should have assertion_count == 0, got {}",
            funcs[7].analysis.assertion_count
        );

        // TC-09: expect(x).to.customHelper() — NOT in terminal vocabulary
        assert_eq!(
            funcs[8].analysis.assertion_count, 0,
            "TC-09 customHelper should have assertion_count == 0, got {}",
            funcs[8].analysis.assertion_count
        );

        // TC-10: expect(x).not.to.equal(y) — depth 3, not at position 1
        assert!(
            funcs[9].analysis.assertion_count >= 1,
            "TC-10 not.to.equal should have assertion_count >= 1, got {}",
            funcs[9].analysis.assertion_count
        );

        // TC-11 (regression): expect(x).to.equal(y) — exact count 1
        assert_eq!(
            funcs[10].analysis.assertion_count, 1,
            "TC-11 to.equal regression should count exactly 1, got {}",
            funcs[10].analysis.assertion_count
        );

        // TC-12: expect(obj).to.have.deep.equal({a:1}) — deep intermediate
        assert!(
            funcs[11].analysis.assertion_count >= 1,
            "TC-12 deep intermediate should have assertion_count >= 1, got {}",
            funcs[11].analysis.assertion_count
        );

        // TC-13: expect(obj).to.have.nested.property('a.b') — nested intermediate
        assert!(
            funcs[12].analysis.assertion_count >= 1,
            "TC-13 nested intermediate should have assertion_count >= 1, got {}",
            funcs[12].analysis.assertion_count
        );

        // TC-14: expect(obj).to.have.own.property('x') — own intermediate
        assert!(
            funcs[13].analysis.assertion_count >= 1,
            "TC-14 own intermediate should have assertion_count >= 1, got {}",
            funcs[13].analysis.assertion_count
        );

        // TC-15: expect(arr).to.have.ordered.members([1,2]) — ordered intermediate
        assert!(
            funcs[14].analysis.assertion_count >= 1,
            "TC-15 ordered intermediate should have assertion_count >= 1, got {}",
            funcs[14].analysis.assertion_count
        );

        // TC-16: expect(obj).to.have.any.keys('x') — any intermediate
        assert!(
            funcs[15].analysis.assertion_count >= 1,
            "TC-16 any intermediate should have assertion_count >= 1, got {}",
            funcs[15].analysis.assertion_count
        );

        // TC-17: expect(obj).to.have.all.keys('x','y') — all intermediate
        assert!(
            funcs[16].analysis.assertion_count >= 1,
            "TC-17 all intermediate should have assertion_count >= 1, got {}",
            funcs[16].analysis.assertion_count
        );

        // TC-18: expect(obj).itself.to.respondTo('bar') — itself intermediate
        assert!(
            funcs[17].analysis.assertion_count >= 1,
            "TC-18 itself intermediate should have assertion_count >= 1, got {}",
            funcs[17].analysis.assertion_count
        );
    }

    #[test]
    fn t001_chai_method_call_depth2_no_double_count() {
        // expect(x).to.equal(y) should count exactly 1 (not double-counted with depth-1)
        let source = r#"
import { expect } from 'chai';
describe('d', () => {
  it('t', () => {
    expect(x).to.equal(y);
  });
});
"#;
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(source, "test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(
            funcs[0].analysis.assertion_count, 1,
            "depth 2 method-call should count exactly 1, got {}",
            funcs[0].analysis.assertion_count
        );
    }

    #[test]
    fn t001_chai_deep_intermediate_no_double_count() {
        // expect(obj).to.have.deep.equal({a:1}) should count exactly 1
        let source = r#"
import { expect } from 'chai';
describe('d', () => {
  it('t', () => {
    expect(obj).to.have.deep.equal({a: 1});
  });
});
"#;
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(source, "test.ts");
        assert_eq!(funcs.len(), 1);
        assert_eq!(
            funcs[0].analysis.assertion_count, 1,
            "deep intermediate should count exactly 1, got {}",
            funcs[0].analysis.assertion_count
        );
    }

    #[test]
    fn t001_expect_soft_chain_fixture() {
        // B1-B10: expect.soft/element/poll modifier chain tests
        let source = fixture("t001_expect_soft_chain.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_expect_soft_chain.test.ts");
        assert_eq!(funcs.len(), 10);

        // B1 (regression): expect.soft(x).toBe(y) — depth-2 existing
        assert!(
            funcs[0].analysis.assertion_count >= 1,
            "B1 expect.soft depth-2 should have assertion_count >= 1, got {}",
            funcs[0].analysis.assertion_count
        );

        // B2: expect.soft(x).not.toBe(y) — depth-3
        assert!(
            funcs[1].analysis.assertion_count >= 1,
            "B2 expect.soft.not depth-3 should have assertion_count >= 1, got {}",
            funcs[1].analysis.assertion_count
        );

        // B3: expect.soft(x).resolves.toBe(y) — depth-3
        assert!(
            funcs[2].analysis.assertion_count >= 1,
            "B3 expect.soft.resolves depth-3 should have assertion_count >= 1, got {}",
            funcs[2].analysis.assertion_count
        );

        // B4: expect.soft(x).rejects.toThrow() — depth-3
        assert!(
            funcs[3].analysis.assertion_count >= 1,
            "B4 expect.soft.rejects depth-3 should have assertion_count >= 1, got {}",
            funcs[3].analysis.assertion_count
        );

        // B5: expect.soft(x).resolves.not.toBe(y) — depth-4
        assert!(
            funcs[4].analysis.assertion_count >= 1,
            "B5 expect.soft.resolves.not depth-4 should have assertion_count >= 1, got {}",
            funcs[4].analysis.assertion_count
        );

        // B6: expect.soft(x).rejects.not.toThrow(TypeError) — depth-4
        assert!(
            funcs[5].analysis.assertion_count >= 1,
            "B6 expect.soft.rejects.not depth-4 should have assertion_count >= 1, got {}",
            funcs[5].analysis.assertion_count
        );

        // B7 (negative): expect.soft(x).resolves.customHelper() — NOT a toX terminal
        assert_eq!(
            funcs[6].analysis.assertion_count, 0,
            "B7 customHelper should have assertion_count == 0, got {}",
            funcs[6].analysis.assertion_count
        );

        // B8 (negative): no assertions
        assert_eq!(
            funcs[7].analysis.assertion_count, 0,
            "B8 no assertion should have assertion_count == 0, got {}",
            funcs[7].analysis.assertion_count
        );

        // B9: expect.element(loc).not.toHaveText('x') — depth-3
        assert!(
            funcs[8].analysis.assertion_count >= 1,
            "B9 expect.element.not depth-3 should have assertion_count >= 1, got {}",
            funcs[8].analysis.assertion_count
        );

        // B10: expect.poll(fn).not.toBe(0) — depth-3
        assert!(
            funcs[9].analysis.assertion_count >= 1,
            "B10 expect.poll.not depth-3 should have assertion_count >= 1, got {}",
            funcs[9].analysis.assertion_count
        );
    }

    // --- T001 FP fix: supertest .expect() method-call oracle (#47) ---

    #[test]
    fn t001_supertest_expect_method_call() {
        let source = fixture("t001_supertest.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_supertest.test.ts");
        assert_eq!(funcs.len(), 6);

        // TC-01: single .expect(200) on chain — assertion_count == 1
        assert_eq!(
            funcs[0].analysis.assertion_count, 1,
            "TC-01 single .expect(200) should have assertion_count == 1, got {}",
            funcs[0].analysis.assertion_count
        );

        // TC-02: two .expect() on same chain — assertion_count == 2
        assert_eq!(
            funcs[1].analysis.assertion_count, 2,
            "TC-02 two .expect() should have assertion_count == 2, got {}",
            funcs[1].analysis.assertion_count
        );

        // TC-03: chain with .set() and two .expect() — assertion_count == 2
        assert_eq!(
            funcs[2].analysis.assertion_count, 2,
            "TC-03 .set() + two .expect() should have assertion_count == 2, got {}",
            funcs[2].analysis.assertion_count
        );

        // TC-04: no assertion (plain request) — assertion_count == 0
        assert_eq!(
            funcs[3].analysis.assertion_count, 0,
            "TC-04 no assertion should have assertion_count == 0, got {}",
            funcs[3].analysis.assertion_count
        );

        // TC-05: standalone expect(x).toBe(y) — assertion_count == 1 (no double-count)
        assert_eq!(
            funcs[4].analysis.assertion_count, 1,
            "TC-05 standalone expect should have assertion_count == 1, got {}",
            funcs[4].analysis.assertion_count
        );

        // TC-06: non-supertest chain: someBuilder().expect('foo') — assertion_count == 1
        assert_eq!(
            funcs[5].analysis.assertion_count, 1,
            "TC-06 non-supertest builder .expect() should have assertion_count == 1, got {}",
            funcs[5].analysis.assertion_count
        );
    }

    // --- T001 FP fix: Chai/Sinon vocabulary expansion (#48) ---

    #[test]
    fn t001_chai_vocab_expansion_fixture_all_detected() {
        let source = fixture("t001_chai_vocab_expansion.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_chai_vocab_expansion.test.ts");
        assert_eq!(funcs.len(), 18);

        // TC-01 through TC-16: all should have assertion_count >= 1
        for (i, f) in funcs.iter().enumerate().take(16) {
            assert!(
                f.analysis.assertion_count >= 1,
                "TC-{:02} '{}' should have assertion_count >= 1, got {}",
                i + 1,
                f.name,
                f.analysis.assertion_count
            );
        }

        // TC-17: sinon.stub() — NOT an assertion
        assert_eq!(
            funcs[16].analysis.assertion_count, 0,
            "TC-17 sinon.stub should have assertion_count == 0, got {}",
            funcs[16].analysis.assertion_count
        );

        // TC-18: no assertion
        assert_eq!(
            funcs[17].analysis.assertion_count, 0,
            "TC-18 no assertion should have assertion_count == 0, got {}",
            funcs[17].analysis.assertion_count
        );
    }

    // --- T001 FP fix: Chai property in arrow body (#49) ---

    #[test]
    fn t001_chai_property_arrow_fixture_all_detected() {
        let source = fixture("t001_chai_property_arrow.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_chai_property_arrow.test.ts");
        assert_eq!(funcs.len(), 8);

        // TC-01 through TC-07: all should have assertion_count >= 1
        for (i, f) in funcs.iter().enumerate().take(7) {
            assert!(
                f.analysis.assertion_count >= 1,
                "TC-{:02} '{}' should have assertion_count >= 1, got {}",
                i + 1,
                f.name,
                f.analysis.assertion_count
            );
        }

        // TC-08: negative — no assertion
        assert_eq!(
            funcs[7].analysis.assertion_count, 0,
            "TC-08 no assertion should have assertion_count == 0, got {}",
            funcs[7].analysis.assertion_count
        );
    }

    // --- T001 FP fix: Chai property in return statement (#52) ---

    #[test]
    fn t001_chai_property_return_fixture_detected() {
        let source = fixture("t001_chai_property_return.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_chai_property_return.test.ts");
        assert_eq!(funcs.len(), 6);

        // TC-01 through TC-05: return-wrapped depths 1-5, each == 1 (no double-count)
        for (i, f) in funcs.iter().enumerate().take(5) {
            assert_eq!(
                f.analysis.assertion_count,
                1,
                "TC-{:02} '{}' should have assertion_count == 1, got {}",
                i + 1,
                f.name,
                f.analysis.assertion_count
            );
        }

        // TC-06: negative — non-assertion return
        assert_eq!(
            funcs[5].analysis.assertion_count, 0,
            "TC-06 '{}' non-assertion return should have assertion_count == 0, got {}",
            funcs[5].name, funcs[5].analysis.assertion_count
        );
    }

    #[test]
    fn t001_chai_property_existing_wrappers_regression() {
        let extractor = TypeScriptExtractor::new();

        // expression_statement: "should detect to.be.true (depth 3)" at index 1
        let expr_source = fixture("t001_chai_property.test.ts");
        let expr_funcs =
            extractor.extract_test_functions(&expr_source, "t001_chai_property.test.ts");
        assert_eq!(expr_funcs[1].name, "should detect to.be.true (depth 3)");
        assert_eq!(
            expr_funcs[1].analysis.assertion_count, 1,
            "expression_statement wrapper regression: expected exactly 1 assertion, got {}",
            expr_funcs[1].analysis.assertion_count
        );

        // arrow_function body: "should detect property in forEach arrow" at index 0
        let arrow_source = fixture("t001_chai_property_arrow.test.ts");
        let arrow_funcs =
            extractor.extract_test_functions(&arrow_source, "t001_chai_property_arrow.test.ts");
        assert_eq!(
            arrow_funcs[0].name,
            "should detect property in forEach arrow"
        );
        assert_eq!(
            arrow_funcs[0].analysis.assertion_count, 1,
            "arrow_function body regression: expected exactly 1 assertion, got {}",
            arrow_funcs[0].analysis.assertion_count
        );
    }

    #[test]
    fn t107_skipped_for_typescript() {
        // TypeScript expect() has no message argument, so T107 should never fire.
        // assertion_message_count must equal assertion_count to prevent T107 from triggering.
        let source = fixture("t107_pass.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t107_pass.test.ts");
        assert_eq!(funcs.len(), 1);
        let analysis = &funcs[0].analysis;
        assert!(
            analysis.assertion_count >= 2,
            "fixture should have 2+ assertions: got {}",
            analysis.assertion_count
        );
        assert_eq!(
            analysis.assertion_message_count, analysis.assertion_count,
            "TS assertion_message_count should equal assertion_count to skip T107"
        );
    }

    // --- TC-14: TS test with myAssert() + config -> T001 does NOT fire ---
    #[test]
    fn t001_custom_helper_with_config_no_violation() {
        use exspec_core::query_utils::apply_custom_assertion_fallback;
        use exspec_core::rules::{evaluate_rules, Config};

        let source = fixture("t001_custom_helper.test.ts");
        let extractor = TypeScriptExtractor::new();
        let mut analysis = extractor.extract_file_analysis(&source, "t001_custom_helper.test.ts");
        let patterns = vec!["myAssert(".to_string()];
        apply_custom_assertion_fallback(&mut analysis, &source, &patterns);

        let config = Config::default();
        let diags = evaluate_rules(&analysis.functions, &config);
        let t001_diags: Vec<_> = diags.iter().filter(|d| d.rule.0 == "T001").collect();
        // "uses custom assertion" -> pass (custom pattern)
        // "uses standard expect" -> pass (standard detection)
        // "has no assertion" -> BLOCK
        assert_eq!(
            t001_diags.len(),
            1,
            "only 'has no assertion' test should trigger T001"
        );
    }

    // --- T001 FP fix: expect.assertions / expect.unreachable / expectType (#39) ---

    #[test]
    fn t001_expect_assertions_counts_as_assertion() {
        // TC-01: expect.assertions(1) -> T001 should NOT fire
        let source = fixture("t001_expect_assertions.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_expect_assertions.test.ts");
        // 8 test functions in fixture
        assert_eq!(funcs.len(), 8);

        // TC-01: expect.assertions(1) + expect(data).toBeDefined()
        assert!(
            funcs[0].analysis.assertion_count >= 1,
            "expect.assertions(N) should count as assertion, got {}",
            funcs[0].analysis.assertion_count
        );

        // TC-02: expect.assertions(0) — single oracle, exact count catches double-counting
        assert_eq!(
            funcs[1].analysis.assertion_count, 1,
            "expect.assertions(0) should count as exactly 1 assertion, got {}",
            funcs[1].analysis.assertion_count
        );

        // TC-03: expect.hasAssertions() + expect(data).toBeTruthy()
        assert!(
            funcs[2].analysis.assertion_count >= 1,
            "expect.hasAssertions() should count as assertion, got {}",
            funcs[2].analysis.assertion_count
        );

        // TC-04: expect.unreachable() — single oracle, exact count catches double-counting
        assert_eq!(
            funcs[3].analysis.assertion_count, 1,
            "expect.unreachable() should count as exactly 1 assertion, got {}",
            funcs[3].analysis.assertion_count
        );

        // TC-05: expectType<User>(user) — single oracle, exact count catches double-counting
        assert_eq!(
            funcs[4].analysis.assertion_count, 1,
            "expectType<T>(value) should count as exactly 1 assertion, got {}",
            funcs[4].analysis.assertion_count
        );

        // TC-06: expect.assertions(2) + expect(a).toBe(1) + expect(b).toBe(2) -> 3+
        assert!(
            funcs[5].analysis.assertion_count >= 2,
            "mixed expect.assertions + expect().toBe() should count 2+, got {}",
            funcs[5].analysis.assertion_count
        );

        // TC-07: expectType + expectTypeOf -> both counted
        assert!(
            funcs[6].analysis.assertion_count >= 2,
            "expectType + expectTypeOf should count 2+, got {}",
            funcs[6].analysis.assertion_count
        );

        // TC-08: no assertions -> BLOCK (regression guard)
        assert_eq!(
            funcs[7].analysis.assertion_count, 0,
            "no-assertion test should have assertion_count == 0"
        );
    }

    // --- T001 FP fix: Chai NestJS alias/property vocabulary expansion (#50) ---

    #[test]
    fn t001_chai_nestjs_aliases_fixture() {
        let source = fixture("t001_chai_nestjs_aliases.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_chai_nestjs_aliases.test.ts");
        assert_eq!(funcs.len(), 9);

        // TC-01: instanceof method alias (depth-3)
        assert!(
            funcs[0].analysis.assertion_count >= 1,
            "TC-01 instanceof alias should have assertion_count >= 1, got {}",
            funcs[0].analysis.assertion_count
        );

        // TC-02: throws method alias (depth-2)
        assert!(
            funcs[1].analysis.assertion_count >= 1,
            "TC-02 throws alias should have assertion_count >= 1, got {}",
            funcs[1].analysis.assertion_count
        );

        // TC-03: contains method alias (depth-2)
        assert!(
            funcs[2].analysis.assertion_count >= 1,
            "TC-03 contains alias should have assertion_count >= 1, got {}",
            funcs[2].analysis.assertion_count
        );

        // TC-04: equals method alias (depth-2)
        assert!(
            funcs[3].analysis.assertion_count >= 1,
            "TC-04 equals alias should have assertion_count >= 1, got {}",
            funcs[3].analysis.assertion_count
        );

        // TC-05: ownProperty method (depth-3)
        assert!(
            funcs[4].analysis.assertion_count >= 1,
            "TC-05 ownProperty should have assertion_count >= 1, got {}",
            funcs[4].analysis.assertion_count
        );

        // TC-06: length method alias (depth-3)
        assert!(
            funcs[5].analysis.assertion_count >= 1,
            "TC-06 length alias should have assertion_count >= 1, got {}",
            funcs[5].analysis.assertion_count
        );

        // TC-07: throw property terminal (depth-3, no parens)
        assert!(
            funcs[6].analysis.assertion_count >= 1,
            "TC-07 throw property should have assertion_count >= 1, got {}",
            funcs[6].analysis.assertion_count
        );

        // TC-08: and intermediate + instanceof alias (deep chain)
        assert!(
            funcs[7].analysis.assertion_count >= 1,
            "TC-08 and+instanceof deep chain should have assertion_count >= 1, got {}",
            funcs[7].analysis.assertion_count
        );

        // TC-09: negative — truly assertion-free (TP control)
        assert_eq!(
            funcs[8].analysis.assertion_count, 0,
            "TC-09 no assertion should have assertion_count == 0, got {}",
            funcs[8].analysis.assertion_count
        );
    }

    // --- T001 FP fix: Sinon mock .verify() method-call oracle (#51) ---

    #[test]
    fn t001_sinon_verify_fixture_all_detected() {
        let source = fixture("t001_sinon_verify.test.ts");
        let extractor = TypeScriptExtractor::new();
        let funcs = extractor.extract_test_functions(&source, "t001_sinon_verify.test.ts");
        assert_eq!(funcs.len(), 7);

        // TC-01 through TC-05: all should have assertion_count >= 1
        for (i, f) in funcs.iter().enumerate().take(5) {
            assert!(
                f.analysis.assertion_count >= 1,
                "TC-{:02} '{}' should have assertion_count >= 1, got {}",
                i + 1,
                f.name,
                f.analysis.assertion_count
            );
        }

        // TC-05 specifically: verify + expect — should have assertion_count >= 2
        assert!(
            funcs[4].analysis.assertion_count >= 2,
            "TC-05 verify + expect should have assertion_count >= 2, got {}",
            funcs[4].analysis.assertion_count
        );

        // TC-06: mock.restore() — NOT an assertion
        assert_eq!(
            funcs[5].analysis.assertion_count, 0,
            "TC-06 mock.restore should have assertion_count == 0, got {}",
            funcs[5].analysis.assertion_count
        );

        // TC-07: no assertion
        assert_eq!(
            funcs[6].analysis.assertion_count, 0,
            "TC-07 no assertion should have assertion_count == 0, got {}",
            funcs[6].analysis.assertion_count
        );
    }

    // --- Same-file helper tracing (Phase 23b TypeScript port, TC-01 ~ TC-08) ---

    #[test]
    fn helper_tracing_tc01_calls_helper_with_assert() {
        // TC-01: test that calls a helper with assertion → assertion_count >= 1 after tracing
        let source = fixture("t001_pass_helper_tracing.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t001_pass_helper_tracing.test.ts");
        let func = fa
            .functions
            .iter()
            .find(|f| f.name == "TC-01 calls helper with assert")
            .expect("TC-01 calls helper with assert not found");
        assert!(
            func.analysis.assertion_count >= 1,
            "TC-01: expected assertion_count >= 1, got {}",
            func.analysis.assertion_count
        );
    }

    #[test]
    fn helper_tracing_tc02_calls_helper_without_assert() {
        // TC-02: test that calls a helper WITHOUT assertion → assertion_count stays 0
        let source = fixture("t001_pass_helper_tracing.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t001_pass_helper_tracing.test.ts");
        let func = fa
            .functions
            .iter()
            .find(|f| f.name == "TC-02 calls helper without assert")
            .expect("TC-02 calls helper without assert not found");
        assert_eq!(
            func.analysis.assertion_count, 0,
            "TC-02: expected assertion_count == 0, got {}",
            func.analysis.assertion_count
        );
    }

    #[test]
    fn helper_tracing_tc03_has_own_assert_plus_helper() {
        // TC-03: test with own assert + calls helper → assertion_count >= 1 (direct assertion)
        let source = fixture("t001_pass_helper_tracing.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t001_pass_helper_tracing.test.ts");
        let func = fa
            .functions
            .iter()
            .find(|f| f.name == "TC-03 has own assert plus helper")
            .expect("TC-03 has own assert plus helper not found");
        assert!(
            func.analysis.assertion_count >= 1,
            "TC-03: expected assertion_count >= 1, got {}",
            func.analysis.assertion_count
        );
    }

    #[test]
    fn helper_tracing_tc04_calls_undefined_function() {
        // TC-04: calling a function not defined in the file → no crash, assertion_count stays 0
        let source = fixture("t001_pass_helper_tracing.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t001_pass_helper_tracing.test.ts");
        let func = fa
            .functions
            .iter()
            .find(|f| f.name == "TC-04 calls undefined function")
            .expect("TC-04 calls undefined function not found");
        assert_eq!(
            func.analysis.assertion_count, 0,
            "TC-04: expected assertion_count == 0, got {}",
            func.analysis.assertion_count
        );
    }

    #[test]
    fn helper_tracing_tc05_two_hop_tracing() {
        // TC-05: 2-hop helper (intermediate → checkResult) — only 1-hop traced.
        // intermediate() itself has NO assertion → assertion_count stays 0
        let source = fixture("t001_pass_helper_tracing.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t001_pass_helper_tracing.test.ts");
        let func = fa
            .functions
            .iter()
            .find(|f| f.name == "TC-05 two hop tracing")
            .expect("TC-05 two hop tracing not found");
        assert_eq!(
            func.analysis.assertion_count, 0,
            "TC-05: 2-hop not traced, expected assertion_count == 0, got {}",
            func.analysis.assertion_count
        );
    }

    #[test]
    fn helper_tracing_tc06_with_assertion_early_return() {
        // TC-06: test with own assertion → helper tracing early returns, assertion_count unchanged
        let source = fixture("t001_pass_helper_tracing.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t001_pass_helper_tracing.test.ts");
        let func = fa
            .functions
            .iter()
            .find(|f| f.name == "TC-06 with assertion early return")
            .expect("TC-06 with assertion early return not found");
        assert!(
            func.analysis.assertion_count >= 1,
            "TC-06: expected assertion_count >= 1, got {}",
            func.analysis.assertion_count
        );
    }

    #[test]
    fn helper_tracing_tc07_multiple_calls_same_helper() {
        // TC-07: test that calls same helper multiple times
        // Should deduplicate and count helper assertions once, not once per call.
        // checkResult has exactly 1 assert → dedup → assertion_count == 1
        let source = fixture("t001_pass_helper_tracing.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t001_pass_helper_tracing.test.ts");
        let func = fa
            .functions
            .iter()
            .find(|f| f.name == "TC-07 multiple calls same helper")
            .expect("TC-07 multiple calls same helper not found");
        assert_eq!(
            func.analysis.assertion_count, 1,
            "TC-07: dedup expected assertion_count == 1, got {}",
            func.analysis.assertion_count
        );
    }

    #[test]
    fn helper_tracing_tc08_arrow_function_helper() {
        // TC-08: arrow function helper with assertion → assertion_count >= 1
        let source = fixture("t001_pass_helper_tracing.test.ts");
        let extractor = TypeScriptExtractor::new();
        let fa = extractor.extract_file_analysis(&source, "t001_pass_helper_tracing.test.ts");
        let func = fa
            .functions
            .iter()
            .find(|f| f.name == "TC-08 arrow function helper")
            .expect("TC-08 arrow function helper not found");
        assert!(
            func.analysis.assertion_count >= 1,
            "TC-08: arrow function helper expected assertion_count >= 1, got {}",
            func.analysis.assertion_count
        );
    }
}