编辑公理：清晰与方法的自主性¶

这些公理规范本修订版的撰写。它们是编辑规则；不为 ASILO 0.1、MILPA 0.1 或 SCAFFOLD 0.1 增加要求。解释与已被接受的规则，其权威各不相同。

DOC-AX-001 — 平易、中立且精确的语气¶

文档必须使用平易、中立的语气，保持专业性，并对所需的技术术语加以定义。每条指示都要写明谁行动、做什么、针对什么对象以及在什么条件下。清晰的语言便于比较译文并减少歧义；它本身并不保证各语言之间的等同。

先说明目的，再给出示例，最后才是技术细节。
每个概念使用一个稳定的词。首次出现时解释缩写；仅当某个明确的来源确立了其展开形式时，才予以展开。
避免习语、地方性幽默、未经解释的比喻、对人的评判和绝对化的承诺。
翻译时保留 ID、单位、数字、否定、例外和规范性效力。
保留授权、能力、契约或残余风险等必要术语。在术语表中加以解释，而不要用不够精确的词替换它们。
指出分歧并加以审查。在没有声明其他权威之前，译文仅供参考。

含糊的写法	可核验的写法
“系统控制一切。”	“该控制在写入文件之前核验权限。”
“负责人必须批准它。”	“负责人在执行之前批准删除所指明的记录。”
“这个环是安全的。”	“这一层不导入外部适配器；依赖检查会核验这条规则。”

第二个例子是一种解释。如果它表达的是规范性义务，则应引用适用的要求，并保留其条件和例外。

DOC-AX-002 — 不依赖特定环境且自给自足的方法¶

公开文档必须在不依赖某个组织、产品、私有仓库、供应商、语言或内部用途的情况下解释方法。示例是虚构且可移植的。署名与许可予以保留；署名某项作品并不意味着必须采用其生态。

方法解释目的、概念、规则和边界。
配置声明其情境中的具体决定及其自身的状态。
实现在其自己的文档中说明安装、API、运行、测试和版本。
产品清单、软件包诊断、本地路径和私下的决定，不进入公开的导览及其图示、下载和译文。
站点页面的选取并不确立对某个仓库或其历史的权限。

类比与图示¶

每个类比都要说明它帮助理解什么，以及在何处不再适用。每个图示都有文字说明：即使看不到图，人们也能理解该过程。箭头按其图例表示依赖、顺序或传递；它们并不证明已经实施了控制。

译文审查¶

flowchart LR
  accTitle: 译文审查
  accDescr: 从左到右的流程：从包含行为者、行动与条件的原文出发，查阅术语与稳定 ID，在不改变义务或例外的前提下翻译，比对否定、数字、范围与限制，再进行语言与领域审查。结果是一个已标识的版本或一项已记录的分歧。
  O["原文：行为者、行动与条件"] --> G["查阅术语与稳定 ID"]
  G --> T["翻译时不改变义务或例外"]
  T --> C["比对否定、数字、范围与限制"]
  C --> R["语言与领域审查"]
  R --> V["已标识的版本或已记录的分歧"]

SVG 图示：译文审查 · 可编辑的 Mermaid 源文件。

审查把译文与原始版本比较，并记录实质性差异。不会仅仅为了听起来更自然而更改已被接受的术语。当不存在直接对应时，保留源语言的术语并补充定义。

DOC-AX-003 — 西班牙语优先与可追溯的译文¶

公理、概念、示例和决定都先以西班牙语撰写和审查。每份译文都以原文的某个已识别的修订版为起点，并保留 ID、数字、否定、条件、例外和规范性效力。含义的变化会回到西班牙语源文作出决定，然后再传播到各译文。

缩写 ASILO、MILPA 和 SCAFFOLD 以大写书写。技术路径保持其小写的约定。缩写的展开需要明确的来源。

DOC-AX-004 — 技术实用性与可核验的表述¶

每个条目都解释问题、谁需要解决它、第一步、所产生的记录以及如何核验结果。其示例使用虚构数据。关于采用情况、节省、安全或合规的论断，需要带日期的证据。标题和描述呈现页面的真实内容，并使用稳定的术语。

DOC-AX-005 — 经过解释的类比与描述性副标题¶

每套方法论在其入口处必须以缩写加上一个说明其目的的描述性副标题来呈现。副标题不展开缩写，也不改变该版本的范围。

缩写	描述性副标题
ASILO	借助 AI 构建的系统的边界与安全。此处的“借助 AI”指借助人工智能的协助。
MILPA	知识与来源。
SCAFFOLD	由人和人工智能助手共同完成的软件项目。

每个类比必须解释其参照对象、所需的术语、它帮助理解的概念、所选的对应关系以及在何处不再适用。编辑层面的对应关系须标明为此类对应：它们不创建要求、智能体类别或权限。关于文化或科学参照对象的论断，须以明确的来源为依据。

每个图示必须有标题、箭头图例和等效的文字说明。当 SVG 与 Mermaid 一同提供时，两者保持术语、关系和边界；可编辑的源文件、资源及其来源均须登记。颜色绝不是唯一的信号。插图不能证明控制或结果。先以西班牙语撰写，再翻译。

技术术语在首次使用时定义，或链接到定义。方法、配置、实现和示例须加以区分。milpa 展示了如何应用这一公理；可视化导览汇集了各个图示。

通用地图确定了主要参照对象：ASILO 取庇护所，MILPA 取混作，SCAFFOLD 取脚手架。ASILO 保留其名称，并在译文中说明它借用西班牙语“asilo”的庇护或保护之意。辅助意象用于解释某个具体的决定，而不改变这一主要参照对象。

DOC-AX-006 — AI 的范围与明确的条件¶

文档必须区分 AI、与模型的交互、协助以及多智能体协调。ASILO 处理借助 AI 协助构建的系统以及模型的相关用途；SCAFFOLD 处理借助 AI、由一个或多个助手构建的软件项目。两者都不把多个智能体作为一般条件。每项要求都保留其已被接受的范围、条件、例外和效力。存在多个智能体时，才评估智能体之间的故障。

架构与安全在 ASILO 之内解释。环的模型仅作示意；软件实现则在与软件的边界中说明。