← Command reference · CLI overview

lean-pkg claims

claims.yaml: sync | list | check | migrate | ledger | mark | rebase (named reusable results).

Usage

lean-pkg claims [common flags] [COMMAND]

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

Subcommands

• lean-pkg claims sync: read claims.yaml at HEAD of the checkout; validate (TODO placeholders refused); cache; event
• lean-pkg claims list: table of cached claims with status and trust
• lean-pkg claims check: re-validate cached claims; exit 0/1 (–file: a working-copy file)
• lean-pkg claims migrate: legacy claims.json -> a claims/1 skeleton in the checkout (never the registry)
• lean-pkg claims ledger: per-claim closure from the recorded evidence: verified only with zero diagnostics; read-only; exit 0 only when the package is ready
• lean-pkg claims mark: set the status of the claims a comparator config’s theorem_names cover (exact full-name match); read-only unless –write; never commits
• lean-pkg claims rebase: move claims.yaml and coverage.yaml to a new manuscript version: carry unchanged statements re-keyed from the new .aux, list the rest for review; writes only –out-dir; never changes a status

Exit codes

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