Expand description
Simulador físico determinístico do FXP (esqueleto da Etapa 1, PLAN §6.5 — evolui para módulo próprio na Etapa 3).
- Séries temporais roteirizadas (
schedule/set_sensor): determinismo total, sem aleatoriedade; - Injeção de falhas: sensor ausente, registrado porém inacessível, ator que não responde (heartbeat);
- Registro mínimo obrigatório (FORMAL §6) com limites inclusivos;
- Política de fallback no REGISTRO (FORMAL §4.3) — o runtime não implementa fallback próprio;
- Mensagens FXP serializadas em processo (schema binário v1: Etapa 3).
Structs§
- FxpSimulator
- Barramento FXP simulado e determinístico.
- Message
- Mensagem FXP serializada (fronteira em processo, sem schema binário).
- Simulator
Builder