yichus spec
Run native bounded and structural checks of declared Bosatsu properties (TLC is not yet available)
This help is generated from the same argument parser as the CLI. For a
subcommand, append its name and --help to see its options.
Usage: yichus spec [--name <string>] [--max-ops <integer>] [--output <path>] [--view <string>] [--schema <string>] [--require-holds <string>] <files>...
Check Bosatsu Spec declarations with native bounded and structural methods
Options and flags:
--help
Display this help text.
--name <string>, -n <string>
Verdict module name
--max-ops <integer>
Positive per-cell schedule bound (hard cap 8)
--output <path>, -o <path>
Write the JSON verdict artifact here
--view <string>
Artifact view: full or compact
--schema <string>
Evidence schema: legacy-2.2 (default) or 3.0
--require-holds <string>
Comma-separated invariant names requiring a conclusive holds verdict