如何在openjson查询中创建一个规范，其中$.codes是一个数字列表？

"codes": [
  1234,
  12345,
  5542
]

我已经有一个where子句，如果数组中存在值，它可以返回true

and EXISTS( Select * from openjson(table.json, '$.codes') where value = 1234)

我已经创建了这个规范来搜索json中的单个值，但是我不知道如何将上面的查询转换成规范

private Specification<EntityObject> searchJson(String key, String value) {
    return (Specification<EntityObject>) (root, query, builder) -> builder.equal(builder.function("JSON_VALUE", String.class, root.<String>get("json"), builder.literal("$."+ key)), value);
  }