# eBIOS Python Dependencies

# Core scientific computing
numpy>=1.24.0
scipy>=1.10.0

# Testing framework
pytest>=7.4.0
pytest-cov>=4.1.0

# Formal verification (for future phases)
# z3-solver>=4.12.0  # SMT solver for theorem proving

# Cryptography (for attestation and signing)
cryptography>=41.0.0
# ed25519>=1.5  # Removed: incompatible with Python 3.12, use cryptography.hazmat.primitives.asymmetric.ed25519 instead

# Ledger and data handling
# lmdb>=1.4.0  # Lightweight database for NULedger
# msgpack>=1.0.0  # Efficient serialization

# API and governance (PHASE 6)
fastapi>=0.104.0
uvicorn[standard]>=0.24.0
pydantic>=2.0.0
httpx>=0.25.0  # For API testing

# Documentation
# mkdocs>=1.5.0
# mkdocs-material>=9.2.0

# Code quality
black>=23.7.0
pylint>=2.17.0
mypy>=1.5.0
