Concepts

This is where you start if you’ve never seen grafOS before. The rest of the system — the CLI, the SDK, the wire protocol — falls out of how leases compose into programs.

Each page here is a developer-facing narrative. The normative wire spec lives under Wire protocol and is linked from each page where the bytes matter.

Read in order

1. Lease primitive — what a lease is, how it’s created, why expiry is mandatory teardown.
2. fabricBIOS vs grafOS — the firmware spec underneath and the resource-graph runtime on top. Two layers, distinct authorities.
3. Tasklets and programs — the unit of compute the fabric admits, and how programs compose tasklets.
4. Resource kinds — Mem, Block, Net, GPU, CPU. What’s leasable, what isn’t, what the fabric guarantees.
5. Capability tokens — short-TTL signed tokens with caveats. The “this code, on this hardware, until that time” knob.
6. Providers and cells — lab, AWS, GCP, Azure; how cells register, how the scheduler admits leases.
7. Trust model — what’s signed, what’s verified before write, what fail-closed means in practice.

If you’re impatient and want to ship something now, jump to the Quickstart and come back here when you hit a concept you want to understand.