Four pages. The research each target definition rests on, and the records of keeping them current, live in the repository beside the code they describe.
What a contract declares, the five requirement kinds, the tier ladder, and why a verdict can be a refusal.
HarnessesThe three targets, what each one can enforce, and the two things they genuinely cannot do.
Authoring a bundleEvery contract field, the stdin and environment a handler receives, and the exit-code contract.
ContributingHow to propose a change, and how a target definition is established.