Records cover only chips that were recorded

A registry or commitment accounts only for chips entered into it. Cankaya asks how a verifier would know it had found all chips, or how much "dark compute" remains, and notes that a fraudulent original record would mean unregistered chips had been made in advance ³. Halstead and Larsen propose reconstructing earlier production by auditing upstream suppliers ⁷.