Expand description
2026-09-26: Benchmark groups: one gate satisfied by a complete partition of shard runs.
Owner: bench gate. Invariants:
select_partitionreturns only a partition holding one record per distinct index,countof them, all measured at one commit. It relies on each index being below its count, whichGateRecord::shardensures for the recordscheck_grouppasses.
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§
- Benchmark
Group - 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.
- Shard
Record - 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§
- Group
Fault - 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 equalrecorded_atthe record that comes first inshardsis 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_iditself, since a shard runs under its group’s id.
Type Aliases§
- Partition
Key - 2026-09-26:
(count, commit): what a partition is keyed by. - PerIndex
- 2026-09-26: The newest record per index within one partition.