Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
AutonomyOps ADK
AutonomyOps ADK

Evaluate

  • 2-Minute CE Demo

Install & Run

  • Install & Run
    • Prerequisites
    • Build
    • Run
    • Connect Your Own Agent
    • First Edge
    • Fast Path Tutorial (5–10 minutes)
    • Integrity and Deny Tutorial
    • Contested Reliability Tutorial
    • Robotics Quickstart

Tutorials

  • Tutorials
    • Tutorial 01 — Single Node: Receive, Verify, and Activate Offline
    • Tutorial 02 — Multi-Node: Seed Once, Update Everywhere (Peer Propagation)
    • Tutorial 03 — Crash and Recovery: WAL + Safe-Point
    • Tutorial 04 — OS Replacement Survival and Mission Runtime Reconstruction
    • Tutorial 05 — Portability: Run Everywhere (amd64, arm64, riscv64)
    • Tutorial — Container Hardening Hands-On
    • CLI Audit And Support Bundle Lab
    • VAL 01 — Zero-Downtime Certificate Rotation Validation
    • VAL 02 — Trust-Chain Rejection Validation
    • VAL 03 — RBAC Permission Enforcement Validation
    • VAL 04 — Audit Completeness Validation
    • VAL 05 — OTel Integration Validation
    • VAL 06 — Support Bundle Validation
    • VAL 07 — Fleet Rollout Latency Baseline
    • VAL 08 — Fleet Rollout Throughput Validation
    • VAL 09 — Stuck Rollout Detection Validation
    • VAL 10 — Rollback Reliability Validation
    • VAL 11 — Fleet Rollout Chaos Test Pack
    • VAL 12 — Fleet Rollout 30-Day Soak
    • VAL 13 — HA Failover Validation
    • VAL 14 — HA Replication Lag Baseline
    • VAL 15 — Backup/Restore Validation
    • VAL 16 — Split-Brain Chaos Validation
    • VAL 17 — Quorum Loss Validation
    • VAL 18 — HA 30-Day Soak Validation
    • VAL 19 — Relay Local-Network Impairment Validation
    • VAL20 — Relay Throughput Benchmark
    • VAL21 — Relay Queue Depth and Overflow Validation
    • VAL22 — Deadletter Workflow Validation
    • VAL23 — Relay Bandwidth Management Validation
    • VAL24 — Relay 30-Day Soak Validation
    • VAL27 — Relay Proof Report Generator
    • VAL25 — Fleet Rollout Proof Report Generator
    • VAL26 — HA Proof Report Generator
    • VAL28 — Cross-Cutting Proof Report Generator
    • VAL29 — AutonomyOps v1 Public-Claim Evidence Matrix
    • Edge Relay Deadletter Lab
    • FI Traceability: Invariant → Test → Expected Output
    • Offline-first Runbook: Buffer Then Drain
    • Policy Deny in Strict Mode
    • Public Claims Correction Package
    • Repo Findings Checklist
    • Resource Envelope: Disk Ceiling + Eviction Proof
    • ROS 2 Governed Bridge Quickstart
    • ROS 2 SROS 2 / DDS-Security Quickstart
    • Story Script — “Seed Once, Update Everywhere”
    • Transport Hardening: mTLS Identity + Domain Boundaries
    • AutonomyOps ADK — Tutorial Pack

Runbooks

  • Runbooks
    • Demo Runbook
    • ROS 2 Governed Bridge
    • ROS 2 SROS 2 / DDS-Security for the Governed Bridge
    • Container Hardening + Syscall Mediation
    • Governed Python Runtime
    • AutonomyOps Operator Runbooks
    • Fleet Rollout Recovery
    • Gate Approval Workflow
    • Manual Failover Procedure
    • Split-Brain Detection and Recovery
    • Quorum-Loss Recovery
    • Deadletter Inspection and Retry Workflow
    • Bandwidth Troubleshooting
    • RBAC Role Assignment
    • Support Bundle Generation
    • Emergency Rollback Procedure
    • Attestation Mode Rollout
    • Operator Runbook
    • Integrity Failure Drill: Tamper and Verify Failure
  • Observability
    • Edge Observability Reference
  • Operations
    • Edge Deployment (Operator Guide)
    • Failure Modes and Recovery
    • Registry Seeding for Edge / Air-Gapped Sites (Operator Guide)

Architecture & Design

  • Architecture
    • Architecture Overview
    • Capabilities
    • Invariants
    • Deterministic Relay Layer
    • Threat Model
  • Security
    • mTLS
    • Edge Security Model
    • Domain Validation
    • Beacon Privacy
    • Security Model
  • Storage
    • On-Disk Layout
    • Storage Data Model
    • Crash Consistency
  • Rollout
    • HA Operations — Rollout Leader Election and Streaming Promoter
    • Mesh Propagation — Artifact Distribution
    • OS Reconstruction Rollouts
  • Portability
    • Core Invariant Matrix
  • Resource Envelope
    • cgroup v2 Integration
    • Disk Ceiling
    • Retry Budgets and Backoff Policy
  • Contracts

Reference

  • CLI Reference
    • autonomy — CLI overview
    • edgectl — CLI overview
    • edged — CLI overview
    • autonomy-gui
    • autonomy command reference
      • autonomy
      • autonomy bundle
      • autonomy bundle inspect
      • autonomy bundle pull
      • autonomy bundle push
      • autonomy bundle stage
      • autonomy bundle verify
      • autonomy config
      • autonomy config get
      • autonomy config migrate
      • autonomy config set
      • autonomy demo
      • autonomy demo gazebo
      • autonomy demo mavlink-sitl
      • autonomy demo nvidia
      • autonomy demo openclaw
      • autonomy demo policy
      • autonomy demo ros2-bridge
      • autonomy demo validate
      • autonomy lock
      • autonomy lock canonicalize
      • autonomy lock diff
      • autonomy lock fingerprint
      • autonomy lock generate
      • autonomy lock verify
      • autonomy logs
      • autonomy oci
      • autonomy oci attach-lock
      • autonomy oci attach-policy
      • autonomy oci probe
      • autonomy oci pull-lock
      • autonomy oci pull-policy
      • autonomy oci push-test-artifact
      • autonomy policy
      • autonomy policy build
      • autonomy policy cache
      • autonomy policy eval
      • autonomy policy fetch
      • autonomy policy inspect
      • autonomy policy load
      • autonomy policy status
      • autonomy registry
      • autonomy registry bootstrap-zot
      • autonomy registry package
      • autonomy registry publish-index
      • autonomy registry seed
      • autonomy registry seed-catalog
      • autonomy registry sync
      • autonomy relay
      • autonomy relay status
      • autonomy run
      • autonomy runtime
      • autonomy runtime start
      • autonomy runtime status
      • autonomy sign
      • autonomy status
      • autonomy telemetry
      • autonomy telemetry bridge
      • autonomy telemetry drain
      • autonomy telemetry export
      • autonomy telemetry flush
      • autonomy telemetry sink
      • autonomy telemetry status
      • autonomy verify
      • autonomy version
      • autonomy wal
      • autonomy wal inspect
      • autonomy wal status
    • edged command reference
      • edged
      • edged precheck
      • edged rotate
      • edged validate
      • edged version
    • edgectl command reference
      • edgectl
      • edgectl assurance
      • edgectl index
      • edgectl index count
      • edgectl index list
      • edgectl init
      • edgectl quota
      • edgectl quota list
      • edgectl quota peer
      • edgectl relay
      • edgectl relay config
      • edgectl relay config get
      • edgectl relay config set-bandwidth
      • edgectl relay deadletter
      • edgectl relay deadletter inspect
      • edgectl relay deadletter list
      • edgectl relay deadletter purge
      • edgectl relay deadletter retry
      • edgectl relay status
      • edgectl retry
      • edgectl retry list
      • edgectl status
      • edgectl storage
      • edgectl storage stats
      • edgectl version
  • GUI
    • GUI Overview
    • GUI Getting Started
    • GUI Configuration
    • GUI Backend API
  • API Reference
    • Event Stream
    • RPC Endpoints
    • Sockets
    • Transport Messages
  • Configuration
    • Configuration Reference
    • Environment Variable Overrides
    • Configuration Validation
  • OCI Artifacts
  • Policy Bundles

Integrations

  • MAVLink Governance
  • MAVLink Policy Authoring

Demo Stack Reference

  • Demo Stack Reference
    • Fleet Monitoring for Robotics
    • Gazebo Simulation Stack
    • ROS2 Governance
    • ROS2 Markers and Observability
    • NVIDIA GPU Integration
    • Hardware Adaptation Guide
    • Bundle Workflows
    • Demo Fallback Assets — autonomy demo openclaw
      • Annotated Demo Output — autonomy demo openclaw
      • Demo Fallback Pivot Notes

Development

  • Testing
    • Unit Tests
    • Integration Tests
    • Race Detector
    • Failure Injection Overview
    • Root-Level FI Tests
  • Fault-Injection Catalog
    • FI Scenario Matrix
    • Expected FI Outputs
    • Running FI Tests
  • Contributing
    • Contributing Guide
    • Documentation Standards
    • Doc Placement Guide
    • Docs Quality Gates
    • Invariant Rules for Contributors
  • Traceability
    • Invariant Map
    • Doc Coverage Report
    • Edge Invariant Traceability Matrix

Releases

  • Releases
    • Changelog
    • Versioning Policy
Back to top
View this page
Edit this page

Traceability¶

Invariant map, coverage traceability, and the edge invariant traceability matrix for the AutonomyOps ADK.

  • Invariant Map
  • Doc Coverage Report
  • Edge Invariant Traceability Matrix
Next
Invariant Map
Previous
Invariant Rules for Contributors
Copyright © 2026, AutonomyOps
Made with Sphinx and @pradyunsg's Furo