Module limits 

2026-09-26: A hardware class’s benchmark limits: the numbers certification and the hardware policies judge a box by, declared in kernels/<hw>/HARDWARE.toml under [benchmarks.limits].

Owner: bench hardware. Invariants:

• limits returns Some only with all four sub-tables present, no unknown key, every float finite, resume below park, positive tolerances, a free fraction inside (0, 1) and non-zero allowances.

The numbers are facts about a box class, so they live beside its other facts rather than in Rust constants. A class without [benchmarks.limits] has no limits, and callers say so rather than borrowing another class’s. HARDWARE.toml is one of the configs hashed into the class’s target closures (gate::taxon::configs), so changing a limit re-opens the class’s gates.

Structs

EquivalenceLimits

2026-09-26: [benchmarks.limits.equivalence]: the non-thermal half of “one box”.

Limits

2026-09-26: [benchmarks.limits] of one hardware class.

MemoryLimits

2026-09-26: [benchmarks.limits.memory].

ThermalEnvelope

2026-09-26: [benchmarks.limits.thermal].

TimingLimits

2026-09-26: [benchmarks.limits.timing], seconds.

Functions

limits

2026-09-26: The limits hardware declares, None when its HARDWARE.toml has no [benchmarks.limits].