provrun.cli
provr: run an agent spec, and show or verify the evidence of a run.
provr run RUNFILE run the agent in a run file and print the run ID provr show RUN print the events of a run provr verify RUN check the hash chain, the payloads and the outputs
RUN is a run ID under the runs root, or the path of a run folder. A run file
has a run section, with org, domain, env and actor, and an agent
section; docs/provrun.md shows one.
main
main(argv: list[str] | None = None) -> intRun provr: parse the arguments and run the command.
| Parameter | Type | Default | Description |
|---|---|---|---|
argv |
list[str] | None | None |
The arguments after provr; None reads them from the command line |
| returns | int | The exit code: 0 on success; 1 for a failed run, a run that does not verify, or a provrun, provevi or provcat error; 2 for an evidence error. Bad arguments raise SystemExit(2), from argparse |