This documentation moved to
/openbao-operator/docs/architecture/invariants-and-boundaries/
.