kuilt-heddle/us.tractat.kuilt.heddle/LedgerConflict/PerEdgeSafety

PerEdgeSafety

data class PerEdgeSafety(val edge: AttachmentId) : LedgerConflict

An edge whose aggregate charged-plus-returned exceeds what was ever issued down it: leafSpent(e) + rollupSpent(e) + returned(e) > issued(e). Checked sum-wise on aggregate values, never per slot — a peer may legitimately return entitlement it received by transfer, so a per-slot returned > issued is fine; only the edge total crossing issued is a fault (design §4.6).

Constructors

PerEdgeSafety

constructor(edge: AttachmentId)

Properties

edge

val edge: AttachmentId

order

open override val order: Int

The stable ordering rank of this conflict kind (kinds are grouped in the sorted report).

Functions

compareTo

open operator override fun compareTo(other: LedgerConflict): Int