Compute stock is at most a declared amount

Mechanisms

• R1Chip registries and manufacturing recordsprimary
  Gives a baseline of which chips were made and who declared owning them.
• R1Hardware performance throttling and licensingsupporting
  A verified performance cap bounds the effective capacity of declared hardware; needs attestation that the cap is active.
• R1Remote detection of data centressupporting
  Estimates the power capacity, and so roughly the compute, of observed facilities.