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

Required field a transition sets has no starting value.

Area 5, Data; 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                }            }        }    }}
text
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_requiredcheck failed: 1 error, 1 file

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