Trait Check 

pub trait Check: Send + Sync {
    // Required methods
    fn id(&self) -> &str;
    fn name(&self) -> &str;
    fn category(&self) -> CheckCategory;
    fn run<'life0, 'life1, 'async_trait>(
        &'life0 self,
        ctx: &'life1 mut CheckContext,
    ) -> Pin<Box<dyn Future<Output = Vec<CheckResult>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait;
}

Trait that all audit checks implement.

Required Methods

fn id(&self) -> &str

Unique check ID (e.g., “CONF-001”).

fn name(&self) -> &str

Human-readable name.

fn category(&self) -> CheckCategory

Category of this check.

fn run<'life0, 'life1, 'async_trait>( &'life0 self, ctx: &'life1 mut CheckContext, ) -> Pin<Box<dyn Future<Output = Vec<CheckResult>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Run the check. May return multiple findings.

Implementors

impl Check for DeterministicErrorSemantics

impl Check for IdempotencyBaseline

impl Check for SchemaOutputAlignment

impl Check for CapabilityNegotiation

impl Check for ErrorCodeCorrectness

impl Check for InitializeCapabilities

impl Check for InitializedNotificationOrder

impl Check for JsonRpcStructure

impl Check for MalformedRequestHandling

impl Check for ProtocolVersionValidation

impl Check for ToolInputSchemaValid

impl Check for ToolsListValid

impl Check for UnknownMethodHandling

impl Check for ErrorLeakageDetection

impl Check for PromptInjectionEchoSafety

impl Check for ResourceExhaustionGuardrail

impl Check for ToolParameterBoundaryValidation