Simulation ExplorerAutonomy Navigation

Autonomous Drone Control Assurance Lab

Simulation
10 / 10
Engine
1.6.0
Run schema
2.0.0
RUNBOOTSTRAP READYEVRUN-4059D1D5D375768D
PROGRESSIVE REPLAY DELIVERY Initial analytical frame ready. Loading the complete 131-frame deterministic replay… The page remains readable while the same-origin API re-derives the exact run identified by EVRUN-4059D1D5D375768D. The preferred replay transfer uses deterministic gzip with a bounded identity-response fallback. Attempt pending
Automatic attempts are bounded. Save-Data is respected. A failed, interrupted, oversized, or identity-mismatched response leaves the first frame, all 131 events, proof, table, and narrative available.

INTERACTIVE SIMULATION

Authoritative state, spatially represented

Event0 / 130
StateSAFE AVOIDANCE — ROUTE REACQUIRED
Selected entityNone
Proof15 pass · 0 fail
Canonical digest236e18c4ef4bfd…
MODEINITIALIZING
PRIMARY HAZARDNONE
TIME TO CONFLICT
REACTION MARGIN
PLANDECLARED
WORLD TRUTHsolid geometry AUTONOMY BELIEFwireframe + uncertainty AUTONOMY INTENTdirectional trajectory
Initializing capability-aware renderer…Renderer pendingb90f8bf1ea74…Capability check pending
RendererWebGL check
Frame time
APIserver baseline
Replay transferpending
Qualityauto
Motionenabled
Workerchecking
Transport
Evidence
EVENT 000 · 0.000
EventProof changeFailureRecovery
Mission StartedMISSION_STARTED

METHODOLOGY AND LIMITS

PROVEN SCOPE AND RESERVED CLAIMS.

The authoritative deterministic Python engine evaluates bounded scenario inputs. The workbench adapter serializes the result into a versioned run envelope, derives a synchronized event-index representation, and exposes proof, evidence, metrics, narrative, and visual views without changing the underlying result.

TERMINAL: SYNTHETIC_NULL_SINK

Demonstrates

  • Deterministic state transitions within a declared synthetic scenario.
  • Traceable relationships among inputs, events, entities, proof conditions, and outputs.
  • Accessible parity among visual, table, narrative, metric, event, and raw-evidence representations.

Reserved for controlled acceptance

  • Certification or elimination of the model-to-reality gap.
  • Legal liability, institutional approval, operational authorization, or force authorization.
  • Real-world targeting, vehicle control, payload control, firing solutions, or operational intelligence.

Declared test-range bounds

  • The adapter reconstructs a synchronized analytical timeline from deterministic engine state; it does not invent unrecorded physical behavior.
  • Browser graphics and WebXR capability vary by device and are not required for analytical use.
  • No public anonymous run is stored by the platform.

KEYBOARD MAP

Control the active workbench without a pointer.

Shortcuts are modifier-based, apply only while focus is inside this workbench, and are suspended in editable controls and dialogs.

Alt + K
Play or pause replay
Alt + J / L
Previous or next event
Alt + Shift + J / L
Previous or next proof change
Alt + F
Fit the scene
Alt + I / O
Toggle Inputs or Proof
Alt + A
Open or close Analysis
Alt + C
Open comparison in Expert mode
Alt + Shift + P
Presentation mode in Expert mode
Alt + /
Open this help
Escape
Exit presentation or close dialogs

REPRODUCIBLE EVIDENCE

Export the exact bounded run.

Exports contain scope, versions, inputs, history, proof, digests, limitations, and the controlled-release boundary.

MISSION-FIRST · EVIDENCE-LOCKED · MACHINE-SPEED

DETECT → VERIFY → DENY → CONTAIN → RECOVER → PROVE

Command integrity. Decision superiority. Compartment security. Attested reconstitution.