Mini 4 Pro production-ready beta repo with three runtime boundaries:
android-app/: flight-critical operator appplanner-server/: planning, tenancy, artifact, billing, and ingest APIweb-app/: desktop-first invite-only operations and customer console
- Android owns the flight-critical loop.
- The planner server and web app never issue real-time flight control.
- Mission artifacts and web surfaces must fail closed.
- Uncertainty resolves to
HOLD.
- Stage 0 governance and web beta scope docs are in place.
planner-servernow includes web auth, tenancy, billing, audit, and DB-aware health checks.web-appprovides invite/login, sites, missions, planner, billing, org admin, and audit views.- Android Sprint 4 work exists separately and is not part of the Web Beta RC release gate.
docs/
scope, architecture, deploy topology, threat model, release runbook
android-app/
flight-critical Android runtime
planner-server/
FastAPI planner and operations backend
web-app/
React/Vite desktop beta console
render.yaml
Render blueprint for staging/prod app + api services
Planner server:
Set-Location .\planner-server
python -m venv .venv
.venv\Scripts\Activate.ps1
pip install -r requirements.txt
python -m pytest tests -qWeb app:
Set-Location .\web-app
npm ci
npm run lint
npm run test
npm run buildThis project uses Codex with ChatGPT OAuth, not an OpenAI API key.
codex loginDo not add OPENAI_API_KEY to project .env files. See codex-auth.md.
Industrial Data Engine production runtime uses Gemini, World Labs / Marble, Ollama Qwen-VL, gsplat, Boxer, and optional EGO-Planner. It does not use the OpenAI API. See industrial-data-engine.md.
- Deploy topology source of truth: render.yaml
- Deploy and rollback procedure: web-beta-release-runbook.md
- Staging/prod topology contract: deploy-topology.md