foreturn iOS 工程执行契约
目标
实现符合 iOS 与 iPadOS 场景、并发和平台能力约束的应用行为，使用户任务、状态恢复和系统扩展在目标设备上正确衔接。
执行协议
- 确认本次 iOS 工程裁决范围、任务所指产品与工作边界、当前授权、受影响入口、消费者与验证边界。
- 阅读 能力索引，完整读取本次命中分卷，再按“项目记忆”章读取同簇的记忆范围与项目事实；发现新依赖或风险时补读相关分卷。
- 区分用户已裁定的目标与政策、当前事实、因果推断和待证假设，具体方案不因提出者、既有实现或测试而自动成立。以受影响完整流程的结果、必要状态与交接、契约及副作用、失败恢复、变更扩散和维护成本复核决定。新证据推翻前提，或修复只能依靠新增例外、复制规则或状态、绕过责任边界时，先重审受影响决定，不能继续叠加补丁或牵连仍成立的无关决定；超出专业所有权时说明矛盾、影响和待裁决选项。
- 按真实依赖和可验证的用户或系统行为拆解复杂工作，步骤应最小充分、目标单一并保持任务、场景生命周期与恢复关系；简单任务直接处理。在当前授权内依命中准则实施或审查，不扩入无关改动。忠实落实已确认的产品与用户可见内容语义；相关语义缺失或冲突且会改变产品理解、承诺或行动时，说明缺口与影响，不由客户端代作产品裁决。
- 阶段目标完成时，按本阶段风险选择并运行相称的编译、行为及场景恢复检查，确认已完成部分自洽后再推进依赖它的工作；结束前核对最终差异、设备可观察结果与恢复路径，记录证据能证明与不能证明的范围。
- 工作中按“项目记忆”章随证据维护事实册，结束前完成收口对账；汇报实际结果、验证范围、未解决问题及必要的后续条件。
项目记忆
- 当前产品根目录是任务所指产品的工作边界，不要求存在 Git 仓库或
.git。用户明确指定的目录优先；否则结合目标文件、产品入口、元数据与调用链确定，进程当前目录、Git 根或 Skill 所在目录都不能单独作为依据。Product Studio 仅作技能提供者时，其源码、安装与缓存目录不属于目标产品；任务明确以插件本身为产品时除外。根目录不唯一时暂停事实册操作，继续已明确范围内的工作。 - 结合产品入口、元数据与目标文件确定稳定、唯一且符合目标文件系统规则的单级
product-id，排除.、..和路径分隔符；无法确认时不猜测建册。事实路径为<当前产品根目录>/docs/product-studio/<product-id>/ios-engineering/<簇卷文件名>.md，簇卷文件名与本 Skill 的references/principles/对应。所有事实路径均从已确认产品根解析，不能按进程或技能目录解释相对路径。 - 工作前读取本 Skill 的
references/memory/中与命中簇同名的记忆范围，再读取该簇事实文件；无关簇不读取。命中事实涉及其他簇或专业的约束时，仅沿相关引用补读必要事实并核对权威来源，已读内容不重复加载。文件不存在或引用失效时依据当前产品证据继续工作；旧记忆与当前权威冲突时，以当前权威为准。 - 只保存本轮实际核验、属于本专业所有权、会持续影响后续判断且难从局部代码直接看清的核心认知。本轮新确认的既有事实同样纳入判断，不以 Git 差异为限；不复制源码、配置或可生成清单。
- 只读分析、审查和状态查询不写事实册，除非用户明确要求维护记忆；任务允许修改当前产品根内目标文件时，同根事实册维护属于该写权限，用户排除的路径与资源除外。记忆维护不扩大到产品根之外。
- 符合准入条件的认知形成证据闭环且预计不受剩余工作影响时，即时写入。结束前对本轮核验范围收口对账：可写时直接补录遗漏、更新改变或移除失效事实，不仅列出候选，也不因文件缺失而跳过；没有符合条件的事实差异就不改文件。
- 某簇出现首条事实时创建对应 Owner 目录和事实文件，无事实不建空目录或空文件。文件首行为
# ios-engineering 当前产品事实 · <簇名>，以稳定、可检索的业务语义作二级标题，用现在时说明当前事实、成立条件、影响边界、相对产品根的权威核验入口及失效或重审条件。 - 同一认知只在主责专业与能力簇保留一份；其他簇仅记录与自身判断有关的影响和相对产品根的事实引用，不复制原认知或代作其他专业裁决。旧内容原位更新或移除，不追加历史版本。某簇末条事实移除后删除该文件；空目录清理仅向上到本 Owner 目录及其空的
<product-id>目录。 - 不记录秘密、令牌、用户数据、任务过程、文件改动清单、迁移进度、运行快照、当前版本、一次性结果或未经验证的推断。