ErrorsReads and writes · rule
data.set_generated_field
Write sets a field the store generates.
Area 6, Reads and writes; not declinable; the next step is usually the agent's.
type Title = Text { max_length: 80}entity Note { id: Uuid title: Title written_at: Instant { generated: Generated.on_create }}action jot_down(title: Note.title, at: Note.written_at) -> Note { return Note.create { set: { title: title written_at: at } }}
error Note.create sets written_at, which the store generates
--> main.jadpo:17:13
|17 | written_at: at | ^^^^^^^^^^ generated
- reason
Note.written_atis generated from the operation's clock; code never assigns it.- next
- Remove
written_atfromset:(agent) - rule
- data.
set_ generated_ field - help
- https://jadpo.
dev/docs/errors/data. set_ generated_ field
Markdown for agents: /docs/errors/data.set_generated_field.md.Built from Jadpo main at aee2e8f.