[Physics Copilot] E0-01 — Create root-level `physics_copilot/` and `lean_proof_engine/`

Goal Establish two root-level packages with proper Python project structure.

Directory Structure

YC-Killer/
├── physics_copilot/
│   ├── pyproject.toml
│   ├── Makefile
│   ├── backend/
│   ├── adapters/
│   ├── ui/
│   ├── runs/
│   └── tests/
└── lean_proof_engine/
    ├── pyproject.toml
    ├── engine/
    ├── cli/
    └── tests/

Dependencies

• FastAPI, uvicorn, pydantic
• httpx, redis
• pytest, ruff, mypy

Success Criteria

• Both packages import cleanly
• make dev starts services
• CI runs for both packages

Estimated Time: 1 day