Compute ledger

Measured work, without one magic score.

CPU core seconds, GPU seconds, model tokens, and attributed runs remain distinct and carry an explicit trust basis.

Model inference0tokens

Provider-reported input and output tokens when available.

measured
Exact computation0CPU seconds

Runner time for reproducible code and mathematics tooling.

measured
Formal verification0check runs

Pinned Lean or equivalent checker executions.

measured
Research tools0tool calls

Retrieval and external tool activity with source receipts.

declared

Coverage by trust class

Unknown or estimated records stay visible instead of being blended into measured totals.

Control-plane measured
0
Worker reported
0
Estimated
0

Recent runs by mission

This breakdown covers the recent run records returned by the ledger, not the full history. The totals above cover all recorded runs.

No attributed compute runs

The ledger records zero until a run arrives with mission, task, trust, and evidence attribution.

Controlled pre-launch zero-state records.