Enum ViolationType 

#[non_exhaustive]
pub enum ViolationType {
    RlsPolicyViolation {
        policy_name: String,
    },
    UniqueViolation {
        field: String,
        value: String,
    },
    ForeignKeyMissing {
        referenced_id: String,
    },
    PermissionDenied,
    RateLimited,
    TokenExpired,
    SchemaViolation {
        field: String,
        reason: String,
    },
    ConstraintViolation {
        detail: String,
    },
    ConstraintVersionPending {
        collection: String,
        required: u64,
        installed: u64,
    },
}

Why a sync delta was placed in the Dead-Letter Queue.

Used on the Origin side for audit/forensics. The edge never sees this directly — it only receives CompensationHint (which may be generic for security reasons).

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

RlsPolicyViolation

RLS write policy rejected the delta.

Fields

policy_name: String

UniqueViolation

UNIQUE constraint violation.

Fields

field: String

value: String

ForeignKeyMissing

Foreign key reference missing.

Fields

referenced_id: String

PermissionDenied

Permission denied (no write access to target resource).

RateLimited

Rate limit exceeded for this session.

TokenExpired

JWT token expired during active session.

SchemaViolation

Schema validation failed.

Fields

field: String

reason: String

ConstraintViolation

Generic constraint violation (catch-all).

Fields

detail: String

ConstraintVersionPending

Delta admitted against a constraint-set version this replica has not installed yet (constraint install still propagating on the data Raft log). Transient: the client should retry after the install catches up.

Fields

collection: String

required: u64

installed: u64

Implementations

impl ViolationType

pub fn to_compensation_hint(&self) -> CompensationHint

Convert a violation to the corresponding CompensationHint for the edge.

Some violations map to a generic hint (e.g., RLS → PermissionDenied) to avoid leaking security-sensitive information to untrusted edges.

Trait Implementations

impl Archive for ViolationType

where String: Archive, u64: Archive,

type Archived = ArchivedViolationType

The archived representation of this type.

type Resolver = ViolationTypeResolver

The resolver for this type. It must contain all the additional information from serializing needed to make the archived type from the normal type.

fn resolve( &self, resolver: <Self as Archive>::Resolver, out: Place<<Self as Archive>::Archived>, )

Creates the archived version of this value at the given position and writes it to the given output.

const COPY_OPTIMIZATION: CopyOptimization<Self> = _

An optimization flag that allows the bytes of this type to be copied directly to a writer instead of calling serialize.

impl Clone for ViolationType

fn clone(&self) -> ViolationType

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ViolationType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ViolationType

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<__D: Fallible + ?Sized> Deserialize<ViolationType, __D> for Archived<ViolationType>

where String: Archive, <String as Archive>::Archived: Deserialize<String, __D>, u64: Archive, <u64 as Archive>::Archived: Deserialize<u64, __D>,

fn deserialize( &self, deserializer: &mut __D, ) -> Result<ViolationType, <__D as Fallible>::Error>

Deserializes using the given deserializer

impl Display for ViolationType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for ViolationType

impl<'__msgpack_de> FromMessagePack<'__msgpack_de> for ViolationType

fn read<R: Read<'__msgpack_de>>(reader: &mut R) -> Result<Self, Error>

where Self: Sized,

Reads the MessagePack representation of this value from the provided reader.

impl PartialEq for ViolationType

fn eq(&self, other: &ViolationType) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for ViolationType

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<__S: Fallible + ?Sized> Serialize<__S> for ViolationType

where String: Serialize<__S>, u64: Serialize<__S>,

fn serialize( &self, serializer: &mut __S, ) -> Result<<Self as Archive>::Resolver, <__S as Fallible>::Error>

Writes the dependencies for the object and returns a resolver that can create the archived type.

impl StructuralPartialEq for ViolationType

impl ToMessagePack for ViolationType

fn write<W: Write>(&self, writer: &mut W) -> Result<(), Error>

Writes the MessagePack representation of this value into the provided writer.