Enum ActionPostcondition 

pub enum ActionPostcondition {
    UiElement {
        role: Option<String>,
        label: Option<String>,
        exists: bool,
        value_digest: Option<String>,
    },
    Filesystem {
        path: String,
        exists: bool,
        content_digest: Option<String>,
    },
    Registry {
        path: String,
        name: String,
        exists: bool,
        value_digest: Option<String>,
    },
    Process {
        pid: u32,
        running: bool,
    },
    Window {
        window_id: u64,
        exists: bool,
    },
}

Digest-only expected state independently verified by computer-use-mcp.

Variants

UiElement

Expected UI element state, keyed by role/label with a value digest.

Fields

role: Option<String>

Accessibility role of the element, if specified.

label: Option<String>

Label of the element, if specified.

exists: bool

Whether the element is expected to exist.

value_digest: Option<String>

Digest of the expected value (never the raw value).

Filesystem

Expected filesystem state with a content digest.

Fields

path: String

Path expected to exist or not.

exists: bool

Whether the path is expected to exist.

content_digest: Option<String>

Digest of the expected file contents (never the raw contents).

Registry

Expected registry state with a value digest (Windows).

Fields

path: String

Registry path.

name: String

Value name.

exists: bool

Whether the value is expected to exist.

value_digest: Option<String>

Digest of the expected value (never the raw value).

Process

Expected process state. Can only prove a process is not running.

Fields

pid: u32

Process identifier.

running: bool

Must be false; a running-process assertion is rejected on the wire.

Window

Expected window existence state.

Fields

window_id: u64

Window identifier.

exists: bool

Whether the window is expected to exist.

Trait Implementations

impl Clone for ActionPostcondition

fn clone(&self) -> ActionPostcondition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ActionPostcondition

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ActionPostcondition

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ActionPostcondition

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ActionPostcondition

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 ActionPostcondition