[project]
name = "ragsolver"
version = "0.1.0"
description = "Sistema multiagente de razonamiento verificable (RAG + Lean 4/Mathlib) — UPTC"
requires-python = ">=3.12,<3.13"
dependencies = [
    "pydantic>=2.9",
    "pyyaml>=6.0",
    "lancedb>=0.17",
    "pyarrow>=17.0",
    "sentence-transformers>=3.3",
    "transformers>=4.51",
    "torch>=2.4",
    "huggingface_hub>=0.26",
    "pymupdf>=1.24",
    "langgraph>=0.2",
    "lean-interact>=0.7",
    "httpx>=0.27",  # ragsolver/llm.py, rag/embed.py (backend llama): usado directamente, no sólo transitivo (auditoría DEP-1)
    "tenacity>=8.0",  # ragsolver/llm.py: reintentos del cliente LLM
]

[project.optional-dependencies]
# Sólo necesario en la Fase 2 (ingesta de PDFs); pesado (modelos de layout/formula), se instala aparte.
ingest = ["mineru>=2.5,<5"]
# Demo Gradio (demo/app.py): gradio llegaba sólo como transitiva del extra `ingest` (vía mineru);
# con `uv sync` a secas la demo fallaba en silencio (auditoría DEP-1).
demo = ["gradio>=5.0"]
dev = [
    "pytest>=8.0",
    "pytest-cov>=5.0",
    "ranx>=0.3",  # sólo se usa en tests/test_metrics.py para verificar rag/metrics.py contra la referencia (docs/DECISIONS.md #43); nunca en producción
]
# ponytail: `pandas` y `accelerate` no se importan en ningún módulo de ragsolver/scripts/demo (grep
# verificado); llegan igual como transitivas de `ranx`/`gradio` (pandas) y `mineru` (accelerate) en
# los entornos que ya los necesitan. Confirmado sin ellos instalados (docs/DECISIONS.md #78):
# tests/test_retriever_integration.py carga el embedder Y el reranker reales (rerank=True) en verde.

[tool.uv]
# ponytail: sin flash-attn por defecto (CUDA-only, no compila en ROCm — ver docs/PLAN_RAG.md §9.4).
# Añadir sólo si la máquina de ejecución es NVIDIA y se quiere el acelerador opcional.

[project.scripts]
ragsolver = "ragsolver.cli:main"

[build-system]
requires = ["hatchling"]
build-backend = "hatchling.build"

[tool.hatch.build.targets.wheel]
packages = ["src/ragsolver"]