Yichus / Reference / API MCP tools

api_dist_check

Run DistEngine on a declared Yichus/Dist DistSpec (multi-instance schedules, lost updates).

Kind: DistCheck. Origin: Yichus/Mcp::catalog.

CLI: yichus dist — the same distributed-world simulation with the same depth and schedule bounds.

Parameters

• sources (required, array) — JSON array of {fileName, source} Bosatsu files including the DistSpec.
• max_schedules (optional, integer) — Optional bound on explored schedules (default 20000); a world that needs more says so in its verdict.
• depth (optional, integer) — Optional bound on steps per schedule (default 12).

Read the result according to this tool’s scope: static checks, bounded execution checks, and descriptive diagrams answer different questions. A successful call is not a general approval of the program. The safety and permissions guide compares the checks and provides editable ownership, guard, and role examples.