## This repository: Crafter.Build

- A claim that a tree passes `build.sh`, the self-host build, the test
  suite, `format --check` or `lint` traces to the Gate 0 log among the
  evidence paths INPUTS names: each command with its exit code and the sha
  it ran at. A claim of a run anywhere else (the Flatpak through
  `run flatpak`, CI, wine, qemu, node, a browser) traces to a capture of
  that run that names the commit, or is unverifiable.
- A test a message names exists as a `cfg.AddTest("<Name>")` line in
  `project.cpp` and a `tests/<Name>/main.cpp` whose checks pin what the
  message says.
- `AGENTS.md` is generated from `AGENTS.template.md` and the dependencies'
  `AGENTS.consumer.md` and is not in the tree: a claim about it is checked
  against those sources.
- A `<release>` entry in
  `packaging/flatpak/net.catcrafts.CrafterBuild.metainfo.xml` is the
  release notes users read: every sentence in it is a claim about the code
  since the previous tag.