[G6-02] 让过期 Claim 自动变 stale，并完成全渠道撤回

[NongHua123]

P1 · Marketing / Release

问题

功能、UI 或发布版本变化后，旧截图和旧说法如果继续流通，会比没有材料更误导。

交付与验收

• 功能、UI、Agent 版本或证据失效时，关联 claim 和素材自动标 stale。
• 发布前搜索旧版本号、取消功能、过期 UI 和 withdrawn claim。
• 撤回时同批定位并更新官网、README、PPT、视频脚本和素材索引，同时保留 withdrawn 历史。
• 开发分支证据只能标 preview，不能静默升级成正式发布证据。

[NongHua123]

用 provenance 图传播失效，但状态机仍由 FyAgent 定义（复核 2026-08-12）

这条可以借 W3C PROV-O 落成图模型，但 PROV 只提供 provenance 语义，不替 FyAgent 定义 stale 和 withdrawn 状态机。建议把 ClaimRevision、Evidence、Asset、PublicationOccurrence 保存为不可变 Entity；Verify、Render、Publish、Invalidate、Withdraw 是 Activity，reviewer/publisher 是 Agent。新版本用 prov:wasRevisionOf 指向旧 Claim；素材和渠道发布物用 prov:wasDerivedFrom 指向实际使用的 Claim 与 Evidence；失效事件用 prov:wasInvalidatedBy 和 prov:invalidatedAtTime 记录。旧节点不覆盖、不物理删除。

可落地字段分三组：实体保存 entityId/type/revision/status/validFrom/validUntil/invalidationActivityId/reason/supersededBy；边保存 sourceId/targetId/relation/role/scope/requirementGroup；渠道发布记录保存 channel/locator/publishedHash/publishedAt/lastVerifiedAt/withdrawalStatus/withdrawnAt/readbackEvidenceId。应用状态建议固定为 active/stale/withdraw_pending/withdrawn/superseded。

传播不能简单做“任一证据失效，全部 Claim 作废”。先按 exact scope 和 requirementGroup 重算：只有必需证据组不再满足时，Claim 才变 stale；随后下游素材统一 publish_blocked。Claim withdrawn 后，每个 PublicationOccurrence 进入 withdraw_pending，拿到该渠道的新鲜回读后才能变 withdrawn；有一个渠道未确认，就保留 withdraw_incomplete。preview 证据也不能原地升级，正式版需生成绑定 release SHA 的新 Entity。

验收至少覆盖：多证据替代、跨层传递、循环/孤儿边拒绝、stale 阻断新发布、撤回部分失败、历史仍可审计。

官方资料：W3C PROV-O