{
  "key_schedule": {
    "envelope": "AES-256-GCM, key = SHA256(label || material), nonce as given, AAD = label, 16-byte tag.",
    "veil.bin": "label 'NF2|E2', material = the 32 bytes recovered from ouroboros.json. File = 4-byte big-endian header length, JSON header, npz data"
  },
  "veil_file": {
    "nonce": "M8UI1Ax4jjVsugVl",
    "tag": "04ivcMkdJcpgBKZe7LidrA==",
    "file": "veil.bin"
  }
}