DefaultKeyDescription

The statement you get when nothing is specified: an empty KeyMint 4.0 statement in a TEE.

The single source of the generator's defaults — AttestationSpec, the DSL and the JSON codec all fall back to exactly these values.