Proof paths

Work that is labeled by proof level.

The corridor is the experience. These pages are the plain-language record of what is public-safe to inspect today.