Enum ViolationType 

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,
    },
}

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

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

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,

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>,

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 PartialEq for ViolationType

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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

where String: 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 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 Eq for ViolationType

impl StructuralPartialEq for ViolationType