Skip to content

The paths of the Rust executable that scale with the repository carry criterion benchmarks that build on every push, and every executable capability declares its benchmark policy, required or waived for a typed reason

The work that grows with the repository is measured, not assumed: the YAML subset and front matter parse of one object, one glob match, the index built from a filesystem walk, the registry composed over it, the OpenAPI document, one MCP resources/list and one capability call (benches/projections.rs); the router, the bridge and the shared server over a real socket (benches/shared.rs). Every benchmark is a criterion target declared in Cargo.toml without the default harness, and CI builds them on every push so a hot path cannot lose its measurement silently. Separately, every executable capability carries a benchmark policy: required with the cases its input type provides, or waived with a typed reason; a resource is waived as not_executable.

declared statusdeclared status: guaranteed Declared deterministic and blocking, implemented, and naming the behavioural test that is to prove it. Whether a recorded run supports it is the evidence verdict, shown beside it.

recorded evidencerecorded evidence: not run Declared guaranteed, and not supported by a recorded run: the test is named, and no passing run of the current inputs is recorded. how evidence is recorded

The YAML subset and front matter, glob matching, the index, the registry, the OpenAPI document, one MCP listing and one capability call (benches/projections.rs); the router, the bridge and the shared server (benches/shared.rs). Numbers are reported, not asserted; no latency budget is promised until one is measured on CI. The capability! macro does not compile an executable without benchmark cases, the registry counts the required and the waived, and the case reads the policy of every executable back through capabilities list.

What it means

The work that grows with the repository is measured, not assumed: the YAML subset and front matter parse of one object, one glob match, the index built from a filesystem walk, the registry composed over it, the OpenAPI document, one MCP resources/list and one capability call (benches/projections.rs); the router, the bridge and the shared server over a real socket (benches/shared.rs). Every benchmark is a criterion target declared in Cargo.toml without the default harness, and CI builds them on every push so a hot path cannot lose its measurement silently. Separately, every executable capability carries a benchmark policy: required with the cases its input type provides, or waived with a typed reason; a resource is waived as not_executable.

How it works

[[bench]] entries in apps/majordomus-cli/Cargo.toml name each file under benches/ with harness = false; cargo bench --no-run in scripts/rust-check and in the rust job compiles them. The capability! macro takes the benchmark cases from the input type's BenchmarkCases implementation, so an executable without cases does not compile; the registry counts benchmark_required and benchmark_waived, and capabilities list --format json carries the policy of every capability. test/cases/77_rust_evidence.sh checks the [[bench]] entries against the files, that every path the rule names has a benchmark, builds the benchmarks when a toolchain is present, and reads the policy of every executable back through the built executable.

How to see it

just bench                               # every criterion target; `just bench shared` runs one
just bench projections
apps/majordomus-cli/target/debug/majordomus capabilities list --format json | jq '.capabilities[] | select(.kind != "resource") | {id, benchmark}'
apps/majordomus-cli/target/debug/majordomus capabilities list --format json | jq '.summary'

What it does not cover

Numbers are reported, not asserted: CI builds the benchmarks and does not run them, and no latency budget is promised until one is measured on CI's own hardware. The declared cases of the executables run as tests today; timing every capability directly and over each transport with a baseline and a check is the benchmark projection, which is its own claim when it lands. A benchmark of the shell tool's commands is bench in the shell tool, not this crate.

Why it exists

The operator asked that benchmarks exist and be enforced. A benchmark that nobody builds rots with the API it measured; one that CI compiles on every push is at least always true to the code, and one that the suite can name is one that cannot be dropped in a refactor. The rule project.rust-cli-evidence names the paths that must be measured; this claim and the case hold the list.

Detail rendered from docs/claims/rust-hot-path-benchmarks.md.

From the statement to the proof

  1. 1 · the public statement

    The paths of the Rust executable that scale with the repository carry criterion benchmarks that build on every push, and every executable capability declares its benchmark policy, required or waived for a typed reason

    Made on Benchmarks.

  2. 2 · the canonical claim

    rust-hot-path-benchmarksdeclared status: guaranteed in docs/CLAIMS.yaml

    Defined in .ai/repo/rules/project/rust-cli-evidence.v1.md

  3. 3 · the implementation

    apps/majordomus-cli/benches/projections.rs

  4. 4 · the test and the scenarios

    Test: test/cases/77_rust_evidence.sh

    Executed in Prove the tool is fast, not assume it, and refuse a regression.

  5. 5 · the recorded runs

    recorded evidence: not run how evidence is recorded

Verify it yourself

The test runs in a disposable temporary repository and asserts the behaviour, not a string in the source.

from a clone of the repository
bash test/run.sh 77_rust_evidence

Where this claim is used

The moments this answers

Searches the titles and descriptions of every page this site publishes.