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

type.file_read_too_large

A whole read of a file field that can hold more than 10 MB.

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

store.read reads a whole file into memory, so it reads a field only when its max_size: is 10 MB or less; a file's rows, of any size, are read a batch at a time by the format helpers:

example
use app { sheets }use bakery/entities { PriceSheet }/// A price sheet's bytes, whole.action sheet_bytes(sheet: PriceSheet.sheet) -> FileContents {    return sheets.read(sheet)}
text
error: `sheets.read` can't read `PriceSheet.sheet` whole --> domains/bakery/actions/sheet_bytes.jadpo:6:24  |6 |     return sheets.read(sheet)  |                        ^^^^^ holds up to 50 MB  reason: `sheets.read` reads a whole file into memory, for passing its bytes on, so it reads at most 10 MB; `PriceSheet.sheet` holds up to 50 MB. A file's rows, of any size, are read a batch at a time by the format helpers (`csv.read`, `tsv.read`, `json_lines.read`).  next: Read `PriceSheet.sheet`'s rows with a format helper, such as `csv.read`, or keep its `max_size:` at 10 MB or less if `sheets.read` is what it needs (agent)  rule: type.file_read_too_large  help: https://jadpo.dev/docs/errors/type.file_read_too_largecheck failed: 1 error, 3 files

Markdown for agents: /docs/errors/type.file_read_too_large.md.Built from Jadpo main at a707efb.