Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 4 Nov 2026. What's built · Install 0.2.0
jadpo
Reference: Tooling

Tooling · rule

install.not_proved

On this page

The registry's answers don't prove the release is the one in its public log.

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

Why Jadpo refuses it

Every release's digest is in a public, append-only log, so the registry can't give one app different code from another. jadpo package add and update take a release only when all of this holds:

  • the log's head extends the last head this project saw, kept in .jadpo/registry_head;
  • the log proves the release is in that head, under its own name and version;
  • the archive's files have the digest the log holds;
  • the package in those files is what the registry says it is.

If any of these fails, the registry, or something between you and it, is answering differently from what it has told everyone else. Jadpo installs nothing, and leaves jadpo.lock and packages/ as they were.

What it looks like

An archive arrives with other files than the release the log holds:

shell
jadpo package add @acme/postcodes
jadpo package

error The archive of @acme/postcodes 2.1.0 isn't the release the log holds

reason
The log holds sha256:e3b0…, and its files give sha256:9f86….
next
Install nothing from it until you know why: report it to Jadpo, with this output (human)
rule
install.not_proved
help
https://jadpo.dev/docs/errors/install.not_proved

Other messages say which check failed: The registry's public log doesn't prove, with a head that doesn't extend the one this project saw or a proof that doesn't hold; or isn't what the registry says it is, when the files name another package, publisher or version.

(human) at the end of the next: line tells your coding agent to stop and ask you which fix you want, because the choice is yours to make: nothing an agent can change makes this right.

How to fix it

If it happened once on this network, try from another one, in case something on yours is changing the answers:

shell
jadpo package add @acme/postcodes

If the log then proves the release, it installs as usual. Don't delete .jadpo/registry_head to make the message go away: it is the record of what this project has already been told. If it stays, report it to Jadpo privately with this output, and keep the version you have installed: apps never go online to run a package they already hold.

Markdown for agents: /docs/errors/install.not_proved.md.Built from Jadpo main at 0e6fe62.