DSH 学习 · 基础设施

名字先占住；检查可以关，责任关不掉。

每个工作区包都从自己的 ./invariant 伴生插件向 InvariantRegistry 注册运行时检查。register 第一步是保留包名——哪怕过滤器把检查关掉，名字也照留；同一包名第二次注册直接拒绝。过滤通过才起子 fiber 安装检查；fail() 抛出的 InvariantError 带完整包名归属，子 fiber 随之销毁、保留位释放。切包名、过滤器和结局，逐步推时间线。