#[non_exhaustive]pub struct FixOptions {
pub deadline: Option<Instant>,
pub threshold_override: Option<f32>,
}Expand description
Per-call options for Engine::fix_with_options.
Phase 1 status (current build): Engine::fix_with_options
IGNORES deadline (the field is plumbed but not honored), so
EngineError::DeadlineExceeded cannot be observed yet. The
threshold_override field IS active from Phase 1: invalid values
produce EngineError::InvalidThreshold immediately. Deadline
enforcement and the asymmetric Err(DeadlineExceeded) response
described below land in Phase 2 (tasks T010–T012).
Carries both the deadline (spec §R3) and the per-call confidence
threshold override that previously lived on
Engine::fix_with_threshold. The two are combined here so
future per-call concerns (per-rule overrides, dry-run-without-mode
flag) can join without further signature churn.
deadline semantics: same as LintOptions::deadline, but the
engine returns Err(EngineError::DeadlineExceeded { partial_lint })
rather than a partial FixResult. Spec §R4 (asymmetric response):
a partial FixResult would commit half a fix to the audit stream,
which violates Constitution V Principle V (audit-record integrity).
threshold_override:
None(default) — falls back toConfig::confidence_threshold.Some(value)— replaces the config threshold for this call only; validated against[0.0, 1.0]. Out-of-range / NaN values produceEngineError::InvalidThresholdat the start of the call.
Fields (Non-exhaustive)§
This struct is marked as non-exhaustive
Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.deadline: Option<Instant>Absolute wall-clock deadline. See LintOptions::deadline for
the semantic shape; the difference for fix is that expiry
returns Err(EngineError::DeadlineExceeded), not a partial
success.
Phase 1 status: ignored by the current build; deadline enforcement lands in Phase 2.
threshold_override: Option<f32>Per-call confidence threshold override; None = use config.
Values outside [0.0, 1.0] (including NaN) produce
EngineError::InvalidThreshold. Active from Phase 1.
Trait Implementations§
Source§impl Clone for FixOptions
impl Clone for FixOptions
Source§fn clone(&self) -> FixOptions
fn clone(&self) -> FixOptions
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read more