1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
//! # `types::events` — epoch event enum and stats struct
//!
//! **Introduced by:** `STR-002` — Module hierarchy (SPEC §13).
//!
//! **Future owner:**
//! [`TYP-005`](../../../docs/requirements/domains/epoch_types/specs/TYP-005.md)
//! — the `EpochEvent` enum (4 variants: `EpochAdvanced`, `PhaseTransitioned`,
//! `CheckpointCompetitionStarted`, `CheckpointFinalized`) together with
//! the `EpochStats` struct summarising cross-epoch counters.
//!
//! **Spec reference:** [`SPEC.md` §3.6](../../../docs/resources/SPEC.md) —
//! events; [`SPEC.md` §3.7](../../../docs/resources/SPEC.md) — stats.
//!
//! ## Status at STR-002
//!
//! Empty aside from the [`STR_002_MODULE_PRESENT`] sentinel.
/// Sentinel marker proving the module exists and is reachable at
/// `dig_epoch::types::events::STR_002_MODULE_PRESENT`.
///
/// Exercised by the STR-002 integration test — see
/// [`tests/crate_structure/str_002_test.rs`](../../../tests/crate_structure/str_002_test.rs).
pub const STR_002_MODULE_PRESENT: = ;
use Checkpoint;
use crateEpochPhase;
// -----------------------------------------------------------------------------
// TYP-005 — EpochEvent
// -----------------------------------------------------------------------------
/// Events emitted by EpochManager for telemetry and driver notification.
///
/// Spec ref: SPEC §3.7 / TYP-005.
// -----------------------------------------------------------------------------
// TYP-007 — EpochStats
// -----------------------------------------------------------------------------
/// Aggregate statistics across all epochs managed by EpochManager.
///
/// Spec ref: SPEC §3.8 / TYP-007.