This is probably most relevant to the "default implementation" of the principles:
How do we define a CODE CHECK bundle? Is there a need for a formal specification, or can we go the REED-way and say: a CODE CHECK bundle is a set of files that is preproducible.
If we define a bundle
add content to the website how to manually inspect it
This is probably most relevant to the "default implementation" of the principles: