Struct TestbenchReport 

pub struct TestbenchReport {
    pub kind: String,
    pub created_at: String,
    pub lean_ctx_version: String,
    pub model: ModelFingerprint,
    pub budget_tokens: usize,
    pub lock_digest: String,
    pub determinism_digest: String,
    pub verdict: Verdict,
    pub repos: Vec<RepoReport>,
}

The aggregate attestation written by a run.

Fields

kind: String

created_at: String

lean_ctx_version: String

model: ModelFingerprint

budget_tokens: usize

lock_digest: String

determinism_digest: String

Machine-independent digest over every repo’s evidence (no walltime, no clock).

verdict: Verdict

Worst per-repo verdict — drives the CI gate.

repos: Vec<RepoReport>

Implementations

impl TestbenchReport

pub fn gate_passes(&self) -> bool

Whether the CI quality gate should pass (no repo regressed).

pub fn to_json(&self) -> String

Pretty JSON for the machine-readable artifact.

Trait Implementations

impl Clone for TestbenchReport

fn clone(&self) -> TestbenchReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TestbenchReport

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TestbenchReport

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for TestbenchReport

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for TestbenchReport

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 TestbenchReport