Protocol matrix

The machine-readable audit matrix lives in book/src/reference/assets/protocol_matrix.csv. This book keeps the readable summary here and links to detailed evidence when needed.

Current summary

• Rows marked complete-by-tests are locally complete for their documented scope.
• Rows marked implemented-needs-external-oracle have local implementation and evidence but still require external traces, hardware, or official review before a stronger claim.
• No row should be read as ISO/AEF certification.

When updating this page, prefer readable tables and links to evidence over pasting the entire CSV into the book.