[tiye]

使用者影响：CLI / @calcit/procs 从 alpha.6 成对升级到已发布 0.31.0-alpha.7。新版普通预检查默认审计 Dynamic 证明，保留默认审计和原 strict 门禁，不添加兼容开关或放宽预算。模块版本与依赖 tag 不变，0.30 稳定消费者继续使用原维护线。

Snapshot 与基线字节一致，公开 API、数据合同、HUD、算法和所有原测试保持。

• Yarn仅更新procs配对lock块，保留一小时新包隔离，无alpha.7安装豁免。README标明当前配对，历史迁移说明不作本轮验收。
• 本地12项选定原门禁全部通过：install、immutable、caps、pair、format、strict、deprecated、original-all、original-namespaces、original-js、original-build、original-tests。完整strict要求passed且diagnostics为空，Snapshot格式化无额外漂移。
• 本地仅执行原类型检查、附带测试和编译/构建；没有运行生产入口或读取真实账户、存档。
• 独立只读评审无新增阻塞；没有添加测试框架、固定改写规则、永久检查脚本或重复COS校验。
• 原CI和前后端部署路径保留。仅创建PR/按原工作流上传隔离dist预览，action内置verify；不合并、不生产rsync、不启动或部署后端、不发tag/npm。精确提交CI、评审及COS校验仍须由本PR完成，不提前宣称可合并。

English: Pair the released alpha.7 CLI/runtime, preserving default proof auditing, strict gates, original tests, one-hour npm quarantine, dependency module tags and production paths. The Snapshot is byte-identical to the baseline. All 12 selected local gates pass; exact-head CI and existing CI-only acceptance remain required. PR/isolated frontend preview only; no merge, production/backend deployment, or release performed.