# Environment Configuration Template
# Copy this file to .env and fill in your actual values

# SiliconFlow DeepSeek V3.1 Configuration
SILICONFLOW_API_KEY=YOUR_SILICONFLOW_API_KEY_HERE
SILICONFLOW_MODEL=deepseek-ai/DeepSeek-V3.1
SILICONFLOW_BASE_URL=https://api.siliconflow.cn/v1

# CBMC Configuration
CBMC_PATH=cbmc
CBMC_VERSION_MIN=5.0
CBMC_DEFAULT_UNWINDING=10
CBMC_DEFAULT_TIMEOUT=300

# LLM Generation Configuration
LLM_TIMEOUT=120
LLM_MAX_RETRIES=3
LLM_RETRY_DELAY=1.0
LLM_RATE_LIMIT_DELAY=5.0
LLM_MAX_CONCURRENT_REQUESTS=3
LLM_TEMPERATURE=0.7
LLM_MAX_TOKENS=4096
LLM_TOP_P=0.95
LLM_STREAMING_ENABLED=True

# Specification Storage Configuration
SPEC_STORAGE_PATH=specifications
SPEC_ENABLE_VERSIONING=True
SPEC_MAX_VERSIONS=10
SPEC_FORMAT=json
SPEC_CLEANUP_INTERVAL=86400

# Specification Validation Configuration
SPEC_VALIDATION_ENABLED=True
SPEC_QUALITY_SYNTAX_THRESHOLD=0.9
SPEC_QUALITY_LOGIC_THRESHOLD=0.8
SPEC_QUALITY_COMPLETENESS_THRESHOLD=0.7
SPEC_QUALITY_OVERALL_THRESHOLD=0.75
SPEC_AUTO_REFINE=True
SPEC_MAX_REFINEMENTS=3

# Web Server Configuration
FLASK_ENV=development
FLASK_DEBUG=True
FLASK_HOST=0.0.0.0
FLASK_PORT=8080

# Logging Configuration
LOG_LEVEL=INFO
LOG_DIR=logs
LOG_MAX_SIZE=10MB
LOG_BACKUP_COUNT=5

# Project Configuration
PROJECT_NAME=Formal Spec Generator
PROJECT_VERSION=0.1.0
MAX_CONCURRENT_VERIFICATIONS=3
CACHE_ENABLED=True
CACHE_TTL=3600

# Development Settings
DEV_MODE=True
TEST_MODE=False
SHOW_DEBUG_INFO=True