All demonstrationsTYPED PLANNING / BOUNDED SEARCH

Let Rust assemble an admissible path.

Start from available contracts and a desired result. Rust searches registered dependency paths while enforcing permissions and explicit limits.

compose_capabilitiesTry the real call

Concept artwork · not calculation evidence

01 / UNDERSTAND THE METHOD

See what the tool does.

ILLUSTRATION · NOT A CALCULATION

INTERACTIVE 3D / METHOD STUDYExplore the method in space.

Preparing the 3D exhibit…

Explore the cycleIllustration

A teaching illustration. Run the tool below to obtain a native calculation.Drag to inspect · arrow keys move the camera · no MCP call

02 / ASK THE ACTUAL TOOL

Complete tool arguments

Arrays, coordinates and nested contracts remain editable here. Units and limits are checked by the real tool.

Runs only when you press the button. Input edits discard the previous displayed result. Public compute limits apply.

KNOW WHAT THE RESULT MEANS

This tool plans only: the route and risk result have not been calculated yet.
Structural cost counts registered graph steps, not measured time, money or scientific quality.
Available facts are declarations. Actual arguments are validated again at execution; search exhaustion does not prove impossibility.