Evidence 变化后的依赖保护与恢复

Evidence 变化后的依赖保护与恢复 由 Archify 生成的生命周期图。 01 / Authority evaluation 02 / Projection decision 03 / Protection + recovery Evidence Event · active / old / revoked · Authority evaluation · authority event 01 Evidence Event active / old / revoked authority event Dependency Fence · event + outbox · Authority evaluation · synchronous 02 Dependency Fence event + outbox synchronous Support Evaluation · role / policy / threshold · Authority evaluation · deterministic 03 Support Evaluation role / policy / threshold deterministic Eligibility Decision · support + unknown result · Projection decision · orthogonal Boolean Eligibility Decision support + unknown result orthogonal Boolean Safe Projection · bounded read context · Projection decision · eligible=true Safe Projection bounded read context eligible=true Protected Empty · ineligible / wait · Protection + recovery · eligible=false Protected Empty ineligible / wait eligible=false Recovery Gate · rev / successor · Protection + recovery · explicit CAS Recovery Gate rev / successor explicit CAS Restored · append fact · Protection + recovery · append audit Restored append fact append audit compute eligible ineligible live-check / review confirmed + CAS restore eligibility 图例 开始 活动状态 决策 成功终态 失败 / 退出

四个状态轴必须分开

  • • Evidence lifecycle 不等于 target lifecycle 或 support projection
  • • projection_eligible 由 exact role、policy、threshold 与 authority 计算

失效不总是关闭投影

  • • context_only 仅进入 provenance 与 diagnostics
  • • partially_supported 默认仍 eligible；高风险 policy 才可显式关闭

保护不是删除或历史改写

  • • unsupported、contradicted 或 eligibility-relevant unknown 才保护
  • • 恢复追加 audit facts，不改写 immutable ReviewDecision 或 domain history