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: HTTP

HTTP · 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 a named query for a GET:

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    }}
text
error: `POST /memos` doesn't say what it runs --> main.jadpo:24:5   |24 |     POST / {   |     ^^^^^^ no `run:`  reason: A route runs one named action, or a named query for a `GET`, with `run:`; 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_requiredcheck failed: 1 error, 1 file

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