Struct SandboxSelection 

pub struct SandboxSelection {
    pub service_id: i32,
    pub status: Option<String>,
    pub message_severity: Option<String>,
    pub category: Option<String>,
    pub what: Option<String>,
    pub entry: Option<String>,
    pub max_entries: Option<i64>,
    pub severity: Option<String>,
}

The filter that defines a sandbox: a slice of the parent corpus addressed by independent, intersected task-status and message (severity/category/what) dimensions (Model C), plus optional entry/limit narrowing. Serialized verbatim into the sandbox corpus’s selection JSON.

Fields

service_id: i32

the service whose conversion results are being filtered

status: Option<String>

optional task-status filter (todo | no_problem | warning | error | fatal | invalid) — the task’s status (todo = not yet run). Intersected with the message filter below.

message_severity: Option<String>

optional message-severity filter (info | warning | error | fatal | invalid) — the carve keeps tasks that emitted a message of this severity (any task status). category/what narrow within it.

category: Option<String>

optional message-category narrowing (needs message_severity)

what: Option<String>

optional what narrowing within the category (needs category)

entry: Option<String>

optional substring the parent entry must contain, matched at any position (entry LIKE '%…%'). Include slashes for precision — /2605/ carves exactly the arXiv month (a bare 2605. also matches mid-id paths like …0302605.zip). None/empty = no narrowing.

max_entries: Option<i64>

optional hard cap on how many entries the carve captures — the first n by entry order (deterministic). None/non-positive = no cap.

severity: Option<String>

Legacy (pre-Model-C) single overloaded severity — kept only so selections stored before the status/message split still render their provenance. Never set by new carves.

Implementations

impl SandboxSelection

pub fn filter_summary(&self) -> String

A compact, human-readable summary of the carve filter — e.g. status=no_problem, message=error/missing_file, entry~2506., limit=100. The single source of truth for both the sandbox corpus’s stored description and the provenance surfaced on its corpus page / detail API, so the two never drift. Falls back to the legacy severity for selections stored before the status/message split.

pub fn validate(&self) -> Result<ResolvedFilter, String>

Validates the intersecting task-status and message filters and resolves them for the carve, or returns a human-readable reason. They are independent dimensions (Model C): status matches the task’s outcome; message_severity (+ category/what) matches a log message the task emitted, at any task status — so info+category collects every task that emitted that info message. category needs a message_severity; what needs a category; at least one of the two dimensions must be present. The pre-flight twin of the carve (start_sandbox calls it for an immediate 422).

Trait Implementations

impl Clone for SandboxSelection

fn clone(&self) -> SandboxSelection

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SandboxSelection

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SandboxSelection

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&SandboxRequest> for SandboxSelection

fn from(request: &SandboxRequest) -> Self

Converts to this type from the input type.

impl Serialize for SandboxSelection

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

where __S: Serializer,

Serialize this value into the given Serde serializer.