Struct EngineAddressabilityCheckV3 

pub struct EngineAddressabilityCheckV3<'a> { /* private fields */ }

Current-output V3 engine addressability check.

This preserves the V2 rule and allocation behavior while lifting its basis references and prediction attachment into the exact-source-capable V3 contracts required by current lint output.

Implementations

impl<'a> EngineAddressabilityCheckV3<'a>

pub fn new( source: &'a LoadedSource, provenance: Option<&'a PredictionProvenanceV3>, ) -> Result<Self, PredictionRuleError>

Bind current V3 provenance to same-load source evidence.

Trait Implementations

impl Check for EngineAddressabilityCheckV3<'_>

fn id(&self) -> &'static str

Stable identifier, e.g. "loop-seam". Used in config, JSON output, and --select.

fn applicability(&self, _ctx: &CheckCtx<'_>) -> Applicability

Whether this document and configuration declare work for the check.

fn evaluate(&self, _ctx: &CheckCtx<'_>) -> CheckOutput

Evaluate every modelled work unit, returning content findings and explicit coverage. Missing prerequisites are gaps, never findings.

fn prediction_facet_demand_v2( &self, _ctx: &CheckCtx<'_>, ) -> PredictionFacetDemandV2

Bounded V2 facet demand, collected before current-output evaluation.

fn evaluate_with_prediction_allocation_v2( &self, _ctx: &CheckCtx<'_>, allocation: PredictionRuleAllocationV2<'_>, ) -> CheckOutput

Evaluate after the catalog allocator has reserved this check’s slots.

fn enabled_by_default(&self) -> bool

Whether the check runs when its configuration has no explicit severity setting.

fn allows_severity_off(&self) -> bool

Whether an explicitly selected and applicable check may be disabled with severity = "off".