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_section

Lifecycle has a section it doesn't take, or lacks one it needs.

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

A lifecycle holds visible:, initial:, transitions: and purge:, each once; a transition holds when: and set:, and purge: holds after: and since::

example
entity Todo {    id: Uuid    deleted_at: Instant?    lifecycle: {        visible: deleted_at == none        hidden: deleted_at != none    }}
text
error: `hidden` isn't part of a lifecycle --> main.jadpo:7:9  |7 |         hidden: deleted_at != none  |         ^^^^^^ not a section here  reason: A lifecycle holds `visible:`, `initial:`, `transitions:` and `purge:`.  next: Remove `hidden` from the lifecycle (agent)  rule: data.lifecycle_section  help: https://jadpo.dev/docs/errors/data.lifecycle_sectioncheck failed: 1 error, 1 file

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