.env.example

# S-MRVA environment configuration
# Copy to .env and fill in your keys: cp .env.example .env
#
# The LLM is any OpenAI-compatible endpoint. The default is DeepSeek (LLM_*);
# DashScope/Qwen is an alternative. The 'qwen' embedding path reads DASHSCOPE_*
# DIRECTLY (it does NOT use LLM_*); for a fully local embedding use codet5p.

# --- LLM (required): DeepSeek (default) ---
LLM_API_KEY=sk-...
LLM_BASE_URL=https://api.deepseek.com
LLM_MODEL=deepseek-flash

# Alternative provider: DashScope / Qwen (uncomment these and comment out the
# LLM_* lines above). DashScope keys are region-bound; for use outside mainland
# China, use a Singapore-region key and the international endpoint:
#   DASHSCOPE_BASE_URL=https://dashscope-intl.aliyuncs.com/compatible-mode/v1
# DASHSCOPE_API_KEY=sk-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
# DASHSCOPE_BASE_URL=https://dashscope.aliyuncs.com/compatible-mode/v1
# LLM_MODEL=qwen3.5-plus

# --- Embedding for code deduplication ---
#   codet5p = local Salesforce/codet5p-110m-embedding (no external call) [default]
#   qwen    = DashScope text-embedding-v4 (uses DASHSCOPE_API_KEY/BASE_URL)
EMBED_MODEL=codet5p
# EMBED_QWEN_MODEL=text-embedding-v4

# GitHub code search tokens (comma-separated) — needed for the QueryAgent
GITHUB_TOKENS=ghp_xxx,ghp_yyy

# Project root (inside Docker: /workspace)
SAT_WORK_DIR=/workspace

# Optional: LLM cost/time tracking
# ENABLE_COST_TRACKING=1

# Optional: ablation + parameter-sensitivity knobs (see README Part 2)
# LLM_DIRECT_MUTATION=1            # no-code-search ablation (LLM-only synthesis)
# ENABLE_LOGIC_TREE_REFINEMENT=0   # no-refine ablation
# LOGIC_TREE_B_LOW=2               # predicate branching (low)
# LOGIC_TREE_B_HIGH=5              # predicate branching (high) -> sensitivity
# EMBED_SIM_THRESHOLD=0.60         # snippet-dedup threshold tau -> sensitivity