yichus dist
Check declared distributed-world specs by deterministic simulation
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 dist guide
yichus dist [--verdicts <path>] [--depth <integer>] [--max-schedules <integer>] [--seeds <integer>] [--seed-depth <integer>] [--require-holds <string>] [--json] [--check-only] <files>...
Check declared distributed-world specs by deterministic simulation
Options and flags:
--help
Display this help text.
--verdicts <path>
Write the verdict artifact JSON to this path
--depth <integer>
Max events per schedule in exhaustive exploration
--max-schedules <integer>
Cap on exhaustively explored schedules
--seeds <integer>
Seeded random walks when exhaustive exploration truncates
--seed-depth <integer>
Max events per seeded walk
--require-holds <string>
Comma-separated invariant names that must reach a conclusive 'holds'
--json
Emit structured JSON output
--check-only
Compile, discover, and decode the world without exploring
Subcommands:
guide
Print the Yichus/Dist guide: the shapes a world is written in, how it is discovered and checked, and a complete example