Astro

记录类型约束、内容边界和小步验证之间的取舍。