Before the workspace is set up
A workspace that is missing either half gets two checkpoints instead of a dashboard:- Connect your first context, the documentation that says what the product promises.
- Connect your first repository, the code that has to keep the promise.
Today’s flows
Six cells run across the top. The first is the share of flows that succeeded, with the count under it, for example “12 of 20 flows succeeded”. The other five count today’s flows under the five statuses, in this order: Succeeded, Failed, Blocked, Not testable, Never run. Click any of them to open Flows narrowed to that status. The headline counts flows, because a flow is what the engine proves and what can be proved on its own.Flows over time
Under the strip is a stacked chart of the same five statuses. Each point is a baseline run of one of the workspace’s repositories, and the right edge is today’s composition, so the chart and the strip are one picture. The period chips are 7d, 30d, 90d and All, and it opens on 30d. Clicking a series opens Flows narrowed to that status. Until a run has recorded its flows there is no trend, and the card says so instead of drawing an empty chart.Needs attention
One row per thing that is waiting on a person. There are five kinds and no more:
Each row carries its title, a status word, one fact and when it happened, and opens where that thing lives. Agent at the top right opens the whole list. With nothing outstanding the widget reads “Nothing is waiting on you.”
Areas, by section
One row per area of the corpus, counted by section, in the words the Documents view uses: Proved, Failed, Blocked, Not testable, Not run. Each row shows a bar of the area’s composition and a count per status. Clicking a row opens Documents narrowed to that area. The widget is empty until a repository reads a document.Recently changed, documents
The documents whose status a run moved, newest first, grouped into Today, Yesterday and Earlier. Each row carries the document’s title, the status word it moved to, or First read the first time a run covered it, its reference and the time. Failed at the top right opens Documents narrowed to the failed ones.Two vocabularies, one meaning
A flow reads Succeeded and a section reads Proved. They are the same state counted in different units, and each widget names the unit it counts, so no number on Home says a different word than the page it opens.Next steps
Flows
The list the headline opens, and one flow’s page.
Agent
Every piece of work, as a conversation.