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

Tooling · rule

install.surface_mismatch

Package's committed surface doesn't match its code.

Area 14, Tooling; not declinable; the next step is usually the human's.

A package is installed only when its committed surface is what its code offers. Here a type was added after the surface was written:

text
$ jadpo package add ../postcodeserror: `Postcodes.v2`'s surface.jadpo_record doesn't match its code  reason: Its code has `type InwardCode`, which its committed surface doesn't. A package is installed only when its surface, what reviewers read, is what its code offers.  next: Run `jadpo package check` in the package's repository, commit its surface.jadpo_record, and release it again (human)  rule: install.surface_mismatch  help: https://jadpo.dev/docs/errors/install.surface_mismatch

Markdown for agents: /docs/errors/install.surface_mismatch.md.Built from Jadpo main at a707efb.