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

Getting Started

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

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)
    • 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
    • Integrity Failure Drill: Tamper and Verify Failure
    • Offline-first Runbook: Buffer Then Drain
    • Operator Runbook
    • Policy Deny in Strict Mode
    • Public Claims Correction Package
    • Repo Findings Checklist
    • Resource Envelope: Disk Ceiling + Eviction Proof
    • Story Script — “Seed Once, Update Everywhere”
    • Transport Hardening: mTLS Identity + Domain Boundaries
    • AutonomyOps ADK — Tutorial Pack

Runbooks

  • Runbooks
    • 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

Architecture & Design

  • Architecture
    • Architecture Overview
    • Capabilities
    • Invariants
    • Deterministic Relay Layer
    • Threat Model
  • Security
    • mTLS
    • Edge Security Model
    • Domain Validation
    • Beacon Privacy
  • 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
    • Compliance Audit — Workplan v1.6 §3 + Phase 1 Stop Conditions

Reference

  • CLI Reference
    • autonomy
    • edgectl
    • edged
    • autonomy-gui
  • GUI
    • GUI Overview
    • GUI Getting Started
    • GUI Configuration
    • GUI Backend API
  • API Reference
    • RPC Endpoints
    • Sockets
    • Transport Messages
  • Configuration
    • Configuration Reference
    • Environment Variable Overrides
    • Configuration Validation
  • Observability
    • Edge Observability Reference
  • Operations
    • Edge Deployment (Operator Guide)
    • Failure Modes and Recovery
  • Resource Envelope
    • cgroup v2 Integration
    • Disk Ceiling
    • Retry Budgets and Backoff Policy
  • Releases
    • Changelog
    • Versioning Policy

Demo

  • Demo
    • Demo Runbook
    • 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
    • Docs Quality Gates
    • Invariant Rules for Contributors
  • Traceability
    • Invariant Map
    • Doc Coverage Report

Additional

  • Contracts
  • OCI Artifacts
  • Policy Bundles
  • Security Model
  • Edge Invariant Traceability Matrix
Back to top
View this page
Edit this page

Traceability¶

Invariant map and coverage traceability for the AutonomyOps ADK.

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