Module compare 

2026-09-26: Given what each order produced, decide whether every reply is a function of its own request. The driver does the requests; this module does no I/O, so the tests construct each failure without a server.

Owner: bench, kat_equality. Invariants:

• verdict passes only with at least two orders, at least one sample, not every reference reply empty, and every sample Equal.

Structs

Observation

2026-09-26: What one sample produced under one order.

OrderRun

2026-09-26: One full pass over the sample set, in one order.

Score

2026-09-26: The reduction the verdict and the report both read.

Enums

SampleVerdict

2026-09-26: What happened to one sample_id across every order.

Functions

permutation

2026-09-26: The order a sample set is issued in, as indices into it.

score

2026-09-26: Compare every sample of order 0 against every other order. Order 0 is the reference.

verdict

2026-09-26: The gate’s rule, in order. Anything not proven equal fails.

verdict_for

2026-09-26: One sample’s verdict across the non-reference orders.