Three-layer stack
Layer 1 samples candidate bitstrings on a NISQ backend with QAOA. Layer 2 applies classical greedy refinement to improve optimality. Layer 3 runs z3 SMT checks so unsafe maritime configurations never leave the ops console.
Maer Sat 1.0 · API Documentation
Hybrid quantum combinatorial optimization fundamentals
Maer Sat 1.0 is the Kryptur console and same-origin REST proxy for Combinatorial Optimization — a three-layer hybrid quantum-classical pipeline that samples NP-hard solutions with QAOA, refines them classically, and gates deployment with SMT formal verification.
Fundamentals
Fleet & AIS context
GET /fleet returns live vessel positions (MMSI, lat/lon, speed, course). Pairwise distances feed the safety threshold used by the formal verifier.
z3 safety proof
GET /verify returns a human-readable proof string, fleet size, safety threshold in nautical miles, and any residual violations — the SMT gate between quantum proposal and operator action.
Same-origin proxy
Browser calls use /api/maersat on Kryptur — no CORS keys required for demos. Upstream forwards JSON to the ArgoSea FastAPI maritime backend.
Authentication
Demo deployments accept unauthenticated JSON to /api/maersat/*. Production maritime sessions may enforce operator credentials and rate limits on quantum and verify endpoints.
curl https://www.kryptur.com/api/maersat/health
REST endpoints
Proxy base: /api/maersat — all paths below are relative to the Kryptur origin.
| Method | Path | Summary |
|---|---|---|
| GET | /api/maersat/health | Service readiness — status, service name, and version tag. |
| GET | /api/maersat/status | Ops snapshot — fleet records, quantum runs, refined runs, DB, and QPU backend. |
| GET | /api/maersat/fleet | AIS fleet vessels — MMSI, latitude, longitude, speed, and course. |
| GET | /api/maersat/verify | z3 SMT safety proof over pairwise distances with fleet size and violation list. |
| GET | /api/maersat/overview | One payload for status, verify proof, fleet, and quantum run history. |
| GET | /api/maersat/quantum/runs | QAOA run history — qubits, shots, depth, backend, and optimality ratios. |
| GET | /api/maersat/quantum/latest/refined | Latest classically refined quantum solution with improvement in percentage points. |
Live console workspaces
- Overview — status, z3 proof, AIS fleet map, and latest refined QPU run in one payload.
- Verify — formal safety gate with fleet size, threshold, and violation inventory.
- Quantum runs — history of QAOA jobs with optimality ratios before and after refinement.
- API docs — this fundamentals page with endpoint reference and interlinks.