Const
The memory-id fields no client body may name — the TCB_ONLY_CREATE_FIELDS doctrine applied to memory: a client that picks its own threadId/resourceId picks whose memory it reads, so these are minted server-side or not at all.
The memory-id fields no client body may name — the TCB_ONLY_CREATE_FIELDS doctrine applied to memory: a client that picks its own threadId/resourceId picks whose memory it reads, so these are minted server-side or not at all.