Harden 存档工作流程对抗不完整或无效的光谱同步

** 问题**

归档工作流程可以错误地归档一个变化,当变化和主规格之间的同步不能完全代表所请求的改变.

归档操作只有在变化完全和正确同步到主谱后才能成功. 具体而言,工作流程需要区分:

• 在应用预期的主要类别变化时成功同步;
• 同步被阻断或停止,因此主谱不变或部分改变;
• 同步,产生结构上有效的输出,但不实际去除/重命名预期内容;
• 档案操作,可以移动变化,即使真实来源的规格没有达到预期的最终状态。

** 必要行为**

档案工作流程应:

1. 归档前同步运行

• 在将更改移动到归档之前将更改同步到主规格。
• 不只根据生成输出的存在或结构进行归档。

1. 无法同步

• 如果同步报告某项操作被阻断、停止或无法完成,归档操作必须失败。
• 不得将一个不变的主谱解释为同步成功的证据。
• 原换车必须保持原地

1. 审定清除量

• 当更改取消了主规格的要求时,核实同步后实际没有预期要求。
• 如果删除的要求仍在活性范围,则不认为归档成功。

1. 验证重命名

• 当改变改名为能力时,核实旧能力/部门不再存在,新能力是否如预期的那样存在。
• 当只应用了部分重命名时,防止归档操作成功。

1. 校正语义内容,不仅要求平等

• 归档验证应核实实际规格状态,而不应仅仅依赖生成的文件或预期文本是否恰好相匹配。
• 验证应涵盖相关能力、目的、要求、情景和其他受影响内容。

1. 安全处理最后要求的退休

• 如果取消最后一项要求需要退休的能力,但同步过程会阻碍退休,档案必须失效。
• 更改不得移动到存档/直到生成的主谱代表预期状态。

1. 保持所有归档工作流程执行的一致性

• 对每个受变化影响的存档工作流程模板/变量适用同样的保障措施。
• 生成的技能/开放-存档-改变/SKILL.md必须与源模板保持一致,以便后代不再出现较弱的行为。

1. 防止失败的改变

• 任何失败的验证或被阻断的同步必须留有更改可供更正。
• 档案移动应该是最后的 . . . . . . .