Chock.sh Build your plugin

CLI reference

chock review verify

Ask the user before running chock review verify: what it takes and prints, from the engine at the pinned commit.

Re-derive every verified claim

Syntax

This is the usage line argparse builds from this command's parser.

chock review verify [-h] [--repo REPO] [--base BASE] file

Arguments and options

The table lists every argument the parser declares, except -h, --help, written as argparse prints it. Default is the value the parser uses when you leave the option out. It is empty for a flag or when the parser sets none.

ArgumentDefaultHelp
--repo REPO.Repo root
--base BASEorigin/mainBase ref to diff against (default: origin/main)
file (required)Evidence JSON to check

Exit codes

  • 2: argparse rejected the arguments, for example an option this command does not have. The site's tests run every command with an unknown option and check that it exits 2.
  • Chock documents no other exit codes, and this page has no recorded run.

Help as printed

This is what --help prints, from the same parser. The usage line names the program as the engine's parser does.

usage: chock review verify [-h] [--repo REPO] [--base BASE] file

positional arguments:
  file         Evidence JSON to check

options:
  -h, --help   show this help message and exit
  --repo REPO  Repo root
  --base BASE  Base ref to diff against (default: origin/main)

Built from engine 5a4b6287a46e and catalog 1e60d211c1bb.