Data · rule
data.lifecycle_unknown_field
Lifecycle names a field the entity doesn't have.
Area 5, Data; not declinable; the next step is usually the agent's.
Every field a lifecycle names is one of the record's own:
entity Todo { id: Uuid deleted_at: Instant? lifecycle: { visible: deletd_at == none }}
error: `Todo` has no field `deletd_at` --> main.jadpo:6:18 |6 | visible: deletd_at == none | ^^^^^^^^^ not declared reason: A lifecycle names the fields of the record it is written in, and `Todo`'s fields are `id` and `deleted_at`. Did you mean `deleted_at`? next: Use `deleted_at` instead of `deletd_at` (agent) rule: data.lifecycle_unknown_field help: https://jadpo.dev/docs/errors/data.lifecycle_unknown_fieldcheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/data.lifecycle_unknown_field.md.Built from Jadpo main at a707efb.