CLI reference

yichus admit

Solve batch admission against declared escrow invariants

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 admit --batch <path> [--result <string>] [--name <string>] [--max-search <integer>] [--json] [--rows <path>] <files>...

Solve batch admission against declared escrow invariants

Options and flags:
    --help
        Display this help text.
    --batch <path>
        Batch file: a JSON list of {operation, input}
    --result <string>
        Where to write the admission artifact
    --name <string>, -n <string>
        Module name for the artifact
    --max-search <integer>
        Witness-search bound per conflict component (hard cap 8)
    --json
        Emit structured JSON output
    --rows <path>
        Seed the world a TableEscrowSpec is admitted against: a JSON file of {table: [row, ...] | {id: row}}, the form `yichus why --rows` takes

Make a calculator · Build an API · MCP / WebMCP docs