Expand description
Process-wide monotonic floor — REQ-CLK-001 (G1).
Every real (non-mock) clock implementation clamps its mono through
this floor: a process-wide AtomicU64 running fetch_max, so even a
misbehaving or poorly-synchronized source is clamped to the highest
value ever returned. On targets without 64-bit atomics the floor falls
back to a critical-section cell (the chronoshift MockClock pattern;
the critical-section impl is provided by the final binary per
critical-section convention).
The floor is deliberately not applied to MockClock:
G3 (deterministic fiction) wins there — a mock must not be perturbed by
ambient reads from other tests, and its mono cannot regress by
construction anyway (advancement is additive-only).
Custom Clock implementations should route their mono
through mono_floor to honor REQ-CLK-001 by construction.
Functions§
- mono_
floor - Clamp a monotonic reading through the process-wide floor.