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
- Payment Retry Policy Contract
What a real contract for a real capability actually contains, walked through field by field.
- Reading a Capability Graph
Nodes are capabilities, edges are dependencies. How to read what the shape of a graph is telling you.
- Before and After a Legibility Audit
What changes about a capability once it stops relying on guesswork and starts declaring itself.
- cdad check Output Walkthrough
What the report actually looks like: the score, the band, the findings, and the next step.