# Frontier Conjecture — local orchestration.
# Run: docker compose up --build
# Verify Lean: docker compose run lean lake build

services:
  app:
    build:
      context: .
      dockerfile: docker/python.Dockerfile
      target: dev
    ports:
      - "8000:8000"
    environment:
      - PYTHONPATH=/app/src
    volumes:
      - ./config:/app/config:ro

  lean:
    build:
      context: .
      dockerfile: docker/lean.Dockerfile
    image: frontier-lean
    command: lake build
    volumes:
      - ./lean:/app/lean:ro