Published ephemeris data
NASA/JPL NAIF SPICE celestial states, evaluated in J2000 with the Sun as observer and geometric vectors.
Method and limitations
AURA-Q separates published celestial states, classical trajectory calculations, optimization output, and authoritative validation.
NASA/JPL NAIF SPICE celestial states, evaluated in J2000 with the Sun as observer and geometric vectors.
Lambert transfers, numerical propagation endpoint checks, patched-conic gravity assists, launch-window search, and explicit feasibility constraints.
A weighted route objective is mapped to QUBO and Ising forms. Exact classical enumeration is compared with QAOA on Amazon Braket LocalSimulator.
Every quantum-selected candidate is classically validated. Selected reports are then allowlisted, scanned, reviewed, and manually published as immutable static assets.
Limitations
Current provenance