Hybrid quantum-classical ops fundamentals

Overview

The browser calls /api/maersat/* on the Zi Humana site. Next.js forwards requests to the ArgoSea FastAPI backend (default port 8010). When the backend is offline, the console falls back to laboratory JSON snapshots under /investor-relations/research/combinatorial-optimization/media/.

From the homepage, select Maritime · Combinatorial Optimization, choose Maer Sat 1.0, Hybrid Quantum Optimization, or QAOA · SMT Verification, then Find solutions — routed to the RRMR API alias (RRMR/NP-hard/Combinatorial-optimization-problem/api).

Three-layer architecture

1. QAOA sampling — NISQ quantum proposals for combinatorial bitstrings.
2. Classical refinement — greedy repair for bitflip noise and feasibility.
3. SMT verification — z3 certificates for hard pairwise and fleet constraints.

Maer Marine · live capture

Experience production sign-in and marine data intelligence live capture at maer-marine.q-dit.com. From the Zi Humana homepage, choose Maritime · Combinatorial Optimization → Maer Marine · Live Capture → Find solutions.

Health & status

GET  /api/maersat/health
GET  /api/maersat/status

Returns service readiness, version, fleet/quantum counters, database, and QPU backend tags.

Fleet

GET  /api/maersat/fleet

Returns verified AIS sample vessels — MMSI, lat/lon, speed, and course.

Safety verify

GET  /api/maersat/verify

Runs z3 pairwise distance checks and returns a machine-checkable proof string plus violation list.

Overview payload

GET  /api/maersat/overview

One composite payload: status, verify, fleet, and quantum runs — used by the Maer Sat 1.0 console.

Quantum runs

GET  /api/maersat/quantum/runs
GET  /api/maersat/quantum/latest/refined

Lists QPU job history and the latest refined optimality ratio after classical repair.

Live console

Open the Maer Sat 1.0 dashboard from the homepage video keyword, the research paper page, or go directly to Combinatorial Optimization /api.

Related programmes

• Maer Marine live — sign-in & marine data intelligence capture
• Combinatorial Optimization research — manuscript and figures
• Maer Sat 1.0 console — fleet, verify, quantum
• Raja Ram · VJ portfolio — author profile
• Taurnet 1.0 — multipath bonding
• Arkham 1.0 — dynamic yield pricing
• FeatLock 1.0 — point-in-time serving
• ColdMesh 1.0 — organ logistics

Research archive

Manuscript: doi:10.5281/zenodo.22765909. Content sourced from the ArgoSea research package (Hybrid Quantum Optimization).