Struct Receipt 

pub struct Receipt {

    pub schema: String,
    pub task: String,
    pub model: String,
    pub finished_ms: i64,
    pub iters: u32,
    pub tools_called: u32,
    pub input_tokens: u32,
    pub output_tokens: u32,
    pub passed: bool,
    pub checked: bool,
    pub reason: String,
    pub contract: SealSet,
    pub seal_breach: Option<String>,
    pub audit_request: Option<String>,
    pub digest: String,
}

The one-page account of a run.

Fields

schema: String

Schema marker, so a reader can refuse a shape it does not know rather than silently misread one.

task: String

What was asked.

model: String

Model handle that answered, as the provider names it.

finished_ms: i64

Wall-clock, milliseconds since the epoch. Supplied by the caller — this crate does not read the clock, so a receipt is reproducible in tests.

iters: u32

tools_called: u32

input_tokens: u32

output_tokens: u32

passed: bool

true only when a check was asked and agreed. false covers both “checked and refused” and “nobody looked” — Self::checked distinguishes them, and the distinction matters more than the flag.

checked: bool

Whether any acceptance check ran at all.

reason: String

Why it failed, verbatim from the check. Empty on a pass.

contract: SealSet

The sealed contract, path → digest, as it stood before the first turn.

seal_breach: Option<String>

Set when a sealed file moved during the run. A receipt carrying this is evidence of tampering, not of work.

audit_request: Option<String>

The audit.request id, when the host runs an audit trail. Follow it to the full record; the receipt is the summary, not the evidence itself.

digest: String

Hash over every field above. See the module docs for what it proves.

Implementations

impl Receipt

pub fn compute_digest(&self) -> String

Hash of every field but digest itself.

Over the serialised form with the field cleared, rather than over a hand-written concatenation: a concatenation drifts the moment a field is added and starts silently covering less than it claims to.

pub fn intact(&self) -> bool

Whether the receipt still matches its own digest.

pub fn summary(&self) -> String

One line, for a build log or a PR comment.

pub fn write_json(&self, path: impl AsRef<Path>) -> Result<()>

pub fn read_json(path: impl AsRef<Path>) -> Result<Self>

Trait Implementations

impl Clone for Receipt

fn clone(&self) -> Receipt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Receipt

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Receipt

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Receipt

impl PartialEq for Receipt

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Receipt

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 Receipt