How Liskov works

Liskov is a control plane for long-running intent over time-boxed Acurast jobs. You select or build immutable code, declare its authority, fund service in USD, and inspect evidence as Acurast phones execute it in trusted hardware.

End-to-end sequence

Marketplace starts from a curated pinned artifact and option schema. The GitHub path starts from a V4 manifest and an allowed workflow that builds, pins, and attests an artifact. Both converge on an immutable effective policy.

Desired state and observed state

The policy says what Liskov is authorized to seek: artifact, runtime, configuration, schedule, placement, lifecycle, and spend bounds. The network then produces observed facts: quote, reserve, registration, processor assignment, runtime contact, actual overlap or gap, and final charge.

Liskov does not rewrite observed history to match intent. If a successor is late, the timeline records a gap. If a registered predecessor continues during an update, the timeline records overlap.

What the customer controls

You control organization access, release choice, authored authority, managed configuration, external accounts, confirmation of spend-bearing work, and lifecycle requests. Liskov manages network payment and replacement planning within those bounds. Acurast owns chain registration and processor assignment. The processor runs the job. Your external services remain their own trust and cost boundaries.

Start with Applications, policies, artifacts, deployments, and jobs, then read Trust and data boundaries.