译文
译自西班牙语原文,以原文为规范文本。 状态:草稿,待人工审校。如有歧义,以西班牙语原文为准。
SCAFFOLD 0.2 扩展的背景¶
状态:历史 — 内容于 2026-10-16 接受。 PROP-033 至 PROP-037 是 R-033 至 R-037 的背景。规范义务在 0.2 要求中,依据人工决定。下文保留提案理由,不是第二规范来源。
现行版本已涵盖项目章程与现状调查(R-019、R-020)、规划与人工验收(R-021 至 R-024)、追溯与分支(R-025、R-026)、集成与交付(R-010、R-027 至 R-029)、团队(R-030、R-031)以及运行(R-032)。以下提案仅针对仍然薄弱或隐含的关系,不规定 Jira、Git、Mermaid、供应商、特定架构或测试运行器。
变更影响分析顺序¶
先识别变更的工件及其版本,再沿已声明的关系检查契约、模块边界、运行配置与拓扑、迁移和测试。依赖旧版本输入的证据须标记为待处理,直到重新执行或复核。未知关系应报告为“未评估”,而不是“无影响”。完成所需检查和验收后,才能推广已识别的工件。
候选提案¶
SCAFFOLD-PROP-033 — 影响分析与证据失效¶
问题。 需求、用户故事、契约、图、配置、迁移或组件发生变化时,基于旧版本执行的测试和审批仍可能显示为有效。
提案。 相关工件声明稳定 ID、版本或摘要、权威来源、关系类型和适用条件。变更时,项目识别受影响的下游工件,并将依赖已变输入的证据标记为过期。重新生成或复核证据前,不应将工作展示为已完成。仪表板可以展示此状态,但不应维护独立的工作来源副本。
可行检查。 在虚构案例中修改用户故事,识别受影响的验收标准、契约、测试和组件;旧版本的证据不再视为当前证据。未知关系保持未评估状态。
现有依据。 加强 R-006 中有限的同步要求,并具体化工件验证指南中的影响分析。依赖 MILPA-R-001、R-007 和 R-008 的权威、来源和显式矛盾规则,不重新定义这些要求。
SCAFFOLD-PROP-034 — 运行契约与基础设施、代码一致性¶
问题。 接口和单元测试可能通过,但服务读取未声明的环境变量、依赖未授权连接,或超过实际运行环境提供的资源限制。
提案。 对于要部署的项目,声明影响运行的依赖:必需和可选配置、秘密引用(绝不包含秘密值)、端口和网络目标、相关资源限制、健康检查、运行时依赖以及必要的运维属性。将这些声明关联到代码和部署清单。具体值因服务和环境而异,不要求通用清单或特定基础设施工具。
可行检查。 检测已使用但未声明的变量、缺失的秘密引用、未描述的网络连接,以及应用与部署限制之间的矛盾。证据标明版本和环境,但不声称部署在所有环境中均能成功。
现有依据。 具体化 R-006、R-010 和 R-027 至 R-028。ASILO-R-004 和 R-006 继续负责权限、数据和秘密;本提案不重复安全规则。
SCAFFOLD-PROP-035 — 数据迁移与兼容性¶
问题。 多个并行版本、作业、事件消费者和持久化模式可能在渐进部署或回滚期间不兼容,即使单独构建均成功。
提案。 持久数据变更声明与可能并存版本之间的向前和向后兼容性、数据影响、迁移策略、验证、恢复以及旧结构的退役条件。无法原子且兼容地完成的变更,应使用有依赖关系的工作序列(例如扩展、过渡、切换读取、收缩);在满足可观察的退役条件之前,不删除旧版本。不可逆迁移须明确恢复策略并接受风险。
可行检查。 在临时数据库和代表性数据上测试迁移、测试并行版本兼容性、按所选数据库引擎审查 DDL,并验证回滚或恢复。停机阈值、批次大小和稳定窗口没有通用值。
现有依据。 具体化 R-010 和 R-028。架构配置文件已涵盖数据所有权、迁移和恢复;本提案将它们关联到工作和集成证据。
SCAFFOLD-PROP-036 — 可验证的结构边界¶
问题。 API 契约保持同步时,内部领域、模块、依赖或数据流边界仍可能遭到破坏。架构名称本身无法阻止耦合。
提案。 项目声明模块、层或信任边界时,标明所有者、允许的依赖、公开接口和禁止关系。选择适合所用语言和架构的检查,发现禁止依赖、跨仓库耦合以及相关图表的偏移。无法自动检查的关系应声明限制并提供复核证据。
可行检查。 架构测试或等效分析能够因禁止依赖而失败;拓扑变更能够识别受影响的契约、图表和版本。AST、导入规则和静态分析只是实现选项,不是标准强制工具。
现有依据。 将 R-006 和 R-007 具体化到内部结构层面。MILPA-R-007 仍负责项目间关系;不提议修改 MILPA。
SCAFFOLD-PROP-037 — 本地工程环境的远程连接与操作¶
问题。 本地计算机上的助手可以通过 SSH、API、数据库客户端或 MCP 服务器使用操作者的凭据。 本地仓库区域本身无法限制远程读写。本地界面也不意味着模型推理在本地进行。
范围与责任。 适用于 AI 辅助工程任务连接服务器(包括推理服务器)或产生远程效果的情况。 技术负责人声明目标和范围,环境负责人授权访问。关键效果决策仍遵循 ASILO-R-005, 并非每次连接都要求人工批准。
提案。 将连接关联到工作项,并声明:
- 执行来源、目标、目的和环境(开发、测试或生产)。区分工具操作的目标服务器和模型推理服务器。 端点、协议、预期身份和策略属于版本化配置;凭据不属于这些工件。
- 使用协议机制验证服务器身份,例如 SSH 主机密钥或 TLS 证书。身份不匹配时停止并复核; 助手不关闭验证或静默接受新身份。VPN、隧道和网络访问不替代身份认证或授权。
- 会话身份、允许的能力、远程资源与路径、有效期、撤销和限制。不自动继承人类计算机上已有的权限。 获准连接不代表可以访问其他目标、进行端口转发、提升权限或执行任意命令。
- 允许输入和输出的数据:代码、文件、提示、日志、结果和检索上下文。远程响应视为不可信内容。 凭据通过模型上下文之外的机制使用,日志不记录其值。读取远程数据也可能将数据暴露给模型供应商, 因此须单独评估该路径。
- 每次操作前在实际执行边界检查当前授权。提交审查或本地钩子无法控制已经发生的 SSH、SQL 或 API 操作。 关键效果向授权人展示具体目标和对象;目标、操作或范围变更须复核授权,模型请求不扩大权限。
- 结果与最低追溯信息:任务、上下文版本、环境及目标、身份、操作、决定、时间以及符合分类与保留策略的证据。 如果断线导致效果不确定,重试前先核对状态,不假定失败或盲目重复操作。
虚构示例。 某批次允许通过 SSH 读取测试服务器上已脱敏的日志。会话不允许管理生产环境或修改数据库。 助手提出迁移时,项目在执行前复核该效果、环境和权限。若将日志发送给外部模型,须与 SSH 读取分别评估。
可行检查。 测试未授权目标、服务器身份变更、已撤销或过期会话、只读权限下的写入,以及远程响应中的恶意指令。 验证秘密不会进入模型,结果不确定的效果不会被重复执行。区分模拟拒绝和在获授权远程环境中验证的控制; 仅有清单不能证明实际隔离。
现有依据。 补充远程工程中的 R-001、R-004、R-010 和 R-027。按各自条件应用 ASILO-R-001、 R-003、 R-004、 R-005、 R-006 和 R-007。MILPA 继续负责来源、权威和链接;不修改已接受版本。 Horcón 或其他主机可以提供适配器与操作中介;记录本提案不能证明这些控制已经实现。
方法之间的范围和职责¶
- SCAFFOLD 管理 AI 辅助的软件开发生命周期,从章程和规划到架构、实现、集成、交付与改进。它不要求多智能体或含 AI 的产品;一个人和一个助手也可以使用。
- ASILO 提供信任、权限、数据、关键效果、预算和 AI 故障评估控制。提案 034、035、037 在适用时使用这些控制,不在 SCAFFOLD 中创建平行安全规则。
- MILPA 维护权威、来源、配置文件、来源记录和项目间链接。现行要求已涵盖工件记录和矛盾;目前未发现修改 MILPA 0.1 的必要。
- Horcón 可以实现读取器、分析器、连接器、视图和门禁。仪表板展示获授权的状态,不构成额外权威。外部集成只能接收 ASILO 配置允许的数据。
- 研究、出版、非软件文档和创作可以使用 Horcón/MILPA/ASILO 及其扩展,但因此不属于 SCAFFOLD 范围。
审查结果¶
五项提案已作为 SCAFFOLD 0.2 扩展接受。其卡片形式化条件、责任人、证据、例外和剩余风险。ASILO/MILPA、R-017 和配置文件保持各自状态。