Product
FerroReplay
FerroReplay makes time an explicit dependency with deterministic clocks, replay helpers, journal-facing primitives, and formally checked clock, wake, interval, and realignment laws.
FerroReplay keeps time out of ambient state. Engines depend on explicit clocks and replay helpers so live execution and replay can advance through the same state transitions. Its formal-methods surface checks the primitive clock, wake, interval, and realignment laws that replay consumers depend on.
Why it matters
Replayability starts with time. FerroReplay gives services a clock boundary that can be driven by live wall time, test time, or ordered event metadata without changing the application path.
What it covers
- Deterministic virtual clocks.
- Live clock adapters behind the same trait boundary.
- Event replay loops with explicit ordering.
- Journal-facing primitives for reproducible sessions.
- Formal proof gates for clock arithmetic, wake ordering, interval ticks, and realignment behavior.