Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 5 Nov 2026. What's built · Install 0.3.0
jadpo
ReferenceErrors

ErrorsHTTP · rule

route.run_required

Route does not say what it runs.

Area 7, HTTP; not declinable; the next step is usually the agent's.

A route runs a named action, or for a GET a named query or an action that only reads:

example
type Memo = Text {    max_length: 200}type MemoId = Uuid {}type AddMemo = Input {    text: Memo}type MemoView = Output {    text: Memo}action add_memo(input: AddMemo) -> MemoView {    return MemoView {        text: input.text    }}routes Memos {    prefix: /memos    POST / {        input: AddMemo        output: MemoView    }}
jadpo checkcheck failed: 1 error, 1 file

error POST /memos doesn't say what it runs

--> main.jadpo:24:5

   |24 |     POST / {   |     ^^^^^^ no `run:`
reason
A route runs one named action with run:, or for a GET a named query or an action that only reads; the logic lives there, not in the route.
next
Add run: <action>(...) (agent)
rule
route.run_required
help
https://jadpo.dev/docs/errors/route.run_required

Markdown for agents: /docs/errors/route.run_required.md.Built from Jadpo main at aee2e8f.