Module hostile_benchmark 

Claim-bounded scoring and receipt invariants for the hostile memory benchmark. Claim-bounded receipt types and invariant scoring for the hostile memory benchmark.

Structs

BenchmarkReceipt

MetricCounts

MetricThresholds

ReceiptSummary

ScenarioReceipt

Enums

ScenarioStatus

Functions

evaluate_receipt

Recomputes summary fields; not_tested is never counted as a pass.