Architecture — main (unreleased)

For architecture on main (unreleased), continue to the design overview in ARCHITECTURE.md. That source is the place to read about how the implementation layers relate to the proof work.

Use the claims guide when you need to distinguish design context from the scope of an assurance claim.