Tutorials

Tutorials build runnable programs rather than isolated syntax fragments. Each one begins with a project, defines the operational problem, creates files in sequence, verifies behavior, and links to complete source.

Available now

• Dart task processor — typed commands, execution grouping, rate limiting, debounce, rejection, state publication, and close.
• Flutter catalog search — pure Dart coordination, Flutter ownership, rendering, and deterministic policy tests.
• DevTools diagnostic session — reproduce a policy conflict, trace one Execution, and disclose safe data.

Continue by problem

• Open Recipes when you need one policy, Flutter, test, or DevTools decision without rebuilding a whole application.
• Open Packages to choose between the core, Flutter, test, and DevTools artifacts.
• Open Proof for benchmark scope, raw evidence, comparisons, and stated limitations.

New end-to-end scenarios will be added when their source applications and verification evidence are ready. The list above contains only material that is available now.