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

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]    }}

jadpo checkcheck failed: 1 error, 2 files

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_invalid