How to restrict OIDC on AWS from a context

Hello,

The document " Using OpenID Connect Tokens in Jobs" describes how to setup OIDC with AWS, and topic 44226 is a great guide.
The former page also documents an additional claim for context-ids, and I would like to restrict the trust policy of the IAM role with a specific context UUID. I cannot find the right syntax.

Has anyone tried?

Thanks