diagnostic_replay/diagnostic_replay.rs
1//! Demonstrates journal replay, metric derivation, and run summary building.
2
3// Import typed task failure values.
4use rust_supervisor::error::types::{TaskFailure, TaskFailureKind};
5// Import policy and event payload values.
6use rust_supervisor::event::payload::{
7 // Import policy decisions.
8 PolicyDecision,
9 // Import state transitions.
10 StateTransition,
11 // Import supervisor event envelopes.
12 SupervisorEvent,
13 // Import event payload variants.
14 What,
15 // Import event location values.
16 Where,
17 // Finish importing event payload values.
18};
19// Import event timing values.
20use rust_supervisor::event::time::{CorrelationId, EventSequence, EventTime, When};
21// Import identifier and attempt values.
22use rust_supervisor::id::types::{Attempt, ChildId, Generation, SupervisorPath};
23// Import fixed-capacity event journal.
24use rust_supervisor::journal::ring::EventJournal;
25// Import metrics facade.
26use rust_supervisor::observe::metrics::MetricsFacade;
27// Import child state values.
28use rust_supervisor::state::child::{ChildLifecycleState, ChildState};
29// Import supervisor state values.
30use rust_supervisor::state::supervisor::{ShutdownState, SupervisorState};
31// Import run summary builder.
32use rust_supervisor::summary::builder::RunSummaryBuilder;
33// Import UUID values for deterministic correlation IDs.
34use uuid::Uuid;
35
36// Run the diagnostic replay example.
37/// Runs the diagnostic replay example.
38fn main() {
39 // Build the child identifier.
40 let child_id = ChildId::new("market_feed");
41 // Build the child path.
42 let child_path = SupervisorPath::root().join("market_feed");
43 // Build a typed task failure.
44 let failure = TaskFailure::new(
45 // Set the failure kind.
46 TaskFailureKind::Timeout,
47 // Set the low-cardinality failure category.
48 "external_dependency",
49 // Set the diagnostic failure message.
50 "market feed heartbeat timed out",
51 // Finish the typed task failure.
52 );
53 // Build the restart policy decision.
54 let policy = PolicyDecision::new(
55 // Set the decision label.
56 "RestartAfter",
57 // Set the restart delay.
58 Some(500),
59 // Set the diagnostic decision reason.
60 Some("heartbeat timeout is restartable".to_owned()),
61 // Finish the policy decision.
62 );
63
64 // Create the fixed-capacity event journal.
65 let mut journal = EventJournal::new(8);
66 // Push the running event.
67 journal.push(event(
68 // Set the event sequence.
69 1,
70 // Clone the child identifier.
71 child_id.clone(),
72 // Set the child display name.
73 "Market Feed",
74 // Build the running event payload.
75 What::ChildRunning {
76 // Attach the state transition.
77 transition: Some(StateTransition::new("Starting", "Running")),
78 // Finish the running event payload.
79 },
80 // Attach no policy decision.
81 None,
82 // Finish the running event.
83 ));
84 // Push the failed event.
85 journal.push(event(
86 // Set the event sequence.
87 2,
88 // Clone the child identifier.
89 child_id.clone(),
90 // Set the child display name.
91 "Market Feed",
92 // Build the failed event payload.
93 What::ChildFailed {
94 // Attach the typed failure.
95 failure: failure.clone(),
96 // Finish the failed event payload.
97 },
98 // Attach the restart policy decision.
99 Some(policy.clone()),
100 // Finish the failed event.
101 ));
102 // Push the backoff event.
103 journal.push(event(
104 // Set the event sequence.
105 3,
106 // Clone the child identifier.
107 child_id.clone(),
108 // Set the child display name.
109 "Market Feed",
110 // Build the backoff payload.
111 What::BackoffScheduled { delay_ms: 500 },
112 // Attach the restart policy decision.
113 Some(policy.clone()),
114 // Finish the backoff event.
115 ));
116 // Push the restarted event.
117 journal.push(event(
118 // Set the event sequence.
119 4,
120 // Clone the child identifier.
121 child_id.clone(),
122 // Set the child display name.
123 "Market Feed",
124 // Build the restarted payload.
125 What::ChildRestarted { restart_count: 1 },
126 // Attach the restart policy decision.
127 Some(policy.clone()),
128 // Finish the restarted event.
129 ));
130
131 // Build the final child state.
132 let child = ChildState::declared(child_path, child_id, "Market Feed")
133 // Set the child lifecycle state.
134 .with_lifecycle_state(ChildLifecycleState::Running, EventSequence::new(1))
135 // Record the latest failure.
136 .record_failure(failure, EventSequence::new(2))
137 // Record the latest policy decision.
138 .with_policy_decision(policy, 1);
139 // Build the final supervisor state.
140 let final_state = SupervisorState::new(SupervisorPath::root(), EventSequence::new(4), 1)
141 // Add the child state.
142 .with_child(child)
143 // Mark shutdown as completed for the replay.
144 .with_shutdown_state(ShutdownState::Completed)
145 // Attach the last journal sequence.
146 .with_journal_sequence(EventSequence::new(4));
147 // Build the diagnostic run summary.
148 let summary = RunSummaryBuilder::new(8).build(
149 // Read recent events from the journal.
150 &journal,
151 // Attach the final current state.
152 final_state,
153 // Attach the shutdown cause.
154 Some("diagnostic replay complete".to_owned()),
155 // Finish the summary construction.
156 );
157 // Create the metrics facade.
158 let metrics = MetricsFacade::new();
159
160 // Print summary counters.
161 println!(
162 // Provide the output template.
163 "summary restart_count={} failure_count={} recent_events={}",
164 // Print the restart count.
165 summary.restart_count,
166 // Print the failure count.
167 summary.failure_count,
168 // Print the recent event count.
169 summary.recent_events.len(),
170 // Finish summary output.
171 );
172 // Iterate over recent journal events.
173 for event in journal.recent(8) {
174 // Print event names and derived metrics.
175 println!(
176 // Provide the output template.
177 "event={} metrics={:?}",
178 // Print the event name.
179 event.what.name(),
180 // Print metrics derived from the event.
181 metrics.samples_for_event(&event),
182 // Finish event output.
183 );
184 // Finish the journal replay loop.
185 }
186 // End the diagnostic replay example.
187}
188
189// Build a deterministic supervisor event.
190/// Builds one deterministic supervisor event.
191fn event(
192 // Receive the event sequence number.
193 sequence: u64,
194 // Receive the child identifier.
195 child_id: ChildId,
196 // Receive the child display name.
197 child_name: &str,
198 // Receive the event payload.
199 what: What,
200 // Receive the optional policy decision.
201 policy: Option<PolicyDecision>,
202 // Return the built supervisor event.
203) -> SupervisorEvent {
204 // Build the event sequence value.
205 let sequence_value = EventSequence::new(sequence);
206 // Build the base event envelope.
207 let event = SupervisorEvent::new(
208 // Build the event time wrapper.
209 When::new(EventTime::deterministic(
210 // Set deterministic wall-clock time.
211 sequence as u128,
212 // Set deterministic monotonic time.
213 sequence as u128,
214 // Set deterministic uptime.
215 sequence,
216 // Set the initial child generation.
217 Generation::initial(),
218 // Set the first attempt.
219 Attempt::first(),
220 // Finish deterministic event time.
221 )),
222 // Build the event location.
223 Where::new(SupervisorPath::root().join(&child_id.value)).with_child(child_id, child_name),
224 // Attach the payload.
225 what,
226 // Attach the sequence.
227 sequence_value,
228 // Attach a deterministic correlation identifier.
229 CorrelationId::from_uuid(Uuid::nil()),
230 // Attach the configuration version.
231 1,
232 // Finish the base event envelope.
233 );
234
235 // Attach policy data when it exists.
236 match policy {
237 // Attach the provided policy decision.
238 Some(policy) => event.with_policy(policy),
239 // Return the event without policy data.
240 None => event,
241 // Finish policy attachment.
242 }
243 // Finish the deterministic event builder.
244}