Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 30 Oct 2026. What's built · Install 0.1.0
jadpo
Reference: Data

Data · rule

data.generated_type

Generated field is not a required Instant.

Area 5, Data; not declinable; the next step is usually the agent's.

example
entity Note {    id: Uuid    created_on: CalendarDate {        generated: Generated.on_create    }}
text
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_typecheck failed: 1 error, 1 file

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