← Command reference · CLI overview

lean-pkg palomar

Palomar: prepare (build a submission bundle), check (read-only readiness), port-modules (plan or write the module-system port); no network.

Usage

lean-pkg palomar [common flags] [COMMAND]

[common flags]: --json, --commit, --push, --no-commit, also accepted before the command name; see the CLI overview.

Subcommands

• lean-pkg palomar prepare: build the submission bundle (formalization.yaml, comparator configs, receipts, README.txt, MANIFEST.sha256); event palomar-prepared
• lean-pkg palomar check: read-only, offline: every gap to Palomar’s mechanical rules at one commit (module headers, toolchain floor, comparator configs, formalization.yaml, licence, repository); exit 0 ready / 1 gaps
• lean-pkg palomar port-modules: plan (dry run, default) or –write the mechanical port of the package’s tracked .lean files to Lean’s module system; never commits

Exit codes

0 success (dry runs and no-ops included), 1 refused or failed, 2 usage error; see Exit codes.