Maer Sat 1.0 exposes live fleet health, z3 safety proofs, and QPU refinement metrics — an operator console on Kryptur infrastructure for combinatorial optimization research.
Kryptur advances smarter combinatorial decisions through hybrid QAOA sampling, classical refinement, and formal verification under utilisation-aware maritime operations.
Live console for fleet, proof, and QPU refinement.
QAOA sampling · greedy refine · SMT verify.
Liveness, service name, and API version.
z3 safety proof over AIS pairwise distances.
One payload for status, fleet, and quantum runs.
Raw vs refined optimality ratio on superconducting backends.
Formal verification converts empirical quality into a machine-checkable certificate.
Classical greedy repair recovers optimality after NISQ sampling noise.
Verified AIS sample feeds pairwise safety checks in nautical miles.
Same-origin /api/maersat forwards health, fleet, verify, and quantum calls.
Optimise NP-hard outcomes from QAOA, classical refinement, and SMT verification investments.
Same-origin proxy at /api/maersat forwards JSON to the ArgoSea maritime FastAPI backend. Public endpoints: /health, /status, /fleet. Operator endpoints: /verify, /overview, /quantum/runs, /quantum/latest/refined. Console mirrors the ArgoSea operations dashboard — Kryptur branding only.
Maer Sat 1.0 · operations console
Converted from the ArgoSea operator console — API health, z3 safety proof, verified AIS fleet, and QPU refinement history via /api/maersat.
Loading…
Loading…
| MMSI | Lat | Lon | Speed kn | Course |
|---|
| Job | Qubits | Shots | Optimality | Refined | When |
|---|
What's New at Kryptur — Maer Sat 1.0 API releases, combinatorial optimization research, and hybrid QAOA news.