Additional Properties doesn't restrict fields

[Sicria]

Bug report

• I confirm this is a bug with Supabase, not with my own application.
• I confirm I have searched the Docs, GitHub Discussions, and Discord.

Describe the bug

Check the tests it shows an example of using additionalProperties but upon trying it out, it doesn't actually restrict the properties correctly.

To Reproduce

Running the following query should return false but it returns true.

select
  extensions.jsonb_matches_schema(
    schema := '{
                "type": "object",
                "properties": {
                    "foo": {
                        "type": "string"
                    },
                    "bar": {
                        "type": "number"
                    },
                    "baz": {
                        "type": "boolean"
                    },
                    "additionalProperties": false
                }
            }',
    instance := '{"foo2": 1, "bar2": [], "baz2": "1"}'
  );

Expected behavior

I would expect it to return false as the object contains properties that aren't defined in the schema.

It also appears that there's no support for required fields? (eg. "required": ["foo"])

Invalid schema: ValidationError { instance: Array [String("foo")], kind: Type { kind: Multiple(PrimitiveTypesBitMap { inner: 34 }) }, instance_path: JSONPointer([Property("properties"), Property("required")]), schema_path: JSONPointer([Keyword("type")]) }

[olirice]

Additional properties need to be specified 1 level higher, rather than inside the properties key.

So your example would become:

select
    jsonb_matches_schema(
    schema := '{
                "type": "object",
                "additionalProperties": false,
                "properties": {
                    "foo": {
                        "type": "string"
                    },
                    "bar": {
                        "type": "number"
                    },
                    "baz": {
                        "type": "boolean"
                    }
                }
            }',
    instance := '{"foo2": 1, "bar2": [], "baz2": "1"}'
  );

Closing this out, but lmk if you have any trouble getting it working

[Sicria]

Appreciate the help, not sure how I didn't stumble on that whilst debugging.

Would it be worth updating this test to match the correct placement? https://github.com/supabase/pg_jsonschema/blob/master/src/lib.rs#L184C32-L184C32

Also, any chance of adding support for required? Happy to make a new feature request if you'd prefer.

[olirice]

is “required” not the same solution?

if not (I’m not in front of a computer), yes, please open a new issue with reproduction case

thanks!