BackendCHECKING
Connecting…
Waiting for authoritative telemetry
Exact role / phase
No active execution
Run and worker unavailable
Obligation under attack
Loading active obligation…
—
Latest completed change
Waiting for completed history
—
Role pipeline0 / 0 · no active iteration
Completed-run reasoning timeline
Newest firstWhat changed, and why it stopped
Waiting for completed proof runs.
—LEDGER VERSION
—PROOF TASKS
—OPEN LEAVES
—ACTIVE CHAIN DEPTH
—PROVED
—ALLENS PREFILL TOK/S
Telemetry provenance and review health
Waiting for telemetry.