Module group

Module group 

Source
Expand description

2026-09-26: Benchmark groups: one gate satisfied by a complete partition of shard runs.

Owner: bench gate. Invariants:

  • select_partition returns only a partition holding one record per distinct index, count of them, all measured at one commit. It relies on each index being below its count, which GateRecord::shard ensures for the records check_group passes.

A group id is a gate id: coverage::REQUIRED, BENCH.toml and .github/pr-taxonomy.json name it, and every shard is that benchmark run with --param shard=i/n, filed under the group. check_one hands a group id to check_group, which skips whole-draw records, judges each shard of the chosen partition by the per-record rules of a plain gate record (required subject, still standing, run status, clean tree, signature), refuses a shard with transport failures or without per-subset tallies, and sums per-subset counts (crate::benchmarks::bfcl::aggregate) rather than averaging shard scores.

The aggregate is exact over its shards’ counts, but shards need not answer as the whole draw run in one order would: the samples measured to differ are listed in crate::benchmarks::bfcl::sensitive, and a run records how many it scored as known_partition_sensitive.

Structs§

BenchmarkGroup
2026-09-26: A gate whose measurement is produced by a partition of shard runs.
Partition
2026-09-26: The chosen partition: its shard count, the one commit it was measured at, and the caller’s handles in index order.
ShardRecord
2026-09-26: One shard record, as the partition rule sees it: which slice it measured, at which commit, when, and the caller’s handle to the record.

Enums§

GroupFault
2026-09-26: Why a group is not satisfied.

Constants§

GROUPS
2026-09-26: Every group.

Functions§

find
2026-09-26: The group a benchmark id names, if any.
held_by
2026-09-26: Per (count, commit), the newest record per index. On equal recorded_at the record that comes first in shards is kept.
select_partition
2026-09-26: The newest complete partition among shards, or why there is none.
serve_baseline_id
2026-09-26: Which id’s BENCH.toml entry describes how to run this benchmark: benchmark_id itself, since a shard runs under its group’s id.

Type Aliases§

PartitionKey
2026-09-26: (count, commit): what a partition is keyed by.
PerIndex
2026-09-26: The newest record per index within one partition.