跳转至

译文

译自西班牙语原文,以原文为规范文本。 状态:草稿,待人工审校。如有歧义,以西班牙语原文为准。

SCAFFOLD 0.2:新增要求

状态:accepted · 2026-10-16。 人工决定接受 R-033 至 R-037。 SCAFFOLD 0.2 共 36 项要求:按引用纳入 SCAFFOLD 0.1 的 31 项,原文不变,另加本页五项。 R-017 仍不属于两个版本;ASILO 0.1 和 MILPA 0.1 不变。西班牙文为规范性文本;翻译供参考,人工语言审查待完成。

通用字段

字段 内容
类别与范围 面向声明采用 SCAFFOLD 0.2 的软件项目的技术无关工程要求,不要求多智能体或在最终产品中使用 AI。
来源与权威 决定中标明的方法负责人接受了五项编辑提案。reference/scaffold-accepted-0.2-sha256.json 记录范围、来源与摘要。
规范性用语 MUST(必须)、MUST NOT(不得)、SHOULD(应)、MAY(可以)保持 SCAFFOLD 0.1 通用字段采纳的含义;不修改 ASILO/MILPA 规范性用语文件。
例外 人类负责人按基础版本记录原因、范围、期限、风险、恢复和复审日期。工程例外不暂停 ASILO 权限、秘密保护或关键效果复核。
适用性 每项声明适用条件。“不适用”须给出条件与原因;缺少证据或检查失败不能变成“不适用”。
演进 修改义务、例外或范围须有新的人工决定和明确版本。接受方法不代表实现符合性或独立审查。

SCAFFOLD-R-033

字段 内容
问题 工件变更后,基于旧版本的测试或决定仍被视为当前证据。
范围与条件 对项目变更存在相关依赖的工件:需求、标准、契约、图表、组件、配置、迁移和证据。
责任人 技术负责人负责分析;产品负责人负责受影响工作的验收。
可验证表述 每个存在相关依赖的工件必须声明稳定 ID、版本或摘要、权威来源、关系类型和适用条件。变更时,项目必须识别受影响的下游工件并将依赖已变输入的证据标记为过期。在重新生成或复核证据、并取得 R-022 和 R-023 要求的验收之前,当前工作版本不得展示为已完成。仪表板视图不得维护独立的工作状态来源。
预期证据 版本化引用、关系、影响报告、失效证据及其替代或复核。旧记录保留为历史,不视为当前版本证据。
检查限制 关系仅声明依赖,不证明语义覆盖。未知关系为未评估;摘要不能判断含义。
剩余风险 不完整的图可能遗漏受影响工件;一致证据也可能共有错误。
依据 扩展 R-006;应用 MILPA-R-001、R-007 和 R-008 的权威、来源与显式矛盾规则。

SCAFFOLD-R-034

字段 内容
问题 代码、运行配置与基础设施依赖不兼容的假设,即使单元测试通过。
范围与条件 有部署且运行依赖影响操作的项目。
责任人 技术与交付负责人。
可验证表述 项目必须声明相关运行依赖:必需和可选配置、不含值的秘密引用、端口与网络目标、资源与限制、健康检查、运行时依赖及必要运维属性。必须将其关联到代码和部署清单,并标明版本与环境。已声明的集成检查必须在其范围内考虑这些工件的一致性。
预期证据 配置、代码、部署声明及引用;相关变量、引用、连接和限制的检查结果,标明工具、版本和环境。
检查限制 字段和值依服务与环境而定,不要求通用技术或清单。无部署的服务记录不适用原因。
剩余风险 声明一致性可能不代表实际配置;静态分析可能遗漏动态值。
依据 具体化 R-006、R-010、R-027 至 R-028。权限、数据与秘密仍遵循 ASILO-R-004 和 R-006。

SCAFFOLD-R-035

字段 内容
问题 并存代码、作业、事件与数据版本在部署或回滚期间失去兼容性。
范围与条件 持久数据或其模式的变更。
责任人 技术、数据与交付负责人;项目标明各职责由谁承担。
可验证表述 变更必须声明与可能并存版本之间的向前和向后兼容性、数据影响、迁移策略、验证、恢复及旧结构退役条件。若不能原子且兼容地应用,必须定义有依赖关系的工作序列,且在满足可观察退役条件前不得退役旧结构。不可逆迁移必须有明确恢复策略和人工风险接受。
预期证据 并存版本和兼容矩阵、工作序列、迁移与数据检查、退役条件,以及恢复或回滚证据。
检查限制 扩展—收缩是选项,不规定引擎、批次大小、稳定期或普遍零停机承诺。
剩余风险 旧列停止接收写入后,仅保留它不足以回滚;恢复数据可能丢失后续变更。实际锁与负载可不同于测试。
依据 具体化 R-010、R-016 和 R-028,保留 ASILO 关键效果复核与数据限制。

SCAFFOLD-R-036

字段 内容
问题 实现违反领域、模块、依赖或数据流边界,即使 API 契约一致。
范围与条件 项目声明模块、层或信任边界。
责任人 技术负责人。
可验证表述 项目必须标明已声明边界的所有者、允许依赖、公共接口和禁止关系。必须选择适合语言与架构的检查,发现禁止依赖、跨仓库耦合及相关图表偏移。无法自动检查的关系,必须声明限制和复核证据。
预期证据 边界图与规则、检查配置与结果,包括拒绝禁止依赖的案例,以及受影响的契约和图。
检查限制 AST、导入规则和架构测试是选项,不要求 DDD、六边形架构、微服务或通用命名。
剩余风险 静态分析与图表可能遗漏动态依赖或时间效果;遵守边界不证明内部正确。
依据 具体化 R-006 和 R-007,保留 ASILO-R-002 分层模型与 MILPA-R-007 链接。

SCAFFOLD-R-037

字段 内容
问题 本地 AI 继承远程凭据或权限;仓库区域不能隔离服务器效果,本地界面可能发送上下文到外部模型。
范围与条件 AI 辅助工程任务连接服务器(包括推理服务器)或产生远程效果。
责任人 技术负责人声明目标与范围;环境负责人授权访问;授权人按 ASILO-R-005 决定关键效果。
可验证表述 连接必须关联工作项并声明来源、目标、目的、环境、协议和预期身份。必须区分工具目标和模型服务器。必须通过协议验证服务器身份;不匹配时必须停止复核,不关闭验证或静默接受新身份。必须声明会话身份、能力、资源及路径、有效期、撤销和限制;不得自动继承人类访问权限或按模型请求扩大范围。必须声明获授权的输入输出数据,将远程响应视为不可信,并将凭据置于模型上下文与日志之外。每次操作前必须在实际边界检查有效授权;关键效果保留对具体目标和对象的批准。目标、操作或范围变化必须复核授权。必须记录任务、上下文版本、环境及目标、身份、操作、决定、日期,以及符合分类和保留策略的证据。断线导致结果不确定时,重试前必须核对状态。
预期证据 不含凭据的版本化配置;未授权目标、身份改变、撤销或过期会话、只读权限下写入、恶意响应、秘密缺席及不确定效果重试的测试。区分模拟与在获授权远程环境中验证的控制。
检查限制 VPN、隧道或已授权连接不授予其他目标、端口转发、权限提升或任意命令。Git 钩子无法控制已经执行的操作。不要求每次连接人工复核或特定代理。
剩余风险 允许的效果可能造成损害;看似无害的响应可含恶意指令。清单不证明实际隔离。
依据 具体化 R-001、R-004、R-010 和 R-027;按条件应用 ASILO-R-001、R-003 至 R-007,不修改它们。

迁移与实现

项目声明采用的版本。采用 0.2 须按适用条件评估五项要求,不将 0.1 下历史结果追溯认定为违规。 按基础版本,一个人可以承担多项现有人类职责。

Horcón、SCAFFOLD Core 或其他实现可以提供检查与适配器。接受不表示它们已经存在。 决定记录列明待实现与评估的工作。

SCAFFOLD · 基础 0.1 · 已批准的背景提案