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

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

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