Development Specification

# 开发合同

包是 closed declaration：身份、包类型、entrypoint、capability、依赖、事件、数据、迁移和资源都必须先声明。运行时只使用 scoped Public SDK。等价输入必须产生等价声明、计划和产品效果；缺少 authority、歧义或非法状态一律 fail closed。

# 关键边界

• 注册不是执行。
• capability 声明不是授权。
• enabled 不是 effective Theme。
• 可选依赖不是静默失败。
• presentation data 不是业务存储权限。
• 开发包不能自行提升校验状态。

# 继续阅读

实现前继续阅读 Public SDK Reference、Manifest Reference、Stable Diagnostics 和 检查表。旧链接仍可访问 详细规范投影。