The proof, as a graph.

98 nodes, 123 edges. Every directive, decision, outcome, work item, and piece of evidence behind this site, as the live crc-v3 graph it actually is. Drag a node. Scroll to zoom. Click a work item to jump to its certificate.