译文
译自西班牙语原文，以原文为规范文本。 状态：草稿，待人工审校。如有歧义，以西班牙语原文为准。
技术中立与可验证工程：配置提案¶
状态：提议。 适用于由人员和助手构建的软件，产品可以包含或不包含 AI。本提案不接受配置、不改变原则，也不增加普遍要求。这些公理是候选配置承诺，不是 ASILO、MILPA 或 SCAFFOLD 的新公理。规划决定不能证明控制已实现。
目的与第一步¶
避免把所选技术、有说服力的输出或局部检查等同于架构、权限或充分证据。从项目章程和现状调查开始 （SCAFFOLD-R-019、 R-020），明确负责人、效果和标准。 制品指南说明具体过程。
候选配置公理¶
| ID | 提议的承诺 | 可观察的检查 |
|---|---|---|
| ENG-AX-001 | 技术中立：核心使用明确契约；提供方、工具、格式和助手通过适配器连接。 | 两个不同消费者或适配器运行同一契约；声明限制和版本。 |
| ENG-AX-002 | 职责与边界：每个模块都有明确的变更原因和效果。 | 依赖规则和测试表明核心不导入具体的展示、网络或存储。 |
| ENG-AX-003 | 替换：适配器保持端口的前置条件、结果、错误和效果限制。 | 共享行为测试包括失败、取消和对抗案例；签名相同并不足够。 |
| ENG-AX-004 | 最小扩展：只有已证实的变化或消费者才产生抽象。 | 第二个案例与决策解释扩展；读取数据不会安装插件。 |
| ENG-AX-005 | 明确权限：文本、包、AI 输出和技术结果不授予权限。 | 没有主体、范围和有效授权的效果在执行边界被拒绝。 |
| ENG-AX-006 | 必需控制不确定：缺失、无效或无法评估的控制不能算满足。 | 无效配置和缺失证据不会转化为批准。 |
| ENG-AX-007 | 绑定审查：实质变化使依赖旧对象的证据失效。 | 制品、上下文、策略、配置或来源改变时，重新检查其使用。 |
| ENG-AX-008 | 完整且最少的证据：结果包含版本、来源和范围；最小化数据。 | 核对哈希、可读引用和不含秘密的错误；哈希不认证发布者。 |
| ENG-AX-009 | 效果记账：重复、恢复与失败都有明确结果。 | 每个操作只终结一次或明确等待核对；不无条件重试不确定的效果。 |
| ENG-AX-010 | 从设计考虑 AI：指令、上下文、工具和评估有版本与限制。 | 分别记录模拟、模型评估与人工接受；不虚构多样性。 |
| ENG-AX-011 | 测量后优化：先正确性与基线，再比较假设。 | 测量优化前后的质量、成本与延迟；缓存保持失效和权限规则。 |
| ENG-AX-012 | 可追溯交付：可识别已检查制品、决策与回滚。 | 提升同一哈希制品，分离环境配置，关键效果遵循项目决策。 |
| ENG-AX-013 | 按主题确定权威来源：每个语义主题只有一个规范来源；索引指向该来源，派生视图声明来源。 | 检测重复或冲突的权威来源；来源变化会标记相关证据。 |
| ENG-AX-014 | 安全内建与零信任：在相关边界检查身份、资源、操作和上下文；必需控制缺失时默认拒绝。 | 威胁场景和授权测试覆盖允许、拒绝与故障路径；这能降低风险，但不能证明不存在漏洞。 |
| ENG-AX-015 | 明确 AI 边界：上下文、输出、评测和工具各自保留来源、版本和权限。 | 对抗测试、精确引用和确定性影响中介；模型不授予权限，也不验收自己的输出。 |
Skills、插件与工具协议——配置提案¶
此区分用于具体说明配置；不创建普遍要求，也不改变已接受版本。按 SCAFFOLD、MILPA 和 ASILO 现行条件应用。
| 元素 | 功能 | 不授予什么 |
|---|---|---|
| Skill | 指导任务的指令与资源，以宿主可读取的格式分发。 | 不授予身份、路径访问权或执行工具的权限。其内容是不可信输入。 |
| 插件（Plugin） | 扩展特定宿主、并可能在其生命周期中执行的代码。 | 它并非天然可移植，也不会仅因已安装而可信。 |
| MCP | 宿主连接到提供工具、资源和提示词的服务器所用协议。 | 它本身不是授权策略、数据分类或人工审查机制。 |
| 适配器（Adapter） | 在外部契约与框架稳定端口之间进行可选转换。 | 不扩大权限，也不改变契约的权威性。 |
方法如何互补¶
- SCAFFOLD 在这些集成用于构建软件时，将其记录为项目或工作批次的依赖：来源、版本、 兼容性、目的、负责人、区域、验收标准和证据。R-001 至 R-032 已涵盖人工与智能体团队、 计划、交付和测量；它不强制使用 Scrum、特定跟踪器，也不要求所有任务都形成 DAG。
- MILPA 保存清单和契约的来源、负责人、状态、版本与关系（R-001、R-004 至 R-008）。 联邦索引以修订版本/摘要引用仓库与契约；它不意味着实际继承、自动克隆，或由一个全局来源 复制所有制品。
- ASILO 根据能力与效果应用限制：Skills 内容、资源和外部结果均视为不可信；在相关边界 检查身份、资源、操作和上下文；权限最小且可撤销；秘密处理和人工审查仍遵循其要求 （R-001、R-003 至 R-008）。
工程团队负责构建软件；运行团队负责产品运行。两者可以共享提供方或框架，但不继承身份、 权限、秘密、数据、预算或凭据。SCAFFOLD 组织构建；ASILO 在满足适用条件的任何阶段提供保护； MILPA 在整个生命周期中维护来源与权威。
候选采用标准¶
- 在将软件包、Skill、插件、MCP 服务器或外部契约用于智能体上下文之前，声明来源、版本或 摘要、负责人、兼容性和状态。
- 区分数据读取、指令与效果。启用 Skill 不会自动启用其工具；发现工具不等于获得授权。
- 根据风险评估和拓扑选择直接连接或网关。此配置不要求每次调用都经过 Horcón；但要求在 执行动作的边界上能够验证授权。
- 对可扩展代码，记录能力、权限、隔离、更新、撤销、兼容性和回滚。插件按可执行代码处理。
- 测试恶意输入、权限拒绝、撤销、重放、时间限制和适配器故障。有效的模式不证明效果安全。
- 将使用证据绑定到来源、授权配置、契约、模型/配置与制品的准确摘要。实质变化后必须复审 受影响证据。
这些标准仍是等待负责人、方法审查和决策的配置提案。为避免暗示存在已接受版本，此处不分配 要求 ID。实现时应固定 MCP、Skills 和插件契约所适用的外部修订版本；互操作性不会消除版本变化 及其自身风险。
SOLID、模式与零信任¶
单一职责、扩展、里氏替换、小接口和依赖倒置由契约与测试体现，而不是类的数量。 端口与适配器、策略和函数式核心是配置选项，不是通用架构。零信任不因位置或归属授予信任；在相关边界检查身份、资源、动作和条件。
参考：NIST SP 800-207、 Liskov 与 Wing 的行为子类型、 端口与适配器。 这些是外部背景，不是对本配置的认证。
与方法的关系及接受¶
ASILO 提供范围、边界、权限与效果审查（R-001 至 R-007）；MILPA 提供来源、分类、版本与关系（R-001、R-003、R-004、R-007、R-008）；SCAFFOLD 提供契约、工作、检查与交付（R-006、R-010、R-019 至 R-032，按适用条件）。SCAFFOLD-R-017 仍不在已接受版本内。
虚构示例：一个库和一个 Web 应用使用同一证据契约；Web 应用增加 UI 审查，库说明为何该范围不适用。人工决定和权限仍有各自控制。 API 和安装细节属于实现，不属于本配置。
配置负责人、方法接受及独立审查仍待完成。变更需标明版本、原因、受影响证据与过渡方案；不得暗中改变已接受要求。西班牙语仍为规范来源；本译文等待人工审查。