与单独使用 TypeScript 接口相比，Elysia 请求体模式额外提供了什么？

与单独使用 TypeScript 接口相比，Elysia 请求体模式额外提供了什么？

1. 在运行时拒绝不符合模式的请求体
2. 自动授权每个请求体有效的调用方
3. 保证数据库约束不会失败
4. 保证每个已部署客户端都使用最新契约