| # Sovereign Apollo — Modern Architecture | |
| > **MODERN DESIGN** — preserves Apollo engineering principles on open, local-first infra. Not claiming flight equivalence. | |
| ## Principles | |
| | Apollo Principle | Sovereign Mapping | | |
| |----------------|-------------------| | |
| | Deterministic sequencing | Fixed-step physics + deterministic replay hashes | | |
| | Restart protection (phase table) | Write-ahead log + phase checkpoints | | |
| | Human-in-loop (DSKY) | Local WebDSKY + crew procedure timeline | | |
| | Telemetry lists | Typed frames + hash chain | | |
| | Ground verification | Offline MCC dashboard | | |
| | Reproducible builds | Nix / frozen lockfile + SHA256 artifacts | | |
| ## Evaluation (per Mission §5) | |
| | Requirement | Design | Status | | |
| |-------------|--------|--------| | |
| | Local-first computation | All simulation in `src/` Node/TS, no cloud calls | IMPLEMENTED | | |
| | Deterministic simulation | Fixed dt, seeded PRNG, no Date.now() | IMPLEMENTED | | |
| | Reproducible builds | `package-lock.json` + `scripts/verify-artifacts.ts` + `REPRODUCIBLE_BUILD.md` | IMPLEMENTED | | |
| | Hardware abstraction | `src/vehicle/` interfaces; swap `physics/engine.ts` | IMPLEMENTED | | |
| | Open telemetry formats | JSON frames (`data/telemetry_schema.json`), CCSDS-compatible | IMPLEMENTED | | |
| | Local mission control | `src/sovereign/local-first.ts` Web dashboard | IMPLEMENTED | | |
| | Offline operation | `npm run replay:mission` works air-gapped after fetch | IMPLEMENTED | | |
| | Cryptographic artifact verification | SHA256 + hash-chained telemetry | IMPLEMENTED | | |
| | Formal verification | `formal/SovereignApollo/*.lean` + properties | IMPLEMENTED (stub → expand) | | |
| | Fault injection | `src/replay/fault.ts` | IMPLEMENTED | | |
| | Digital-twin replay | `src/replay/deterministic.ts` | IMPLEMENTED | | |
| ## Stack — Sovereign [MODERN DESIGN] | |
| ``` | |
| ┌─────────────────────────────────────────────┐ | |
| │ Sovereign Apollo Application │ | |
| │ ┌──────────┐ ┌──────────┐ ┌─────────────┐ │ | |
| │ │ Digital │ │ Mission │ │ Local MCC │ │ | |
| │ │ Twin │ │ Timeline │ │ Dashboard │ │ | |
| │ └────┬─────┘ └────┬─────┘ └──────┬──────┘ │ | |
| │ │ │ │ │ | |
| │ ┌────▼────────────▼──────────────▼────┐ │ | |
| │ │ Deterministic Replay Engine │ │ | |
| │ │ hash(MET || state) chain │ │ | |
| │ └────┬───────────────────────────┬────┘ │ | |
| │ │ │ │ | |
| │ ┌────▼────┐ ┌─────────┐ ┌───────▼───┐ │ | |
| │ │ Physics │ │ AGC │ │ Telemetry │ │ | |
| │ │ Engine │ │ Model │ │ +Comms │ │ | |
| │ └─────────┘ └─────────┘ └───────────┘ │ | |
| │ │ | |
| │ Offline Store (SQLite / JSON) ────────── │ | |
| │ Artifact Registry (SHA256) │ | |
| └─────────────────────────────────────────────┘ | |
| ``` | |
| ### Storage | |
| - `data/mission_timeline.json` + `data/*.json` — committed, hash-verified | |
| - `evidence/artifacts/` — git-LFS-style but local; verified on build | |
| - Replay logs: `replay_*.jsonl` (append-only, hash-chained) | |
| ### Determinism Guarantees | |
| - No floating non-determinism: `engine.ts` uses fixed-step RK4, no `Math.random()` without seed | |
| - Replay hash: `H0 = SHA256(seed); Hn = SHA256(H_{n-1} || canonical(state_n))` | |
| - Parallel runs on same commit → bit-identical `H_final` (verified in `tests/replay.test.ts`) | |
| ### Security | |
| - No secrets in telemetry; uplink simulation requires explicit `--allow-uplink` flag | |
| - Artifact verification prevents silent Luminary modification | |
| ### Deployment | |
| - Single `npm ci && npm run build` on Linux/macOS/Windows (Node 18+) | |
| - Docker: `FROM node:20-alpine` + `npm run verify:artifacts` | |
| - No proprietary cloud binding; optional S3-compatible sync is opt-in. | |
| ## Non-Goals | |
| - Not flight-qualifying; no claim to meet NASA-STD-8719 | |
| - No closed-source dependencies for core loop | |