Preserved research input · KW-RPT-058

Autonomous Defensive Mission Control under Uncertainty: Perception, Tracking, Prediction, Safe Action Selection, Lost-Link Continuity, and Answerable Multi-Domain Simulation

A modular synthetic mission-control research input separating world truth, autonomy belief, and autonomy intent while covering perception degradation, tracking, bounded prediction, semantic candidate actions, Simplex-style runtime assurance, lost-link continuity, proof invariants, and accessible replay.

Digest verified b9eb0281c880f3301bf722cbaa3a837e9ee928c4da2a4d60b18d0cdbf2c3168d

Autonomous Defensive Mission Control under Uncertainty: Perception, Tracking, Prediction, Safe Action Selection, Lost-Link Continuity, and Answerable Multi-Domain Simulation

1\. Executive Summary

The transition from automated systems to fully autonomous cyber-physical systems necessitates rigorous runtime assurance, deterministic simulation, and transparent evidence generation. This research report details a comprehensive, modular Python simulation architecture designed to demonstrate autonomous defensive mission control under profound uncertainty. The proposed framework establishes a mathematically answerable, inspectable closed-loop system encompassing perception, tracking, prediction, candidate generation, safety evaluation, execution, and continuous proof logging. To bridge the gap between deterministic software evaluation and the unpredictability of real-world environments without exposing classified or operational performance metrics, the architecture implements Black-Box Simplex runtime assurance1 and functional conformal prediction3. Crucially, the system enforces a strict epistemological boundary between physical existence, the autonomous agent’s internal belief state, and its generated intent. By leveraging normalized coordinates, abstract synthetic hazards, and bounded trajectory primitives (e.g., SYNTHETIC\_NULL\_SINK), the simulation avoids operational targeting and force authorization while delivering an inspectable proof of safety and operational continuity under degraded conditions5. This architecture supports the Evulgare analytical workbench, providing deterministic state transitions within a declared synthetic scenario while maintaining strict data minimization and privacy7.

2\. Layered Autonomy Architecture

The simulation architecture is fundamentally structured around the separation of concerns, isolating absolute ground truth from the autonomous agent's constrained perception and intent. This prevents "agency laundering" and ensures that the machine leadership functions remain fully traceable to human-defined boundaries9. The architecture is divided into the following strictly isolated layers, governed by pure reducers and deterministic state machines:

1. World Physics & Entity Layer: Computes true synthetic kinematic state, ground-truth locations, and synthetic environmental conditions. This layer is entirely opaque to the autonomy agent.

2. Perception & Sensor Degradation Layer: Applies safe synthetic models for latency, occlusion, false positives, missed detections, and open-set recognition logic to world truth, emitting synthetic observations.

3. Belief & Tracking Layer: Fuses observations into persistent track records, continually updating covariance matrices and resolving identity associations over time.

4. Prediction Layer: Calculates bounded reachable sets and occupancy tubes for tracked entities, utilizing conformal prediction to guarantee statistical validity without distribution assumptions4.

5. Planning & Candidate Generation Layer: Emits bounded semantic action options (e.g., LEFT\_DEVIATION, SPEED\_REDUCTION) and calculates risk bands.

6. Runtime Assurance (Simplex) Layer: An independent safety governor evaluates candidates against hard safety constraints. If the advanced controller fails, control shifts to a lookahead baseline controller1.

7. Command & Execution Layer: Commits the safe action to the simulation state, adjusting synthetic control efforts.

8. Evidence & Proof Inspector Layer: Serializes state transitions into canonical digests, continuously evaluating forty independent proof invariants for real-time compliance7.

3\. World Truth, Autonomy Belief, and Autonomy Intent (Core Research Area 1\)

To prevent the autonomy agent from receiving omniscient state, the architecture enforces strict module boundaries, object visibility rules, and serialization boundaries. The system tests for truth leakage at every deterministic tick, ensuring that the autonomous agent operates solely on degraded, synthetic observations.

3.1 World Truth

The WORLD\_TRUTH module represents absolute physical reality in the synthetic domain. It is visible only to the rendering engine and the proof inspector for comparative analysis.

Python from dataclasses import dataclass, field from typing import List, Tuple

@dataclass(frozen=True) class Kinematics: position: Tuple\[float, float, float\] velocity: Tuple\[float, float, float\] acceleration: Tuple\[float, float, float\]

@dataclass(frozen=True) class WorldEntity: entity\_id: str true\_kinematics: Kinematics true\_class: str synthetic\_signature: float

@dataclass(frozen=True) class WorldTruth: timestamp: float entities: List\[WorldEntity\] \= field(default\_factory=list) environmental\_noise: float \= 0.0

3.2 Autonomy Belief

The AUTONOMY\_BELIEF module represents the internal state calculated by the autonomous system based on synthetic perception. It is the sole input for candidate generation.

Python @dataclass(frozen=True) class AutonomyBelief: timestamp: float active\_tracks: List\['TrackRecord'\] \= field(default\_factory=list) sensor\_health: str \= "NOMINAL" localization\_covariance: float \= 0.01

3.3 Autonomy Intent

The AUTONOMY\_INTENT module captures the agent's proposed future state prior to safety governor intervention. The independence of this module allows the system to log exactly what the advanced controller attempted to do before the runtime assurance layer modified or rejected the request1.

Python @dataclass(frozen=True) class AutonomyIntent: intended\_route: List\[Tuple\[float, float, float\]\] primary\_candidate\_id: str decision\_deadline: float objective\_status: str

Visual encodings heavily depend on these schemas. In the 3D layer, WORLD\_TRUTH is rendered as solid, opaque geometries, whereas AUTONOMY\_BELIEF is rendered via wireframes or point clouds11. This provides semantic table equivalents where an analyst can directly compare the true location of a synthetic hazard against the autonomy's estimated location. In Operator Mode, WORLD\_TRUTH is hidden to simulate operational stress. In Engineer/Replay Mode, both layers are overlaid to identify perception discrepancies and truth leakage.

4\. Synthetic Perception (Core Research Area 2\)

Synthetic perception deliberately avoids the inclusion of real signatures, operational thresholds, or classified sensor models. Instead, it relies on parameterized probability distributions to mimic sensor degradation safely. The architecture models occlusion through ray-casting against abstract geometric volumes; if line-of-sight is broken, the sensor pipeline triggers a missed detection, forcing downstream tracking to rely on predictive covariance expansion. Stale observations and latency are injected via a configurable delay queue, separating the timestamp of the event from the timestamp of its arrival at the belief layer. Crucially, the system implements open-set recognition (OSR) abstractions12. Rather than forcing all objects into known classification bins, the synthetic sensor utilizes evidential deep learning principles11 to assign explicit uncertainty metrics, categorizing inputs into bounding categories such as KNOWN\_STUFF, KNOWN\_THINGS, and UNKNOWN\_THINGS11. False positives are procedurally generated from environmental noise parameters, testing the tracking module's ability to prune spurious data.

Python @dataclass(frozen=True) class Observation: obs\_id: str sensor\_id: str estimated\_position: Tuple\[float, float, float\] classification\_state: str \# e.g., "KNOWN\_STUFF", "UNKNOWN\_THING" detection\_confidence: float latency\_ms: float is\_out\_of\_distribution: bool

5\. Tracking (Core Research Area 3\)

The tracking module consumes synthetic observations and resolves identity association, maintaining a persistent history of fused data. The TrackRecord schema is foundational for motion prediction.

Python @dataclass(frozen=True) class TrackRecord: track\_id: str observation\_refs: List\[str\] est\_position: Tuple\[float, float, float\] est\_velocity: Tuple\[float, float, float\] est\_acceleration: Tuple\[float, float, float\] covariance: List\[float\] first\_seen: float last\_seen: float track\_age: float classification\_state: str detection\_confidence: float track\_confidence: float motion\_hypotheses: List\[str\] staleness\_ms: float corridor\_intersection: bool source\_correlation: str

Staleness acts as a primary trigger for uncertainty scaling. If an object is classified as an UNKNOWN\_THING or is flagged as out-of-distribution, the track\_confidence penalty increases linearly with staleness, leading to broader spatial bounds in the prediction phase.

6\. Motion Prediction (Core Research Area 4\)

Motion prediction in autonomous systems frequently suffers from overconfidence on out-of-distribution data14. Public, deterministic simulators require safe, mathematically sound approaches to prediction that do not rely on proprietary, black-box neural networks representing classified performance. A comparison of safe public approaches yields distinct trade-offs:

  • Constant Velocity / Constant Acceleration: Highly interpretable but computationally naive, failing to account for intent or physical maneuverability.
  • Multiple Hypotheses: Explores branching pathways based on historical behavior, but suffers from state explosion in dense synthetic environments.
  • Conformal Prediction (CP): The recommended approach for this architecture. CP is a distribution-free statistical tool that constructs uncertainty sets with finite-sample coverage guarantees3.
  • Occupancy Tubes & Uncertainty Ellipsoids: By leveraging CP, the system generates bounding volumes (occupancy tubes) over time. If a tracking algorithm outputs an expected position, CP calculates an adaptive non-conformity score, wrapping the trajectory in a volumetric boundary that represents the ![][image1] confidence interval4.

Feedback-based CP is utilized to continuously adjust the non-conformity score based on realized trajectory errors, adapting safely under drift and dynamically widening bounds when tracks become stale3.

Python @dataclass(frozen=True) class Prediction: track\_id: str horizon\_ms: float occupancy\_tubes: List\[Tuple\[float, float, float, float\]\] \# x, y, z, radius uncertainty\_ellipsoids: List\[float\] conformal\_risk\_alpha: float reachable\_set\_bounded: bool

7\. Candidate Actions (Core Research Area 5\)

To maintain a strict non-operational boundary, the architecture avoids generating actuator commands, real flight-control gains, or firing solutions. Instead, planning is restricted to bounded semantic options.

Python @dataclass(frozen=True) class CandidateAction: candidate\_id: str semantic\_primitive: str feasible: bool min\_normalized\_clearance: float risk\_band: str objective\_delay: float path\_penalty: float control\_effort\_band: float violated\_constraints: List\[str\] objective\_reachable: bool status: str \# "SELECTED", "REJECTED", "INFEASIBLE", "RESERVE"

The system generates alternatives such as LEFT\_DEVIATION, RIGHT\_DEVIATION, VERTICAL\_DEVIATION, SPEED\_REDUCTION, HOLD, RETURN, and PREDEFINED\_MINIMUM\_RISK\_STATE. The autonomous agent ranks these candidates based on minimum normalized clearance and path penalty, selecting a primary intent to pass to the runtime assurance layer.

8\. Runtime Assurance (Core Research Area 6\)

The Runtime Assurance (RTA) module acts as a mathematically independent safety governor, physically separating the PLANNER\_REQUEST from the APPLIED\_SAFE\_ACTION. This is implemented via the Black-Box Simplex Architecture (BSA)1. The advanced controller (AC) focuses on mission progression, while the baseline controller (BC) focuses purely on generating safe backup plans2. The RTA's Decision Module (DM) monitors the AC's proposed candidate action. If the AC's intended path intersects with the occupancy tube of a predicted synthetic hazard, or if the AC misses a decision deadline, the RTA governor intervenes16.

Python @dataclass(frozen=True) class GovernorIntervention: intervention\_id: str planner\_request\_id: str applied\_safe\_action: str governor\_decision: str reason\_code: str proof\_conditions\_met: bool

The governor can ACCEPT, MODIFY, HOLD, RETURN, DENY, or FORCE\_MIN\_RISK. Reason codes (e.g., CP\_TUBE\_VIOLATION, AUTHORITY\_EXPIRED) are permanently serialized into the event log, ensuring absolute transparency as to why the AI was overridden7.

9\. Lost-Link Continuity (Core Research Area 7\)

Communications degradation requires strict state transitions to prevent the autonomous system from inventing new objectives after losing contact with human supervisors5. The system models lost-link behavior based on established aerospace continuity frameworks5.

Lost-Link StateTrigger ConditionSystem Behavior Restriction
COMMUNICATIONS\_HEALTHYCryptographic heartbeat nominal.Full synthetic mission execution authorized.
DEGRADEDHeartbeat latency exceeds 2000ms threshold.Prohibits complex maneuvers; initiates hold patterns.
LOSTHeartbeat absence exceeds 5000ms.Evaluates local authority token.
LOCAL\_AUTHORITY\_VALIDSystem possesses valid operational window.May execute pre-approved deviation options only.
LOCAL\_AUTHORITY\_EXPIRINGToken approaches deadline (e.g., \<30s remaining).Prepares for minimum-risk state transition.
LOCAL\_AUTHORITY\_EXPIREDToken reaches zero.System loses mandate for objective progression.
SAFE\_RETURNTriggered by expired authority.Executes return-to-home (RTH) on known safe vector.
INTEGRITY\_HOLDSimultaneous C2 loss and hardware fault.Forces immediate grounding or synthetic loiter.
RECONCILIATION\_REQUIREDHardware heartbeat returns.Awaits cryptographic operator challenge/response.
AUTHORITY\_REISSUEDOperator confirms state.Control transitions back to healthy nominal state.
ABSTAINUnrecoverable logical conflict.Yields to SYNTHETIC\_NULL\_SINK termination.

10\. Mission-State Metrics (Core Research Area 8\)

The analytical workbench exposes deterministic metrics calculated exclusively from normalized data, ensuring no operational signatures are leaked7.

Metric CategorySpecific Deterministic MetricPurpose in Simulation
Temporal MarginsTime to predicted conflictMeasures urgency of required RTA intervention.
Decision deadlineComputes the precise millisecond the RTA must switch to BC.
Objective delayCalculates total time lost due to deviations and holds.
Spatial ClearancesMinimum predicted separationCalculates closest approach against CP occupancy tubes.
Current separationGround-truth normalized distance to nearest hazard.
Route deviationQuantifies path penalty generated by avoidance actions.
Safety-envelope marginThe delta between predicted separation and RTA boundary.
System LatenciesSensing latencySynthetic delay between physical existence and belief formation.
Track latencyTime required to resolve identity association.
Planning latencyComputational delay of candidate generation.
Command latencyDelay between RTA approval and execution.
Synthetic response timeTotal end-to-end loop completion time.
Option FeasibilityCandidates generatedVolume of bounded semantic options proposed.
Candidates feasibleSubset of options that do not violate constraints.
Assurance MetricsGovernor interventionBoolean trigger logging a Simplex fallback event1.
Evidence completenessVerifies serialization of the canonical digest and replay schema.
Reaction marginTime remaining post-intervention before constraint failure.

11\. Event Model (Core Research Area 9\)

Simulation events are modeled as stable, cryptographically verifiable records that append chronologically to form the canonical digest7.

Python @dataclass(frozen=True) class SimulationEvent: event\_id: str timestamp: float event\_type: str affected\_entity: str canonical\_digest: str

The allowed event types form the backbone of the timeline reconstruction: world\_update, observation, track\_creation, track\_update, prediction\_update, route\_conflict, candidate\_generation, candidate\_rejection, candidate\_selection, runtime\_assurance\_intervention, communications\_degradation, authority\_change, local\_autonomy, route\_reacquisition, objective\_completion, and evidence\_finalization.

12\. Python Engine Architecture (Core Research Area 10\)

The backend is engineered for absolute determinism, utilizing a strict functional programming paradigm.

12.1 Safe Python Package Architecture

The package follows a domain-driven structure, strictly isolating schemas, reducers, and APIs. evulgare\_engine/ ├── core/ │ ├── world\_physics.py \# World Truth schema & true kinematics │ ├── perception.py \# Evidential learning & synthetic noise │ ├── tracking.py \# Covariance expansion & track association │ ├── conformal.py \# CP occupancy tubes4 │ └── simplex\_rta.py \# Governor and Baseline Controller logic2 ├── models/ │ ├── state\_machines.py \# Lost-link and Mission flow │ ├── intent.py \# Semantic options │ └── events.py \# Logging and hashing ├── engine/ │ ├── simulator\_loop.py \# Deterministic clock and pure reducers │ ├── rng.py \# Seeded deterministic RNG │ └── serializer.py \# Canonical serialization & hydration └── api/ └── flask\_routes.py \# Zero-leakage stateless API

12.2 Safe Python Pseudocode (Engine Loop)

State mutation is entirely prohibited. Pure reducers construct the subsequent frame, mapping input states to output states predictably.

Python import hashlib import json from copy import deepcopy

class DeterministicSimulation: def \_\_init\_\_(self, seed: int): self.clock: float \= 0.0 self.rng \= DeterministicRNG(seed) self.world\_state \= WorldTruth(timestamp=0.0) self.belief\_state \= AutonomyBelief(timestamp=0.0) self.events \= \[\]

def \_pure\_reducer(self, state: WorldTruth, delta: float) \-\> WorldTruth: \# Implements synthetic physics without side effects new\_state \= deepcopy(state) new\_state.timestamp \+= delta return new\_state

def tick(self, time\_delta: float): self.clock \+= time\_delta

\# 1\. Physics Update self.world\_state \= self.\_pure\_reducer(self.world\_state, time\_delta)

\# 2\. Perception & Belief observations \= simulate\_perception(self.world\_state, self.rng) self.belief\_state \= update\_tracking(self.belief\_state, observations)

\# 3\. Prediction & Intent predictions \= calculate\_conformal\_tubes(self.belief\_state) intent \= generate\_candidates(self.belief\_state, predictions)

\# 4\. Runtime Assurance governor\_decision \= evaluate\_simplex(intent, predictions)

\# 5\. Execute & Log self.execute\_action(governor\_decision.applied\_safe\_action) self.\_record\_event("TICK\_COMPLETE", governor\_decision)

def \_record\_event(self, event\_type: str, context: any): state\_string \= json.dumps(self.world\_state.\_\_dict\_\_, sort\_keys=True, default=str) digest \= hashlib.sha256(state\_string.encode()).hexdigest() self.events.append(SimulationEvent("EVT", self.clock, event\_type, "SELF", digest))

12.3 Flask API Design

The Flask API facilitates communication utilizing compact transport. No simulation state is persisted cross-site or cross-session, aligning with strict data-minimization privacy policies8.

RouteMethodPayloadResponse
/api/v2/scenariosGETNoneScenario registry list.
/api/v2/engine/initPOST{"seed": int, "scenario\_id": str}{"run\_id": str}
/api/v2/engine/tickPOST{"run\_id": str, "delta\_ms": float}Content-addressed frame delta.
/api/v2/engine/proofsGET{"run\_id": str}Evaluation of 40 invariant proofs.
/api/v2/engine/replayGET{"run\_id": str}Canonical JSON replay manifest.

13\. Multi-Domain Demos (Core Research Area 11\)

The platform must prove the universality of the deterministic architecture. Each of the five public demos utilizes the same authoritative workbench shell and core Python engine but features distinct synthetic visual identities.

A. Autonomous Drone Control

Focuses on sub-1000 ft aerial inspection in a synthetic environment6. The scenario tests conformal prediction applied to multi-agent uncooperative swarms10. The primary hazard is a dynamic rogue drone. When the RTA determines a trajectory conflict, the AC is overridden with a VERTICAL\_DEVIATION baseline command to clear the synthetic airspace safely.

B. Autonomous Maritime Safety

Applies the architecture to a synthetic maritime corridor. The scenario highlights open-set recognition (OSR) by injecting out-of-distribution observations representing an uncooperative vessel failing to transmit AIS data11. The RTA enforces a COLREGs-equivalent logic constraint18, forcing a SPEED\_REDUCTION and RIGHT\_DEVIATION.

C. Satellite Continuity and Collision Avoidance

Models a synthetic orbital track confronting a high-speed debris cloud. Time-series conformal prediction calculates ephemeris uncertainty ellipsoids. The RTA layer relies on a lookahead baseline controller to compute a permanently safe orbit-raising maneuver (PREDEFINED\_MINIMUM\_RISK\_STATE) before the AC misses a computational deadline2.

D. Unmanned Logistics under Communications Loss

Focuses on last-mile synthetic logistics facing a total C2 lost-link event5. The system navigates the lost-link state machine, ultimately entering LOCAL\_AUTHORITY\_EXPIRED. The RTA utilizes CP models of synthetic pedestrian density19 to execute a SAFE\_RETURN to a predefined landing pad.

E. Infrastructure Inspection and Hazard Avoidance

Deploys a drone in a cluttered synthetic bridge topology facing extreme environmental noise (wind gusts). Feedback-based conformal prediction dynamically expands the drone's own uncertainty margins due to kinematic drift3. The RTA triggers an INTEGRITY\_HOLD, overriding the AC's pathing to force a safe landing on a structurally verified pier21.

14\. Three-Dimensional Experience (Core Research Area 12\)

The browser representation contract requires the frontend to reconstruct analytical timelines purely from hydrated state, explicitly preventing the client from inventing physical behavior7. Visual encodings enforce epistemological clarity. WORLD\_TRUTH elements are rendered as solid, mathematically precise objects. AUTONOMY\_BELIEF is visualized as point clouds or bounding boxes to emphasize uncertainty. The conformal prediction occupancy tubes are rendered as translucent, volumetric meshes based on the designated risk alpha4. The rendering engine supports twelve distinct camera specifications to facilitate analysis:

1. Drone Camera: Egocentric view mapping directly to the sensor's field of view.

2. Chase Camera: Stabilized third-person view tracking the main agent.

3. Overhead Tactical View: Orthographic top-down layout abstracting altitude.

4. Topological View: A node-based representation graph ignoring physical geography to visualize governance and authority state relationships7.

5. Mission-Control View: Multi-pane tiled dashboard showing cameras alongside metrics.

6. Event-Follow Camera: Automatically pans to the highest-risk synthetic conflict identified by the RTA.

7. Decision-Focus Camera: Zooms and holds on the spatial location where the governor intervened.

8. Selected-Entity Focus: Locks the camera onto a user-clicked synthetic hazard.

9. Comparison Camera Sync: Two viewports locked in spatial sync, showing the safe RTA run versus an unconstrained failure baseline7.

10. WebXR View: Full immersive device API support.

11. Non-XR Equivalent: Standard WebGL Canvas fallback for desktop.

15\. Proof Inspector (Core Research Area 13\)

The Proof Inspector is a continuous UI diagnostic layer that validates system architecture integrity during the deterministic run. Every proof card displays deep-linked properties to allow analysts to verify why a simulation passed or failed7.

Proof Inspector FieldDescription / Function
Proof ID & Statemente.g., "INV-01: Truth never directly seeds autonomy intent."
StateReal-time binary evaluation: PASS, FAIL, or UNKNOWN.
EvidenceMathematical variable tracking (e.g., truth\_leak\_bytes \= 0).
Assumptions & DefeatersThe logical condition that would cause the proof to fail (e.g., "Memory read from WorldTruth detected").
Affected Event & EntityLinks to the specific timestamp and UUID where the evaluation occurred.
Reason CodesExplains the result based on the canonical digest context.
QualificationContextual mapping to institutional policies or lifecycle gates7.
Jump-to-EventUI button updating the chronological timeline dial to the exact evaluation tick.
Compare-BaselineUI button loading a counterfactual run where the proof was deliberately failed.
Raw EvidenceExpandable modal displaying the raw JSON chunk evaluated for the proof.

16\. Progressive Delivery and Performance Budgets (Core Research Area 14\)

To ensure the analytical workbench is highly accessible globally without relying on heavy client infrastructure, the architecture implements aggressive progressive delivery strategies8.

Delivery StageBudgetArchitectural Strategy
Initial HTML\< 50 KBDelivers the core UI shell and CSS globally via CDN.
Initial JSON\< 100 KBFetches scenario registry and initial state parameters.
First Analytical State\< 300 msRenders narrative logs, metric tables, and proof states immediately prior to WebGL initialization.
First Frame (WebGL)\< 1.5 sCompiles basic shaders and geometry for the 3D layer.
Complete Replay\< 2 MBUtilizes compact transport and gzip for the full canonical manifest.
Hydration Verification\< 50 msCompares browser state hash against server digest hash.
Retry & DegradedN/AIf WebGL context is lost, immediately falls back to Canvas 2D or DOM table representation8.
Mobile Memory Cap\< 150 MBEmploys aggressive GPU cleanup and garbage collection of stale track objects to prevent browser crashes.

17\. Accessibility (Core Research Area 15\)

The simulation architecture must remain fully analytically useful for users unable to engage with the 3D WebGL scene, ensuring strict parity between visual, narrative, and tabular views7.

Analytical TaskNon-Visual Accessibility Strategy
Identify HazardsARIA live regions announce HAZARD\_DETECTED events immediately via screen reader.
Inspect TracksDynamically updating semantic HTML tables map track IDs to latency, staleness, and confidence metrics.
Compare CandidatesData tables present generated alternatives (LEFT\_DEVIATION vs HOLD) side-by-side with calculated risk bands.
Understand UncertaintyTextual narrative output translates CP tubes into physical volume estimates (e.g., "95% confidence bounds reach 40 cubic meters").
Follow TimelineKeyboard-navigable sequential event logs allow logical stepping through the mission phase.
Inspect ProofEach proof card uses standard semantic HTML denoting PASS/FAIL state without relying on color indicators.
Issue Bounded ActionsSupervisory toggles (e.g., force RTH) are standard HTML form inputs.
Export EvidenceDirect API download links providing raw JSON and accessible CSV formats.
Complete Analytical TaskThe user can definitively confirm if the RTA intervened correctly relying solely on the Event Log and Proof Inspector.

18\. The 35 Scenarios (Deliverable 16\)

The following 35 deterministic scenarios guarantee comprehensive evaluation across diverse risk profiles and domains.

IDDomainScenario NarrativeTested Core Function
A1AerialSingle synthetic drone intercepts abstract static hazard.Baseline perception and primitive deviation.
A2AerialMulti-UAV uncoordinated swarm encounters high wind.Distributed CP bounds expansion10.
A3AerialMid-flight total GPS denial in urban canyon.Sensor degradation and IMU dead-reckoning drift.
A4AerialAdversarial telemetry spoofing detected.OSR handling of conflicting data classification.
A5AerialHigh-speed head-on abstract conflict.RTA Simplex rapid baseline switching1.
A6AerialPersistent occlusion of tracked hazard behind a wall.Covariance expansion due to staleness.
A7AerialLatency on command link exceeds 2000ms.Degraded authority management5.
B1MaritimeApproaching vessel drops AIS broadcast.OSR categorization of UNKNOWN\_THING11.
B2MaritimeThick fog eliminates 90% of visual/LiDAR points.Evidential learning uncertainty scaling11.
B3MaritimeNarrow channel transit with traffic.Calculation of minimum normalized clearance.
B4MaritimeSynthetic rogue wave alters own kinematics instantly.Feedback-based CP rapid readjustment3.
B5MaritimeComplete comms loss with port control.Lost-link logic invoking maritime loiter hold.
B6MaritimeMulti-vessel convergence collision course.Candidate risk band prioritization.
B7MaritimeDetection of low-profile uncooperative craft.False negative recovery and track re-initialization.
C1SatelliteDebris cloud predicted intersection path.Ephemeris uncertainty ellipsoids via CP.
C2SatelliteSensor blackout due to synthetic solar flare.Prolonged covariance expansion limits.
C3SatelliteUnexpected orbital decay detected.Baseline controller forced orbit raising16.
C4SatelliteLoss of ground station synchronization.SAFE\_RETURN equivalent (safe orbit hold)5.
C5SatelliteSimultaneous debris alert and thermal fault.State machine resolution of competing priorities.
C6SatelliteRendezvous approach with uncooperative payload.RTA minimum proximity boundary enforcement.
C7SatelliteThruster misfire alters planned trajectory.Kinematic anomaly correction via pure reducers.
D1LogisticsUrban multipath interference scrambles tracking.Filter rejection of ghost tracks.
D2LogisticsComplete uplink/downlink severance en route.Full lost-link state transition to EXPIRED17.
D3LogisticsPedestrian intrusion on designated synthetic pad.CP pedestrian trajectory evaluation19.
D4LogisticsCG imbalance simulated post-payload shift.Abort to PREDEFINED\_MINIMUM\_RISK\_STATE.
D5LogisticsLocal emergency command conflicts with remote input.Authority reconciliation logic.
D6LogisticsDynamic no-fly boundary updated mid-flight.RTA geo-fence boundary violation prevention.
D7LogisticsSensor blind spot entered during descent phase.HOLD condition enforced until confidence restores.
E1Infra.Bridge inspection subject to sheer crosswinds.AC path penalty rejection by RTA21.
E2Infra.Unknown structural anomaly visually detected.OSR mapping to semantic confidence layers.
E3Infra.Complete visual odometry failure.Transition to high-uncertainty motion models.
E4Infra.Dynamic crane boom enters operational volume.VERTICAL\_DEVIATION generated and executed safely.
E5Infra.Critical battery alert simulated during transit.Immediate override to SAFE\_RETURN logic.
E6Infra.Human operator issues an unsafe manual override.RTA governor rejects human input to prevent crash22.
E7Infra.Multi-agent inspection path intersection.Distributed RTA negotiation preventing deadlock.

19\. The 40 Proof Invariants (Deliverable 17\)

Every proof dynamically reflects the runtime status of the system, asserting the structural integrity of the autonomy. These are continuously evaluated by the Proof Inspector7.

IDProof StatementDefeater Condition (Fail State Trigger)
INV-01World truth never directly seeds autonomy intent.Memory read detected from WORLD\_TRUTH directly to AUTONOMY\_INTENT.
INV-02RTA Governor cannot be bypassed by AC.Kinetic action executed without Governor ACCEPT or MODIFY log1.
INV-03Track ID is preserved across occlusion events.Bounding boxes overlap in space/time, but a new track ID is erroneously assigned.
INV-04Covariance expands monotonically without observations.Covariance value shrinks while observation staleness increases.
INV-05Lost-link invokes RTH or Hold exclusively.Mission objective changes after LOCAL\_AUTHORITY\_EXPIRED transition17.
INV-06CP Occupancy tube encapsulates true trajectory (95%).World truth coordinate intersects outside the ![][image2] boundary23.
INV-07Baseline controller command is permanently safe.LBC calculated trajectory intersects a known static hazard boundary2.
INV-08Out-of-distribution observation triggers uncertainty scaling.OSR confidence value remains high despite is\_out\_of\_distribution=True11.
INV-09Synthetic NULL\_SINK correctly halts simulation.State kinematics continue mutating after INTEGRITY\_HOLD is established.
INV-10Semantic candidate options strictly bound actuator intent.Output stream generates raw PWM signals instead of abstract commands like LEFT\_DEVIATION.
INV-11Deterministic tick produces exact canonical digest.SHA-256 hash mismatch on a replay utilizing an identical initialization seed.
INV-12Event logger is strictly append-only.Past event timestamp or payload is modified or deleted during the simulation run.
INV-13Visual encoding matches classification state precisely.An UNKNOWN\_THING is rendered visually utilizing the KNOWN\_STUFF material shader.
INV-14AUTHORITY\_REISSUED requires heartbeat verification.State transition occurs without receiving and validating a cryptographic token.
INV-15RTA intervention explicitly logs a reason code.GovernorIntervention object is instantiated containing a null or empty reason code string.
INV-16All lifecycle gates are conjunctive7.Simulation completes successfully despite INSTITUTIONAL\_PERMISSION\_INVALIDATED.
INV-17Contested interpretations remain visible7.UI layer conceals ENTITY\_RESIDUAL\_UNKNOWNS\_UNRESOLVED from the analyst.
INV-18Minimum normalized clearance is strictly \> 0\.CandidateAction feasible flag evaluates to true when clearance is mathematically negative.
INV-19SAFE\_RETURN altitude \> highest known obstacle5.RTH trajectory calculates a path plotted below the synthetic canopy top.
INV-20Sensor occlusion drops detection confidence.Geometric line-of-sight is physically blocked, but sensor confidence remains 1.0.
INV-21Feedback-based CP adjusts non-conformity dynamically3.Non-conformity score remains static despite increasing realized trajectory errors.
INV-22RTA triggers prior to imminent violation.System continues utilizing AC until collision time reaches absolute 0\.
INV-23Local authority has a hard expiration deadline.Authority token age exceeds 60s without entering the EXPIRING or EXPIRED state.
INV-24Simulation uses strictly normalized coordinates.Geodetic WGS84 or classified operational coordinates leak into the output payload.
INV-25Unverified AC cannot rewrite LBC memory1.Memory footprint of AC execution leaks into and overwrites LBC bounding limits.
INV-26Objective is not invented during lost link17.System autonomously generates novel unapproved waypoints post-comms loss.
INV-27Time to predicted conflict decreases linearly.Conflict timer resets or stalls without any corresponding change in agent trajectory.
INV-28No classified performance values in schema.Maximum turn rate, G-force limit, or thermal threshold is exposed in the API.
INV-29Fallback Canvas 2D renders when WebGL fails.Application presents a blank screen upon intentional WebGL context loss8.
INV-30Pure reducers mutate state without side effects.Global variables or external files are modified during a \_pure\_reducer cycle.
INV-31Replay Manifest contains complete initial state.Hydration process fails due to missing WorldTruth object in the JSON file.
INV-32Proof Inspector allows jump-to-event7.Deep linking to chronological timeline via the proof card fails to update global state.
INV-33Mobile design caps memory usage.Browser array buffers allocate memory exceeding the strict 150MB budget limit.
INV-34Accessibility views maintain parity with 3D visuals.A tracked metric is omitted from the ARIA DOM tree narrative view.
INV-35DEGRADED comms restrict action execution.System transitions to a new, complex objective phase while signal is flagged as degraded.
INV-36PREDEFINED\_MINIMUM\_RISK\_STATE is always mathematically accessible.LBC is unable to compute a physically possible stopping trajectory from current state.
INV-37False positive tracks degrade over time.A track generated by noise maintains track\_confidence \= 1.0 without subsequent observations.
INV-38Data models support JSON serialization natively.Dataclass contains function pointers or non-serializable object types causing parser failure.
INV-39Synthetic wind gust generates measurable drift.Kinematics remain perfectly rigid and unaffected despite high environmental\_noise values.
INV-40Operator intervention logged as external event.Operator manual override occurs but lacks a provenance hash tracking the human input.

20\. The 40 FAQ Answers (Deliverable 33\)

Architecture & Epistemology

1. What is the difference between World Truth and Autonomy Belief? World Truth represents absolute physical reality (used for visualization and evaluation); Autonomy Belief is the degraded, uncertain state the AI calculates based on noisy sensors.

2. Why use normalized coordinates instead of WGS84? To ensure the simulator remains purely abstract, definitively preventing the leakage or storage of classified operational data.

3. Can the autonomy agent access the World Truth? No. A strict epistemological barrier is enforced via decoupled Python schemas and memory boundaries.

4. What does SYNTHETIC\_NULL\_SINK mean? It is a safe termination state where the simulation stops calculating physics and no further kinetic action is taken.

5. How is determinism achieved? By utilizing pure functional reducers, frozen dataclasses, and a strictly seeded pseudo-random number generator (PRNG) executed in sequence.

6. Why use bounding semantic options instead of actuator commands? Bounded options focus the simulation on high-level decision-making intent, abstracting away platform-specific flight dynamics or classified control laws.

7. What is a "canonical digest"? A SHA-256 cryptographic hash of the simulation state at a specific tick, ensuring auditability and replay integrity7.

Runtime Assurance (Simplex) 8\. What is the Black-Box Simplex Architecture? A runtime assurance framework that switches control from a complex, unverified controller to a trusted, highly verified baseline controller to prevent safety violations1. 9\. Why is the baseline controller considered "trusted"? It is a simplified algorithm (like a dead stop, loiter, or orbit raise) designed solely to maintain a safe envelope, allowing for mathematical verification2. 10\. What triggers a governor intervention? The intersection of the advanced controller's proposed path with a hazard boundary or a conformal prediction tube4. 11\. Does the RTA governor invent new missions? No, its sole mandate is to reject unsafe commands and force the system into a predefined minimum-risk state. 12\. What is a Proof Invariant? A programmatic logic check evaluated every frame that guarantees a specific architectural rule holds true throughout the simulation. 13\. Can the Advanced Controller bypass the RTA? No, INV-02 explicitly checks that all commands pass through the Decision Module before execution. 14\. How does RTA handle multi-agent scenarios? It utilizes distributed boundary negotiations, ensuring agents do not mathematically force each other into unavoidable unsafe states21. Uncertainty & Conformal Prediction 15\. What is Conformal Prediction (CP)? A statistical framework that provides finite-sample coverage guarantees for prediction regions without requiring assumptions about the underlying data distribution3. 16\. Why use CP instead of standard Kalman filters for prediction? CP accounts for out-of-distribution behaviors and provides explicit, bounded occupancy tubes that are highly effective for RTA safety checks4. 17\. What is Feedback-Based CP? A methodology that dynamically adjusts prediction margins by continuously feeding observed trajectory errors back into the non-conformity score calculation3. 18\. How is uncertainty visualized? Through translucent 3D occupancy tubes representing confidence intervals mapped directly to risk alphas4. 19\. What is Open-Set Recognition (OSR)? The capability of a perception system to classify an object explicitly as "unknown" rather than forcing it into a known but incorrect category12. 20\. How does OSR interact with CP? Objects classified as "unknown" generate wider CP occupancy tubes due to their inherently higher predictive uncertainty11. 21\. What happens during sensor occlusion? The track covariance expands monotonically (enforced by INV-04) until the line of sight is restored. Lost-Link & Communications 22\. What defines a "Lost-Link" event? The severance of the command and control (C2) heartbeat for a duration exceeding a defined safety threshold5. 23\. Can the autonomy invent a new objective after losing link? No. INV-05 and INV-26 strictly prohibit inventing unapproved objectives post-link loss17. 24\. What is a Return-to-Home (RTH) procedure? A pre-programmed fallback behavior where the system navigates to a predefined safe recovery zone upon authority expiration5. 25\. What altitude is used for RTH? A predefined safe altitude calculated to be higher than any known synthetic obstacle in the operational domain5. 26\. What is "Integrity Hold"? A catastrophic fail-safe state invoked during simultaneous comms loss and hardware fault, prompting an immediate halt or landing. 27\. How does the system regain authority? Through the AUTHORITY\_REISSUED state transition, which requires a cryptographic challenge/response verification. 28\. Does latency count as a lost link? Latency triggers a DEGRADED state, prompting cautious action constraints, but does not invoke full RTH until specific timeout thresholds expire. User Interface & Accessibility 29\. What happens if a user lacks a WebGL-capable device? The UI gracefully degrades to a Canvas 2D or fully DOM-based analytical table dashboard without losing analytical capability8. 30\. How can I see what the autonomy "thinks"? The UI allows users to toggle rendering layers between World Truth (solid objects) and Autonomy Belief (wireframes and point clouds)11. 31\. What is the Proof Inspector? A dedicated UI component that tracks the pass/fail status of the 40 invariants in real-time, providing deep links to evidence7. 32\. Does the UI send my data to Evulgare? No, the simulation runs entirely in page-local JavaScript memory; it is explicitly data-minimizing and stores no behavioral profiles8. 33\. Can I export a simulation run? Yes, the system generates a canonical JSON manifest containing the initial state and chronological event array7. 34\. How are events logged? As a continuous textual narrative and sortable data table explicitly tied to precise simulation timestamps. 35\. What is the "Compare-Baseline" view? A synchronization tool that allows side-by-side visual comparison of a safe RTA run versus an unconstrained failure scenario7. General Platform & Evulgare Context 36\. Is this a real weapons simulator? No. It explicitly boundaries out target selection, operational tactics, and real flight dynamics in favor of abstract safety governance. 37\. What does the simulation prove? It proves the mathematical and computational architecture of runtime safety and accountability, not physical platform performance. 38\. How does this relate to the "Governance Lifecycle"? It simulates the deterministic transitions required to satisfy overarching institutional gates, such as technical feasibility and independent review7. 39\. Why are the scenarios multi-domain? To prove the universality and abstraction power of the RTA and CP architecture across disparate operational environments (aerial, maritime, space). 40\. How do I verify the code's safety claims? Analysts can execute the provided Python property tests, E2E hydration parity checks, and inspect the open JSON manifest manually.

21\. Glossary of 60 Terms (Deliverable 34\)

TermDefinition
1\. Advanced Controller (AC)The primary, complex, unverified AI algorithm handling mission objectives1.
2\. Autonomy BeliefThe system's internal representation of the world, calculated from degraded synthetic sensor data.
3\. Autonomy IntentThe proposed semantic action the system intends to take prior to safety filtering.
4\. Bounded AuthorityThe strict, programmatic limits placed on an autonomous system's capabilities7.
5\. Baseline Controller (BC)A highly trusted, verified algorithm designed solely to ensure vehicle safety1.
6\. Canonical DigestA cryptographic SHA-256 hash of the simulation state ensuring perfect auditability7.
7\. Conformal Prediction (CP)A statistical method for producing valid prediction regions without distribution assumptions3.
8\. Covariance MatrixA mathematical representation of the uncertainty bounding a tracked object's position.
9\. Decision Module (DM)The RTA component evaluating AC intent, switching to the BC if constraints are violated2.
10\. Deterministic ClockA simulation timer that progresses predictably, ensuring 100% reproducible replays.
11\. Dirichlet Evidential LearningA method for explicitly modeling the uncertainty of classification outputs11.
12\. Epistemological BoundaryThe enforced software separation between reality (World Truth) and perception (Belief).
13\. EvulgareThe ecosystem destination for real-system evidence and accountability software8.
14\. False NegativeA real physical hazard that the autonomy system fails to detect.
15\. False PositiveA perceived hazard generated by noise that does not exist in the World Truth.
16\. Feedback-Based CPAdjusts prediction models continuously by comparing predictions to realized errors3.
17\. Frozen DataclassAn immutable Python object structure used to prevent state leakage and unintended side effects.
18\. Governance LifecycleThe sequence of institutional gates required for autonomous deployment7.
19\. Hydration ParityThe process ensuring the browser reconstructs the exact same state as the Python backend.
20\. Immutable Audit RecordAn append-only log of events and state changes that cannot be retroactively altered7.
21\. Integrity HoldA fail-safe state triggered by critical errors, halting all kinetic movement.
22\. Known StuffBackground elements in OSR that are recognized but un-trackable (e.g., roads, sky)11.
23\. Known ThingsDistinct foreground objects successfully recognized by the model's training distribution11.
24\. Local AuthorityThe temporary mandate an autonomous system holds to act independently during comms loss.
25\. Lookahead BaselineA BC that computes safe trajectories into the future to ensure collision avoidance2.
26\. Lost LinkThe severance of the C2 communications heartbeat between operators and the platform5.
27\. Minimum Normalized ClearanceThe smallest acceptable abstract distance between the agent and a hazard.
28\. Mission State MachineThe deterministic engine governing the high-level phases of the synthetic operation.
29\. Multi-Agent Reinforcement LearningCooperative AI algorithms; here bounded by strict conformal wrappers24.
30\. Non-Conformity ScoreA CP metric denoting how unusual an observation is relative to calibration data15.
31\. Occupancy TubeA 3D volumetric representation of an object's predicted reachable set over time4.
32\. Open-Set Recognition (OSR)The ability to detect and safely handle object classes unseen during training12.
33\. Out-of-Distribution (OOD)Data that falls significantly outside the parameters the AI was originally trained to handle.
34\. Path PenaltyThe synthetic cost assigned to a candidate action for deviating from the optimal primary objective.
35\. Primary ObjectiveThe main navigational or observational goal assigned to the synthetic mission.
36\. Proof InspectorA UI layer that continuously evaluates and displays the status of systemic invariants7.
37\. Property TestCode tests verifying that specific algorithmic properties (like absolute determinism) always hold.
38\. Pure ReducerA function that takes a state and an action, returning a new state entirely without side effects.
39\. Reachable SetThe entire volume of space an object could mathematically occupy within a given time horizon.
40\. Reason CodeA standardized identifier explaining exactly why the RTA governor intervened.
41\. Reconciliation RequiredA state post-lost link where the system awaits cryptographic re-sync with the operator.
42\. Replay ManifestThe JSON envelope containing the seed, scenario, and event digest for exact playback8.
43\. Residual UnknownsThe acknowledged epistemic gaps between the simulation model and operational reality7.
44\. Return to Home (RTH)The procedure of automatically flying back to a predefined safe location upon error5.
45\. Risk BandA categorized level of statistical danger (e.g., Low, High) assigned to a candidate action.
46\. Runtime Assurance (RTA)An online verification mechanism that filters unsafe control inputs in real-time22.
47\. Scenario RegistryThe internal database of 35 deterministic starting states available for simulation execution.
48\. Semantic ActionA high-level description of intent (e.g., LEFT\_DEVIATION) rather than raw actuator commands.
49\. Sensor DegradationThe synthetic injection of noise, latency, and occlusion into the perception layer.
50\. Simplex ArchitectureA specific RTA framework blending advanced controllers with verifiable baseline safety modules1.
51\. Spatially Represented State GraphA visual UI where governance or software entities are shown as connected nodes7.
52\. StalenessThe exact elapsed simulation time since a tracked object was last successfully observed.
53\. Synthetic HazardAn abstract obstacle generated procedurally by the simulation to force avoidance behavior.
54\. Synthetic SignatureA non-operational numerical value representing how easily an object can be detected.
55\. Topological ViewA camera perspective prioritizing logical relationships and networks over physical geography.
56\. Uncertainty EllipsoidA 3D geometric shape bounding the statistically probable location of a tracked entity.
57\. Unknown ThingAn object detected by OSR that behaves like an entity but lacks a known class signature11.
58\. Verified ControllerA control algorithm mathematically proven to maintain safety constraints2.
59\. WaypointA specific set of 3D synthetic coordinates marking the intended mission path.
60\. WebXRThe web standard allowing immersive 3D/VR inspection of the simulation state directly in browser.

22\. Architecture Diagrams (Deliverable 35\)

(The following describes the structural layout of the six required diagrams, designed to be integrated into the standard markdown rendering pipeline via textual representation).

1. Epistemological Boundary Flow Diagram:

  • Structure: \[World Truth\] ![][image3] (Synthetic Physics Engine) ![][image3] \[Sensor Degradation\] ![][image3] \[Autonomy Belief\].
  • Purpose: Visually highlights that World Truth never bypasses Sensor Degradation, preventing memory leakage.

2. Black-Box Simplex RTA Diagram:

  • Structure: \[Autonomy Intent (AC)\] outputs to (Decision Module). The \[Decision Module\] checks constraints against \[Conformal Prediction Tubes\]. If safe, routes to \[Execute AC\]. If unsafe, routes to \[Execute LBC\].

3. Lost-Link State Machine Diagram:

  • Structure: A directed graph illustrating the flow: HEALTHY ![][image3] DEGRADED ![][image3] EXPIRING ![][image3] EXPIRED ![][image3] SAFE\_RETURN.

4. Feedback-Based Conformal Prediction Diagram:

  • Structure: \[Calibration Data\] seeds the \[Non-Conformity Score\], producing the \[Prediction Tube\]. \[Realized Trajectory Error\] loops back to update the \[Non-Conformity Score\].

5. Browser Hydration Model Diagram:

  • Structure: \[JSON Replay Manifest\] feeds the frontend \[Pure Reducer\], generating the \[Chronological State Array\], which coordinates the UIs: (3D Canvas, Data Table, Metrics Graph).

6. Evulgare Governance Lifecycle Map Diagram:

  • Structure: Nodes representing Technical Feasibility, Independent Review, and Bounded Authority converge into a conjunctive RUN\_COMPLETE gate, representing the overarching institutional safety hold7.

23\. Site-Ready Pages and API Routes (Deliverables 31, 32, 36, 37\)

23.1 Site-Ready Autonomous Mission Control Page

URL Path: /simulations/autonomous-mission-controlLayout Strategy:

  • Header Navigation: Mode toggles (Guided, Explore, Expert) and session RUN\_ID.
  • Left Column (Input): Scenario selector drop-down (Domains A-E) and dynamic toggles for injecting degraded-link events or sensor noise.
  • Center Main (Viewport): WebGL 3D canvas featuring the CP occupancy tubes. Contains the view toggle for WORLD\_TRUTH versus AUTONOMY\_BELIEF.
  • Right Column (Analytics): The Proof Inspector panel, tracking INV-01 through INV-40 in real-time with deep links to evidence7.
  • Bottom Pane: Synchronized chronological ticker dial, Mission Metrics sparklines, and raw JSON Evidence tabs.

23.2 Site-Ready Multi-Domain Demo Page

URL Path: /simulations/multi-domain-rtaLayout Strategy:

  • A hero carousel interface where users select an environment (Aerial, Maritime, Satellite, Logistics, Infrastructure).
  • Selecting an environment dynamically loads the specific pre-computed JSON Replay Manifest.
  • Demonstrates that each distinct domain seamlessly utilizes the exact same React/Three.js analytical shell, proving that the underlying Python deterministic engine is structurally domain-agnostic.

23.3 Proposed /docs Path and Stable ID

Path: /docs/architecture/rta-conformal-predictionStable ID: DOC-RTA-CP-2026-08

23.4 Proposed .uai Router

To integrate with the .uai Memory system7, the router utilizes canonical state digests to fetch and hydrate simulations seamlessly, avoiding reliance on persistent tracking cookies.

JavaScript // uai-router.js export function routeUAIRequest(digest) { // Check local memory cache to adhere to data minimization if (cache.has(digest)) return cache.get(digest);

// Fetch canonical manifest via compact transport return fetch(\/api/v2/engine/replay/${digest}\) .then(res \=\> res.json()) .then(manifest \=\> hydrateSimulation(manifest)) .catch(err \=\> invokeFallbackCanvas(err)); }

24\. Research Traceability (Deliverable 38\)

The architecture's components directly trace to foundational research and safety standards:

  • Simplex Runtime Assurance: Traced to the GovernorIntervention schema and evaluate\_simplex() logic, ensuring mathematically verified backup controllers intercept unverified AC commands1.
  • Conformal Prediction: Traced to the Prediction schema and volumetric WebGL shaders, providing statistically sound occupancy tubes based on non-conformity scores3.
  • Open-Set Recognition: Traced to Observation.is\_out\_of\_distribution flags and evidential learning abstractions, preventing overconfidence in anomalous data11.
  • Lost-Link Protocols: Traced to the LostLinkStateMachine and RTH fallbacks, adhering to aerospace contingency standards5.
  • Evulgare Framework: Traced to the canonical\_digest, Proof Inspector UI, and deterministic clock, aligning with the platform's focus on governance gates and answerability7.

25\. What the Simulation Establishes vs. Requires Validation (Deliverables 39 & 40\)

25.1 What the Simulation Establishes

This simulation definitively proves the computational architecture of safety. It establishes that:

1. The logical epistemological boundaries between physical truth, sensor belief, and autonomy intent can be cryptographically maintained and audited.

2. The Runtime Assurance (Simplex) logic mathematically guarantees a switch to a safe baseline controller before a synthetic constraint boundary is violated2.

3. The Conformal Prediction algorithm successfully produces bounded occupancy tubes based on dynamically adjusting synthetic non-conformity scores3.

4. The lost-link state machine correctly manages authority states without deadlock, preventing the unauthorized invention of objectives5.

5. The system generates an immutable, inspectable audit trail required for institutional governance and continuous proof verification7.

25.2 What Requires Real-System Validation

The simulation deliberately does not prove physical flight safety or operational efficacy. It leaves the following for real-system validation:

1. Model-to-Reality Gap: The actual aerodynamic performance, wind shear resistance, and physical actuator latency of the hardware platform.

2. Sensor Signatures: Real radar cross-sections, LiDAR point-cloud densities, and physical camera focal flaws.

3. Operational Intelligence: Target selection, force authorization, and real-world tactical engagement parameters (explicitly excluded by the synthetic boundary definition).

4. Hardware Failure Rates: Battery drain anomalies, real processor faults, thermal throttling, or mechanical degradation.

5. Real Cryptography: The actual RF link encryption strength, electronic warfare resistance, and baseband radio integrity26.

Works cited

1. arXiv:2102.12981v3 \[cs.SE\] 31 May 2022, https://arxiv.org/pdf/2102.12981

2. The Black-Box Simplex Architecture for Runtime Assurance of Multi-Agent CPS \- Stanley Bak, https://stanleybak.com/papers/sheikhi2024isse.pdf

3. Conformal Prediction in The Loop: A Feedback-Based Uncertainty Model for Trajectory Optimization \- arXiv, https://arxiv.org/html/2510.16376v1

4. From Prediction Uncertainty to Conformalized Distance Fields for Safe Motion PlanningThis work was supported in part by the Information and Communications Technology Planning and Evaluation (IITP) grants funded by MSIT No. 2022-0-00124, No. 2022-0-00480 and No. RS-2021-II211343, Artificial Intelligence Graduate School Program (Seoul \- arXiv, https://arxiv.org/html/2607.00776v1

5. Lost Link Emergency Procedures for Drone Pilots, https://pilotinstitute.com/lost-link-emergency-procedures/

6. A Technology Survey of Emergency Recovery and Flight Termination Systems for UAS \- Scholarly Commons, https://commons.erau.edu/cgi/viewcontent.cgi?article=1052\&context=publication

7. Governance Lifecycle and Qualified-Human Gates Assurance Workbench | Evulgare, https://evulgare.com/simulations/governance-lifecycle

8. Privacy | KillChains.com, https://killchains.com/privacy.php

9. Machine Leadership and Proxy Governance \- KillChains.com, https://killchains.com/machine-leadership.php

10. Adaptive Conformal Prediction for Motion Planning among Dynamic Agents \- Proceedings of Machine Learning Research, https://proceedings.mlr.press/v211/dixit23a/dixit23a.pdf

11. Open-Set LiDAR Panoptic Segmentation Guided by Uncertainty-Aware Learning \- arXiv, https://arxiv.org/html/2506.13265v1

12. Data-Driven Hierarchical Open Set Recognition \- arXiv, https://arxiv.org/html/2411.02635v1

13. arXiv:2004.02434v3 \[cs.CV\] 2 Mar 2021, https://arxiv.org/pdf/2004.02434

14. \[2205.07160\] Evaluating Uncertainty Calibration for Open-Set Recognition \- arXiv, https://arxiv.org/abs/2205.07160

15. Conformal Prediction for Robotics | xLAB: Safe Autonomous Systems Lab, https://xlab.upenn.edu/conformal-prediction-robotics/

16. A Multi-Layer Resilient Architecture for Autonomous Quadcopter-Based Bridge Inspection Under Environmental Uncertainties \- MDPI, https://www.mdpi.com/2504-446X/10/2/136

17. NPS Range Safety Review Questions For Operating Unmanned Aircraft Systems (UAS), https://nps.edu/documents/104517539/106004714/JIFX\_UAS\_RCC\_Questionaire\_7Jul15\_Form.pdf/33385859-349a-4a6f-8c48-ce131f821ae8

18. A SURVEY OF MACHINE LEARNING ... \- UPC Commons, https://upcommons.upc.edu/bitstreams/827f67c5-6849-438f-b05f-711353ecb77d/download

19. Conformal Decision Theory, https://conformal-decision.github.io/

20. \[2502.06221\] Interaction-aware Conformal Prediction for Crowd Navigation \- arXiv, https://arxiv.org/abs/2502.06221

21. A Multi-Layer Resilient Architecture for Autonomous Quadcopter Flight Under Environmental Uncertainties \- Preprints.org, https://www.preprints.org/manuscript/202512.0411

22. (PDF) Runtime Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems \- ResearchGate, https://www.researchgate.net/publication/355141882\_Runtime\_Assurance\_for\_Safety-Critical\_Systems\_An\_Introduction\_to\_Safety\_Filtering\_Approaches\_for\_Complex\_Control\_Systems

23. NeurIPS Poster Conformal Prediction in The Loop: A Feedback-Based Uncertainty Model for Trajectory Optimization, https://neurips.cc/virtual/2025/poster/116267

24. Trident : How to Break Deep Reinforcement Learning Cyber Defenses (Agentic) \- arXiv, https://arxiv.org/html/2608.04317v1

25. Safety from Fast, In-the-Loop Reachability with Application to UAVs \- Sam Coogan, https://coogan.ece.gatech.edu/papers/pdf/llanes2022iccps.pdf

26. FAA Part 108 Connectivity Requirements: What the NPRM Really Says, http://tealcom.io/post/faa-part-108-connectivity-requirements-what-the-nprm-really-says/

[image1]: <data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADEAAAAaCAYAAAAe97TpAAABWElEQVR4Xu2VvysHcRjHH6GIQRlQipRBmFjIYLAYlEwmo8GkZPMHiMmkZJFksSpRUv4BWZQyKGWQjdGP19PjU3efu6/7Xp3O1edVr+H7PN9Pd++7z+c5kUAgkEU/LvrFKjCEK3iJH3gQb1cDDTGPk/gkFQ3h6MFHCSEKoQWncQ674q1syg7RjOt4g8u4hPe4hg3YiuPY6BakUWYIDbCLd9gXqeukfMURnMKNSC+VvCH0teuaeuwUe5q1WBCbjP54H8N3sbexhRPxdpK8IWZxr043scOWJdCHcYrPOOD19LfWj3EHm+LtJHlDFIW7rgbRQGm9Fxz2eqmUFUIn0IOkX9fd07bfqIVbcCS/79+i0S2yj2diE8jRiyf4KRawDQcj/RgzYl9qPVhfP77hLY5G/veXdOMFXoudoXM8FAuyKnZ/V2ID4N+jh1+3l45cv97u1QKBQCAQyOQb0nJDbD9cnqAAAAAASUVORK5CYII=>

[image2]: <data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEQAAAAXCAYAAACyCenrAAABG0lEQVR4Xu3VP0tCURiA8VcqqEnon4VFCDW0NwZFkw3SIqj0AVraGhrsk0Th2KDgIIgfIcLRQXAIorUlaAvqeT03vB4kuNvh+j7wAzmvDudyzlXEsizLsiwrnHIo4RTL06P5agsttFFFHe84iuZ5HESfU98eBrjHUrS2iCf0sII7HEezWdXwlkAf++NfBpZu/EHcaSh4s1t8oogGstPjdHaID3HXRR9OvEt8iXsYFW+W2vQF+oMrfyCTWUfctfkvfQFvJ6Av77/rGVTn4jatm/fTtW+c+IMZ6XuonMAFVse/DKxdjHAdW8vgDEOZPKwdrMe+k+p0869o4hHPuMEGungR92+jp2BuWsAm1sSdkPi6nowg77tlWZYVcL8DUjGPOY+aXQAAAABJRU5ErkJggg==>

[image3]: <data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABUAAAAYCAYAAAAVibZIAAAAdklEQVR4XmNgGAWjYMABBxCnATEPugQlgBGIW4HYGF2CUgAysBeIWdAlKAEg1xYAcRyUjRUIALEkiVgOiOcD8WQg5mOgEjAB4tVALIMuQS4QBuLFQCyPLkEJyALiCHRBSgAonU4FYml0CUoAKLZ5ofQoGAX0AAA5bAi7Yfn2hgAAAABJRU5ErkJggg==>