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

Testing · rule

semantic.request_route_unknown

No route answers a route test's request.

Area 13, Testing; not declinable; the next step is usually the agent's.

A request names a route the project has, by its method and its path as jadpo routes prints it:

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 / {        authentication: RouteAuthentication.none        input: AddMemo        output: MemoView        status: SuccessStatus.created        run: add_memo(input)    }}policy {    actions: {        add_memo: [Access.public]    }}test "a memo comes back" {    var response: Response = request {        method: HttpMethod.post        path: "/memo"        input: AddMemo {            text: "Call the plumber"        }    }    assert response.status == 201}
text
error: No route answers `POST /memo` --> main.jadpo:40:15   |40 |         path: "/memo"   |               ^^^^^^^ no such route  reason: A request names a route by its method and its path as `jadpo routes` prints it, placeholders by name; the `POST` routes are `/memos`.  next: Write the path of the route this test exercises, as `jadpo routes` lists it (agent)  rule: semantic.request_route_unknown  help: https://jadpo.dev/docs/errors/semantic.request_route_unknowncheck failed: 1 error, 1 file

Markdown for agents: /docs/errors/semantic.request_route_unknown.md.Built from Jadpo main at a707efb.