Expand description
Publisher signing-key management for ctxpkg (GL #406).
One ed25519 keypair per machine user, stored as a 32-byte hex seed at
~/.lean-ctx/keys/ctxpkg-ed25519.key (mode 0600 on unix). Created lazily
on first pack export --sign. The public key identifies the publisher
across releases — registries and clients surface it per version.
Constants§
Functions§
- key_
path - load_
or_ create - Load the signing key, creating it on first use. Returns the key and whether it was newly generated (so the CLI can tell the user once).
- public_
key_ hex - Hex of the public verifying key — the publisher’s stable identity.