Skip to content

Add a glossary and move agent instructions to AGENTS.md - #1025

Merged
epompeii merged 6 commits into
develfrom
docs/glossary
Aug 30, 2026
Merged

Add a glossary and move agent instructions to AGENTS.md#1025
epompeii merged 6 commits into
develfrom
docs/glossary

Conversation

@epompeii

Copy link
Copy Markdown
Member

Bencher's working vocabulary now lives in the repo. docs/glossary.md defines
the dimensions and units in one place: the terms the documentation already
defines are quoted from Benchmarking Concepts,
and the terms the benchmark parameters work introduces (Parameter Set,
Variant, Series, Line, Permutation) are proposed here for refinement before
they harden.

The agent instructions move from CLAUDE.md to AGENTS.md, with CLAUDE.md
left as a symlink, in every directory that carries one, and the root
AGENTS.md points at the glossary.

@github-actions

github-actions Bot commented Aug 29, 2026

Copy link
Copy Markdown
Contributor

馃惏 Bencher Report

ProjectBencher
Branchdocs/glossary
Testbedintel-v1
Click to view all benchmark results
BenchmarkLatencyBenchmark Result
microseconds (碌s)
(Result 螖%)
Upper Boundary
microseconds (碌s)
(Limit %)
Adapter::Json馃搱 view plot
馃毞 view threshold
5.21 碌s
(+10.20%)Baseline: 4.72 碌s
5.36 碌s
(97.13%)
Adapter::Magic (JSON)馃搱 view plot
馃毞 view threshold
5.03 碌s
(+9.69%)Baseline: 4.59 碌s
5.16 碌s
(97.47%)
Adapter::Magic (Rust)馃搱 view plot
馃毞 view threshold
27.05 碌s
(+4.15%)Baseline: 25.97 碌s
27.74 碌s
(97.49%)
Adapter::Rust馃搱 view plot
馃毞 view threshold
4.65 碌s
(+28.57%)Baseline: 3.62 碌s
4.89 碌s
(95.10%)
Adapter::RustBench馃搱 view plot
馃毞 view threshold
4.64 碌s
(+28.37%)Baseline: 3.61 碌s
4.88 碌s
(95.13%)
馃惏 View full continuous benchmarking report in Bencher

Bencher's working vocabulary now lives in the repo. The terms the
documentation already defines are quoted from Benchmarking Concepts, and
the terms the benchmark parameters work introduces are marked as proposed
so they can be refined before they harden.
@epompeii
epompeii marked this pull request as ready for review August 30, 2026 18:07
@epompeii
epompeii merged commit e468940 into devel Aug 30, 2026
50 checks passed
@epompeii
epompeii deleted the docs/glossary branch August 30, 2026 18:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant