# Ruchy Development Environment Configuration
# This file configures reproducible development settings via direnv

# Use flake.nix if available
if command -v nix &> /dev/null && [ -f flake.nix ]; then
    use flake
fi

# Environment variables for reproducibility
export RUST_BACKTRACE=1
export RUST_LOG=info
export CARGO_INCREMENTAL=0
export RUSTFLAGS="-C target-cpu=native"

# Reproducibility: Fixed random seed for tests
export RUCHY_TEST_SEED=42
export PROPTEST_SEED=12345678901234567890123456789012

# Build timestamp for reproducibility
export SOURCE_DATE_EPOCH=1704067200

# Oracle model reproducibility
export RUCHY_ORACLE_SEED=42
export RUCHY_ORACLE_DETERMINISTIC=1

# Path configuration
export PATH="$PWD/target/release:$PATH"

# Development helpers
alias ruchy-dev="cargo run --"
alias ruchy-test="cargo test --"
alias ruchy-bench="cargo bench --"
