Type Alias LeanCapabilityPreflight 

pub type LeanCapabilityPreflight = LeanRuntimePreflight;

Backwards-compatible alias for LeanRuntimePreflight.

The struct was renamed when the static manifest-validation half moved to lean-toolchain; this alias preserves the historical public path.

Aliased Type

pub struct LeanCapabilityPreflight { /* private fields */ }