lean-pkg receipt

produce receipts (slurm, systemd: the lower tier; comparator: the comparator run; each writes files in the package checkout, never the registry); check a published package’s receipts from git alone (check).

Usage

lean-pkg receipt [--json] COMMAND

Subcommands

lean-pkg receipt slurm: a lower-tier receipt from a finished Slurm job, its verify log and its stdout seal (–template: an sbatch wrapper that meets it; –check: preflight the job’s files)
lean-pkg receipt systemd: a lower-tier receipt from a finished systemd –user service unit (run bounded with –run, or its saved properties), its verify log and its stdout seal
lean-pkg receipt comparator: run the comparator on a Lake project and write the comparator receipt (the comparator-receipt program: the same code and flags)
lean-pkg receipt check: validate a published package’s receipts from git alone: no registry, no network, never runs Lean (an outside referee’s check; exit 0 only when every check passes)

Details

Form	What it does	Key flags
`receipt`	produce lower-tier receipts; writes files in the package checkout, never the registry. Two forms, one pipeline: `receipt slurm` (a Slurm job) and `receipt systemd` (alias `receipt local`: a systemd –user service unit). `receipt check` reads them back: a published package’s receipts checked from git alone, with no registry	`slurm` `systemd` `check`

Exit codes

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