ControlOutcome

sealed interface ControlOutcome

The outcome of a committed control act, keyed to the log index it committed at. Because every peer applies the committed log against a log-pure projection (see HeddleControlPlane), every peer derives the same outcome for a given index — the proposer reads back its own act's outcome.

Inheritors

Types

Link copied to clipboard
data class Applied(val index: Long) : ControlOutcome

The act was admitted and applied to the log-order control state (and published to the data plane).

Link copied to clipboard
object Companion
Link copied to clipboard
data class Conflict(val index: Long, val conflict: ControlConflict) : ControlOutcome

The act was refused — it lost an overlapping-reshape race, its precondition no longer held once ordered, or it was refused locally before proposing (a non-drained retire). The entitlement state is untouched; the loser is surfaced as a structured conflict, never silently dropped and never resolved by a clock (design §4.6, §9).

Properties

Link copied to clipboard
abstract val index: Long

The Raft log index this act committed at, or NOT_COMMITTED for a locally-refused act.