Struct ExecResponse 

pub struct ExecResponse {
    pub local_or_remote: ExecutionLocation,
    pub selected_worker: Option<String>,
    pub is_compilation: bool,
    pub family: Option<String>,
    pub reason_code: Option<IncidentReasonCode>,
    pub admission: Option<AdmissionRejectionSummary>,
    pub disposition: ExecDisposition,
    pub proof_mode: bool,
    pub remediation: Vec<Recommendation>,
    pub control: ControlState,
    pub detail: String,
}

The composite rch exec machine response.

Fields

local_or_remote: ExecutionLocation

Definite execution location.

selected_worker: Option<String>

The worker, present iff local_or_remote == Remote.

is_compilation: bool

Whether the command classified as a compilation.

family: Option<String>

Compilation family (e.g. cargo_build), when classified.

reason_code: Option<IncidentReasonCode>

Decisive incident reason code, when there is one.

admission: Option<AdmissionRejectionSummary>

Aggregated admission rejection summary, when admission was attempted.

disposition: ExecDisposition

The exec-policy disposition that produced this outcome.

proof_mode: bool

Whether proof/strict mode was in force.

remediation: Vec<Recommendation>

Next-action remediation (may be empty on success).

control: ControlState

Canonical placement control snapshot (requested_worker, strict_remote_policy, queue_policy, visibility_mode, wait_timeout_ms, target_dir_policy). Omitted from the wire form when no control was explicitly set, so the simple-success contract is unchanged. selected_worker above is the effective worker — the pairing of requested-vs-effective is what makes a steered build visible rather than a silent swap (bd-…remediation-ocv9i.13.5).

detail: String

Concise human/agent-facing detail.

Implementations

impl ExecResponse

pub fn invariant_holds(&self) -> bool

The contract invariant: a worker is recorded iff the location is remote.

pub fn remote_success( worker: impl Into<String>, family: impl Into<String>, ) -> Self

A successful remote execution on worker.

pub fn local_fallback( is_compilation: bool, reason_code: IncidentReasonCode, detail: impl Into<String>, ) -> Self

A local fallback (with the reason it fell back).

pub fn proof_refused(admission: AdmissionRejectionSummary) -> Self

A fail-closed proof refusal (nothing ran), with the admission summary and derived remediation.

pub fn non_compilation_rejected() -> Self

An explicit proof-mode non-compilation rejection.

pub fn daemon_unavailable() -> Self

Daemon unavailable — fell back to local (fail-open).

pub fn with_control(self, control: ControlState) -> Self

Attach the canonical placement control snapshot.

pub fn effective_worker(&self) -> Option<&str>

The effective worker the command ran on (an alias for selected_worker, named to pair with the control’s requested_worker).

Trait Implementations

impl Clone for ExecResponse

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecResponse

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExecResponse

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ExecResponse

impl PartialEq for ExecResponse

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ExecResponse

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ExecResponse