Struct FxpSimulator 

pub struct FxpSimulator {
    pub actors: BTreeMap<String, ActorState>,
    pub outbox: Vec<Message>,
    pub delivered: Vec<Message>,
    /* private fields */
}

Barramento FXP simulado e determinístico.

Fields

actors: BTreeMap<String, ActorState>

outbox: Vec<Message>

Mensagens serializadas (todo comando, mesmo rejeitado).

delivered: Vec<Message>

Entregas efetivadas (ator correto).

Implementations

impl FxpSimulator

pub fn new() -> Self

pub fn set_sensor(&mut self, name: &str, value: f64)

pub fn fail_sensor(&mut self, name: &str)

Sensor registrado porém inacessível (FORMAL §4.7).

pub fn recover_sensor(&mut self, name: &str)

pub fn unregister_sensor(&mut self, name: &str)

Remove sensor do registro (falha sensor_nao_registrado).

pub fn schedule(&mut self, tick: u64, sensor: &str, value: f64)

Agenda valor absoluto para um tick (1-based).

pub fn fail_actor(&mut self, name: &str)

Ator para de responder (heartbeat falho — BDD Caso 3).

pub fn recover_actor(&mut self, name: &str)

pub fn set_fallback(&mut self, primary: &str, alternativos: &[&str])

Política de fallback fica no REGISTRO do FXP (FORMAL §4.3).

pub fn register_actor(&mut self, name: &str, limits: ActorLimits)

Registra ator extra (extensão opcional, ex.: ReserveFan).

pub fn register_sensor(&mut self, name: &str, info: SensorInfo)

Registra (ou substitui) um sensor no registro/simulador — usado pelo bus da Etapa 3 para sincronizar o DeviceRegistry (fonte única) com o backend simulado; valor inicial plausível é 0.0 até roteirização.

pub fn current_actor(&self, name: &str) -> Option<&Value>

pub fn registry(&self) -> &Registry

Registro atual (sensores/atores + limites) — FORMAL §6.

pub fn sensor_value(&self, name: &str) -> Option<f64>

Trait Implementations

impl Clone for FxpSimulator

fn clone(&self) -> FxpSimulator

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FxpSimulator

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

Formats the value using the given formatter.

impl Default for FxpSimulator

fn default() -> Self

Returns the “default value” for a type.

impl Fxp for FxpSimulator

fn read_sensor( &mut self, name: &str, ledger: &mut dyn Ledger, ) -> Result<f64, SensorFailure>

Leitura por nome simbólico. Falha → SensorFailure + alerta no Caderno (§4.7: sensor ausente NUNCA é 0.0 — zero é leitura física válida).

fn act( &mut self, actor: &str, value: Value, ledger: &mut dyn Ledger, ) -> ActOutcome

Comando a ator: serializa, valida limites (inclusivos) e entrega; o Caderno registra tentativa, falha e fallback (§4.3).

fn cpu_power(&self) -> f64

Potência global do tick (partilha P/N — FORMAL §4.2).

fn on_tick(&mut self, _ledger: &mut dyn Ledger)

Avanço do tick no mundo (roteirização do simulador; Etapa 3: também re-entrega a fila de comandos, auditada no Caderno).

fn disk_bytes_used(&self) -> u64

Bytes em suporte estável (persistência — FORMAL §4.1).

fn add_disk_bytes(&mut self, n: u64)

fn registry(&self) -> &Registry

Registro (para validação de referências em tempo de carga).

fn act_with_priority( &mut self, actor: &str, value: Value, priority: u8, ledger: &mut dyn Ledger, ) -> ActOutcome

Comando com prioridade de fila (Etapa 3): default ignora a prioridade e delega a Fxp::act — barramentos com fila prioritária (vbl-fxp) sobrescrevem. O engine usa PRIORITY_SUBVERT para a act que segue um subvert na mesma regra (FORMAL §4.5: sem atraso perceptível).