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.generated_type

Generated field is not a required Instant.

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

example
entity Note {    id: Uuid    created_on: CalendarDate {        generated: Generated.on_create    }}
jadpo checkcheck failed: 1 error, 1 file

error Note.created_on can't be generated

--> main.jadpo:4:9

  |4 |         generated: Generated.on_create  |         ^^^^^^^^^ not an `Instant`
reason
A generated field is a required Instant set from the operation's clock, on create or on every change; code never assigns it.
next
Type created_on as Instant, or remove generated: (agent)
rule
data.generated_type
help
https://jadpo.dev/docs/errors/data.generated_type

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