Modules
Optimistic parallel discrete-event simulation on the BEAM (spec §7).
Raised by the Commitment-Floor Guard (Mitigation 1, spec §6/§16).
GVT computation, fossil-collect trigger, run control and termination (spec §3.1, §6).
Raised by the Divergence Detector (Mitigation 3b, spec §7/§16) under
check_purity: true.
Unit of both scheduling and inter-LP messaging (spec §4.1).
Keyed tumbling windows, watermark-and-buffer style — the conservative-shaped OPPONENT
to Examples.KeyedWindow, for the eager-vs-buffered stream experiment (Phase 5).
A draining variant of PHOLD (spec §14.1). Each processed event schedules one
follow-up to a random LP at at + delay — but only if that time is still below
the horizon. Tokens therefore fall off the end of the horizon over time and the
population drains to zero, driving the system to genuine quiescence.
Keyed tumbling-window aggregation — the Phase 5 output-commit instrument (§6.4).
PHOLD with locality — the workload §12's placement lever needs.
PHOLD — the standard PDES stress benchmark (spec §14.1).
A synthetic per-fold compute cost for the eager-vs-buffered stream experiment.
A logical process (spec §3, §4.2, §5). One GenServer per LP. Executes events
speculatively in {timestamp, seq} order, rolls back on stragglers and
processed-twin anti-messages, and un-sends downstream effects via anti-messages.
What a domain model implements (spec §7). The engine handles all Time Warp mechanics — rollback, anti-messages, GVT, fossil collection.
Sanctioned, purely-functional seeded PRNG (Mitigation 3a, spec §8).
Telemetry-from-birth (Mitigation 2, spec §10). Every rollback, anti-message, and GVT cycle emits an event from Phase 0 — because rollback-rate is the diagnostic you need while debugging the engine itself, not a Phase 1 luxury.
Raised/reported when the thrash circuit breaker (Mitigation 2, spec §11.1) trips: sustained rollback rate above threshold means optimism is losing to churn. Fail fast rather than burn hours; the decomposition or workload is wrong for Time Warp.