Struct ReflexDefinition 

pub struct ReflexDefinition {
    pub name: String,
    pub trigger: String,
    pub on_level: String,
    pub action: String,
    pub scope: String,
    pub sla: String,
    pub loc: Loc,
    pub leading_trivia: Vec<Trivia>,
    pub trailing_trivia: Vec<Trivia>,
}

reflex Name { trigger, on_level, action, scope, sla }

Deterministic, O(1) motor response. Contract invariants (paper §4.2): never invokes an LLM; no long-running I/O; every activation emits a signed_trace; idempotent on the same HealthReport.

Fields

name: String

trigger: String

on_level: String

action: String

scope: String

sla: String

loc: Loc

leading_trivia: Vec<Trivia>

Fase 14.b — leading comment trivia attached to this declaration (comments preceding the declaration’s first token, since the previous declaration or file start). Empty by default.

trailing_trivia: Vec<Trivia>

Fase 14.b — trailing comment trivia (same line as the declaration’s last effective token). Empty by default.

Trait Implementations

impl Debug for ReflexDefinition

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

Formats the value using the given formatter.

impl Default for ReflexDefinition

fn default() -> ReflexDefinition

Returns the “default value” for a type.