Handling of false in then or else

[Zash]

I noticed that our JSON Schema implementation is doing a simple check for the not, then and else keywords, meaning a schema like {"not":false} would be treated exactly like {}.
I imagine this should matter in some conditions but I can't quite get my head around the double negatives needed.
This does not seem to have been caught by the draft2020-12 tests as of 7950d9e and I see no changes since then to not.json or `if-then-else.json

[zaplapl]

I'd be happy to pick this up.

The behaviour defined in the tests for "not" is pretty explicit - and seems to be what you describe.

Can you help by describing some cases where it's a problem that, as you say, a schema like {"not":false} would be treated exactly like {}?