Verifies work with secure hardware and proofs
Checks work too costly to repeat, using secure enclaves and zero-knowledge proofs. Joining takes a bond.
This module does not report capacity.
Its verdict has not changed over the days the network keeps.
No other module depends on it.