Real-Time Impact Propagation
Signals enter, conditions match, actions dispatch, new signals spawn further evaluation. Cross-product propagation crosses product boundaries through the adapter contract without bespoke service-to-service integration for every reactive behavior.
Condition Algebra
Twenty-four-plus operators with eight boolean combinators and three execution modes — strict, fuzzy, and probabilistic — all producing a match result and a confidence score. Pure functions. No domain semantics baked in.
Confidence-Scored Evaluation
Boolean-only evaluation produces false-positive cascades in noisy environments. MOIRA propagates confidence through combinators with configurable decay across chain depth, terminating naturally when certainty erodes below the floor.
Forward Propagation Chains
The default domino direction: signal matches condition, action fires, target product emits a new signal, evaluation continues. Each step increments depth, applies decay, checks guardrails, and consumes WCET budget.
Backward Propagation
When a downstream action is vetoed or fails, suppression propagates upstream through declared action dependencies. Pending actions are blocked. Dispatched actions receive suppression advisories — not forced rollback.
Lateral Propagation
Informational signals to peer products without initiating chains, consuming WCET, or incrementing depth. Awareness without obligation — products learn what happened elsewhere without being forced to react.
Six-Layer Guardrail Stack
Cycle detection, depth limiting, WCET timeout, confidence floor, rate limiting, and absolute safety veto — evaluated in precedence order before every propagation step. Runaway cascades die by design, not by luck.
Two-Tier Rule Execution
Compiled rules known at build time execute as stack-allocated Rust with formal WCET bounds. Interpreted rules authored at runtime through UI or API are evaluated by the same compiled operator primitives via a tree-walking interpreter.
Snapshot Rule Versioning
In-flight chains capture the rule version active at initiation. Concurrent rule updates never corrupt executing chains. Versions are immutable — modification creates a new version, not a mutation.
Embedded Rust Crate
Process-local evaluation with zero serialization overhead. Binary contribution under 5 MB with LTO. Compiled hot path targets zero heap allocations. Same address space, same thread, same stack.
Server Runtime
Persistent WebSocket bidirectional streaming, gRPC ingestion above 100K signals per second, thirty-plus REST endpoints, visual rule builder, live chain monitoring, and CRL health integration. Full binary under 30 MB, small deployment memory under 256 MB.
Adapter Contract
Products register signal types and action types with full schemas, WCET estimates, retry policies, idempotency guarantees, and optional safety veto callbacks. MOIRA dispatches generically. Products own semantics.
Admission and Governance
Tenant-scoped impact budgets, initiation gates, emission quotas, circuit breakers, and rate limits prevent a single misconfigured rule from consuming unbounded system resources.
MOIRA-META CoE and EoC
Deterministic Cause-of-Effect forward analysis and Effect-of-Cause reverse traversal over state-delta vectors, rule graphs, and Timeline-X replay evidence. Analytical, simulation, and executable modes — executable compiles into normal propagation chains, never bypassing governance.
Topological Condition Evaluation
Persistent homology, Betti numbers, manifold thresholds, and density operators as first-class condition types — mathematical contracts with defined inputs, outputs, and WCET bounds, not hand-waved approximations.
Visual Rule Builder
Canvas-based flow editor with ladder-logic-inspired condition authoring, constraint visualization, topological impact surfaces, simulation against historical signals, and live propagation monitoring.
KAOS Geodesic Routing
When a propagation step has multiple candidate actions, KAOS computes optimal execution ordering on a Riemannian manifold from WCET, confidence, and priority metrics. Deterministic fallback when KAOS is unavailable.
Counterfactual Pre-Evaluation
Optional Prometheus integration evaluates whether proposed propagation is causally justified before dispatch. Opt-in per rule. MOIRA operates fully without it — most deployments never pay the latency cost.
Pluggable Causal Optimizer
MOIRA-META invokes internal MILP, QILP, and bounded exhaustive backends only when direct deterministic traversal cannot produce a complete answer. Unsupported requests return explicit capability gaps — never fabricated solutions.
