有时人们会更改package.json并忘记运行npm i哪个将更新package-lock.json，或者package.json以package-lock.json其他方式不同步。这是一个不在这里讨论/质疑的假设。我正在寻找一种可以帮助检测此类情况的工具。
您知道可以进行健全性检查的 npm 功能或第三方工具吗package-lock.json？例如，它应该解决所有传递依赖项，并检查锁定文件中是否提到了它们，并且其版本在正确的 semver 范围内。npm i它应该告诉您为了更新锁定文件而运行是否有意义，或者是否会为您提供（考虑传递性）npm ci中定义的所有所需的依赖项。package.json
我认为这npm --loglevel verbose install --dry-run将是一个合理的候选者，但它的输出没有提到package-lock.json如果它在没有--dry-run. 当然，一种选择是运行npm i然后git diff package-lock.json（或类似的），但这很脏。
我在 Isabelle/HOL 中有一些定义和定理，需要在 HOL 中使用这些相同的定义和定理。手动翻译代码当然是可能的，但很麻烦。有没有（半）自动执行这种翻译的程序？
如果由于某种原因这是不可能的，请解释原因，因为这对我来说是一个重要的学习。