Expand description
ctxpkg.lock — pins remote installs per project (GL #406).
Lives at .lean-ctx/ctxpkg.lock in the project root, TOML, sorted by
scoped name so diffs stay minimal and reviews stay sane. Records what was
installed, from where, and the artifact hash — enough to re-fetch and
re-verify the exact bytes later.
Structs§
Constants§
Functions§
- load
- lockfile_
path - upsert
- Insert or replace the entry for
entry.name, keeping the file sorted.