In this section: Examples

Examples

Overview

Concepts like "contract" and "capability graph" are easy to nod along to and hard to picture. This section exists to fix that. Each page below takes one piece of the methodology and shows it applied to something concrete, a real running example, a real graph shape, a real report structure, instead of leaving it at the level of definition.

Read these in order if you want the full arc: what a contract actually contains, how to read the graph those contracts build, what changes about a capability once it has one, and what acdad check report looks like when you run it for real.

Pages in this area