跳转至

译文

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

要求 — ASILO、MILPA 和 SCAFFOLD

状态:ASILO 0.1 和 MILPA 0.1 各有八项要求。 SCAFFOLD 0.2 共 36 项(2026-10-16):从 0.1 继承 31 项,新增五项。参见 版本历史。

每项要求都遵循最小要求卡片:稳定的 ID、问题、范围、责任人、条件、可验证的表述、证据、例外、残余风险和外部引用。必须、不得、应当和可以这几个词的含义,以该页的定义为准。

如何阅读

  1. 从原则开始:它们解释为什么。
  2. 查阅你感兴趣的要求;卡片说明它何时适用以及将如何检查。
  3. 如果你使用某项具体技术,请查看应用配置。
  4. 要了解哪些软件与该方法相关,请使用实现地图。 某个软件存在,并不证明其合规。

MILPA — 知识、权威与结构

ID 主题 一句话
MILPA-R-001 权威与来源 每条规则都说明来自哪里、处于什么状态以及由谁批准。
MILPA-R-002 事实与推断 报告把有引用的事实、推断和假设分开。
MILPA-R-003 同名异义的尺度 没有已被接受的对应关系,任何“等级”都不得换算成另一种尺度。
MILPA-R-004 清单 每个项目声明身份、负责人、范围、应用配置和受限区域。
MILPA-R-005 保留名称 保留名称来自已声明且带版本的词汇表。
MILPA-R-006 结构 不变的核心加上已声明的应用配置;没有任何应用配置的目录树是通用的。
MILPA-R-007 项目间集成 关联在两端都声明,并带契约和版本。
MILPA-R-008 矛盾 登记矛盾,并保留到作出决定为止。

ASILO — 人工智能系统的边界

ID 主题 一句话
ASILO-R-001 契约与信任边界 模型的输出在产生影响之前,既要经过验证,也要经过授权。
ASILO-R-002 层或环 声明层的模型及依赖规则;在应用配置允许时,建议自动检查该规则。
ASILO-R-003 上下文边界 每个任务都有上下文预算,包含来源、数据和有效期。
ASILO-R-004 最小权限 每个智能体都有已声明的范围,不大于调用者的范围,并且可撤销。
ASILO-R-005 人工审查 已编目的关键影响需要经过充分知情的人工确认。
ASILO-R-006 敏感数据 数据按用途和保留期分级;密钥绝不进入上下文。
ASILO-R-007 预算与连续性 成本、动作和时间的上限;经过验证的停止机制;状态得到保留。
ASILO-R-008 失效评估 在适用之处度量幻觉、注入和谄媚;如有多个智能体,则度量智能体之间的失效。不宣称任何事项已被消除。

“已被接受”意味着什么

已被接受的要求,在其范围和条件内,约束声明应用 ASILO 0.1、MILPA 0.1 或其明确指定的 SCAFFOLD 已接受版本的人。它并不证明某个系统符合要求:这需要每个项目自己提供证据。ID 一经冻结不再变动;被撤销的要求保留其 ID,状态为 deprecated。

编辑标准的规则

这些规则约束本站如何撰写,而不是如何构建系统。

ID 主题 一句话
DOC-AX-001 语气 通俗、中立、准确的语气;西班牙语和英语的规范效力相同。
DOC-AX-002 不可知论 方法不依赖于产品,其示例均为虚构。
DOC-AX-003 翻译 西班牙语优先;每份译文都以明确的修订版本为起点。
DOC-AX-004 实用性 有用且可验证的技术沟通,没有无来源的承诺或数字。
DOC-AX-005 类比 类比须有所指、对应关系和局限;每种方法使用描述性的别名。
DOC-AX-006 人工智能的范围 一个或多个助手是不同的情形;保留每项要求的条件。

SCAFFOLD — 有人员和助手参与的软件项目

SCAFFOLD 0.2 于 2026-10-16 接受,共 36 项要求:0.1 的 31 项加五项新增。R-017 仍在两个版本之外,待决定。

ID 分组 一句话
SCAFFOLD-R-001 A · 范围与归属 每个路径至多有一个写入归属者;共享的路径须声明。
SCAFFOLD-R-002 A · 范围与归属 跨越多个归属者区域的变更,放在带负责人的批次中。
SCAFFOLD-R-003 A · 范围与归属 每项变更都归属于一个人,若有助手参与,也归属于该助手。
SCAFFOLD-R-004 B · 上下文与交接 建议声明一个简短且真实存在的启动上下文。
SCAFFOLD-R-005 B · 上下文与交接 更换助手时留下带状态的交接说明;被接手后不再编辑。
SCAFFOLD-R-006 C · 契约、地图与代码 契约、地图和代码都声明其版本;宜检查它们没有脱节。
SCAFFOLD-R-007 C · 契约、地图与代码 针对他人契约工作的一方,在其上下文中收到带版本的契约。
SCAFFOLD-R-008 C · 契约、地图与代码 每个新增或变更的第三方依赖,都登记由谁审查以及原因。
SCAFFOLD-R-009 D · 批次与登记 工作组织为有类型的批次;成本为实测数据或“未知”。
SCAFFOLD-R-010 D · 批次与登记 执行已声明的检查;助手不得自行合并或部署已编目为关键的内容。
SCAFFOLD-R-011 E · 边界与紧急 工程层的配置留在已部署制品之外。
SCAFFOLD-R-012 E · 边界与紧急 探索事先识别可暂停的控制,保留 ASILO/MILPA,并有正式的出口。
SCAFFOLD-R-013 E · 边界与紧急 紧急通道事先定义,留下记录,并以审查结束。
SCAFFOLD-R-014 F · 复合项目 根声明其子项目,并且在子项目的批次之外不写入子项目。
SCAFFOLD-R-015 F · 复合项目 从根出发,上下文限于清单、契约、地图和说明。
SCAFFOLD-R-016 F · 复合项目 批次之间的依赖须声明,在关闭时得到遵守,并且不构成环。
SCAFFOLD-R-018 F · 复合项目 过时的契约或关联不得用于功能类型的批次;可以用于以将其淘汰为目标的批次。
SCAFFOLD-R-019 G · 项目与启动 在第一个功能批次之前,项目有一份载明目标、范围、负责人和关键影响的章程。
SCAFFOLD-R-020 G · 项目与启动 在既有工作的基础上采用时,登记一份事实与假设分开的现状盘点。
SCAFFOLD-R-021 H · 工作与节奏 计划内的工作是带标识符、验收标准和负责人的工作项;批次引用它们。
SCAFFOLD-R-022 H · 工作与节奏 工作的排序、接受和舍弃由人决定;助手只提议。
SCAFFOLD-R-023 H · 工作与节奏 有就绪条件和完成定义;未经检查和人工验收,任何工作都不算完成。
SCAFFOLD-R-024 H · 工作与节奏 声明节奏;采用持续流时,还须声明在制品上限,并登记定期评审与改进。
SCAFFOLD-R-025 I · 分支与发布版本 分支、合并请求和发布版本都引用其工作;双向可追溯。
SCAFFOLD-R-026 I · 分支与发布版本 声明分支模型;主分支受保护,助手未经审查不得写入。
SCAFFOLD-R-027 J · 环境与交付 每个环境声明用途、数据、自有密钥以及由谁部署;生产是关键影响。
SCAFFOLD-R-028 J · 环境与交付 晋级同一个已检查的制品,附回滚计划和部署记录。
SCAFFOLD-R-029 I · 分支与发布版本 发布版本遵循已声明的方案,带不可变的标签、说明和授权。
SCAFFOLD-R-030 K · 小组 每个由人员、智能体或两者混合组成的小组都有人类负责人;仅由智能体组成的小组不得验收、排序或部署。
SCAFFOLD-R-031 K · 小组 每项在途工作都有负责人;人员与智能体的产能分别规划。
SCAFFOLD-R-032 J · 环境与交付 度量已声明的交付指标,每次事故都有带行动的事后审查。
SCAFFOLD-R-033 L · 0.2 影响与依赖证据
SCAFFOLD-R-034 L · 0.2 运行、配置与基础设施
SCAFFOLD-R-035 L · 0.2 数据兼容与迁移
SCAFFOLD-R-036 L · 0.2 可验证结构边界
SCAFFOLD-R-037 L · 0.2 远程工程连接与操作

ASILO 架构与安全指南解释其要求和应用配置模型;它们不构成额外的要求。

已接受版本之外的待定修订

R-017 保持提案状态,不属于 36 项已接受要求。关联仍适用 MILPA-R-007。

ID Estado / Status / 状态 Referencia / Reference / 引用
SCAFFOLD-R-017 提案 针对外部关联提出的对 MILPA-R-007 的修订;目前适用的是 MILPA-R-007。