Every product has a defined purpose and an explicit status. Research, concept, simulation, prototype and pilot stages are not presented as operational missions.
Status as of 6 August 2026. Software portfolio built and internally test-green. Validation class: simulation-validated and ground-demonstrated.
Internal security freeze (RC3) complete. Independent external security audit: not completed.
Not claimed: flight qualification · operational space deployment · certified PQ hardware root · agency acceptance. Green never means flight-ready, flight-proven, radiation-tested, audited or certified.
Status legend: Built · Simulation-validated · Ground-demonstrated · Hardware-blocked · Audit not completed
Every Earth observation image product carries a cryptographic receipt: model version, input scene, processing chain, anchored on-chain. "Is this disaster map trustworthy?" gets a cryptographic answer.
Conjunction screening on public TLE data with receipted alerts. Operators can prove when they were warned and what the model knew — verifiable by insurers and regulators.
Solar wind and CME prediction from public feeds. Receipted forecasts with a provable accuracy ledger — every prediction scored, every outcome receipted.
Mission operations decision support: anomaly triage, procedure recall, timeline watch. Every recommendation receipted and countersigned by a human operator. Runs air-gapped on isolated mission networks.
Onboard AI assurance: SEU-aware model integrity, scrub receipts, authorized-update channel. Provenance that survives radiation, disconnection and in-flight model updates.
COSRYX-NEXUS — The interplanetary trust network. Signed custody receipts across delayed, interrupted links (relay); N-of-M witness signatures with dual-domain two-person control (mesh + coordination); deterministic byte-identical simulation. One product, three layers — an Earth→Moon→Mars custody chain that survives link outages.
SWARM TRUST — A cryptographic receipt for every autonomous-robot-swarm decision. Byzantine-tolerant (survives ⌊(n−1)/3⌋ faulty or corrupted robots), with radiation-fault (SEU) scrubbing and automatic quarantine of a rogue unit. Prove to an agency what the swarm decided, when, why, and under whose consensus — even during a communication blackout. Rides COSRYX-NEXUS + COSRYX-EDGE.
SSA ACCOUNTABILITY — Liability evidence for satellite and debris-removal operators. Prove you warned them; prove the maneuver was safe. Binds each conjunction alert to the exact observations it derived from, in the international CCSDS standard format, mapped to the 1972 Space Liability Convention. Rides COSRYX-ORBIT + COSRYX-SPACETRACE.
MFG PROVENANCE — Designed to certify that a fiber, material, or pharmaceutical batch was made in orbit — on this date, by this process. In the demonstrated design, manufacturing telemetry flows through the LENS processing-chain to a C2PA "made in orbit" certificate. Rides COSRYX-LENS.
Receipts each sensor observation, binds a conjunction alert to the exact observations it derived from, and binds a manoeuvre decision to that alert — a verifiable sensor → alert → spacecraft-action chain.
One receipt binds model hash, TEE quote hash, output hash and replay digest. Deterministic re-execution is the SEU guard: a digest mismatch quarantines the record and prevents a clean R+11 receipt.
A downlinked frame is LENS-VERIFIED only when both receipt legs verify over the same canonical bytes. Single-leg and downgrade paths are rejected before signature work.
The Post-Quantum (PQ) leg currently utilizes size-conformant ground stand-ins (pending formal NIST FIPS 204 ML-DSA / FIPS 205 SLH-DSA hardware security module certification). Not flight-qualified. Not independently audited by external third parties.
Every telemetry-tool invocation hashes its arguments and output into a locally generated R+2 chained receipt. Raw arguments and outputs are never stored; network-module absence is enforced by tests.
Store-and-forward trust layer with light-cone timestamps, Merkle receipt chains, and autonomous agents for Earth–Moon–Mars communications. BPv7/BPSec standards-aligned.
Hybrid signatures, CBOM generator, X-Wing KEM, regulatory compliance calendars for US CNSA 2.0, EU roadmap, India NQM and UK NCSC timelines.
Operational, Tested, Built, In testing, In development, Simulation-validated and Research are used only according to the approved status definitions.