Tooling · rule
install.not_proved
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:
jadpo package add @acme/postcodes 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 givesha256: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:
jadpo package add @acme/postcodesIf 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.
Related
Markdown for agents: /docs/errors/install.not_proved.md.Built from Jadpo main at 0e6fe62.