Graph 写入结果未知时的安全恢复时序

Graph 写入结果未知时的安全恢复时序 由 Archify 生成的时序图。 approve → durable outbox claim lease + load frozen ops append apply intent marker + mutations + revision single Neo4j transaction result unknown / process exits sweep + load apply intent read exact operation marker marker + committed revision append receipt → applied 审批后排队 Graph transaction 与未知结果 Reconciliation 收敛 产品 / API · approved proposal · 时序参与者 产品 / API approved proposal PostgreSQL · control plane · 时序参与者 PostgreSQL control plane 独立 Executor · outbox consumer · 时序参与者 独立 Executor outbox consumer Neo4j · Graph data plane · 时序参与者 Neo4j Graph data plane 故障边界 · response loss / crash · 时序参与者 故障边界 response loss / crash Reconciler · lease sweep + repair · 时序参与者 Reconciler lease sweep + repair 图例 请求 返回 安全

不声称跨存储 ACID

  • • PostgreSQL 是治理控制面，Neo4j 是 Graph 数据面
  • • 跨存储一致性依靠 durable intent、marker、receipt 与 reconciliation

已提交但结果未知

  • • exact marker 存在时只补权威 receipt，不重复业务 mutation
  • • 响应丢失不会被误报为失败或重新生成 proposal

marker 不存在时仍 fail closed

  • • 只有 Graph baseline 未漂移才允许原 operation identity 重试
  • • baseline 已变化则进入 stale / recovery_required，不盲目 apply