Expand description
2026-09-26: Given what each pass produced, decide whether the synchronous and asynchronous routers are the same function of a request. No I/O, so the tests build each failure without a server.
Owner: bench, scheduler-equivalence gate.
Invariants: verdict passes only when every cell has samples, not every
reference reply is empty, nothing is unmeasured, no control diverged and
no async reply diverged.
Structs§
- Cell
- 2026-09-26: One (lane, concurrency) cell: the reference and what was held against it.
- Diff
- 2026-09-26: The reduction of one leg against the reference leg of its cell.
- Leg
- 2026-09-26: One full pass over the draw: a lane, a pass, a concurrency.
- Reply
- 2026-09-26: What one sample produced in one leg.
- Score
Enums§
- Pass
- 2026-09-26: Which of the three passes over a lane a leg is.
- Sample
Verdict - 2026-09-26: One sample, one leg against the reference.
Functions§
- metrics
- 2026-09-26: Raw numbers for the record. Every class is a key even at zero.
- score
- 2026-09-26: Group the legs into cells and reduce each against its sync reference. A cell with no sync reference has zero samples, which the verdict refuses; a cell with no async leg counts every sample unmeasured.
- verdict
- 2026-09-26: The gate’s rule, in order. Anything not proven equal fails, and a control that diverged makes the router’s difference unattributable.
- verdict_
for - 2026-09-26: The comparison rule, the same as
kat_equality::verdict_for: the canonical transcript and the server’s token count.