AutonomyOps ADK

The AutonomyOps ADK documents a governance- and observability-first platform with a public capability name of Deterministic Relay (internal codename: Edge).

This site is the canonical source for AutonomyOps product and technical documentation. Other AutonomyOps surfaces — including the marketing website at autonomyops.ai — link here for technical detail rather than restate it. Contributor rule: Documentation Standards § Canonical Source.

Quick Navigation

I want to …	Start here
Understand capability naming and boundaries	Architecture → Capabilities
Understand system design	Architecture → Overview
Run a quick deterministic relay proof	Getting Started → Fast Path Tutorial
Prove integrity + deny behavior	Getting Started → Integrity and Deny Tutorial
Run contested reliability checks	Getting Started → Contested Reliability Tutorial
Trace invariants to code/tests	Traceability → Invariant Map

Core Invariants

The ADK enforces invariants INV-01..INV-13 with CI guardrails and test coverage. See:

• Architecture → Invariants

• Traceability → Invariant Map

Documentation Status

Generated artifacts under docs/_generated/ are evidence snapshots (repo map, coverage report, test output captures). Remaining unknowns are tracked in docs/_generated/tbd-report.md with explicit evidence gaps.

Evidence

• docs/_generated/repo-map.md

• docs/_generated/coverage-report.md

• docs/_generated/test-outputs/demo-output.txt

• docs/_generated/tbd-report.md