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

Route settle: is not an answer query and a wait inside its deadline.

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

settle: holds answer:, a named query given result or its fields, and within:, shorter than the route's deadline, on a route that runs an action and answers .ok or .created:

example
type Memo = Text {    max_length: 200}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        status: SuccessStatus.created        run: add_memo(input)        settle: {            answer: add_memo(input)            within: 5s        }    }}
text
error: `answer: add_memo` is an action --> main.jadpo:28:21   |28 |             answer: add_memo(input)   |                     ^^^^^^^^ an action here  reason: `settle:` holds `answer:`, a named query given `result` (what the action returns) or fields read through it, and `within:`, how long the route waits for the work its action set off, a duration shorter than the route's `deadline:`.  next: Answer with a named query, which reads how far the work has got (agent)  rule: route.settle_invalid  help: https://jadpo.dev/docs/errors/route.settle_invalidcheck failed: 1 error, 1 file

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