Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

DETERMINISTIC CONTROL · EMBEDDABLE RUST

Open Control Engine

Parse CXF, freeze a control schedule, and tick CDL control sequences deterministically inside your application—without bringing a daemon, runtime framework, or database.

Choose your path

EMBED

Run the guarded Quickstart

Start with the mechanically reused, compiled example, then read the host safety boundary before connecting equipment.

Embed the engine →

CONTRIBUTE

Change the engine safely

Understand the development and release gates, what a green check proves, and the testing standard expected of every change.

Contribute to the engine →

Evidence, not adjectives

The documentation separates deterministic self-output traces, independent signal oracles, structural checks, and work that is still deferred.

Read the verification accounting →