remem-ai 0.6.10

use super::*;

fn feature_hash_text_embedding(text: &str) -> TextEmbedding {
    TextEmbedding::new(
        crate::retrieval::embedding::FEATURE_HASH_EMBEDDING_MODEL,
        crate::retrieval::vector::embed_query_text(text),
    )
    .expect("feature-hash test embedding should be valid")
}

fn with_embedding_env<T>(vars: &[(&str, &str)], f: impl FnOnce() -> T) -> T {
    const KEYS: &[&str] = &[
        "REMEM_CONFIG",
        "REMEM_EMBEDDINGS_PROVIDER",
        "REMEM_EMBEDDINGS_FALLBACK",
        "REMEM_EMBEDDINGS_BASE_URL",
        "REMEM_EMBEDDINGS_API_KEY",
        "REMEM_EMBEDDINGS_MODEL",
        "REMEM_EMBEDDINGS_MODEL_DIR",
        "REMEM_EMBEDDINGS_TIMEOUT_SECS",
        "OPENAI_API_KEY",
    ];
    let _guard = crate::runtime_config::TEST_ENV_LOCK
        .lock()
        .expect("env lock should acquire");
    let saved = KEYS
        .iter()
        .map(|key| (*key, std::env::var(key).ok()))
        .collect::<Vec<_>>();
    for key in KEYS {
        unsafe { std::env::remove_var(key) };
    }
    for (key, value) in vars {
        unsafe { std::env::set_var(key, value) };
    }
    let result = f();
    for (key, value) in saved {
        match value {
            Some(value) => unsafe { std::env::set_var(key, value) },
            None => unsafe { std::env::remove_var(key) },
        }
    }
    result
}

fn feature_hash_embedding_refinement(
    memory_id: i64,
    existing: &PreferenceProfile,
    incoming: &PreferenceProfile,
    existing_text: &str,
    incoming_text: &str,
) -> Option<PreferenceConsolidationMatch> {
    let existing_embedding = feature_hash_text_embedding(existing_text);
    let incoming_embedding = feature_hash_text_embedding(incoming_text);
    embedding_refinement_from_embeddings(
        memory_id,
        existing,
        incoming,
        &existing_embedding,
        &incoming_embedding,
    )
}

#[test]
fn consolidation_returns_none_without_embedding_when_no_candidates() -> anyhow::Result<()> {
    let conn = rusqlite::Connection::open_in_memory()?;
    crate::migrate::run_migrations(&conn)?;

    let result = with_forbidden_active_preference_embedding(|| {
        find_preference_consolidation(
            &conn,
            "repo",
            "/repo",
            "project",
            None,
            "Prefer concise Chinese progress updates.",
            chrono::Utc::now().timestamp(),
        )
    })?;

    assert!(result.is_none());
    Ok(())
}

#[test]
fn consolidation_uses_same_preference_before_unavailable_active_embedding() -> anyhow::Result<()> {
    let conn = rusqlite::Connection::open_in_memory()?;
    crate::migrate::run_migrations(&conn)?;
    crate::memory::insert_memory_full(
        &conn,
        None,
        "/repo",
        None,
        "Preference: concise Chinese updates",
        "Prefer concise Chinese progress updates.",
        "preference",
        None,
        None,
        "project",
        None,
    )?;
    let result = with_forbidden_active_preference_embedding(|| {
        find_preference_consolidation(
            &conn,
            "repo",
            "/repo",
            "project",
            None,
            "Prefer concise Chinese progress updates.",
            chrono::Utc::now().timestamp(),
        )
    })?
    .expect("concept match should not require active embedding");

    assert_eq!(result.kind, PreferenceConsolidationKind::SamePreference);
    Ok(())
}

#[test]
fn classify_preference_texts_uses_local_fallback_without_active_embedding() {
    let existing_text = r#"- Prefer minimal vertical slice (最小纵向闭环) over "full cloud platform" first; strict scope control and phased delivery.
- Favor extending existing pathways rather than creating parallel UI/event infrastructure."#;
    let incoming_text = r#"Prefer minimal vertical slice (最小纵向闭环) with deterministic routing, keep live Atlas runs opt-in, and validate via concrete artifacts while keeping credentials server-side."#;

    let result = with_forbidden_active_preference_embedding(|| {
        classify_preference_texts(1, existing_text, incoming_text)
    })
    .expect("render/audit text fallback should stay local");

    assert_eq!(result.kind, PreferenceConsolidationKind::Refinement);
}

#[test]
fn consolidation_propagates_embedding_error_when_fallback_needed() -> anyhow::Result<()> {
    let conn = rusqlite::Connection::open_in_memory()?;
    crate::migrate::run_migrations(&conn)?;
    let existing_text = r#"- Prefer minimal vertical slice (最小纵向闭环) over "full cloud platform" first; strict scope control and phased delivery.
- Favor extending existing pathways rather than creating parallel UI/event infrastructure."#;
    let incoming_text = r#"Prefer minimal vertical slice (最小纵向闭环) with deterministic routing, keep live Atlas runs opt-in, and validate via concrete artifacts while keeping credentials server-side."#;
    crate::memory::insert_memory_full(
        &conn,
        None,
        "/repo",
        None,
        "Preference: minimal vertical slice",
        existing_text,
        "preference",
        None,
        None,
        "project",
        None,
    )?;

    let error = with_forbidden_active_preference_embedding(|| {
        find_preference_consolidation(
            &conn,
            "repo",
            "/repo",
            "project",
            None,
            incoming_text,
            chrono::Utc::now().timestamp(),
        )
    })
    .expect_err("embedding fallback path should propagate active provider errors");

    assert!(error
        .to_string()
        .contains("active preference embedding called"));
    Ok(())
}

#[test]
fn consolidation_continues_embedding_after_weak_refinement() -> anyhow::Result<()> {
    let conn = rusqlite::Connection::open_in_memory()?;
    crate::migrate::run_migrations(&conn)?;
    crate::memory::insert_memory_full(
        &conn,
        None,
        "/repo",
        None,
        "Preference: concise Chinese updates",
        "Prefer concise Chinese progress updates.",
        "preference",
        None,
        None,
        "project",
        None,
    )?;

    let error = with_forbidden_active_preference_embedding(|| {
        find_preference_consolidation(
            &conn,
            "repo",
            "/repo",
            "project",
            None,
            "Prefer brief Chinese status notes.",
            chrono::Utc::now().timestamp(),
        )
    })
    .expect_err("weak concept refinement should continue into embedding fallback");

    assert!(error
        .to_string()
        .contains("active preference embedding called"));
    Ok(())
}

#[test]
fn embedding_refinement_skips_candidate_when_incoming_embedding_unavailable() -> anyhow::Result<()>
{
    let existing = PreferenceProfile::new("Prefer concise Chinese progress updates.");
    let incoming = PreferenceProfile::new("Prefer brief Chinese status notes.");
    let mut incoming_embedding = None;
    let mut fallback_cache = crate::retrieval::embedding::EmbeddingFallbackCache::default();

    let result = with_forbidden_active_preference_embedding(|| {
        embedding_refinement(
            1,
            &existing,
            &incoming,
            "Prefer concise Chinese progress updates.",
            "Prefer brief Chinese status notes.",
            &mut incoming_embedding,
            &mut fallback_cache,
        )
    })?;

    assert!(result.is_none());
    Ok(())
}

#[test]
fn active_preference_embedding_propagates_api_failure_when_fallback_is_off() {
    with_embedding_env(
        &[
            ("REMEM_EMBEDDINGS_PROVIDER", "api"),
            ("REMEM_EMBEDDINGS_FALLBACK", "off"),
            ("REMEM_EMBEDDINGS_BASE_URL", "http://127.0.0.1:9/v1"),
            ("REMEM_EMBEDDINGS_API_KEY", "test-key"),
            ("REMEM_EMBEDDINGS_TIMEOUT_SECS", "1"),
        ],
        || {
            let mut fallback_cache = crate::retrieval::embedding::EmbeddingFallbackCache::default();
            let error = active_preference_embedding_with_fallback_cache(
                "Prefer concise Chinese progress updates.",
                &mut fallback_cache,
            )
            .expect_err("fallback=off after an API failure must not become None");
            assert!(error
                .to_string()
                .contains("active preference embedding provider failed"));
            let cause_chain = format!("{error:#}");
            assert!(cause_chain.contains("embedding provider api failed"));
            assert!(cause_chain.contains("fallback off disabled provider fallback"));
        },
    );
}

#[test]
fn active_preference_embedding_preserves_local_failure_when_fallback_is_off() {
    let model_dir = std::env::temp_dir().join(format!(
        "remem-empty-local-models-{}-{}",
        std::process::id(),
        chrono::Utc::now().timestamp_nanos_opt().unwrap_or_default()
    ));
    let model_dir = model_dir.display().to_string();
    with_embedding_env(
        &[
            ("REMEM_EMBEDDINGS_PROVIDER", "local"),
            ("REMEM_EMBEDDINGS_FALLBACK", "off"),
            ("REMEM_EMBEDDINGS_MODEL_DIR", &model_dir),
        ],
        || {
            let mut fallback_cache = crate::retrieval::embedding::EmbeddingFallbackCache::default();
            let error = active_preference_embedding_with_fallback_cache(
                "Prefer concise Chinese progress updates.",
                &mut fallback_cache,
            )
            .expect_err("fallback=off after a local failure must not become None");
            assert!(error
                .to_string()
                .contains("active preference embedding provider failed"));
            let cause_chain = format!("{error:#}");
            assert!(cause_chain.contains("local embedding model"));
            assert!(cause_chain.contains("fallback off disabled provider fallback"));
        },
    );
}

#[test]
fn classifies_status_update_paraphrase_as_refinement() {
    let existing = PreferenceProfile::new("Prefer concise Chinese progress updates.");
    let incoming = PreferenceProfile::new("Prefer brief Chinese status notes.");

    let result = match classify_preference(1, &existing, &incoming) {
        Some(result) => result,
        None => panic!("should match"),
    };

    assert_eq!(result.kind, PreferenceConsolidationKind::Refinement);
    assert_eq!(
        result.shared_concepts,
        vec![
            "chinese".to_string(),
            "concise".to_string(),
            "status".to_string()
        ]
    );
}

#[test]
fn classifies_negated_same_domain_as_contradiction() {
    let existing = PreferenceProfile::new("Prefer concise Chinese progress updates.");
    let incoming = PreferenceProfile::new("Do not provide brief Chinese status notes.");

    let result = match classify_preference(1, &existing, &incoming) {
        Some(result) => result,
        None => panic!("should match"),
    };

    assert_eq!(result.kind, PreferenceConsolidationKind::Contradiction);
}

#[test]
fn classifies_exclusive_language_swap_as_contradiction_before_generic_cutoff() {
    let existing = PreferenceProfile::new("Prefer concise Chinese progress updates.");
    let incoming = PreferenceProfile::new("Prefer concise English progress updates.");

    let result = match classify_preference(1, &existing, &incoming) {
        Some(result) => result,
        None => panic!("should match"),
    };

    assert_eq!(result.kind, PreferenceConsolidationKind::Contradiction);
}

#[test]
fn local_negation_clause_does_not_reverse_positive_preference() {
    let existing =
        PreferenceProfile::new("Do not be verbose; prefer concise Chinese status notes.");
    let incoming = PreferenceProfile::new("Prefer concise Chinese status notes.");

    let result = match classify_preference(1, &existing, &incoming) {
        Some(result) => result,
        None => panic!("should match"),
    };

    assert_eq!(result.kind, PreferenceConsolidationKind::Refinement);
}

#[test]
fn better_match_prefers_same_preference_over_contradiction() {
    let same = PreferenceConsolidationMatch {
        memory_id: 1,
        kind: PreferenceConsolidationKind::SamePreference,
        score: 0.9,
        shared_concepts: Vec::new(),
        reason: String::new(),
    };
    let contradiction = PreferenceConsolidationMatch {
        memory_id: 2,
        kind: PreferenceConsolidationKind::Contradiction,
        score: 1.0,
        shared_concepts: Vec::new(),
        reason: String::new(),
    };

    assert!(better_match(&same, &contradiction));
    assert!(!better_match(&contradiction, &same));
}

#[test]
fn leaves_generic_but_distinct_preferences_unmatched() {
    let existing = PreferenceProfile::new("Prefer concise Chinese progress updates.");
    let incoming = PreferenceProfile::new("Prefer concise verification logs after tests.");

    assert!(classify_preference(1, &existing, &incoming).is_none());
}

#[test]
fn embedding_thresholds_are_model_specific() {
    assert_eq!(
        model_embedding_refine_threshold(crate::retrieval::embedding::FEATURE_HASH_EMBEDDING_MODEL),
        FEATURE_HASH_EMBEDDING_REFINE_THRESHOLD
    );
    assert!(
        model_embedding_refine_threshold("fastembed-intfloat-multilingual-e5-small-v1")
            > FEATURE_HASH_EMBEDDING_REFINE_THRESHOLD
    );
    assert!(
        model_embedding_refine_threshold("text-embedding-3-small")
            > FEATURE_HASH_EMBEDDING_REFINE_THRESHOLD
    );
    assert!(
        model_embedding_refine_threshold("vendor/custom-model") > OPENAI_EMBEDDING_REFINE_THRESHOLD
    );
}

#[test]
fn embedding_fallback_refines_same_intent_when_concepts_miss() {
    let existing_text = r#"- Prefer minimal vertical slice (最小纵向闭环) over "full cloud platform" first; strict scope control and phased delivery.
- Favor extending existing pathways rather than creating parallel UI/event infrastructure."#;
    let incoming_text = r#"Prefer minimal vertical slice (最小纵向闭环) with deterministic routing, keep live Atlas runs opt-in, and validate via concrete artifacts while keeping credentials server-side."#;
    let existing = PreferenceProfile::new(existing_text);
    let incoming = PreferenceProfile::new(incoming_text);

    assert!(classify_preference(1, &existing, &incoming).is_none());
    let result = match feature_hash_embedding_refinement(
        1,
        &existing,
        &incoming,
        existing_text,
        incoming_text,
    ) {
        Some(result) => result,
        None => panic!("embedding fallback should match same-intent variants"),
    };

    assert_eq!(result.kind, PreferenceConsolidationKind::Refinement);
    assert!(
        result.score >= FEATURE_HASH_EMBEDDING_REFINE_THRESHOLD as f64,
        "fallback score {} should meet default threshold",
        result.score
    );
}

#[test]
fn embedding_fallback_leaves_unrelated_preferences_unmatched() {
    let existing_text = "Prefer concise Chinese progress updates.";
    let incoming_text =
        "Prefer parameterized SQL queries and reject string-built database statements.";
    let existing = PreferenceProfile::new(existing_text);
    let incoming = PreferenceProfile::new(incoming_text);

    assert!(classify_preference(1, &existing, &incoming).is_none());
    assert!(feature_hash_embedding_refinement(
        1,
        &existing,
        &incoming,
        existing_text,
        incoming_text
    )
    .is_none());
}

#[test]
fn embedding_fallback_rejects_bidirectional_polarity_conflict() {
    let existing_text =
        "Never force push branches; require explicit approval before rewriting history.";
    let incoming_text =
        "Always force push branches; do not require approval before rewriting history.";
    let existing = PreferenceProfile::new(existing_text);
    let incoming = PreferenceProfile::new(incoming_text);

    assert!(feature_hash_embedding_refinement(
        1,
        &existing,
        &incoming,
        existing_text,
        incoming_text
    )
    .is_none());
}

/// Calibration: does main's concept-based consolidation already catch the
/// 10 real "minimal vertical slice" preference variants from the `her`
/// project (2026-05-29)? Run with --nocapture.
#[test]
fn calibrate_her_variants_consolidation_coverage() {
    let variants = [
        r#"- Prefer minimal vertical slice (最小纵向闭环) over "full cloud platform" first; strict scope control and phased delivery (Phase 1 then Phase 2).
    - Favor extending existing pathways (existing `/api/events` + sidebar) rather than creating parallel UI/event infrastructure."#,
        r#"- Prefer minimal vertical slice (最小纵向闭环) and phased delivery; avoid rewriting `/chat` and avoid adding parallel UI/event infrastructure.
- Favor using plugin extension points to avoid bloating core files; validate changes with scoped lint/tests (`npx eslint <file>`, targeted `pytest`)."#,
        r#"- Prefer minimal vertical slice (最小纵向闭环) and phased delivery; avoid rewriting `/chat` and avoid adding parallel UI/event infrastructure.
    - Favor using plugin extension points to avoid bloating core files; validate changes with scoped lint/tests (`npx eslint <file>`, targeted `pytest`).
    - Prefer cost-safe development: mock external providers by default; keep real provider smoke tests explicit opt-in."#,
        r#"- Prefer minimal vertical slice (最小纵向闭环) and phased delivery; avoid rewriting `/chat` or adding parallel UI/event infra. Prefer plugin extension points over core bloat; validate with scoped tests/lints; cost-safe development via mocking external providers by default."#,
        r#"- Prefer minimal vertical slice (最小纵向闭环) and phased delivery; cost-safe development via mocking external providers by default; keep the installed skill surface minimal and deterministic (now single-entry) with tarball backups before deletions."#,
        r#"Prefer minimal vertical slice (最小纵向闭环) and phased delivery; cost-safe development via mocking external providers by default; keep the installed skill surface minimal and deterministic (single entry) and avoid unapproved quota spend (live provider calls only with explicit opt-in)."#,
        r#"Prefer minimal vertical slice (最小纵向闭环) and cost-safe development: mock providers by default, run live Atlas only with explicit opt-in (env `ATLAS_API_KEY`), and keep entrypoints deterministic (single-entry intent routing)."#,
        r#"Prefer minimal vertical slice (最小纵向闭环) with deterministic single-entry routing, keep live Atlas runs opt-in (`ATLAS_API_KEY`), and validate via concrete end-to-end artifacts (HTTP 200 `video/mp4`, Playwright screenshot, test suite pass) rather than dashboard UI integration."#,
        r#"Prefer minimal vertical slice (最小纵向闭环) with deterministic routing, keep `ATLAS_API_KEY` server-side only, and validate via concrete artifacts (tests pass, screenshot, server health) while keeping live Atlas runs opt-in / user-triggered to control cost."#,
        r#"Prefer, cost-safe vertical slices: no auto-start generation, no fake jobs; keep credentials server-side; validate with concrete commands + targeted pytest + real browser verification."#,
    ];
    let profiles: Vec<PreferenceProfile> =
        variants.iter().map(|t| PreferenceProfile::new(t)).collect();
    let mut same = 0;
    let mut refinement = 0;
    let mut contradiction = 0;
    let mut none = 0;
    let mut total = 0;
    for i in 0..profiles.len() {
        for j in (i + 1)..profiles.len() {
            total += 1;
            let result = classify_preference(0, &profiles[i], &profiles[j]).or_else(|| {
                feature_hash_embedding_refinement(
                    0,
                    &profiles[i],
                    &profiles[j],
                    variants[i],
                    variants[j],
                )
            });
            match result {
                Some(m) => match m.kind {
                    PreferenceConsolidationKind::SamePreference => same += 1,
                    PreferenceConsolidationKind::Refinement => refinement += 1,
                    PreferenceConsolidationKind::Contradiction => contradiction += 1,
                },
                None => none += 1,
            }
        }
    }
    println!(
        "her variants ({} pairs): same={}, refinement={}, contradiction={}, none={}",
        total, same, refinement, contradiction, none
    );
    // With embedding fallback, most her variant pairs should now consolidate
    // (concept-only was 40/45 none). none stays non-zero only for the most
    // divergent pair (e.g. 78999, no shared "最小纵向闭环" wording).
    let consolidated = same + refinement + contradiction;
    assert!(
        consolidated >= 40,
        "embedding fallback should consolidate most her variants, got {consolidated}/{total} (none={none})"
    );
}