Function build_invariant_progress_json 

fn build_invariant_progress_json<M: Serialize>(
    timestamp_secs: u64,
    invariant_name: &str,
    corpus_metrics: &M,
    optimization_best: Option<I256>,
    throughput: InvariantThroughputMetrics,
    failure_metrics: &InvariantFailureMetrics,
    elapsed: Duration,
) -> Value

Builds the machine-readable invariant progress payload emitted during a campaign.

This keeps the existing corpus progress metrics together with cumulative and derived throughput fields so downstream benchmark tooling can consume a single JSON event shape.