Argo Mesh 1.0 Hybrid Quantum Optimization API

Argo Mesh 1.0 exposes a laboratory-ready optimization API for Hybrid Quantum Optimization — QAOA sampling, classical refinement, and formal SMT verification. The Data-T site proxies requests at /api/argomesh to the ArgoSea FastAPI backend. Converted from the ArgoSea operations console.

Overview

Use this service when you need to explore NP-hard combinatorial workloads — routing, scheduling, and resource allocation — with hybrid quantum-classical methods and auditable safety proofs for fleet constraints.

Live service health and backend status
Aggregated overview of fleet, verify, and quantum history
Z3 formal proofs for hard safety thresholds
AIS fleet snapshots for maritime combinatorial demos
Refined QPU run history with optimality ratios
Same-origin proxy at /api/argomesh

Three-layer architecture

The Hybrid Quantum Optimization programme separates concerns across NISQ QAOA sampling, classical refinement, and formal SMT verification. See the research page for figures and the Zenodo engineering report by Muskan Sharma.

Three-layer hybrid quantum architecture — Figure 1 — Sampling, refinement, and verification layers (research page).

QAOA sample distribution for combinatorial optimization — Figure 3 — Sample distribution from hybrid quantum runs.

Same-origin proxy

Browser clients call /api/argomesh/<path> on www.data-t.uk. Next.js forwards JSON to ARGOMESH_BACKEND_URL (default laboratory host). Static JSON fallbacks in public/investor-relations/research/combinatorial-optimization-problem/media/ support demos when the backend is unreachable.

Check health

GET /api/argomesh/health

Returns service readiness for the Hybrid Quantum Optimization backend.

Load overview

GET /api/argomesh/overview

Aggregates status, verify proof, AIS fleet, and quantum history for the Argo Mesh 1.0 console.

Run z3 verify

GET /api/argomesh/verify

Formal SMT safety proof for fleet constraints — threshold distance, violation list, and human-readable proof string.

Inspect QPU history

GET /api/argomesh/quantum/runs
GET /api/argomesh/quantum/latest/refined

List recent QPU jobs and the latest refined optimality ratio after classical repair. Additional fleet and status endpoints:

GET /api/argomesh/status
GET /api/argomesh/fleet

API endpoints

Method	Path (via proxy)	Description
GET	`/api/argomesh/health`	Backend health check
GET	`/api/argomesh/status`	Service status payload
GET	`/api/argomesh/overview`	Aggregated console snapshot
GET	`/api/argomesh/verify`	Z3 safety proof for fleet constraints
GET	`/api/argomesh/fleet`	AIS fleet snapshot
GET	`/api/argomesh/quantum/runs`	QPU run history
GET	`/api/argomesh/quantum/latest/refined`	Latest refined optimality ratio

Errors

When the laboratory backend is unreachable, the proxy returns 502 with a JSON error message. The console may load static media JSON from the public folder for offline demonstration.