Enum ProtocolModel 

#[repr(u8)]
pub enum ProtocolModel {
    Failure = 1,
    Timing = 2,
    Trust = 3,
    Event = 4,
    Media = 5,
}

The five formal protocol models of ELARA.

Every module must be explainable through these models. If a module cannot answer the model’s core question correctly, it is not part of ELARA core.

Variants

Failure = 1

Failure Model: Failure is distortion, not termination.

Core question: “What is your failure model?” Valid answer: Distortion, not termination

ELARA assumes all failure conditions are normal:

• Extreme jitter
• Arbitrary packet loss
• Reordering, duplication
• Network partition
• Byzantine nodes
• Device death
• Clock drift
• Server death

Timing = 2

Timing Model: Time is local. Order is reconstructed.

Core question: “Whose clock do you depend on?” Valid answer: Local only, reconstructed order

Properties:

• No protocol decision depends on wall-clock correctness
• Causality > Timestamp
• Liveness > Consistency
• Reconstruction > Synchronization

Trust = 3

Trust Model: Identity is cryptographic, not topological.

Core question: “Where does trust come from?” Valid answer: Cryptographic continuity

Trust is built from:

• Continuity of keys
• Behavior history
• Event lineage

NOT from: IP, server, TLS channel, login session

Event = 4

Event Model: Event is truth. State is a story we tell about it.

Core question: “Where is your event-truth?” Valid answer: In signed, immutable events

Properties:

• Append-only reality
• Forks are legal
• Convergence is negotiated, not enforced
• History > Snapshot

Media = 5

Media Model: Media is perception, not data.

Core question: “If media has holes, what still lives?” Valid answer: Perception continues

Properties:

• Silence is valid media
• Approximation is first-class
• Prediction is legal
• Pipelines support stretching, concealment, hallucination

Implementations

impl ProtocolModel

pub fn code(&self) -> &'static str

Get the model code (e.g., “MODEL-1”)

pub fn name(&self) -> &'static str

Get the model name

pub fn axiom(&self) -> &'static str

Get the model axiom

pub fn compliance_question(&self) -> &'static str

Get the core compliance question for this model

pub fn valid_answer(&self) -> &'static str

Get the valid answer pattern for this model

pub fn related_invariant(&self) -> Invariant

Get the related Hard Invariant

pub fn all() -> &'static [ProtocolModel]

Get all models

Trait Implementations

impl Clone for ProtocolModel

fn clone(&self) -> ProtocolModel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProtocolModel

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

Formats the value using the given formatter.

impl Display for ProtocolModel

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

Formats the value using the given formatter.

impl Hash for ProtocolModel

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ProtocolModel

fn eq(&self, other: &ProtocolModel) -> 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 Copy for ProtocolModel

impl Eq for ProtocolModel

impl StructuralPartialEq for ProtocolModel