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: Built-in services

Built-in services · rule

data.file_field_invalid

A File field's store, size or types are missing or wrong.

Area 16, Built-in services; not declinable; the next step is usually the agent's.

A File field says where its bytes are kept, store: naming a connection that provides files, and how many it holds, max_size:; types:, when given, lists FileType's variants. A field whose store: names the database is refused:

example
/// A supplier's price sheet, kept as it was sent.entity PriceSheet {    id: Uuid    sheet: File {        store: main        max_size: 5mb    }    policy: {        create: [Access.public]        read: [Access.public]    }}
text
error: `PriceSheet.sheet`'s `store:` isn't a store of files --> domains/bakery/entities/price_sheet.jadpo:5:16  |5 |         store: main  |                ^^^^ not a `files` connection  reason: A `File` field's `store:` names a connection that provides `files`; `main` is a connection that keeps no files, and `app.jadpo` declares `sheets`.  next: Write `store: sheets` (agent)  rule: data.file_field_invalid  help: https://jadpo.dev/docs/errors/data.file_field_invalidcheck failed: 1 error, 2 files

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