由编译器检查的最小权限：Staal 的能力机制

介绍 Staal 语言的能力（capability）模型：代码必须持有宿主应用授予的能力才能执行发消息、写文件、调 API 或转账等操作，能力只能收窄、每次操作前校验且不暴露给模型。文章以 AI 编码 Agent 误删生产数据库的事故为背景，称附有编译器报错、运行日志和与纯 Python 的基准对比。

AI推荐理由 文章提出 Staal 语言用编译器强制能力（capability）检查，代码无对应能力则无法发消息、写文件、调 API 或转账，能力只能由宿主应用授予并收窄、每次操作前校验且不交给模型；并以 2026 年 4 月一起 AI 编码 Agent 九秒删除生产库及备份的事故为引子。摘要提到有真实编译器报错、运行日志和与纯 Python 的基准对比，但正文片段未展示具体数据，效果仍需看全文验证。