Module 03

Execution

Learn the execution model: ota doctor, ota detect, ota init, ota up, and ota run. Understand native vs container execution, lifecycle management, concurrency, listeners, and cleanup.

Module curriculum

Lessons in Execution

Follow the sequence to build the model, then use the exercises to test the boundary.

Lesson 0110 min read

The core loop: doctor, detect, init, up, run

The five commands form an ordered adoption and execution loop. Each command has a specific responsibility and a specific moment to use it.

State the purpose of each command in one sentence
Describe the correct ordering for a new repo

Lesson 0211 min read

Native, container, lifecycle, and CI execution

Ota can run tasks natively, inside containers, through CI projection, or under a lifecycle manager. Each mode has different proof guarantees.

Describe when to use container execution over native
Explain what CI projection generates and why

Lesson 038 min read

Interaction, concurrency, listeners, and cleanup

How Ota handles concurrent tasks, service listeners, and cleanup after execution — and what contract authors must declare to make this safe.

Declare a task with a service listener dependency
Understand what cleanup must be declared vs inferred