Struct FileReceipt 

pub struct FileReceipt {
    pub exit_code: i32,
    pub result: String,
    pub text: Option<String>,
    pub error: Option<String>,
    pub bytes: Option<u64>,
    pub sha256: Option<String>,
    pub previous_sha256: Option<String>,
    pub replacements: Option<usize>,
    pub verification: Option<Verification>,
}

What an approved file call did.

Fields

exit_code: i32

result: String

Tool message for Formal AI: the exact text of a read, empty after a change, a JSON error otherwise.

text: Option<String>

Text a read returned.

error: Option<String>

bytes: Option<u64>

sha256: Option<String>

previous_sha256: Option<String>

replacements: Option<usize>

verification: Option<Verification>

Implementations

impl FileReceipt

pub fn evidence(&self) -> Value

Fields of the receipt the evidence keeps (as JavaScript names them).

Trait Implementations

impl Clone for FileReceipt

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 FileReceipt

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

Formats the value using the given formatter.

impl Default for FileReceipt

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for FileReceipt

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FileReceipt