consequentialChecks function

ConsumeChecks consequentialChecks(
  1. ReplayGuard guard
)

The posture for a consequential Trust Task (ยง2): item 11 enforced against guard, and the bounded acceptance window that makes the record droppable.

The right choice for any task whose execution grants access, moves value, discloses a secret, or otherwise cannot be undone by ignoring the next document.

Implementation

ConsumeChecks consequentialChecks(ReplayGuard guard) => ConsumeChecks(
      freshness: FreshnessPolicy.consequential,
      replay: ReplayPolicy.guarded(guard),
    );