Protocol Security Notes

Notes on protocol logic, invariants, edge cases, and security observations.

Focus

• message validation logic
• configuration races
• availability and liveness failures
• severity reasoning
• reproducible security thinking

Goal

This repository is a public collection of concise notes on bug classes, failure modes, and audit-relevant reasoning patterns.

Start here

If you only read one file in this repository, start with:

• high-signal-review-patterns.md