Struct Summary 

pub struct Summary {
    pub schema_version: u32,
    pub reason_code_version: u32,
    pub exit_code: i32,
    pub reason_code: String,
    pub message: Option<String>,
    pub next_step: Option<String>,
    pub provenance: Provenance,
    pub results: Option<ResultsSummary>,
    pub performance: Option<PerformanceMetrics>,
    pub seeds: Seeds,
    pub judge_metrics: Option<JudgeMetrics>,
    pub sarif: Option<SarifOutputInfo>,
}

Machine-readable summary for the PR gate

See: SPEC-PR-Gate-Outputs-v1.md for the full contract. Downstream MUST branch on (reason_code_version, reason_code) rather than exit code.

Fields

schema_version: u32

Schema version for compatibility detection

reason_code_version: u32

Version of the reason code registry. MUST be 1 for Outputs-v1. Downstream MUST branch on (reason_code_version, reason_code) rather than exit code.

exit_code: i32

Exit code: 0=pass, 1=test failure, 2=config error, 3=infra error

reason_code: String

Stable machine-readable reason code (e.g., “E_TRACE_NOT_FOUND”)

message: Option<String>

Human-readable message describing the outcome

next_step: Option<String>

Suggested next step when exit_code != 0

provenance: Provenance

Provenance information for auditability

results: Option<ResultsSummary>

Results summary

performance: Option<PerformanceMetrics>

Performance metrics (optional)

seeds: Seeds

Seeds for deterministic replay (E7.2). Always present for schema stability (order_seed/judge_seed null when unknown).

judge_metrics: Option<JudgeMetrics>

Judge reliability metrics (E7.3). Present when run had judge evaluations.

sarif: Option<SarifOutputInfo>

SARIF truncation (E2.3). Present when SARIF was truncated (N results omitted).

Implementations

impl Summary

pub fn success(assay_version: &str, verify_enabled: bool) -> Self

Create a success summary

pub fn failure( exit_code: i32, reason_code: &str, message: &str, next_step: &str, assay_version: &str, verify_enabled: bool, ) -> Self

Create a failure summary with reason code and next step

pub fn with_results(self, passed: usize, failed: usize, total: usize) -> Self

Set results summary

pub fn with_duration(self, duration_ms: u64) -> Self

Set performance metrics

pub fn with_performance(self, performance: PerformanceMetrics) -> Self

Set full performance metrics payload.

pub fn with_digests( self, policy_digest: Option<String>, baseline_digest: Option<String>, trace_digest: Option<String>, ) -> Self

Set provenance digests

pub fn with_replay_provenance( self, bundle_digest: String, replay_mode: &str, source_run_id: Option<String>, ) -> Self

Set replay provenance fields (E9c).

pub fn with_seeds( self, order_seed: Option<u64>, judge_seed: Option<u64>, ) -> Self

Set seeds for replay determinism (E7.2). Keys always present in JSON (string or null).

pub fn with_judge_metrics(self, metrics: JudgeMetrics) -> Self

Set judge reliability metrics (E7.3)

pub fn with_sarif_omitted(self, omitted: u64) -> Self

Set SARIF truncation info (E2.3). Call when omitted_count > 0.

Trait Implementations

impl Clone for Summary

fn clone(&self) -> Summary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Summary

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Summary

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Summary

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.