Evidence 变化后的依赖扇出与安全收敛

Evidence 变化后的依赖扇出与安全收敛 由 Archify 生成的数据流图。 01 / Evidence event 02 / Fence + outbox 03 / Bounded fan-out 04 / Target revalidators 05 / Safe projections Evidence Event · supersede / revoke · 01 / Evidence event · high watermark Evidence Event supersede / revoke high watermark Fence + Durable Outbox · same transaction; replayable · 02 / Fence + outbox · protect first Fence + Durable Outbox same transaction; replayable protect first Dependency Page · max 200 dependents · 03 / Bounded fan-out · batch max 100 Dependency Page max 200 dependents batch max 100 Bounded Revalidators · Memory / Relation / Graph adapters · 04 / Target revalidators Bounded Revalidators Memory / Relation / Graph adapters Safe Projections · protect / retain / remediate · 05 / Safe projections Safe Projections protect / retain / remediate Read / Effect Gate · 200 empty/degraded; 409/503 effect · 03 / Bounded fan-out · fail closed Read / Effect Gate 200 empty/degraded; 409/503 effect fail closed 保护 同事务 分页 有界 扇出 精确代 收敛 CAS 回执 读取门 实时 图例 主要数据 策略 / PII 异步批处理 数据存储

先保护，再异步收敛

  • • Evidence event 与 dependency fence 同事务形成
  • • authority 不可确认时 read typed degraded、effect typed 503

扇出严格有界

  • • 每 target generation 最多 100 dependencies
  • • 单页最多 200 dependents；job batch 最多 100 targets

Graph 不做盲目回滚

  • • Applied operation/element 必须有 exact marker 与 revision 映射
  • • 不满足映射时只能 observe-only 或保护新操作