Struct DomainRejection 

pub struct DomainRejection {
    pub code: RejectionCode,
    pub message_key: String,
    pub details: Box<Value>,
    pub explanation: Option<Box<LocalizedText>>,
    pub argument: Option<String>,
}

A domain refused an act or a command (spec §8.2).

details is application-defined structured data for the UI; it must not be interpolated into logs.

Fields

code: RejectionCode

Stable machine-readable code.

message_key: String

Key of the user-facing message in the application’s copy catalog.

details: Box<Value>

Structured details (field names, limits…).

Boxed for the same reason Self::explanation is: a rejection travels in the Err half of every compile and validate call, so the size of the unhappy path is the size of every call’s return value. A JSON document is the largest thing here and the least often read.

explanation: Option<Box<LocalizedText>>

Why, in words the user can read.

Self::message_key names copy in the application’s own catalog, which is the right shape when an application has one and no use to the runtime when it does not: composition has to write a sentence and cannot resolve a key it knows nothing about. So a rejection may carry its own copy, the way a receipt does.

When it does, the turn tells the user the act was refused and why. When it does not, the turn still says an act was refused, in the runtime’s own words, because the alternative is what this field was added to fix: an assistant that cannot report a failure says something unrelated instead, and the user concludes the write succeeded.

Boxed because a DomainRejection travels inside the Err half of every compile and validate call, and copy is much larger than a code: putting it inline widens the error variant that every one of those returns.

argument: Option<String>

The argument the rejection is about, as a JSON Pointer into the act’s arguments.

Present, the value can be asked for again; absent, the act is refused as it stands.

Implementations

impl DomainRejection

pub fn new( code: impl Into<RejectionCode>, message_key: impl Into<String>, ) -> Self

Builds a rejection without details.

pub fn with_details(self, details: Value) -> Self

Attaches structured details.

pub fn on_argument(self, pointer: impl Into<String>) -> Self

Says the rejection is about one argument, which the user may give again.

pub fn with_explanation(self, explanation: LocalizedText) -> Self

Attaches the sentence the user should read.

Write it the way you write a receipt’s body: server-authored copy, in the languages the workflow answers in. It reaches the user as a notice whether or not a model runs, and the narrator is shown it so its prose does not contradict what the notice says.

Trait Implementations

impl Clone for DomainRejection

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 DomainRejection

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DomainRejection

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for DomainRejection

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

Formats the value using the given formatter.

impl Eq for DomainRejection

impl Error for DomainRejection

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<DomainRejection> for ErasedCallError

fn from(value: DomainRejection) -> Self

Converts to this type from the input type.

impl From<DomainRejection> for OrchestratorError

fn from(value: DomainRejection) -> Self

Converts to this type from the input type.

impl From<DomainRejection> for PlannedActResult

fn from(rejection: DomainRejection) -> Self

Converts to this type from the input type.

impl PartialEq for DomainRejection

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for DomainRejection

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 DomainRejection