Module campaign 

Structs

CampaignFailureMetrics 🔒

InvariantCampaignAggregator

Merges worker outputs back into one logical invariant campaign result.

InvariantCampaignSpec

Immutable plan-level description for an invariant campaign.

InvariantCampaignState

Shared state used only to coordinate invariant worker execution.

InvariantWorkerOutput

Output produced by one invariant worker.

InvariantWorkerPlan

Static assignment of a contiguous logical run range to one worker.

Functions

ensure_outputs_cover_campaign 🔒

ensure_worker_ids_are_valid 🔒

fold_outputs 🔒

handler_error_sequence_len 🔒

merge_handler_errors 🔒

Deduplicates handler assertion failures by site, keeping the shorter reproducer. Equal-length reproducers keep the one already inserted, which is the earlier logical worker because the caller folds worker outputs in first_global_run order.

merge_metrics 🔒

Adds worker-local selector metrics into the logical campaign totals.

merge_optimization 🔒

Keeps the best optimization value, using logical run order to break ties.