Enum CheckPolicy 

pub enum CheckPolicy {
    Silent,
    Warn,
    Strict,
}

How a submit-time projection sink reacts when a fail-open condition is encountered.

This is the Swarm IF SoT type for the check_policy axis; the mlua-swarm core crate re-exports it as crate::core::config::CheckPolicy so every existing path (EngineCfg.check_policy, TaskSpec.check_policy, apply_check_policy) keeps its old type path unchanged.

Fail-open conditions include: work_dir / project_root unresolved, OutputStore write error, FileProjectionAdapter::materialize_submission error, and state lookup error. Each call site inside the engine’s materialize_final_submission / materialize_artifact_submission currently logs a tracing::warn! and returns without materializing the file / dual-write; CheckPolicy is the first-class knob that lets a caller opt into a different reaction without changing that behaviour by default.

The three modes are (a) CheckPolicy::Silent — no log, no error, operation continues; (b) CheckPolicy::Warn — log warn (existing message literal preserved), no error, operation continues (the default = pre-existing behaviour); (c) CheckPolicy::Strict — log the same warn AND return EngineError::CheckPolicyStrict (in the core crate) so the caller can fail the step / launch fast. When Strict returns an error, the underlying OutputStore may already have appended (dual-write side-effect is not rolled back) — this “state dirty on fail” semantics is intentional: the append happens before the fail-open branch runs, so Strict surfaces the mismatch instead of hiding it.

The wire form is snake_case ("silent" / "warn" / "strict"); the default is CheckPolicy::Warn.

Variants

Silent

Skip both the log warn and the error path — completely silent. The operation continues (fail-open is still in effect).

Warn

Log a tracing::warn! with the call site’s existing message and continue (fail-open). Default — byte-identical to the pre-CheckPolicy behaviour of every submit-time projection sink code path.

Strict

Log the same warn AND return EngineError::CheckPolicyStrict (the core crate’s error variant). A caller that has opted in can fail the step / launch fast instead of proceeding with a partially-realized submission. This mode also drives a launch-time pre-dispatch validation in TaskLaunchService::launch (the mlua-swarm core crate): a launch whose effective policy resolves to Strict and that supplies neither project_root nor work_dir is rejected with TaskLaunchError::PreDispatch before any step is dispatched, rather than dispatching a step that would deterministically hit this same error at its first submit-time file materialize.

Trait Implementations

impl Clone for CheckPolicy

fn clone(&self) -> CheckPolicy

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for CheckPolicy

impl Debug for CheckPolicy

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for CheckPolicy

fn default() -> CheckPolicy

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for CheckPolicy

fn deserialize<__D>( __deserializer: __D, ) -> Result<CheckPolicy, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CheckPolicy

impl JsonSchema for CheckPolicy

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl PartialEq for CheckPolicy

fn eq(&self, other: &CheckPolicy) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for CheckPolicy

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for CheckPolicy