solverforge_solver/
stats.rs1mod candidate_trace;
2mod candidate_trace_qualified;
3mod phase;
4mod solver;
5mod telemetry;
6
7pub use candidate_trace::{
8 CandidatePullTelemetry, CandidateTraceCompositeIdentity, CandidateTraceConstructionTarget,
9 CandidateTraceCoordinate, CandidateTraceDigest, CandidateTraceDisposition,
10 CandidateTraceExecutionPolicy, CandidateTraceExternalDigest, CandidateTraceHeader,
11 CandidateTraceIdentity, CandidateTraceInputAttestation, CandidateTraceInputProvenance,
12 CandidateTraceInputProvenanceStatus, CandidateTraceOperationIdentity,
13 CandidateTracePhaseAttribute, CandidateTracePhasePlan, CandidateTraceProvenanceStatus,
14 CandidateTraceSource, CandidateTraceTelemetry, CANDIDATE_TRACE_FORMAT_VERSION,
15};
16pub(crate) use candidate_trace::{CandidateTracePullToken, CandidateTraceRecordDecision};
17pub use candidate_trace_qualified::{
18 CandidateTraceQualificationError, CandidateTraceQualificationStatus,
19 QualifiedCandidateTraceRunProvenance,
20};
21pub use phase::PhaseStats;
22pub use solver::SolverStats;
23pub(crate) use telemetry::{format_duration, whole_units_per_second};
24pub use telemetry::{
25 AppliedMoveTelemetry, MoveTelemetry, PhaseTelemetry, SelectorTelemetry, SolverTelemetry,
26 Throughput,
27};
28
29#[cfg(test)]
30mod tests;