Searching protocol for "bmad"
Encode business rules, prevent invalid states.
Validate data, narrow types, ensure correctness.