V2/Networking/CommandCompletionPolicy.cs
Static helper that decides whether a completed command should be rejected as stale based on lease freshness, whether execution started, and whether execution succeeded. It returns true when the lease is not current and either execution never started or it started but did not succeed.
#nullable enable
namespace Hexagon.V2.Networking;
/// <summary>
/// Defines the command-session linearization boundary independently of the
/// s&box transport. Once execution has started and returned a successful
/// application result, that result remains authoritative even if its lease is
/// stale by the time the transport finishes the request.
/// </summary>
internal static class CommandCompletionPolicy
{
public static bool ShouldRejectAsStale(
bool leaseIsCurrentAtCompletion,
bool executionStarted,
bool executionSucceeded ) =>
!leaseIsCurrentAtCompletion && (!executionStarted || !executionSucceeded);
}