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

Required field a transition sets has no starting value.

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

A required field only transitions change gets its first value from initial::

example
type OrderStage = Enum {    placed    shipped}entity Order {    id: Uuid    stage: OrderStage    lifecycle: {        transitions: {            ship: {                when: stage == OrderStage.placed                set: {                    stage: OrderStage.shipped                }            }        }    }}
jadpo checkcheck failed: 1 error, 1 file

error Order.stage has no starting value

--> main.jadpo:8:5

   | 8 |     stage: OrderStage   |     ^^^^^ required, and only transitions set it12 |             ship: {   |             ---- set here
reason
Only the lifecycle's transitions change stage, so a create can't give it; a required field gets its first value from initial:, and an optional one starts as none.
next
Add stage: <value> to the lifecycle's initial: (agent)
rule
data.lifecycle_initial_required
help
https://jadpo.dev/docs/errors/data.lifecycle_initial_required

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