Domain Example: Autonomous Spacecraft

A satellite is about to burn propellant to dodge a collision that isn't there. AUTHREX stops it.

How a trust-proportional authority layer prevents an autonomous spacecraft from maneuvering on spoofed navigation or a phantom conjunction warning, without dropping the whole mission into safe mode.

Picture this.

An autonomous satellite is operating in low Earth orbit with onboard collision-avoidance authority. It has received a conjunction warning and its guidance stack is ready to execute an evasive burn. This is exactly the kind of autonomous on-orbit decision-making operators are fielding today as orbits grow more crowded.

In the last interval, three things have happened: (1) GNSS position quality has dropped and now disagrees with the star-tracker-derived orbit, a classic spoofing signature. (2) A conjunction data message warns of an imminent close approach, but the onboard radar sees no corresponding object. (3) The ground telemetry link has degraded sharply, consistent with jamming.

The guidance software does not weigh these signals together. It sees a collision warning. It is about to fire the thrusters.

The failure path.

Today's autonomous spacecraft face this situation with binary tools: either full autonomous maneuvering or a safe-mode halt that waits for the ground. Neither is safe here.

Three failure modes, in plain English
  • Burns on a phantom conjunction. A spoofed or low-quality conjunction warning, treated as ground truth, can trigger an evasive burn that wastes scarce propellant, shortens mission life, and can create a new, real close approach.
  • Maneuvers on spoofed navigation. GNSS spoofing and jamming are well-documented in contested regions. False position data can push the spacecraft into a hazardous orbit or a maneuver that other operators read as hostile.
  • Drops the whole mission into safe mode. The alternative to burning anyway is entering safe mode and waiting for the ground. This is a binary choice. Adversaries exploit both: jam the link and run the clock, or trigger safe mode repeatedly to deny the mission.
The Force Field in Action
!GNSS SPOOFED !PHANTOM OBJECT AUTHREX Authority Field Authority: A1 (Hold Orbit) Nav trust 0.33 · Spoof probability 0.82 · Maneuver blocked

The governed path.

AUTHREX sits between the guidance software and the propulsion system. When something goes wrong, each layer does its job in milliseconds, without waiting for a ground pass at every step, but also without letting the spacecraft take an irreversible, propellant-spending action on corrupted data.

SATA Navigation Trust Evaluation "Can we believe the navigation data right now?"

Within milliseconds, SATA fuses GNSS, the star tracker, onboard radar, and the reliability of the conjunction-warning channel into a single trust score. It sees GNSS and the star tracker disagreeing (spoofing indicator), it sees a conjunction warning with no matching radar return (phantom object), and it drops the overall navigation trust from 0.95 to 0.33. Every downstream decision now operates on that lower trust.

ADARA Adversarial Spoofing Detector "Is someone actively feeding us bad navigation?"

ADARA looks at the GNSS-versus-star-tracker disagreement and the timing of when it began. This is not random drift; the star tracker cannot be spoofed from outside the spacecraft, and a phantom warning arriving during a link-jamming event matches a coordinated deception. ADARA raises its spoofing-probability score to 0.82.

HMAA Authority Speed Limiter "What is this spacecraft allowed to do at this trust level?"

At trust 0.95 and spoofing probability low, HMAA would have authorized autonomous maneuvering (Authority Level A3). At trust 0.33 and spoofing probability 0.82, HMAA automatically drops to Authority Level A1: hold attitude, keep tracking the claimed object with onboard sensors, transmit telemetry, do not execute the burn. The spacecraft is still operational, still sensing, just no longer allowed to take the irreversible action.

FLAME Cooling-Off Period "Before any irreversible maneuver, pause long enough for a human to intervene."

Even if navigation trust were to recover, FLAME enforces a deliberation window before any burn above a delta-v threshold, sized to the actual time remaining before the claimed close approach. That preserves margin for a ground operator to confirm or veto when the link is available, instead of committing propellant the instant a warning arrives.

CARA Controlled Safing "If things get worse, here's how to get back to a safe state."

If navigation trust collapses further (below 0.20) or spoofing is confirmed, CARA takes over: do not execute the large commanded burn; if onboard radar independently confirms a real object inside the no-review window, perform only a bounded, pre-approved minimum-risk maneuver; otherwise hold orbit, safe the propulsion from large commands, and transmit the full telemetry and conjunction history to the ground. Deterministic, no ambiguity.

What happens instead.

What the operator sees: A notification that the spacecraft received a collision warning but AUTHREX downgraded maneuver authority due to navigation inconsistency. The spacecraft is still on station, still tracking, still transmitting. The operator reviews the flags: GNSS was spoofed, the warning was phantom with no radar return, and a jamming event masked the link. The spacecraft would have burned propellant to dodge a collision that did not exist.

What the adversary sees: Their spoof didn't work. They don't get the wasteful or hazardous maneuver they were trying to induce, no orbit change to exploit, and no hostile-looking burn to escalate. The spacecraft completes its pass under oversight, with full logs preserved for forensic analysis.

What doesn't happen: No spurious burn. No safe-mode mission halt. No binary kill-switch decision. The spacecraft keeps operating, under authority that matches what its navigation can actually be trusted to support.

For engineers and reviewers.

Every plain-English description above has a formal mathematical specification behind it. Patents, simulations, hardware BOMs, and code are all open.

Go deeper into the technical layer

The mathematics, the FPGA implementation, the formal verification proofs, and the simulation validation are all documented.

See other domain examples

AUTHREX is domain-agnostic. The same governance pipeline works across drones, vehicles, ships, ground robots, financial systems, orbital platforms, autonomous swarms, and cyber-defense systems.