# Development Environment Setup

This document outlines the setup process for Project V1 development environment.

## Prerequisites

### Phase 0 & 1 Requirements
- **Rust**: For performance-critical symbolic kernel
  - Install from https://rustup.rs/
  - Required for Genesis Engine implementation
- **Python 3.9+**: For AI/ML components and API
  - Install from https://python.org/
- **Lean 4**: Interactive theorem prover
  - Install via: `elan toolchain install leanprover/lean4:stable`
  - Documentation: https://leanprover.github.io/lean4/doc/

### Phase 2+ Requirements (Future)
- **CUDA-capable GPU**: For neural network training
- **PyTorch/TensorFlow**: Deep learning frameworks
- **Node.js**: For frontend development

## Installation Steps

### 1. Install Lean 4
```bash
curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
elan toolchain install leanprover/lean4:stable
elan default leanprover/lean4:stable
```

### 2. Install Rust
```bash
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
source ~/.cargo/env
```

### 3. Setup Python Environment
```bash
python -m venv venv
# Windows
venv\Scripts\activate
# Linux/Mac
source venv/bin/activate

pip install -r requirements.txt
```

## Project Structure

```
project-v1/
├── src/
│   ├── genesis_engine/     # Rust-based symbolic kernel
│   ├── neuro_symbolic_network/  # Python AI components
│   ├── api/               # FastAPI backend
│   └── frontend/          # React + Three.js interface
├── data/                  # Datasets and universe databases
├── docs/                  # Documentation
├── tests/                 # Test suites
├── config/               # Configuration files
└── research/             # Literature review and notes
```

## Current Phase: Phase 0

Focus on literature review and environment setup. No active development yet.