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.item_unknown

Route or route group item is not one it takes.

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

A route holds authentication: (area 8), input:, output:, status:, deadline:, run:, rate_limit: and settle:; success:, query:, path: and headers: are not route items:

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        run: add_memo(input)        success: SuccessStatus.created    }}
text
error: `success` isn't something a route holds --> main.jadpo:28:9   |28 |         success: SuccessStatus.created   |         ^^^^^^^ unknown item  reason: `success:` is now `status:`, which takes a `SuccessStatus`. A route holds `authentication`, `rate_limit`, `input`, `output`, `status`, `deadline`, `run` and `settle`.  next: Use `status` instead of `success` (agent)  rule: route.item_unknown  help: https://jadpo.dev/docs/errors/route.item_unknowncheck failed: 1 error, 1 file

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