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

ErrorsProject layout and modules · rule

naming.round_trip

Name does not survive conversion to its file name.

Area 1, Project layout and modules; not declinable; the next step is usually the agent's.

example
type HTMLSnippet = Text {    max_length: 2000}
jadpo checkcheck failed: 1 error, 1 file

error HTMLSnippet has consecutive capitals

--> main.jadpo:1:6

  |1 | type HTMLSnippet = Text {  |      ^^^^^^^^^^^ reads back as `HtmlSnippet`
reason
A name must convert to its file name and back unchanged: HTMLSnippet becomes html_snippet.jadpo, which reads back as HtmlSnippet.
next
Rename it HtmlSnippet (agent)
rule
naming.round_trip
help
https://jadpo.dev/docs/errors/naming.round_trip

Markdown for agents: /docs/errors/naming.round_trip.md.Built from Jadpo main at aee2e8f.