Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 5 Nov 2026. What's built · Install 0.3.0
jadpo
ReferenceErrors

ErrorsEntities, stores and migrations · rule

data.unique_nullable_field

Unique rule includes a field that can be none.

Area 5, Entities, stores and migrations; not declinable; the next step is usually the agent's.

example
entity Account {    id: Uuid    tenant: Text    handle: Text?    unique: {        tenant_handle: [tenant, handle]    }}
jadpo checkcheck failed: 1 error, 1 file

error Account.handle can be none

--> main.jadpo:7:33

  |7 |         tenant_handle: [tenant, handle]  |                                 ^^^^^^ optional field
reason
The fields of a unique rule over several fields must be required, so every engine agrees on what a duplicate is.
next
Make handle required, or leave it out of tenant_handle (agent)
rule
data.unique_nullable_field
help
https://jadpo.dev/docs/errors/data.unique_nullable_field

Markdown for agents: /docs/errors/data.unique_nullable_field.md.Built from Jadpo main at aee2e8f.